Whitehead link

Last updated
Whitehead link
Whiteheadlink.png
Braid length 5
Braid no. 3
Crossing no. 5
Hyperbolic volume 3.663862377
Linking no. 0
Unknotting no. 1
Conway notation [212]
A–B notation 52
1
Thistlethwaite L5a1
Last /Next L4a1 /  L6a1
Other
alternating

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.

Contents

Structure

Whitehead-link.svg
Alternating link diagram
Symmetric Whitehead link.svg
Alternative diagram, symmetric by 3d rotation around a vertical line in the plane of the drawing [1]

A common way of describing this knot is formed by overlaying a figure-eight shaped loop with another circular loop surrounding the crossing of the figure-eight. The above-below relation between these two unknots is then set as an alternating link, with the consecutive crossings on each loop alternating between under and over. This drawing has five crossings, one of which is the self-crossing of the figure-eight curve, which does not count towards the linking number. Because the remaining crossings have equal numbers of under and over crossings on each loop, its linking number is 0. It is not isotopic to the unlink, but it is link homotopic to the unlink.

Although this construction of the knot treats its two loops differently from each other, the two loops are topologically symmetric: it is possible to deform the same link into a drawing of the same type in which the loop that was drawn as a figure eight is circular and vice versa. [2] Alternatively, there exist realizations of this knot in three dimensions in which the two loops can be taken to each other by a geometric symmetry of the realization. [1]

In braid theory notation, the link is written

Its Jones polynomial is

This polynomial and are the two factors of the Jones polynomial of the L10a140 link. Notably, is the Jones polynomial for the mirror image of a link having Jones polynomial .

Volume

The hyperbolic volume of the complement of the Whitehead link is 4 times Catalan's constant, approximately 3.66. The Whitehead link complement is one of two two-cusped hyperbolic manifolds with the minimum possible volume, the other being the complement of the pretzel link with parameters (−2, 3, 8). [3]

Dehn filling on one component of the Whitehead link can produce the sibling manifold of the complement of the figure-eight knot, and Dehn filling on both components can produce the Weeks manifold, respectively one of the minimum-volume hyperbolic manifolds with one cusp and the minimum-volume hyperbolic manifold with no cusps.

History

Old Thor's hammer archaeological artefact Torshammare Odeshog (Montelius 1906 s309).jpg
Old Thor's hammer archaeological artefact

The Whitehead link is named for J. H. C. Whitehead, who spent much of the 1930s looking for a proof of the Poincaré conjecture. In 1934, he used the link as part of his construction of the now-named Whitehead manifold, which refuted his previous purported proof of the conjecture. [4]

See also

Related Research Articles

William Thurston American mathematician

William Paul Thurston was an American mathematician. He was a pioneer in the field of low-dimensional topology. In 1982, he was awarded the Fields Medal for his contributions to the study of 3-manifolds. From 2003 until his death he was a professor of mathematics and computer science at Cornell University.

Figure-eight knot (mathematics) Unique knot with a crossing number of four

In knot theory, a figure-eight 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 and the trefoil knot. The figure-eight knot is a prime knot.

Knot theory Study of mathematical knots

In the mathematical field of 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 through itself.

3-manifold Space that locally looks like Euclidean 3-dimensional space

In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional 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 enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

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 polynomial in the variable with integer coefficients.

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.

Hyperbolic 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.

Pretzel link Link formed from a finite number of twisted sections

In the mathematical theory of knots, a pretzel link is a special kind of link. It consists of a finite number tangles made of two intertwined circular helices, The tangles are connected cyclicly, the first component of the first tangle is connected to the second component of the second tangle, etc., with the first component of the last tangle connected to the second component of the first. A pretzel link which is also a knot is a pretzel knot.

Hyperbolic manifold

In mathematics, a hyperbolic manifold is a space where every point looks locally like hyperbolic space of some dimension. They are especially studied in dimensions 2 and 3, where they are called hyperbolic surfaces and hyperbolic 3-manifolds, respectively. In these dimensions, they are important because most manifolds can be made into a hyperbolic manifold by a homeomorphism. This is a consequence of the uniformization theorem for surfaces and the geometrization theorem for 3-manifolds proved by Perelman.

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 (2009) showed that it has the smallest volume of any closed orientable hyperbolic 3-manifold. The manifold was independently discovered by Jeffrey Weeks (1985) as well as Sergei V. Matveev and Anatoly T. Fomenko (1988).

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.

Hyperbolic volume Normalized hyperbolic volume of the complement of a hyperbolic knot

In the mathematical field of knot theory, the hyperbolic volume of a hyperbolic link is the volume of the link's complement with respect to its complete hyperbolic metric. The volume is necessarily a finite real number, and is a topological invariant of the link. As a link invariant, it was first studied by William Thurston in connection with his geometrization conjecture.

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. These manifolds include some particularly beautiful or remarkable examples.

Three-twist knot 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.

Stevedore knot (mathematics) 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 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

Twist knot Family of mathematical knots

In knot theory, a branch of mathematics, a twist knot is a knot obtained by repeatedly twisting a closed loop and then linking the ends together. The twist knots are an infinite family of knots, and are considered the simplest type of knots after the torus knots.

Ideal polyhedron Type of polyhedron

In three-dimensional hyperbolic geometry, an ideal polyhedron is a convex polyhedron all of whose vertices are ideal points, points "at infinity" rather than interior to three-dimensional hyperbolic space. It can be defined as the convex hull of a finite set of ideal points. An ideal polyhedron has ideal polygons as its faces, meeting along lines of the hyperbolic space.

References

  1. 1 2 Skopenkov, A. (2020), "Fig. 22: Isotopy of the Whitehead link", A user's guide to basic knot and link theory, p. 17, arXiv: 2001.01472v1
  2. Cundy, H. Martyn; Rollett, A.P. (1961), Mathematical models (2nd ed.), Oxford: Clarendon Press, p. 59, MR   0124167
  3. Agol, Ian (2010), "The minimal volume orientable hyperbolic 2-cusped 3-manifolds", Proceedings of the American Mathematical Society , 138 (10): 3723–3732, arXiv: 0804.0043 , doi:10.1090/S0002-9939-10-10364-5, MR   2661571
  4. Gordon, C. McA. (1999), "3-dimensional topology up to 1960" (PDF), in James, I. M. (ed.), History of Topology, Amsterdam: North-Holland, pp. 449–489, doi:10.1016/B978-044482375-5/50016-X, MR   1674921 ; see p. 480