1982 - Thurston 幾何化猜想（三維空間的完整地圖）#
案件摘要#
1982 年，William Thurston（1946–2012） 在《美國數學學會公報》發表 Three-dimensional manifolds, Kleinian groups, and hyperbolic geometry， 提出了一個比龐加萊猜想更大、更完整的猜想：
龐加萊猜想只是它的特例——若三維流形被切成 8 種幾何的碎片， 單連通的流形只能用 \(S^3\) ，猜想即得。
前因 -- 為什麼會有這個案子#
- 二維的完整分類（1868–1888）： 二維閉曲面的分類早已完成：
且每一個二維曲面都有常數曲率的度規（uniformization 定理，1907）：
- 三維的「災難」（1900s–1970s）： 三維流形沒有這麼簡單：
- 三維環面 \(T^3\) 的「洞」比二維環面複雜得多（ \(\pi_1(T^3) = \mathbb{Z}^3\) ）；
- 三維流形的同倫類爆炸性地多（Dehn 引理、透鏡空間、纖維叢……）。
- Thurston 的洞察（1970s）： Thurston 在普林斯頓的課堂與研討會上（1976–1980）提出：
「三維流形雖然不能用『一種』幾何，但可以用『八種』幾何的有限組合。」 八種幾何： \(\mathbb{R}^3\) 、 \(S^3\) 、 \(\mathbb{H}^3\) 、 \(S^2\times\mathbb{R}\) 、 \(\mathbb{H}^2\times\mathbb{R}\) 、 \(\widetilde{SL_2(\mathbb{R})}\) 、Nil、Sol。
- Mostow 剛性（1968）：雙曲幾何的「完全剛性」——
這是三維雙曲幾何的「奇蹟」：拓樸完全決定幾何。
線索與推理 -- 數學式、程式、理論#
第一條線索：八種三維幾何#
Thurston 的八種模型幾何： | 幾何 | 模型 | 曲率 | 例子 | |------|------|------|------| | \(\mathbb{R}^3\) | 歐氏空間 | 0 | 三維環面 \(T^3\) | | \(S^3\) | 球面 | + | 龐加萊同調球面 | | \(\mathbb{H}^3\) | 雙曲空間 | − | 結補空間（knot complements） | | \(S^2\times\mathbb{R}\) | 球面×直線 | + | \(S^2\times S^1\) | | \(\mathbb{H}^2\times\mathbb{R}\) | 雙曲×直線 | − | 雙曲纖維叢 | | \(\widetilde{SL_2(\mathbb{R})}\) | 通用覆蓋 | − | 單位切叢 | | Nil | Heisenberg 群 | 0 | 扭環面 | | Sol | 可解李群 | 0 | Solv 流形 | 「雙曲佔多數」：Thurston 的定理（1980s）——
第二條線索：Mostow 剛性定理（1968）#
定理（Mostow, 1968）： \(n\ge 3\) 的緊緻雙曲流形：
- 二維不成立：二維雙曲曲面有無限多個不同的度規（Teichmüller 空間）；
- 三維完全剛性：同倫等价就是等距——拓樸完全決定幾何！
- 推論：雙曲三維流形的體積是拓樸不變量（Gromov 的證明，1982）：
第三條線索：Gromov 範數與「體積的拓樸性」（1982）#
Gromov 範數（simplicial volume）：
Gromov 定理（1982）：
- 這是「體積 = 拓樸」的驚人等式—— 幾何量（體積）完全由拓樸量（最小三角剖分）決定；
- 推論：體積只能取特定的實數值——體積是「量子化」的。
Python：Thurston 八種幾何與 Mostow 剛性的驗證#
import numpy as np
# 1) 雙曲空間的體積：理想單體的體積（Lobachevsky 公式）
def lobachevsky(theta, n=100000):
"""Lobachevsky 函數 Λ(θ) = -∫₀^θ ln|2sin t| dt"""
ts = np.linspace(1e-9, theta, n)
vals = np.log(np.abs(2*np.sin(ts)))
return -np.sum((vals[1:]+vals[:-1])/2 * np.diff(ts))
def ideal_tetrahedron_volume(dihedral_angles):
"""理想單體體積：V = Λ(α) + Λ(β) + Λ(γ)，α+β+γ = π"""
a, b, g = dihedral_angles
return lobachevsky(a) + lobachevsky(b) + lobachevsky(g)
print("理想單體的體積（Lobachevsky 公式）：")
V = ideal_tetrahedron_volume((np.pi/3, np.pi/3, np.pi/3))
print(f" 正則理想單體（α=β=γ=π/3）：V = {V:.6f}（理論值 1.014942；數值積分誤差 ~1e-4）")
print(f" 理論最大值 V_max ≈ 1.01494（Regge–Simons 的常數）\n")
# 2) 體積的最大值：正則理想單體
print("雙曲體積的量子化（Gromov 定理）：")
cases = [(np.pi/3, np.pi/3, np.pi/3, "正則（最大）"),
(np.pi/2, np.pi/4, np.pi/4, "一般"),
(np.pi/2, np.pi/2, 1e-9, "退化（極限）")]
for a, b, g, name in cases:
V = ideal_tetrahedron_volume((a, b, g))
print(f" {name:12s}: V = {V:.6f}")
print(" → 體積只取特定值（Lobachevsky 函數的像）\n")
理想單體的體積（Lobachevsky 公式）：
正則理想單體（α=β=γ=π/3）：V = 1.015058（理論值 1.014942；數值積分誤差 ~1e-4）
理論最大值 V_max ≈ 1.01494（Regge–Simons 的常數）
雙曲體積的量子化（Gromov 定理）：
正則（最大） : V = 1.015058
一般 : V = 0.916083
退化（極限） : V = 0.000123
→ 體積只取特定值（Lobachevsky 函數的像）
理論與數學式：八種幾何與剛性#
Thurston 幾何化猜想（1982）：每個閉合三維流形可沿球面分解， 每塊 admit 八種幾何之一：
| 幾何 | 曲率符號 | 例子 |
|---|---|---|
| \(\mathbb{R}^3\) （歐氏） | \(0\) | 三維環面 \(T^3\) |
| \(S^3\) （球面） | \(+\) | Poincaré 球 |
| \(\mathbb{H}^3\) （雙曲） | \(-\) | 「隨機」三維流形幾乎都是雙曲 |
| \(S^2 \times \mathbb{R}\) 、 \(\mathbb{H}^2 \times \mathbb{R}\) 、 \(\widetilde{SL_2(\mathbb{R})}\) | \(+\) 、 \(-\) 、 \(-\) | 乘積與纖維化 |
| Nil、Sol | \(0\) 、 \(0\) | 冪零與可解群 |
Mostow 剛性定理（1968）： \(n \ge 3\) 的有限體積雙曲流形，
三維雙曲幾何是完全剛性的：拓樸完全決定幾何（體積、角度全是拓樸不變量）。
| 維度 | 雙曲結構 | 形變空間 |
|---|---|---|
| 2 | 可變形（無限多個度規） | Teichmüller 空間，維數 \(6g-6\) （虧格 \(g \ge 2\) ） |
| 3 | 剛性（唯一） | 單點 |
這是「體積 = 拓樸」的極致：Gromov 範數把體積變成拓樸量（見上文）， Mostow 剛性把它變成不變量，Perelman（2003）最終證明幾何化猜想 （見「2003-佩雷爾曼龐加萊猜想.md」）。
結案 -- 後果與影響#
- Thurston 的獎項（1976/1982）： Thurston 因幾何化猜想與雙曲結構的工作獲 1976 年菲爾茲獎（30 歲）、 1992 年當選美國國家科學院院士、2012 年獲內默斯數學獎。
- Perelman 的完成（2003）：
Perelman 用 Ricci 流 + 熵（見「2003-佩雷爾曼龐加萊猜想.md」） 證明了完整的幾何化猜想——龐加萊猜想只是附帶的推論。 - 「隨機流形 = 雙曲」的定理（1990s–2000s）： - Maher（2010）、Rivin（1996）：隨機三維流形幾乎必然雙曲； - Brock–Canary（1996）：雙曲結構的存在性。
- 雙曲幾何的計算機革命（1990s–）：
- SnapPea（Jeff Weeks, 1990s）：計算雙曲三維流形的體積與不變量的軟體；
- 體積的資料庫：數千個雙曲流形的體積已被計算—— 最小體積的閉雙曲流形（Gabai–Meyerhoff–Milley, 2003）： \(\approx 0.9427\) 。
- Cannon 猜想（1997）：閉雙曲流形的邊界圓的共形結構—— Markovic（2013） 證明了 Cannon 猜想（閉雙曲流形情形）。
- 物理學的應用（1990s–）：
- Witten 的 3D 拓樸場論（1989）：Chern–Simons 理論（見「1926-嘉當活動標架.md」）；
- 量子重力（2000s）：AdS/CFT 對應——雙曲空間是量子重力的「隱藏幾何」；
- 網路科學（2010s）：複雜網路的雙曲嵌入（見「1868-貝特拉米偽球面.md」）。
- 幾何學史的意義： Thurston 幾何化是「幾何學的第三次大統一」：
Thurston 把三維流形變成了「元素週期表」—— 每個流形都可以「分解」成 8 種幾何的「分子」。 - 歷史定位：Thurston 幾何化是「拓樸學的幾何化」的頂點—— 它告訴我們：拓樸的分類問題可以完全幾何化。
關鍵人物與文獻#
- W. Thurston：Three-dimensional manifolds, Kleinian groups, and hyperbolic geometry（1982）； The Geometry and Topology of Three-Manifolds（1980，普林斯頓講義）；1976 菲爾茲獎。
- G. D. Mostow：Quasi-conformal mappings in n-space and the rigidity of hyperbolic space forms（1968）——Mostow 剛性。
- M. Gromov：Volume and bounded cohomology（1982）——Gromov 範數；1981 年的《雙曲群》。
- J. Weeks：SnapPea（1990s）——雙曲流形的計算機軟體。
- G. Perelman：arXiv:math/0211159（2002）——Ricci 流與幾何化的證明（見「2003-佩雷爾曼龐加萊猜想.md」）。
- V. Markovic：Cannon 猜想的證明（2013）。
- 相關案件：
1854-黎曼幾何.md、1868-貝特拉米偽球面.md、2003-佩雷爾曼龐加萊猜想.md、1956-異質球面.md。