[论文解读] Entropy of closed surfaces and min-max theory

Daniel Ketover, Xin Zhou|arXiv (Cornell University)|Sep 21, 2015

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

一句话总结

本文证明了在 ℝ³ 中任意光滑、闭合、嵌入的 2-球面的熵至少不小于自缩两球的熵，从而证实了 Colding-Ilmanen-Minicozzi-White 的一个猜想。通过在高斯面积泛函上应用极小极大理论，构造一个精心设计的四参数曲面族，并利用度数论证排除收敛到平面的可能性，作者建立了平均曲率流奇点模型的抛物型 Willmore 猜想的版本，其中圆球为极小极大极限。

ABSTRACT

Entropy is a natural geometric quantity measuring the complexity of a surface embedded in $\mathbb{R}^3$. For dynamical reasons relating to mean curvature flow, Colding-Ilmanen-Minicozzi-White conjectured that the entropy of any closed surface is at least that of the self-shrinking two-sphere. We prove this conjecture for all closed embedded $2$-spheres. Assuming a conjectural Morse index bound (announced recently by Marques-Neves), we can improve the result to apply to all closed embedded surfaces that are not tori. Our results can be thought of as the parabolic analog to the Willmore conjecture and our argument is analogous in many ways to that of Marques-Neves on the Willmore problem. The main tool is the min-max theory applied to the Gaussian area functional in $\mathbb{R}^3$ which we also establish. To any closed surface in $\mathbb{R}^3$ we associate a four parameter canonical family of surfaces and run a min-max procedure. The key step is ruling out the min-max sequence approaching a self-shrinking plane, and we accomplish this with a degree argument. To establish the min-max theory for $\mathbb{R}^3$ with Gaussian weight, the crucial ingredient is a tightening map that decreases the mass of non-stationary varifolds (with respect to the Gaussian metric of $\mathbb{R}^3$) in a continuous manner.

研究动机与目标

• 证明关于 ℝ³ 中任意闭合嵌入 2-球面的熵下界不小于自缩两球的熵的猜想。
• 在平均曲率流奇点模型的背景下，利用极小极大理论建立 Willmore 猜想的抛物型类比。
• 从任意闭合嵌入曲面构造一个规范的四参数曲面族，以实现非平凡的极小极大过程。
• 通过度数论证排除极小极大序列收敛到自缩平面的可能性。

提出的方法

• 在 ℝ³ 上配备度量 g_ij = e^(-|x|²/4)δ_ij 的条件下，对高斯面积泛函应用极小极大理论。
• 从任意闭合嵌入曲面构造一个由平移和缩放参数化的四参数规范曲面族。
• 使用紧化映射，连续地减小非平稳变集在高斯度量下的质量。
• 采用度数论证，排除极小极大序列趋近于自缩平面的可能性。
• 利用涉及算子 L = Δ + |A|² - ½⟨x,∇(·)⟩ + ½ 的高斯面积的二阶变分公式，分析稳定性和指标。
• 证明对于具有有界高斯体积的 F-平稳变集，熵在 (0,1) 处取得最大值，即 F(V) = λ(V)。

实验结果

研究问题

• RQ1 ℝ³ 中任意闭合嵌入 2-球面的熵是否至少不小于自缩两球的熵？
• RQ2 极小极大理论能否被推广至 ℝ³ 中的高斯面积泛函，以产生对应于自缩器的临界点？
• RQ3 对于闭合曲面的极小极大序列是否避免收敛到自缩平面？若是，原因是什么？
• RQ4 Morse 指标在自缩器分类中的作用是什么？它与熵最小性有何关联？
• RQ5 能否证明对于 F-平稳变集，熵泛函在原点和单位时间处取得其上确界？

主要发现

• ℝ³ 中任意光滑、闭合、嵌入的 2-球面的熵至少为 λ(𝕊²) ≈ 1.47，从而证实了球面情形下的猜想 1.1。
• 对规范四参数曲面族应用极小极大过程，得到的临界点为标准两球面。
• 通过拓扑度数论证，证明极小极大序列不可能收敛到自缩平面。
• 自缩器的熵等于其高斯面积，且标准球面是在非平面自缩器中熵最小者。
• 对于任意具有有界高斯体积的 F-平稳变集，熵在 (0,1) 处取得，即 F(V) = λ(V)，推广了 [CM12] 中的结果。
• 紧化映射可连续减小非平稳变集的质量，从而实现高斯面积泛函的极小极大理论构造。