L9n23: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 16: Line 16:
k = 23 |
k = 23 |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,4,-3,-9:-2,-1,5,3,-7,8:-6,2,-4,-5,9,6,-8,7/goTop.html |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,4,-3,-9:-2,-1,5,3,-7,8:-6,2,-4,-5,9,6,-8,7/goTop.html |
braid_table = <table cellspacing=0 cellpadding=0 border=0>
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]]</td></tr>
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]]</td></tr>
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]]</td></tr>
</table> |
khovanov_table = <table border=1>
khovanov_table = <table border=1>
<tr align=center>
<tr align=center>
Line 40: Line 46:
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
</tr>
</tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 28, 2005, 22:58:49)...</td></tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of September 2, 2005, 15:8:39)...</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[Link[9, NonAlternating, 23]]</nowiki></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[Link[9, NonAlternating, 23]]</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>9</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>9</nowiki></pre></td></tr>
Line 55: Line 61:
{-6, 2, -4, -5, 9, 6, -8, 7}]</nowiki></pre></td></tr>
{-6, 2, -4, -5, 9, 6, -8, 7}]</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>Show[DrawMorseLink[Link[9, NonAlternating, 23]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L9n23_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[6]=</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[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[Link[9, NonAlternating, 23]]</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>KnotSignature[Link[9, NonAlternating, 23]]</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>BR[4, {-1, -2, -1, -2, -1, 3, -2, 3, -2}]</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>-4</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>Show[DrawMorseLink[Link[9, NonAlternating, 23]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L9n23_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[7]=</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[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[Link[9, NonAlternating, 23]][q]</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>KnotSignature[Link[9, NonAlternating, 23]]</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> -7 2 -5 3 -3 2 1
<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>-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>J=Jones[Link[9, NonAlternating, 23]][q]</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> -7 2 -5 3 -3 2 1
1 - q + -- - q + -- - q + -- - -
1 - q + -- - q + -- - q + -- - -
6 4 2 q
6 4 2 q
q q q</nowiki></pre></td></tr>
q q q</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>A2Invariant[Link[9, NonAlternating, 23]][q]</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>A2Invariant[Link[9, NonAlternating, 23]][q]</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> -26 -20 2 3 5 4 5 3 2 -4 -2
<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> -26 -20 2 3 5 4 5 3 2 -4 -2
1 - q + q + --- + --- + --- + --- + --- + -- + -- + q + q
1 - q + q + --- + --- + --- + --- + --- + -- + -- + q + q
18 16 14 12 10 8 6
18 16 14 12 10 8 6
q q q q q q q</nowiki></pre></td></tr>
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[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[9, NonAlternating, 23]][a, z]</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>HOMFLYPT[Link[9, NonAlternating, 23]][a, z]</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> 2 4 6
<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> 2 4 6
2 4 6 8 a 2 a a 2 2 4 2
2 4 6 8 a 2 a a 2 2 4 2
3 a - 5 a + 3 a - a + -- - ---- + -- + 4 a z - 7 a z +
3 a - 5 a + 3 a - a + -- - ---- + -- + 4 a z - 7 a z +
Line 77: Line 85:
6 2 2 4 4 4 6 4 4 6
6 2 2 4 4 4 6 4 4 6
4 a z + a z - 5 a z + a z - a z</nowiki></pre></td></tr>
4 a z + a z - 5 a z + a z - a z</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>Kauffman[Link[9, NonAlternating, 23]][a, z]</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>Kauffman[Link[9, NonAlternating, 23]][a, z]</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> 2 4 6 3 5
<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> 2 4 6 3 5
2 4 6 8 a 2 a a 2 a 2 a 3
2 4 6 8 a 2 a a 2 a 2 a 3
-4 a - 9 a - 8 a - 2 a + -- + ---- + -- - ---- - ---- + 3 a z +
-4 a - 9 a - 8 a - 2 a + -- + ---- + -- - ---- - ---- + 3 a z +
Line 92: Line 100:
5 5 7 5 2 6 4 6 6 6 3 7 5 7
5 5 7 5 2 6 4 6 6 6 3 7 5 7
3 a z + a z + a z + 3 a z + 2 a z + a z + a z</nowiki></pre></td></tr>
3 a z + a z + a z + 3 a z + 2 a z + a z + a z</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>Kh[Link[9, NonAlternating, 23]][q, t]</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>Kh[Link[9, NonAlternating, 23]][q, t]</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> -5 2 1 1 2 1 1 1 2
<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> -5 2 1 1 2 1 1 1 2
q + -- + ------ + ------ + ------ + ----- + ------ + ----- + ----- +
q + -- + ------ + ------ + ------ + ----- + ------ + ----- + ----- +
3 15 5 13 4 11 4 9 4 11 3 9 3 9 2
3 15 5 13 4 11 4 9 4 11 3 9 3 9 2

Revision as of 18:26, 2 September 2005

L9n22.gif

L9n22

L9n24.gif

L9n24

L9n23.gif
(Knotscape image)
See the full Thistlethwaite Link Table (up to 11 crossings).

Visit L9n23 at Knotilus!

L9n23 is [math]\displaystyle{ 9^3_{13} }[/math] in the Rolfsen table of links.


Link Presentations

[edit Notes on L9n23's Link Presentations]

Planar diagram presentation X6172 X5,12,6,13 X3849 X13,2,14,3 X14,7,15,8 X11,16,12,17 X9,11,10,18 X17,5,18,10 X4,15,1,16
Gauss code {1, 4, -3, -9}, {-2, -1, 5, 3, -7, 8}, {-6, 2, -4, -5, 9, 6, -8, 7}
A Braid Representative
BraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart0.gif
BraidPart4.gifBraidPart3.gifBraidPart4.gifBraidPart3.gifBraidPart4.gifBraidPart3.gifBraidPart0.gifBraidPart3.gif
BraidPart0.gifBraidPart4.gifBraidPart0.gifBraidPart4.gifBraidPart1.gifBraidPart4.gifBraidPart1.gifBraidPart4.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart0.gifBraidPart2.gifBraidPart0.gif
A Morse Link Presentation L9n23 ML.gif

Polynomial invariants

Multivariable Alexander Polynomial (in [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math], [math]\displaystyle{ w }[/math], ...) [math]\displaystyle{ \frac{-t(1) t(3)^2 t(2)^2+t(1) t(3) t(2)^2+t(1) t(3)^2 t(2)-t(2)-t(3)+1}{\sqrt{t(1)} t(2) t(3)} }[/math] (db)
Jones polynomial [math]\displaystyle{ 1- q^{-1} +2 q^{-2} - q^{-3} +3 q^{-4} - q^{-5} +2 q^{-6} - q^{-7} }[/math] (db)
Signature -4 (db)
HOMFLY-PT polynomial [math]\displaystyle{ -a^8+z^4 a^6+4 z^2 a^6+a^6 z^{-2} +3 a^6-z^6 a^4-5 z^4 a^4-7 z^2 a^4-2 a^4 z^{-2} -5 a^4+z^4 a^2+4 z^2 a^2+a^2 z^{-2} +3 a^2 }[/math] (db)
Kauffman polynomial [math]\displaystyle{ z a^9+2 z^2 a^8-2 a^8+z^5 a^7-3 z^3 a^7+3 z a^7+2 z^6 a^6-9 z^4 a^6+13 z^2 a^6+a^6 z^{-2} -8 a^6+z^7 a^5-3 z^5 a^5-z^3 a^5+5 z a^5-2 a^5 z^{-1} +3 z^6 a^4-14 z^4 a^4+18 z^2 a^4+2 a^4 z^{-2} -9 a^4+z^7 a^3-4 z^5 a^3+2 z^3 a^3+3 z a^3-2 a^3 z^{-1} +z^6 a^2-5 z^4 a^2+7 z^2 a^2+a^2 z^{-2} -4 a^2 }[/math] (db)

Khovanov Homology

The coefficients of the monomials [math]\displaystyle{ t^rq^j }[/math] are shown, along with their alternating sums [math]\displaystyle{ \chi }[/math] (fixed [math]\displaystyle{ j }[/math], alternation over [math]\displaystyle{ r }[/math]).   
\ r
  \  
j \
-5-4-3-2-1012χ
1       11
-1        0
-3     21 1
-5   111  1
-7   31   2
-9 112    2
-11 21     1
-13 1      1
-151       -1
Integral Khovanov Homology

(db, data source)

  
[math]\displaystyle{ \dim{\mathcal G}_{2r+i}\operatorname{KH}^r_{\mathbb Z} }[/math] [math]\displaystyle{ i=-5 }[/math] [math]\displaystyle{ i=-3 }[/math] [math]\displaystyle{ i=-1 }[/math]
[math]\displaystyle{ r=-5 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-4 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z}^{2} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-3 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-2 }[/math] [math]\displaystyle{ {\mathbb Z}^{2}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z}^{3} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-1 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=0 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z}^{2} }[/math]
[math]\displaystyle{ r=1 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=2 }[/math] [math]\displaystyle{ {\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]

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 Link Page master template (intermediate).

See/edit the Link_Splice_Base (expert).

Back to the top.

L9n22.gif

L9n22

L9n24.gif

L9n24