Mostow rigidity theorem

Mostow rigidity theorem 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 {displaystyle n} -manifold (for {displaystyle n>2} ) is a point, for a hyperbolic surface of genus {displaystyle g>1} there is a moduli space of dimension {displaystyle 6g-6} 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.

Contents 1 The theorem 1.1 Geometric form 1.2 Algebraic form 1.3 In greater generality 2 Applications 3 See also 4 References The theorem 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).

Geometric form Let {displaystyle mathbb {H} ^{n}} be the {displaystyle n} -dimensional hyperbolic space. A complete hyperbolic manifold can be defined as a quotient of {displaystyle mathbb {H} ^{n}} 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: Suppose {displaystyle M} and {displaystyle N} are complete finite-volume hyperbolic manifolds of dimension {displaystyle ngeq 3} . If there exists an isomorphism {displaystyle fcolon pi _{1}(M)to pi _{1}(N)} then it is induced by a unique isometry from {displaystyle M} to {displaystyle N} .

Here {displaystyle pi _{1}(X)} is the fundamental group of a manifold {displaystyle X} . If {displaystyle X} is an hyperbolic manifold obtained as the quotient of {displaystyle mathbb {H} ^{n}} by a group {displaystyle Gamma } then {displaystyle pi _{1}(X)cong Gamma } .

An equivalent statement is that any homotopy equivalence from {displaystyle M} to {displaystyle N} can be homotoped to a unique isometry. The proof actually shows that if {displaystyle N} has greater dimension than {displaystyle M} then there can be no homotopy equivalence between them.

Algebraic form The group of isometries of hyperbolic space {displaystyle mathbb {H} ^{n}} can be identified with the Lie group {displaystyle mathrm {PO} (n,1)} (the projective orthogonal group of a quadratic form of signature {displaystyle (n,1)} . Then the following statement is equivalent to the one above.

Let {displaystyle ngeq 3} and {displaystyle Gamma } and {displaystyle Lambda } be two lattices in {displaystyle mathrm {PO} (n,1)} and suppose that there is a group isomorphism {displaystyle fcolon Gamma to Lambda } . Then {displaystyle Gamma } and {displaystyle Lambda } are conjugate in {displaystyle mathrm {PO} (n,1)} . That is, there exists a {displaystyle gin mathrm {PO} (n,1)} such that {displaystyle Lambda =gGamma g^{-1}} . In greater generality Mostow rigidity holds (in its geometric formulation) more generally for fundamental groups of all complete, finite volume locally symmetric spaces of dimension at least 3, or in its algebraic formulation for all lattices in simple Lie groups not locally isomorphic to {displaystyle mathrm {SL} _{2}(mathbb {R} )} .

Applications 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 {displaystyle operatorname {Out} (pi _{1}(M))} .

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.

See also Superrigidity, a stronger result for higher-rank spaces Local rigidity, a result about deformations that are not necessarily lattices. References Besson, Gérard; Courtois, Gilles; Gallot, Sylvestre (1996), "Minimal entropy and Mostow's rigidity theorems", Ergodic Theory and Dynamical Systems, 16 (4): 623–649, doi:10.1017/S0143385700009019 Gromov, Michael (1981), "Hyperbolic manifolds (according to Thurston and Jørgensen)", Bourbaki Seminar, Vol. 1979/80 (PDF), Lecture Notes in Math., vol. 842, Berlin, New York: Springer-Verlag, pp. 40–53, doi:10.1007/BFb0089927, ISBN 978-3-540-10292-2, MR 0636516, archived from the original on 2016-01-10 Marden, Albert (1974), "The geometry of finitely generated kleinian groups", Annals of Mathematics, Second Series, 99 (3): 383–462, doi:10.2307/1971059, ISSN 0003-486X, JSTOR 1971059, MR 0349992, Zbl 0282.30014 Mostow, G. D. (1968), "Quasi-conformal mappings in n-space and the rigidity of the hyperbolic space forms", Publ. Math. IHES, 34: 53–104, doi:10.1007/bf02684590 Mostow, G. D. (1973), Strong rigidity of locally symmetric spaces, Annals of mathematics studies, vol. 78, Princeton University Press, ISBN 978-0-691-08136-6, MR 0385004 Prasad, Gopal (1973), "Strong rigidity of Q-rank 1 lattices", Inventiones Mathematicae, 21 (4): 255–286, doi:10.1007/BF01418789, ISSN 0020-9910, MR 0385005 Spatzier, R. J. (1995), "Harmonic Analysis in Rigidity Theory", in Petersen, Karl E.; Salama, Ibrahim A. (eds.), Ergodic Theory and its Connection with Harmonic Analysis, Proceedings of the 1993 Alexandria Conference, Cambridge University Press, pp. 153–205, ISBN 0-521-45999-0. (Provides a survey of a large variety of rigidity theorems, including those concerning Lie groups, algebraic groups and dynamics of flows. Includes 230 references.) Thurston, William (1978–1981), The geometry and topology of 3-manifolds, Princeton lecture notes. (Gives two proofs: one similar to Mostow's original proof, and another based on the Gromov norm) Categories: Hyperbolic geometryDifferential geometryTheorems in geometry