[論文レビュー] Uniqueness of blowups and Lojasiewicz inequalities

Tobias Colding, William P. Minicozzi|arXiv (Cornell University)|Dec 14, 2013

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

ひとこと要約

本稿は、平均曲率流れにおける一般および平均凸特異点における接線流れ（ブロー・アップ）の一意性を確立し、長年の未解決問題を解決する。著者らは、有限次元への還元なしに直接導出された、新しい無限次元のロジャスエヴィチ不等式を用いて、すべてのスケーリング列が同一の円柱型モデルに収束することを証明し、特異点集合の正則性を示し、非コンパクト設定における幾何的PDE特異点の理解を前進させる。

ABSTRACT

Once one knows that singularities occur, one naturally wonders what the singularities are like. For minimal varieties the first answer, already known to Federer-Fleming in 1959, is that they weakly resemble cones. For mean curvature flow, by the combined work of Huisken, Ilmanen, and White, singularities weakly resemble shrinkers. Unfortunately, the simple proofs leave open the possibility that a minimal variety or a mean curvature flow looked at under a microscope will resemble one blowup, but under higher magnification, it might (as far as anyone knows) resemble a completely different blowup. Whether this ever happens is perhaps the most fundamental question about singularities. It is this long standing open question that we settle here for mean curvature flow at all generic singularities and for mean convex mean curvature flow at all singularities.

研究の動機と目的

• 平均曲率流れにおける特異点において、異なるスケーリング列が異なるブロー・アップをもたらすかどうかという根本的な未解決問題を解消すること。
• 平均曲率流れにおける各一般特異点において、接線流れがスケーリング列の選択に依存せず一意的であることを確立すること。
• 平均凸平均曲率流れに対して、すべての特異点が一意的な接線流れを持つことを証明し、一意性をより広いクラスの流れに拡張すること。
• 古典的な有限次元結果に依存しない、非コンパクト特異点に適した新しい無限次元ロジャスエヴィチ型不等式のクラスを構築すること。
• ブロー・アップの一意性の証明を通じて、幾何的流れにおける特異点集合の正則性を理解する基盤を提供すること。

提案手法

• 非コンパクト特異点における幾何的流れに特化した、2つの新しい無限次元ロジャスエヴィチ不等式を導入し、証明する。
• 平均曲率と法線速度を含む重み付き$L^1$型エネルギー汎関数を構築し、摂動の時間発展を制御する。
• 収縮する円筒上でのグラフ関数$u(p,t)$に関する放物型発展方程式を用い、時間微分が相対的面積要素および平均曲率を含む非線形作用素によって支配されることを示す。
• ヒュイケンの単調性公式とイルマーデン・ホワイトの議論を応用し、接線流れがシュリクサーや、自己相似解であることを示す。
• 成長の制御に不可欠な、$L^\infty$ノルムを$L^1$ノルムと高階微分ノルムで評価する、新規の補間不等式（補題B.1）を用いる。
• フォビニの定理と微分積分学の基本定理を用い、時間にわたる発展不等式を統合し、崩壊推移を導き、ブロー・アップの一意性を示す。

実験結果

リサーチクエスチョン

• RQ1 平均曲率流れの特異点において、異なるスケーリング列が異なる接線流れをもたらすことは可能か、それともブロー・アップは一意的か？
• RQ2 平均曲率流れのすべての一般特異点において、接線流れの一意性が成立するのか、非平均凸特異点に対しても同様か？
• RQ3 特に非コンパクト設定において、有限次元代数幾何の結果への還元なしに、無限次元ロジャスエヴィチ不等式を直接証明できるか？
• RQ4 ブロー・アップが一意的である場合、平均曲率流れの特異点集合は正則的であり、階層的構造を持つとされるか？
• RQ5 本稿で開発された新しいロジャスエヴィチ型不等式は、平均曲率流れを超えて、より広い分野に応用可能か？

主な発見

• 平均曲率流れにおけるすべての一般特異点において、接線流れは一意的であり、すべてのスケーリング列が同一のモデル、具体的には$\mathbb{S}^k \times \mathbb{R}^{n-k}$に収束する。
• 平均凸平均曲率流れでは、特異点が一般特異点でない場合にも、接線流れの一意性が成り立つ。これは分野における主要な未解決問題を解決する。
• 本稿は、非コンパクト特異点における幾何的PDEのブロー・アップの一意性に関する、初の一般定理を確立した。これは長年の課題であった。
• 著者らは、古典的な有限次元ロジャスエヴィチ結果に依存せず、幾何的・解析的原理から直接導かれた2つの新しい無限次元ロジャスエヴィチ不等式を証明した。
• 補間不等式（補題B.1）は、$L^\infty$ノルムを$L^1$ノルムと高階微分ノルムで鋭く制御でき、崩壊推移の証明に不可欠である。
• 証明により、グラフ関数$u$の時間微分の$L^1$ノルムが時間とともに減少することが示され、摂動が消滅することを意味し、これがすべてのブロー・アップが一致することを強制する。