9 19

9_18

9_20

Visit 9 19's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)

Visit 9 19's page at Knotilus!

Visit 9 19's page at the original Knot Atlas!

9 19 Quick Notes

9 19 Further Notes and Views

Knot presentations

Planar diagram presentation	X₁₄₂₅ X_5,10,6,11 X₃₉₄₈ X_9,3,10,2 X_13,16,14,17 X_7,15,8,14 X_15,7,16,6 X_11,18,12,1 X_17,12,18,13
Gauss code	-1, 4, -3, 1, -2, 7, -6, 3, -4, 2, -8, 9, -5, 6, -7, 5, -9, 8
Dowker-Thistlethwaite code	4 8 10 14 2 18 16 6 12
Conway Notation	[23112]

Three dimensional invariants

Symmetry type	Reversible
Unknotting number	1
3-genus	2
Bridge index	2
Super bridge index	[math]\displaystyle{ \{4,6\} }[/math]
Nakanishi index	1
Maximal Thurston-Bennequin number	[-6][-5]
Hyperbolic Volume	10.0325
A-Polynomial	See Data:9 19/A-polynomial

[edit Notes for 9 19's three dimensional invariants]

Four dimensional invariants

Smooth 4 genus	[math]\displaystyle{ 1 }[/math]
Topological 4 genus	[math]\displaystyle{ 1 }[/math]
Concordance genus	[math]\displaystyle{ 2 }[/math]
Rasmussen s-Invariant	0

[edit Notes for 9 19's four dimensional invariants]

Polynomial invariants

Alexander polynomial	[math]\displaystyle{ 2 t^2-10 t+17-10 t^{-1} +2 t^{-2} }[/math]
Conway polynomial	[math]\displaystyle{ 2 z^4-2 z^2+1 }[/math]
2nd Alexander ideal (db, data sources)	[math]\displaystyle{ \{1\} }[/math]
Determinant and Signature	{ 41, 0 }
Jones polynomial	[math]\displaystyle{ q^4-2 q^3+4 q^2-6 q+7-7 q^{-1} +6 q^{-2} -4 q^{-3} +3 q^{-4} - q^{-5} }[/math]
HOMFLY-PT polynomial (db, data sources)	[math]\displaystyle{ -z^2 a^4+z^4 a^2+z^2 a^2+a^2+z^4-2 z^2 a^{-2} - a^{-2} + a^{-4} }[/math]
Kauffman polynomial (db, data sources)	[math]\displaystyle{ a^2 z^8+z^8+3 a^3 z^7+5 a z^7+2 z^7 a^{-1} +3 a^4 z^6+3 a^2 z^6+2 z^6 a^{-2} +2 z^6+a^5 z^5-7 a^3 z^5-11 a z^5-z^5 a^{-1} +2 z^5 a^{-3} -8 a^4 z^4-11 a^2 z^4+z^4 a^{-4} -4 z^4-2 a^5 z^3+4 a^3 z^3+10 a z^3+z^3 a^{-1} -3 z^3 a^{-3} +4 a^4 z^2+8 a^2 z^2-3 z^2 a^{-2} -2 z^2 a^{-4} +3 z^2-a^3 z-3 a z-z a^{-1} +z a^{-3} -a^2+ a^{-2} + a^{-4} }[/math]
The A2 invariant	[math]\displaystyle{ -q^{16}+q^{14}+q^{12}-q^{10}+2 q^8+q^2-1+ q^{-2} -2 q^{-4} + q^{-8} - q^{-10} + q^{-12} + q^{-14} }[/math]
The G2 invariant	[math]\displaystyle{ q^{80}-2 q^{78}+4 q^{76}-7 q^{74}+5 q^{72}-3 q^{70}-5 q^{68}+16 q^{66}-21 q^{64}+24 q^{62}-18 q^{60}+2 q^{58}+18 q^{56}-34 q^{54}+40 q^{52}-31 q^{50}+13 q^{48}+11 q^{46}-28 q^{44}+33 q^{42}-24 q^{40}+8 q^{38}+10 q^{36}-23 q^{34}+20 q^{32}-6 q^{30}-13 q^{28}+30 q^{26}-34 q^{24}+27 q^{22}-6 q^{20}-20 q^{18}+41 q^{16}-51 q^{14}+48 q^{12}-25 q^{10}-3 q^8+30 q^6-44 q^4+44 q^2-27+4 q^{-2} +14 q^{-4} -24 q^{-6} +19 q^{-8} -4 q^{-10} -13 q^{-12} +23 q^{-14} -22 q^{-16} +7 q^{-18} +9 q^{-20} -26 q^{-22} +33 q^{-24} -29 q^{-26} +17 q^{-28} -2 q^{-30} -14 q^{-32} +22 q^{-34} -24 q^{-36} +21 q^{-38} -12 q^{-40} +4 q^{-42} +4 q^{-44} -9 q^{-46} +11 q^{-48} -9 q^{-50} +8 q^{-52} -3 q^{-54} +2 q^{-58} -3 q^{-60} +3 q^{-62} - q^{-64} + q^{-66} }[/math]

Further Quantum Invariants

Further quantum knot invariants for 9_19.

A1 Invariants.

Weight	Invariant
1	[math]\displaystyle{ -q^{11}+2 q^9-q^7+2 q^5-q^3+ q^{-1} -2 q^{-3} +2 q^{-5} - q^{-7} + q^{-9} }[/math]
2	[math]\displaystyle{ q^{32}-2 q^{30}-2 q^{28}+6 q^{26}-q^{24}-7 q^{22}+7 q^{20}+3 q^{18}-10 q^{16}+5 q^{14}+6 q^{12}-8 q^{10}+q^8+5 q^6-2 q^4-4 q^2+2+7 q^{-2} -7 q^{-4} -3 q^{-6} +11 q^{-8} -5 q^{-10} -5 q^{-12} +8 q^{-14} -2 q^{-16} -3 q^{-18} +3 q^{-20} - q^{-22} - q^{-24} + q^{-26} }[/math]
3	[math]\displaystyle{ -q^{63}+2 q^{61}+2 q^{59}-3 q^{57}-6 q^{55}+q^{53}+13 q^{51}+2 q^{49}-16 q^{47}-10 q^{45}+17 q^{43}+20 q^{41}-13 q^{39}-30 q^{37}+6 q^{35}+33 q^{33}+5 q^{31}-35 q^{29}-13 q^{27}+34 q^{25}+20 q^{23}-27 q^{21}-24 q^{19}+21 q^{17}+23 q^{15}-13 q^{13}-24 q^{11}+5 q^9+21 q^7+6 q^5-17 q^3-17 q+13 q^{-1} +29 q^{-3} -5 q^{-5} -34 q^{-7} -4 q^{-9} +37 q^{-11} +13 q^{-13} -35 q^{-15} -17 q^{-17} +25 q^{-19} +19 q^{-21} -17 q^{-23} -16 q^{-25} +10 q^{-27} +11 q^{-29} -5 q^{-31} -6 q^{-33} +3 q^{-35} +3 q^{-37} -2 q^{-39} - q^{-41} +2 q^{-43} - q^{-47} - q^{-49} + q^{-51} }[/math]
4	[math]\displaystyle{ q^{104}-2 q^{102}-2 q^{100}+3 q^{98}+3 q^{96}+6 q^{94}-8 q^{92}-13 q^{90}-q^{88}+7 q^{86}+31 q^{84}+q^{82}-30 q^{80}-28 q^{78}-13 q^{76}+57 q^{74}+44 q^{72}-7 q^{70}-56 q^{68}-81 q^{66}+31 q^{64}+85 q^{62}+70 q^{60}-25 q^{58}-138 q^{56}-53 q^{54}+60 q^{52}+142 q^{50}+61 q^{48}-130 q^{46}-126 q^{44}-14 q^{42}+147 q^{40}+128 q^{38}-73 q^{36}-141 q^{34}-73 q^{32}+105 q^{30}+139 q^{28}-17 q^{26}-110 q^{24}-87 q^{22}+54 q^{20}+112 q^{18}+27 q^{16}-69 q^{14}-85 q^{12}+q^{10}+74 q^8+76 q^6-15 q^4-84 q^2-75+20 q^{-2} +131 q^{-4} +61 q^{-6} -60 q^{-8} -145 q^{-10} -61 q^{-12} +138 q^{-14} +132 q^{-16} +10 q^{-18} -155 q^{-20} -132 q^{-22} +79 q^{-24} +134 q^{-26} +76 q^{-28} -88 q^{-30} -131 q^{-32} +6 q^{-34} +69 q^{-36} +82 q^{-38} -16 q^{-40} -73 q^{-42} -17 q^{-44} +9 q^{-46} +43 q^{-48} +9 q^{-50} -23 q^{-52} -6 q^{-54} -9 q^{-56} +12 q^{-58} +5 q^{-60} -4 q^{-62} +4 q^{-64} -6 q^{-66} + q^{-68} - q^{-72} +4 q^{-74} - q^{-76} - q^{-80} - q^{-82} + q^{-84} }[/math]
5	[math]\displaystyle{ -q^{155}+2 q^{153}+2 q^{151}-3 q^{149}-3 q^{147}-3 q^{145}+q^{143}+8 q^{141}+13 q^{139}+q^{137}-17 q^{135}-22 q^{133}-13 q^{131}+13 q^{129}+40 q^{127}+44 q^{125}-3 q^{123}-57 q^{121}-72 q^{119}-39 q^{117}+43 q^{115}+114 q^{113}+106 q^{111}-123 q^{107}-173 q^{105}-104 q^{103}+78 q^{101}+233 q^{99}+226 q^{97}+30 q^{95}-227 q^{93}-348 q^{91}-200 q^{89}+147 q^{87}+423 q^{85}+394 q^{83}+14 q^{81}-429 q^{79}-553 q^{77}-225 q^{75}+338 q^{73}+664 q^{71}+439 q^{69}-191 q^{67}-687 q^{65}-607 q^{63}+4 q^{61}+633 q^{59}+715 q^{57}+168 q^{55}-531 q^{53}-746 q^{51}-292 q^{49}+397 q^{47}+709 q^{45}+376 q^{43}-277 q^{41}-635 q^{39}-394 q^{37}+172 q^{35}+533 q^{33}+392 q^{31}-91 q^{29}-442 q^{27}-362 q^{25}+22 q^{23}+351 q^{21}+348 q^{19}+48 q^{17}-267 q^{15}-349 q^{13}-139 q^{11}+184 q^9+362 q^7+257 q^5-75 q^3-379 q-403 q^{-1} -65 q^{-3} +381 q^{-5} +543 q^{-7} +243 q^{-9} -324 q^{-11} -667 q^{-13} -442 q^{-15} +217 q^{-17} +733 q^{-19} +619 q^{-21} -50 q^{-23} -705 q^{-25} -752 q^{-27} -143 q^{-29} +598 q^{-31} +799 q^{-33} +301 q^{-35} -412 q^{-37} -740 q^{-39} -423 q^{-41} +218 q^{-43} +610 q^{-45} +453 q^{-47} -48 q^{-49} -430 q^{-51} -413 q^{-53} -72 q^{-55} +261 q^{-57} +325 q^{-59} +124 q^{-61} -130 q^{-63} -221 q^{-65} -125 q^{-67} +41 q^{-69} +133 q^{-71} +103 q^{-73} +2 q^{-75} -71 q^{-77} -68 q^{-79} -17 q^{-81} +30 q^{-83} +40 q^{-85} +20 q^{-87} -9 q^{-89} -23 q^{-91} -14 q^{-93} + q^{-95} +7 q^{-97} +9 q^{-99} +6 q^{-101} -4 q^{-103} -6 q^{-105} - q^{-107} -2 q^{-109} + q^{-111} +4 q^{-113} + q^{-115} - q^{-117} - q^{-121} - q^{-123} + q^{-125} }[/math]

A2 Invariants.

Weight	Invariant
1,0	[math]\displaystyle{ -q^{16}+q^{14}+q^{12}-q^{10}+2 q^8+q^2-1+ q^{-2} -2 q^{-4} + q^{-8} - q^{-10} + q^{-12} + q^{-14} }[/math]
1,1	[math]\displaystyle{ q^{44}-4 q^{42}+10 q^{40}-22 q^{38}+40 q^{36}-62 q^{34}+86 q^{32}-112 q^{30}+129 q^{28}-130 q^{26}+120 q^{24}-90 q^{22}+48 q^{20}+8 q^{18}-70 q^{16}+128 q^{14}-177 q^{12}+216 q^{10}-234 q^8+234 q^6-214 q^4+172 q^2-122+64 q^{-2} -9 q^{-4} -38 q^{-6} +78 q^{-8} -94 q^{-10} +104 q^{-12} -100 q^{-14} +92 q^{-16} -78 q^{-18} +62 q^{-20} -50 q^{-22} +36 q^{-24} -26 q^{-26} +17 q^{-28} -10 q^{-30} +6 q^{-32} -2 q^{-34} + q^{-36} }[/math]
2,0	[math]\displaystyle{ q^{42}-q^{40}-2 q^{38}+3 q^{34}+2 q^{32}-5 q^{30}-q^{28}+5 q^{26}+3 q^{24}-5 q^{22}-3 q^{20}+6 q^{18}+3 q^{16}-5 q^{14}-q^{12}+5 q^{10}-q^8-2 q^6+q^4-q^2-1+2 q^{-2} +2 q^{-4} -5 q^{-6} -2 q^{-8} +8 q^{-10} +2 q^{-12} -6 q^{-14} + q^{-16} +7 q^{-18} + q^{-20} -5 q^{-22} -2 q^{-24} +2 q^{-26} -2 q^{-30} + q^{-34} + q^{-36} }[/math]

A3 Invariants.

Weight	Invariant
0,1,0	[math]\displaystyle{ q^{34}-2 q^{32}+2 q^{28}-5 q^{26}+4 q^{24}+4 q^{22}-6 q^{20}+5 q^{18}+5 q^{16}-8 q^{14}+q^{12}+4 q^{10}-5 q^8-q^6+3 q^4+3 q^2-1- q^{-2} +7 q^{-4} -4 q^{-6} -6 q^{-8} +8 q^{-10} -3 q^{-12} -6 q^{-14} +6 q^{-16} -3 q^{-20} +3 q^{-22} + q^{-24} - q^{-26} + q^{-28} }[/math]
1,0,0	[math]\displaystyle{ -q^{21}+q^{19}+q^{15}-q^{13}+2 q^{11}+q^7+q^3- q^{-1} + q^{-3} -2 q^{-5} - q^{-9} + q^{-11} - q^{-13} + q^{-15} + q^{-17} + q^{-19} }[/math]

B2 Invariants.

Weight

Invariant

0,1

[math]\displaystyle{ -q^{34}+2 q^{32}-4 q^{30}+6 q^{28}-7 q^{26}+8 q^{24}-8 q^{22}+8 q^{20}-5 q^{18}+3 q^{16}+2 q^{14}-5 q^{12}+10 q^{10}-13 q^8+15 q^6-15 q^4+15 q^2-13+9 q^{-2} -5 q^{-4} +2 q^{-8} -6 q^{-10} +7 q^{-12} -8 q^{-14} +8 q^{-16} -6 q^{-18} +5 q^{-20} -3 q^{-22} +3 q^{-24} - q^{-26} + q^{-28} }[/math]

1,0

[math]\displaystyle{ q^{56}-2 q^{52}-2 q^{50}+2 q^{48}+4 q^{46}-2 q^{44}-6 q^{42}-q^{40}+8 q^{38}+6 q^{36}-5 q^{34}-8 q^{32}+2 q^{30}+9 q^{28}+4 q^{26}-7 q^{24}-6 q^{22}+3 q^{20}+6 q^{18}-2 q^{16}-6 q^{14}+5 q^{10}+q^8-5 q^6-2 q^4+6 q^2+5-4 q^{-2} -5 q^{-4} +4 q^{-6} +7 q^{-8} -2 q^{-10} -8 q^{-12} -2 q^{-14} +8 q^{-16} +5 q^{-18} -5 q^{-20} -8 q^{-22} +7 q^{-26} +3 q^{-28} -3 q^{-30} -4 q^{-32} +3 q^{-36} +2 q^{-38} - q^{-40} - q^{-42} + q^{-46} }[/math]

G2 Invariants.

Weight

Invariant

1,0

[math]\displaystyle{ q^{80}-2 q^{78}+4 q^{76}-7 q^{74}+5 q^{72}-3 q^{70}-5 q^{68}+16 q^{66}-21 q^{64}+24 q^{62}-18 q^{60}+2 q^{58}+18 q^{56}-34 q^{54}+40 q^{52}-31 q^{50}+13 q^{48}+11 q^{46}-28 q^{44}+33 q^{42}-24 q^{40}+8 q^{38}+10 q^{36}-23 q^{34}+20 q^{32}-6 q^{30}-13 q^{28}+30 q^{26}-34 q^{24}+27 q^{22}-6 q^{20}-20 q^{18}+41 q^{16}-51 q^{14}+48 q^{12}-25 q^{10}-3 q^8+30 q^6-44 q^4+44 q^2-27+4 q^{-2} +14 q^{-4} -24 q^{-6} +19 q^{-8} -4 q^{-10} -13 q^{-12} +23 q^{-14} -22 q^{-16} +7 q^{-18} +9 q^{-20} -26 q^{-22} +33 q^{-24} -29 q^{-26} +17 q^{-28} -2 q^{-30} -14 q^{-32} +22 q^{-34} -24 q^{-36} +21 q^{-38} -12 q^{-40} +4 q^{-42} +4 q^{-44} -9 q^{-46} +11 q^{-48} -9 q^{-50} +8 q^{-52} -3 q^{-54} +2 q^{-58} -3 q^{-60} +3 q^{-62} - q^{-64} + q^{-66} }[/math]

.

Computer Talk

The above data is available with the Mathematica package 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["9 19"];

In[4]:= Alexander[K][t]

KnotTheory::loading: Loading precomputed data in PD4Knots`.

Out[4]= [math]\displaystyle{ 2 t^2-10 t+17-10 t^{-1} +2 t^{-2} }[/math]

In[5]:= Conway[K][z]

Out[5]= [math]\displaystyle{ 2 z^4-2 z^2+1 }[/math]

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]= [math]\displaystyle{ \{1\} }[/math]

In[7]:= {KnotDet[K], KnotSignature[K]}

Out[7]= { 41, 0 }

In[8]:= Jones[K][q]

KnotTheory::loading: Loading precomputed data in Jones4Knots`.

Out[8]= [math]\displaystyle{ q^4-2 q^3+4 q^2-6 q+7-7 q^{-1} +6 q^{-2} -4 q^{-3} +3 q^{-4} - q^{-5} }[/math]

In[9]:= HOMFLYPT[K][a, z]

KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.

Out[9]= [math]\displaystyle{ -z^2 a^4+z^4 a^2+z^2 a^2+a^2+z^4-2 z^2 a^{-2} - a^{-2} + a^{-4} }[/math]

In[10]:= Kauffman[K][a, z]

KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.

Out[10]= [math]\displaystyle{ a^2 z^8+z^8+3 a^3 z^7+5 a z^7+2 z^7 a^{-1} +3 a^4 z^6+3 a^2 z^6+2 z^6 a^{-2} +2 z^6+a^5 z^5-7 a^3 z^5-11 a z^5-z^5 a^{-1} +2 z^5 a^{-3} -8 a^4 z^4-11 a^2 z^4+z^4 a^{-4} -4 z^4-2 a^5 z^3+4 a^3 z^3+10 a z^3+z^3 a^{-1} -3 z^3 a^{-3} +4 a^4 z^2+8 a^2 z^2-3 z^2 a^{-2} -2 z^2 a^{-4} +3 z^2-a^3 z-3 a z-z a^{-1} +z a^{-3} -a^2+ a^{-2} + a^{-4} }[/math]

Vassiliev invariants

V₂ and V₃:

(-2, -1)

V_2,1 through V_6,9:

V_2,1

V_3,1

V_4,1

V_4,2

V_4,3

V_5,1

V_5,2

V_5,3

V_5,4

V_6,1

V_6,2

V_6,3

V_6,4

V_6,5

V_6,6

V_6,7

V_6,8

V_6,9

[math]\displaystyle{ -8 }[/math]

[math]\displaystyle{ 32 }[/math]

[math]\displaystyle{ \frac{68}{3} }[/math]

[math]\displaystyle{ \frac{4}{3} }[/math]

[math]\displaystyle{ 64 }[/math]

[math]\displaystyle{ \frac{304}{3} }[/math]

[math]\displaystyle{ \frac{160}{3} }[/math]

[math]\displaystyle{ -8 }[/math]

[math]\displaystyle{ -\frac{256}{3} }[/math]

[math]\displaystyle{ 32 }[/math]

[math]\displaystyle{ -\frac{544}{3} }[/math]

[math]\displaystyle{ -\frac{32}{3} }[/math]

[math]\displaystyle{ -\frac{991}{15} }[/math]

[math]\displaystyle{ -\frac{1676}{15} }[/math]

[math]\displaystyle{ \frac{5276}{45} }[/math]

[math]\displaystyle{ -\frac{113}{9} }[/math]

[math]\displaystyle{ \frac{449}{15} }[/math]

V_2,1 through V_6,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 V₂ and V₃.

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]). The squares with yellow highlighting are those on the "critical diagonals", where [math]\displaystyle{ j-2r=s+1 }[/math] or [math]\displaystyle{ j-2r=s-1 }[/math], where [math]\displaystyle{ s= }[/math]0 is the signature of 9 19. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.

\		r
	\
j		\

-5

-4

-3

-2

-1

0

1

2

3

4

χ

9

1

7

1

-1

5

3

1

2

3

1

-2

1

4

3

1

-1

4

0

-3

2

3

-1

-5

2

4

2

-7

1

2

-1

-9

2

-11

1

-1

Integral Khovanov Homology

(db, data source)

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

[math]\displaystyle{ \textrm{Include}(\textrm{ColouredJonesM.mhtml}) }[/math]

In[1]:=	<< KnotTheory`
Loading KnotTheory` (version of August 17, 2005, 14:44:34)...
In[2]:=	Crossings[Knot[9, 19]]
Out[2]=	9
In[3]:=	PD[Knot[9, 19]]
Out[3]=	PD[X[1, 4, 2, 5], X[5, 10, 6, 11], X[3, 9, 4, 8], X[9, 3, 10, 2], X[13, 16, 14, 17], X[7, 15, 8, 14], X[15, 7, 16, 6], X[11, 18, 12, 1], X[17, 12, 18, 13]]
In[4]:=	GaussCode[Knot[9, 19]]
Out[4]=	GaussCode[-1, 4, -3, 1, -2, 7, -6, 3, -4, 2, -8, 9, -5, 6, -7, 5, -9, 8]
In[5]:=	BR[Knot[9, 19]]
Out[5]=	BR[5, {1, -2, 1, -2, -2, -3, 2, 4, -3, 4}]
In[6]:=	alex = Alexander[Knot[9, 19]][t]
Out[6]=	2 10 2 17 + -- - -- - 10 t + 2 t 2 t t
In[7]:=	Conway[Knot[9, 19]][z]
Out[7]=	2 4 1 - 2 z + 2 z
In[8]:=	Select[AllKnots[], (alex === Alexander[#][t])&]
Out[8]=	{Knot[9, 19]}
In[9]:=	{KnotDet[Knot[9, 19]], KnotSignature[Knot[9, 19]]}
Out[9]=	{41, 0}
In[10]:=	J=Jones[Knot[9, 19]][q]
Out[10]=	-5 3 4 6 7 2 3 4 7 - q + -- - -- + -- - - - 6 q + 4 q - 2 q + q 4 3 2 q q q q
In[11]:=	Select[AllKnots[], (J === Jones[#][q] \|\| (J /. q-> 1/q) === Jones[#][q])&]
Out[11]=	{Knot[9, 19]}
In[12]:=	A2Invariant[Knot[9, 19]][q]
Out[12]=	-16 -14 -12 -10 2 -2 2 4 8 10 -1 - q + q + q - q + -- + q + q - 2 q + q - q + 8 q 12 14 q + q
In[13]:=	Kauffman[Knot[9, 19]][a, z]
Out[13]=	2 2 -4 -2 2 z z 3 2 2 z 3 z 2 2 a + a - a + -- - - - 3 a z - a z + 3 z - ---- - ---- + 8 a z + 3 a 4 2 a a a 3 3 4 4 2 3 z z 3 3 3 5 3 4 z 4 a z - ---- + -- + 10 a z + 4 a z - 2 a z - 4 z + -- - 3 a 4 a a 5 5 2 4 4 4 2 z z 5 3 5 5 5 6 11 a z - 8 a z + ---- - -- - 11 a z - 7 a z + a z + 2 z + 3 a a 6 7 2 z 2 6 4 6 2 z 7 3 7 8 2 8 ---- + 3 a z + 3 a z + ---- + 5 a z + 3 a z + z + a z 2 a a
In[14]:=	{Vassiliev[2][Knot[9, 19]], Vassiliev[3][Knot[9, 19]]}
Out[14]=	{0, -1}
In[15]:=	Kh[Knot[9, 19]][q, t]
Out[15]=	4 1 2 1 2 2 4 2 - + 4 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- + q 11 5 9 4 7 4 7 3 5 3 5 2 3 2 q t q t q t q t q t q t q t 3 4 3 3 2 5 2 5 3 7 3 9 4 ---- + --- + 3 q t + 3 q t + q t + 3 q t + q t + q t + q t 3 q t q t

9 19

Contents

Knot presentations

Three dimensional invariants

Four dimensional invariants

Polynomial invariants

Vassiliev invariants

Khovanov Homology

Computer Talk

Navigation menu

Page actions

Page actions

Personal tools

Navigation

Search

Tools