[论文解读] A fully nonlinear flow for two-convex hypersurfaces

Simon Brendle, Gerhard Huisken|arXiv (Cornell University)|Jul 16, 2015

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

一句话总结

本文引入了一类在黎曼流形中定义的完全非线性抛物型流，适用于双凸超曲面，其法向速度为 $ G_{\bar{\kappa}} = \left( \sum_{i<j} \frac{1}{\lambda_i + \lambda_j - 2\kappa} \right)^{-1} $，该流保持 $ \kappa $-双凸性条件 $ \lambda_1 + \lambda_2 > 2\kappa $。其主要贡献在于提出了一种新颖的尺度归纳论证方法，以建立点态曲率导数估计，从而首次将 Huisken-Sinestrari 手术算法推广至完全非线性流，最终得到具有边界的 $ \kappa $-双凸流形的微分同胚结果。

ABSTRACT

We consider a one-parameter family of closed, embedded hypersurfaces moving with normal velocity $G_κ= \big ( \sum_{i &lt; j} \frac{1}{λ_i+λ_j-2κ} \big )^{-1}$, where $λ_1 \leq \hdots \leq λ_n$ denote the curvature eigenvalues and $κ$ is a nonnegative constant. This defines a fully nonlinear parabolic equation, provided that $λ_1+λ_2&gt;2κ$. In contrast to mean curvature flow, this flow preserves the condition $λ_1+λ_2&gt;2κ$ in a general ambient manifold. Our main goal in this paper is to extend the surgery algorithm of Huisken-Sinestrari to this fully nonlinear flow. This is the first construction of this kind for a fully nonlinear flow. As a corollary, we show that a compact Riemannian manifold satisfying $\overline{R}_{1313}+\overline{R}_{2323} \geq -2κ^2$ with non-empty boundary satisfying $λ_1+λ_2 &gt; 2κ$ is diffeomorphic to a $1$-handlebody. The main technical advance is the pointwise curvature derivative estimate. The proof of this estimate requires a new argument, as the existing techniques for mean curvature flow due to Huisken-Sinestrari, Haslhofer-Kleiner, and Brian White cannot be generalized to the fully nonlinear setting. To establish this estimate, we employ an induction-on-scales argument; this relies on a combination of several ingredients, including the almost convexity estimate, the inscribed radius estimate, as well as a regularity result for radial graphs. We expect that this technique will be useful in other situations as well.

研究动机与目标

• 将 Huisken-Sinestrari 手术算法推广至完全非线性曲率流，这一目标此前尚未实现。
• 在一般黎曼流形中建立完全非线性抛物型流的点态曲率导数估计，克服现有平均曲率流技术的局限性。
• 证明：若紧致黎曼流形满足 $ \overline{R}_{1313} + \overline{R}_{2323} \geq -2\kappa^2 $ 且边界为 $ \kappa $-双凸，则其微分同胚于一个 1-柄体。
• 提出一种新的尺度归纳论证方法，结合近似凸性、内接半径估计与径向图正则性，以控制完全非线性设定下的曲率导数。

提出的方法

• 该流以法向速度 $ G_{\kappa} = \left( \sum_{i<j} \frac{1}{\lambda_i + \lambda_j - 2\kappa} \right)^{-1} $ 演化超曲面，确保 $ \kappa $-双凸性条件 $ \lambda_1 + \lambda_2 > 2\kappa $ 得到保持。
• 采用尺度归纳论证方法，推导出点态曲率导数估计 $ G_{\kappa}^{-2}|\nabla h| + G_{\kappa}^{-3}|\nabla^2 h| \leq C $，该估计是分析的核心。
• 证明依赖于近似凸性估计、内接半径估计 $ \geq \alpha / G_{\kappa} $，以及黎曼设定下径向图的正则性结果。
• 通过将 Krylov-Safonov 型 Hölder 正则性论证应用于第二基本形式，并适配至完全非线性设定，建立曲率导数估计。
• 该方法借鉴了平均曲率流的技术，但由于现有 Huisken-Sinestrari 和 White 方法无法推广至完全非线性流，因此需要引入新工具。
• 采用屏障论证与时空 Hölder 连续性估计，以控制流在时空中的振荡与正则性。

实验结果

研究问题

• RQ1 Huisken-Sinestrari 手术算法能否推广至完全非线性曲率流？
• RQ2 在完全非线性流下，控制 $ \kappa $-双凸超曲面演化所需的点态曲率导数估计为何种形式？
• RQ3 在一般黎曼环境流形中，如何控制此类流下的内接半径与近似凸性？
• RQ4 环境流形的何种几何条件可保证流在有限时间内发生曲率爆破？
• RQ5 是否存在一种新颖的正则性论证方法，可替代完全非线性设定下的平均曲率流技术？

主要发现

• 该流在任意黎曼流形中保持 $ \kappa $-双凸性条件 $ \lambda_1 + \lambda_2 > 2\kappa $，确保演化过程始终定义良好。
• 量 $ G_{\kappa}^{-2}|\nabla h| + G_{\kappa}^{-3}|\nabla^2 h| $ 在曲率较大时一致有上界，确立了关键的曲率导数估计。
• 每一点的内接半径从下方有界，满足 $ \geq \alpha / G_{\kappa} $，其中 $ \alpha > 0 $ 仅依赖于 $ T $、$ \kappa $、$ M_0 $ 及环境流形。
• 当曲率较大时，超曲面近乎凸性：对任意 $ \delta > 0 $，只要 $ G_{\kappa} \geq K $，就有 $ \lambda_1 \geq -\delta G_{\kappa} $。
• 在有界时间区间上，比值 $ (\lambda_1 + \lambda_2 - 2\kappa)/H $ 一致有下界。
• 在曲率条件 $ \overline{R}_{1313} + \overline{R}_{2323} \geq -2\kappa^2 $ 下，$ \inf_{M_t} G_{\kappa} $ 在有限时间内爆破，意味着曲率集中。