L7n1: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
<!-- This page was generated from the splice template "Link_Splice_Template". Please do not edit! --> |
|||
<!-- --> |
<!-- --> <!-- |
||
<!-- This knot page was produced from [[Link Splice Template]] --> |
|||
--> |
|||
{{Link Page| |
|||
<!-- --> |
|||
n = 7 | |
|||
<!-- provide an anchor so we can return to the top of the page --> |
|||
t = n | |
|||
<span id="top"></span> |
|||
k = 1 | |
|||
<!-- --> |
|||
⚫ | |||
<!-- this relies on transclusion for next and previous links --> |
|||
khovanov_table = <table border=1> |
|||
{{Knot Navigation Links|ext=gif}} |
|||
⚫ | |||
<br style="clear:both" /> |
|||
{{:{{PAGENAME}} Further Notes and Views}} |
|||
{{Link Presentations}} |
|||
{{Link Polynomial Invariants}} |
|||
{{Vassiliev Invariants}} |
|||
{{Khovanov Homology|table=<table border=1> |
|||
<tr align=center> |
<tr align=center> |
||
<td width=20.%><table cellpadding=0 cellspacing=0> |
<td width=20.%><table cellpadding=0 cellspacing=0> |
||
<tr><td>\</td><td> </td><td>r</td></tr> |
|||
<tr><td> </td><td> \ </td><td> </td></tr> |
<tr><td> </td><td> \ </td><td> </td></tr> |
||
<tr><td>j</td><td> </td><td>\</td></tr> |
<tr><td>j</td><td> </td><td>\</td></tr> |
||
</table></td> |
</table></td> |
||
<td width=10.%>-5</td ><td width=10.%>-4</td ><td width=10.%>-3</td ><td width=10.%>-2</td ><td width=10.%>-1</td ><td width=10.%>0</td ><td width=20.%>χ</td></tr> |
|||
<tr align=center><td>-4</td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
<tr align=center><td>-4</td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
||
<tr align=center><td>-6</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
<tr align=center><td>-6</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
||
Line 34: | Line 22: | ||
<tr align=center><td>-14</td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
<tr align=center><td>-14</td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td> </td><td>0</td></tr> |
||
<tr align=center><td>-16</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
<tr align=center><td>-16</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
||
</table> |
</table> | |
||
computer_talk = |
|||
⚫ | |||
{{Computer Talk Header}} |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
</tr> |
|||
⚫ | |||
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</td></tr> |
|||
⚫ | |||
⚫ | |||
</tr> |
|||
<tr valign=top><td |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </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[ |
<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>Length[Skeleton[Link[7, NonAlternating, 1]]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>2</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[Link[7, NonAlternating, 1]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[6, 1, 7, 2], X[12, 7, 13, 8], X[4, 13, 1, 14], X[5, 10, 6, 11], |
||
X[3, 8, 4, 9], X[9, 14, 10, 5], X[11, 2, 12, 3]]</nowiki></pre></td></tr> |
X[3, 8, 4, 9], X[9, 14, 10, 5], X[11, 2, 12, 3]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[Link[7, NonAlternating, 1]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[{1, 7, -5, -3}, {-4, -1, 2, 5, -6, 4, -7, -2, 3, 6}]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<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[7, NonAlternating, 1]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[Link[7, NonAlternating, 1]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: |
<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[7, NonAlternating, 1]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L7n1_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 |
<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>alex = Alexander[Link[7, NonAlternating, 1]][t]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>ComplexInfinity</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre |
<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>Conway[Link[7, NonAlternating, 1]][z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>ComplexInfinity</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre |
<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>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre |
<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>{KnotDet[Link[7, NonAlternating, 1]], KnotSignature[Link[7, NonAlternating, 1]]}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Infinity, -5}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre |
<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>J=Jones[Link[7, NonAlternating, 1]][q]</nowiki></pre></td></tr> |
||
⚫ | |||
q - q - q - q</nowiki></pre></td></tr> |
q - q - q - q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[Link[7, NonAlternating, 1]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -28 -26 -24 -20 2 3 2 2 -10 -8 |
||
<math>\textrm{Include}(\textrm{ColouredJonesM.mhtml})</math> |
|||
⚫ | |||
⚫ | |||
-q - q - q + q + --- + --- + --- + --- + q + q |
-q - q - q + q + --- + --- + --- + --- + q + q |
||
18 16 14 12 |
18 16 14 12 |
||
q q q q</nowiki></pre></td></tr> |
q q q q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<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>HOMFLYPT[Link[7, NonAlternating, 1]][a, z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 5 7 9 |
||
-2 a 3 a a 5 7 5 3 7 3 5 5 |
|||
----- + ---- - -- - 6 a z + 4 a z - 5 a z + a z - a z |
|||
z z z</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>Kauffman[Link[7, NonAlternating, 1]][a, z]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 5 7 9 |
|||
6 8 10 2 a 3 a a 5 7 9 |
6 8 10 2 a 3 a a 5 7 9 |
||
-3 a - 3 a - a + ---- + ---- + -- - 6 a z - 7 a z - a z + |
-3 a - 3 a - a + ---- + ---- + -- - 6 a z - 7 a z - a z + |
||
Line 81: | Line 72: | ||
6 2 8 2 5 3 7 3 6 4 8 4 5 5 7 5 |
6 2 8 2 5 3 7 3 6 4 8 4 5 5 7 5 |
||
4 a z + 4 a z + 5 a z + 5 a z - a z - a z - a z - a z</nowiki></pre></td></tr> |
4 a z + 4 a z + 5 a z + 5 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[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][Link[7, NonAlternating, 1]], Vassiliev[3][Link[7, NonAlternating, 1]]}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[16]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 31 |
||
{0, --} |
{0, --} |
||
24</nowiki></pre></td></tr> |
24</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[17]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[Link[7, NonAlternating, 1]][q, t]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[17]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -6 -4 1 2 1 1 1 |
||
q + q + ------ + ------ + ------ + ------ + ----- |
q + q + ------ + ------ + ------ + ------ + ----- |
||
16 5 12 4 10 4 12 3 8 2 |
16 5 12 4 10 4 12 3 8 2 |
||
q t q t q t q t q t</nowiki></pre></td></tr> |
q t q t q t q t q t</nowiki></pre></td></tr> |
||
</table> |
</table> }} |
||
[[Category:Knot Page]] |
Revision as of 10:56, 30 August 2005
|
|
(Knotscape image) |
See the full Thistlethwaite Link Table (up to 11 crossings). |
L7n1 is in the Rolfsen table of links. |
Link Presentations
[edit Notes on L7n1's Link Presentations]
Planar diagram presentation | X6172 X12,7,13,8 X4,13,1,14 X5,10,6,11 X3849 X9,14,10,5 X11,2,12,3 |
Gauss code | {1, 7, -5, -3}, {-4, -1, 2, 5, -6, 4, -7, -2, 3, 6} |
A Braid Representative | {{{braid_table}}} |
A Morse Link Presentation |
Polynomial invariants
Multivariable Alexander Polynomial (in , , , ...) | (db) |
Jones polynomial | (db) |
Signature | -5 (db) |
HOMFLY-PT polynomial | (db) |
Kauffman polynomial | (db) |
Khovanov Homology
The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). |
|
Integral Khovanov Homology
(db, data source) |
|
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`
. See A Sample KnotTheory` Session.
Modifying This Page
Read me first: Modifying Knot Pages
See/edit the Link Page master template (intermediate). See/edit the Link_Splice_Base (expert). Back to the top. |
|