|
|
Line 9: |
Line 9: |
|
k = 1 | |
|
k = 1 | |
|
KnotilusURL = <nowiki>http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,4,-2,5,-3,1,-4,2,-5,3/goTop.html</nowiki> | |
|
KnotilusURL = <nowiki>http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,4,-2,5,-3,1,-4,2,-5,3/goTop.html</nowiki> | |
|
braid_table = <nowiki><table cellspacing=0 cellpadding=0 border=0> |
|
braid_table = <table cellspacing=0 cellpadding=0 border=0> |
|
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]]</td></tr> |
|
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]]</td></tr> |
|
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]]</td></tr> |
|
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]]</td></tr> |
|
</table></nowiki> | |
|
</table> | |
|
braid_crossings = 5 | |
|
braid_crossings = 5 | |
|
braid_width = 2 | |
|
braid_width = 2 | |
|
braid_index = 2 | |
|
braid_index = 2 | |
|
same_alexander = <nowiki>[[10_132]], </nowiki> | |
|
same_alexander = [[10_132]], | |
|
same_jones = <nowiki>[[10_132]], </nowiki> | |
|
same_jones = [[10_132]], | |
|
khovanov_table = <table border=1> |
|
khovanov_table = <table border=1> |
|
<tr align=center> |
|
<tr align=center> |
Revision as of 15:21, 1 September 2005
(KnotPlot image)
|
See the full Rolfsen Knot Table.
Visit 5 1's page
at the Knot Server
(KnotPlot driven, includes 3D interactive images!)
Visit 5 1 at Knotilus!
|
An interlaced pentagram, this is known variously as the "Cinquefoil Knot", after certain herbs and shrubs of the rose family which have 5-lobed leaves and 5-petaled flowers (see e.g. [4]),
as the "Pentafoil Knot" (visit Bert Jagers' pentafoil page),
as the "Double Overhand Knot", as 5_1, or finally as the torus knot T(5,2).
When taken off the post the strangle knot (hitch) of practical knot tying deforms to 5_1
|
A kolam of a 2x3 dot array
|
The VISA Interlink Logo [1]
|
|
A pentagonal table by Bob Mackay [2]
|
The Utah State Parks logo
|
As impossible object ("Penrose" pentagram)
|
Folded ribbon which is single-sided (more complex version of Möbius Strip).
|
|
|
Alternate pentagram of intersecting circles.
|
|
Partial view of US bicentennial logo on a shirt seen in Lisboa [3]
|
Non-prime knot with two 5_1 configurations on a closed loop.
|
|
Sum of two 5_1s, Vienna, orthodox church
|
This sentence was last edited by Dror.
Sometime later, Scott added this sentence.
Knot presentations
Planar diagram presentation
|
X1627 X3849 X5,10,6,1 X7283 X9,4,10,5
|
Gauss code
|
-1, 4, -2, 5, -3, 1, -4, 2, -5, 3
|
Dowker-Thistlethwaite code
|
6 8 10 2 4
|
Conway Notation
|
[5]
|
Minimum Braid Representative
|
A Morse Link Presentation
|
An Arc Presentation
|
Length is 5, width is 2,
Braid index is 2
|
|
[{7, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 6}, {5, 7}, {6, 1}]
|
[edit Notes on presentations of 5 1]
Computer Talk
The above data is available with the
Mathematica package
KnotTheory`
. Your input (in
red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
X1627 X3849 X5,10,6,1 X7283 X9,4,10,5
|
Out[5]=
|
-1, 4, -2, 5, -3, 1, -4, 2, -5, 3
|
(The path below may be different on your system)
In[7]:=
|
AppendTo[$Path, "C:/bin/LinKnot/"];
|
In[8]:=
|
ConwayNotation[K]
|
|
KnotTheory::credits: The minimum braids representing the knots with up to 10 crossings were provided by Thomas Gittings. See arXiv:math.GT/0401051.
|
Out[9]=
|
|
In[10]:=
|
{First[br], Crossings[br], BraidIndex[K]}
|
|
KnotTheory::loading: Loading precomputed data in IndianaData`.
|
In[11]:=
|
Show[BraidPlot[br]]
|
In[12]:=
|
Show[DrawMorseLink[K]]
|
|
KnotTheory::credits: "MorseLink was added to KnotTheory` by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
|
KnotTheory::credits: "DrawMorseLink was written by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
In[13]:=
|
ap = ArcPresentation[K]
|
Out[13]=
|
ArcPresentation[{7, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 6}, {5, 7}, {6, 1}]
|
Four dimensional invariants
Polynomial invariants
Alexander polynomial |
|
Conway polynomial |
|
2nd Alexander ideal (db, data sources) |
|
Determinant and Signature |
{ 5, -4 } |
Jones polynomial |
|
HOMFLY-PT polynomial (db, data sources) |
|
Kauffman polynomial (db, data sources) |
|
The A2 invariant |
|
The G2 invariant |
|
Further Quantum Invariants
Further quantum knot invariants for 5_1.
A1 Invariants.
Weight
|
Invariant
|
1
|
|
2
|
|
3
|
|
4
|
|
5
|
|
6
|
|
8
|
|
A2 Invariants.
Weight
|
Invariant
|
1,0
|
|
1,1
|
|
2,0
|
|
3,0
|
|
A3 Invariants.
Weight
|
Invariant
|
0,1,0
|
|
1,0,0
|
|
1,0,1
|
|
A4 Invariants.
Weight
|
Invariant
|
0,1,0,0
|
|
1,0,0,0
|
|
B2 Invariants.
Weight
|
Invariant
|
0,1
|
|
1,0
|
|
B3 Invariants.
Weight
|
Invariant
|
1,0,0
|
|
B4 Invariants.
Weight
|
Invariant
|
1,0,0,0
|
|
C3 Invariants.
Weight
|
Invariant
|
1,0,0
|
|
C4 Invariants.
Weight
|
Invariant
|
1,0,0,0
|
|
D4 Invariants.
Weight
|
Invariant
|
0,1,0,0
|
|
1,0,0,0
|
|
G2 Invariants.
Weight
|
Invariant
|
0,1
|
|
1,0
|
|
.
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`
|
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
|
Out[5]=
|
|
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]=
|
|
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
|
In[9]:=
|
HOMFLYPT[K][a, z]
|
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
|
In[10]:=
|
Kauffman[K][a, z]
|
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
|
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial:
{10_132,}
Same Jones Polynomial (up to mirroring, ):
{10_132,}
Computer Talk
The above data is available with the
Mathematica package
KnotTheory`
. Your input (in
red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
In[4]:=
|
{A = Alexander[K][t], J = Jones[K][q]}
|
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[4]=
|
{ , }
|
In[5]:=
|
DeleteCases[Select[AllKnots[], (A === Alexander[#][t]) &], K]
|
|
KnotTheory::loading: Loading precomputed data in DTCode4KnotsTo11`.
|
|
KnotTheory::credits: The GaussCode to PD conversion was written by Siddarth Sankaran at the University of Toronto in the summer of 2005.
|
In[6]:=
|
DeleteCases[
Select[
AllKnots[],
(J === Jones[#][q] || (J /. q -> 1/q) === Jones[#][q]) &
],
K
]
|
|
KnotTheory::loading: Loading precomputed data in Jones4Knots11`.
|
V2,1 through V6,9:
|
V2,1
|
V3,1
|
V4,1
|
V4,2
|
V4,3
|
V5,1
|
V5,2
|
V5,3
|
V5,4
|
V6,1
|
V6,2
|
V6,3
|
V6,4
|
V6,5
|
V6,6
|
V6,7
|
V6,8
|
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.
The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where -4 is the signature of 5 1. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.
|
|
|
-5 | -4 | -3 | -2 | -1 | 0 | χ |
-3 | | | | | | 1 | 1 |
-5 | | | | | | 1 | 1 |
-7 | | | | 1 | | | 1 |
-9 | | | | | | | 0 |
-11 | | 1 | 1 | | | | 0 |
-13 | | | | | | | 0 |
-15 | 1 | | | | | | -1 |
|
The Coloured Jones Polynomials
|
|
2
|
|
3
|
|
4
|
|
5
|
|
6
|
|
7
|
|
In[10]:=
|
alex = Alexander[Knot[5, 1]][t]
|
Out[10]=
|
-2 1 2
1 + t - - - t + t
t
|
In[11]:=
|
Conway[Knot[5, 1]][z]
|
Out[11]=
|
2 4
1 + 3 z + z
|
In[12]:=
|
Select[AllKnots[], (alex === Alexander[#][t])&]
|
Out[12]=
|
{Knot[5, 1], Knot[10, 132]}
|
In[13]:=
|
{KnotDet[Knot[5, 1]], KnotSignature[Knot[5, 1]]}
|
Out[13]=
|
{5, -4}
|
In[14]:=
|
Jones[Knot[5, 1]][q]
|
Out[14]=
|
-7 -6 -5 -4 -2
-q + q - q + q + q
|
In[15]:=
|
Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]
|
Out[15]=
|
{Knot[5, 1], Knot[10, 132]}
|
In[16]:=
|
A2Invariant[Knot[5, 1]][q]
|
Out[16]=
|
-22 -20 -18 -14 -12 2 -8 -6
-q - q - q + q + q + --- + q + q
10
q
|
In[17]:=
|
HOMFLYPT[Knot[5, 1]][a, z]
|
Out[17]=
|
4 6 4 2 6 2 4 4
3 a - 2 a + 4 a z - a z + a z
|
In[18]:=
|
Kauffman[Knot[5, 1]][a, z]
|
Out[18]=
|
4 6 5 7 9 4 2 6 2 8 2
3 a + 2 a - 2 a z - a z + a z - 4 a z - 3 a z + a z +
5 3 7 3 4 4 6 4
a z + a z + a z + a z
|
In[19]:=
|
{Vassiliev[2][Knot[5, 1]], Vassiliev[3][Knot[5, 1]]}
|
Out[19]=
|
{3, -5}
|
In[20]:=
|
Kh[Knot[5, 1]][q, t]
|
Out[20]=
|
-5 -3 1 1 1 1
q + q + ------ + ------ + ------ + -----
15 5 11 4 11 3 7 2
q t q t q t q t
|
In[21]:=
|
ColouredJones[Knot[5, 1], 2][q]
|
Out[21]=
|
-19 -18 -16 2 -13 -12 -10 -9 -7 -4
q - q + q - --- + q - q + q - q + q + q
15
q
|
}}