T(7,2): Difference between revisions
From Knot Atlas
Jump to navigationJump to search
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.jpg|next=T(5,2).jpg}} |
|||
<!-- --> |
|||
Visit $Failedmath.uwo.c$Failedtriev$Faileddge] at [h$Failedn.math.uwo.ca/c$Failedml Knotilus]! |
|||
<span id="top"></span> |
|||
⚫ | |||
{{Knot Navigation Links|prev=T(5,2).jpg|next=T(4,3).jpg}} |
|||
Visit [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-4,5,-6,7,-1,2,-3,4,-5,6,-7,1,-2,3/goTop.html T(7,2)'s page] at [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/html/start.html Knotilus]! |
|||
⚫ | |||
===Knot presentations=== |
|||
{| |
{| |
||
|'''[[Planar Diagrams|Planar diagram presentation]]''' |
|'''[[Planar Diagrams|Planar diagram presentation]]''' |
||
|style="padding-left: 1em;" | X<sub> |
|style="padding-left: 1em;" | X<sub>3146</sub> X<b > 152/sub> X<sub>5362</sub> |
||
|- |
|- |
||
|'''[[Gauss Codes|Gauss code]]''' |
|'''[[Gauss Codes|Gauss code]]''' |
||
|style= |
|style=$Faile$Failed1, 2, -3, 1} |
||
|- |
|- |
||
|'''[[DT (Dowker-Thistlethwaite) Codes|Dowker- |
|'''[[DT (Dowker-Thistlethwaite) Codes|Dowker-Thistl$Failede="pa$Failedial Invariants|name=T(3,2)}} |
||
⚫ | |||
|} |
|||
=== |
===[[Finite Type (Vassiliev) Invaants | Vasliev invariants]]===$Failed''' |
||
⚫ | |||
{{Polynomial Invariants|name=T(7,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, 14}) |
|||
|} |
|} |
||
[[Khovanov |
[[Khovanov Homolo$Failedefficien$Failed> are shown, along with their alternating sums <math>\chi</math> (fixed <math>j</math>, alternation over <math>r</math>). The squares with <font class=HLYel$Failedse on the "critical diagonals", where <math>j-2r=s+1</math> or <math>j-2r=s+1</math>, where <math>s=</math>2 is the signature of T(3,2). Nonzero entries off the critical diagonals (if any $Failed in <font class=HLRed$Failed |
||
<center><table border=1> |
<center><table border=1> |
||
<tr align=center> |
<tr align=center> |
||
<td width= |
<td width=25.%><table cellpadding=0 cellspacing=0> |
||
<tr><td>\</td><td> </td><td> |
<tr><td>\</td><td>&nbs$Failed;</td><td> \ </td><td>&n$Failed>j</td><td> </td$Failed/tr> |
||
<tr><td> </td><td> \ </td><td> </td></tr> |
|||
<tr><td>j</td><td> </td><td>\</td></tr> |
|||
</table></td> |
</table></td> |
||
<td width= |
<td width=12.5%>0</td ><td width=12.5%>1</td ><td width=12.5%>2</td ><td width=12.5%>3</td ><td wid$Failednter><td>9</td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>$Failed<td> </td><t$Failedo$Failedo$Failed>$Failed>$Failedl$Failedl$Failedd$Failed>$Failed&$Failedd$Failed>$Failed>$Failedo$Failedp$Failed align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
||
⚫ | |||
<tr align=center><td>21</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 |
<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[3, 1, 4, 6], X[1, 5, 2, 4], X[5, 3, 6, 2]]</nowiki></pre></td></tr> |
||
⚫ | |||
<tr align=center><td>17</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> |
|||
<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[-2, 3, -1, 2, -3, 1]</nowiki></pre></td></tr> |
||
⚫ | |||
<tr align=center><td>13</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 |
<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}]</nowiki></pre></td></tr> |
||
⚫ | |||
<tr align=center><td>9</td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
|||
<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> 1 |
||
-1 + - + t |
|||
<tr align=center><td>5</td><td bgcolor=yellow>1</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[7, 2]]</nowiki></pre></td></tr> |
|||
⚫ | |||
⚫ | |||
⚫ | |||
X[9, 3, 10, 2], X[3, 11, 4, 10], X[11, 5, 12, 4]]</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[-4, 5, -6, 7, -1, 2, -3, 4, -5, 6, -7, 1, -2, 3]</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}]</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> -3 -2 1 2 3 |
|||
-1 + t - t + - + t - t + t |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
<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>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[ |
<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[3, 1]}</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[ |
<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[3, 2]], KnotSignature[TorusKnot[3, 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>{ |
<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>{3, 2}</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[ |
<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 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> |
<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 |
||
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[3, 1]}</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[3, 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> 2 4 6 8 12 14 |
||
q |
q + q + 2 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[3, 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> |
<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 |
||
-4 2 z z z z |
|||
- |
-a - -- + -- + -- + -- + -- |
||
2 5 3 4 2 |
|||
a a a a a</nowiki></pre></td></tr> |
|||
⚫ | |||
⚫ | |||
3 3 4 4 4 5 5 6 6 |
|||
⚫ | |||
3 z 4 z z 5 z 6 z z z z z |
|||
⚫ | |||
---- - ---- + --- - ---- - ---- + -- + -- + -- + -- |
|||
q + q + q t + q t</nowiki></pre></td></tr> |
|||
a a a a a a a a a</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, 14}</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> 5 7 9 2 13 3 13 4 17 5 17 6 21 7 |
|||
q + q + q t + q t + q t + q t + q t + q t</nowiki></pre></td></tr> |
|||
</table> |
</table> |
Revision as of 18:28, 26 August 2005