New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

技术摘要：新的谱性 Bishop–Gromov 与 Bonnet–Myers 定理及其在等周问题中的应用

问题陈述
本文研究了黎曼几何中经典比较定理——特别是 Bishop–Gromov 体积比较定理和 Bonnet–Myers 直径定理——在谱理论背景下的推广。经典定理依赖于 Ricci 曲率的点状下界（$\text{Ric} \geq (n-1)\lambda$）。本研究探讨了当曲率条件被涉及算子 $-\gamma\Delta + \text{Ric}$（其中 $\gamma \geq 0$）的谱条件取代时，类似的体积和直径界限是否仍然成立。

核心问题是确定参数 $\gamma$ 的精确范围，在此范围内，上述谱条件可以推导出：

1. 基本群 $\pi_1(M)$ 的有限性。
2. 普遍覆叠空间 $\tilde{M}$ 的直径上界。
3. $M$（或 $\tilde{M}$）的体积上界。
4. 对于具有非负 Ricci 曲率和谱双 Ricci（bi-Ricci）曲率条件的完备流形，其无穷远处的精确等周控制。

方法论
作者结合了几何测度论、谱分析和变分方法。其核心技术创新包括：

1. 不等权重的等周剖面（Unequally Weighted Isoperimetric Profiles）：
   与以往使用等权重剖面的谱推广研究（例如在维度 3 中）不同，作者引入了一个对于面积项和体积项具有不等权重的剖面。对于满足谱条件的正函数 $u$，作者定义了：
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   这种特定的权重分配使得能够导出等周剖面的一个精细微分不等式：
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   该不等式在粘性意义（viscosity sense）下成立，并与常曲率情况下的精细不等式相匹配，从而通过 ODE 比较法实现精确的体积估计。

2. 不等扭曲的 $\mu$-气泡（Unequally Warped $\mu$-Bubbles）：
   为了建立直径界限，作者利用了 $\mu$-气泡技术（最初由 Gromov 提出）。他们定义了一个具有不等扭曲势能的泛函：
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   通过精心选择满足涉及 $\nabla h$、$u$ 和 $\gamma$ 的特定微分不等式的扭曲函数 $h$，作者得出：如果直径过大，则会产生矛盾。这种方法将直径界限扩展到了谱条件具有实际意义的整个 $\gamma$ 范围内。

3. 稳定性与正则性：
   证明过程涉及对能量泛函二阶变分的分析。一个显著的技术障碍是对于维度 $n \geq 8$ 的极小超曲面可能出现的奇异性问题。作者借鉴了相关文献（特别是 [7, 11]）中的论证方法，证明了稳定性不等式在远离奇异集的变分下依然成立，从而将结果扩展到所有维度 $n \geq 3$。

主要贡献与结果

1. 谱性 Bishop–Gromov 与 Bonnet–Myers 定理（定理 1 与 推论 1）
本文建立了经典定理的精细推广。设 $(M, g)$ 为维度 $n \geq 3$ 的闭黎曼流形。若存在正光滑函数 $u$ 使得：
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
其中 $0 \leq \gamma \leq \frac{n-1}{n-2}$ 且 $\lambda > 0$，则：

• 直径界限： 普遍覆叠空间 $\tilde{M}$ 的直径满足：
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  因此，$\pi_1(M)$ 是有限的。
• 体积界限： 普遍覆叠空间的体积满足：
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• 刚性： 若体积界限取等号，则 $u$ 为常数，且 $\tilde{M}$ 与半径为 $\lambda^{-1/2}$ 的圆球面等距。

作者证明了 $\gamma \leq \frac{n-1}{n-2}$ 这一范围是精确的；当 $\gamma > \frac{n-1}{n-2}$ 时，存在反例（例如在 $S^1 \times S^{n-1}$ 上），其中谱条件成立但体积和直径界限失效。

2. 稳定 Bernstein 问题解法（定理 2）
作为直接应用，作者解决了 $\mathbb{R}^6$ 中的稳定 Bernstein 问题。他们证明了任何浸入的、完备的、连通的、双侧的、稳定的极小超曲面 $M^n \hookrightarrow \mathbb{R}^{n+1}$（对于 $2 \leq n \leq 5$）均为欧几里得超平面。该结果依赖于从稳定性算子中导出的谱条件以及定理 1 中确立的 $\gamma$ 精确范围。$n=6$ 的情况仍是一个开放问题。

3. 无穷远处的等周问题（定理 3）
对于满足 $3 \leq n \leq 5$、$\text{Ric} \geq 0$ 且在紧集外部满足谱双 Ricci 条件 $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ 的完备非紧流形，本文证明了：

• 线性体积增长： 该流形具有线性体积增长。
• 精确等周剖面： 等周剖面 $I_M(v)$ 满足 $I_M(v) \leq \text{vol}(S^{n-1})$，对于所有 $v > 0$ 成立。
• 刚性： 若对于某个 $v$ 取等号，则该流形在有界集外与圆柱体 $S^{n-1} \times [0, \infty)$ 等距。

意义与主张
作者声称，其主要创新在于引入了不等权重的等周剖面和不等扭曲的 $\mu$-气泡。这些工具使得恢复精确常数并将其扩展到 $\gamma$ 有效的整个范围成为可能，克服了以往方法（如要求 $\gamma < \frac{4}{n-1}$ 或导致非精确体积界限的方法）的局限性。

本文强调，对于 $\pi_1(M)$ 的有限性和体积界限而言，$\gamma \leq \frac{n-1}{n-2}$ 是最优的，这一点通过超临界 $\gamma$ 的显式反例得到了证实。此外，这项工作统一并扩展了关于稳定 Bernstein 问题以及具有非负 Ricci 曲形的流形中等周结构的现有研究，提供了一个统一的谱框架来处理这些几何问题。研究结果表明，其结论适用于所有维度 $n \geq 3$，并对 $n \geq 8$ 的奇异情况进行了专门处理。