[論文レビュー] Survey on eigenvalues of the Dirac operator and geometric structures

Marcos Jardim, Leao, Rafael F.|ArXiv.org|Jun 6, 2007

Algebraic and Geometric Analysis参考文献 8被引用数 4

ひとこと要約

本調査は、正のスカラー曲率をもつコンパクトなリーマン多様体上のディラック作用素の固有値に対する鋭い下界を、その制限されたホロノミー群に応じて確立する。これはキルヒベルクのケーラーの場合の結果に対する新たな証明を提供し、クaternionケーラー、カラビ＝ヤウ、および例外的ホロノミー多様体へと分析を拡張する。SU(n)、Sp(n)、G2、またはSpin(7)ホロノミーをもつ多様体は、非自明なディラック作用素の核を有することを示している。

ABSTRACT

We give a survey of results relating the restricted holonomy of a Riemannian spin manifold with lower bounds on the spectrum of its Dirac operator, giving a new proof of a result originally due to Kirchberg.

研究の動機と目的

• リーマン多様体の制限されたホロノミー群とディラック作用素のスペクトルの下界との間の系統的な関係を確立すること。
• キルヒベルクのケーラー多様体に対する鋭い固有値不等式の、新たな洗練された証明を提供すること。
• クaternionケーラー多様体へのスペクトル推定値の拡張を行い、スカラー曲率を含む新たな鋭い下界を導出すること。
• SU(n)、Sp(n)、G2、またはSpin(7)ホロノミーをもつ多様体が、ディラック作用素に対して非自明な核をもつことを確立すること。
• 表現論とワイツェンボック公式を用いて、特殊な幾何的構造をもつ多様体における固有値推定値に関する既知の結果を統一的かつ包括的に調査すること。

提案手法

• 多様体の幾何的構造に適合したワイツェンボック公式を用い、ホロノミー群の表現論を統合する。
• ケーラーの場合にはケーラー形式の固有バンドルへのスピンルの分解を適用し、クaternionケーラーの場合には基本的4形式への分解を適用する。
• クリフォード乗法とスピンルバンドル上の適合接続を用いて、曲率依存の固有値推定値を導出する。
• Sp(1)Sp(n)の表現論を用いて、接続バンドルおよびスピンルバンドルを既約成分に分解し、スペクトル解析を可能にする。
• 射影作用素と内積恒等式を用いて、特にケーラーおよびクaternionケーラーの場合の鋭い不等式を導出する。
• 特別なホロノミーはリッチ平坦性またはアインシュタイン構造を意味することに着目し、これによりスカラー曲率および固有値の振る舞いが制約されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体の制限されたホロノミー群は、ディラック作用素のスペクトルをどのように制約するか？
• RQ2 正のスカラー曲率をもつケーラースピン多様体におけるディラック作用素の最小固有値の二乗に対する鋭い下界は何か？
• RQ3 ケーラー多様体のスペクトル推定値は、スピンルバンドルの分解と射影作用素に基づく新しい方法で再証明可能か？
• RQ4 正のスカラー曲率をもつクaternionケーラースピン多様体におけるディラック作用素の固有値に対する最適な下界は何か？
• RQ5 SU(n)、Sp(n)、G2、またはSpin(7)ホロノミーをもつ多様体において、ディラック作用素が非自明な核をもつ条件は何か？

主な発見

• 任意の次元 $ n $ および正のスカラー曲率 $ R_0 $ をもつコンパクトなリーマンスピン多様体について、ディラック作用素の任意の固有値 $ \theta $ に対して $ \theta^2 \neq \frac{1}{4}\frac{n}{n-1}R_0 $ が成り立ち、等号が成立するのは多様体がアインシュタインである場合に限る。
• 複素次元 $ n $ および正のスカラー曲率 $ R_0 $ をもつコンパクトなケーラースピン多様体において、固有値の下界は $ \theta^2 \geq \frac{1}{4}\frac{n+1}{n}R_0 $ であり、等号が成立するのは多様体がケーラー＝アインシュタインであり、かつ $ n $ が奇数である場合に限る。
• 実次元 $ 4n $ および正のスカラー曲率 $ R_0 $ をもつコンパクトなクaternionケーラースピン多様体において、固有値の下界は $ \theta^2 \geq \frac{1}{4}\frac{n+3}{4n+8}R_0 $ であり、等号が成立するのは多様体がクaternion射影空間である場合に限る。
• 制限されたホロノミーが $ SU(n) $、$ Sp(n) $、$ G_2 $、または $ \mathrm{Spin}(7) $ である多様体は、非自明な調和スピンルをもつ。つまり、ディラック作用素は非自明な核をもつ。
• ケーラーの場合の新しい証明は、射影作用素と内積恒等式を用いて鋭い下界を導出し、キルヒベルクの結果を異なる手法で確認している。
• ケーラーおよびクaternionケーラー多様体のスペクトル推定値は、それぞれの幾何的構造に適合したワイツェンボック公式を用いて導出されており、ホロノミー群によって誘導されるバンドルの分解が用いられている。