[论文解读] Closed hypersurfaces of low entropy in $\mathbb{R}^4$ are isotopically trivial

Jacob Bernstein, Lu Wang|arXiv (Cornell University)|Mar 30, 2020

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

一句话总结

该论文证明了在 $ℝ^4$ 中，任何闭合且连通的超曲面，若其熵小于或等于圆柱面 $σ^2 \times \mathbb{R}$ 的熵，则其微分同胚于标准的 3-球面 $σ^3$。通过平均曲率流与切流分析，作者证明了 $ℝ^4$ 中低熵超曲面不会产生非平凡奇点，从而通过同胚性迫使它们在拓扑上是平凡的。

ABSTRACT

We show that any closed connected hypersurface in $\mathbb{R}^4$ with entropy less than or equal to that of the round cylinder is smoothly isotopic to the standard three-sphere.

研究动机与目标

• 为解决 $ℝ^4$ 中低熵超曲面的 Schoenflies 问题，提供一种拓扑平凡性的几何类比。
• 建立在 $ℝ^4$ 中闭合连通超曲面满足熵 $\leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$ 时，其微分同胚于 $\mathbb{S}^3$ 的结论，扩展了低维情形下的已知结果。
• 利用平均曲率流与切流分析，对 $ℝ^4$ 中低熵超曲面实现精确的拓扑分类。
• 确认此类流的唯一可能奇点模型均微分同胚于 $\mathbb{S}^3$，排除了非平凡极小锥面或自缩子的存在。

提出的方法

• 利用熵泛函 $\lambda[\Sigma] = \sup_{\mathbf{y}, \rho} F[\rho\Sigma + \mathbf{y}]$，其中 $F$ 为高斯面积，以度量几何复杂度。
• 应用匹配运动 $\mathcal{K} = \{\mu_t\}_{t \geq 0}$ 的平均曲率流，确保非膨胀性与正则性，基于短时存在性。
• 使用 White 正则性定理与 Brakke 的正则性理论分析奇点处的切流，以排除非紧或非同胚于 $\mathbb{S}^3$ 的模型。
• 采用 $(R_0, C_0)$-正则几乎处处连续同胚的概念，以控制切流结构，并确保其同胚于 $\mathbb{S}^3$。
• 应用 Huisken 的单调性公式，证明熵沿流递减，从而可归约至初始超曲面满足 $\lambda[\Sigma] < \Lambda - \epsilon_0$ 且非膨胀。
• 利用所有在终止时刻的切流均同胚于 $\mathbb{S}^3$ 的事实，推导出原始超曲面微分同胚于 $\mathbb{S}^3$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^4$ 中，熵受 $\mathbb{S}^2 \times \mathbb{R}$ 的熵限制的闭合超曲面是否可通过微分同胚变为拓扑平凡？
• RQ2 在平均曲率流下，$\mathbb{R}^4$ 中的低熵超曲面是否会避免形成非平凡奇点？
• RQ3 此类流的唯一可能奇点模型是否均同胚于 $\mathbb{S}^3$？
• RQ4 能否将高维中关于低熵超曲面的条件性结果强化为 $\mathbb{R}^4$ 中的完整分类？
• RQ5 若不存在熵低于 $\lambda[\mathbb{S}^2 \times \mathbb{R}]$ 的非平坦自缩子或极小锥面，是否可推出其同胚于 $\mathbb{S}^3$？

主要发现

• 任何在 $\mathbb{R}^4$ 中闭合连通的超曲面 $\Sigma$，若满足 $\lambda[\Sigma] \leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$，则其微分同胚于 $\mathbb{S}^3$。
• 该证明表明，所有奇点处的切流要么是紧致的，要么是 $(R_0, C_0)$-正则的几乎处处连续同胚，从而确保其同胚于 $\mathbb{S}^3$。
• 此类超曲面的平均曲率流终止于单一点，其奇点模型同胚于 $\mathbb{S}^3$。
• 在平均曲率流下，$\Sigma$ 的熵递减，从而可归约至初始超曲面满足 $\lambda[\Sigma] < \Lambda - \epsilon_0$ 且非膨胀。
• $\mathcal{S}_3^*(\Lambda)$ 与 $\mathcal{RMC}_k^*(\Lambda)$（$k \leq 3$）中不存在非平坦元素，这对分类结果至关重要。
• 该结果确认了在 $\mathbb{R}^4$ 中低熵超曲面的几何型 Schoenflies 问题，扩展了此前在 $\mathbb{R}^3$ 中的结果。