3 1: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
 
(21 intermediate revisions by 4 users not shown)
Line 1: Line 1:
<!-- WARNING! WARNING! WARNING!
The trefoil knot has only three crossings!
<!-- This page was generated from the splice base [[Rolfsen_Splice_Base]]. Please do not edit!

<!-- You probably want to edit the template referred to immediately below. (See [[Category:Knot Page Template]].)
<!-- <mma-splice><in>3+4</in></mma-splice> >
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Rolfsen_Splice_Base]]. -->

<!-- -->
{{Template:Basic Knot Invariants|
<!-- -->
image=[[Image:TrefoilKnot-01.png|right|Trefoil knot]]|
{{Rolfsen Knot Page|
simple_name=3_1|
crossings=3|
n = 3 |
k = 1 |
jones_polynomial=<math>-q^{-4}+q^{-3}+q^{-1} </math>
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,3,-2,1,-3,2/goTop.html |
}}
braid_table = <table cellspacing=0 cellpadding=0 border=0>
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]]</td></tr>
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]]</td></tr>
</table> |
braid_crossings = 3 |
braid_width = 2 |
braid_index = 2 |
same_alexander = |
same_jones = |
khovanov_table = <table border=1>
<tr align=center>
<td width=25.%><table cellpadding=0 cellspacing=0>
<tr><td>\</td><td>&nbsp;</td><td>r</td></tr>
<tr><td>&nbsp;</td><td>&nbsp;\&nbsp;</td><td>&nbsp;</td></tr>
<tr><td>j</td><td>&nbsp;</td><td>\</td></tr>
</table></td>
<td width=12.5%>-3</td ><td width=12.5%>-2</td ><td width=12.5%>-1</td ><td width=12.5%>0</td ><td width=25.%>&chi;</td></tr>
<tr align=center><td>-1</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>1</td><td>1</td></tr>
<tr align=center><td>-3</td><td>&nbsp;</td><td>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>1</td><td>1</td></tr>
<tr align=center><td>-5</td><td>&nbsp;</td><td bgcolor=yellow>1</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>1</td></tr>
<tr align=center><td>-7</td><td bgcolor=yellow>&nbsp;</td><td bgcolor=yellow>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>0</td></tr>
<tr align=center><td>-9</td><td bgcolor=yellow>1</td><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td><td>-1</td></tr>
</table> |
coloured_jones_2 = <math> q^{-2} + q^{-5} - q^{-7} + q^{-8} - q^{-9} - q^{-10} + q^{-11} </math> |
coloured_jones_3 = <math> q^{-3} + q^{-7} - q^{-10} + q^{-11} - q^{-13} - q^{-14} + q^{-15} - q^{-17} + q^{-19} + q^{-20} - q^{-21} </math> |
coloured_jones_4 = <math> q^{-4} + q^{-9} - q^{-13} + q^{-14} - q^{-17} - q^{-18} + q^{-19} - q^{-22} - q^{-23} +2 q^{-24} - q^{-28} +2 q^{-29} - q^{-32} - q^{-33} + q^{-34} </math> |
coloured_jones_5 = <math> q^{-5} + q^{-11} - q^{-16} + q^{-17} - q^{-21} - q^{-22} + q^{-23} - q^{-27} - q^{-28} + q^{-29} + q^{-30} - q^{-33} + q^{-35} + q^{-36} - q^{-39} + q^{-42} - q^{-44} - q^{-45} + q^{-48} + q^{-49} - q^{-50} </math> |
coloured_jones_6 = <math> q^{-6} + q^{-13} - q^{-19} + q^{-20} - q^{-25} - q^{-26} + q^{-27} - q^{-32} - q^{-33} + q^{-34} + q^{-36} - q^{-39} - q^{-40} +2 q^{-41} + q^{-43} - q^{-46} - q^{-47} +2 q^{-48} - q^{-53} -2 q^{-54} +2 q^{-55} - q^{-60} - q^{-61} +2 q^{-62} + q^{-64} - q^{-67} - q^{-68} + q^{-69} </math> |
coloured_jones_7 = <math> q^{-7} + q^{-15} - q^{-22} + q^{-23} - q^{-29} - q^{-30} + q^{-31} - q^{-37} - q^{-38} + q^{-39} + q^{-42} - q^{-45} - q^{-46} + q^{-47} + q^{-48} + q^{-50} - q^{-53} - q^{-54} + q^{-55} + q^{-56} + q^{-58} - q^{-59} - q^{-61} - q^{-62} + q^{-63} + q^{-66} - q^{-67} - q^{-69} - q^{-70} + q^{-71} + q^{-73} + q^{-74} - q^{-75} - q^{-78} + q^{-79} + q^{-81} + q^{-82} - q^{-83} - q^{-84} - q^{-86} + q^{-89} + q^{-90} - q^{-91} </math> |
computer_talk =
<table>
<tr valign=top>
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:=&nbsp;&nbsp;&nbsp;&nbsp;</pre></td>
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
</tr>
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[2]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[Knot[3, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[1, 4, 2, 5], X[3, 6, 4, 1], X[5, 2, 6, 3]]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Knot[3, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[-1, 3, -2, 1, -3, 2]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[3, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[4, 6, 2]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>br = BR[Knot[3, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BR[2, {-1, -1, -1}]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{First[br], Crossings[br]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[6]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{2, 3}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BraidIndex[Knot[3, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[7]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>2</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Show[DrawMorseLink[Knot[3, 1]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:3_1_ML.gif]]</td></tr><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-Graphics-</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> (#[Knot[3, 1]]&) /@ {
SymmetryType, UnknottingNumber, ThreeGenus,
BridgeIndex, SuperBridgeIndex, NakanishiIndex
}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Reversible, 1, 1, 2, 3, 1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>alex = Alexander[Knot[3, 1]][t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[10]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 1
-1 + - + t
t</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[3, 1]][z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2
1 + z</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[3, 1]}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[13]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{KnotDet[Knot[3, 1]], KnotSignature[Knot[3, 1]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[13]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{3, -2}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[14]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Jones[Knot[3, 1]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[14]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -4 -3 1
-q + q + -
q</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[15]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[3, 1]}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[16]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Knot[3, 1]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[16]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -14 -12 -8 2 -4 -2
-q - q + q + -- + q + q
6
q</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[17]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Knot[3, 1]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[17]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 4 2 2
2 a - a + a z</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[18]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Knot[3, 1]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[18]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 4 3 5 2 2 4 2
-2 a - a + a z + a z + a z + a z</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[3, 1]], Vassiliev[3][Knot[3, 1]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[19]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{1, -1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[20]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kh[Knot[3, 1]][q, t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[20]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -3 1 1 1
q + - + ----- + -----
q 9 3 5 2
q t q t</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[21]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>ColouredJones[Knot[3, 1], 2][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[21]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -11 -10 -9 -8 -7 -5 -2
q - q - q + q - q + q + q</nowiki></code></td></tr>
</table> }}

Latest revision as of 17:01, 1 September 2005

0 1.gif

0_1

4 1.gif

4_1

3 1.gif
(KnotPlot image)

See the full Rolfsen Knot Table.

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

Visit 3 1 at Knotilus!

3_1 is also known as "The Trefoil Knot", after plants of the genus Trifolium, which have compound trifoliate leaves, and as the "Overhand Knot". See also T(3,2).

The trefoil is perhaps the easiest knot to find in "nature", and is topologically equivalent to the interlaced form of the common Christian and pagan "triquetra" symbol [12]:

Logo of Caixa Geral de Depositos, Lisboa [1]
A knot consists of two harts in Kolam [2]
A basic form of the interlaced Triquetra; as a Christian symbol, it refers to the Trinity
3D depiction


Knot presentations

Planar diagram presentation X1425 X3641 X5263
Gauss code -1, 3, -2, 1, -3, 2
Dowker-Thistlethwaite code 4 6 2
Conway Notation [3]


Minimum Braid Representative A Morse Link Presentation An Arc Presentation
BraidPart3.gifBraidPart3.gifBraidPart3.gif
BraidPart4.gifBraidPart4.gifBraidPart4.gif

Length is 3, width is 2,

Braid index is 2

3 1 ML.gif 3 1 AP.gif
[{5, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 1}]

[edit Notes on presentations of 3 1]

Knot 3_1.
A graph, knot 3_1.
A part of a knot and a part of a graph.

Three dimensional invariants

Symmetry type Reversible
Unknotting number 1
3-genus 1
Bridge index 2
Super bridge index 3
Nakanishi index 1
Maximal Thurston-Bennequin number [-6][1]
Hyperbolic Volume Not hyperbolic
A-Polynomial See Data:3 1/A-polynomial

[edit Notes for 3 1's three dimensional invariants] The rope length of the trefoil is known to be no more than 16.372, by numerical experiments, while the sharpest known lower bound (actually applicable to all non-trivial knots) is 15.66.

The Trefoil is Fibered.png
The trefoil is a fibered knot! A java applet demonstrating it, written by Robert Barrington Leigh at the University of Toronto, is here.

Four dimensional invariants

Smooth 4 genus
Topological 4 genus
Concordance genus
Rasmussen s-Invariant -2

[edit Notes for 3 1's four dimensional invariants]

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 3, -2 }
Jones polynomial
HOMFLY-PT polynomial (db, data sources)
Kauffman polynomial (db, data sources)
The A2 invariant
The G2 invariant

"Similar" Knots (within the Atlas)

Same Alexander/Conway Polynomial: {}

Same Jones Polynomial (up to mirroring, ): {}

Vassiliev invariants

V2 and V3: (1, -1)
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.

Khovanov Homology

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 -2 is the signature of 3 1. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
-3-2-10χ
-1   11
-3   11
-5 1  1
-7    0
-91   -1
Integral Khovanov Homology

(db, data source)

  

The Coloured Jones Polynomials