双曲多様体

数学において双曲多様体（そうきょくたようたい、英: hyperbolic manifold）とは、すべての点が局所的にはある次元の双曲空間であるように見える空間のことを言う。特に 2 次元および 3 次元において研究され、そのような場合には双曲曲面および双曲3次元多様体とそれぞれ呼ばれる。それらの次元においてこの多様体が重要となる理由として、殆どの多様体は位相同型によって双曲多様体に作り変えることが出来る、という点が挙げられる。これは曲面に対する一意化定理や、ペレルマンによって証明された 3 次元多様体に対する幾何化定理の帰結である。

ファイル:Hyperbolic orthogonal dodecahedral honeycomb.png

双曲3次元多様体 H³ における十二面体的テッセレーションの透視投影。双曲 3 次元多様体の内側にいる人が観測するであろうものの例である。

ファイル:The Pseudosphere.jpg

擬球。この形状の各半面が、境界を含む双曲 2 次元多様体（すなわち、曲面）になっている。

厳密な定義

双曲 [math]n[/math]-多様体は、断面曲率が定数 -1 であるような完全 n-次元リーマン多様体である。

負の定曲率 −1 であるすべての完全、連結、単連結多様体は、実双曲空間 [math]\mathbb{H}^n[/math] と等長である。その結果、負の定曲率 −1 である任意の閉多様体 M の普遍被覆は [math]\mathbb{H}^n[/math] である。したがって、そのようなすべての M は、[math]\mathbb{H}^n[/math] 上の等長写像の捩れのない離散群を Γ とすると、[math]\mathbb{H}^n/\Gamma[/math] と書くことが出来る。すなわち、Γ は [math]SO^+_{1,n}\mathbb{R}[/math] の離散部分群である。多様体の体積が有限であるための必要十分条件は、Γ が束であることである。

その厚薄分解は、閉測地線の管状近傍からなる薄い部分と、ユークリッド n-1-次元多様体と閉半直線の積である厚い部分からなる。多様体の体積が有限であるための必要十分条件は、その厚い部分がコンパクトであることである。

n > 2 に対し、双曲 n-次元多様体の有限体積上の双曲構造は、モストウの剛性定理によって一意であり、したがって幾何的不変性は位相的不変性である。

関連項目

• 双曲3次元多様体
• マルグリスの補題
• 双曲空間
• 双曲化定理
• 正規双曲不変多様体

参考文献

• Kapovich, Michael (2009) [2001], Hyperbolic manifolds and discrete groups, Modern Birkhäuser Classics, Boston, MA: Birkhäuser Boston, doi:10.1007/978-0-8176-4913-5, ISBN 978-0-8176-4912-8, MR 1792613 
• Maclachlan, Colin; Reid, Alan W. (2003), The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics, 219, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98386-8, MR 1937957, http://books.google.com/books?id=yrmT56mpw3kC 
• Ratcliffe, John G. (2006) [1994], Foundations of hyperbolic manifolds, Graduate Texts in Mathematics, 149 (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-0-387-47322-2, ISBN 978-0-387-33197-3, MR 2249478 
• Hyperbolic Voronoi diagrams made easy, Frank Nielsen