幾何化予想

幾何化予想（きかかよそう、英: geometrization conjecture）は、ウィリアム・サーストン (William Thurston) により、3次元閉多様体の分類のプログラムとして、1980年に提案された。幾何化の目的は、3次元多様体を基本的なブロックに分解し、一つ一つのブロックでの幾何学的構造を特定できるような分解を見つけるプログラムであり、「常に基本ブロックへの分解が可能であろう」という予想を、サーストンの幾何化予想という。また、幾何化予想は、ポアンカレ予想の一般化となっており、グリゴリー・ペレルマン (Grigory Yakovlevich Perelman) により、リッチフローを使ったポアンカレ予想の証明の際にも使用された。

3-次元多様体

3-次元多様体（もしくは、短く 3-多様体）は、局所的に 3次元の写像により記述される、つまり、小さな領域では通常の 3次元ユークリッド空間となるような位相空間のことを言う。しかし、3次元多様体の全体を、3次元空間の部分集合と考えることは一般にはできない。このことは 2次元で考えるとで明らかとなる。2次元球面（つまり、曲面）は、局所的には 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-球体の縁であり、従って、さらに分解すると加えられていた $S^{3}$ を次々と省略できることを意味する。既約成分への分解は、加えられる $S^{3}$ や加える順序は一意に決まることを示すことができる。

$S^{2}\times S^{1}$ の形をした規約成分が有限群である基本群を持つと、この成分はこれ以上には分解されない．他の成分は、全てが一意的にアトロイダルな多様体となるか、またはザイフェルトファイバー多様体になるまで、トーラスに沿って分解することができる。この分解をジャコ・シャーレン・ヨハンソン分解、短くはJSJ分解と言う。

この方法により、分解を逆にたどると（連結和とトーラスを貼り付けることにより）、全ての 3次元多様体を再び得ることができる。従って、3次元多様体の分類は、JSJ分解の基本ブロックを理解すれば十分であることがわかる。すなわち、既約多様体は、有限群を基本群としてもつもの、ザイフェルトファイバー空間とアトロイダルな多様体である。

幾何学的モデル

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

２次元モデル

詳細は「一意化定理」を参照

2次元では、そのような幾何学的モデルは、3つのモデルへと分類される。一つは、ユークリッド平面 $\mathbb {R} ^{2}$ (コンパクトな商空間としては、2-トーラスである）。第二番目は、2次元球面 $S^{2}$ であり、2次元球面はコンパクトである。双曲平面 $\mathbb {H} ^{2}$ が、第三番目の幾何学的モデルである。全ての種数 $g\geq 2$ の曲面は、双曲曲面のコンパクトな商空間として表すことができる。

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

３次元モデル

2次元で曲率で分類できたことと同様に、3次元では、それぞれ、定数（0, 1 正, -1 負）の断面曲率を持つことに対応するモデルが、下記のように存在する。

• ユークリッド空間 $\mathbb {R} ^{3}$
• 3-球面 $S^{3}$ (4次元球体の表面)
• 双曲空間 $\mathbb {H} ^{3}$

積の幾何学

しかし、以上の分類に加え、3次元の場合の幾何学モデルは他にも存在する。この理由は、スカラーだけでは局所領域での形や平面上の点での曲率を決定できず、曲率がその点での平面通過方向へ依存するからである。すなわち、このことを説明するには、別の 3次元モデル

• 2-球面と直線との積 $S^{2}\times \mathbb {R}$

を考える必要があるからである。

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

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

双曲平面と直線の積についても同じ構造であることがわかる。

• $\mathbb {H} ^{2}\times \mathbb {R}$

ここでは、考えている方向に対して、曲率が -1 と 0 である。

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

リー群の構造を持つ幾何学

結局、3つのリー群の構造を持つ他の幾何学モデルが存在する。これらは、

• ${\tilde {\mathrm {SL} }}(2,\mathbb {R} )$ の幾何学の構造、特殊線型群 $\mathrm {SL} (2,\mathbb {R} )$ の普遍被覆である。
• Nil-幾何学(Nilmanifold)
• Sol-幾何学(Solvmanifold)

これら 3つの全ては、行列群の上の計量で記述され、群全体 $\mathrm {SL} _{2}\mathbb {R}$ は行列式の値が 1 である可逆な 2 × 2 行列の群である。Nil-幾何学は、上三角行列で対角要素 3 x 3 が 1 であるべき零な上の幾何学であり（ハイゼンベルグ群も参照）、Sol-幾何学は、上三角な 2 × 2 行列の全てからなる群（可解群）である。

リー群のように、これらの群は作用素の下での不変な計量を持っており、従って、等質である。

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

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

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

分類

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

ファイバー構造(fibration)を見ることで、より厳密化でき、ファイバー構造は等長群の下に不変で、ファイバーは安定化群自体で写像される。ファイバー構造のような積の幾何学では、与えられた断面 $S^{2}\times \{p\}$ や $\mathbb {H} ^{2}\times \{p\}$ により簡素化された構造となる。いづれの場合も、そのようなファイバーは必然的に 2次元のモデルとなるので、次のような一覧表を得る。

幾何学モデル	安定化次元	構造	（断面）曲率
ユークリッド空間 $\mathbb {R} ^{3}$	3-次元	イソトロピック	0 （平坦）
3-球面 $S^{3}$	3-次元	イソトロピック	1 （正）
双曲空間 $\mathbb {H} ^{3}$	3-次元	イソトロピック	-1 （負）
$S^{2}\times \mathbb {R}$	1-次元	$S^{2}$ 上のファイバー	ファイバー方向の曲率 1、直交方向の曲率 0
$\mathbb {H} ^{2}\times \mathbb {R}$	1-次元	$\mathbb {H} ^{2}$ 上のファイバー	ファイバー方向の曲率 -1、直交方向の曲率 0
${\tilde {\mathrm {SL} }}(2,\mathbb {R} )$	1-次元	$\mathbb {H} ^{2}$ 上のファイバー	ファイバー方向の曲率 -1、直交方向の曲率 1
Nil-幾何学	1-次元	$\mathbb {R} ^{2}$ 上のファイバー	ファイバー方向の曲率 0、直交方向の曲率 1
Sol-幾何学	0-次元	$\mathbb {R}$ 上のファイバー	ファイバーと直交する方向の曲率 0

サーストンの幾何化

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

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

とりわけ、彼はハーケン多様体(Haken manifold)でこのことを示し、1982年にはこれによりフィールズ賞を受賞した。この研究に基づいて、彼は全ての閉じた 3次元多様体が幾何化可能であろうと予想した。このことをサーストンの幾何化予想(Thurston's geometrization)と言う。

幾何化の重要性

3次元多様体は、8つの幾何学モデルのうちのひとつへ帰着できることは、3次元多様体のトポロジーへ重要な結論をもたらす。モデルは双曲的(hyperboloc)や球面的(spherical)なファイバー構造だけはなく、多様体はザイフェルトファイバーの構造を持つことがある。ザイフェルト多様体のトポロジーは、よくわかっている。これらの基本群は、例えば、いつも 2-トーラスの基本群 $\mathbb {Z} \times \mathbb {Z}$ の部分群に同型であり、次のように幾何化を定式化できる。

全ての既約な閉 3-次元多様体は次の 3つの条件のうちのいずれかの一つに一致する。

1. 球面の計量を持ったもの
2. 双曲な計量を持ったもの
3. 基本群が、$\mathbb {Z} \times \mathbb {Z}$の部分群となっているもの

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

幾何化の定式化からは、楕円化予想(Elliptization conjecture)、または、球面化予想(Sphericalization conjecture)が予想としてある。

有限群を（自己同型群として）持つ全ての閉 3-次元多様体は球面計量を持ち、従って 3-球面 $S^{3}/\Gamma$ の商空間である。

さらに双曲化予想(hyperbolization conjecture)が、予想となる。（双曲化定理(Hyperbolization theorem)を参照。）

無限群を（自己同型群として）持つ全ての閉 3-次元多様体は、双曲型か、もしくは基本群が $\mathbb {Z} \times \mathbb {Z}$ に同型な部分群を持つ。

一方、幾何化予想の特別な場合として、良く知られているポアンカレ予想がある。

自明な基本群を持つ全ての閉 3-次元多様体は、3-球面 $S^{3}$ に同相である。

予想の状況

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

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

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

付記

本パラグラフでは、8つの基本幾何構造に関して、英語版の幾何化予想に記載されている別の観点のみを追記する。

有限体積の観点

サーストンの幾何化予想のひとつのステートメントとして、有限体積との関係が考慮されていて、

すべての向き付け可能な素な閉 3-多様体(3-manifold)は、トーラスに沿ってカットすることができ、結果として現れる多様体それぞれの内部は有限体積の幾何構造を持っている。

既約な向き付け可能な 3-多様体のトーラスに沿ったピースへの分解方法は、JSJ分解と呼ばれる一意で最小な方法があり、ザイフェルト多様体か、または、アトロイダルな多様体へ分解する。ピースへのJSJ分解は有限体積の幾何化構造を持たないかも知れないので、幾何化予想の分解とJSJ分解はまったく同一ではない。（たとえば、トーラスのアノソフ写像(Anosov map)は、有限体積の sol幾何学を持つが、トーラスに沿ったJSJ分解は、トーラスと単位区間の積をもたらし、内部は有限体積の幾何構造を持たない。）

リー群の分類（ビアンキ分類）との関係

幾何学モデルは、単純連結な多様体 X とコンパクトな安定化群を持つ X 上のリー群 G の遷移的作用のペアである。幾何学モデルは、G がコンパクトな安定化群を持ち X 上へ滑らかで遷移的に作用する群の中で最大のときに、最大という。この定義はよく幾何学モデルの定義に含まれることが多い。

多様体 M 上の幾何構造は、M からある幾何モデル X と X 上に自由に作用する G の離散部分群 Γ に対して、X/Γ である。与えられた多様体が幾何構造を持つと、多様体は最大である幾何学モデルを持つ。

3-次元幾何学モデル X は、最大でかつ X のモデル化した幾何構造を持つ最小のコンパクト多様体であるとき、幾何化予想に当てはまり、サーストンは、これらの条件を満たす 8つの幾何学的モデルを分類した。（コンパクトな商を持たない非可算個のモデル幾何学も存在する。）

3-次元リー群の分類であるビアンキ群との関係がある。8つのうちの　7つのサーストンの幾何学は、ビアンキ群上の左不変計量として実現すつことができる。残るひとつ S² × R だけは、そのようにできない。ユークリッド空間が 2つの異なるビアンキ群と対応し、非可算個の可解な非ユニモジュラーなビアンキ群が存在するので、これの大部分がコンパクトな表現を持つモデル幾何をもたらさない。

以下に一覧表にして、安定化群、ビアンキ分類との対応、例を挙げる。(縦並びは、上記の分類表と同一）

幾何学モデル	安定化群	対応するビアンキ分類	例
ユークリッド空間 $\mathbb {R} ^{3}$	O(3,R)、G = R × O(3,R)	I型、あるいはVII0型	3-トーラス、2-トーラスの有限位数自己同型群の写像トーラス (*1)
3-球面 $S^{3}$	O(3,R)、G = O(4,R)	VI型	3-球面、ポアンカレホモロジー球面、レンズ空間 (*2)
双曲空間 $\mathbb {H} ^{3}$	O(3,R)、G = O+(1,3,R)	V型	膨大な数の双曲多様体（*3)
$S^{2}\times \mathbb {R}$	O(2,R)、G = O(3,R)×R×Z/Z2	対応しない	4つの有限体積の多様体 (*4)
$\mathbb {H} ^{2}\times \mathbb {R}$	O(2,R)×Z/Z2、O+(1,2,R)×R×Z/Z2	III型	双曲曲面と円の積 (*5)
${\tilde {\mathrm {SL} }}(2,\mathbb {R} )$	O(2,R)	VIII型	双曲曲面の接円バンドル (*6)
Nil-幾何学	O(2,R)	II型	E2上のファイバーでハイゼンベルク群の幾何学 (*7)
Sol-幾何学	位数 8の二面体群	VI0型	2-トーラス上のアノソフ写像の写像トーラス (*8)

(*1)　このクラスは有限体積ですべてコンパクトであり、ザイフェルト・ファイバー空間の構造を持っている。リッチフローにより、このクラスの多様体は不変のままである。

(*2)　このクラスの多様体はすべてコンパクトで向き付け可能なザイフェルトファイバー空間の構造を持つ。リッチフローにより、有限時間の中で、一点へ崩壊する。

(*3)　このクラスの中で最小体積の多様体はウィークス多様体である。他にもザイフェルト・ウェーバー空間や大半のハーケン多様体がこのクラスに属する。閉3-多様体が双曲的であることと、既約でアトロイダルな多様体で基本群が無限群であることは同値である。リッチフリーにより、このクラスの多様体は、膨張する。

(*4)　S²×S¹、S²の反対方向の写像の写像トーラス(mapping torus)、2つの 3-次元射影空間のコピーの連結和、S¹と 1-次元射影空間との連結和。すべてコンパクトな有限体積のザイフェルトファイバー空間、リッチフローにより、1-次元多様体に収束する。

(*5)　より一般には、双曲曲面の等長な族の写像トーラスである。向き付け可能であれば、有限体積のザイフェルトファイバー空間である。向き付け不可能な場合は、自然なファイバー構造がなく、ある近傍でソリッドトーラスではなく「ソリッドクラインのつぼ」が存在する。リッチフローにより、2-次元多様体へ収束する。

(*6)　より一般にはブリースコーンホモロジー球面。向き付け可能で有限体積であるザイフェルトファイバー空間。$G$ の単位元の連結成分は、$(\mathbb {R} \times {\tilde {SL}}_{2}(\mathbb {R} ))/\mathbb {Z}$ の構造を持つ。ここに ${\tilde {SL}}_{2}(\mathbb {R} )$ は $SL(2,\mathbb {R} )$ の普遍被覆である。リッチフローで 2-次元多様体へ収束する。

(*7)　3-次元ハイゼンベルグ群の商空間、2-トーラスのデーンツイスト(Dehn twist)の写像トーラス。コンパクトな有限体積のザイフェルトファイバー空間。リッチフローにより平坦計量を持つR²へ収束する。（詳細は、Nil-幾何学(nilmanifold)参照）

(*8)　リッチフローにより平坦計量を持つR¹へ収束する。（詳細は、Sol-幾何学(solvmanifold)参照）

リッチフローから幾何化予想の証明へ

球面的な 3-多様体の場合の問題は、緩やかではあったが衝撃的なリチャード・ハミルトン(Richard Hamilton)のリッチフローの発展に不可欠な問題であった。1982年、ハミルトンは、正のリッチ曲率をもつ閉 3-多様体が与えられると、リッチフローは多様体を有限時間以内に一点へ崩壊させることを示した。このことは、正のリッチ曲率を持つ多様体の場合が、計量がまさに崩壊寸前の状態となるときの幾何化予想の証明となることを意味する。後日、彼は手術を持つリッチフロー(Ricci flow with surgery)によって、幾何化予想を証明するプログラムを開発した。このアイデアは、一般にリッチフローは特異点を生成するが、手術(surgery)を多様体のトポロジーを変えることに使うことにより、リッチフローが特異点を連続的に通過できるのではないかというアイデアであった。大まかに言うと、リッチフローが正の曲率の領域に収縮した上で、負の曲率の領域へ拡張できる。従って、リッチフローは、正の曲率の幾何学 S³ と S² × R をもつ多様体のピースを全滅させるはずで、一方、長い時間の後に残るものは、厚さ薄さ分解(thick-thin decomposition)により、双曲幾何学をもつ厚い部分と薄い部分であるグラフ多様体(graph manifold)へ分解する。

2003年、グリゴリー・ペレルマンは、リッチフローが実際に特異点を連続的に通過して上記の振る舞いをすることができることを示すことで、幾何学化予想の証明するスケッチを提出した。幾何化予想のペレルマンの証明の評価の最も難しい点は、プレプリント "Ricci Flow with surgery on three-manifolds" の中の Theorem 7.4 のクリティカルな使い方にあった。この定理はペレルマンは証明なしで開始している。現在は、ペレルマンの Theorem 7.4 には異なる証明や変形が複数存在し、幾何化予想を証明するに充分なものとなっている。塩谷と山口の論文 は、ペレルマンの安定定理 とアレクサンドロフ空間のファイバー定理を使っている。 この方法は、幾何化予想の証明を完全に詳細まで導いていて、ブルース・クライナー(B. Kleiner)とJ. Lottの幾何学とトポロジーの雑誌 'Notes on Perelman's papers' に紹介されている。

幾何化定理の第二のルートは、ローラン・ベジエール(Laurent Bessières)他 の方法である。この方法は、サーストンのハーケン多様体の双曲化定理を使っていて、また 3-多様体のグロモフのノルム(Gromov's norm)を使っている。また、同じ著者による書籍に証明の完全な詳細が記載され、ヨーロッパ数学会から出版されている。

関連項目

• 位相幾何学（トポロジー）
• 微分幾何学
• リーマン幾何学
• 統計力学
• ポアンカレ予想
• 楕円化予想
• ビアンキ分類

参考文献

幾何学予想とリッチフローのオーバービュー

• Bernhard Leeb: Geometrisierung 3-dimensionaler Mannigfaltigkeiten und Ricci-Fluss: Zu Perelmans Beweis der Vermutungen von Poincaré und Thurston (PDF; 437 kB), DMV-Mitteilungen, 14 (4), 2006, Seiten 213–221.
• John W. Morgan: Recent progress on the Poincaré conjecture and the classification of 3-manifolds (PDF; 293 kB), Bulletin of the AMS, 42 (1), 2005, Seiten 57–78.

トポロジーの基礎とJSJ-分解

• Allen Hatcher: Notes on Basic 3-Manifold Topology (PDF; 385 kB) 2000 (Englisch).

幾何学モデルとサーストンのプログラム

• Peter Scott: The Geometries of 3-Manifolds (PDF; 7,8 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: The Geometry and Topology of Three-Manifolds, 1980 (Englisch), Ausarbeitung eines von Thurston 1978/79 in Princeton gehaltenen Seminars.

リッチフローを使ったペレルマンの証明

• Michael T. Anderson: Geometrization of 3-Manifolds via the Ricci Flow (PDF; 146 kB), Notices of the AMS, 2004 (Englisch). Überblick über Perelmans Beweis und den Ricci-Fluss
• Grisha Perelman: The entropy formula for the Ricci flow and its geometric applications, Preprint 2002 (Englisch)
• Grisha Perelman: Ricci flow with surgery on three-manifolds, Preprint 2003 (Englisch)
• Bruce Kleiner, John Lott: 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, pdf

英語版からの『付記』の参考文献

外部リンク

• William P. Thurston, Three dimensional manifolds, Kleinian groups and hyperbolic geometry, 1982