[论文解读] Collapsing and the Differential Form Laplacian : The Case of a Singular Limit Space

John Lott|ArXiv.org|Jan 29, 2002

Geometric Analysis and Curvature Flows参考文献 25被引用 5

一句话总结

本文研究了在截面曲率和直径有界条件下，Riemann流形在坍塌至奇异极限空间时 $p$-形式拉普拉斯算子的行为。利用Gromov的预紧性定理以及在单位标架丛上的等变几何，构造了极限空间上的超连接拉普拉斯算子，并以曲率和直径为参数，推导出特征值的统一上下界，刻画了特征值可趋于无穷的条件。

ABSTRACT

In this paper, which is a sequel to math.DG/9902111, we analyze the limit of the p-form Laplacian under a collapse with bounded sectional curvature and bounded diameter to a singular limit space. As applications, we give results about upper and lower bounds on the j-th eigenvalue of the p-form Laplacian, in terms of sectional curvature and diameter.

研究动机与目标

• 将先前关于坍塌Riemann流形中 $p$-形式拉普拉斯算子的研究扩展至奇异极限空间的情形。
• 以截面曲率和直径为参数，建立 $p$-形式拉普拉斯算子第 $j$ 个特征值 $\lambda_{p,j}$ 的统一下界与上界。
• 刻画特征值可无界增长的条件，将其与极限空间的拓扑与几何结构，以及具有特定上同调性质的仿射纤维丛的存在性相联系。
• 通过在有界曲率坍塌产生的奇异空间上应用超连接理论，建立分析 $p$-形式拉普拉斯算子极限的框架。

提出的方法

• 应用Gromov的预紧性定理，从具有统一有界曲率与直径的流形序列中提取出Gromov-Hausdorff极限空间 $X$。
• 通过单位标架丛构造，将坍塌提升至单位标架丛上的 $O(n)$-等变极限，得到光滑极限空间 $\check{X}$。
• 利用等变几何及Cheeger、Fukaya与Gromov的研究成果，将 $p$-形式拉普拉斯算子的极限构造为 $X$ 上的平坦度为1的超连接。
• 通过分析超连接的上同调，将小特征值的个数与极限空间及其轨道簇结构的贝蒂数相联系。
• 运用谱序列与层论技巧，以 $b_1(X)$ 和 $\dim(M) - \dim(X)$ 为参数，界定 $1$-形式拉普拉斯算子的小特征值个数。
• 应用热核与曲率比较论证，推导出特征值界，尤其针对 $p=0,1$ 的情形。

实验结果

研究问题

• RQ1 在极限空间 $X$ 满足何种条件时，$p$-形式拉普拉斯算子的第 $j$ 个特征值 $\lambda_{p,j}$ 可以趋于无穷？
• RQ2 极限空间 $X$ 的贝蒂数与几何结构如何约束 $1$-形式拉普拉斯算子的小特征值个数？
• RQ3 当流形在有界曲率与直径下坍塌时，奇异极限空间 $X$ 上的极限算子具有何种结构？
• RQ4 当纤维丛的通解纤维上不存在非零的仿射平行 $k$-形式时，何时会导致 $p$-形式拉普拉斯算子的特征值无界？
• RQ5 在曲率与直径有界条件下，$1$-形式拉普拉斯算子的小特征值个数能否以 $b_1(M)$ 与 $\dim(M)$ 为参数进行界定？

主要发现

• 所有直径 $\leq 1$ 且截面曲率 $\leq K$ 的 $n$-维流形中，$p$-形式拉普拉斯算子第 $j$ 个特征值的下确界 $a^{1}_{n,p,j,K}$ 满足 $\lim_{j\to\infty} a^{1}_{n,p,j,K} = \infty$，表明特征值存在统一下界。
• 若 $A^{1}_{p,j,K}(M) = \infty$，则 $M$ 坍塌至极限空间 $X$，满足 $1 \leq \dim(X) \leq p-1$，且存在一个仿射纤维丛 $M \to X$，其通解纤维 $Z$ 不含非零的仿射平行 $k$-形式，其中 $p - \dim(X) \leq k \leq p$。
• 当 $p=0$ 或 $p=1$ 时，上确界 $A^{1}_{n,p,j,K}$ 为有限值，表明在曲率与直径约束下，特征值保持统一有界。
• $1$-形式拉普拉斯算子的小特征值个数受 $b_1(X) + \dim(M) - \dim(X)$ 限制，且该界是精确的，如Berger球面坍塌所示。
• 当 $p=2$ 且 $A^{1}_{2,j,K}(M) = \infty$ 时，$M$ 要么是几乎平坦流形 $Z$ 上的仿射微分同胚的映射柱面，且 $Z$ 不含非零的仿射平行 $1$-或 $2$-形式；要么是此类流形上的双重映射柱面。
• $1$-形式拉普拉斯算子的小特征值个数上界为 $b_1(M) + \dim(M)$，且当 $a_{1,j,K}(M) = 0$ 且 $j > b_1(M)$ 时，该界是精确的。