In the

mathematical Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

field of

knot theory 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 ...

, the hyperbolic volume of a hyperbolic link is the volume of the link's

complement A complement is something that completes something else. Complement may refer specifically to: The arts * Complement (music), an interval that, when added to another, spans an octave ** Aggregate complementation, the separation of pitch-clas ...

with respect to its complete hyperbolic metric. The volume is necessarily a finite real number, and is a

topological invariant In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological space ...

of the link. As a link invariant, it was first studied by

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

in connection with his

geometrization conjecture 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-dimens ...

Knot and link invariant

A hyperbolic link is a link in the

3-sphere In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensio ...

whose

(the space formed by removing the link from the 3-sphere) can be given a complete

Riemannian metric In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space '' ...

of constant negative

curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...

, giving it the structure of a

hyperbolic 3-manifold 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 ...

, a quotient of

hyperbolic space In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. The ...

by a group acting freely and discontinuously on it. The components of the link will become cusps of the 3-manifold, and the manifold itself will have finite volume. By

Mostow rigidity Mostow may refer to: People * George Mostow (1923–2017), American mathematician ** Mostow rigidity theorem * Jonathan Mostow Jonathan Mostow (born November 28, 1961) is an American film director, screenwriter, and producer. He has directed f ...

, when a link complement has a hyperbolic structure, this structure is uniquely determined, and any geometric invariants of the structure are also topological invariants of the link. In particular, the hyperbolic volume of the complement is a

knot invariant In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some ...

. In order to make it well-defined for all knots or links, the hyperbolic volume of a non-hyperbolic knot or link is often defined to be zero. There are only finitely many hyperbolic knots for any given volume. A

mutation In biology, a mutation is an alteration in the nucleic acid sequence of the genome of an organism, virus, or extrachromosomal DNA. Viral genomes contain either DNA or RNA. Mutations result from errors during DNA or viral replication, m ...

of a hyperbolic knot will have the same volume, so it is possible to concoct examples with equal volumes; indeed, there are arbitrarily large finite sets of distinct knots with equal volumes.. In practice, hyperbolic volume has proven very effective in distinguishing knots, utilized in some of the extensive efforts at knot tabulation. Jeffrey Weeks's computer program

SnapPea SnapPea is free software designed to help mathematicians, in particular low-dimensional topologists, study hyperbolic 3-manifolds. The primary developer is Jeffrey Weeks, who created the first version as part of his doctoral thesis, supervised ...

is the ubiquitous tool used to compute hyperbolic volume of a link..

Arbitrary manifolds

More generally, the hyperbolic volume may be defined for any

. The Weeks manifold has the smallest possible volume of any closed manifold (a manifold that, unlike link complements, has no cusps); its volume is approximately 0.9427. Thurston and Jørgensen proved that the set of real numbers that are hyperbolic volumes of 3-manifolds is

well-ordered In mathematics, a well-order (or well-ordering or well-order relation) on a set ''S'' is a total order on ''S'' with the property that every non-empty subset of ''S'' has a least element in this ordering. The set ''S'' together with the well-or ...

, with

order type In mathematics, especially in set theory, two ordered sets and are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element pairs with exactly one in the other set) f\colon X \to Y suc ...

. The smallest

limit point In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contai ...

in this set of volumes is given by the

knot complement In mathematics, the knot complement of a tame knot ''K'' is the space where the knot is not. If a knot is embedded in the 3-sphere, then the complement is the 3-sphere minus the space near the knot. To make this precise, suppose that ''K'' is a ...

of the

figure-eight knot The figure-eight knot or figure-of-eight knot is a type of stopper knot. It is very important in both sailing and rock climbing as a method of stopping ropes from running out of retaining devices. Like the overhand knot, which will jam under st ...

, and the smallest limit point of limit points is given by the complement of the

Whitehead link 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. Structure A common way ...

References

External links

* {{DEFAULTSORT:Hyperbolic Volume (Knot) Knot theory Hyperbolic geometry Knot invariants