Figure-eight knot (mathematics)

Last updated
Figure-eight knot
Blue Figure-Eight Knot.png
Common name Figure-eight knot
Arf invariant 1
Braid length 4
Braid no. 3
Bridge no. 2
Crosscap no. 2
Crossing no. 4
Genus 1
Hyperbolic volume 2.02988
Stick no. 7
Unknotting no. 1
Conway notation [22]
A–B notation 41
Dowker notation 4, 6, 8, 2
Last / Next 31 /  51
Other
alternating, hyperbolic, fibered, prime, fully amphichiral, twist
Figure-eight knot of practical knot-tying, with ends joined Figure8knot-mathematical-knot-theory.svg
Figure-eight knot of practical knot-tying, with ends joined

In knot theory, a figure-eight knot (also called Listing's knot [1] ) 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 and the trefoil knot. The figure-eight knot is a prime knot.

Contents

Origin of name

The name is given because tying a normal figure-eight knot 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

for t varying over the real numbers (see 2D visual realization at bottom right).

The figure-eight knot is prime, alternating, rational with an associated value of 5/3, [2] and is achiral. 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 [note 1] 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: R4R2, so (according to a theorem of John Milnor) the Milnor map of F is actually a fibration. Bernard Perron found the first such F for this knot, namely,

where

Mathematical properties

The figure-eight knot has played an important role historically (and continues to do so) in the theory of 3-manifolds. Sometime in the mid-to-late 1970s, William Thurston showed that the figure-eight was hyperbolic, by decomposing its complement into two ideal hyperbolic tetrahedra. (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, (sequence A091518 in the OEIS ), where is the Lobachevsky function. [3] 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 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.

Simple squared depiction of figure-eight configuration. Figure8knot-math-square.svg
Simple squared depiction of figure-eight configuration.
Symmetric depiction generated by parametric equations. Figure8knot-rose-limacon-curve.svg
Symmetric depiction generated by parametric equations.
Mathematical surface Illustrating Figure-eight knot Superficie - bordo no figura-oito.jpg
Mathematical surface Illustrating Figure-eight knot

The figure-eight knot has genus 1 and is fibered. Therefore its complement fibers over the circle, the fibers being Seifert surfaces 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 .

Invariants

The Alexander polynomial of the figure-eight knot is

the Conway polynomial is

[4]

and the Jones polynomial is

The symmetry between and in the Jones polynomial reflects the fact that the figure-eight knot is achiral.

Figure-eight knot

Notes

  1. A braid is called homogeneous if every generator either occurs always with positive or always with negative sign.

Related Research Articles

<span class="mw-page-title-main">William Thurston</span> American mathematician (1946–2012)

William Paul Thurston 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.

<span class="mw-page-title-main">Knot theory</span> Study of mathematical knots

In topology, knot theory is the study of 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 undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, . Two mathematical knots are equivalent if one can be transformed into the other via a deformation of upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting it or passing it through itself.

In mathematics, Thurston's geometrization conjecture 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 theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston, and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

<span class="mw-page-title-main">Trefoil knot</span> Simplest non-trivial closed knot with three crossings

In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.

In algebraic topology, a homology sphere is an n-manifold X having the homology groups of an n-sphere, for some integer . That is,

<span class="mw-page-title-main">Low-dimensional topology</span> Branch of topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

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 to a small and close enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

<span class="mw-page-title-main">Torus knot</span> Knot which lies on the surface of a torus in 3-dimensional space

In knot theory, a torus knot is a special kind of knot that lies on the surface of an unknotted torus in R3. Similarly, a torus link is a link which lies on the surface of a torus in the same way. Each torus knot is specified by a pair of coprime integers p and q. A torus link arises if p and q are not coprime. A torus knot is trivial if and only if either p or q is equal to 1 or −1. The simplest nontrivial example is the (2,3)-torus knot, also known as the trefoil knot.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

<span class="mw-page-title-main">Hyperbolic link</span> Type of mathematical link

In mathematics, a hyperbolic link is a link in the 3-sphere with complement that has a complete Riemannian metric of constant negative curvature, i.e. has a hyperbolic geometry. A hyperbolic knot is a hyperbolic link with one component.

<span class="mw-page-title-main">Whitehead link</span> Two interlinked loops with five structural crossings

In knot theory, the Whitehead link, named for J. H. C. Whitehead, is one of the most basic links. It can be drawn as an alternating link with five crossings, from the overlay of a circle and a figure-eight shaped loop.

In mathematics, the Weeks manifold, sometimes called the Fomenko–Matveev–Weeks manifold, is a closed hyperbolic 3-manifold obtained by (5, 2) and (5, 1) Dehn surgeries on the Whitehead link. It has volume approximately equal to 0.942707… and David Gabai, Robert Meyerhoff, and Peter Milley showed that it has the smallest volume of any closed orientable hyperbolic 3-manifold. The manifold was independently discovered by Jeffrey Weeks as well as Sergei V. Matveev and Anatoly T. Fomenko.

In mathematics, hyperbolic Dehn surgery is an operation by which one can obtain further hyperbolic 3-manifolds from a given cusped hyperbolic 3-manifold. Hyperbolic Dehn surgery exists only in dimension three and is one which distinguishes hyperbolic geometry in three dimensions from other dimensions.

In mathematics, the 2π theorem of Gromov and Thurston states a sufficient condition for Dehn filling on a cusped hyperbolic 3-manifold to result in a negatively curved 3-manifold.

In mathematics, more precisely in group theory and hyperbolic geometry, Arithmetic Kleinian groups are a special class of Kleinian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. An arithmetic hyperbolic three-manifold is the quotient of hyperbolic space by an arithmetic Kleinian group.

<span class="mw-page-title-main">Three-twist knot</span> Mathematical knot with crossing number 5

In knot theory, the three-twist knot is the twist knot with three-half twists. It is listed as the 52 knot in the Alexander-Briggs notation, and is one of two knots with crossing number five, the other being the cinquefoil knot.

<span class="mw-page-title-main">Stevedore knot (mathematics)</span> Mathematical knot with crossing number 6

In knot theory, the stevedore knot is one of three prime knots with crossing number six, the others being the 62 knot and the 63 knot. The stevedore knot is listed as the 61 knot in the Alexander–Briggs notation, and it can also be described as a twist knot with four half twists, or as the (5,−1,−1) pretzel knot.

6<sub>3</sub> knot Mathematical knot with crossing number 6

In knot theory, the 63 knot is one of three prime knots with crossing number six, the others being the stevedore knot and the 62 knot. It is alternating, hyperbolic, and fully amphichiral. It can be written as the braid word

<span class="mw-page-title-main">Marc Lackenby</span>

Marc Lackenby is a professor of mathematics at the University of Oxford whose research concerns knot theory, low-dimensional topology, and group theory.

References

  1. "Listing knot - Encyclopedia of Mathematics". encyclopediaofmath.org. Retrieved 2020-06-25.
  2. Gruber, Hermann. "Rational Knots with 4 crossings". Rational Knots database. Archived from the original on 2006-02-09. Retrieved 5 May 2022.
  3. William Thurston (March 2002), "7. Computation of volume", The Geometry and Topology of Three-Manifolds, p. 165, archived from the original (PDF) on 2020-07-27, retrieved 2020-10-19
  4. " 4_1 ", The Knot Atlas .

Further reading