[论文解读] 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

一句话总结

本文在局部积结构的紧致黎曼自旋流形上建立了狄拉克算子特征值的新下界，灵感来源于凯勒几何的类比。证明了两个精确的特征值估计：一个针对平衡维数（$n_1 = n_2$），另一个针对非平衡维数（$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^2 = \text{id}$ 且 $\nabla\phi = 0$ 的平行张量场 $\phi$ 定义局部可分解结构，从而导出正交分布 $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^*$。
• 当 $n_1 = n-1$，$n_2 = 1$ 时，定理1.2的特例恢复了具有平行1-形式流形的不等式 (1.2)，确认与先前结果的一致性。
• 显式构造了极限流形为 $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$ 允许卡林格旋量场而 $\overline{M}_2$ 允许平行旋量场时，积 $M_1^{2m+1} \times \overline{M}_2^{2s+1}$ 构成定理1.2的极限流形，满足方程 (1.4)。