10 80
|
|
![]() |
Visit 10 80's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)
Visit 10 80's page at Knotilus! Visit 10 80's page at the original Knot Atlas! |
10 80 Quick Notes |
Knot presentations
Planar diagram presentation | X1425 X3849 X5,12,6,13 X13,18,14,19 X9,16,10,17 X17,10,18,11 X15,20,16,1 X19,14,20,15 X11,6,12,7 X7283 |
Gauss code | -1, 10, -2, 1, -3, 9, -10, 2, -5, 6, -9, 3, -4, 8, -7, 5, -6, 4, -8, 7 |
Dowker-Thistlethwaite code | 4 8 12 2 16 6 18 20 10 14 |
Conway Notation | [(3,2)(21,2)] |
Three dimensional invariants
|
Four dimensional invariants
|
Polynomial invariants
Alexander polynomial | |
Conway polynomial | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 3 z^6+9 z^4+6 z^2+1} |
2nd Alexander ideal (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1\}} |
Determinant and Signature | { 71, -6 } |
Jones polynomial | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-3} -2 q^{-4} +6 q^{-5} -8 q^{-6} +11 q^{-7} -12 q^{-8} +11 q^{-9} -10 q^{-10} +6 q^{-11} -3 q^{-12} + q^{-13} } |
HOMFLY-PT polynomial (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^2 a^{12}+2 a^{12}-3 z^4 a^{10}-9 z^2 a^{10}-6 a^{10}+2 z^6 a^8+8 z^4 a^8+9 z^2 a^8+3 a^8+z^6 a^6+4 z^4 a^6+5 z^2 a^6+2 a^6} |
Kauffman polynomial (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^4 a^{16}-z^2 a^{16}+3 z^5 a^{15}-3 z^3 a^{15}+z a^{15}+5 z^6 a^{14}-5 z^4 a^{14}+2 z^2 a^{14}+6 z^7 a^{13}-8 z^5 a^{13}+6 z^3 a^{13}-2 z a^{13}+4 z^8 a^{12}-z^6 a^{12}-5 z^4 a^{12}+2 z^2 a^{12}+2 a^{12}+z^9 a^{11}+10 z^7 a^{11}-29 z^5 a^{11}+29 z^3 a^{11}-12 z a^{11}+7 z^8 a^{10}-15 z^6 a^{10}+13 z^4 a^{10}-13 z^2 a^{10}+6 a^{10}+z^9 a^9+6 z^7 a^9-23 z^5 a^9+22 z^3 a^9-8 z a^9+3 z^8 a^8-8 z^6 a^8+8 z^4 a^8-7 z^2 a^8+3 a^8+2 z^7 a^7-5 z^5 a^7+2 z^3 a^7+z a^7+z^6 a^6-4 z^4 a^6+5 z^2 a^6-2 a^6} |
The A2 invariant | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{40}+q^{38}-q^{36}+q^{34}-3 q^{32}-2 q^{30}-q^{28}-3 q^{26}+3 q^{24}-q^{22}+3 q^{20}+2 q^{18}+3 q^{14}-q^{12}+q^{10}} |
The G2 invariant | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{210}-2 q^{208}+4 q^{206}-6 q^{204}+5 q^{202}-4 q^{200}-2 q^{198}+11 q^{196}-20 q^{194}+28 q^{192}-32 q^{190}+25 q^{188}-8 q^{186}-19 q^{184}+54 q^{182}-78 q^{180}+88 q^{178}-74 q^{176}+29 q^{174}+32 q^{172}-94 q^{170}+139 q^{168}-135 q^{166}+89 q^{164}-9 q^{162}-71 q^{160}+123 q^{158}-119 q^{156}+67 q^{154}+16 q^{152}-87 q^{150}+111 q^{148}-74 q^{146}-12 q^{144}+110 q^{142}-174 q^{140}+165 q^{138}-94 q^{136}-29 q^{134}+143 q^{132}-219 q^{130}+216 q^{128}-150 q^{126}+31 q^{124}+83 q^{122}-168 q^{120}+182 q^{118}-135 q^{116}+42 q^{114}+50 q^{112}-112 q^{110}+114 q^{108}-58 q^{106}-25 q^{104}+104 q^{102}-135 q^{100}+105 q^{98}-22 q^{96}-75 q^{94}+152 q^{92}-166 q^{90}+126 q^{88}-41 q^{86}-48 q^{84}+111 q^{82}-123 q^{80}+102 q^{78}-49 q^{76}+36 q^{72}-49 q^{70}+43 q^{68}-25 q^{66}+11 q^{64}+2 q^{62}-6 q^{60}+7 q^{58}-5 q^{56}+4 q^{54}-q^{52}+q^{50}} |
A1 Invariants.
Weight | Invariant |
---|---|
1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{27}-2 q^{25}+3 q^{23}-4 q^{21}+q^{19}-q^{17}-q^{15}+3 q^{13}-2 q^{11}+4 q^9-q^7+q^5} |
2 | |
3 | |
4 | |
5 |
A2 Invariants.
Weight | Invariant |
---|---|
1,0 | |
1,1 | |
2,0 |
A3 Invariants.
Weight | Invariant |
---|---|
0,1,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{88}-2 q^{86}+5 q^{82}-7 q^{80}-3 q^{78}+14 q^{76}-11 q^{74}-9 q^{72}+21 q^{70}-11 q^{68}-9 q^{66}+22 q^{64}-4 q^{60}+10 q^{58}+2 q^{56}-8 q^{54}-16 q^{52}-2 q^{48}-23 q^{46}+7 q^{44}+13 q^{42}-16 q^{40}+10 q^{38}+15 q^{36}-11 q^{34}+9 q^{32}+7 q^{30}-4 q^{28}+4 q^{26}+2 q^{24}-q^{22}+q^{20}} |
1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{53}+q^{51}+2 q^{49}-q^{47}+q^{45}-5 q^{43}-q^{41}-5 q^{39}-q^{37}-2 q^{35}+q^{33}+2 q^{31}+q^{29}+4 q^{27}+4 q^{23}-q^{21}+3 q^{19}-q^{17}+q^{15}} |
A4 Invariants.
Weight | Invariant |
---|---|
0,1,0,0 | |
1,0,0,0 |
B2 Invariants.
Weight | Invariant |
---|---|
0,1 | |
1,0 |
D4 Invariants.
Weight | Invariant |
---|---|
1,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{122}-2 q^{120}+2 q^{118}-3 q^{116}+6 q^{114}-9 q^{112}+8 q^{110}-11 q^{108}+17 q^{106}-18 q^{104}+15 q^{102}-18 q^{100}+19 q^{98}-14 q^{96}+8 q^{94}-6 q^{92}+3 q^{90}+14 q^{88}-9 q^{86}+24 q^{84}-22 q^{82}+35 q^{80}-33 q^{78}+29 q^{76}-44 q^{74}+22 q^{72}-37 q^{70}+14 q^{68}-26 q^{66}+6 q^{64}-3 q^{62}+10 q^{58}-9 q^{56}+22 q^{54}-14 q^{52}+21 q^{50}-15 q^{48}+20 q^{46}-11 q^{44}+14 q^{42}-7 q^{40}+8 q^{38}-2 q^{36}+3 q^{34}-q^{32}+q^{30}} |
G2 Invariants.
Weight | Invariant |
---|---|
1,0 |
.
KnotTheory`
, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of August 31, 2006, 11:25:27.5625.
|
In[3]:=
|
K = Knot["10 80"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 3 z^6+9 z^4+6 z^2+1} |
In[6]:=
|
Alexander[K, 2][t]
|
KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.
|
Out[6]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1\}} |
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 71, -6 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-3} -2 q^{-4} +6 q^{-5} -8 q^{-6} +11 q^{-7} -12 q^{-8} +11 q^{-9} -10 q^{-10} +6 q^{-11} -3 q^{-12} + q^{-13} } |
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^2 a^{12}+2 a^{12}-3 z^4 a^{10}-9 z^2 a^{10}-6 a^{10}+2 z^6 a^8+8 z^4 a^8+9 z^2 a^8+3 a^8+z^6 a^6+4 z^4 a^6+5 z^2 a^6+2 a^6} |
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^4 a^{16}-z^2 a^{16}+3 z^5 a^{15}-3 z^3 a^{15}+z a^{15}+5 z^6 a^{14}-5 z^4 a^{14}+2 z^2 a^{14}+6 z^7 a^{13}-8 z^5 a^{13}+6 z^3 a^{13}-2 z a^{13}+4 z^8 a^{12}-z^6 a^{12}-5 z^4 a^{12}+2 z^2 a^{12}+2 a^{12}+z^9 a^{11}+10 z^7 a^{11}-29 z^5 a^{11}+29 z^3 a^{11}-12 z a^{11}+7 z^8 a^{10}-15 z^6 a^{10}+13 z^4 a^{10}-13 z^2 a^{10}+6 a^{10}+z^9 a^9+6 z^7 a^9-23 z^5 a^9+22 z^3 a^9-8 z a^9+3 z^8 a^8-8 z^6 a^8+8 z^4 a^8-7 z^2 a^8+3 a^8+2 z^7 a^7-5 z^5 a^7+2 z^3 a^7+z a^7+z^6 a^6-4 z^4 a^6+5 z^2 a^6-2 a^6} |
Vassiliev invariants
V2 and V3: | (6, -12) |
V2,1 through 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t^rq^j} are shown, along with their alternating sums Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \chi} (fixed Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j} , alternation over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} ). The squares with yellow highlighting are those on the "critical diagonals", where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j-2r=s+1} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j-2r=s+1} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s=} -6 is the signature of 10 80. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.
|
-10 | -9 | -8 | -7 | -6 | -5 | -4 | -3 | -2 | -1 | 0 | χ | |||||||||
-5 | 1 | 1 | |||||||||||||||||||
-7 | 2 | 1 | -1 | ||||||||||||||||||
-9 | 4 | 4 | |||||||||||||||||||
-11 | 4 | 2 | -2 | ||||||||||||||||||
-13 | 7 | 4 | 3 | ||||||||||||||||||
-15 | 5 | 4 | -1 | ||||||||||||||||||
-17 | 6 | 7 | -1 | ||||||||||||||||||
-19 | 4 | 5 | 1 | ||||||||||||||||||
-21 | 2 | 6 | -4 | ||||||||||||||||||
-23 | 1 | 4 | 3 | ||||||||||||||||||
-25 | 2 | -2 | |||||||||||||||||||
-27 | 1 | 1 |
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`
. See A Sample KnotTheory` Session.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textrm{Include}(\textrm{ColouredJonesM.mhtml})}
In[1]:= |
<< KnotTheory` |
Loading KnotTheory` (version of August 17, 2005, 14:44:34)... | |
In[2]:= | Crossings[Knot[10, 80]] |
Out[2]= | 10 |
In[3]:= | PD[Knot[10, 80]] |
Out[3]= | PD[X[1, 4, 2, 5], X[3, 8, 4, 9], X[5, 12, 6, 13], X[13, 18, 14, 19],X[9, 16, 10, 17], X[17, 10, 18, 11], X[15, 20, 16, 1],X[19, 14, 20, 15], X[11, 6, 12, 7], X[7, 2, 8, 3]] |
In[4]:= | GaussCode[Knot[10, 80]] |
Out[4]= | GaussCode[-1, 10, -2, 1, -3, 9, -10, 2, -5, 6, -9, 3, -4, 8, -7, 5, -6, 4, -8, 7] |
In[5]:= | BR[Knot[10, 80]] |
Out[5]= | BR[4, {-1, -1, -1, 2, -1, -1, -3, -2, -2, -2, -3}] |
In[6]:= | alex = Alexander[Knot[10, 80]][t] |
Out[6]= | 3 9 15 2 3 |
In[7]:= | Conway[Knot[10, 80]][z] |
Out[7]= | 2 4 6 1 + 6 z + 9 z + 3 z |
In[8]:= | Select[AllKnots[], (alex === Alexander[#][t])&] |
Out[8]= | {Knot[10, 80]} |
In[9]:= | {KnotDet[Knot[10, 80]], KnotSignature[Knot[10, 80]]} |
Out[9]= | {71, -6} |
In[10]:= | J=Jones[Knot[10, 80]][q] |
Out[10]= | -13 3 6 10 11 12 11 8 6 2 -3 |
In[11]:= | Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&] |
Out[11]= | {Knot[10, 80]} |
In[12]:= | A2Invariant[Knot[10, 80]][q] |
Out[12]= | -40 -38 -36 -34 3 2 -28 3 3 -22 3 |
In[13]:= | Kauffman[Knot[10, 80]][a, z] |
Out[13]= | 6 8 10 12 7 9 11 13 |
In[14]:= | {Vassiliev[2][Knot[10, 80]], Vassiliev[3][Knot[10, 80]]} |
Out[14]= | {0, -12} |
In[15]:= | Kh[Knot[10, 80]][q, t] |
Out[15]= | -7 -5 1 2 1 4 2 6 |