Hyperbolic metric
   HOME

TheInfoList



OR:

In
mathematics 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 ...
, 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 In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
. This is a consequence of the uniformization theorem for surfaces and the geometrization theorem for 3-manifolds proved by Perelman.


Rigorous Definition

A hyperbolic n-manifold is a complete Riemannian n-manifold of constant
sectional curvature In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a poi ...
-1. Every complete, connected, simply-connected manifold of constant negative curvature -1 is
isometric The term ''isometric'' comes from the Greek for "having equal measurement". isometric may mean: * Cubic crystal system, also called isometric crystal system * Isometre, a rhythmic technique in music. * "Isometric (Intro)", a song by Madeon from ...
to the real hyperbolic space \mathbb^n. As a result, the universal cover of any closed manifold M of constant negative curvature -1 is \mathbb^n. Thus, every such M can be written as \mathbb^n/\Gamma where \Gamma is a torsion-free discrete group of isometries on \mathbb^n. That is, \Gamma is a discrete subgroup of \mathrm^+_\mathbb. The manifold has finite volume if and only if \Gamma is a lattice. Its thick–thin decomposition has a thin part consisting of tubular neighborhoods of closed geodesics and ends which are the product of a Euclidean (n-1)-manifold and the closed half-ray. The manifold is of finite volume if and only if its thick part is compact.


Examples

The simplest example of a hyperbolic manifold is hyperbolic space, as each point in hyperbolic space has a neighborhood isometric to hyperbolic space. A simple non-trivial example, however, is the
once-punctured In topology, puncturing a manifold is removing a finite set of point (topology), points from that manifold. The set of points can be small as a single point. In this case, the manifold is known as once-punctured. With the removal of a second point ...
torus. This is an example of an (Isom(\mathbb^2), \mathbb^2)-manifold. This can be formed by taking an ideal rectangle in \mathbb^2 – that is, a rectangle where the vertices are on the boundary at infinity, and thus don't exist in the resulting manifold – and identifying opposite images. In a similar fashion, we can construct the thrice-punctured sphere, shown below, by gluing two ideal triangles together. This also shows how to draw curves on the surface – the black line in the diagram becomes the closed curve when the green edges are glued together. As we are working with a punctured sphere, the colored circles in the surface – including their boundaries – are not part of the surface, and hence are represented in the diagram as ideal vertices. Many
knots and links A knot is a fastening in rope or interwoven lines. Knot may also refer to: Places * Knot, Nancowry, a village in India Archaeology * Knot of Isis (tyet), symbol of welfare/life. * Minoan snake goddess figurines#Sacral knot Arts, entertainme ...
, including some of the simpler knots such as the figure eight knot and the Borromean rings, are hyperbolic, and so the complement of the knot or link in S^3 is a hyperbolic 3-manifold of finite volume.


Important Results

For n>2 the hyperbolic structure on a ''finite volume'' hyperbolic n-manifold is unique by Mostow rigidity and so geometric invariants are in fact topological invariants. One of these geometric invariants used as a topological invariant is the
hyperbolic volume 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 inv ...
of a knot or link complement, which can allow us to distinguish two knots from each other by studying the geometry of their respective manifolds. We can also ask what the area of the boundary of the knot complement is. As there is a relationship between the volume of a knot complement and the volume of the complement under
Dehn filling 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 hyperb ...
, we can use the area of the boundary to inform us of how the volume might change under such a filling.


See also

* Hyperbolic 3-manifold * Hyperbolic space *
Hyperbolization theorem In geometry, Thurston's geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifolds are hyperbolic, and in particular satisfy the Thurston conjecture. Statement One form of Thurston's geometrization theore ...
* Margulis lemma *
Normally hyperbolic invariant manifold A normally hyperbolic invariant manifold (NHIM) is a natural generalization of a hyperbolic fixed point and a hyperbolic set. The difference can be described heuristically as follows: For a manifold \Lambda to be normally hyperbolic we are allo ...


References

* * * {{Manifolds Hyperbolic geometry Manifolds Riemannian manifolds