6 1: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
m (Reverted edits by VivarCasit (Talk); changed back to last version by Drorbn)
 
(38 intermediate revisions by 15 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|
<!-- -->
n = 6 |
<!-- provide an anchor so we can return to the top of the page -->
k = 1 |
<span id="top"></span>
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,4,-3,1,-5,6,-2,3,-4,2,-6,5/goTop.html |
<!-- -->
braid_table = <table cellspacing=0 cellpadding=0 border=0>
<!-- this relies on transclusion for next and previous links -->
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>
{{Knot Navigation Links|ext=gif}}
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr>

<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]]</td></tr>
{{Rolfsen Knot Page Header|n=6|k=1|KnotilusURL=http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,4,-3,1,-5,6,-2,3,-4,2,-6,5/goTop.html}}
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]]</td></tr>

</table> |
<br style="clear:both" />
braid_crossings = 7 |

braid_width = 4 |
{{:{{PAGENAME}} Further Notes and Views}}
braid_index = 4 |

same_alexander = [[9_46]], [[K11n67]], [[K11n97]], [[K11n139]], |
{{Knot Presentations}}
same_jones = |
{{3D Invariants}}
khovanov_table = <table border=1>
{{4D Invariants}}
{{Polynomial Invariants}}
{{Vassiliev Invariants}}

{{Khovanov Homology|table=<table border=1>
<tr align=center>
<tr align=center>
<td width=18.1818%><table cellpadding=0 cellspacing=0>
<td width=18.1818%><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=9.09091%>-4</td ><td width=9.09091%>-3</td ><td width=9.09091%>-2</td ><td width=9.09091%>-1</td ><td width=9.09091%>0</td ><td width=9.09091%>1</td ><td width=9.09091%>2</td ><td width=18.1818%>&chi;</td></tr>
<td width=9.09091%>-4</td ><td width=9.09091%>-3</td ><td width=9.09091%>-2</td ><td width=9.09091%>-1</td ><td width=9.09091%>0</td ><td width=9.09091%>1</td ><td width=9.09091%>2</td ><td width=18.1818%>&chi;</td></tr>
<tr align=center><td>5</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>5</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>3</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>3</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 37: Line 36:
<tr align=center><td>-7</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>0</td></tr>
<tr align=center><td>-7</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>0</td></tr>
<tr align=center><td>-9</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>1</td></tr>
<tr align=center><td>-9</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>1</td></tr>
</table>}}
</table> |
coloured_jones_2 = <math>q^6-q^5+2 q^3-3 q^2+4-4 q^{-1} +4 q^{-3} -3 q^{-4} +3 q^{-6} -2 q^{-7} - q^{-8} +2 q^{-9} - q^{-10} - q^{-11} + q^{-12} </math> |
{{Computer Talk Header}}
coloured_jones_3 = <math>q^{12}-q^{11}+q^8-2 q^7+2 q^5+q^4-4 q^3+4 q+2-5 q^{-1} - q^{-2} +5 q^{-3} + q^{-4} -4 q^{-5} -2 q^{-6} +4 q^{-7} + q^{-8} -3 q^{-9} -2 q^{-10} +3 q^{-11} +2 q^{-12} -2 q^{-13} -2 q^{-14} + q^{-15} +3 q^{-16} - q^{-17} -2 q^{-18} +2 q^{-20} - q^{-22} - q^{-23} + q^{-24} </math> |

coloured_jones_4 = <math>q^{20}-q^{19}-q^{16}+2 q^{15}-2 q^{14}+q^{13}+q^{12}-2 q^{11}+2 q^{10}-4 q^9+3 q^8+4 q^7-3 q^6+q^5-7 q^4+4 q^3+6 q^2-3 q+2-10 q^{-1} +4 q^{-2} +7 q^{-3} -3 q^{-4} +2 q^{-5} -10 q^{-6} +4 q^{-7} +6 q^{-8} -3 q^{-9} +3 q^{-10} -8 q^{-11} +3 q^{-12} +5 q^{-13} -2 q^{-14} +3 q^{-15} -7 q^{-16} + q^{-17} +3 q^{-18} - q^{-19} +4 q^{-20} -6 q^{-21} + q^{-23} +5 q^{-25} -4 q^{-26} - q^{-27} - q^{-28} +5 q^{-30} -2 q^{-31} - q^{-32} - q^{-33} - q^{-34} +3 q^{-35} - q^{-38} - q^{-39} + q^{-40} </math> |
<table>
coloured_jones_5 = <math>q^{30}-q^{29}-q^{26}+2 q^{24}-q^{23}+q^{21}-2 q^{20}-q^{19}+2 q^{18}+2 q^{16}+2 q^{15}-3 q^{14}-4 q^{13}-q^{12}+2 q^{11}+5 q^{10}+5 q^9-4 q^8-7 q^7-4 q^6+q^5+8 q^4+7 q^3-3 q^2-8 q-5+8 q^{-2} +8 q^{-3} - q^{-4} -8 q^{-5} -7 q^{-6} + q^{-7} +8 q^{-8} +6 q^{-9} -8 q^{-11} -6 q^{-12} +2 q^{-13} +7 q^{-14} +4 q^{-15} -7 q^{-17} -5 q^{-18} + q^{-19} +5 q^{-20} +3 q^{-21} + q^{-22} -4 q^{-23} -4 q^{-24} +3 q^{-26} +3 q^{-27} + q^{-28} - q^{-29} -2 q^{-30} -2 q^{-31} +2 q^{-33} + q^{-34} + q^{-35} -2 q^{-37} -2 q^{-38} +3 q^{-41} +2 q^{-42} - q^{-43} -2 q^{-44} -2 q^{-45} - q^{-46} +2 q^{-47} +3 q^{-48} - q^{-50} - q^{-51} -2 q^{-52} +2 q^{-54} + q^{-55} - q^{-58} - q^{-59} + q^{-60} </math> |
<tr valign=top>
coloured_jones_6 = <math>q^{42}-q^{41}-q^{38}+3 q^{35}-2 q^{34}+q^{32}-2 q^{31}-q^{30}+5 q^{28}-2 q^{27}+q^{26}+2 q^{25}-5 q^{24}-4 q^{23}-q^{22}+8 q^{21}+4 q^{19}+4 q^{18}-10 q^{17}-9 q^{16}-5 q^{15}+11 q^{14}+4 q^{13}+9 q^{12}+8 q^{11}-14 q^{10}-14 q^9-9 q^8+12 q^7+5 q^6+13 q^5+12 q^4-15 q^3-16 q^2-12 q+13+3 q^{-1} +14 q^{-2} +15 q^{-3} -15 q^{-4} -16 q^{-5} -13 q^{-6} +12 q^{-7} +2 q^{-8} +14 q^{-9} +15 q^{-10} -15 q^{-11} -16 q^{-12} -12 q^{-13} +13 q^{-14} +2 q^{-15} +13 q^{-16} +13 q^{-17} -14 q^{-18} -15 q^{-19} -11 q^{-20} +13 q^{-21} +2 q^{-22} +11 q^{-23} +11 q^{-24} -11 q^{-25} -12 q^{-26} -10 q^{-27} +11 q^{-28} +9 q^{-30} +10 q^{-31} -8 q^{-32} -9 q^{-33} -9 q^{-34} +8 q^{-35} -3 q^{-36} +7 q^{-37} +9 q^{-38} -4 q^{-39} -6 q^{-40} -7 q^{-41} +6 q^{-42} -6 q^{-43} +5 q^{-44} +7 q^{-45} - q^{-46} -2 q^{-47} -4 q^{-48} +5 q^{-49} -8 q^{-50} +2 q^{-51} +4 q^{-52} - q^{-55} +6 q^{-56} -7 q^{-57} - q^{-58} + q^{-62} +7 q^{-63} -4 q^{-64} - q^{-65} -2 q^{-66} - q^{-67} - q^{-68} +6 q^{-70} - q^{-71} - q^{-73} - q^{-74} -2 q^{-75} - q^{-76} +3 q^{-77} + q^{-79} - q^{-82} - q^{-83} + q^{-84} </math> |
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:=&nbsp;&nbsp;&nbsp;&nbsp;</pre></td>
coloured_jones_7 = <math>q^{56}-q^{55}-q^{52}+q^{49}+2 q^{48}-2 q^{47}+q^{45}-2 q^{44}-q^{42}+2 q^{41}+4 q^{40}-3 q^{39}+q^{37}-4 q^{36}-q^{35}-2 q^{34}+4 q^{33}+7 q^{32}-q^{31}-2 q^{29}-9 q^{28}-3 q^{27}-3 q^{26}+6 q^{25}+15 q^{24}+4 q^{23}+3 q^{22}-7 q^{21}-17 q^{20}-9 q^{19}-7 q^{18}+10 q^{17}+23 q^{16}+11 q^{15}+8 q^{14}-8 q^{13}-25 q^{12}-16 q^{11}-11 q^{10}+10 q^9+28 q^8+14 q^7+14 q^6-7 q^5-28 q^4-19 q^3-15 q^2+8 q+30+15 q^{-1} +16 q^{-2} -5 q^{-3} -28 q^{-4} -18 q^{-5} -17 q^{-6} +6 q^{-7} +29 q^{-8} +16 q^{-9} +17 q^{-10} -6 q^{-11} -28 q^{-12} -16 q^{-13} -16 q^{-14} +5 q^{-15} +29 q^{-16} +17 q^{-17} +15 q^{-18} -7 q^{-19} -28 q^{-20} -14 q^{-21} -15 q^{-22} +5 q^{-23} +28 q^{-24} +16 q^{-25} +13 q^{-26} -7 q^{-27} -26 q^{-28} -12 q^{-29} -14 q^{-30} +4 q^{-31} +24 q^{-32} +14 q^{-33} +12 q^{-34} -5 q^{-35} -22 q^{-36} -10 q^{-37} -12 q^{-38} + q^{-39} +19 q^{-40} +11 q^{-41} +13 q^{-42} - q^{-43} -17 q^{-44} -8 q^{-45} -12 q^{-46} -2 q^{-47} +14 q^{-48} +7 q^{-49} +12 q^{-50} +4 q^{-51} -11 q^{-52} -6 q^{-53} -11 q^{-54} -5 q^{-55} +9 q^{-56} +2 q^{-57} +10 q^{-58} +7 q^{-59} -6 q^{-60} -2 q^{-61} -8 q^{-62} -6 q^{-63} +4 q^{-64} -2 q^{-65} +6 q^{-66} +7 q^{-67} -3 q^{-68} +2 q^{-69} -3 q^{-70} -4 q^{-71} +2 q^{-72} -5 q^{-73} +2 q^{-74} +4 q^{-75} -3 q^{-76} +3 q^{-77} + q^{-78} +3 q^{-80} -5 q^{-81} - q^{-82} + q^{-83} -5 q^{-84} +2 q^{-85} + q^{-86} +2 q^{-87} +5 q^{-88} -2 q^{-89} - q^{-90} -4 q^{-92} - q^{-93} - q^{-94} + q^{-95} +5 q^{-96} + q^{-99} -2 q^{-100} - q^{-101} -2 q^{-102} - q^{-103} +2 q^{-104} + q^{-105} + q^{-107} - q^{-110} - q^{-111} + q^{-112} </math> |
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
computer_talk =
</tr>
<table>
<tr valign=top><td colspan=2><pre style="border: 0px; padding: 0em">Loading KnotTheory` (version of August 27, 2005, 21:41:56)...</pre></td></tr>
<tr valign=top>

<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[6, 1]]</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>6</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 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>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[Knot[6, 1]]</nowiki></pre></td></tr>
</table>
<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[1, 4, 2, 5], X[7, 10, 8, 11], X[3, 9, 4, 8], X[9, 3, 10, 2],
<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[6, 1]]</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[1, 4, 2, 5], X[7, 10, 8, 11], X[3, 9, 4, 8], X[9, 3, 10, 2],
X[5, 12, 6, 1], X[11, 6, 12, 7]]</nowiki></pre></td></tr>
X[5, 12, 6, 1], X[11, 6, 12, 7]]</nowiki></code></td></tr>
</table>

<table><tr align=left>
<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[6, 1]]</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[-1, 4, -3, 1, -5, 6, -2, 3, -4, 2, -6, 5]</nowiki></pre></td></tr>
<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[6, 1]]</nowiki></code></td></tr>

<tr align=left>
<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[6, 1]]</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, -1, -2, 1, 3, -2, 3}]</nowiki></pre></td></tr>
<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, 1, -5, 6, -2, 3, -4, 2, -6, 5]</nowiki></code></td></tr>

</table>
<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[6, 1]][t]</nowiki></pre></td></tr>
<table><tr align=left>
<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> 2
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[6, 1]]</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[4, 8, 12, 10, 2, 6]</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[6, 1]]</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[4, {-1, -1, -2, 1, 3, -2, 3}]</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>{4, 7}</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[6, 1]]</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>4</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[6, 1]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:6_1_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[6, 1]]&) /@ {
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, 1, 1, 2, {3, 4}, 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[6, 1]][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> 2
5 - - - 2 t
5 - - - 2 t
t</nowiki></pre></td></tr>
t</nowiki></code></td></tr>
</table>

<table><tr align=left>
<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[6, 1]][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
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[6, 1]][z]</nowiki></code></td></tr>
1 - 2 z</nowiki></pre></td></tr>
<tr align=left>

<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 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[8]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[6, 1], Knot[9, 46], Knot[11, NonAlternating, 67],
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2
1 - 2 z</nowiki></code></td></tr>
</table>
<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[6, 1], Knot[9, 46], Knot[11, NonAlternating, 67],
Knot[11, NonAlternating, 97], Knot[11, NonAlternating, 139]}</nowiki></pre></td></tr>
Knot[11, NonAlternating, 97], Knot[11, NonAlternating, 139]}</nowiki></code></td></tr>
</table>

<table><tr align=left>
<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[6, 1]], KnotSignature[Knot[6, 1]]}</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, 0}</nowiki></pre></td></tr>
<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[6, 1]], KnotSignature[Knot[6, 1]]}</nowiki></code></td></tr>

<tr align=left>
<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[6, 1]][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> -4 -3 -2 2 2
<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>{9, 0}</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[6, 1]][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> -4 -3 -2 2 2
2 + q - q + q - - - q + q
2 + q - q + q - - - q + q
q</nowiki></pre></td></tr>
q</nowiki></code></td></tr>
</table>

<table><tr align=left>
<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]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[6, 1]}</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td>
<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>
<math>\textrm{Include}(\textrm{ColouredJonesM.mhtml})</math>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[15]:=</code></td>

<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[6, 1]][q]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[6, 1]}</nowiki></code></td></tr>
</table>
<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> -14 -12 -6 -4 2 6 8
q + q - q - q + q + q + q</nowiki></pre></td></tr>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[16]:=</code></td>

<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[6, 1]][a, z]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Knot[6, 1]][q]</nowiki></code></td></tr>
<tr align=left>
<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 3
<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> -14 -12 -6 -4 2 6 8
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[6, 1]][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 2
a - a + a - z - a z</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[6, 1]][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 3
-2 2 4 3 z 2 2 4 2 z
-2 2 4 3 z 2 2 4 2 z
-a + a + a + 2 a z + 2 a z + -- - 4 a z - 3 a z + -- -
-a + a + a + 2 a z + 2 a z + -- - 4 a z - 3 a z + -- -
Line 100: Line 189:
3 3 3 4 2 4 4 4 5 3 5
3 3 3 4 2 4 4 4 5 3 5
2 a z - 3 a z + z + 2 a z + a z + a z + a z</nowiki></pre></td></tr>
2 a z - 3 a z + z + 2 a z + a z + a z + a z</nowiki></code></td></tr>
</table>

<table><tr align=left>
<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[6, 1]], Vassiliev[3][Knot[6, 1]]}</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>{-2, 1}</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[6, 1]], Vassiliev[3][Knot[6, 1]]}</nowiki></code></td></tr>

<tr align=left>
<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[6, 1]][q, t]</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>1 1 1 1 1 1 5 2
<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>{-2, 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[6, 1]][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>1 1 1 1 1 1 5 2
- + 2 q + ----- + ----- + ----- + ---- + --- + q t + q t
- + 2 q + ----- + ----- + ----- + ---- + --- + q t + q t
q 9 4 5 3 5 2 3 q t
q 9 4 5 3 5 2 3 q t
q t q t q t q t</nowiki></pre></td></tr>
q t 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>
See/edit the [[Rolfsen_Splice_Template]].
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>ColouredJones[Knot[6, 1], 2][q]</nowiki></code></td></tr>

<tr align=left>
[Category:Knot Page]]
<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> -12 -11 -10 2 -8 2 3 3 4 4 2
4 + q - q - q + -- - q - -- + -- - -- + -- - - - 3 q +
9 7 6 4 3 q
q q q q q
3 5 6
2 q - q + q</nowiki></code></td></tr>
</table> }}

Latest revision as of 22:10, 27 May 2009

5 2.gif

5_2

6 2.gif

6_2

6 1.gif
(KnotPlot image)

See the full Rolfsen Knot Table.

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

Visit 6 1 at Knotilus!

6_1 is also known as "Stevedore's Knot" (see e.g. [1]), and as the pretzel knot P(5,-1,-1).


A Kolam of a 3x3 dot array
3D depiction
Polygonal depiction
Simple square depiction
An other one
Necklace

Knot presentations

Planar diagram presentation X1425 X7,10,8,11 X3948 X9,3,10,2 X5,12,6,1 X11,6,12,7
Gauss code -1, 4, -3, 1, -5, 6, -2, 3, -4, 2, -6, 5
Dowker-Thistlethwaite code 4 8 12 10 2 6
Conway Notation [42]


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

Length is 7, width is 4,

Braid index is 4

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

[edit Notes on presentations of 6 1]

knot 6_1.
A graph, knot 6_1

Three dimensional invariants

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

[edit Notes for 6 1's three dimensional invariants]
6_1 is a ribbon knot (drawings by Yoko Mizuma):

a ribbon diagram
isotopy to a ribbon
6_1 has two slice disks, by Scott Carter
Scott Carter notes that 6_1 bounds two distinct slice disks. He says: "this was spoken of in Fox's Example 10, 11, and 12 in a Quick Trip through Knot Theory ... BTW, the cover of Carter and Saito's Knotted Surfaces and Their Diagrams contains an illustration of such a slice disk". A picture is on the right.

Four dimensional invariants

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

[edit Notes for 6 1's four dimensional invariants]

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 9, 0 }
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: {9_46, K11n67, K11n97, K11n139,}

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

Vassiliev invariants

V2 and V3: (-2, 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 0 is the signature of 6 1. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
-4-3-2-1012χ
5      11
3       0
1    21 1
-1   11  0
-3   1   -1
-5 11    0
-7       0
-91      1
Integral Khovanov Homology

(db, data source)

  

The Coloured Jones Polynomials