[论文解读] Collapsing and Dirac-Type Operators

John Lott|ArXiv.org|May 1, 2000

Spectral Theory in Mathematical Physics参考文献 6被引用 10

一句话总结

本文研究了在有界直径与曲率下发生坍塌的黎曼流形上几何型狄拉克型算子的谱极限。通过使用超连接与G-流形上的横椭圆算子，证明了狄拉克算子的谱收敛于极限空间上的一阶微分算子，从而对不具有统一特征值上界的流形进行了刻画，并给出了有限体积负曲率流形上本质谱的公式。

ABSTRACT

We analyze the limit of the spectrum of a geometric Dirac-type operator under a collapse with bounded diameter and bounded sectional curvature. In the case of a smooth limit space B, we show that the limit of the spectrum is given by the spectrum of a certain first-order differential operator on B, which can be constructed using superconnections. In the case of a general limit space X, we express the limit operator in terms of a transversally elliptic operator on a G-space Y, with X = Y/G. As an application, we give a characterization of manifolds which do not admit uniform upper bounds, in terms of diameter and sectional curvature, on the k-th eigenvalue of the square of a Dirac-type operator. We also give a formula for the essential spectrum of a Dirac-type operator on a finite-volume manifold with pinched negative sectional curvature.

研究动机与目标

• 分析在有界直径与截面曲率下黎曼流形坍塌时几何型狄拉克型算子谱的极限。
• 刻画那些对狄拉克型算子平方的第k个特征值不具有统一上界的流形。
• 推导出在截面负曲率的有限体积流形上狄拉克型算子本质谱的公式。
• 通过超连接理论与G-流形技术，将先前工作中针对拉普拉斯算子的谱收敛结果推广至狄拉克型算子。

提出的方法

• 利用坍塌纤维上旋丛的平行截面，通过超连接构造极限空间 $ B $ 上的一阶微分算子 $ D^B $。
• 利用具有仿射纤维与仿不变纤维的黎曼纤维丛的几何结构，定义极限算子 $ D^B $，并引入曲率项 $ R^M, abla $ 与 $ T $。
• 通过 $ G $-流形 $ \check{X} $ 满足 $ X = \check{X}/G $，利用Gromov-Hausdorff逼近将谱收敛从光滑极限推广至一般极限空间 $ X $。
• 将 $ X $ 上的极限算子表示为 $ \check{X} $ 上的横椭圆算子，利用 $ G $ 在纤维上的稳定子作用。
• 通过将端部区域的截面以有界能量嵌入至模型纤维丛中，分析本质谱。
• 通过矩阵预解式恒等式证明全算子与模型算子的预解式之差为紧算子，从而证明本质谱相等。

实验结果

研究问题

• RQ1 在有界直径与曲率的流形坍塌下，狄拉克型算子的谱行为如何？
• RQ2 在Gromov-Hausdorff极限空间 $ X $ 上，极限算子的精确形式是什么？如何从几何上构造它？
• RQ3 能否显式计算有限体积、负曲率被夹紧的流形上狄拉克型算子的本质谱？
• RQ4 在何种条件下，$ D^M $ 的谱会一致收敛于极限空间 $ B $ 上的 $ D^B $？
• RQ5 对 $ (D^M)^2 $ 特征值的统一上界失效的障碍是什么？其与坍塌流形几何结构有何关联？

主要发现

• 当Gromov-Hausdorff距离 $ d_{GH}(M,B) $ 较小且曲率有界时，$ D^M $ 的谱在 $ \epsilon $ 范围内接近 $ B $ 上的 $ D^B $。
• 在光滑极限空间情况下，极限算子 $ D^B $ 是通过超连接构造的一阶微分算子，其额外包含依赖于 $ \Pi $ 与 $ T $ 的零阶项。
• 在一般极限空间 $ X $ 的情形下，极限算子通过满足 $ X = \check{X}/G $ 的 $ G $-流形 $ \check{X} $ 上的横椭圆算子实现。
• 本文给出了在截面负曲率的有限体积流形上 $ D^M $ 本质谱的公式，该公式源于端部区域的分析。
• 给出了一个刻画：若纤维稳定子群 $ H $ 满足 $ V^H = 0 $，则流形不具有 $ (D^M)^2 $ 的第 $ k $ 个特征值的统一上界。
• 本质谱等于模型算子 $ D^M_{\text{end}} $ 的本质谱，通过证明全算子与模型算子预解式之差为紧算子而得证。