1963-Atiyah–Singer 指標定理#

案件摘要#

1963 年，Michael Atiyah 與 Isadore Singer 證明：緊流形上橢圓算子的解析指標（核與餘核維數之差）等於一個純拓撲量——特徵類的積分。分析與拓撲這兩門看似無關的學科，被一條公式縫合起來。

前因 -- 為什麼會有這個案子#

Riemann–Roch（1850s→1950s Hirzebruch 代數化）已把代數曲線上的「函數空間維數差」化為拓撲數據——但僅限代數幾何內。
Gauss–Bonnet 定理（1827/1940s Allendoerfer–Weil 推廣）：曲率積分 = Euler 示性數，暗示「分析量 = 拓撲量」的普遍模式。
1960 年代初：橢圓偏微分方程理論成熟（見 Fredholm 二擇一）， \(\dim\ker D - \dim\operatorname{coker} D\) 是自然的分析不變量。
疑問成形：一般的橢圓算子，其指標能否用拓撲特徵類顯式表出？ Atiyah 在訪問 Oxford–MIT 之際與 Singer 聯手攻堅。

線索與推理 -- 數學式、程式、理論#

線索一：橢圓算子與解析指標#

設 \(M\) 為緊微分流形， \(D: \Gamma(E) \to \Gamma(F)\) 是橢圓微分算子（符號 \(\sigma(D)\) 在餘切叢的非零向量上可逆）。定義：

\[ \operatorname{ind}(D) = \dim\ker D - \dim\operatorname{coker} D \]

由橢圓性， \(\ker D\) 與 \(\operatorname{coker} D\) 都是有限維。指標在算子的連續形變下不變——這是「它在測量某種拓撲量」的第一條線索。

線索二：定理內容#

Atiyah–Singer 指標定理（1963）：

\[ \operatorname{ind}(D) = \int_M \hat{A}(M) \wedge \operatorname{ch}(E) \;\Bigg(\in H^{2n}(M)\Bigg) \]

\(\hat{A}(M)\) ： \(M\) 的切叢之 \(\hat A\) 類（由 Pontryagin 類組成），
\(\operatorname{ch}(E)\) ：向量叢 \(E\) 的陳特徵類（Chern character），
右邊是純拓撲不變量，只依賴 \(M\) 與 \(E\) 的同倫類。

證明路線（K-theoretic proof）：把一般算子嵌入 K-理論框架，證明指標是 \(K(T^*M)\) 上的同倫不變泛函，再用 Thom 同構與 Bott 週期性把問題化約到最簡情形（球面上的 Dirac 算子），逐一核對常數。另一路線（熱核證明，1969–71 与 McKean、Patodi、Singer）把指標寫成超跡 \(\mathrm{Str}(e^{-tD^*D})\) ，取 \(t \to 0\) 極限與局部曲率積分吻合。

線索三：解析與拓撲的統一#

指標定理是「拓撲不變量 = 分析不變量」的終極範式，統一了三大經典結果為特例： 1. Gauss–Bonnet：取 \(D = d + d^*\) （de Rham 算子）， \(\operatorname{ind}(D) = \sum (-1)^k b_k = \chi(M)\) = 曲率積分。 2. Hirzebruch–Riemann–Roch：取 Dolbeault 算子 \(\bar\partial\) ，得 \(\chi(M, E) = \int_M \operatorname{td}(M)\operatorname{ch}(E)\) 。 3. Dirac 算子： \(\operatorname{ind}(D\!\!\!/) = \int_M \hat A(M)\) ——正是 Lichnerowicz 公式與正數量曲率障礙之源。

程式碼：Python 演示 Gauss–Bonnet 的簡單驗證#

import numpy as np

# 離散 Gauss–Bonnet：對三角剖分曲面
# sum(角欠) = 2*pi * chi(V - E + F) ; chi = V - E + F
def euler_characteristic(tris):
    V = len({v for t in tris for v in t})
    E = len({frozenset((t[i], t[(i + 1) % 3])) for t in tris for i in range(3)})
    F = len(tris)
    return V - E + F

# 球面八面體剖分：6 頂點、12 邊、8 面
octa_tris = [(0, 1, 2), (0, 2, 3), (0, 3, 4), (0, 4, 1),
             (5, 2, 1), (5, 3, 2), (5, 4, 3), (5, 1, 4)]
chi = euler_characteristic(octa_tris)
print("球面 Euler 示性數 =", chi)          # 2

# 每頂點角欠和 = 2*pi*chi（單位球面，面是球面三角形）
# 頂點度數：每頂點連 4 個面，每個球面三角內角和 = pi + (球面)角盈
# 以虧格 0（g=0）驗證：sum(角欠) = 4*pi
g = 0
print("Gauss–Bonnet 右邊 2*pi*(2-2g) =", 2 * np.pi * (2 - 2 * g))  # 4*pi

# 離散角欠（每頂點）：sum(2*pi - sum(相鄰面角)) = 2*pi*chi
# 用環面（g=1, chi=0）三角剖分驗證：角欠總和應為 0
def torus_tris(n):
    tris = []
    def idx(i, j): return (i % n) * n + (j % n)
    for i in range(n):
        for j in range(n):
            a, b, c, d = idx(i, j), idx(i+1, j), idx(i+1, j+1), idx(i, j+1)
            tris += [(a, b, c), (a, c, d)]
    return tris

print("環面 Euler 示性數 =", euler_characteristic(torus_tris(4)))   # 0
# chi(環面)=0 => 總曲率為 0：環面可用平坦度量——這是指標定理「拓撲限制分析」的具體呈現

線索四：對規範場論的影響#

1970 年代起，指標定理成為規範場論的數學基礎：Yang–Mills 的瞬子數 = \(\int c_2\) （即 \(\operatorname{ind}(\bar\partial_E)\) 的推論）；物理的「反常（anomaly）」= 指標定理的家族指標版本。Atiyah 進一步開創拓撲量子場論（TQFT），引導 1990 年代 Donaldson、Witten、Floer 等工作。Atiyah 於 2004 年獲阿貝爾獎，表彰其涵盖指標定理、K-理論與規範場論的貢獻。

結案 -- 後果與影響#

解析指標 → 拓撲不變量的計算機器：任何緊流形上的橢圓算子維數問題，原則上皆可積分求解。
催生 K-理論（Atiyah–Hirzebruch）與 指標理論產業：家族指標、 \(L^2\) -指標（Atiyah）、橢圓上同調、Connes 的非交換幾何（1994 年起）。
數學物理：瞬子、Seiberg–Witten、鏡對稱（弦論的計算大量依賴指標公式，如橢圓虧格）。
Gauss–Bonnet–Chern 定理成為指標定理的特例，「幾何 = 分析」的哲學主導現代微分幾何。

關鍵人物與文獻#

Carl Friedrich Gauss / Pierre Bonnet / S.-S. Chern：Gauss–Bonnet 定理及其叢形式推廣（1944）。
Friedrich Hirzebruch：代數化的 Riemann–Roch（1954），為指標定理鋪路。
Michael Atiyah & Isadore Singer：The Index of Elliptic Operators I, III（Annals of Math. 1963, 1968）。
Atiyah–Bott–Patodi：熱核證明（1973）。
Michael Atiyah：2004 年阿貝爾獎；Collected Works（1988）。