[論文レビュー] 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

ひとこと要約

本稿は、リーマン多様体内の2-凸超曲面に対して、完全非線形放物型フローを導入し、法線速度 $ G_{\bar{\kappa}} = \left( \sum_{i<j} \frac{1}{\lambda_i + \lambda_j - 2\kappa} \right)^{-1} $ で定義されるもので、$ \kappa $-2-凸性条件 $ \lambda_1 + \lambda_2 > 2\kappa $ を保存する。主な貢献は、点ごとの曲率微分推定を得るための新しいスケールごとの帰納法的議論であり、これが、Huisken-Sinestrariの手術アルゴリズムを完全非線形フローへ初めて拡張可能にし、境界を持つ $ \kappa $-2-凸多様体に対して微分同相写像の結果を導く。

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 $-2-凸境界を満たすものについて、それが1ハンドル体と微分同相であることを証明すること。
• ほぼ凸性、内接半径推定、および径方向グラフの正則性を組み合わせた、完全非線形設定で曲率微分を制御する新しいスケールごとの帰納法的議論を開発すること。

提案手法

• フローは法線速度 $ G_{\kappa} = \left( \sum_{i<j} \frac{1}{\lambda_i + \lambda_j - 2\kappa} \right)^{-1} $ で進化させ、$ \kappa $-2-凸性条件 $ \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 $-2-凸超曲面の進化を制御するための点ごとの曲率微分推定は何か？
• RQ3 このようなフロー下で、一般のリーマン環境多様体における内接半径とほぼ凸性はどのように制御できるか？
• RQ4 環境多様体にどのような幾何的条件を課すと、フローの有限時刻における曲率爆発が保証されるか？
• RQ5 完全非線形設定において、平均曲率フロー技術に代わる新しい正則性議論は存在するか？

主な発見

• フローは任意のリーマン多様体において $ \kappa $-2-凸性条件 $ \lambda_1 + \lambda_2 > 2\kappa $ を保存し、進化が正しく定義されることを保証する。
• 量 $ G_{\kappa}^{-2}|\nabla h| + G_{\kappa}^{-3}|\nabla^2 h| $ は、大曲率において一様に上から有界であり、重要な曲率微分推定が確立される。
• 各点における内接半径は、$ \alpha / G_{\kappa} $ から下界を持つ。ここで $ \alpha > 0 $ は $ T $, $ \kappa $, $ M_0 $、および環境多様体にのみ依存する。
• 大曲率において、超曲面はほぼ凸である：$ G_{\kappa} \geq K $ ならば、任意の $ \delta > 0 $ に対して $ \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} $ は有限時刻で発散し、曲率集中を示唆する。