Figure-eight Knot (mathematics)
   HOME

TheInfoList



OR:

In
knot theory In topology, knot theory is the study of knot (mathematics), mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be und ...
, a figure-eight knot (also called Listing's knot) is the unique knot with a crossing number of four. This makes it the knot with the third-smallest possible crossing number, after the
unknot In the knot theory, mathematical theory of knots, the unknot, not knot, or trivial knot, is the least knotted of all knots. Intuitively, the unknot is a closed loop of rope without a Knot (mathematics), knot tied into it, unknotted. To a knot ...
and the
trefoil knot In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot (mathematics), knot. The trefoil can be obtained by joining the two loose ends of a common overhand knot, resulting in a knotted loop (topology ...
. The figure-eight knot is a
prime knot In knot theory, a prime knot or prime link is a knot that is, in a certain sense, indecomposable. Specifically, it is a non- trivial knot which cannot be written as the knot sum of two non-trivial knots. Knots that are not prime are said to be ...
.


Origin of name

The name is given because tying a normal
figure-eight knot The figure-eight knot or figure-of-eight knot is a type of stopper knot. It is very important in sailing, rock climbing and caving as a method of stopping ropes from running out of retaining devices. Like the overhand knot, which will jam under ...
in a rope and then joining the ends together, in the most natural way, gives a model of the mathematical knot.


Description

A simple parametric representation of the figure-eight knot is as the set of all points (''x'',''y'',''z'') where : \begin x & = \left(2 + \cos \right) \cos \\ y & = \left(2 + \cos \right) \sin \\ z & = \sin \end for ''t'' varying over the real numbers (see 2D visual realization at bottom right). The figure-eight knot is
prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
, alternating,
rational Rationality is the quality of being guided by or based on reason. In this regard, a person acts rationally if they have a good reason for what they do, or a belief is rational if it is based on strong evidence. This quality can apply to an ...
with an associated value of 5/3, and is
achiral Chirality () is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek (''kheir''), "hand", a familiar chiral object. An object or a system is ''chiral'' if it is distinguishable from ...
. The figure-eight knot is also a fibered knot. This follows from other, less simple (but very interesting) representations of the knot: (1) It is a ''homogeneous''A braid is called homogeneous if every generator \sigma_i either occurs always with positive or always with negative sign. closed braid (namely, the closure of the 3-string braid σ1σ2−1σ1σ2−1), and a theorem of John Stallings shows that any closed homogeneous braid is fibered. (2) It is the link at (0,0,0,0) of an isolated critical point of a real-polynomial map F: R4→R2, so (according to a theorem of
John Milnor John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook Uni ...
) the Milnor map of F is actually a fibration. Bernard Perron found the first such F for this knot, namely, : F(x, y, z, t)=G(x, y, z^2-t^2, 2zt),\,\! where : \begin G(x,y,z,t)=\ & (z(x^2+y^2+z^2+t^2)+x (6x^2-2y^2-2z^2-2t^2), \\ & \ t x \sqrt+y (6x^2-2y^2-2z^2-2t^2)). \end


Mathematical properties

The figure-eight knot has played an important role historically (and continues to do so) in the theory of
3-manifold In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane (geometry), plane (a tangent ...
s. Sometime in the mid-to-late 1970s,
William Thurston William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thurst ...
showed that the figure-eight was
hyperbolic Hyperbolic may refer to: * of or pertaining to a hyperbola, a type of smooth curve lying in a plane in mathematics ** Hyperbolic geometry, a non-Euclidean geometry ** Hyperbolic functions, analogues of ordinary trigonometric functions, defined u ...
, by decomposing its
complement Complement may refer to: The arts * Complement (music), an interval that, when added to another, spans an octave ** Aggregate complementation, the separation of pitch-class collections into complementary sets * Complementary color, in the visu ...
into two ideal
hyperbolic Hyperbolic may refer to: * of or pertaining to a hyperbola, a type of smooth curve lying in a plane in mathematics ** Hyperbolic geometry, a non-Euclidean geometry ** Hyperbolic functions, analogues of ordinary trigonometric functions, defined u ...
tetrahedra In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
. (Robert Riley and Troels Jørgensen, working independently of each other, had earlier shown that the figure-eight knot was hyperbolic by other means.) This construction, new at the time, led him to many powerful results and methods. For example, he was able to show that all but ten Dehn surgeries on the figure-eight knot resulted in non- Haken, non- Seifert-fibered irreducible 3-manifolds; these were the first such examples. Many more have been discovered by generalizing Thurston's construction to other knots and links. The figure-eight knot is also the hyperbolic knot whose complement has the smallest possible
volume Volume is a measure of regions in three-dimensional space. It is often quantified numerically using SI derived units (such as the cubic metre and litre) or by various imperial or US customary units (such as the gallon, quart, cubic inch) ...
, 6\Lambda(\pi/3) \approx 2.02988... , where \Lambda is the Lobachevsky function. From this perspective, the figure-eight knot can be considered the simplest hyperbolic knot. The figure eight knot complement is a double-cover of the Gieseking manifold, which has the smallest volume among non-compact hyperbolic 3-manifolds. The figure-eight knot and the (−2,3,7) pretzel knot are the only two hyperbolic knots known to have more than 6 ''exceptional surgeries'', Dehn surgeries resulting in a non-hyperbolic 3-manifold; they have 10 and 7, respectively. A theorem of Lackenby and Meyerhoff, whose proof relies on the
geometrization conjecture In mathematics, Thurston's geometrization conjecture (now a theorem) states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theor ...
and computer assistance, holds that 10 is the largest possible number of exceptional surgeries of any hyperbolic knot. However, it is not currently known whether the figure-eight knot is the only one that achieves the bound of 10. A well-known conjecture is that the bound (except for the two knots mentioned) is 6. The figure-eight knot has genus 1 and is fibered. Therefore its complement fibers over the circle, the fibers being
Seifert surface In mathematics, a Seifert surface (named after German mathematician Herbert Seifert) is an orientable surface whose boundary is a given knot or link. Such surfaces can be used to study the properties of the associated knot or link. For exampl ...
s which are 2-dimensional tori with one boundary component. The monodromy map is then a homeomorphism of the 2-torus, which can be represented in this case by the matrix (\begin2&1\\1&1\end).


Invariants

The
Alexander polynomial In mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a ...
of the figure-eight knot is :\Delta(t) = -t + 3 - t^,\ since \begin1 & -1 \\ 0 & -1\end is a possible
Seifert matrix In mathematics, a Seifert surface (named after German mathematician Herbert Seifert) is an orientable surface whose boundary is a given knot or link. Such surfaces can be used to study the properties of the associated knot or link. For exampl ...
, or because of its Conway polynomial, which is :\nabla(z) = 1-z^2,\ and the
Jones polynomial In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polyno ...
is :V(q) = q^2 - q + 1 - q^ + q^.\ The symmetry between q and q^ in the Jones polynomial reflects the fact that the figure-eight knot is achiral.


Notes


References


Further reading

* Ian Agol, ''Bounds on exceptional Dehn filling'',
Geometry & Topology ''Geometry & Topology'' is a peer-refereed, international mathematics research journal devoted to geometry and topology, and their applications. It is currently based at the University of Warwick, United Kingdom, and published by Mathematical S ...
4 (2000), 431–449. * Chun Cao and Robert Meyerhoff, ''The orientable cusped hyperbolic 3-manifolds of minimum volume'', Inventiones Mathematicae, 146 (2001), no. 3, 451–478. * Marc Lackenby, ''Word hyperbolic Dehn surgery'',
Inventiones Mathematicae ''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current (2023) managing ...
140 (2000), no. 2, 243–282. * Marc Lackenby and Robert Meyerhoff
''The maximal number of exceptional Dehn surgeries''
arXiv:0808.1176 *
Robion Kirby Robion Cromwell Kirby (born February 25, 1938) is a Professor of Mathematics at the University of California, Berkeley who specializes in low-dimensional topology. Together with Laurent C. Siebenmann he developed the Kirby–Siebenmann invariant ...

''Problems in low-dimensional topology''
(see problem 1.77, due to Cameron Gordon, for exceptional slopes) * William Thurston
''The Geometry and Topology of Three-Manifolds''
Princeton University lecture notes (1978–1981).


External links

* * {{Knot theory, state=collapsed 3-manifolds Double torus knots and links