hyperbolic manifold
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a hyperbolic manifold is a space where every point looks locally like
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 symme ...
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 In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
can be made into a hyperbolic manifold by a
homeomorphism In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function ...
. This is a consequence of the
uniformization theorem In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generali ...
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 po ...
-1. Every complete, connected, simply-connected manifold of constant negative curvature -1 is isometric 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 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 symme ...
, as each point in hyperbolic space has a neighborhood isometric to hyperbolic space. A simple non-trivial example, however, is the once-punctured 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, including some of the simpler knots such as the figure eight knot and the
Borromean rings In mathematics, the Borromean rings are three simple closed curves in three-dimensional space that are link (knot theory), topologically linked and cannot be separated from each other, but that break apart into two unknotted and unlinked loops wh ...
, are
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 ...
, 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 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.


See also

* Hyperbolic 3-manifold *
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 symme ...
* Hyperbolization theorem * Margulis lemma * Normally hyperbolic invariant manifold


References

* * * {{Manifolds Hyperbolic geometry Manifolds Riemannian manifolds