T(9,4): Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<!-- WARNING! WARNING! WARNING!
<!-- This page was generated from the splice template [[Torus_Knot_Splice_Base]]. Please do not edit!
<!-- You probably want to edit the template referred to immediately below. (See [[Category:Knot Page Template]].)
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Torus_Knot_Splice_Base]]. -->
<!-- -->
<!-- -->

<!-- -->
<!-- -->
<!-- WARNING! WARNING! WARNING!

<!-- This page was generated from the splice template [[Torus Knot Splice Template]]. Please do not edit!
<span id="top"></span>
<!-- Almost certainly, you want to edit [[Template:Torus Knot Page]], which actually produces this page.

<!-- The text below simply calls [[Template:Torus Knot Page]] setting the values of all the parameters appropriately.
{{Knot Navigation Links|ext=jpg}}
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Torus Knot Splice Template]]. -->

<!-- -->
{| align=left
{{Torus Knot Page|
|- valign=top
m = 9 |
|[[Image:{{PAGENAME}}.jpg]]
n = 4 |
|{{Torus Knot Site Links|m=9|n=4|KnotilusURL=http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/8,9,-12,-14,-16,19,20,21,-24,-26,-1,4,5,6,-9,-11,-13,16,17,18,-21,-23,-25,1,2,3,-6,-8,-10,13,14,15,-18,-20,-22,25,26,27,-3,-5,-7,10,11,12,-15,-17,-19,22,23,24,-27,-2,-4,7/goTop.html}}
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/8,9,-12,-14,-16,19,20,21,-24,-26,-1,4,5,6,-9,-11,-13,16,17,18,-21,-23,-25,1,2,3,-6,-8,-10,13,14,15,-18,-20,-22,25,26,27,-3,-5,-7,10,11,12,-15,-17,-19,22,23,24,-27,-2,-4,7/goTop.html |

braid_table = <table cellspacing=0 cellpadding=0 border=0>
{{:{{PAGENAME}} Quick Notes}}
<tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>
|}
<tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]]</td></tr>

<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]]</td></tr>
<br style="clear:both" />
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]]</td></tr>

</table> |
{{:{{PAGENAME}} Further Notes and Views}}
same_alexander = |

same_jones = |
{{Knot Presentations}}
khovanov_table = <table border=1>
{{Polynomial Invariants}}
{{Vassiliev Invariants}}

===[[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>{{Data:{{PAGENAME}}/Signature}} is the signature of {{PAGENAME}}. Nonzero entries off the critical diagonals (if any exist) are highlighted in <font class=HLRed>red</font>.

<center><table border=1>
<tr align=center>
<tr align=center>
<td width=9.09091%><table cellpadding=0 cellspacing=0>
<td width=9.09091%><table cellpadding=0 cellspacing=0>
<tr><td>\</td><td>&nbsp;</td><td>r</td></tr>
<tr><td>\</td><td>&nbsp;</td><td>r</td></tr>
<tr><td>&nbsp;</td><td>&nbsp;\&nbsp;</td><td>&nbsp;</td></tr>
<tr><td>&nbsp;</td><td>&nbsp;\&nbsp;</td><td>&nbsp;</td></tr>
<tr><td>j</td><td>&nbsp;</td><td>\</td></tr>
<tr><td>j</td><td>&nbsp;</td><td>\</td></tr>
</table></td>
</table></td>
<td width=4.54545%>0</td ><td width=4.54545%>1</td ><td width=4.54545%>2</td ><td width=4.54545%>3</td ><td width=4.54545%>4</td ><td width=4.54545%>5</td ><td width=4.54545%>6</td ><td width=4.54545%>7</td ><td width=4.54545%>8</td ><td width=4.54545%>9</td ><td width=4.54545%>10</td ><td width=4.54545%>11</td ><td width=4.54545%>12</td ><td width=4.54545%>13</td ><td width=4.54545%>14</td ><td width=4.54545%>15</td ><td width=4.54545%>16</td ><td width=4.54545%>17</td ><td width=9.09091%>&chi;</td></tr>
<td width=4.54545%>0</td ><td width=4.54545%>1</td ><td width=4.54545%>2</td ><td width=4.54545%>3</td ><td width=4.54545%>4</td ><td width=4.54545%>5</td ><td width=4.54545%>6</td ><td width=4.54545%>7</td ><td width=4.54545%>8</td ><td width=4.54545%>9</td ><td width=4.54545%>10</td ><td width=4.54545%>11</td ><td width=4.54545%>12</td ><td width=4.54545%>13</td ><td width=4.54545%>14</td ><td width=4.54545%>15</td ><td width=4.54545%>16</td ><td width=4.54545%>17</td ><td width=9.09091%>&chi;</td></tr>
<tr align=center><td>51</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=red>1</td><td bgcolor=yellow>1</td><td>0</td></tr>
<tr align=center><td>51</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=red>1</td><td bgcolor=yellow>1</td><td>0</td></tr>
<tr align=center><td>49</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>0</td></tr>
<tr align=center><td>49</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>0</td></tr>
Line 50: Line 46:
<tr align=center><td>25</td><td bgcolor=red>1</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>1</td></tr>
<tr align=center><td>25</td><td bgcolor=red>1</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>1</td></tr>
<tr align=center><td>23</td><td bgcolor=red>1</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>1</td></tr>
<tr align=center><td>23</td><td bgcolor=red>1</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>1</td></tr>
</table></center>
</table> |
coloured_jones_2 = |

coloured_jones_3 = |
{{Computer Talk Header}}
coloured_jones_4 = |

coloured_jones_5 = |
<table>
coloured_jones_6 = |
<tr valign=top>
coloured_jones_7 = |
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:=&nbsp;&nbsp;&nbsp;&nbsp;</pre></td>
computer_talk =
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
<table>
</tr>
<tr valign=top>
<tr valign=top><td colspan=2><pre style="border: 0px; padding: 0em">Loading KnotTheory` (version of August 17, 2005, 14:44:34)...</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[9, 4]]</nowiki></pre></td></tr>
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:=&nbsp;&nbsp;&nbsp;&nbsp;</pre></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>27</nowiki></pre></td></tr>
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</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[9, 4]]</nowiki></pre></td></tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[11, 25, 12, 24], X[52, 26, 53, 25], X[39, 27, 40, 26],
<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[9, 4]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>27</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>TubePlot[TorusKnot[9, 4]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:T(9,4).jpg]]</td></tr><tr valign=top><td><tt><font color=blue>Out[3]=</font></tt><td><tt><font color=black>-Graphics-</font></tt></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>PD[TorusKnot[9, 4]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[11, 25, 12, 24], X[52, 26, 53, 25], X[39, 27, 40, 26],
X[53, 13, 54, 12], X[40, 14, 41, 13], X[27, 15, 28, 14],
X[53, 13, 54, 12], X[40, 14, 41, 13], X[27, 15, 28, 14],
Line 80: Line 81:
X[10, 38, 11, 37], X[51, 39, 52, 38]]</nowiki></pre></td></tr>
X[10, 38, 11, 37], X[51, 39, 52, 38]]</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[9, 4]]</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>GaussCode[TorusKnot[9, 4]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[8, 9, -12, -14, -16, 19, 20, 21, -24, -26, -1, 4, 5, 6, -9,
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[8, 9, -12, -14, -16, 19, 20, 21, -24, -26, -1, 4, 5, 6, -9,
-11, -13, 16, 17, 18, -21, -23, -25, 1, 2, 3, -6, -8, -10, 13, 14,
-11, -13, 16, 17, 18, -21, -23, -25, 1, 2, 3, -6, -8, -10, 13, 14,
Line 88: Line 89:
22, 23, 24, -27, -2, -4, 7]</nowiki></pre></td></tr>
22, 23, 24, -27, -2, -4, 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[9, 4]]</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>BR[TorusKnot[9, 4]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3,
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3,
1, 2, 3, 1, 2, 3}]</nowiki></pre></td></tr>
1, 2, 3, 1, 2, 3}]</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[9, 4]][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>alex = Alexander[TorusKnot[9, 4]][t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -12 -11 -8 -7 -4 -2 2 4 7 8 11 12
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -12 -11 -8 -7 -4 -2 2 4 7 8 11 12
1 + t - t + t - t + t - t - t + t - t + t - t + t</nowiki></pre></td></tr>
1 + t - t + 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[9, 4]][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>Conway[TorusKnot[9, 4]][z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 8 10 12
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 8 10 12
1 + 50 z + 665 z + 3675 z + 10318 z + 16720 z + 16834 z +
1 + 50 z + 665 z + 3675 z + 10318 z + 16720 z + 16834 z +
14 16 18 20 22 24
14 16 18 20 22 24
10963 z + 4693 z + 1311 z + 230 z + 23 z + z</nowiki></pre></td></tr>
10963 z + 4693 z + 1311 z + 230 z + 23 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>In[9]:=</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]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</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[9, 4]], KnotSignature[TorusKnot[9, 4]]}</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>{KnotDet[TorusKnot[9, 4]], KnotSignature[TorusKnot[9, 4]]}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{9, 16}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{9, 16}</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[9, 4]][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>J=Jones[TorusKnot[9, 4]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 12 14 16 17 18 19 20 21 23
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 12 14 16 17 18 19 20 21 23
q + q + q - q + q - q + q - q - q</nowiki></pre></td></tr>
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[12]:=</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]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</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>A2Invariant[TorusKnot[9, 4]][q]</nowiki></pre></td></tr>

<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[9, 4]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</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>Kauffman[TorusKnot[9, 4]][a, z]</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[9, 4]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</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>{Vassiliev[2][TorusKnot[9, 4]], Vassiliev[3][TorusKnot[9, 4]]}</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[9, 4]], Vassiliev[3][TorusKnot[9, 4]]}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{50, 300}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, 300}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[TorusKnot[9, 4]][q, t]</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[9, 4]][q, t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[16]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 23 25 27 2 31 3 29 4 31 4 33 5 35 5
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 23 25 27 2 31 3 29 4 31 4 33 5 35 5
q + q + q t + q t + q t + q t + q t + q t +
q + q + q t + q t + q t + q t + q t + q t +
Line 132: Line 132:
51 17
51 17
q t</nowiki></pre></td></tr>
q t</nowiki></pre></td></tr>
</table>
</table> }}

{{Category:Knot Page}}

Latest revision as of 10:37, 31 August 2005

T(13,3).jpg

T(13,3)

T(27,2).jpg

T(27,2)

T(9,4).jpg See other torus knots

Visit T(9,4) at Knotilus!

Edit T(9,4) Quick Notes


Edit T(9,4) Further Notes and Views


Knot presentations

Planar diagram presentation X11,25,12,24 X52,26,53,25 X39,27,40,26 X53,13,54,12 X40,14,41,13 X27,15,28,14 X41,1,42,54 X28,2,29,1 X15,3,16,2 X29,43,30,42 X16,44,17,43 X3,45,4,44 X17,31,18,30 X4,32,5,31 X45,33,46,32 X5,19,6,18 X46,20,47,19 X33,21,34,20 X47,7,48,6 X34,8,35,7 X21,9,22,8 X35,49,36,48 X22,50,23,49 X9,51,10,50 X23,37,24,36 X10,38,11,37 X51,39,52,38
Gauss code 8, 9, -12, -14, -16, 19, 20, 21, -24, -26, -1, 4, 5, 6, -9, -11, -13, 16, 17, 18, -21, -23, -25, 1, 2, 3, -6, -8, -10, 13, 14, 15, -18, -20, -22, 25, 26, 27, -3, -5, -7, 10, 11, 12, -15, -17, -19, 22, 23, 24, -27, -2, -4, 7
Dowker-Thistlethwaite code 28 -44 -18 34 -50 -24 40 -2 -30 46 -8 -36 52 -14 -42 4 -20 -48 10 -26 -54 16 -32 -6 22 -38 -12
Braid presentation
BraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart1.gifBraidPart0.gifBraidPart0.gif
BraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart0.gif
BraidPart0.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gifBraidPart2.gifBraidPart1.gif
BraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gif

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 9, 16 }
Jones polynomial
HOMFLY-PT polynomial (db, data sources) Data:T(9,4)/HOMFLYPT Polynomial
Kauffman polynomial (db, data sources) Data:T(9,4)/Kauffman Polynomial
The A2 invariant Data:T(9,4)/QuantumInvariant/A2/1,0
The G2 invariant Data:T(9,4)/QuantumInvariant/G2/1,0

"Similar" Knots (within the Atlas)

Same Alexander/Conway Polynomial: {}

Same Jones Polynomial (up to mirroring, ): {}

Vassiliev invariants

V2 and V3: (50, 300)
V2,1 through V6,9:
V2,1 V3,1 V4,1 V4,2 V4,3 V5,1 V5,2 V5,3 V5,4 V6,1 V6,2 V6,3 V6,4 V6,5 V6,6 V6,7 V6,8 V6,9
Data:T(9,4)/V 2,1 Data:T(9,4)/V 3,1 Data:T(9,4)/V 4,1 Data:T(9,4)/V 4,2 Data:T(9,4)/V 4,3 Data:T(9,4)/V 5,1 Data:T(9,4)/V 5,2 Data:T(9,4)/V 5,3 Data:T(9,4)/V 5,4 Data:T(9,4)/V 6,1 Data:T(9,4)/V 6,2 Data:T(9,4)/V 6,3 Data:T(9,4)/V 6,4 Data:T(9,4)/V 6,5 Data:T(9,4)/V 6,6 Data:T(9,4)/V 6,7 Data:T(9,4)/V 6,8 Data:T(9,4)/V 6,9

V2,1 through V6,9 were provided by Petr Dunin-Barkowski <barkovs@itep.ru>, Andrey Smirnov <asmirnov@itep.ru>, and Alexei Sleptsov <sleptsov@itep.ru> and uploaded on October 2010 by User:Drorbn. Note that they are normalized differently than V2 and V3.

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 16 is the signature of T(9,4). Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
01234567891011121314151617χ
51                110
49                  0
47               21 -1
45            12    -1
43           1 11   -1
41           22     0
39         21 1     0
37       1  1       0
35     1 12         0
33     11           0
31   11 1           1
29    1             1
27  1               1
251                 1
231                 1
Integral Khovanov Homology

(db, data source)

  

Computer Talk

Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session.

Modifying This Page

Read me first: Modifying Knot Pages

See/edit the Torus Knot Page master template (intermediate).

See/edit the Torus Knot_Splice_Base (expert).

Back to the top.

T(13,3).jpg

T(13,3)

T(27,2).jpg

T(27,2)