In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a complete, finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique. The theorem was proven for closed manifolds by Mostow ( 1968 ) and extended to finite volume manifolds by Marden (1974) in 3 dimensions, and by Prasad ( 1973 ) in all dimensions at least 3. Gromov (1981) gave an alternate proof using the Gromov norm. Besson, Courtois & Gallot (1996) gave the simplest available proof.
While the theorem shows that the deformation space of (complete) hyperbolic structures on a finite volume hyperbolic -manifold (for ) is a point, for a hyperbolic surface of genus there is a moduli space of dimension that parameterizes all metrics of constant curvature (up to diffeomorphism), a fact essential for Teichmüller theory. There is also a rich theory of deformation spaces of hyperbolic structures on infinite volume manifolds in three dimensions.
The theorem can be given in a geometric formulation (pertaining to finite-volume, complete manifolds), and in an algebraic formulation (pertaining to lattices in Lie groups).
Let be the -dimensional hyperbolic space. A complete hyperbolic manifold can be defined as a quotient of by a group of isometries acting freely and properly discontinuously (it is equivalent to define it as a Riemannian manifold with sectional curvature -1 which is complete). It is of finite volume if the integral of a volume form is finite (which is the case, for example, if it is compact). The Mostow rigidity theorem may be stated as:
Here is the fundamental group of a manifold . If is an hyperbolic manifold obtained as the quotient of by a group then .
An equivalent statement is that any homotopy equivalence from to can be homotoped to a unique isometry. The proof actually shows that if has greater dimension than then there can be no homotopy equivalence between them.
The group of isometries of hyperbolic space can be identified with the Lie group (the projective orthogonal group of a quadratic form of signature . Then the following statement is equivalent to the one above.
Mostow rigidity holds (in its geometric formulation) more generally for fundamental groups of all complete, finite volume, non-positively curved (without Euclidean factors) locally symmetric spaces of dimension at least three, or in its algebraic formulation for all lattices in simple Lie groups not locally isomorphic to .
It follows from the Mostow rigidity theorem that the group of isometries of a finite-volume hyperbolic n-manifold M (for n>2) is finite and isomorphic to .
Mostow rigidity was also used by Thurston to prove the uniqueness of circle packing representations of triangulated planar graphs [ citation needed ].
A consequence of Mostow rigidity of interest in geometric group theory is that there exist hyperbolic groups which are quasi-isometric but not commensurable to each other.
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. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example would be invertible 2 × 2 integer matrices of determinant 1, in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.
In mathematics, an arithmetic group is a group obtained as the integer points of an algebraic group, for example They arise naturally in the study of arithmetic properties of quadratic forms and other classical topics in number theory. They also give rise to very interesting examples of Riemannian manifolds and hence are objects of interest in differential geometry and topology. Finally, these two topics join in the theory of automorphic forms which is fundamental in modern number theory.
In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean 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 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.
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 Teichmüller space of a (real) topological surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.
In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a word hyperbolic group or Gromov hyperbolic group, is a finitely generated group equipped with a word metric satisfying certain properties abstracted from classical hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by Mikhail Gromov (1987). The inspiration came from various existing mathematical theories: hyperbolic geometry but also low-dimensional topology, and combinatorial group theory. In a very influential chapter from 1987, Gromov proposed a wide-ranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others.
In differential geometry, the Margulis lemma is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifold. Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated. More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup.
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.
In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rn, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.
In mathematics, specifically in group theory, two groups are commensurable if they differ only by a finite amount, in a precise sense. The commensurator of a subgroup is another subgroup, related to the normalizer.
In the mathematical field of topology, a manifold M is called topologically rigid if every manifold homotopically equivalent to M is also homeomorphic to M.
In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a -structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.
Local rigidity theorems in the theory of discrete subgroups of Lie groups are results which show that small deformations of certain such subgroups are always trivial. It is different from Mostow rigidity and weaker than superrigidity.
Arithmetic Fuchsian groups are a special class of Fuchsian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. The prototypical example of an arithmetic Fuchsian group is the modular group . They, and the hyperbolic surface associated to their action on the hyperbolic plane often exhibit particularly regular behaviour among Fuchsian groups and hyperbolic surfaces.
In Lie theory, an area of mathematics, the Kazhdan–Margulis theorem is a statement asserting that a discrete subgroup in semisimple Lie groups cannot be too dense in the group. More precisely, in any such Lie group there is a uniform neighbourhood of the identity element such that every lattice in the group has a conjugate whose intersection with this neighbourhood contains only the identity. This result was proven in the sixties by David Kazhdan and Grigory Margulis.
In the mathematical subject of geometric group theory, the Švarc–Milnor lemma is a statement which says that a group , equipped with a "nice" discrete isometric action on a metric space , is quasi-isometric to .
In the mathematical subject of group theory, a co-Hopfian group is a group that is not isomorphic to any of its proper subgroups. The notion is dual to that of a Hopfian group, named after Heinz Hopf.
In mathematics, a Cannon–Thurston map is any of a number of continuous group-equivariant maps between the boundaries of two hyperbolic metric spaces extending a discrete isometric actions of the group on those spaces.