幾何化予想のソースを表示

{{要改訳}}
'''幾何化予想'''（きかかよそう、{{lang-en-short|geometrization conjecture}}）は、1982年に[[アメリカ合衆国|アメリカ]]の[[数学者]][[ウィリアム・サーストン]]によって提出された「[[コンパクト空間|コンパクト]]3[[次元]][[多様体]]は、[[幾何構造]]を持つ8つの部分多様体に分解される」という[[命題]]。[[位相幾何学]]と[[微分幾何学]]を結びつけるものであり[[ミレニアム懸賞問題]]にも挙げられていた[[ポアンカレ予想|ポアンカレの予想問題]]の解法の過程として思いつかれた。[[2003年]]、[[グリゴリー・ペレルマン]]による[[リッチフロー]]を用いた[[証明 (数学)|証明]]が示され、現在ではその証明が基本的に正しいものとされている。これにより、およそ100年にわたり未解決だった[[ポアンカレ予想|3次元ポアンカレ予想]]が証明されることになった。

== 概説 ==
[[2次元]]多様体では3種類の幾何構造（[[ユークリッド幾何学|ユークリッド構造]]、[[双曲幾何学|ロバチェフスキー構造]]、[[楕円幾何学|リーマン構造]]）が考えられ、全ての2次元多様体はこの内1つを自然な幾何構造として持つというのは良く知られた事実であった<ref>[[ベルンハルト・リーマン]]の考察を受け[[1907年]]、[[アンリ・ポアンカレ]]と[[パウル・ケーベ]]がそれぞれ独立に証明。</ref>が3次元多様体は自由度が高すぎるため一般には自然な幾何構造は持たせることはできないと考えられていた（実際これは正しい）。

これに対し[[ウィリアム・サーストン]]は3次元の多様体上の自然な幾何構造というものを新たに[[定義]]しそれに基づけば8種類の幾何構造を考えられることを示した。これらには2次元にも存在する3種類の幾何構造と2次元の[[円筒]]に対応する[[球面]]及び[[双曲面]]と[[線分]]の[[積空間]]のもつ構造（[[円周]]と線分の積空間である2次元多様体、円筒は2次元ユークリッド構造をもつ。また、[[平面]]と線分の積空間は3次元ユークリッド構造を持つ）、及び2次の実特殊線形群(双曲平面の変換群）の普遍[[被覆空間]]（なお、球面の変換群の普遍被覆空間は3次元球面）及びニル (Nil) とソル (Sol) と呼ばれる、合わせて3つの、2次元と[[1次元]]の多様体の単純な積では構成できない特殊な幾何構造がある。サーストンの幾何化予想とは全ての3次元多様体はこれらのいずれかの幾何構造を持つ幾つかの部分多様体に分解できるというものである<ref>全ての3次元多様体が幾つかの素な多様体に分解できることは[[1929年]]に[[ヘルムート・クネーザー]]により証明されていた。</ref>。

== 微分幾何学からのアプローチ ==
この予想の解決に大きな役割を担ったのは[[リチャード・S・ハミルトン]]が導入した[[リッチフロー]]という[[偏微分方程式]]である。これはもともとハミルトンが[[熱伝導]]を記述するために考案したものだが[[シン＝トゥン・ヤウ]]が幾何化予想解決につながると考えハミルトンに研究を促したもので、[[19世紀]]の数学者[[グレゴリオ・リッチ＝クルバストロ]]の名を冠するのは彼が自分の弟子の[[トゥーリオ・レヴィ＝チヴィタ]]と共に書いた論文で導入したことに由来する、リッチフローは以後数学のみならず[[物理学]]まで広く使われることになる[[テンソル]]の概念を基盤としている。

リッチフローは前述の通りもともと熱伝導を表すものである。ハミルトンとヤウのアイディアはこれを用いて多様体の[[曲率]]を表そうというものである。しかし曲率は熱と比べて非常に複雑な対象である<ref>熱は[[スカラー量]]だが曲率は[[行列]]で表される。</ref>。ハミルトンはどんな滑らかな多様体でもリッチフローを持つことを証明した<ref>曲率は滑らかな多様体上でしか定義できないのでは滑らかでない多様体ではそもそもリッチフローを考えることができない。ただしどんな多様体にもそれと同相な滑らかな多様体が存在することが示されているため滑らかな多様体だけ考えても差し支えない。この事実は[[エドウィン・モイーズ]]、[[アーエイチ・ビング]]、[[ピーター・シェーレン]]らによって証明された。3人ともポアンカレ予想を解決しようとして結局それがかなわなかった数学者である。</ref>。

しかし、リッチフローには特異点という計算不可能な点を産み出すことがあるという問題があった（＝リッチフローの特異点問題）。ハミルトンは解決を試み幾つかの特異点を消すことに成功はしたものの、最終的な解決は[[グリゴリー・ペレルマン]]を待つことになる。
{{Main|ポアンカレ予想}}
<!--
== 8種類の幾何構造 ==
*[[球面幾何学|球面幾何]]'''S'''<sup>3</sup>：断面曲率が1で一定の計量をもつ。
:例：3次元[[球面]]S<sup>3</sup>、[[レンズ空間]]
*[[ユークリッド幾何]]'''R'''<sup>3</sup>：断面曲率が0で一定の計量をもつ。
:例：3次元[[トーラス]]S<sup>1</sup>×S<sup>1</sup>×S<sup>1</sup>
*[[双曲幾何学|双曲幾何]]'''H'''<sup>3</sup>：断面曲率が-1で一定の計量をもつ。
:例：双曲曲面の擬アノソフ写像による円周上の[[ファイバー束|束]]
*'''S'''<sup>2</sup>×'''R'''
:例：S<sup>2</sup>×S<sup>1</sup>
*'''H'''<sup>2</sup>×'''R'''
:例：双曲曲面と円周の直積
*[[特殊線形群|SL(2,'''R''')]]の[[被覆空間|普遍被覆]]の幾何
:例：双曲曲面上の非自明な円周[[ファイバー束|束]]
*冪零幾何(ニル)：ハイゼンベルク群に基づく。
:例：[[トーラス]]上の非自明な円周束
*[[可解群|可解]]幾何(ソル)
:例：トーラスの{{仮リンク|アノソフ写像|en|Anosov diffeomorphism}}による円周上の束
-->
== 幾何化予想の概要 ==
'''幾何化予想'''(geometrization conjecture)は、[[ウィリアム・サーストン]](William Thurston)により、[[閉多様体|閉]](closed) 3-次元多様体の分類のプログラムとして、1980年に提案された。幾何化の目的は、3-次元多様体を基本的なブロックに分解し、一つ一つのブロックでの幾何学的構造を特定できるような分解を見つけるプログラムであり、「常に基本ブロックへの分解が可能であろう」という予想を、サーストンの幾何化予想という。また、幾何化予想は、[[ポアンカレ予想]]の一般化となっており、[[グリゴリー・ペレルマン]](Grigory Yakovlevich Perelman)により、[[リッチフロー]]を使ったポアンカレ予想の証明の際にも使用された。

== 3-次元多様体 ==
3-次元多様体（もしくは、短く 3-多様体）は、局所的に 3次元の写像により記述される、つまり、小さな領域では通常の 3次元ユークリッド空間となるような[[位相空間]]のことを言う。しかし、3次元多様体の全体を、3次元空間の部分集合と考えることは一般にはできない。このことは 2次元で考えると明らかである。2次元の{{仮リンク|位相球面|label=球面|en|topological sphere}}(sphere)（つまり、曲面）は、局所的には 2次元の写像により拡張することができる（通常の[[地図]]もそのような平面のひとつである）。しかし、一度に 2次元のユークリッド平面上に、2-球面の全体を表すことはできない。この 2次元の例の 3次元での写像の類似物が（多様体を被覆する各々の開近傍どうしの交わり上の）'''座標変換'''であり、3次元多様体全体を決定する。

座標変換が可能（座標変換は[[連続]]であったり、[[微分可能]]であったり、無限回微分可能であったりする）か否かが、より高次元では問題となるが、次元 3 のときは該当せず、3-次元多様体の特別な性質を持っていると言える。詳しくは、数学的には各々の[[位相多様体|3-次元位相多様体]](topological 3-manifold)の上には、一つの微分可能構造を持つ 3-次元多様体でしかあり得ないということ言うことができる。また、3-次元多様体の研究で、トポロジーの方法と[[微分幾何学]]の方法は組み合わせることができる。これを扱う分野は、（統一されて）'''3-次元幾何学、3-次元トポロジー'''と呼ばれる。

3-次元幾何学とトポロジーの目的は、閉じた（つまり、境界のない）3-次元多様体全体の分類し理解することである。2-次元多様体の場合と比較して、閉 3-次元多様体の数は非常に多いので、この問題は難しい。

[[ウィリアム・サーストン]]による幾何化予想（幾何化プログラム）の提案は、3-次元多様体をうまく分解して、各々の部分が固有な幾何学を持ち、固有の幾何学はこの各々の部分のトポロジカルな構造を特徴付けることにより、上記の分類を導くという提案である。

== 基本モデルへの分解 ==
まず、3-次元多様体の基本モデルへの分解は、埋め込まれている 2-次元球面に沿って 2つの成分へと切り開くことである。結果として現れる縁(edge)は 2-球面 (two spheres) であり、ここで各々を一つの 3-球体へ貼り合わせ、再び各々の成分が境界を持たないようにする。

この 2-球面に沿った分解を通し、'''既約'''な成分へと到達することができる。 このことは、全ての埋め込まれた 2-球面は、一つの 3-球体の縁であり、従って、さらに分解すると加えられていた <math>S^3</math> を次々と省略できることを意味する。既約成分への分解は、加えられる <math>S^3</math> や加える順序は一意に決まることを示すことができる。

<math>S^2\times S^1</math> の形をした規約成分が有限群である[[基本群]]を持つと、この成分はこれ以上には分解されない．他の成分は、全てが一意的に{{仮リンク|アトロイダル|en|atoroidal}}(atoroidal)<ref>{{Anchors|アトロイダル}}アトロイダルな 3-多様体(atroidal 3-manifold)：アトロイダルな 3-多様体とは、トーラスをもともと含まない 3-多様体をいう。用語には 2つの主要な用法があり、ひとつは、トーラスを境界のない収縮できない状態で埋め込むことができる場合をいうときと、代数的に基本群の部分群 <math>\mathbb{Z}\times\mathbb{Z}</math> として定義する場合がある。[[基本群]]の部分群というときには、周辺部分群（つまり、境界要素の包含関係による基本群の写像の像としての群）と共役でないものとする。用語は標準的ではなく、著者によりアトロイダルな 3-多様体が満足すべき条件が異なる場合がある。</ref>となるか、または{{仮リンク|ザイフェルトファイバー空間|label=ザイフェルトファイバー|en|Seifert fiber space}}(Seifert fibered)多様体<ref>{{Anchors|ザイフェルトファイバー空間}}ザイフェルトファイバー空間(Seifert fiber space)：ザイフェルトファイバー空間は、共通部分を持たない複数の円の合併として分解する 3-多様体をいう。言い換えると、ザイフェルトファイバー空間は、2-次元のオービフォールド上の <math>S^1</math>-バンドル（円バンドル）である。多くの「ちいさな」3-多様体は、ザイフェルトファイバー空間であり、サーストン幾何化予想の 8つの基本幾何学のうちの 6つに対応するコンパクトな向きつけ可能多様体である。</ref>になるまで、トーラスに沿って分解することができる。この分解をジャコ・シャーレン・ヨハンソン分解<ref>{{Anchors|JSJ分解}}JSJ分解：トーラスにそった分解で、方法は次のようになる。 

:既約な向きつけ可能な閉じた（コンパクトで境界をもたない）3-多様体は、一意に（ホモトピー同値を除き）共通部分を持たない収縮できないトーラス最初の集まりへ分解する。つまり、3-多様体の各々の成分は、トーラスに沿ってカットすることで[[#アトロイダル|アトロイダル]]な 3-多様体かまたは、[[#ザイフェルトファイバー空間|ザイフェルト多様体]]へ分解する。</ref>、短くは'''{{仮リンク|JSJ分解|en|JSJ decomposition}}'''(JSJ decomposition)と言う。

この方法により、分解を逆にたどると（'''[[連結和]]'''(connected sum)<ref>[[Image:Connected sum.svg|right|thumb|320px|連結和の図]]
{{Anchors|連結和}}連結和(connected sum)：多様体の変形の方法で、2つの多様体が与えられたとき、互いを選択した点でつなぎ合わせることをいう。この構成は、[[曲面#閉曲面の分類|閉曲面の分類]]で重要な役割を果たす。（[[曲面#曲面の連結和|曲面の連結和]]を参照）

このことを一般化して、右図のように同一な部分多様体に沿って多様体を張り合わせることができる。この一般化は'''ファイバー和'''とも呼ばれる。'''結び目和'''や結び目の合成と呼ばれる[[結び目理論|結び目]]の連結和の考え方とも密接に関係する。</ref>とトーラスを貼り付けることにより）、全ての 3次元多様体を再び得ることができる。従って、3次元多様体の分類は、JSJ分解の基本ブロックを理解すれは十分であることがわかる。すなわち、'''既約'''多様体は、有限群を基本群としてもつもの、'''ザイフェルトファイバー空間'''と'''アトロイダル'''(atoroidal)な多様体である。

== 幾何学的モデル ==
サーストンの言う「基本モデル」の意味は、どの点をとってもその近傍は同じ幾何学構造をもっている抽象的な空間（基本成分）を意味し、[[位相幾何学|トポロジー]]はできるだけ簡単な形とすることでもある。詳しくは、[[完備距離空間|完備]]で[[単連結]]な[[リーマン多様体]] <math>X</math> で、'''[[等長写像]]''' <math>\mathcal{G} = \mathrm {Isom}(X)</math> を持っている。今述べた[[閉多様体]](closed manifold)の幾何学は、さらにすくなくともこの幾何学を持ったコンパクト多様体であること、すなわち、部分群 <math>H\subset\mathcal{G}</math> が存在し、<math>X/H</math> がコンパクトであることが要求される。

=== ２次元モデル ===
{{main|規格化定理}}<!--この一行は独語の原文にはない-->
2次元では、そのような幾何学的モデルは、3つのモデルへと分類される。一つは、ユークリッド平面 <math>\mathbb{R}^2</math> (コンパクトな商空間としては、2-[[トーラス]]である）。第二番目は、2次元[[球面]] <math>S^2</math> であり、2次元球面はコンパクトである。[[双曲幾何学|双曲平面]] <math>\mathbb{H}^2</math> が、第三番目の幾何学的モデルである。全ての[[種数]] <math>g\ge2</math> の曲面は、双曲曲面のコンパクトな商空間として表すことができる。

ところで、これらの空間はどこでも同じように見えるとすると、全ての点で等しく曲がっている必要がある。2次元では、[[曲率]]（つまり[[スカラー曲率]]、もしくはガウス曲率）が一つしかないので、（スケーリングを除き）定数スカラー曲率により分類すると、2次元のモデルの幾何学は、 0, 1, -1 の 3つ以外には存在しないことがわかる。

=== 3次元モデル ===
2次元で曲率で分類できたことと同様に、3次元では、それぞれ、定数（0, 1 正, -1 負）の[[断面曲率]]を持つことに対応するモデルが、下記のように存在する。
*[[ユークリッド空間]] <math>\mathbb{R}^3</math>
*3-球面 <math>S^3</math> (4次元球体の表面)
*[[双曲幾何学|双曲空間]] <math>\mathbb{H}^3</math>

=== 積の幾何学 ===
しかし、以上の分類に加え、3次元の場合の幾何学モデルは他にも存在する。この理由は、スカラーだけでは局所領域での形や平面上の点での曲率を決定できず、曲率がその点での平面通過方向へ依存するからである。すなわち、このことを説明するには、別の 3次元モデル
*2-球面と直線との積 <math>S^2 \times \mathbb{R}</math>
を考える必要があるからである。

この空間は 3次元ユークリッド空間の中では表現することができないが、次のように想像することは可能である。3次元空間は、玉ねぎのように増加する半径を持つネストした 2-球面である。ここでネストした球面の半径が増加せず、内側や外側へいっても半径が定数 1 であることを想像すると、求める空間が得られる。代わりに、2球面が途切れることなく直線に沿って並んでいると想像することも可能である。

この空間の中では、球面上を経線や緯線に沿った方向にも動くことができるし、それらとは垂直に直線方向へも移動することができる。球の接平面方向の曲率は 1 であるが、直線方向の平面の曲率は 0 である。

双曲平面と直線の積についても同じ構造であることがわかる。
* <math>\mathbb{H}^2 \times \mathbb{R}</math>
ここでは、考えている方向に対して、曲率が -1 と 0 である。

2つのモデルの積の計量は、'''等質的'''(homogeneous)であるが、'''等長的'''(isotropy)ではない。全ての点は「等しい」が、しかし固定点では平面が他のレイヤとは異なっている。数学的には、このことは等長(isometry)群は点の上では遷移的(transitive)であるが、座標軸（点の上で[[法線]]方向と接平面方向のベクトルの三つ組）に対しては遷移的ではないことを意味する。

==== リー群の構造を持つ幾何学 ====
結局、3つの[[リー群]]の構造を持つ他の幾何学モデルが存在する。これらは、
* <math>\tilde{\mathrm{SL}}(2,\mathbb{R})</math> の幾何学の構造、[[特殊線型群]] <math>\mathrm{SL}(2,\mathbb{R})</math> の[[被覆空間#普遍被覆|普遍被覆]]である。
* {{仮リンク|Nil-幾何学|en|Nilmanifold}}(Nilmanifold)
* {{仮リンク|Sol-幾何学|en|Solvmanifold}}(Solvmanifold)
これら 3つの全ては、[[行列]]群の上の計量で記述され、群全体 <math>\mathrm{SL}_2\mathbb{R}</math> は行列式の値が 1 である可逆な 2 × 2 行列の群である。Nil-幾何学は、上三角行列で対角要素 3 x 3 が 1 である[[冪零行列|べき零]]な上の幾何学であり（[[ハイゼンベルク群]]も参照）、Sol-幾何学は、上三角な 2 × 2 行列の全てからなる群（[[可解群]]）である。

リー群のように、これらの群は[[作用素 (関数解析学)|作用素]]の下での不変な計量を持っており、従って、等質である。

群 <math>\mathrm{SL}(2,\mathbb{R})</math> は、[[単連結]]空間ではないので、普遍被覆へいくこととなる。このことは、局所的な性質の差異をなくすることから、<math>\mathrm{SL}(2,\mathbb{R})</math> は、基本モデルであるといわれる。

<math>\tilde{\mathrm{SL}}(2,\mathbb{R})</math> 上の計量は、次のように記述される。<math>\mathrm{PSL}(2,\mathbb R)</math> 
を実[[メビウス変換]]の群であり、[[等方的]]な双曲平面は、<math>\mathbb{H}^2</math> である。<math>\mathbb{H}^2</math> の等方性は、<math>\mathrm{PSL}(2,\mathbb{R})\cong UT\mathbb{H}^2</math> を適用して選択された統一した接ベクトルの像により一意に決まる。すると、長さが 1 である[[接ベクトル]]の空間 <math>UT\mathbb{H}^2</math> は、誘導された計量 <math>\mathbb{H}^2</math> を持つことになる。結局、このように構成された <math>\mathrm{PSL}(2,\mathbb{R})</math> 上の計量は、普遍被覆 <math>\tilde{\mathrm{SL}}(2,\mathbb{R})</math> 上の計量を導く。

この観察は、<math>\tilde{\mathrm{SL}}(2,\mathbb{R})</math>、つまり、標準化された接バンドルである閉じた双曲曲面をもつ 3-多様体の例となっている。

==== 分類 ====
'''全ての''' 3次元の基本モデルの幾何学がこれらで記述されることを証明するには、等長群(isometry group)の安定化を使い証明する。安定化するとは、ある点を固定するモデルの等長変換全体のなす群である。ユークリッド空間の場合に、サーストンは、[[直交群]] O(3) の例、従って、3次元の例を構成した。一方、 <math>\mathbb{R}</math> 方向との積の幾何学では、安定化は SO(2) の 1次元の部分集合に相当する。安定化する次元の大きさは、モデルの対称性によって決定される。

{{仮リンク|ファイバー構造|en|fibration}}(fibration)を見つけ出すことで、さらに厳密化でき、ファイバー構造は等長群の下に不変であり、ファイバーは安定化自身により写像されることがわかる。ファイバー構造のような積の幾何学では、与えられた[[断面 (位相幾何学)|断面]] <math>S^2\times\{p\}</math> や <math>\mathbb{H}^2\times\{p\}</math> により、簡素化される。いづれの場合も、そのようなファイバーは必然的に 2次元のモデルとなるので、次のような一覧表を得る。
{| class="wikitable sortable"
! 幾何学モデル
! 安定化次元
! 構造
! （断面）曲率
|-
| 　ユークリッド空間 <math>\mathbb{R}^3</math>　
| 　3-次元
| 　イソトロピック
| 　0 （平坦）
|-
| 　3-球面 <math>S^3</math>
| 　3-次元
| 　イソトロピック
| 　1 （正）
|-
| 　双曲空間 <math>\mathbb{H}^3</math>
| 　3-次元
| 　イソトロピック
| 　-1 （負）
|-
| 　<math>S^2 \times \mathbb{R}</math>
| 　1-次元
| 　<math>S^2</math> 上のファイバー　
| 　ファイバー方向の曲率 1、直交方向の曲率 0　
|-
| 　<math>\mathbb{H}^2 \times \mathbb{R}</math>
| 　1-次元
| 　<math>\mathbb{H}^2</math> 上のファイバー
| 　ファイバー方向の曲率 -1、直交方向の曲率 0　
|-
| 　Nil-幾何学
| 　1-次元
| 　<math>\mathbb{R}^2</math> 上のファイバー
| 　ファイバー方向の曲率 0、直交方向の曲率 1
|-
| 　<math>\tilde{\mathrm{SL}}(2,\mathbb{R})</math>
| 　1-次元
| 　<math>\mathbb{H}^2</math> 上のファイバー
| 　ファイバー方向の曲率 -1、直交方向の曲率 1
|-
| 　Sol-幾何学
| 　0-次元
| 　<math>\mathbb R</math> 上のファイバー
| 　ファイバーと直交する方向の曲率 0
|}

== サーストンの幾何化 ==
上に述べた多様体の分解から得られる結果は、局所的には、8つのモデルのうちのひとつに対応する計量を選び出すことができるということである。このことを、多様体の'''幾何化'''と呼ぶ。例えば、平坦なトーラスとユークリッド平面は、ともに平坦であり、基本幾何学モデルである。

サーストンは、3次元多様体の研究を集中的に行い、上の意味で 3次元多様体の多くが幾何化可能であることを発見した。

とりわけ、彼は{{仮リンク|ハーケン多様体|en|Haken manifold}}(Haken manifold)<ref>{{Anchors|ハーケン多様体}}ハーケン多様体(Haken manifold)：ハーケン多様体とは、向き付け可能でコンパクトな既約 3-多様体で、両サイドで収縮不可能な曲面を埋め込むことができるようなものをいう。時には、ハーケン多様体がコンパクトで向き付け可能な既約 3-多様体であり、単に向き付け可能な収縮不可能な曲面を持つような多様体を言うこともある。

3-多様体がハーケン多様体により有限被覆される場合を、'''仮想ハーケン多様体'''(virtually Haken)という。仮想ハーケン予想は、すべてのコンパクトな既約な無限基本群を持つ 3-多様体は、仮想ハーケン多様体であるという予想である。

ハーケン多様体はウォルフガング・ハーケン(Wolfgang Haken)により1961-2年に、ハーケン多様体は階層を持っていて、そこでは収縮不可能な曲面に沿ってハーケン多様体が 3-球体へ分解することができることを証明した。 ハーケンは、収縮不可能な曲面をひとつ持つ場合は有限解の操作で収縮不可能な曲面を見つけることができることも示した。</ref>でこのことを示し、1982年にはこれにより[[フィールズ賞]]を受賞した。この研究に基づいて、彼は全ての閉じた 3次元多様体が幾何化可能であろうと予想した。このことを'''サーストンの幾何化予想'''(Thurston's geometrization)と言う。

== 幾何化の重要性 ==
3次元多様体は、8つの幾何学モデルのうちのひとつへ帰着できることは、3次元多様体のトポロジーへ重要な結論をもたらす。モデルは双曲的(hyperboloc)や球面的(spherical)なファイバー構造だけはなく、多様体は{{仮リンク|ザイフェルトファイバー|en|Seifert fibration}}の構造を持つことがある。ザイフェルト多様体のトポロジーは、よくわかっている。これらの[[基本群]]は、例えば、いつも 2-トーラスの基本群 <math>\mathbb{Z}\times\mathbb{Z}</math> の部分群に[[同型]]であり、次のように幾何化を定式化できる。
:全ての既約な閉 3-次元多様体は次の 3つの条件のうちのいづれかの一つに一致する。
::#球面の計量を持ったもの
::#双曲な計量を持ったもの
::#基本群が、<math>\mathbb{Z}\times\mathbb{Z}</math>の部分群となっているもの

いまのところ、球面的な多様体と双曲的な多様体に対し、多くの可能性があり、これらを完全には分類しきれてはいない。しかしながら、性質の多くが理解され、分類は純粋に群論的な問題となっている（すなわち、<math>S^3</math> や <math>\mathbb{H}^3</math>、従って <math>\mathrm{SO}(3,\mathbb{R})</math> や <math>\mathrm{PSL}(2,\mathbb{C})</math> の等長群の全ての[[自由群|自由な]][[離散群|離散部分群]](discrete subgroups)を決定する問題となっている）。

幾何化の定式化からは、'''{{仮リンク|楕円化予想|en|Elliptization conjecture}}'''(Elliptization conjecture)、または、'''球面化予想'''(Sphericalization conjecture)が予想としてある。
:有限群を（自己同型群として）持つ全ての閉 3-次元多様体は球面計量を持ち、従って 3-球面 <math>S^3/\Gamma</math> の商空間である。
さらに'''双曲化予想'''(hyperbolization conjecture)が、予想となる。（{{仮リンク|双曲化定理|en|Hyperbolization theorem}}(Hyperbolization theorem)を参照。）
:無限群を（自己同型群として）持つ全ての閉 3-次元多様体は、双曲型か、もしくは基本群が <math>\mathbb{Z}\times\mathbb{Z}</math> に同型な部分群を持つ。

一方、幾何化予想の特別な場合として、良く知られている[[ポアンカレ予想]]がある。
:自明な基本群を持つ全ての閉 3-次元多様体は、3-球面 <math>S^3</math> に同相である。

=== 予想の状況 ===
2次元の閉多様体の幾何化は、古くから知られている。曲面分類では、2-球面 <math>S^2</math> の幾何学は[[ガウス・ボネの定理]]により、球面幾何学のみであり、2-トーラス <math>T^2</math> はユークリッド幾何学で、高い種数の曲面は全て双曲的である。

[[リチャード・S・ハミルトン]]は、1980年代に最初に[[リッチフロー]]を使い、幾何化予想を証明しようとした。彼は、正の[[リッチ曲率]]の多様体に対しては成功し、そのような多様体の上ではリッチフローは非特異となることを示した。

[[グリゴリー・ペレルマン]]は、2002年と2003年の論文を提出し、幾何化予想の証明の最も重要なステップである[[特異点 (数学)|特異点]]を制御する方法があることを発見した。ペレルマンの仕事は未だに正式な雑誌には出版されていないが、多くの数学者が本質的なものと扱っていて、大きな誤りや省略がないことを認めている。このため、ペレルマンは2006年にフィールズ賞を受賞したが、彼は受賞を拒否した。

== 脚注 ==
{{Reflist}}

== 関連項目 ==
*[[位相幾何学]]（トポロジー）
*[[微分幾何学]]
*[[リーマン幾何学]]
*[[統計力学]]
*[[ポアンカレ予想]]
*[[楕円化予想]]
*[[ビアンキ分類]]

== 参考文献 ==
;幾何学予想とリッチフローのオーバービュー
<!---;Allgemeiner Überblick über die Geometrisierungsvermutung und den Ricci-Fluss-->
* Bernhard Leeb: [https://web.archive.org/web/20080419011624/http://www.mathematik.uni-muenchen.de/~leeb/preprints/pv.pdf ''Geometrisierung 3-dimensionaler Mannigfaltigkeiten und Ricci-Fluss: Zu Perelmans Beweis der Vermutungen von Poincaré und Thurston''] (PDF; 437&nbsp;kB), DMV-Mitteilungen, '''14''' (4), 2006, Seiten 213–221.
* John W. Morgan: [https://www.ams.org/journals/bull/2005-42-01/S0273-0979-04-01045-6/S0273-0979-04-01045-6.pdf ''Recent progress on the Poincaré conjecture and the classification of 3-manifolds''] (PDF; 293&nbsp;kB), Bulletin of the AMS, '''42''' (1), 2005, Seiten 57–78.

;トポロジーの基礎とJSJ-分解
<!---;Topologische Grundlagen und JSJ-Zerlegung-->
* Allen Hatcher: [http://www.math.cornell.edu/~hatcher/3M/3M.pdf ''Notes on Basic 3-Manifold Topology''] (PDF; 385&nbsp;kB) 2000 (Englisch).

;幾何学モデルとサーストンのプログラム
<!---;Modellgeometrien und Thurstons Programm-->
* Peter Scott: [http://www.math.lsa.umich.edu/~pscott/8geoms.pdf ''The Geometries of 3-Manifolds''] (PDF; 7,8&nbsp;MB), Bull. London Math. Soc., '''15''' (1983), Seiten 401–487. 
* William Thurston: ''Three-Dimensional Geometry and Topology'', Princeton University Press, 1997 (ISBN 0-691-08304-5). 
* William Thurston: [http://www.msri.org/publications/books/gt3m/PDF ''The Geometry and Topology of Three-Manifolds''], 1980 (Englisch), Ausarbeitung eines von Thurston 1978/79 in Princeton gehaltenen Seminars.

;リッチフローを使ったペレルマンの証明
<!---;Perelmans Beweis mit Hilfe des Ricci-Flusses-->
* Michael T. Anderson: [http://www.math.sunysb.edu/~anderson/noticesfinal.pdf ''Geometrization of 3-Manifolds via the Ricci Flow''] (PDF; 146&nbsp;kB), Notices of the AMS, 2004 (Englisch). Überblick über Perelmans Beweis und den Ricci-Fluss
* Grisha Perelman: [https://arxiv.org/abs/math/0211159 ''The entropy formula for the Ricci flow and its geometric applications''], Preprint 2002 (Englisch)
* Grisha Perelman: [https://arxiv.org/abs/math/0303109 ''Ricci flow with surgery on three-manifolds''], Preprint 2003 (Englisch)
* Bruce Kleiner, John Lott: [https://arxiv.org/abs/math/0605667 ''Notes on Perelman's  papers''] (Englisch), Detaillierte Ausarbeitung von Perelmans Beweis.
*Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, Joan Porti: ''Geometrisation of 3-Manifolds'', European Mathematical Society (EMS), 2010, ISBN 978-3-03719-082-1, [http://www-fourier.ujf-grenoble.fr/~lbessier/TheBook pdf]

== 外部リンク ==
* William P. Thurston, [https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-6/issue-3/Three-dimensional-manifolds-Kleinian-groups-and-hyperbolic-geometry/bams/1183548782.full ''Three dimensional manifolds, Kleinian groups and hyperbolic geometry''], 1982

{{DEFAULTSORT:きかかよそう}}
[[Category:予想]]
[[Category:位相幾何学]]
[[Category:微分幾何学]]
[[Category:数学に関する記事]]