Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

技术摘要：谱 Ricci 曲率下界与平均凸边界下的刚性与柔性

问题陈述
本文研究了具有非空边界 $\partial M$ 的黎曼流形 $(M^n, g)$ 在 Ricci 曲率谱下界与平均凸边界条件下的几何与拓扑刚性。核心探究旨在回答引言中“问题 1"的边界类比：确定一个尖锐阈值 $\gamma(n)$，使得若一个紧流形 admits 一个满足谱条件 $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$（且可能包含边界条件）的度量，则它也必须 admits 一个具有严格正截面曲率和严格平均凸边界的度量。

谱条件定义为存在一个正函数 $u \in C^{2,\alpha}(M)$，使得在 $M$ 上 $-\gamma \Delta u + u \text{Ric} \ge 0$，且在 $\partial M$ 上 $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$，其中 $H_{\partial M}$ 是相对于向外单位法向量 $\nu$ 的平均曲率。作者试图将经典的刚性定理（特别是针对 $\text{Ric} \ge 0$ 的 Kasue 分裂定理）推广到这一谱设定中，并确定此类刚性或拓扑约束成立的最优 $\gamma$ 范围。

方法论
作者采用了一种以加权测地线为中心的变分方法。与近期利用 $\mu$-气泡（涉及高维极小曲面）的工作不同，本文利用泛函的一维极小化子：
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
其中 $d\ell_g$ 是黎曼长度元素。这一选择使作者能够避免在非紧设定中与高维极小超曲面相关的正则性问题。

核心技术手段包括：

1. 一阶与二阶变分公式：针对连接不相交边界分量的曲线，对泛函 $E(\beta)$ 进行了详细计算。这些计算导出了涉及 Ricci 曲率、$u$ 的 Hessian 以及边界平均曲率项的稳定性不等式。
2. 稳定性不等式（引理 1 与 2）：通过使用特定的截断函数测试二阶变分并利用加权标架，作者推导出了约束极小化曲线几何性质的积分不等式。
3. 测地线捕获与紧性（引理 3 与命题 4）：一个关键的技术贡献是证明：在非紧情形下，只要 $\gamma$ 位于特定的尖锐范围内，连接一个紧边界分量与其余边界部分的 $E(\beta)$ 极小化序列就不会“逃逸至无穷远”。这是通过利用截断函数和稳定性不等式构造矛盾来实现的，从而确保了全局极小化子的存在性。
4. 拓扑论证：本文将几何刚性结果与 Lawson 和 Michelsohn 关于存在正截面曲率度量的深刻定理相结合。

主要贡献与结果

1. 尖锐谱刚性（定理 1）
作者证明了 Kasue 刚性定理的一个尖锐推广。若 $(M^n, g)$ 是一个具有不连通边界（至少一个分量是紧的）的完备流形，且满足以下谱条件：

• 当 $n=2$ 时，$0 \le \gamma < 4$，
• 当 $n \ge 3$ 时，$0 \le \gamma < \frac{n-1}{n-2}$，
  则该流形等距分裂为乘积 $[0, L] \times \Sigma$，其中 $\Sigma$ 是一个满足 $\text{Ric}_\Sigma \ge 0$ 的紧流形。
• 尖锐性：作者提供了反例（命题 2 和 3），证明若 $\gamma$ 超过这些阈值，分裂结论将失效。具体而言，当 $\gamma = \frac{n-1}{n-2}$ 时，流形可能无法分裂；而当 $\gamma > \frac{n-1}{n-2}$ 时，拓扑结论将失效。

2. 拓扑刚性（定理 2）
本文确立了在相同谱条件下（阈值扩展至包含 $n \ge 3$ 时的等号，即 $0 \le \gamma \le \frac{n-1}{n-2}$），若至少有一个不等式是严格的，则相对基本群消失：$\pi_1(M, \partial M) = 0$。这意味着边界是连通的，且包含映射 $\partial M \hookrightarrow M$ 诱导了基本群上的满射。

• 意义：这将已知的 $\text{Ric} \ge 0$ 结果推广到了谱设定中。作者指出，流形本身的紧性并非必需；仅需一个边界分量是紧的即可。

3. 正曲率度量的存在性（定理 3）
结合定理 2 与 Lawson–Michelsohn 定理，作者证明了对于 $n \neq 4$，任何满足谱条件（且至少有一个严格不等式）的带边紧流形，都 admits 一个具有正截面曲率和严格平均凸边界的度量。

• 尖锐性：通过命题 1 证明了 $\gamma$ 范围的尖锐性，该命题构造了满足 $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ 但不 admits 此类度量的流形，当 $\gamma > \frac{n-1}{n-2}$ 时。
• 维数约束：该结果对 $n \neq 4$ 成立。作者明确指出，由于 Lawson–Michelsohn 工作中关于“伪 4-胞”的特定命题尚未解决，$n=4$ 的情形仍是一个开放问题。

4. 推论 1（统一刚性）
该结果综合了前述定理，指出对于 $\gamma$ 的尖锐范围，满足谱条件的流形要么等距分裂（若边界不连通），要么具有平凡相对基本群（若边界连通）。

意义与主张
本文声称解决了 $n \neq 4$ 时问题 1 的尖锐边界类比。作者强调，他们使用加权长度极小化子（一维对象）而非 $\mu$-气泡，是一个独特的方法论优势，特别是在处理非紧流形和避免高维正则性问题方面。

作者对其工作范围持谦逊态度：

• 他们承认，对于 $n \ge 5$ 的一般紧情形（无边界假设），问题 1 仍然广泛开放。
• 他们指出，定理 1（第 2 项）中的紧性假设对于 $n=2,3$ 或许可以移除，但这留待未来工作。
• 他们明确指出，由于 Lawson–Michelsohn 定理中的外部约束，$n=4$ 的情形是一个开放问题。
• 他们并未提出新的应用或实验方案，而是将工作定位为几何分析领域的理论进展，特别是将谱几何与拓扑刚性及曲率界限联系起来。

文章最后提供了附录结果（命题 5 和备注 6），给出了内径和 Bonnet–Myers 型直径估计的谱推广，显示了与先前文献相比，在界限对振荡依赖关系上的轻微改进。