L9n15: 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 16: Line 16:
k = 15 |
k = 15 |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-4,-3,9,5,-6:6,-1,-7,3,2,-5,-8,7,4,-2,-9,8/goTop.html |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-4,-3,9,5,-6:6,-1,-7,3,2,-5,-8,7,4,-2,-9,8/goTop.html |
braid_table = <table cellspacing=0 cellpadding=0 border=0 style="white-space: pre">
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr>
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]]</td></tr>
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]]</td></tr>
</table> |
khovanov_table = <table border=1>
khovanov_table = <table border=1>
<tr align=center>
<tr align=center>
Line 38: Line 43:
<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 3, 2005, 2:11:43)...</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, 15]]</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, 15]]</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 53: Line 58:
{6, -1, -7, 3, 2, -5, -8, 7, 4, -2, -9, 8}]</nowiki></pre></td></tr>
{6, -1, -7, 3, 2, -5, -8, 7, 4, -2, -9, 8}]</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, 15]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L9n15_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, 15]]</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, 15]]</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[3, {-1, -2, -1, -2, -2, -1, -2, -1, -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>-7</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, 15]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L9n15_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, 15]][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, 15]]</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> -(11/2) -(7/2)
<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</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, 15]][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> -(11/2) -(7/2)
-q - q</nowiki></pre></td></tr>
-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, 15]][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, 15]][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> -36 -24 -22 2 2 2 -14 -12
<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> -36 -24 -22 2 2 2 -14 -12
-q + q + q + --- + --- + --- + q + q
-q + q + q + --- + --- + --- + q + q
20 18 16
20 18 16
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[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[9, NonAlternating, 15]][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, 15]][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> 7 9 11
<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> 7 9 11
-2 a 3 a a 7 9 11 7 3 9 3
-2 a 3 a a 7 9 11 7 3 9 3
----- + ---- - --- - 11 a z + 9 a z - a z - 15 a z + 6 a z -
----- + ---- - --- - 11 a z + 9 a z - a z - 15 a z + 6 a z -
Line 72: Line 79:
7 5 9 5 7 7
7 5 9 5 7 7
7 a z + a z - a z</nowiki></pre></td></tr>
7 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, 15]][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, 15]][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> 7 9 11
<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> 7 9 11
8 10 12 2 a 3 a a 7 9 11
8 10 12 2 a 3 a a 7 9 11
3 a + 3 a + a - ---- - ---- - --- + 11 a z + 12 a z + a z -
3 a + 3 a + a - ---- - ---- - --- + 11 a z + 12 a z + a z -
Line 83: Line 90:
7 5 9 5 8 6 10 6 7 7 9 7
7 5 9 5 8 6 10 6 7 7 9 7
7 a z + 7 a z - a z - a z - a z - a z</nowiki></pre></td></tr>
7 a z + 7 a z - a z - 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, 15]][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, 15]][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> -8 -6 1 1 1 1 1 1
<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> -8 -6 1 1 1 1 1 1
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
18 6 16 6 18 5 16 5 14 4 12 4
18 6 16 6 18 5 16 5 14 4 12 4

Latest revision as of 02:24, 3 September 2005

L9n14.gif

L9n14

L9n16.gif

L9n16

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

Visit L9n15 at Knotilus!

This is a Seifert-fibered link: it is the trefoil plus the core of one solid torus.

L9n15 is [math]\displaystyle{ 9^2_{49} }[/math] in the Rolfsen table of links.

The Triune sculpture in Philadelpdia by Robert Engman, showing a Seifert surface for L9n15. Photo by sameold2008

Link Presentations

[edit Notes on L9n15's Link Presentations]

Planar diagram presentation X8192 X16,11,17,12 X3,10,4,11 X2,15,3,16 X12,5,13,6 X6718 X9,14,10,15 X13,18,14,7 X17,4,18,5
Gauss code {1, -4, -3, 9, 5, -6}, {6, -1, -7, 3, 2, -5, -8, 7, 4, -2, -9, 8}
A Braid Representative
BraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gif
BraidPart4.gifBraidPart3.gifBraidPart4.gifBraidPart3.gifBraidPart3.gifBraidPart4.gifBraidPart3.gifBraidPart4.gifBraidPart3.gif
BraidPart0.gifBraidPart4.gifBraidPart0.gifBraidPart4.gifBraidPart4.gifBraidPart0.gifBraidPart4.gifBraidPart0.gifBraidPart4.gif
A Morse Link Presentation L9n15 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)^2 t(2)^4+t(1) t(2)^2+1}{t(1) t(2)^2} }[/math] (db)
Jones polynomial [math]\displaystyle{ -\frac{1}{q^{7/2}}-\frac{1}{q^{11/2}} }[/math] (db)
Signature -7 (db)
HOMFLY-PT polynomial [math]\displaystyle{ a^{11} (-z)-a^{11} z^{-1} +a^9 z^5+6 a^9 z^3+9 a^9 z+3 a^9 z^{-1} -a^7 z^7-7 a^7 z^5-15 a^7 z^3-11 a^7 z-2 a^7 z^{-1} }[/math] (db)
Kauffman polynomial [math]\displaystyle{ a^{12}+z a^{11}-a^{11} z^{-1} -z^6 a^{10}+6 z^4 a^{10}-9 z^2 a^{10}+3 a^{10}-z^7 a^9+7 z^5 a^9-15 z^3 a^9+12 z a^9-3 a^9 z^{-1} -z^6 a^8+6 z^4 a^8-9 z^2 a^8+3 a^8-z^7 a^7+7 z^5 a^7-15 z^3 a^7+11 z a^7-2 a^7 z^{-1} }[/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 \
-6-5-4-3-2-10χ
-6      11
-8      11
-10    1  1
-12  1    1
-14  11   0
-1611     0
-1811     0
Integral Khovanov Homology

(db, data source)

  
[math]\displaystyle{ \dim{\mathcal G}_{2r+i}\operatorname{KH}^r_{\mathbb Z} }[/math] [math]\displaystyle{ i=-8 }[/math] [math]\displaystyle{ i=-6 }[/math] [math]\displaystyle{ i=-4 }[/math]
[math]\displaystyle{ r=-6 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-5 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-4 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-3 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-2 }[/math] [math]\displaystyle{ {\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-1 }[/math]
[math]\displaystyle{ r=0 }[/math] [math]\displaystyle{ {\mathbb Z} }[/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.

L9n14.gif

L9n14

L9n16.gif

L9n16