在數學中，阿蒂亞 辛格指標定理斷言：對於緊流形上的橢圓偏微分運算元，其解析指標（與解空間的維度相關）等於拓撲指標（決定於流形的拓撲性狀）。它涵攝了微分幾何中許多大定理，例如陳 高斯 博內定理和黎曼－羅赫定理，在理論物理學中亦有應用。 此定理由邁克爾阿蒂亞與艾沙道爾辛格於 1963 年證出。 符號簡述 X 是緊微分流形。 E 與 F 是 X 上的向量叢。 D E to F 是向量叢之間的橢圓偏微分運算元。 微分運算元的符號 設 D 是帶 k 個變元 x_1 ldots x_k 的 n 階微分運算元。其符號定義是以 x_1 ldots x_k y_1 ldots y_k 為變元的函式，其定義是將 D sum_r0n sum_i_1 ldots i_k r a_i_1 ldots i_kvec x partial_x_1i_1 cdots partial_x_ki_k 映至 sum_i_1 ldots i_k n a_i_1 ldots i_kvec x y_1i_1 cdots y_ki_k 因此符號對變元 vec y 是個 n 次齊次多項式。若此多項式滿足 P vec y 0 Leftrightarrow vec y0，則稱 D 是橢圓運算元。 例一。帶 k 個變元的拉普拉斯運算元其符號為 y_12 ldots y_k2，這是一個橢圓運算元。 以上所述是 mathbb Rk 上的偏微分運算元。今考慮微分流形 X，其上的 n 階偏微分運算元可以藉區域性坐標系定義。此時其符號是 X 的餘切叢 p T X to X 上的函式；對固定的 x in X，其符號是向量空間 T_x X 上的 n 次齊次函式，此定義與區域性座標的選取無關（偏微分運算元在坐標變換下的變換較為複雜，只能以射流叢定義；然而其最高階項的變換規律似於張量）。 進一步言之，對於向量叢之間的偏微分運算元 D E to F（一樣以區域性坐標定義），其符號是拉回叢 p mathrm HomEF 的截面。若對每個 x in X，此符號限制為可逆對映 E_x to F_x，則稱 D 為橢圓運算元。 粗略來說，橢圓運算元的關鍵特性在於它們「幾乎」可逆。對於緊流形上的橢圓運算元 D E to F，存在一個橢圓偽微分運算元 D 使得 DD 與 DD 都是緊運算元。由此可推知 D 的核與餘核都是有限維的。 解析指標 既然 D 有偽逆，它便是 Fredholm 運算元。對這類運算元，可定義指標為 Index D Dim Ker D Dim Coker D Dim Ker D Dim Ker D。 在微分幾何的脈絡下，常另稱為 D 的解析指標。 例二。考慮流形 mathbb S1 mathbb Rmathbb Z，運算元 D frac mathrm dmathrm d x lambda，其中 lambda in mathbb C，這是最簡單的橢圓運算元。若 lambda in 2pi i mathbb Z，則 mathrm KerD mathbb C elambda x，反之則為零空間；其伴隨運算元 D 滿足類似的性質，不難算出 D 的指數為零。由此例可見 dim mathrm KerD 與 dim mathrm KerD 在 lambda 變化時可能有不連續點，但其差則是個常數。 拓撲指標 設 X 是 n 維緊微分流形，橢圓偏微分運算元 D E to F 的拓撲指標定義為 1nmathrm chD mathrm TdXX 1nint_X mathrm chD mathrm TdX 換言之，是同調類 mathrm chD mathrm TdX 的最高維項在 X 的基本同調類上的取值。在此： mathrm TdX 是流形的 Todd 類。 mathrm chD phi1mathrm chd pE p F sigma D，在此 phi Hk Xmathbb Q to HnkB XS X mathbb Q 是託姆同構，B X S X 指單位球叢及其邊界。 mathrm ch 是陳特徵，sigma D 是 D 的符號，而 d p E p F sigma D 是 K 理論中定義的差元。 在特別的情況下，上方的定義可以被簡單化。設 X 為一個 2m 維、可定向、緊的流行，還假設它的尤拉示性數不等於零。引用託姆同構並從分類空間 BSO 的上同調環拉回尤拉類的逆元，我們可以將拓樸指標寫為 1mint_X frac operatorname chEoperatorname chFe TXoperatorname TdX 指標定理 符號同前。橢圓運算元 D 的解析指標在微小的擾動下不變，因此產生了一個自然的問題，稱為指標問題：可否以流形 X 及向量叢 E F 的拓撲不變量表示解析指標？ 阿蒂亞 辛格指標定理給出的解答是： D 的解析指標等於拓撲指標 解析指標通常難以計算，而拓撲指標儘管定義複雜，卻往往有直截了當的幾何意義。藉由選取適當的橢圓運算元 D E to F，指標定理可以給出豐富的幾何資訊。 例子 尤拉示性數 設 X 為有定向的緊流形。任選一黎曼度量，取 E bigwedgemathrm even T X，並取 F bigwedgemathrm odd T X，定義運算元 D d d E to F。此時的拓撲指標等於 X 的尤拉示性數，解析指標等於 sum_i 1i dim Hi_mathrm DRX。 希策布魯赫 黎曼 羅赫定理 設 X 為緊複流形，V 為其上的複向量叢。定義 E V otimes bigoplus_i mathrm even Omega_X0i F V otimes bigoplus_i mathrm odd Omega_X0i D overlinepartial overlinepartial E to F 則解析指標等於 mathrm IndexD sum 1p dim Hp XV 而拓撲指標等於 index D ch V Td XX Â 虧格與 Rochlin 定理 流形的 Â 虧格是個有理數。對於自旋流形，這個值總是整數，若 dim X equiv 4 mod 8，則它還是個偶數。這個定理可以由指標定理匯出，方法是考慮適當的狄拉克運算元；當 dim X equiv 4 mod 8 時，此運算元的核與餘核帶有四元數環上的向量空間結構，其複維度必為偶數，因此解析指標也必然是偶數。 歷史淵源 蓋爾芳特首先注意到解析指標的同倫不變性，並在 1959 年提出了橢圓運算元的指標問題，希望以流形的拓撲不變數描述解析指標。黎曼 羅赫定理是最早知道的特例；另一方面，波萊爾與希策布魯赫早先證明瞭自旋流形的 Â 虧格的整性，並猜想這個性質可以由某個狄拉克運算元的指標詮釋。這個問題也由阿蒂亞與辛格在 1961 年聯手解決。 阿蒂亞與辛格在 1963 年宣佈他們的指標定理，但一直沒有正式發表，只出現在 Palais 在 1965 年出版的書上。他們在 1968 年發表了第二個證明，用 K 理論取代了初版證明中的配邊論手法。 阿蒂亞、博特與 Patodi 在 1973 年以熱傳導方程的手法給出另一個證明。格茨勒基於愛德華維騰（1982）及 AlvarezGaume（1983）的想法，給出了區域性狄拉克運算元的區域性指標定理的簡短證明，這涵攝了實際應用中的大多數例子。 證明手法 偽微分運算元 偽微分運算元的想法可以從歐氏空間上的常係數偏微分運算元解釋，在此情況下，這些運算元不外是多項式函式的傅立葉變換；如果我們容許更一般的函式，其傅立葉變換就構成了偽微分運算元。對於一般的流形，可以透過區域性坐標系定義偽微分運算元，只是手續稍微繁瑣一些。 指標定理的許多證明中都利用偽微分運算元，而非一般的微分運算元，因為前者的理論更富彈性。舉例來說，橢圓運算元的偽逆不是微分運算元，卻仍是偽微分運算元；另一方面，群 K B XS X 的元素對應到橢圓偽微分運算元的符號。 對偽微分運算元可以定義階數，這個數可以是任意實數，甚至是負無窮大；此外也能定義其符號。橢圓偽微分運算元定義為些對長度夠長的餘切向量為可逆的偽微分運算元。指標定理的多數版本皆可推廣到橢圓偽微分運算元的情形。 配邊 指標定理的首個證明奠基於希策布魯赫 黎曼 羅赫定理，並運用到配邊理論與偽微分運算元。想法簡述如下。 考慮由資料 XV 構成的環，其中 X 是緊定向微分流形，V to X 是向量叢，其加法與乘法分別由不交併與積匯出；我們考慮此環對關係 partial X V_partial X sim 0 的商環。這個構造類似於配邊環，不過此時我們還慮及流形上的向量叢。解析指標與拓撲指標皆可詮釋為從此環映至整數環的同態。託姆的配邊理論給出了這個環的一組生成元，我們可以對這些較簡單的例子驗證指標定理，從而匯出一般的情形。 K 理論 阿蒂亞與辛格正式發表的第一個證明採用了 K 理論。設 X Y 為緊流形，i X to Y 為閉浸入，他們對橢圓運算元定義了一個推前運算 i_，並證明 i_ 保持指標。我們一方面可取 Y 為一個包括 X 的高維球面；另一方面，仍取 Y 為前述球面，而 X 為其內一點。由於 i_ 保持指標，而拓撲指標也具備相容的運算，兩相比較後可將指標定理化約到一個點的情形，此時極易證明。 熱傳導方程 阿蒂亞、博特 與 Patodi 在 1973 年給出了熱傳導方程手法的證明。格茨勒、伯利納與弗尼在 2002 年給出一個精神相近的簡化證明，其中利用了超對稱的想法。 設 D 為偏微分運算元，D 為其伴隨運算元，則 D D、DD 是自伴運算元，並具有相同的非零特徵值（記入重數），但是它們核空間不一定有相同維度。D 的指標寫作 mathrm IndexD dim mathrm KerD dimmathrm KerD mathrm Tr etD D mathrm TdetDD 在此 t 0 可任取。 上式右側是兩個熱核的差，它們在 t to 0 時有漸近表示式，它乍看複雜，但不變數理論表明其中有許多相銷項，藉此可明確寫下領導項，由此可證出指標定理。這些相銷現象稍後也得到超對稱理論的詮釋。 推廣 推廣至橢圓偽微分運算元的情形。 考慮更一般的橢圓複形，這是一個由向量叢構成的上鏈複形 0 E0 E1 E2 Em 0 其中的每個箭頭都是偽微分運算元，其符號構成一個正合複形。當只有兩項非零時，前述條件等價於其間的運算元是橢圓的，因此橢圓運算元是橢圓複形的特例。反過來說，給定一個橢圓複形，分別考慮其奇次項與偶次項的直和，其間的對映由原複形的對映及伴隨對映給出，如此則可得到橢圓運算元。 帶邊界的流形。 考慮一族以流形 Y 為引數空間而變化橢圓運算元，相應的解析指數可定義為 K Y 的元素。 設李群 G 作用在緊流形 X 上，並與所論的橢圓運算元交換，則我們可以用等變 K 理論替代一般的 K 理論，得到的結果稱為等變指標定理。 L2 指標定理。 阿貝爾獎公告上的引語 當阿蒂亞與辛格在 2004 年獲得阿貝爾獎時，公告上是這麼形容阿蒂亞 辛格指標定理的： 參考資料 書籍 利用熱傳導方程與超對稱手法證明狄拉克運算元的指標定理。 採用熱傳導方程手法的課本，可自由下載。 可自由下載。 描述了指標定理的原始證明。 論文 and Bismut 用機率論的手法證明指標定理。 重印於他的全集第一卷，p 6575 ISBN 0387136193 在第 120 頁，蓋爾芳特提示了橢圓運算元的指標可以用拓撲量表示。 外部連結 Rafe Mazzeo The AtiyahSinger Index Theorem What it is and why you should care PDF 格式 Raussen Skau Interview with Atiyah Singer Notices AMS 2005 R R Seeley and other Recollections from the early days of index theory and pseudodifferential operators A J Wassermann Lecture Notes on the AtiyahSinger Index Theorem A Category 橢圓型偏微分方程 A