阿蒂亚辛格指标定理｜Atiyah-Singer Index Theorem

数学内核：从定义到等价性证明

核心定义：指标是什么？

设 $M$ 为紧致无边光滑流形，$E, F$ 为其上两个光滑向量丛，$D: Gamma(E) to Gamma(F)$ 为椭圆微分算子。其分析指标定义为：

$displaystyle operatorname{ind}_{text{an}}(D) = dim ker D - dim operatorname{coker} D$

其中，$ker D$ 是算子 $D$ 的解空间（调和旋量），$operatorname{coker} D cong (ker D^)^$ 是其余核。该定义依赖于算子的具体微分结构，但阿蒂亚辛格指标定理断言：该整数可完全由流形 $M$ 的拓扑不变量决定。

相对地，拓扑指标通过 $K$-理论构造：对算子 $D$ 的主符号 $sigma(D)$，可定义其在 $K(T^M)$ 中的类 $[sigma(D)]$，再经 Thom 同构与拉回映射，映射至 $K(text{pt}) cong mathbb{Z}$。该映射结果即为拓扑指标 $operatorname{ind}_{text{top}}(D)$。

证明路线图：三大经典路径

阿蒂亚与辛格于1963年首次证明该定理，后续发展出多条独立路径，每条均揭示不同数学结构的统一性：

值得注意的是，所有证明均依赖于椭圆算子的正则性与紧性假设。若流形带边，则需引入边界条件（如Atiyah-Patodi-Singer边界条件），此时指标公式需额外加上η不变量的积分修正项：

$displaystyle operatorname{ind}(D) = int_M hat{A}(M) operatorname{ch}(E) - frac{1}{2} eta(partial M)$

其中 $hat{A}(M)$ 为 Â genus，$operatorname{ch}(E)$ 为向量丛 $E$ 的Chern特征标，$eta(partial M)$ 为边界上的Atiyah-Patodi-Singer η不变量——这正是现代凝聚态物理中拓扑边界态的理论源头。

与经典定理的关联：斯托克斯、高斯-博内

阿蒂亚辛格指标定理实为多个经典定理的统一框架：

• 高斯-博内定理：对二维紧致无边黎曼流形 $M$，取 $D = d + d^$ 为狄拉克算子，则指标为欧拉示性数 $chi(M)$，且 $operatorname{ind}(D) = frac{1}{2pi} int_M K, dA$，其中 $K$ 为高斯曲率。
• 斯托克斯定理：当 $D = d + d^$ 作用于0-形式时，其指标为 $b_0 - b_1 + cdots$，与流形的拓扑同调维数直接关联。
• 黎曼-罗赫定理：对复流形上的全纯向量丛，指标定理退化为经典黎曼-罗赫公式：$chi(E) = int_M operatorname{ch}(E) cdot operatorname{td}(T^{1,0}M)$。

由此可见，阿蒂亚辛格指标定理并非凭空构造，而是对既有数学成果的“元理论升华”——它揭示了不同领域中看似独立的指标公式，实为同一底层原理在不同几何背景下的具体表现。