[论文解读] The Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and $\mathbb{S}^n$

Emanuel Milman, Joe Neeman|arXiv (Cornell University)|May 18, 2022

Point processes and geometric inequalities被引用 4

一句话总结

该论文解决了 $ℝ^n$ 和 $ℝ^n$ 上的多泡形等周猜想，适用于所有 $q \leq \min(5, n+1)$，证明了最小化器具有球面对称界面，并等价于 $ℝ^{n+1}$ 中 $q$ 个仿射函数的Voronoi胞腔，或与 $ℝ^n$ 的凸多面体交集。证明利用了Möbius几何与共形Killing向量场，确认了胞腔连通、对称，并在所有界面非空时形成标准泡形。

ABSTRACT

The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed in 2000 by Hutchings-Morgan-Ritoré-Ros, and is nowadays fully resolved for all $n \geq 2$. The double-bubble conjecture on $\mathbb{S}^2$ and triple-bubble conjecture on $\mathbb{R}^2$ have also been resolved, but all other cases are in general open. We confirm the conjecture on $\mathbb{R}^n$ and on $\mathbb{S}^n$ for all $q \leq \min(5,n+1)$, namely: the double-bubble conjectures for $n \geq 2$, the triple-bubble conjectures for $n \geq 3$ and the quadruple-bubble conjectures for $n \geq 4$. In fact, we show that for all $q \leq n+1$, a minimizing cluster necessarily has spherical interfaces, and after stereographic projection to $\mathbb{S}^n$, its cells are obtained as the Voronoi cells of $q$ affine-functions, or equivalently, as the intersection with $\mathbb{S}^n$ of convex polyhedra in $\mathbb{R}^{n+1}$. Moreover, the cells (including the unbounded one) are necessarily connected and intersect a common hyperplane of symmetry, resolving a conjecture of Heppes. We also show for all $q \leq n+1$ that a minimizer with non-empty interfaces between all pairs of cells is necessarily a standard bubble. The proof makes crucial use of considering $\mathbb{R}^n$ and $\mathbb{S}^n$ in tandem and of Möbius geometry and conformal Killing fields; it does not rely on establishing a PDI for the isoperimetric profile as in the Gaussian setting, which seems out of reach in the present one.

研究动机与目标

• 解决 $ℝ^n$ 和 $ℝ^n$ 上 $q \leq \min(5,n+1)$ 时的多泡形等周猜想，其中 $q$ 为胞腔数量。
• 表征等周簇的结构为仿射函数的Voronoi胞腔，或与 $ℝ^n$ 的凸多面体交集。
• 证明最小化簇具有球面对称界面且连通，与一共同对称超平面相交，从而解决Heppes的猜想。
• 建立所有胞腔对之间界面非空的最小化器必为标准泡形的结论。

提出的方法

• 利用Möbius几何与共形Killing向量场，通过立体投影将 $ℝ^n$ 和 $ℝ^n$ 上的等周结构联系起来。
• 通过加权黎曼流形与光滑正密度，分析 $q$-簇的几何，聚焦于 $\mu$-加权周长与体积。
• 应用 $ℝ^n \subset \u211d^{n+1}$ 中 $q$ 个等距点的Voronoi胞腔概念，以定义标准泡形。
• 使用第二基本形式 $\mathrm{I\!I}$ 与加权切向散度 $\text{div}_{\Sigma,\mu}$ 计算曲率与平均曲率项。
• 利用Codazzi方程与加权 Ricci 张量 $\text{Ric}_{\Sigma,\mu} = \text{Ric}_{\Sigma} + \nabla^2 W$ 推导几何恒等式，用于引理 B.1 的证明。
• 在黎曼法坐标系中执行技术性计算，以验证 $\text{div}_{\Sigma,\mu}(X^{\mathfrak{n}}\mathrm{I\!I}Y^{\mathbf{t}})$ 的散度恒等式。

实验结果

研究问题

• RQ1 在 $ℝ^n$ 和 $ℝ^n$ 上，当 $q \leq \min(5,n+1)$ 时，等周 $q$-簇是否唯一实现为标准泡形？
• RQ2 在 $ℝ^n$ 和 $ℝ^n$ 上，最小化簇是否具有球面对称界面，并作为 $ℝ^n$ 与 $ℝ^{n+1}$ 中凸多面体的交集？
• RQ3 最小化器的胞腔结构是否连通且对称，并与一共同对称超平面相交？
• RQ4 在何种条件下，所有胞腔对之间界面非空的最小化器必为标准泡形？”

主要发现

• 当 $q \leq \min(5,n+1)$ 时，$ℝ^n$ 和 $ℝ^n$ 上的多泡形等周猜想得到证实，涵盖 $n \geq 2$ 时的双泡形、$n \geq 3$ 时的三泡形，以及 $n \geq 4$ 时的四泡形。
• 当 $q \leq n+1$ 时，$ℝ^n$ 和 $ℝ^n$ 上的最小化簇具有球面对称界面，且等价于 $ℝ^{n+1}$ 中 $q$ 个仿射函数的Voronoi胞腔。
• 经立体投影后，$ℝ^n$ 上最小化器的胞腔为 $ℝ^n$ 与 $ℝ^{n+1}$ 中凸多面体的交集。
• 所有胞腔，包括无界胞腔，均连通并相交于一共同对称超平面，从而解决Heppes的猜想。
• 当 $q \leq n+1$ 时，所有胞腔对之间界面非空的最小化器必为标准泡形。
• 该证明依赖于Möbius几何与共形Killing向量场，避免使用高斯设定下的PDI方法，因这些方法在此处不适用。