[论文解读] A discontinuous isoperimetric profile for a complete Riemannian manifold

Stefano Nardulli, Pierre Pansu|arXiv (Cornell University)|Jun 16, 2015

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

一句话总结

本文构造了首个已知的具有不连续等周轮廓的完备非紧致三维黎曼流形。通过将一系列体积缩小的幂零流形（nilmanifolds）以细管连接，作者构建了一个在体积为1处等周轮廓突然下降的流形，表明即使在完备黎曼流形中，若无额外的曲率或几何约束，等周轮廓的连续性也无法保证。

ABSTRACT

The first known example of a complete Riemannian manifold whose isoperimetric profile is discontinuous is given.

研究动机与目标

• 解决关于完备黎曼流形是否可能具有不连续等周轮廓的开放问题。
• 构造一个反例，以反驳在最小几何假设下等周轮廓连续性的猜想。
• 证明等周区域的存在性与下界 Ricci 曲率条件不足以保证等周轮廓的连续性。
• 通过利用幂零流形几何与 Carnot-Carathéodory 度量，扩展对非紧致流形中等周行为的理解。

提出的方法

• 利用海森堡群的 Carnot-Carathéodory 几何，构造一系列互不相交的幂零流形 $N_{t_n, ho_n}$，其体积为 $1 + \tau_n$，且等周轮廓在下界上一致有界。
• 利用海森堡群中的等周不等式（Pansu, 1983），建立每个 $N_{t_n, ho_n}$ 的等周轮廓的统一下界 $c$，确保对小体积有 $I_{N_{t_n, ho_n}}(v) \geq c$。
• 通过控制体积 $w_n$ 与面积 $a_n$ 的细管连接相邻流形，选择使得 $\sum w_n < 1/2$ 且 $\sum a_n < c/16$，从而在体积1处保持等周轮廓的下界。
• 通过将修改后的幂零流形 $\tilde{N}_n$ 与细管 $T_n$ 以连通和方式粘合，构造一个连通流形 $M$，确保光滑性与受控几何性质。
• 通过考虑体积为 $1 + \alpha_n$ 且边界面积趋于0的区域 $D_n = \tilde{N}_n$，证明当 $\alpha_n \to 0^+$ 时，有 $I_M(1+\alpha_n) \to 0$。
• 通过利用 $\tilde{N}_n$ 的下界与连接细管的总面积极小性，证明 $I_M(1) \geq c/16 > 0$，从而对任意体积1的区域其面积有下界。

实验结果

研究问题

• RQ1 是否存在一个完备且非紧致的黎曼流形，其等周轮廓不连续？
• RQ2 即使流形是完备的且具有有界几何，等周轮廓是否仍可能不连续？
• RQ3 球体积的非坍塌假设是否为完备流形中等周轮廓连续性的必要条件？
• RQ4 能否利用具有 Carnot-Carathéodory 度量的幂零流形构造出等周轮廓不连续的流形？
• RQ5 对所有体积均存在等周区域是否足以保证等周轮廓的连续性？

主要发现

• 所构造流形 $M$ 的等周轮廓 $I_M$ 在体积1处不连续，且满足 $\lim_{v \to 1^+} I_M(v) = 0$。
• 尽管存在不连续性，仍有 $I_M(1) \geq c/16 > 0$，其中 $c$ 为海森堡群等周不等式中的统一下界。
• 构造使用了序列幂零流形 $N_{t_n,\epsilon_n}$，满足 $\mathrm{vol}(N_{t_n,\epsilon_n}) = 1 + \tau_n$，$\tau_n = 1/n$，且 $\epsilon_n = \tau_n^3$，确保小体积下等周轮廓保持下界。
• 连接细管的总体积满足 $\sum w_n < 1/2$，总面积满足 $\sum a_n < c/16$，从而保证体积1的区域边界面积有下界。
• 不连续性源于：体积为 $1 + \alpha_n$ 的区域可选择在单个 $\tilde{N}_n$ 内部，其边界面积可任意小；而任何体积1的区域必须跨越多个组件，从而继承连接细管带来的显著面积。
• 结果表明，即使在具有下界 Ricci 曲率与等周区域存在性条件下，等周轮廓的连续性仍无法保证，因此非坍塌假设的必要性仍为开放问题。