index.html

This Mathematica notebook contains and lightly documents a program I wrote in the summer of 2006. The program sets up the Manolescu-Ozsvath-Sarkar (MOS) complex and computes its homology, the "Knot Floer Homology". The comploex itself is described in detail in the article arXiv:math.GT/0607691 by Manolescu, Ozsvath and Sarkar.

The program is, as expected, a failure. The complexity of the MOS complex grows like n!, so only the Knot Floer homology of rather small knots can be computed. But thanks to the work of many other authors, the Knot Floer homology is known for all knots with up to 10 crossings and many bigger ones as well. So no new computations are available here. Yet the program is not pointless: I learned by writing it, you may learn by reading and using it, and parts of it are recyclable.

For a little while I plan to maintain, upgrade and update this notebook. Let T3 be the time now, let T2 be the time you downloaded this file and let T1 be the time defined below, in the first line of code. If (T3-T2)>(T2-T1), you should download a new copy from (or web-search for the current location).

In[1]:=

Out[1]=

T0, the time stamp on the first version of this document, was {2006,8,1,20,41,33.442125}

Startup

To start, download the package KnotTheory` from The Knot Atlas site, save it on your system, change the path information as suits your system, and start executing this notebook.

In[2]:=

Producing Planar Grid Diagrams

First some definitions:

In[4]:=

$InterlacedQ[{a_, b_}, {c_, d_}] := (Signature[{a, b}] Signature[{c, d}] Signature[{a, b, c, d}] === -1) ;$

$General :: spell1 : Possible spelling error: new symbol name \"InterlacedQ\" is similar to existing symbol \"Interlaced\". More…$

$General :: spell1 : Possible spelling error: new symbol name \"out\" is similar to existing symbol \"Out\". More…$

$General :: spell1 : Possible spelling error: new symbol name \"red\" is similar to existing symbol \"Red\". More…$

Let's compute the planar grid diagram of the trefoil knot:

In[9]:=

Out[9]=

Each pair above describes one horizontal line in the planar grid diagram, with the first element being the position of the white dot on that line and the second element the position of the black dot.

Drawing Planar Grid Diagrams

Definitions and then examples, no need for words.

In[10]:=

In[12]:=

[Graphics:HTMLFiles/index_22.gif]

Out[12]=

The converter program PlanarGridDiagram applies some simplification rules to the result it gets. It is amusing to watch that happen:

In[13]:=

Show[GraphicsArray[Partition[Table[Draw[PlanarGridDiagram[MillettUnknot, Reduce → k]], {k, 0, 17} ], 3]]]

[Graphics:HTMLFiles/index_26.gif]

Out[14]=

The Minesweeper Matrix

The minesweeper matrix of a planar grid diagram is the matrix of winding numbers associated with it. The brilliant terminology is due to Ken Shan.

In[15]:=

In[17]:=

Out[17]//MatrixForm=

( {{1, 1, 1, 1, 1}, {t, t, t, 1, 1}, {t, t, 1, 1/t, 1}, {t, 1, 1/t, 1/t, 1}, {1, 1/t, 1/t, 1/t, 1}} )

In[18]:=

Out[18]=

In[19]:=

Out[19]=

In[20]:=

Show[GraphicsArray[{Draw[PlanarGridDiagram[Knot["K11n34"]]], Draw[PlanarGridDiagram[Knot["K11n42"]]] }]]

[Graphics:HTMLFiles/index_40.gif]

Out[21]=

Invariance Examples for the Alexander Polynomial

In[22]:=

In[23]:=

Out[23]=

[Graphics:HTMLFiles/index_47.gif]

Out[25]=

${(-1 + t)^11 t^2 (1 - 5 t + 13 t^2 - 17 t^3 + 13 t^4 - 5 t^5 + t^6), -17 + 1/t^3 - 5/t^2 + 13/t + 13 t - 5 t^2 + t^3}$

Cycling

In[26]:=

Out[26]=

[Graphics:HTMLFiles/index_53.gif]

Out[28]=

Stabilization

In[29]:=

$pgd2 = pgd /. {{10, 3} → Sequence[{11, 7}, {7, 3}], j_ /; j≥7 :→ j + 1}$

Out[29]=

[Graphics:HTMLFiles/index_59.gif]

Out[31]=

Commutation

In[32]:=

Out[32]=

[Graphics:HTMLFiles/index_65.gif]

Out[34]=

The MOS complex - States and Degrees

In[35]:=

Note that from here on the knot K must be fixed. Every time you change it, you must re-execute all the definitions below.

In[36]:=

[Graphics:HTMLFiles/index_69.gif]

Out[36]=

In[37]:=

Clear[pgd, n, MM, a, PP, WW, AlexanderDegreeShift, AlexanderDegree, x0, MaslovDegree, Boundary, AllStates, BoundaryMatrix, Rank, Betti, MOSHomology] ;

Out[38]=

In[39]:=

Out[39]=

In[40]:=

Out[41]=

In[42]:=

$AlexanderDegree[x_State] := AlexanderDegree[x] = AlexanderDegreeShift + Sum[a[k, x[[k]]], {k, n} ] ;$

In[43]:=

Out[43]=

In[44]:=

Out[44]=

In[45]:=

$WW[{{i1_, i2_}, {j1_, j2_}}] := WW[{{i1, i2}, {j1, j2}}] = Length[Select[First /@ (List @@ pgd)[[Range[i1 + 1, i2]]], (j1<#≤j2) &]] ;$

$PP[s_State, {{i1_, i2_}, {j1_, j2_}}] := Module[ {k, l}, Sum[l = s[[k]] ; If[i1<k<i2, 1, 1/2] * Which[j1<l<j2, 1, j1 == l || j2 == l, 1/2, True, 0], {k, i1, i2} ] ] ;$

In[49]:=

Out[49]=

In[50]:=

Here are all states with Maslov Degree-5 and Alexander degree 0:

In[52]:=

Out[52]=

The MOS complex - The Differential

In[53]:=

$General :: spell1 : Possible spelling error: new symbol name \"cycj\" is similar to existing symbol \"cyci\". More…$

In[55]:=

Out[55]=

In[56]:=

Out[56]=

In[57]:=

BoundaryMatrix[m_, a_] := Outer[ (Boundary[#2] /. #1 → 1 /. _State → 0) &, AllStates[m - 1, a], AllStates[m, a] ] ;

In[58]:=

Out[58]//MatrixForm=

Homological computations

In[59]:=

$Rank[m_, a_] := Rank[m, a] = If[ AllStates[m, a] === {} || AllStates[m - 1, a] === {} , 0, MatrixRank[BoundaryMatrix[m, a], Modulus → 2] ] ;$

MOSHomology[] := Outer[Betti, Union[MaslovDegree /@ AllStates[]], Union[AlexanderDegree /@ AllStates[]] ] ;

HFK[] := Expand[Factor[Total[Flatten[Outer[ (m^#1 t^#2 Betti[#1, #2]) &, Union[MaslovDegree /@ AllStates[]], Union[AlexanderDegree /@ AllStates[]] ]]] / (1 + 1/(t m))^(n - 1) ]] ;

In[63]:=

Out[63]=

In[64]:=

Out[64]=

In[65]:=

Out[65]=

In[66]:=

Out[66]=

Created by Mathematica (August 5, 2006)