[論文レビュー] On the definition of geometric Dirac operators

Herbert Schroeder|ArXiv.org|May 24, 2000

Algebraic and Geometric Analysis参考文献 23被引用数 11

ひとこと要約

この論文は、主バンドルを避ける純代数的・表現論的定義を用いてスピン構造およびスピン^c 構造とその関連するディラック作用素を定義し、標準的なバンドル理論的アプローチと同等であることを証明する。スピン・ディラック作用素の二乗に対するボッハナー＝ヴァイツェンボックの公式を確立し、それが接続ラプラシアンとスカラー曲率およびバンドル接続を含む曲率項の和に等しいことを示す。この結果は、インデックス理論およびセイバーグ・ワトソン理論への応用を含む。

ABSTRACT

In this largely expository paper we give a self-contained treatment of the Dirac operator. Emphasizing the algebraic point of view we first sketch the necessary prerequisites from Clifford algebras and their representations and then define (and characterize) spin structures and the corresponding Spin-Dirac operator purely in the spirit of irreducible representations. We also prove its equivalence with the usual approach via principal bundles. We conclude with other geometric Dirac operators and their properties using the afore-mentioned setting.

研究の動機と目的

• 主バンドルを参照せずに、スピンおよびスピン^c 構造の代替的で表現論的定義を提示すること。
• この代数的定義が古典的なバンドル理論的構成と同等であることを示すこと。
• 特に、文献で軽視されている1963年のG. カーラーの業績を挙げ、このアプローチの歴史的先行性を明確にすること。
• 補助バンドルを用いたテンソル積の文脈において、スピン・ディラック作用素に対するボッハナー＝ヴァイツェンボックの公式を導出し、証明すること。
• 微分トポロジーの深い結果、特にインデックス定理やセイバーグ・ワトソン理論とこの形式的枠組みを結びつけること。

提案手法

• フレームバンドルの上への持ち上げを避けて、複素クリフォードバンドルの非可約表現を用いてスピン構造を定義する。
• クリフォード代数の代数的構造を用いて、スピン角ばらんと関連するディラック作用素を内在的に構成する。
• 接続のライブニッツ則を用いて、スピン角ばらんと補助バンドルのテンソル積上の接続を構成する。
• 個々の接続の曲率を用いて、テンソル積バンドル上に誘導される接続の曲率を導出する。
• ウェイツェンボックの公式を用いてディラック作用素の二乗の作用を計算し、接続ラプラシアン、スカラー曲率、および補助バンドルを含む曲率項に分解する。
• スピン^c ディラック作用素に対して、公式 $ D_{S^c}^2 = \nabla^*\nabla + \frac{1}{4}\tau + \frac{1}{2}\Omega $ を確立する。ここで $ \Omega $ は関連する線形バンドルの曲率形式である。

実験結果

リサーチクエスチョン

• RQ1 スピン構造およびその関連するディラック作用素は、主バンドルを参照せずに、クリフォードバンドルの非可約表現のみを用いて純粋に定義可能か？
• RQ2 表現論的定義と古典的なバンドル理論的定義との間の正確な関係は何か？
• RQ3 スピン角ばらんが補助ベクトルバンドルとテンソル積をとる場合、ディラック作用素に対するボッハナー＝ヴァイツェンボックの公式はどのように一般化されるか？
• RQ4 テンソル積バンドル上のディラック作用素の二乗における曲率項 $ \mathcal{R}^E $ の役割は何か？
• RQ5 この代数的アプローチは、$ \hat{A} $- genus や $ \alpha $-不変量といったトポロジカル不変量とどのように関係するか？

主な発見

• 表現論的定義は標準的な主バンドル定義と同等であり、より代数的かつアクセスしやすい形式を提供する。
• スピン角ばらんとバンドル $ E $ のテンソル積上のスピン・ディラック作用素の二乗は、$ (D_{AS} \otimes I_E)^2 = \nabla^*\nabla + \frac{1}{4}\tau + \mathcal{R}^E $ を満たす。ここで $ \mathcal{R}^E $ は補助バンドルの曲率を含む零次作用素である。
• スピン^c 構造では、公式は $ D_{S^c}^2 = \nabla^*\nabla + \frac{1}{4}\tau + \frac{1}{2}\Omega $ に一般化され、$ \Omega $ は関連する線形バンドルの曲率形式である。
• スピン^c 多様体上のディラック作用素のインデックスは、$ \mathop{\rm ind}\nolimits D^{0}_{S^c} = \int_M e^{c/2} \hat{A}(TM) $ で与えられる。ここで $ c = c_1(L_{S^c}) $ である。
• 正のスカラー曲率を持つ計量が存在する多様体では、$ \alpha $-不変量は消えるが、この障害はインデックス公式によって捉えられる。
• この形式的枠組みは、4次元多様体の分類に大きな進展をもたらしたセイバーグ・ワトソン理論の基礎を提供する。