アティヤ=シンガーの指数定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

アティヤ=シンガーの指数定理(Atiyah–Singer index theorem)とは、スピンc多様体 の上の複素ベクトル束の間の楕円型微分作用素について、解析的指数と呼ばれる量と位相的指数と呼ばれる量とが等しいという定理である。解析的指数は与えられた楕円型微分作用素が定める偏微分方程式の解の次元を表す解析的な量であり、一方で位相的指数は微分作用素の主表象をもとにして多様体のコホモロジーを通じて定義される幾何的な量である。従って指数定理は解析学幾何学という見かけ上異なった体系の間のつながりを与えているという意味で20世紀の微分幾何学における最も重要な定理ともいわれる。

本稿で述べる形の指数定理はマイケル・アティヤイサドール・シンガーによって1963年に発表[1]され、1968年に証明[2] [3]が刊行された。指数定理の特別な場合として、以前から知られていたガウス・ボンネの定理ヒルツェブルフ・リーマン・ロッホの定理ヒルツェブルフ英語版リーマン・ロッホの定理)などが含まれていると理解できる。さらに、1950年代の終わりに得られていたグロタンディ-ク・リーマン・ロッホの定理英語版グロタンディークのリーマン・ロッホの定理)はこの定理の定式化に大きな影響を与えたとされ、グロタンディークが代数多様体に対して用いたK理論の構成を微分多様体に対して実行することが指数定理の定式化・証明における重要なステップをなしている。またアティヤ-シンガーによる枠組みの一般化として群が作用している場合や、楕円型微分作用素を持つ多様体が、ある多様体によってパラメーター付けされた族として与えられている場合、葉層構造によってパラメーター付けが与えられている場合などに指数定理が一般化されている。

この定理の研究から、アティヤとシンガーは2004年にアーベル賞を受賞した。

楕円型微分作用素[編集]

n 変数 x1, ..., xnに関する 高々p 階の偏微分作用素

D = \sum_{|\alpha| \le p} c_{\alpha}(x_1, \ldots, x_n) \frac{\partial^{\alpha_1}}{\partial x_1^{\alpha_1}} \cdots \frac{\partial^{\alpha_n}}{\partial x_n^{\alpha_n}}

が与えられたとき、各 k について xkに関する偏微分作用素を新たな変数 ykに置き換えることで、2 n 個の変数x1, ..., xn, y1, ..., yn ついての関数

\sum_{|\alpha| \le p} c_{\alpha}(x_1, \ldots, x_n) y_1^{\alpha_1} \cdots y_n^{\alpha_n}

が得られる。これは D の表象 (symbol) と呼ばれる。また、y変数に関する最高次の部分

\sigma(D) = \sum_{|\alpha| = p} c_{\alpha}(x_1, \ldots, x_n) y_1^{\alpha_1} \cdots y_n^{\alpha_n}

D主表象 (principal symbol) と呼ばれる。y 座標がすべて 0 でない限り主表象が 0 にならないような作用素 D楕円型と呼ばれる。

一般にx に関する座標変換の下での偏微分作用素の変換規則はジェットベクトルの変換則になり、低次の項まで含めた表象に対する変換規則は複雑なものになるが、最高次の部分である主表象に関する変換則は共変ベクトルに関するものと同じになり、主表象は余接束上の関数と考えるのが幾何的に自然な解釈となる。従って D が一般の多様体の上でベクトル束の切断の間の擬微分作用素として定義されている場合にも楕円型作用素の定義は意味を持つ。多様体 M とその上の楕円型微分作用素 Dについて Dの主表象 σ(D) は余接束の全空間 T*M の K群 K0(T*M) の元を表していると見なすことができる。

楕円型微分作用素の例としてディラック作用素、符号作用素、複素多様体上の正則ベクトル束から定まるドルボー作用素などが挙げられる。

解析的指数[編集]

Mコンパクト多様体E, FM 上の複素ベクトル束とし、楕円型微分作用素D: Γ(M, E ) → Γ( M, F) が与えられているとする。このときDパラメトリックスをもつのでフレドホルム作用素と見なすことができ、dim(ker D) と dim(coker D) は有限になる。D解析的指数は Inda D = dim(ker D) − dim(coker D) と定められる。

位相的指数[編集]

上の記号の下で、 Dの主表象σ(D) はK0(T*M) の元を与えているが、これをチャーン指標 ch を通じてコホモロジー群の元 ch(σ(D)) ∈ H*c(T*M) として表示できる。さらに、コホモロジーにおけるトム同型 φ: H*c(T*M) → H*(M) によって M のコホモロジー類 φ ch(σ(D)) が得られる。D の位相的指数は、M のトッド類 Td(M) と φ ch(σ(D)) とのカップ積を基本類とペアリングさせることによってえられる

\mbox{Ind}_t(D) = (\phi \mbox{ch}(\sigma(D)) \cup Td(M), [M])

として定められる。

発展[編集]

解析的指数と位相的指数はともに多様体の K群の間の準同型として定式化することができる。したがって指数定理とは(K向き付けの与えられた)滑らかな写像 f: MN が引き起こす二つの指数写像 Inda(f), Indt(f): K*(M) → K*(N) の一致として定式化される。解析的指数 Inda作用素環論的に双変 K 理論を用いて定式化することができ、一方で位相的指数 Indt は M のユークリッド空間 Rnへの埋め込みと、ボット周期性K*(Rn × N) = K*+ n(N)を通じて定式化される。こうして多様体の族に関する指数定理を述べることができ、Nが一点の場合が上記のAtiyah-Singerの指数定理に相当する。群作用がある場合や、族が葉層構造によって与えられている場合の指数定理はこれらの構成を適切なカテゴリーに拡張することによって述べられる。

応用[編集]

アティヤ=シンガーの指数定理はゲージ理論において、反自己共役接続のモジュライ空間の形式的な次元の計算などさまざまな部分に応用される。

一般に、古典的な理論で成立する対称性量子化によって破れることを量子異常またはアノマリーという。 代表的なアノマリーとして、カイラル・アノマリー重力アノマリーパリティ・アノマリーなどがある(詳細はアノマリーの項を参照)。Atiyah-Singerの定理を使うと、アノマリーに幾何学的な意味を与えることができる。

[編集]

オイラー標数[編集]

M をコンパクトな向き付け可能多様体とする。Eを余接バンドルの偶の外積のべきの和とし F を奇数の外積のべきの和として、D = d + d* として、E から F への写像を考える。すると D の位相的指数は、M のホッジコホモロジーオイラー標数となり、解析的指数は多様体のオイラー類英語版(Euler class)となる。この作用素の指数公式は、チャーン・ガウス・ボネの定理である。

ヒルツェブルフ・リーマン・ロッホの定理[編集]

X を複素ベクトルバンドル V を持つ複素多様体とする。ベクトルバンドル E と F を係数を V に持つタイプ (0,i) の、それぞれ i が偶数と奇数の微分形式とし、微分作用素 D を E へ制限した和

\overline\partial + \overline\partial^*

とすると、D の解析的指数は、V の正則オイラー標数英語版(holomorphic Euler characteristic)

index(D) = Σ(−1)p dim Hp(X,V)

である。

D の位相的指数は、

index(D) = ch(V)Td(X)[X]

で与えられ、V のチャーン指標と X の上の基本類上で評価したトッド類の積となる。位相的指数と解析的指数が等しいことにより、ヒルツェブルフ・リーマン・ロッホの定理を得る。実際、この一般化がすべての複素多様体に対して成立する。ヒルツェブルフは射影複素多様体 X に対してのみ証明した。

ヒルツェブルフ・リーマン・ロッホの定理のこの導出は、楕円作用素というよりは楕円複体の指数定理とみなすと、より自然である。\overline\partial により与えられた微分形式を持つ複体を、

0 → VV ⊗ Λ0,1T*(X) → V ⊗ Λ0,2T*(X)...

としてとると、i 番目のコホモロジー群はまさに連接コホモロジー群 Hi(X, V) であるので、この複体の解析的指数は正則オイラー標数 Σ (−1)i dim(Hi(X, V)) である。前と同様に位相的指数は ch(V)Td(X)[X] である。

ヒルツェブルフの符号定理[編集]

ヒルツェブルフの符号定理英語版(Hirzebruch signature theorem)は、次元 4k のコンパクトな滑らかな多様体 X の符号は多様体のL-種数英語版(L genus)であるという定理である。このことは、アティヤ・シンガーの指数的を告ぎの符号作用素へ適用することにより得られる。

バンドル E と F は X の微分形式のバンドル上の作用素の、それぞれ固有値 +1 と −1 の固有空間で与えられ、作用素は k-形式上では、

i k(k−1)

倍のホッジ * 作用素英語版(Hodge * operator)として作用する。作用素 D は E へ制限したホッジラプラシアン

D\equiv \Delta :=(\mathbf d + \mathbf{d^*})^2

である。ここに d はカルタン外微分d* はその随伴作用素である。

D の解析的指数は、多様体 X の符号で、その位相的指数は X の L-種数であるので、これらは等しい。

 種数とローリンの定理[編集]

 種数は、任意の多様体に対して定義される一般には整数でない有理数である。ボレル(Borel)とヒルツェブルフは、 種数がスピン多様体に対しては整数であり、次元が 4 mod 8 であれば偶数であることを示した。このことは指数定理から導くことができ、スピン多様体にたいする  種数はディラック作用素の指数であることを意味する。次数 4 mod 8 の 2 toiu 余剰因子は、ディラック作用素の核と余核が四元数構造を持っている場合、複素ベクトル空間は偶数次元を持ち、指数が偶数となるという事実に起因する。

4 次元では、この結果はローリンの定理を意味していて、4-次元のスピン多様体の符号は 16 で割り切れる。このことは、次元 4 では Â 種数が符号の 1/8 をマイナスした値であるからである。

参考文献[編集]

  1. ^ Atiyah, Michael F. and Singer, Isadore M., The Index of Elliptic Operators on Compact Manifolds, Bull. Amer. Math. Soc. 69, 322-433, 1963.
  2. ^ Atiyah, Michael F. and Singer, Isadore M., The Index of Elliptic Operators I Ann. Math. 87, 484-530, 1968. K理論を用いた指数定理の証明
  3. ^ M. F. Atiyah; G. B. Segal The Index of Elliptic Operators: II The Annals of Mathematics 2nd Ser., Vol. 87, No. 3 (May, 1968), pp. 531-545
  • 古田, 幹雄 (1999, 2002). 指数定理1, 2. 東京: 岩波書店.