モストウの剛性定理

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