Hyperbolic 3-manifolds
(Created page with "<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - Fo...") |
|||
Line 1: | Line 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
{{Stub}} | {{Stub}} | ||
== Introduction == | == Introduction == |
Revision as of 18:53, 1 April 2011
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
1 Introduction
A 3-manifold is hyperbolic if it satisfies the following (equivalent) conditions:
- it admits a complete Riemannian metric of sectional curvature constant -1,
- it admits a Riemannian metric such that its universal covering (with the pull-back metric) is isometric to hyperbolic 3-space ,
- it is homeomorphic to , for some discrete, torsion-free group of isometries of hyperbolic 3-space.
Here, hyperbolic 3-space is the simply connected, complete, Riemannian manifold with sectional curvature constant -1. By Cartans Theorem, is unique up to isometry. There are different models for , like the upper half-space model, the Poincaré disc model or the hyperboloid model.
The ideal boundary can be identified with projective space . Isometries of hyperbolic 3-space act as conformal automorphisms of the ideal boundary. Thus we can identify the isometry group with the group of conformal automorphisms .
The group acts on the hyperboloid model and one can use this action to identify with the index two subgroup of orientation-preserving isometries. The action is transitive and has as a point stabilizer, thus is isometric to the homogeneous space .
The group acts by fractional-linear automorphisms on . This action on uniquely extends to an action on by orientation-preserving isometries. One can use this action to identify with
.
The action is transitive and has as a point stabilizer, thus is isometric to the homogeneous space .
Thus, if is oriented, then there are two more equivalent conditions:
An oriented 3-manifold is hyperbolic if and only if
- it is homeomorphic to for some discrete, torsion-free subgroup ,
-
it is homeomorphic to
for some discrete, torsion-free subgroup .
2 Construction and examples
...
3 Invariants
...
4 Classification/Characterization
...
5 Further discussion
...