9 47

From Knot Atlas
Revision as of 21:45, 27 August 2005 by ScottTestRobot (talk | contribs)
Jump to navigationJump to search


9 46.gif

9_46

9 48.gif

9_48

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

Visit 9 47's page at Knotilus!

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

9 47 Quick Notes




Simple square depiction
Threefold symmetrical depiction
Ornate threefold symmetrical depiction

Knot presentations

Planar diagram presentation X6271 X16,8,17,7 X8394 X2,15,3,16 X14,9,15,10 X10,6,11,5 X4,14,5,13 X11,1,12,18 X17,13,18,12
Gauss code 1, -4, 3, -7, 6, -1, 2, -3, 5, -6, -8, 9, 7, -5, 4, -2, -9, 8
Dowker-Thistlethwaite code 6 8 10 16 14 -18 4 2 -12
Conway Notation [8*-20]

Three dimensional invariants

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

[edit Notes for 9 47'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{ 3 }[/math]
Rasmussen s-Invariant -2

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

Polynomial invariants

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

Vassiliev invariants

V2 and V3: (-1, -2)
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
[math]\displaystyle{ -4 }[/math] [math]\displaystyle{ -16 }[/math] [math]\displaystyle{ 8 }[/math] [math]\displaystyle{ -\frac{110}{3} }[/math] [math]\displaystyle{ -\frac{34}{3} }[/math] [math]\displaystyle{ 64 }[/math] [math]\displaystyle{ \frac{32}{3} }[/math] [math]\displaystyle{ \frac{32}{3} }[/math] [math]\displaystyle{ -16 }[/math] [math]\displaystyle{ -\frac{32}{3} }[/math] [math]\displaystyle{ 128 }[/math] [math]\displaystyle{ \frac{440}{3} }[/math] [math]\displaystyle{ \frac{136}{3} }[/math] [math]\displaystyle{ \frac{10529}{30} }[/math] [math]\displaystyle{ -\frac{418}{15} }[/math] [math]\displaystyle{ \frac{10738}{45} }[/math] [math]\displaystyle{ -\frac{833}{18} }[/math] [math]\displaystyle{ \frac{1409}{30} }[/math]

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 [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]2 is the signature of 9 47. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.

\ r
  \  
j \
-3-2-101234χ
11       22
9      2 -2
7     22 0
5    32  -1
3   22   0
1  24    2
-1 11     0
-3 2      2
-51       -1

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, 47]]
Out[2]=  
9
In[3]:=
PD[Knot[9, 47]]
Out[3]=  
PD[X[6, 2, 7, 1], X[16, 8, 17, 7], X[8, 3, 9, 4], X[2, 15, 3, 16], 
 X[14, 9, 15, 10], X[10, 6, 11, 5], X[4, 14, 5, 13], X[11, 1, 12, 18], 

X[17, 13, 18, 12]]
In[4]:=
GaussCode[Knot[9, 47]]
Out[4]=  
GaussCode[1, -4, 3, -7, 6, -1, 2, -3, 5, -6, -8, 9, 7, -5, 4, -2, -9, 8]
In[5]:=
BR[Knot[9, 47]]
Out[5]=  
BR[4, {-1, 2, -1, 2, 3, 2, -1, 2, 3}]
In[6]:=
alex = Alexander[Knot[9, 47]][t]
Out[6]=  
      -3   4    6            2    3

-5 + t - -- + - + 6 t - 4 t + t

           2   t
t
In[7]:=
Conway[Knot[9, 47]][z]
Out[7]=  
     2      4    6
1 - z  + 2 z  + z
In[8]:=
Select[AllKnots[], (alex === Alexander[#][t])&]
Out[8]=  
{Knot[9, 47]}
In[9]:=
{KnotDet[Knot[9, 47]], KnotSignature[Knot[9, 47]]}
Out[9]=  
{27, 2}
In[10]:=
J=Jones[Knot[9, 47]][q]
Out[10]=  
      -2   3            2      3      4      5

-3 - q + - + 5 q - 5 q + 4 q - 4 q + 2 q

q
In[11]:=
Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]
Out[11]=  
{Knot[9, 47]}
In[12]:=
A2Invariant[Knot[9, 47]][q]
Out[12]=  
     -6    -4    -2      2    4    6      8    12    14    16    20
2 - q   + q   + q   + 2 q  - q  + q  - 2 q  - q   - q   + q   + q
In[13]:=
Kauffman[Knot[9, 47]][a, z]
Out[13]=  
                                                 2      2       2
    -6   2     -2   3 z   5 z   2 z      2   3 z    9 z    11 z

1 - a - -- - a - --- - --- - --- + 5 z + ---- + ---- + ----- +

          4          5     3     a             6      4      2
         a          a     a                   a      a      a

    3      3    3                      4       4    5      5      5
 3 z    6 z    z         3      4   7 z    16 z    z    4 z    4 z
 ---- + ---- + -- - 2 a z  - 9 z  - ---- - ----- + -- - ---- - ---- + 
   5      3    a                      4      2      5     3     a
  a      a                           a      a      a     a

                  6      6      7      7
    5      6   3 z    6 z    2 z    2 z
 a z  + 3 z  + ---- + ---- + ---- + ----
                 4      2      3     a
a a a
In[14]:=
{Vassiliev[2][Knot[9, 47]], Vassiliev[3][Knot[9, 47]]}
Out[14]=  
{0, -2}
In[15]:=
Kh[Knot[9, 47]][q, t]
Out[15]=  
         3     1       2      1      1    2 q      3        5

4 q + 2 q + ----- + ----- + ---- + --- + --- + 2 q t + 3 q t +

             5  3    3  2      2   q t    t
            q  t    q  t    q t

    5  2      7  2      7  3      9  3      11  4
2 q t + 2 q t + 2 q t + 2 q t + 2 q t