查看“阿蒂亞－辛格指標定理”的源代码

在[[數學]]中，'''阿蒂亞-辛格指標定理'''斷言：對於緊[[流形]]上的[[橢圓偏微分算子]]，其'''解析指標'''（與解空間的維度相關）等於'''拓撲指標'''（決定於流形的拓撲性狀）。它涵攝了微分幾何中許多大定理，例如[[陳-高斯-博内定理]]和[[黎曼－罗赫定理]]，在[[理論物理學]]中亦有應用。

此定理由[[邁克爾·阿蒂亞]]與[[艾沙道尔·辛格]]於1963年證出。

==符號簡述==
* ''X'' 是緊微分流形。
* ''E'' 與 ''F'' 是 ''X'' 上的[[向量叢]]。
* <math>D: E \to F'</math>是向量叢之間的橢圓偏微分算子。

==微分算子的符號==
設 <math>D</math> 是帶 <math>k</math> 個變元 <math>x_1, \ldots, x_k</math> 的 <math>n</math> 階微分算子。其'''符號'''定義是以 <math>x_1, \ldots, x_k, y_1, \ldots, y_k</math> 為變元的函數，其定義是將
: <math>D = \sum_{r=0}^n \sum_{i_1 + \ldots + i_k = r} a_{i_1, \ldots, i_k}(\vec x) \partial_{x_1}^{i_1} \cdots \partial_{x_k}^{i_k}</math>
映至
: <math>\sum_{i_1 + \ldots + i_k = n}  a_{i_1, \ldots, i_k}(\vec x) y_1^{i_1} \cdots y_k^{i_k}</math>

因此符號對變元 <math>\vec y</math> 是個 ''n'' 次齊次多項式。若此多項式滿足 <math>P(\vec y) = 0 \Leftrightarrow \vec y=0</math>，則稱 <math>D</math> 是橢圓算子。

'''例一'''. 帶 <math>k</math> 個變元的[[拉普拉斯算子]]其符號為 <math>y_1^2 + \ldots y_k^2</math>，這是一個橢圓算子。

以上所述是 <math>\mathbb{R}^k</math> 上的偏微分算子。今考慮微分流形 <math>X</math>，其上的 <math>n</math> 階偏微分算子可以藉局部坐標系定義。此時其符號是 <math>X</math> 的[[餘切叢]] <math>p: T^* X \to X</math> 上的函數；對固定的 <math>x \in X</math>，其符號是向量空間 <math>T^*_x X</math> 上的 <math>n</math> 次齊次函數，此定義與局部座標的選取無關（偏微分算子在坐標變換下的變換較為複雜，只能以[[射流叢]]定義；然而其最高階項的變換規律似於[[張量]]）。

進一步言之，對於向量叢之間的偏微分算子 <math>D: E \to F</math>（一樣以局部坐標定義），其符號是[[拉回叢]]  <math>p^* \mathrm{Hom}(E,F)</math> 的截面。若對每個 <math>x \in X</math>，此符號限制為可逆映射 <math>E_x \to F_x</math>，則稱 <math>D</math> 為橢圓算子。

粗略來說，橢圓算子的關鍵特性在於它們「幾乎」可逆。對於緊流形上的橢圓算子 <math>D: E \to F</math>，存在一個橢圓[[偽微分算子]] <math>D'</math> 使得 <math>DD'</math> 與 <math>D'D</math> 都是[[緊算子]]。由此可推知 <math>D</math> 的核與餘核都是有限維的。

==解析指標==
既然 <math>D</math> 有偽逆，它便是 Fredholm 算子。對這類算子，可定義指標為
:Index(''D'') = Dim Ker(D) &minus; Dim Coker(''D'') = Dim Ker(D) &minus; Dim Ker(''D''<sup>*</sup>)。
在微分幾何的脈絡下，常另稱為<math>D</math>的'''解析指標'''。

'''例二'''. 考慮流形 <math>\mathbb{S}^1 := \mathbb{R}/\mathbb{Z}</math>，算子 <math>D = \frac{\mathrm{d}}{\mathrm{d}x} - \lambda</math>，其中 <math>\lambda \in \mathbb{C}</math>，這是最簡單的橢圓算子。若 <math>\lambda \in 2\pi i \mathbb{Z}</math>，則 <math>\mathrm{Ker}(D) = \mathbb{C} e^{\lambda x}</math>，反之則為零空間；其伴隨算子 <math>D^*</math> 滿足類似的性質，不難算出 <math>D</math> 的指數為零。由此例可見 <math>\dim \mathrm{Ker}(D)</math> 與 <math>\dim \mathrm{Ker}(D^*)</math> 在 <math>\lambda</math> 變化時可能有不連續點，但其差則是個常數。

==拓撲指標==
設 <math>X</math> 是 ''n'' 維緊微分流形，橢圓偏微分算子 <math>D: E \to F</math> 的拓撲指標定義為

: <math>\mathrm{ch}(D) \mathrm{Td}(X)[X] </math>

換言之，是同調類 <math>\mathrm{ch}(D) \mathrm{Td}(X)</math> 的最高維項在 <math>X</math> 的[[基本同調類]]上的取值。在此：
* <math>\mathrm{Td}(X)</math> 是流形的 Todd 類。
* <math>\mathrm{ch}(D) = \phi^{-1}(\mathrm{ch}(d(p^*E, p^* F, \sigma(D)))</math>，在此 <math>\phi : H^k(X,\mathbb{Q}) \to H^{n+k}(B(X)/S(X), \mathbb{Q}) </math> 是[[托姆同構]]，<math>B(X), S(X)</math> 指單位球叢及其邊界。
* <math>\mathrm{ch}</math> 是[[陳特徵]]，<math>\sigma(D)</math> 是 <math>D</math> 的符號，而 <math>d(p^* E, p^* F, \sigma(D))</math> 是 K 理論中定義的差元。

==指標定理==
符號同前。橢圓算子 <math>D</math> 的解析指標在微小的擾動下不變，因此產生了一個自然的問題，稱為'''指標問題'''：可否以流形 <math>X</math> 及向量叢 <math>E, F</math> 的拓撲不變量表示解析指標？

阿蒂亞-辛格指標定理給出的解答是：
: ''D'' 的解析指標等於拓撲指標

解析指標通常難以計算，而拓撲指標儘管定義複雜，卻往往有直截了當的幾何意義。藉由選取適當的橢圓算子 <math>D: E \to F</math>，指標定理可以給出豐富的幾何信息。

==例子==
===歐拉示性數===
設 <math>X</math> 為有定向的緊流形。任選一黎曼度量，取 <math>E := \bigwedge^\mathrm{even} T^* X</math>，並取 <math>F := \bigwedge^\mathrm{odd} T^* X</math>，定義算子 <math>D := d + d^* : E \to F</math>。此時的拓撲指標等於 <math>X</math> 的[[歐拉示性數]]，解析指標等於 <math>\sum_i (-1)^i \dim H^i_\mathrm{DR}(X)</math>。

===希策布魯赫-黎曼-羅赫定理===
設 <math>X</math> 為緊複流形，<math>V</math> 為其上的複向量叢。定義
: <math>E := V \otimes \bigoplus_{i: \mathrm{even}} \Omega_X^{0,i}</math>
: <math>F := V \otimes \bigoplus_{i: \mathrm{odd}} \Omega_X^{0,i}</math>
: <math>D := \overline\partial + \overline\partial^* : E \to F</math>

則解析指標等於
: <math>\mathrm{Index}(D) = \sum (-1)^p \dim H^p (X,V)</math>
而拓撲指標等於
: index(''D'') = ch(''V'')Td(''X'')[''X''],

===Â 虧格與 Rochlin 定理===
流形的[[Â虧格]]是個有理數。對於[[自旋流形]]，這個值總是整數，若 <math>\dim X \equiv 4 \mod 8</math>，則它還是個偶數。這個定理可以由指標定理導出，方法是考慮適當的[[狄拉克算子]]；當 <math>\dim X \equiv 4 \mod 8</math> 時，此算子的核與餘核帶有[[四元數]]環上的向量空間結構，其複維度必為偶數，因此解析指標也必然是偶數。

==歷史淵源==
[[蓋爾芳特]]首先注意到解析指標的同倫不變性，並在1959年提出了橢圓算子的指標問題，希望以流形的拓撲不變量描述解析指標。[[黎曼-羅赫定理]]是最早知道的特例；另一方面，波萊爾與希策布魯赫早先證明了自旋流形的Â虧格的整性，並猜想這個性質可以由某個狄拉克算子的指標詮釋。這個問題也由阿蒂亞與辛格在1961年聯手解決。

阿蒂亞與辛格在1963年宣佈他們的指標定理，但一直沒有正式發表，只出現在 Palais 在1965年出版的書上。他們在1968年發表了第二個證明，用K理論取代了初版證明中的配邊論手法。

阿蒂亞、[[拉烏爾·博特|博特]]與 Patodi 在 1973 年以[[熱傳導方程]]的手法給出另一個證明。格茨勒基於[[愛德華·維騰]]（1982）及 Alvarez-Gaume（1983）的想法，給出了局部狄拉克算子的局部指標定理的簡短證明，這涵攝了實際應用中的大多數例子。

==證明手法==
===偽微分算子===
{{main|偽微分算子}}
偽微分算子的想法可以從歐氏空間上的常係數偏微分算子解釋，在此情況下，這些算子不外是多項式函數的傅立葉變換；如果我們容許更一般的函數，其傅立葉變換就構成了偽微分算子。對於一般的流形，可以透過局部坐標系定義偽微分算子，只是手續稍微繁瑣一些。

指標定理的許多證明中都利用偽微分算子，而非一般的微分算子，因為前者的理論更富彈性。舉例來說，橢圓算子的偽逆不是微分算子，卻仍是偽微分算子；另一方面，群 <math>K(B(X),S(X))</math> 的元素對應到橢圓偽微分算子的符號。

對偽微分算子可以定義階數，這個數可以是任意實數，甚至是負無窮大；此外也能定義其符號。橢圓偽微分算子定義為些對長度夠長的餘切向量為可逆的偽微分算子。指標定理的多數版本皆可推廣到橢圓偽微分算子的情形。

===配邊===
指標定理的首個證明奠基於[[希策布魯赫-黎曼-羅赫定理]]，並運用到[[配邊理論]]與偽微分算子。想法簡述如下。

考慮由資料 <math>(X,V)</math> 構成的環，其中 <math>X</math> 是緊定向微分流形，<math>V \to X</math> 是向量叢，其加法與乘法分別由不交并與積導出；我們考慮此環對關係 <math>(\partial X, V|_{\partial X}) \sim 0</math> 的商環。這個構造類似於配邊環，不過此時我們還慮及流形上的向量叢。解析指標與拓撲指標皆可詮釋為從此環映至整數環的同態。托姆的配邊理論給出了這個環的一組生成元，我們可以對這些較簡單的例子驗證指標定理，從而導出一般的情形。

===K 理論===
阿蒂亞與辛格正式發表的第一個證明採用了[[K-理論]]。設 <math>X, Y</math> 為緊流形，<math>i: X \to Y</math> 為閉浸入，他們對橢圓算子定義了一個推前運算 <math>i_!</math>，並證明 <math>i_!</math> 保持指標。我們一方面可取 <math>Y</math> 為一個包括 <math>X</math> 的高維球面；另一方面，仍取 <math>Y</math> 為前述球面，而 <math>X</math> 為其內一點。由於 <math>i_!</math> 保持指標，而拓撲指標也具備相容的運算，兩相比較後可將指標定理化約到一個點的情形，此時極易證明。

===熱傳導方程===
阿蒂亞、博特 與 Patodi 在1973年給出了熱傳導方程手法的證明。格茨勒、伯利納與弗尼在2002年給出一個精神相近的簡化證明，其中利用了[[超對稱]]的想法。

設 <math>D</math> 為偏微分算子，<math>D^*</math> 為其伴隨算子，則 <math>D^* D</math>、<math>DD^*</math> 是自伴算子，並具有相同的非零[[特徵值]]（記入重數），但是它們核空間不一定有相同維度。<math>D</math> 的指標寫作
: <math>\mathrm{Index}(D) = \dim \mathrm{Ker}(D) - \dim\mathrm{Ker}(D^*) = \mathrm{Tr} (e^{-tD^* D}) - \mathrm{Td}(e^{-tDD^*})</math>

在此 <math>t >0</math> 可任取。

上式右側是兩個熱核的差，它們在 <math>t \to 0+</math> 時有漸近表示式，它乍看複雜，但[[不變量理論]]表明其中有許多相銷項，藉此可明確寫下領導項，由此可證出指標定理。這些相銷現象稍後也得到超對稱理論的詮釋。

==推廣==
* 推廣至橢圓偽微分算子的情形。
* 考慮更一般的[[橢圓複形]]，這是一個由向量叢構成的[[上鏈複形]]
:0 &rarr; ''E''<sub>0</sub> &rarr; ''E''<sub>1</sub> &rarr;''E''<sub>2</sub> &rarr; ...  &rarr; ''E''<sub>''m''</sub> &rarr;0
其中的每個箭頭都是偽微分算子，其符號構成一個正合複形。當只有兩項非零時，前述條件等價於其間的算子是橢圓的，因此橢圓算子是橢圓複形的特例。反過來說，給定一個橢圓複形，分別考慮其奇次項與偶次項的直和，其間的映射由原複形的映射及伴隨映射給出，如此則可得到橢圓算子。
* 帶邊界的流形。
* 考慮一族以流形 <math>Y</math> 為參數空間而變化橢圓算子，相應的解析指數可定義為 <math>K(Y)</math> 的元素。
* 設[[李群]] <math>G</math> 作用在緊流形 <math>X</math> 上，並與所論的橢圓算子交換，則我們可以用等變K理論替代一般的K理論，得到的結果稱為等變指標定理。
* L<sup>2</sup> 指標定理。

==阿貝爾獎公告上的引語==
當阿蒂亞與辛格在2004年獲得[[阿貝爾獎]]時，公告上是這麼形容阿蒂亞-辛格指標定理的：

{{cquote|科學家以隨時空改變的力與測量量描述世界。自然律以這些量的變化率表示，稱為微分方程。這些方程可以有個「指標」，這是方程的解數減去對所求值的限制數目。阿蒂亞-辛格指標以空間的幾何性質描述這個量。

<p>
[[毛瑞特斯·柯奈利斯·艾雪|艾雪]]著名的詭異作品《升降》解釋了一個簡單的例子。圖中的人們一直在上坡，卻仍繞行著城堡的天井。指標定理可以告訴它們：這是辦不到的。}}

==參考資料==
===書籍===
*{{citation|last= Atiyah|first= Michael|title= Collected works. Vol. 3. Index theory: 1. |series=Oxford Science Publications|publisher= The Clarendon Press, Oxford University Press|publication-place=New York|year= 1988a| ISBN= 0-19-853277-6 }}
*{{citation|last= Atiyah|first= Michael|title= Collected works. Vol. 4. Index theory: 2. |series=Oxford Science Publications|publisher= The Clarendon Press, Oxford University Press|publication-place=New York|year= 1988b| ISBN= 0-19-853278-4 }}
*{{citation|first1=Nicole |last1=Berline|first2= Ezra |last2=Getzler|first3= Michèle|last3= Vergne|title= Heat Kernels and Dirac Operators|year=2004|ISBN=3540200622}} 利用熱傳導方程與超對稱手法證明狄拉克算子的指標定理。
* {{citation|first=Peter B. |last=Gilkey|year=1994|url= http://www.emis.de/monographs/gilkey/|title=Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem| ISBN=0849378745}} 採用熱傳導方程手法的課本，可自由下載。
* {{citation|first=Richard B. |last=Melrose|year=1993|url=http://www-math.mit.edu/~rbm/book.html |title=The Atiyah-Patodi-Singer Index Theorem| ISBN=1568810024}} 可自由下載。
*{{citation|first=Richard S. |last=Palais |year=1965|title=Seminar on the Atiyah-Singer Index Theorem| series=Annals of Mathematics Studies|volume=57| ISBN=0691080313}} 描述了指標定理的原始證明。 
*{{citation|last=Shanahan|first= P. |url=http://thepiratebay.org/tor/3524522/Shanahan_P._The_Atiyah-Singer_index_theorem__an_introduction_(Le |title=The Atiyah-Singer index theorem: an introduction|ISBN=0387086609 |series=Lecture Notes in Mathematics |volume=638|publisher= Springer|year= 1978}}

===論文===
*{{citation|last=Atiyah|first= M. F.
|chapter=Elliptic operators, discrete groups and von Neumann algebras|title= Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974)|pages=  43-72|series= Asterisque|volume= 32-33|publisher= Soc. Math. France, Paris|year= 1976}} 
*{{citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators on Compact Manifolds|journal= Bull. Amer. Math. Soc.|volume= 69|pages= 322-433|year= 1963 |url=http://www.ams.org/bull/1963-69-03/S0002-9904-1963-10957-X/home.html}}
*{{citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |url=http://links.jstor.org/sici?sici=0003-486X%28196805%292%3A87%3A3%3C484%3ATIOEOI%3E2.0.CO%3B2-M  |title=The Index of Elliptic Operators I|journal= Ann. Math. |volume=87|pages= 484-530|year= 1968a}}
*{{citation |first=M. F. |last=Atiyah|first2= G. B.|last2= Segal |url=http://links.jstor.org/sici?sici=0003-486X%28196805%292%3A87%3A3%3C531%3ATIOEOI%3E2.0.CO%3B2-2 |title=The Index of Elliptic Operators: II|journal= The Annals of Mathematics  2nd Ser.|volume= 87 |issue=3|year= 1968|pages= 531-545}}
*{{citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |url=http://links.jstor.org/sici?sici=0003-486X%28196805%292%3A87%3A3%3C546%3ATIOEOI%3E2.0.CO%3B2-V  |title=The Index of Elliptic Operators III.|journal=The Annals of Mathematics  2nd Ser.|volume= 87|issue=3|year= 1968b|pages= 546-604}}  
*{{citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |url=http://links.jstor.org/sici?sici=0003-486X%28197101%292%3A93%3A1%3C119%3ATIOEOI%3E2.0.CO%3B2-2 |title=The Index of Elliptic Operators IV.|journal= The Annals of Mathematics 2nd Ser.|volume= 93|issue=1|year= 1971|pages=  119-138}} 
*{{citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |url=http://links.jstor.org/sici?sici=0003-486X%28197101%292%3A93%3A1%3C139%3ATIOEOV%3E2.0.CO%3B2-V |title=The Index of Elliptic Operators V.|journal=The Annals of Mathematics 2nd Ser.|volume= 93|issue= 1|year= 1971|pages= 139-149}}.
*{{citation|first=M. F.|last= Atiyah|first2= R.|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Differential Operators.|journal= Bull. Am. Math. Soc. |volume=72 |year=1966|pages= 245-50
|url=http://www.ams.org/bull/1966-72-02/S0002-9904-1966-11484-2/home.html}}.
*{{citation|first=M. F.|last= Atiyah|first2= R.|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: I |url=http://links.jstor.org/sici?sici=0003-486X%28196709%292%3A86%3A2%3C374%3AALFPFF%3E2.0.CO%3B2-N 
|journal=The Annals of Mathematics  2nd Ser.|volume= 86|issue=2 |year= 1967|pages= 374-407 }} and {{citation|first=M. F.|last= Atiyah|first2= R.|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications.
|url=http://links.jstor.org/sici?sici=0003-486X%28196811%292%3A88%3A3%3C451%3AALFPFF%3E2.0.CO%3B2-B |journal=The Annals of Mathematics  2nd Ser.|volume=88|issue=3|year= 1968|pages=451-491}}
*{{citation|last=Atiyah|first= M.|last2= Bott|first2= R.|last3= Patodi|first3= V. K.|title= On the heat equation and the index theorem|journal= Invent. Math.|volume= 19 |year=1973|pages= 279-330|    doi=10.1007/BF01425417}}{{citation|title= Errata |journal=Invent. Math.|volume=  28  |year=1975|pages= 277-280    |doi=10.1007/BF01425562}}
*{{citation|last= Atiyah|first= Michael|last2= Schmid|first2= Wilfried |title=A geometric construction of the discrete series for semisimple Lie groups|journal= Invent. Math.|volume= 42 |year=1977|pages= 1-62|doi=    10.1007/BF01389783}}, {{citation|title= Erratum:|journal=  Invent. Math. |volume= 54  |year=1979|issue= 2|pages=189-192|doi=10.1007/BF01408936}}
*{{citation|first=Jean-Michel|last=Bismut|title=The Atiyah–Singer Theorems: A Probabilistic Approach. I. The index theorem.|url=http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WJJ-4D8DXG0-8J-1&_cdi=6880&_user=10&_orig=search&_coverDate=06%2F01%2F1984&_sk=999429998&view=c&wchp=dGLbVzb-zSkWW&md5=0d679ec499c8595e59bbc7b047a752b8&ie=/sdarticle.pdf|journal=J. Funct. Analysis|year=1984|volume=57|pages=56-99}} Bismut 用機率論的手法證明指標定理。
*{{citation|first=I. M. |last=Gel'fand|title=On elliptic equations|journal=Russ. Math.Surv.|volume= 15 |issue=3|year=1960|pages=  113-123}} 重印於他的全集第一卷, p. 65-75, ISBN 0-387-13619-3. 在第120頁，蓋爾芳特提示了橢圓算子的指標可以用拓撲量表示。
*{{citation|first=E.|last= Getzler|url=http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796 |title=Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem |journal=Commun. Math. Phys.|volume= 92 |year=1983|pages=  163–178}}
*{{citation|first=E. |last=Getzler|doi=10.1016/0040-9383(86)90008-X |title=A short proof of the local Atiyah–Singer index theorem|journal=Topology|volume= 25 |year=1988|pages= 111–117}}
*{{citation|first=E.|last= Witten|title=Supersymmetry and Morse theory|journal=  J. Diff. Geom. |volume= 17  |year=1982|pages= 661–692}}

==外部連結==
* Rafe Mazzeo: [http://math.stanford.edu/~mazzeo/Web/Talks/asit3.pdf ''The Atiyah-Singer Index Theorem: What it is and why you should care'']. PDF 格式.
*Raussen, Skau, [http://www.ams.org/notices/200502/comm-interview.pdf Interview with Atiyah, Singer], Notices AMS 2005.
*R. R. Seeley and other, [https://web.archive.org/web/20010604143427/http://mmf.ruc.dk/~Booss/recoll.pdf Recollections from the early days of index theory and pseudo-differential operators ]
*{{springer|id=I/i050650|title=Index formulas|author=M. I. Voitsekhovskii, M.A. Shubin}}
*A. J. Wassermann, [https://web.archive.org/web/20070322074425/http://iml.univ-mrs.fr/~wasserm/ Lecture Notes on the Atiyah-Singer Index Theorem]

[[Category:微分幾何|A]]
[[Category:橢圓型偏微分方程]]
[[Category:數學定理|A]]