モストウの剛性定理

数学において、モストウの剛性定理(Mostow's rigidity theorem)、あるいは強剛性定理(strong rigidity theorem)、モストウ・パラサードの剛性定理(Mostow–Prasad rigidity theorem)は、次元が 3 以上の有限体積の双曲多様体は、その基本群により決定され、従って一意となるという定理である。定理は閉多様体に対して year= 1968 で証明され、3次元の有限体積の双曲多様体に対しては 1974 で、少くとも次元が 3 以上である多様体に対しては year=1973 で拡張された。1981 は、Gromov norm(Gromov norm)を使い、別な証明を与えた。
は、密接に関連する定理を証明した。特に、この定理は少くとも次元 3以上の双曲空間のアイソトピック群の余コンパクト離散群は、非自明な変形を持たないことを意味する。
モストウの剛性定理は ( n > 2 に対し) 有限体積を持つ双曲 n-次元多様体の変形空間が、一点であることを示している。また、種数が g > 1 である双曲曲面に対して、次元 6g − 6 のモジュライ空間が存在し、（微分同相を同一視した）定曲率な計量をパラメトライズする。（このことはTeichmüller theory(Teichmüller theory)において重要な事実である。）3次元では、hyperbolic Dehn surgery(hyperbolic Dehn surgery)定理と呼ばれるウィリアム・サーストンの「非剛性」定理が存在する。この定理は、同相写像の型が許される限りの有限体積の多様体上の双曲構造を変形することから帰結する。加えて、「無限」体積の多様体上の双曲構造の変形空間の豊かな理論も存在する。

**定理**
定理は、幾何学的定式化と、代数的定式化がある。

**幾何学的な形**
モストウの剛性定理は次のように言うことができる。
n > 2 とし M と N を完備な有限体積の双曲 n-次元多様体とする。同型 ƒ : π1(M) → π1(N) が存在すると、この同型は M から N への一意なアイソトロピック写像により引き起こされる。ここに、π1(M) は多様体 M の基本群である。
剛性定理の別のバージョンは、M から N への任意のホモトピー同値は一意なアイソトロピック写像にホモトピックとすることができるというバージョンである。証明は、実際、N が M より大きな次元であると、それらの間のホモトピー同値は存在しないことから導かれる。

**代数的な形**
幾何学的な形と同値な定式化として、
n > 2  とし、 H を双曲 n-次元空間とする。Γ と Δ を商 H/Γ と H/Δ が有限体積を持つような H のアイソメトリック群の離散部分群(discrete subgroup)とすると、Γ と Δ は離散群として同型であれば、それらは共役である。

**応用**
（ n > 2 に対し）有限体積の双曲 n-次元多様体 M のアイソトロピック同型群は有限群で、Out(π1(M)) に同型である。
モストウの剛性定理は、サーストン(Thurston)の三角平面グラフのcircle packing theorem(circle packing representations)の一意性の証明にも使われた。

**参考文献**
Citation | last1=Gromov | first1=Michael | title=Bourbaki Seminar, Vol. 1979/80 | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Math. | isbn=978-3-540-10292-2  
pages=40–53
*Citation | last1=Marden | first1=Albert | title=The geometry of finitely generated kleinian groups | jstor=1971059 | mr=0349992 | zbl = 0282.30014 | year=1974 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=99 | pages=383–462- G. D. Mostow,  Quasi-conformal mappings in n-space and the rigidity of the hyperbolic space forms, Publ. Math. IHES 34 (1968) 53–104.
*Citation | last1=Mostow | first1=G. D. | title=Strong rigidity of locally symmetric spaces | url=https://books.google.co.jp/books?id=xT0SFmrFrWoC&redir_esc=y&hl=ja | publisher=Princeton University Press | series=Annals of mathematics studies | isbn=978-0-691-08136-6 | mr=0385004 | year=1973 | volume=78
*Citation | last1=Prasad | first1=Gopal | title=Strong rigidity of Q-rank 1 lattices | doi=10.1007/BF01418789 | mr=0385005 | year=1973 | journal=Inventiones Mathematicae | issn=0020-9910 | volume=21 | pages=255–286- R. J. Spatzier, Harmonic Analysis in Rigidity Theory, (1993) pp. 153–205, appearing in Ergodic Theory and its Connection with Harmonic Analysis, Proceedings of the 1993 Alexandria Conference, Karl. E. Petersen, Ibrahim A. Salama, eds. Cambridge University Press (1995) 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.)
*William Thurston,  The geometry and topology of 3-manifolds, Princeton lecture notes (1978–1981).  (Gives two proofs: one similar to Mostow's original proof, and another based on the Gromov norm)
*Citation | last1=Weil | first1=André | author1-link=André Weil | title=On discrete subgroups of Lie groups | jstor=1970140 | mr=0137792 | year=1960 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=72 | pages=369–384
*Citation | last1=Weil | first1=André | author1-link=André Weil | title=On discrete subgroups of Lie groups. II | jstor=1970212 | mr=0137793 | year=1962 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=75 | pages=578–602