L4a1: 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 = 4 | |
|||
<!-- provide an anchor so we can return to the top of the page --> |
|||
t = a | |
|||
<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=22.2222%><table cellpadding=0 cellspacing=0> |
<td width=22.2222%><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=11.1111%>-4</td ><td width=11.1111%>-3</td ><td width=11.1111%>-2</td ><td width=11.1111%>-1</td ><td width=11.1111%>0</td ><td width=22.2222%>χ</td></tr> |
|||
<tr align=center><td>0</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
<tr align=center><td>0</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
||
<tr align=center><td>-2</td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td>0</td></tr> |
<tr align=center><td>-2</td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td>0</td></tr> |
||
Line 33: | Line 21: | ||
<tr align=center><td>-8</td><td bgcolor=yellow>1</td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
<tr align=center><td>-8</td><td bgcolor=yellow>1</td><td bgcolor=yellow> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
||
<tr align=center><td>-10</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td>1</td></tr> |
<tr align=center><td>-10</td><td bgcolor=yellow>1</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>4</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[4, Alternating, 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[4, Alternating, 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[8, 3, 5, 4], X[2, 5, 3, 6], X[4, 7, 1, 8]]</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[4, Alternating, 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, -3, 2, -4}, {3, -1, 4, -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[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[Link[4, Alternating, 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[4, Alternating, 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[4, Alternating, 1]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L4a1_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[4, Alternating, 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[4, Alternating, 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[4, Alternating, 1]], KnotSignature[Link[4, Alternating, 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, -1}</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[4, Alternating, 1]][q]</nowiki></pre></td></tr> |
||
⚫ | |||
-q - q + q - ------- |
-q - q + q - ------- |
||
Sqrt[q]</nowiki></pre></td></tr> |
Sqrt[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[4, Alternating, 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> -16 2 2 2 -8 |
||
<math>\textrm{Include}(\textrm{ColouredJonesM.mhtml})</math> |
|||
⚫ | |||
⚫ | |||
1 + q + --- + --- + --- + q |
1 + q + --- + --- + --- + q |
||
14 12 10 |
14 12 10 |
||
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[ |
<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[4, Alternating, 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> 3 5 |
||
a a 3 |
|||
-(--) + -- - a z - a 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[4, Alternating, 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> 3 5 |
|||
4 a a 3 5 2 2 4 2 3 3 5 3 |
4 a a 3 5 2 2 4 2 3 3 5 3 |
||
a - -- - -- - a z + 2 a z + 3 a z - a z - a z - a z - a z |
a - -- - -- - a z + 2 a z + 3 a z - a z - a z - a z - a z |
||
z z</nowiki></pre></td></tr> |
z 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[4, Alternating, 1]], Vassiliev[3][Link[4, Alternating, 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> 65 |
||
{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[4, Alternating, 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> -2 1 1 1 1 |
||
1 + q + ------ + ----- + ----- + ---- |
1 + q + ------ + ----- + ----- + ---- |
||
10 4 8 4 6 2 2 |
10 4 8 4 6 2 2 |
||
q t q t q t q t</nowiki></pre></td></tr> |
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). |
L4a1 is in the Rolfsen table of links. It frequently occurs in late Roman mosaics and some medieval decorations. In this context, it is called the "Solomon's knot" (sigillum Salomonis) or "guilloche knot". It is also the "Kramo-bone" symbol (meaning "one being bad makes all appear to be bad") of the Adinkra symbol system. Link L10a101 contains multiple L4a1 configurations. |
Link Presentations
[edit Notes on L4a1's Link Presentations] Why such an ugly Braid Representative?
Planar diagram presentation | X6172 X8354 X2536 X4718 |
Gauss code | {1, -3, 2, -4}, {3, -1, 4, -2} |
A Braid Representative | {{{braid_table}}} |
A Morse Link Presentation |
Polynomial invariants
Multivariable Alexander Polynomial (in , , , ...) | (db) |
Jones polynomial | (db) |
Signature | -1 (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. |
|