[論文レビュー] Lower bounds of the Dirac eigenvalues on compact Riemannian spin manifolds with locally product structure

Eui Chul Kim|ArXiv.org|Feb 26, 2004

Geometric Analysis and Curvature Flows参考文献 18被引用数 6

ひとこと要約

本稿は、局所的積構造を備えたコンパクトなリーマンスピン多様体におけるディラック作用素の固有値に対する新たな下界を確立し、ケーラー幾何との類似性に着想を得ている。2つの鋭い固有値推定値を証明する：1つはバランスの取れた次元（$n_1 = n_2$）の場合、もう1つはアンバランスな次元（$n_1 > n_2$）の場合であり、両者ともフレーリングの不等式を改善し、以前の結果を一般化している。極限状態は、新しい微分方程式を満たす特別なスピン場を備えた多様体に対応する。

ABSTRACT

We study some similarities between almost product Riemannian structures and almost Hermitian structures. Inspired by the similarities, we prove lower eigenvalue estimates for the Dirac operator on compact Riemannian spin manifolds with locally product structures. We also provide some examples (limiting manifolds) for the limiting case of the estimates.

研究の動機と目的

• 局所的積構造を有する多様体へ、フレーリングの鋭い固有値下界を拡張すること。
• ケーラー幾何におけるものと類似する、改善された固有値推定が得られる幾何的条件を特定すること。
• 新しい固有値推定値の等号が成立する極限多様体を、特定のスピン場方程式によって特徴付けること。
• 具体的な例として、球面のリーマン的積や、キリングスピン場または平行スピン場を有する多様体を含む、極限多様体を構成すること。
• 以前の結果（例えば、平行1次形式を有する多様体に対する不等式）を、新しい枠組みの特別な場合として統合・一般化すること。

提案手法

• フレーリングの不等式を一般化するため、ケーラースピン幾何の技法をほぼ積リーマン幾何に適応し、ディラック作用素に「ねじれ作用素」$\widetilde{D}$ を導入すること。
• 平行テンソル場 $\phi$ で $\phi^2 = \text{id}$ かつ $\nabla\phi = 0$ を満たすものにより、局所的分解構造を定義し、直交する分布 $T^\pm(M^n)$ を得ること。
• スピン接続とクリフォード乗法を用いて、局所正規直交フレームにおいてディラック作用素およびそのねじれ版 $\widetilde{D}$ を導出すること。
• スカラー曲率 $S$ と分割分布の次元 $n_1, n_2$ を含む一般化されたフレーリング型不等式を用いて、固有値推定を確立すること。
• 等号が成立するための条件として、特定のスピン場微分方程式の非自明解の存在を用いること。
• キリングスピン場または平行スピン場を有する多様体の積をとることで、極限多様体の具体的な構成を行う。例として、奇数次元球面やユークリッド空間を含む。

実験結果

リサーチクエスチョン

• RQ1 局所的積構造を有するコンパクトなリーマンスピン多様体におけるディラック固有値の最良の下界は何か？
• RQ2 非自明な幾何的構造が存在する場合、これらの下界はどのようにフレーリングの不等式を一般化するか？
• RQ3 新しい固有値推定値の等号が成立する多様体はどのように特徴づけられるか？
• RQ4 極限状態は幾何的に実現可能か？どのような種類のスピン場が必要か？
• RQ5 新しい推定値は、平行1形式を有する場合といった、既知の結果とどのように関係するか？

主な発見

• $n = 2n_1$ かつ $n_1 = n_2$ を満たすコンパクトな局所的分解可能スピン多様体に対して、固有値は $\lambda^2 \geq \frac{n}{4(n-2)}\inf_M S$ を満たし、等号成立の必要十分条件はスピン場 $\psi^*$ が $\nabla_X\psi^* = -\frac{\lambda^*}{n}X\cdot\psi^* - \frac{1}{n}\phi(X)\cdot\widetilde{D}\psi^*$ を満たすことである。
• $n_1 > n_2 \geq 1$ の場合、下界は $\lambda^2 \geq \frac{n_1}{4(n_1-1)}\inf_M S$ に改善され、等号成立の必要十分条件はスピン場 $\psi^*$ が $\nabla_X\psi^* = -\frac{\lambda^*}{2n_1}X\cdot\psi^* - \frac{\lambda^*}{2n_1}\phi(X)\cdot\psi^*$ を満たすことである。
• 平行1形式を有する多様体に対する不等式 (1.2) は、定理1.2において $n_1 = n-1$, $n_2 = 1$ と置いた特別な場合として得られ、従来の結果と整合性を確認している。
• 明示的な極限多様体として、$M_1^{2m+1} \times M_2^{2s+1}$ の積が構成され、ここで $M_1$ はキリングスピン場を、$M_2$ は平行スピン場を有する。
• $M_1^{2m+1} \times M_2^{2m+1}$ の積で、両因子がキリングスピン場を有する場合、これは定理1.1の極限多様体となり、ねじれ微分方程式 (1.3) を満たす。
• $M_1^{2m+1} \times \overline{M}_2^{2s+1}$ の積で、$M_1$ がキリングスピン場を、$\overline{M}_2$ が平行スピン場を有する場合、これは定理1.2の極限多様体となり、方程式 (1.4) を満たす。