Heegaard Floer Knot Homology: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
m (Droz' HFK Program moved to Heegaard Floer Knot Homology) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Manual TOC Sidebar}} |
{{Manual TOC Sidebar}} |
||
In 2007, [http://www.math.unizh.ch/user/jdroz/ Jean-Marie Droz] of the University of Zurich (working along with [http://www.math.unizh.ch/index.php?id=1819&no_cache=1&key1=578&no_cache=1 Anna Beliakova]) wrote a Python program to compute the (hat-version) Heegaard-Floer Knot Homology <math>\widehat{\operatorname{HFK}}(K)</math> of a knot <math>K</math>. His program is integrated into <code>KnotTheory`</code>, though to run it, you must have [http://python.org/ Python] as well as the Python library [http://psyco.sourceforge.net/ Psycho] installed on your system. |
|||
{{Startup Note}} |
{{Startup Note}} |
||
| ⚫ | |||
<!--$$ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]$$--> |
|||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{In| |
|||
n = 1 | |
|||
in = <nowiki>ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
The Heegaard-Floer Knot Homology is a categorification of the [[The Alexander-Conway Polynomial|Alexander polynomial]]. Let us test that for the knot [[8_19]]: |
|||
| ⚫ | |||
| ⚫ | |||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{HelpAndAbout| |
|||
n = 2 | |
|||
n1 = 3 | |
|||
in = <nowiki>HFK</nowiki> | |
|||
out= <nowiki>HFK[K][q,t] returns the Poincare polynomial of the Heegaard-Floer Knot Homology of the knot K, in the Alexander variable q and the Maslov variable t.</nowiki> | |
|||
about= <nowiki>The Heegaard-Floer Knot Homology program was written by Jean-Marie Droz in 2007 at the University of Zurich.</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
<!--$$hfk |
<!--$${hfk /. m -> -1, Alexander[K][t]}$$--> |
||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{InOut| |
|||
n = 4 | |
|||
| ⚫ | |||
out= <nowiki> 1 5 2 2 |
|||
9 + ----- + --- + 5 q t + q t |
|||
2 2 q t |
|||
q t</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
The knot [[8_19]] is the first knot in the [[The Rolfsen Knot Table|Rolfsen Knot Table]] whose Heegaard-Floer Knot Homology is not "diagonal". Let us test that. The homology <math>\widehat{\operatorname{HFK}}(K)</math> is "on diagonal", iff its Poincare polynomial, evaluated at <math>m=1/t</math>, is a monomial: |
|||
| ⚫ | |||
<!--$$Select[AllKnots[{3, 8}], (Head[HFKHat[#][t, 1/t]] == Plus) &]$$--> |
|||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{InOut| |
|||
<!--END--> |
|||
n = 5 | |
|||
in = <nowiki>{hfk /. t -> -1, Alexander[K][q]}</nowiki> | |
|||
| ⚫ | |||
out= <nowiki> -2 5 2 -2 5 2 |
|||
<!--Robot Land, no human edits to "END"--> |
|||
{9 + q - - - 5 q + q , 9 + q - - - 5 q + q } |
|||
q q</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
Revision as of 12:12, 3 December 2007
In 2007, Jean-Marie Droz of the University of Zurich (working along with Anna Beliakova) wrote a Python program to compute the (hat-version) Heegaard-Floer Knot Homology of a knot . His program is integrated into KnotTheory`, though to run it, you must have Python as well as the Python library Psycho installed on your system.
(For In[1] see Setup)
The Heegaard-Floer Knot Homology is a categorification of the Alexander polynomial. Let us test that for the knot 8_19:
The knot 8_19 is the first knot in the Rolfsen Knot Table whose Heegaard-Floer Knot Homology is not "diagonal". Let us test that. The homology is "on diagonal", iff its Poincare polynomial, evaluated at , is a monomial:
