10 4: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
<!-- WARNING! WARNING! WARNING!
<!-- This page was generated from the splice base [[Rolfsen_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 [[Rolfsen_Splice_Base]]. -->
<!-- -->
<!-- -->
<!-- -->

{{Rolfsen Knot Page|
<!-- provide an anchor so we can return to the top of the page -->
n = 10 |
<span id="top"></span>
k = 4 |

KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-4,3,-8,5,-1,6,-10,7,-9,2,-3,8,-5,4,-2,9,-7,10,-6/goTop.html |
<!-- this relies on transclusion for next and previous links -->
braid_table = <table cellspacing=0 cellpadding=0 border=0>
{{Knot Navigation Links|ext=gif}}
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>

<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>
{| align=left
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr>
|- valign=top
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]]</td></tr>
|[[Image:{{PAGENAME}}.gif]]
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]]</td></tr>
|{{Rolfsen Knot Site Links|n=10|k=4|KnotilusURL=http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-4,3,-8,5,-1,6,-10,7,-9,2,-3,8,-5,4,-2,9,-7,10,-6/goTop.html}}
</table> |
|{{:{{PAGENAME}} Quick Notes}}
braid_crossings = 12 |
|}
braid_width = 5 |

braid_index = 5 |
<br style="clear:both" />
same_alexander = |

same_jones = |
{{:{{PAGENAME}} Further Notes and Views}}
khovanov_table = <table border=1>

{{Knot Presentations}}
{{3D Invariants}}
{{4D Invariants}}
{{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=13.3333%><table cellpadding=0 cellspacing=0>
<td width=13.3333%><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=6.66667%>-4</td ><td width=6.66667%>-3</td ><td width=6.66667%>-2</td ><td width=6.66667%>-1</td ><td width=6.66667%>0</td ><td width=6.66667%>1</td ><td width=6.66667%>2</td ><td width=6.66667%>3</td ><td width=6.66667%>4</td ><td width=6.66667%>5</td ><td width=6.66667%>6</td ><td width=13.3333%>&chi;</td></tr>
<td width=6.66667%>-4</td ><td width=6.66667%>-3</td ><td width=6.66667%>-2</td ><td width=6.66667%>-1</td ><td width=6.66667%>0</td ><td width=6.66667%>1</td ><td width=6.66667%>2</td ><td width=6.66667%>3</td ><td width=6.66667%>4</td ><td width=6.66667%>5</td ><td width=6.66667%>6</td ><td width=13.3333%>&chi;</td></tr>
<tr align=center><td>11</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>1</td><td>1</td></tr>
<tr align=center><td>11</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>1</td><td>1</td></tr>
<tr align=center><td>9</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>9</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 48: Line 41:
<tr align=center><td>-9</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>1</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>-9</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>1</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>-11</td><td bgcolor=yellow>1</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>-11</td><td bgcolor=yellow>1</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 = <math>q^{16}-q^{15}-q^{14}+3 q^{13}-q^{12}-4 q^{11}+5 q^{10}-7 q^8+6 q^7+2 q^6-8 q^5+6 q^4+4 q^3-9 q^2+5 q+4-8 q^{-1} +4 q^{-2} +3 q^{-3} -6 q^{-4} +3 q^{-5} +3 q^{-6} -6 q^{-7} +3 q^{-8} +2 q^{-9} -5 q^{-10} +3 q^{-11} + q^{-12} -2 q^{-13} + q^{-14} </math> |

coloured_jones_3 = <math>q^{33}-q^{32}-q^{31}+3 q^{29}-3 q^{27}-3 q^{26}+5 q^{25}+3 q^{24}-3 q^{23}-7 q^{22}+4 q^{21}+6 q^{20}-q^{19}-8 q^{18}+2 q^{17}+7 q^{16}-7 q^{14}+q^{13}+6 q^{12}-q^{11}-6 q^{10}+q^9+7 q^8-3 q^7-6 q^6+2 q^5+8 q^4-5 q^3-7 q^2+5 q+9-8 q^{-1} -9 q^{-2} +10 q^{-3} +10 q^{-4} -10 q^{-5} -12 q^{-6} +11 q^{-7} +11 q^{-8} -7 q^{-9} -13 q^{-10} +8 q^{-11} +9 q^{-12} -3 q^{-13} -10 q^{-14} +3 q^{-15} +7 q^{-16} - q^{-17} -6 q^{-18} + q^{-19} +4 q^{-20} -4 q^{-22} + q^{-23} + q^{-24} + q^{-25} -2 q^{-26} + q^{-27} </math> |
{{Computer Talk Header}}
coloured_jones_4 = <math>q^{56}-q^{55}-q^{54}+4 q^{51}-q^{50}-2 q^{49}-2 q^{48}-4 q^{47}+8 q^{46}+2 q^{45}-3 q^{43}-11 q^{42}+8 q^{41}+3 q^{40}+5 q^{39}+q^{38}-16 q^{37}+6 q^{36}+7 q^{34}+6 q^{33}-17 q^{32}+8 q^{31}-4 q^{30}+5 q^{29}+7 q^{28}-19 q^{27}+12 q^{26}-3 q^{25}+4 q^{24}+7 q^{23}-24 q^{22}+13 q^{21}+6 q^{19}+10 q^{18}-30 q^{17}+9 q^{16}+q^{15}+10 q^{14}+16 q^{13}-32 q^{12}+2 q^{11}-q^{10}+13 q^9+24 q^8-33 q^7-4 q^6-3 q^5+14 q^4+30 q^3-34 q^2-9 q-4+17 q^{-1} +36 q^{-2} -36 q^{-3} -17 q^{-4} -6 q^{-5} +20 q^{-6} +43 q^{-7} -33 q^{-8} -23 q^{-9} -12 q^{-10} +19 q^{-11} +47 q^{-12} -26 q^{-13} -22 q^{-14} -16 q^{-15} +14 q^{-16} +41 q^{-17} -19 q^{-18} -15 q^{-19} -14 q^{-20} +9 q^{-21} +31 q^{-22} -16 q^{-23} -7 q^{-24} -9 q^{-25} +5 q^{-26} +20 q^{-27} -14 q^{-28} -5 q^{-30} +3 q^{-31} +10 q^{-32} -11 q^{-33} +3 q^{-34} -2 q^{-35} +2 q^{-36} +4 q^{-37} -6 q^{-38} +2 q^{-39} - q^{-40} + q^{-41} + q^{-42} -2 q^{-43} + q^{-44} </math> |

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[Knot[10, 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>10</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[Knot[10, 4]]</nowiki></pre></td></tr>
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></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[6, 2, 7, 1], X[16, 12, 17, 11], X[12, 3, 13, 4], X[2, 15, 3, 16],
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[2]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[Knot[10, 4]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[6, 2, 7, 1], X[16, 12, 17, 11], X[12, 3, 13, 4], X[2, 15, 3, 16],
X[14, 5, 15, 6], X[20, 8, 1, 7], X[18, 10, 19, 9], X[4, 13, 5, 14],
X[14, 5, 15, 6], X[20, 8, 1, 7], X[18, 10, 19, 9], X[4, 13, 5, 14],
X[10, 18, 11, 17], X[8, 20, 9, 19]]</nowiki></pre></td></tr>
X[10, 18, 11, 17], X[8, 20, 9, 19]]</nowiki></code></td></tr>
</table>
<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[Knot[10, 4]]</nowiki></pre></td></tr>
<table><tr align=left>
<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[1, -4, 3, -8, 5, -1, 6, -10, 7, -9, 2, -3, 8, -5, 4, -2, 9,
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Knot[10, 4]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[1, -4, 3, -8, 5, -1, 6, -10, 7, -9, 2, -3, 8, -5, 4, -2, 9,
-7, 10, -6]</nowiki></pre></td></tr>
-7, 10, -6]</nowiki></code></td></tr>
</table>
<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[Knot[10, 4]]</nowiki></pre></td></tr>
<table><tr align=left>
<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[5, {-1, -1, -1, 2, -1, 2, 3, -2, 3, 4, -3, 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>alex = Alexander[Knot[10, 4]][t]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<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> 3 7 2
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[10, 4]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[6, 12, 14, 20, 18, 16, 4, 2, 10, 8]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>br = BR[Knot[10, 4]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BR[5, {-1, -1, -1, 2, -1, 2, 3, -2, 3, 4, -3, 4}]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{First[br], Crossings[br]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[6]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{5, 12}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BraidIndex[Knot[10, 4]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[7]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>5</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Show[DrawMorseLink[Knot[10, 4]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:10_4_ML.gif]]</td></tr><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-Graphics-</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> (#[Knot[10, 4]]&) /@ {
SymmetryType, UnknottingNumber, ThreeGenus,
BridgeIndex, SuperBridgeIndex, NakanishiIndex
}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Reversible, 2, 2, 2, NotAvailable, 1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>alex = Alexander[Knot[10, 4]][t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[10]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 3 7 2
-7 - -- + - + 7 t - 3 t
-7 - -- + - + 7 t - 3 t
2 t
2 t
t</nowiki></pre></td></tr>
t</nowiki></code></td></tr>
</table>
<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[Knot[10, 4]][z]</nowiki></pre></td></tr>
<table><tr align=left>
<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
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
1 - 5 z - 3 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>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[10, 4]][z]</nowiki></code></td></tr>
<tr align=left>
<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>{Knot[10, 4]}</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[Knot[10, 4]], KnotSignature[Knot[10, 4]]}</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td>
<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>{27, -2}</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 4
1 - 5 z - 3 z</nowiki></code></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[Knot[10, 4]][q]</nowiki></pre></td></tr>
</table>
<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> -5 2 3 3 4 2 3 4 5
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[10, 4]}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[13]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{KnotDet[Knot[10, 4]], KnotSignature[Knot[10, 4]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[13]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{27, -2}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[14]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Jones[Knot[10, 4]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[14]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -5 2 3 3 4 2 3 4 5
-4 + q - -- + -- - -- + - + 3 q - 3 q + 2 q - q + q
-4 + q - -- + -- - -- + - + 3 q - 3 q + 2 q - q + q
4 3 2 q
4 3 2 q
q q q</nowiki></pre></td></tr>
q q q</nowiki></code></td></tr>
</table>
<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>
<table><tr align=left>
<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>{Knot[10, 4]}</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td>
<math>\textrm{Include}(\textrm{ColouredJonesM.mhtml})</math>
<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[Knot[10, 4]][q]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></code></td></tr>
<tr align=left>
<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> -16 -10 -6 2 4 6 8 10 12 14 16
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[15]:=</code></td>
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[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[Knot[10, 4]][a, z]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[10, 4]}</nowiki></code></td></tr>
</table>
<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> 2 2
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[16]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Knot[10, 4]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[16]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -16 -10 -6 2 4 6 8 10 12 14 16
q + q + q - q - q - q - q + q + q + q + q</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[17]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Knot[10, 4]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[17]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 2 4
2 2 4 2 z 3 z 2 2 4 2 4 z 2 4
-- - -- + a - 2 z + -- - ---- - 2 a z + a z - z - -- - a z
4 2 4 2 2
a a a a a</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[18]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Knot[10, 4]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[18]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 2
2 2 4 2 z z 2 13 z 16 z 4 2 6 2
2 2 4 2 z z 2 13 z 16 z 4 2 6 2
-- + -- + a + --- - - - 3 a z + z - ----- - ----- - 3 a z + a z -
-- + -- + a + --- - - - 3 a z + z - ----- - ----- - 3 a z + a z -
Line 118: Line 216:
----- + 3 a z - ---- - ---- + 3 a z + 2 z + -- + ---- + -- + --
----- + 3 a z - ---- - ---- + 3 a z + 2 z + -- + ---- + -- + --
2 3 a 4 2 3 a
2 3 a 4 2 3 a
a a a a a</nowiki></pre></td></tr>
a a a a a</nowiki></code></td></tr>
</table>
<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][Knot[10, 4]], Vassiliev[3][Knot[10, 4]]}</nowiki></pre></td></tr>
<table><tr align=left>
<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, -1}</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[Knot[10, 4]][q, t]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td>
<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>3 2 1 1 1 2 1 1 2 2 t
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[10, 4]], Vassiliev[3][Knot[10, 4]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[19]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{-5, -1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[20]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kh[Knot[10, 4]][q, t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[20]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>3 2 1 1 1 2 1 1 2 2 t
-- + - + ------ + ----- + ----- + ----- + ----- + ---- + ---- + --- +
-- + - + ------ + ----- + ----- + ----- + ----- + ---- + ---- + --- +
3 q 11 4 9 3 7 3 7 2 5 2 5 3 q
3 q 11 4 9 3 7 3 7 2 5 2 5 3 q
Line 128: Line 236:
2 3 2 3 3 5 3 7 4 7 5 11 6
2 3 2 3 3 5 3 7 4 7 5 11 6
2 q t + q t + 2 q t + 2 q t + q t + 2 q t + q t + q t</nowiki></pre></td></tr>
2 q t + q t + 2 q t + 2 q t + q t + 2 q t + q t + q t</nowiki></code></td></tr>
</table>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[21]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>ColouredJones[Knot[10, 4], 2][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[21]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -14 2 -12 3 5 2 3 6 3 3 6 3
4 + q - --- + q + --- - --- + -- + -- - -- + -- + -- - -- + -- +
13 11 10 9 8 7 6 5 4 3
q q q q q q q q q q
4 8 2 3 4 5 6 7 8
-- - - + 5 q - 9 q + 4 q + 6 q - 8 q + 2 q + 6 q - 7 q +
2 q
q
10 11 12 13 14 15 16
5 q - 4 q - q + 3 q - q - q + q</nowiki></code></td></tr>
</table> }}

Latest revision as of 17:01, 1 September 2005

10 3.gif

10_3

10 5.gif

10_5

10 4.gif
(KnotPlot image)

See the full Rolfsen Knot Table.

Visit 10 4's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)

Visit 10 4 at Knotilus!


Knot presentations

Planar diagram presentation X6271 X16,12,17,11 X12,3,13,4 X2,15,3,16 X14,5,15,6 X20,8,1,7 X18,10,19,9 X4,13,5,14 X10,18,11,17 X8,20,9,19
Gauss code 1, -4, 3, -8, 5, -1, 6, -10, 7, -9, 2, -3, 8, -5, 4, -2, 9, -7, 10, -6
Dowker-Thistlethwaite code 6 12 14 20 18 16 4 2 10 8
Conway Notation [613]


Minimum Braid Representative A Morse Link Presentation An Arc Presentation
BraidPart3.gifBraidPart3.gifBraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gif
BraidPart4.gifBraidPart4.gifBraidPart4.gifBraidPart1.gifBraidPart4.gifBraidPart1.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart1.gifBraidPart4.gifBraidPart1.gifBraidPart0.gifBraidPart3.gifBraidPart0.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart1.gifBraidPart4.gifBraidPart1.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gif

Length is 12, width is 5,

Braid index is 5

10 4 ML.gif 10 4 AP.gif
[{2, 12}, {1, 3}, {4, 2}, {3, 5}, {6, 4}, {5, 7}, {11, 6}, {12, 8}, {7, 9}, {8, 10}, {9, 11}, {10, 1}]

[edit Notes on presentations of 10 4]


Three dimensional invariants

Symmetry type Reversible
Unknotting number 2
3-genus 2
Bridge index 2
Super bridge index Missing
Nakanishi index 1
Maximal Thurston-Bennequin number [-7][-5]
Hyperbolic Volume 5.81713
A-Polynomial See Data:10 4/A-polynomial

[edit Notes for 10 4's three dimensional invariants]

Four dimensional invariants

Smooth 4 genus
Topological 4 genus
Concordance genus
Rasmussen s-Invariant 2

[edit Notes for 10 4's four dimensional invariants]

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 27, -2 }
Jones polynomial
HOMFLY-PT polynomial (db, data sources)
Kauffman polynomial (db, data sources)
The A2 invariant
The G2 invariant

"Similar" Knots (within the Atlas)

Same Alexander/Conway Polynomial: {}

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

Vassiliev invariants

V2 and V3: (-5, -1)
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

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 -2 is the signature of 10 4. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
-4-3-2-10123456χ
11          11
9           0
7        21 1
5       1   -1
3      22   0
1     21    -1
-1    22     0
-3   23      1
-5  11       0
-7 12        1
-9 1         -1
-111          1
Integral Khovanov Homology

(db, data source)

  

The Coloured Jones Polynomials