T(11,2): Difference between revisions
DrorsRobot (talk | contribs) No edit summary |
DrorsRobot (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
<!-- Script generated - do not edit! --> |
<!-- Script generated - do not edit! --> |
||
<!-- --> |
|||
<!-- $Failed $Failedn$F $Failedmath . uwo . c$Failedv$ileddge] at [h$Failedn.matuwo . ca |
|||
-------- |
|||
<span id="top"></span> |
|||
c$Faidml K$FaidaFailedsKt$iledpa$Faidtoront$iledailedt pres$Failedgrams|Planar dir entatio$Failede="padding-left: 1em;" | X<sub>3146<u b 152/s$Failed62</sub> |
|||
{{Knot Navigation Links|prev=T(5,3).jpg|next=T(13,2).jpg}} |
|||
Visit [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-8,9,-10,11,-1,2,-3,4,-5,6,-7,8,-9,10,-11,1,-2,3,-4,5,-6,7/goTop.html T(11,2)'s page] at [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/html/start.html Knotilus]! |
|||
Visit [http://www.math.toronto.edu/~drorbn/KAtlas/TorusKnots/11.2.html T(11,2)'s page] at the original [http://www.math.toronto.edu/~drorbn/KAtlas/index.html Knot Atlas]! |
|||
===Knot presentations=== |
|||
{| |
|||
|'''[[Planar Diagrams|Planar diagram presentation]]''' |
|||
|style="padding-left: 1em;" | X<sub>5,17,6,16</sub> X<sub>17,7,18,6</sub> X<sub>7,19,8,18</sub> X<sub>19,9,20,8</sub> X<sub>9,21,10,20</sub> X<sub>21,11,22,10</sub> X<sub>11,1,12,22</sub> X<sub>1,13,2,12</sub> X<sub>13,3,14,2</sub> X<sub>3,15,4,14</sub> X<sub>15,5,16,4</sub> |
|||
|- |
|- |
||
|'''[[Gauss Codes|Gauss code]]''' |
|||
|'''[[GausCeGss cod$Failede=$Faile$Failed1, 2, -3, 1} |
|||
|style="padding-left: 1em;" | {-8, 9, -10, 11, -1, 2, -3, 4, -5, 6, -7, 8, -9, 10, -11, 1, -2, 3, -4, 5, -6, 7} |
|||
'$Failed (Dowk-Thistlewaite) Codes|Dowker-Thistl$Failedepa$Faedial Invariants|name=T(3,2)}} |
|||
|- |
|||
|'''[[DT (Dowker-Thistlethwaite) Codes|Dowker-Thistlethwaite code]]''' |
|||
|style="padding-left: 1em;" | 12 14 16 18 20 22 2 4 6 8 10 |
|||
|} |
|||
===Polynomial invariants=== |
|||
===[[Finite Type (Vassiliev)nvaanFailed===$Failed''' |
|||
|style="padding-left: 1em;"$Failed) |
|||
{{Polynomial Invariants|name=T(11,2)}} |
|||
===[[Finite Type (Vassiliev) Invariants|Vassiliev invariants]]=== |
|||
{| style="margin-left: 1em;" |
|||
|- |
|||
|'''V<sub>2</sub> and V<sub>3</sub>''' |
|||
|style="padding-left: 1em;" | {0, 55}) |
|||
|} |
|} |
||
[[Khovanov Homology]]. The coefficients of the monomials <math>t^rq^j</math> are shown, along with their alternating sums <math>\chi</math> (fixed <math>j</math>, alternation over <math>r</math>). The squares with <font class=HLYellow>yellow</font> highlighting are those on the "critical diagonals", where <math>j-2r=s+1</math> or <math>j-2r=s+1</math>, where <math>s=</math>10 is the signature of T(11,2). Nonzero entries off the critical diagonals (if any exist) are highlighted in <font class=HLRed>red</font>. |
|||
[[KhovHomolo$Failedeffi oven$Failed> are shoFaile</math>, over ternation < math</math>). The squares with <f$FailedYe2</math>, where <math>s=</math>2 is the signHLRed$Faile |
|||
<center><table border=1> |
<center><table border=1> |
||
<tr align=center> |
<tr align=center> |
||
<td width=12.5%><table cellpadding=0 cellspacing=0> |
|||
<td wid$Failedled$Failed>j</td><td> </td$Failed/tr> |
|||
<tr><td>\</td><td> </td><td>r</td></tr> |
|||
<tr><td> </td><td> \ </td><td> </td></tr> |
|||
<tr><td>j</td><td> </td><td>\</td></tr> |
|||
</table></td> |
</table></td> |
||
<td |
<td width=6.25%>0</td ><td width=6.25%>1</td ><td width=6.25%>2</td ><td width=6.25%>3</td ><td width=6.25%>4</td ><td width=6.25%>5</td ><td width=6.25%>6</td ><td width=6.25%>7</td ><td width=6.25%>8</td ><td width=6.25%>9</td ><td width=6.25%>10</td ><td width=6.25%>11</td ><td width=12.5%>χ</td></tr> |
||
<tr align=center><td>33</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>-1</td></tr> |
|||
</tr>$Failed="border: 0px; pa$Failedy$Failed9$Failedd$Failed<$Failed;$Failed=$Failed $Failedn$Failedi$Failedn$Failedp $Failedd$Faile$Failed |
|||
<tr align=center><td>31</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td>0</td></tr> |
|||
ailed > -----$Failed------ |
|||
<tr align=center><td>29</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td> </td><td>0</td></tr> |
|||
tdtd><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[TorusKnot[3, 2]]</now$Failededp$Failed $Failedo$F$Failedd,$Faileds$Failedi$Failed<$Failedo$Failede$Failedk$Failedi$Failedp$Failedde[-2, 3, -1, 2, -3, 1]</nowiki></pre></td></$Failedolor: bl$Failedn[5]:=</nowiki></$Failedrd$Failedo$Failed>$Failedea$Failed<$Failedd$Failed $Failedn0rpadding:0<$Failed3$Failedr$Failed: $Failed </now$Failed=borde $Failed -1 - t/$Failed<$Failedo$Failed<$Failede$Failed $Failedd$Failed>$Failede$Failed $Failede$Failed 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><t$Failedadding: 0em"><now$Failed=$Failed/$Faileda$Failede$Failedm$Failed&$Failedr$Failed<$Failed>$Failed<$FailedK$Failedt$Failede$Failed $Failednowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{3, 2}</nowiki></pre></td></tr> |
|||
<tr align=center><td>27</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[TorusKnot[3, 2]][q]</nowiki></pre></td></tr> |
|||
<tr align=center><td>25</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 4 |
|||
<tr align=center><td>23</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
q + q - q</nowiki></pre></td></tr> |
|||
<tr align=center><td>21</td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr align=center><td>19</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr align=center><td>17</td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr align=center><td>15</td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr align=center><td>13</td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
|||
<tr align=center><td>11</td><td bgcolor=yellow>1</td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
|||
<tr align=center><td>9</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
|||
</table></center> |
|||
{{Computer Talk Header}} |
|||
<table> |
|||
<tr valign=top> |
|||
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:= </pre></td> |
|||
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
|||
</tr> |
|||
<tr valign=top><td colspan=2><pre style="border: 0px; padding: 0em">Loading KnotTheory` (version of August 19, 2005, 13:11:25)...</pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Crossings[TorusKnot[11, 2]]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>11</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[TorusKnot[11, 2]]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[5, 17, 6, 16], X[17, 7, 18, 6], X[7, 19, 8, 18], X[19, 9, 20, 8], |
|||
X[9, 21, 10, 20], X[21, 11, 22, 10], X[11, 1, 12, 22], |
|||
X[1, 13, 2, 12], X[13, 3, 14, 2], X[3, 15, 4, 14], X[15, 5, 16, 4]]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[TorusKnot[11, 2]]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[-8, 9, -10, 11, -1, 2, -3, 4, -5, 6, -7, 8, -9, 10, -11, 1, |
|||
-2, 3, -4, 5, -6, 7]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[TorusKnot[11, 2]]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[2, {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>alex = Alexander[TorusKnot[11, 2]][t]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -5 -4 -3 -2 1 2 3 4 5 |
|||
-1 + t - t + t - t + - + t - t + t - t + t |
|||
t</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Conway[TorusKnot[11, 2]][z]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 8 10 |
|||
1 + 15 z + 35 z + 28 z + 9 z + z</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[11, Alternating, 367]}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{KnotDet[TorusKnot[11, 2]], KnotSignature[TorusKnot[11, 2]]}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{11, 10}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[TorusKnot[11, 2]][q]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 5 7 8 9 10 11 12 13 14 15 16 |
|||
q + q - q + q - q + q - q + q - q + q - q</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[11, Alternating, 367]}</nowiki></pre></td></tr> |
||
Include[ColouredJonesM.mhtml] |
Include[ColouredJonesM.mhtml] |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[TorusKnot[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[TorusKnot[11, 2]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 18 20 22 24 26 42 44 46 |
||
q + q + 2 q + q - q - q</nowiki></pre></td></tr> |
q + q + 2 q + q + q - q - q - q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[TorusKnot[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[TorusKnot[11, 2]][a, z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2 |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2 2 |
||
-5 6 z z z z z 5 z z 2 z 3 z |
|||
- |
--- - --- + --- - --- + --- - --- + --- + --- + --- - ---- + ---- - |
||
12 10 21 19 17 15 13 11 20 18 16 |
|||
a a a a a |
a a a a a a a a a a a |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][TorusKnot[3, 2]], Vassiliev[3][TorusKnot[3, 2]]}</nowiki></pre></td></tr> |
|||
2 2 2 3 3 3 3 3 4 |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, 1}</nowiki></pre></td></tr> |
|||
4 z 25 z 35 z z 3 z 6 z 10 z 20 z z |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[TorusKnot[3, 2]][q, t]</nowiki></pre></td></tr> |
|||
---- + ----- + ----- + --- - ---- + ---- - ----- - ----- + --- - |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 2 9 3 |
|||
14 12 10 19 17 15 13 11 18 |
|||
q + q + q t + q t</nowiki></pre></td></tr> |
|||
a a a a a a a a a |
|||
4 4 4 4 5 5 5 5 6 |
|||
4 z 10 z 41 z 56 z z 5 z 15 z 21 z z |
|||
---- + ----- - ----- - ----- + --- - ---- + ----- + ----- + --- - |
|||
16 14 12 10 17 15 13 11 16 |
|||
a a a a a a a a a |
|||
6 6 6 7 7 7 8 8 8 9 |
|||
6 z 29 z 36 z z 7 z 8 z z 9 z 10 z z |
|||
---- + ----- + ----- + --- - ---- - ---- + --- - ---- - ----- + --- + |
|||
14 12 10 15 13 11 14 12 10 13 |
|||
a a a a a a a a a a |
|||
9 10 10 |
|||
z z z |
|||
--- + --- + --- |
|||
11 12 10 |
|||
a a a</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][TorusKnot[11, 2]], Vassiliev[3][TorusKnot[11, 2]]}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, 55}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[TorusKnot[11, 2]][q, t]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 9 11 13 2 17 3 17 4 21 5 21 6 25 7 |
|||
q + q + q t + q t + q t + q t + q t + q t + |
|||
25 8 29 9 29 10 33 11 |
|||
q t + q t + q t + q t</nowiki></pre></td></tr> |
|||
</table> |
</table> |
Revision as of 18:35, 26 August 2005
[[Image:T(5,3).{{{ext}}}|80px|link=T(5,3)]] |
[[Image:T(13,2).{{{ext}}}|80px|link=T(13,2)]] |
Visit T(11,2)'s page at Knotilus!
Visit T(11,2)'s page at the original Knot Atlas!
Knot presentations
Planar diagram presentation | X5,17,6,16 X17,7,18,6 X7,19,8,18 X19,9,20,8 X9,21,10,20 X21,11,22,10 X11,1,12,22 X1,13,2,12 X13,3,14,2 X3,15,4,14 X15,5,16,4 |
Gauss code | {-8, 9, -10, 11, -1, 2, -3, 4, -5, 6, -7, 8, -9, 10, -11, 1, -2, 3, -4, 5, -6, 7} |
Dowker-Thistlethwaite code | 12 14 16 18 20 22 2 4 6 8 10 |
Polynomial invariants
Polynomial invariants
KnotTheory`
, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of August 31, 2006, 11:25:27.5625.
|
In[3]:=
|
K = Knot["T(11,2)"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
In[6]:=
|
Alexander[K, 2][t]
|
KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.
|
Out[6]=
|
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 11, 10 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
Vassiliev invariants
V2 and V3 | {0, 55}) |
Khovanov Homology. The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where 10 is the signature of T(11,2). Nonzero entries off the critical diagonals (if any exist) are highlighted in red.
|
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | χ | |||||||||
33 | 1 | -1 | ||||||||||||||||||||
31 | 0 | |||||||||||||||||||||
29 | 1 | 1 | 0 | |||||||||||||||||||
27 | 0 | |||||||||||||||||||||
25 | 1 | 1 | 0 | |||||||||||||||||||
23 | 0 | |||||||||||||||||||||
21 | 1 | 1 | 0 | |||||||||||||||||||
19 | 0 | |||||||||||||||||||||
17 | 1 | 1 | 0 | |||||||||||||||||||
15 | 0 | |||||||||||||||||||||
13 | 1 | 1 | ||||||||||||||||||||
11 | 1 | 1 | ||||||||||||||||||||
9 | 1 | 1 |
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`
. See A Sample KnotTheory` Session.
Include[ColouredJonesM.mhtml]
In[1]:= |
<< KnotTheory` |
Loading KnotTheory` (version of August 19, 2005, 13:11:25)... | |
In[2]:= | Crossings[TorusKnot[11, 2]] |
Out[2]= | 11 |
In[3]:= | PD[TorusKnot[11, 2]] |
Out[3]= | PD[X[5, 17, 6, 16], X[17, 7, 18, 6], X[7, 19, 8, 18], X[19, 9, 20, 8],X[9, 21, 10, 20], X[21, 11, 22, 10], X[11, 1, 12, 22],X[1, 13, 2, 12], X[13, 3, 14, 2], X[3, 15, 4, 14], X[15, 5, 16, 4]] |
In[4]:= | GaussCode[TorusKnot[11, 2]] |
Out[4]= | GaussCode[-8, 9, -10, 11, -1, 2, -3, 4, -5, 6, -7, 8, -9, 10, -11, 1, -2, 3, -4, 5, -6, 7] |
In[5]:= | BR[TorusKnot[11, 2]] |
Out[5]= | BR[2, {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}] |
In[6]:= | alex = Alexander[TorusKnot[11, 2]][t] |
Out[6]= | -5 -4 -3 -2 1 2 3 4 5 |
In[7]:= | Conway[TorusKnot[11, 2]][z] |
Out[7]= | 2 4 6 8 10 1 + 15 z + 35 z + 28 z + 9 z + z |
In[8]:= | Select[AllKnots[], (alex === Alexander[#][t])&] |
Out[8]= | {Knot[11, Alternating, 367]} |
In[9]:= | {KnotDet[TorusKnot[11, 2]], KnotSignature[TorusKnot[11, 2]]} |
Out[9]= | {11, 10} |
In[10]:= | J=Jones[TorusKnot[11, 2]][q] |
Out[10]= | 5 7 8 9 10 11 12 13 14 15 16 q + q - q + q - q + q - q + q - q + q - q |
In[11]:= | Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&] |
Out[11]= | {Knot[11, Alternating, 367]} |
In[12]:= | A2Invariant[TorusKnot[11, 2]][q] |
Out[12]= | 18 20 22 24 26 42 44 46 q + q + 2 q + q + q - q - q - q |
In[13]:= | Kauffman[TorusKnot[11, 2]][a, z] |
Out[13]= | 2 2 2 |
In[14]:= | {Vassiliev[2][TorusKnot[11, 2]], Vassiliev[3][TorusKnot[11, 2]]} |
Out[14]= | {0, 55} |
In[15]:= | Kh[TorusKnot[11, 2]][q, t] |
Out[15]= | 9 11 13 2 17 3 17 4 21 5 21 6 25 7 |