[论文解读] Isoperimetric Regions in Nonpositively Curved Manifolds

Joel Hass|arXiv (Cornell University)|Apr 11, 2016

Point processes and geometric inequalities参考文献 16被引用 4

一句话总结

本文构建了二维和三维 Cartan–Hadamard 流形的显式例子——即完备、单连通的黎曼流形且具有非正曲率——其中等周区域既非凸的也非连通的。通过将平坦球体嵌入双曲背景中，作者证明了不连通的构型可以以更小的边界面积实现给定体积，这与直观预期相悖，即此类区域应为凸的或连通的球体。

ABSTRACT

Isoperimetric regions minimize the size of their boundaries among all regions with the same volume. In Euclidean and Hyperbolic space, isoperimetric regions are round balls. We show that isoperimetric regions in two and three-dimensional nonpositively curved manifolds are not necessarily balls, and need not even be connected.

研究动机与目标

• 研究 Cartan–Hadamard 流形中的等周区域是否必须为凸或连通。
• 挑战长期存在的猜想，即非正曲率空间中的等周区域总是凸的或拓扑球体。
• 在二维和三维中构造显式反例，其中等周区域是不连通的。
• 证明经典等周性质——在固定体积下最小化边界面积——可在非正曲率空间中由非凸、不连通区域实现。
• 表明此类区域的存在与广义 Cartan–Hadamard 猜想相容，即使区域本身不连通或非凸。

提出的方法

• 在二维或三维流形上构造一个黎曼度量，使其在紧支集外与双曲空间等距，并在两个不相交的球体上为平坦的。
• 利用扭曲积结构将平坦球体粘合到双曲环境空间中，确保整体曲率为非正。
• 应用双曲空间中的等周不等式，表明当组件位于平坦球体中时，不连通区域可实现比连通区域更低的边界面积。
• 利用比较几何和边界第二基本形式的界，排除在大分离距离下存在连通等周区域的可能性。
• 利用欧氏空间中极小曲面的稳定性结果，推导出曲率的统一界，从而得出任何潜在连通等周区域面积的下界。
• 使用体积与面积的比较论证：若假设的连通区域的边界面积超过某一阈值（例如 251328），则其不可能是最优的，从而导致矛盾。

实验结果

研究问题

• RQ1 Cartan–Hadamard 流形中的等周区域是否必然为凸的？
• RQ2 非正曲率流形中的等周区域是否可能不连通？
• RQ3 欧氏空间与双曲空间中的经典等周性质是否可推广至一般的 Cartan–Hadamard 流形？
• RQ4 在三维中，等周区域的连通性是否为曲率约束的必然结果？
• RQ5 在三维非正曲率流形中，等周区域是否可能出现非凸的分量？

主要发现

• 存在二维和三维 Cartan–Hadamard 流形，其包含不连通的等周区域，从而推翻了此类区域必须连通的猜想。
• 当分离距离 $d$ 足够大时，在构造的流形 $Q(d)$ 中，体积 $V = 8377580$ 的等周区域不是连通的。
• 在 $Q(d)$ 中，任何假设的连通等周区域的边界面积在 $d$ 较大时超过 251328，因此相比不连通构型并非最优。
• 在二维 Cartan–Hadamard 流形中，等周区域的每个连通分量均为凸圆盘，但这一性质在三维中不成立。
• 该构造可经微扰得到具有严格负曲率的例子，同时保持不连通的等周区域。
• 基于边界曲面间曲率与平均曲率矛盾的论证，非凸等周区域在三维中很可能存在。