技術的要約：定量的かつ精密なダイナミクスを持つラグランジュ平均曲率流の有限時間特異点

1. 問題設定と背景

本研究が扱う中心的な問題は、周囲の空間 $\mathbb{C}^n$ における**ラグランジュ平均曲率流（LMCF）**における有限時間特異点の形成である。Thomas-Yau予想は、安定なラグランジュ部分多様体はLMCFの下で特殊ラグランジュ（SL）へと収束することを示唆しているが、有限時間の特異点形成が一般に避けられないことは確立されている。

本研究以前のこれらの特異点の理解は、最大値原理、ブローアップ議論、およびコンパクトネスを用いた定性的な議論に大きく依存していた。先行研究には、定量的記述に関する重大な空白が存在していた。具体的には、ゼロ・マスロフ仮定の下では、有限時間の特異点は必ずType II（曲率が $(T-t)^{-1/2}$ よりも速く増大するタイプ）になることが知られていたが、特異点形成の正確なブローアップ率や詳細なダイナミクスは不明であった。平均曲率が一様に有界であり得るのか、あるいはどのような特定の曲率ブローアップ率が生じ得るのかは不明であった。

本論文は、これらに対して定量的に精密なダイナミクスを持つ有限時間特異点を発達させるLMCFの明示的な解を構成することを目的としており、曲率のブローアップ率と特異点近傍における幾何学的構造に関する初の厳密な記述を提供している。

2. 手法

著者らは、変調解析（modulation analysis）、スペクトル理論、および位相幾何学的議論を組み合わせた高度な解析的枠組みを用いて、これらの解を構成している。その手法は、最大値原理のみに依存していた従来のアプローチとは一線を画すものである。

2.1. 完全非線形スカラー偏微分方程式への還元

フローを、コンパクトで連結なリー群 $G \leq SU(n)$（ここで一般的な軌道は $(n-1)$ 次元である）の下で不変な**余次元1（cohomogeneity-one）**のラグランジュ部分多様体に制限することで、LMCFはプロファイル関数 $h(s, \tau)$ に関する完全非線形スカラー値放物型偏微分方程式へと還元される。この簡約化により、準線形系がスカラー方程式へと変換され、最大値原理の手法の適用が可能となるが、完全非線形性は特異点付近で重大な解析的課題をもたらす。

2.2. 変調解析とスペクトル分解

構成の核心は、縮小する特殊ラグランジュ・デシンギュラリゼーション（desingularization）（$aL$）の近傍におけるフローの解析にある。プロファイル関数は以下のように分解される：
$$h = f_a + \partial_s u$$
ここで、$f_a$ は、時間依存パラメータ $a(\tau)$ によってスケールされた特殊ラグランジュ錐のデシンギュラリゼーションのプロファイルである。摂動 $u$ はさらに、有限次元成分 $\phi$（線形化作用素の固有関数によって張られる）と剰余項 $v$ に分解される：
$$u = \sum_{k=1}^K b_k(\tau)(\phi_{k,a} - \phi_{0,a}) + v$$
ここで、$\phi_{k,a}$ は[SS26]の随伴論文で構築された線形化作用素 $H_a$ の固有関数である。パラメータ $a(\tau)$ および $b_k(\tau)$ は、変調方程式（modulation equations）と呼ばれる常微分方程式によって制御される変調パラメータである。

2.3. 非可積分性の克服

大きな技術的障壁は、接流（横断的な一対のSL錐）が非可積分な変形を許容することである。可積分な変形のために $L^2$ 法が利用可能であった従来の構成（例：平均曲率流に関するVelázquezの研究）とは異なり、ここでのデシンギュラリゼーション・プロファイルの減衰率（$O(|x|^{1-n})$）は $L^2_{loc}$ の範囲外に位置する。
これに対処するため、著者らは標準的な $L^2$ 空間を、重み付き空間の集合 $\{L^2(L_a)\}_{a>0}$ に置き換え、[SS26]で開発された摂動スペクトル理論を利用している。これにより、標準的な $L^2$ 可積分性が欠如しているにもかかわらず、剰余項 $v$ を制御することが可能となる。

2.4. ワジェフスキ・ボックス議論（Ważewski Box Argument）

望ましい漸近挙動を持つ解の存在は、ワジェフスキの位相幾何学的議論（しばしば「ボックス議論」と呼ばれる）を用いて証明される。

1. パラメータ $(u, a)$ の空間における、時間依存の集合（「ボックス」）$B(\tau)$ が定義される。
2. 著者らは、もし解がこのボックスから脱出する場合、境界上の特定の $(K-1)$ 次元球面を通じて脱出することを示すための一連の積分評価式（セクション3）と重み付きヘルダー評価式（セクション4）を導出する。
3. 「すべての解がボックスから脱出する」と仮定して矛盾を導くために、$K$ 次元球をその境界へと連続的に退縮させる構成を行うが、これは位相幾何学的に不可能である。
4. この矛盾により、少なくとも一つの解が全ての時間においてボックス内に留まり、それによって望ましい漸近挙動を示すことが示される。

2.5. 正則性と評価

証明は以下の確立に基づいている：

• 変調方程式： $a(\tau)$ および $b_k(\tau)$ の進化の制御。
• エネルギー評価： 剰余項 $v$ に対する $L^2_a$ および $H^k_a$ 評価。
• 重み付きヘルダー評価： 以下の3つの異なる領域における $C^{2,\alpha}$ 評価の確立：
  • 放物型領域（Parabolic Region）： $|s| \sim 1$
  • 外部領域（Outer Region）： $|s| \gtrsim 1$
  • 内部領域（Inner Region）： $|s| \lesssim 1$ （特異点近傍）
    決定的なことに、内部領域の評価には、接錐（tangent cones）およびデシンギュラライズされたSL上の古な解（ancient solutions）に対するブローアップ議論とリウヴィル型の定理が用いられている。

3. 主な結果

主定理（定理1.1）は、特定の次元および整数 $K$ に対して、$\mathbb{C}^n$ 内の滑らかで非コンパクトな $G$ 不変ラグランジュ平均曲率流 $L_K(t)$ の存在を確立している：

• 条件： $n \geq 4, K \geq 2$、または $n=3, K \in \{2, 3, 4\}$。
• 特異点形成： フローは有限時間 $T < \infty$ で原点において特異点を発達させる。
• 曲率ブローアップ率： 第二基本形式は、以下の明示的な率でブローアップする：
  $$\sup_{L_K(t)} |A_{L_K(t)}| \sim (T-t)^{-K/2}$$
  これは、LMCFから生じる完全非線形放物型偏微分方程式に対する、特定のType IIブローアップ率の最初の定量的確認となる。
• 幾何学的構造：
  • 特異点における**接流（tangent flow）**は、一意な横断的な $G$ 不変特殊ラグランジュ錐のペア $C_0 \cup C_1$ である。
  • Type II ブローアップ極限は、滑らかな $G$ 不変特殊ラグランジュ・デシンギュラリゼーション $aL$ である。
• 初期データ： 初期ラグランジュ角の振動は任意に小さく取ることができ、これは初期データが任意に特殊ラグランジュに近いことを意味する。

4. 意義と主張

本論文は、Hadžić-Raphaëlのスペクトル戦略、またはDávila-del Pino-Weiのグルーイング戦略のいずれかを用いて、完全非線形放物型偏微分方程式におけるType IIブローアップを構築した最初の事例であると主張している。

• 定量的精密性： 本研究は、従来の特異点形成に関する文献における定量的記述の欠如を補い、明示的な曲率ブローアップ率と詳細な漸近プロファイルを提供している。
• 解析的革新： 本研究は、標準的な $L^2$ 法を重み付き空間上のスペクトル解析に置き換えることで、完全非線形偏微分方程式の文脈において非可積分な変形をどのように扱うかを実証している。
• 研究プログラムの完遂： この結果は、次元 $n \geq 3$ における特殊ラグランジュ錐とそのデシンギュラリゼーションのダイナミクスに関するJoyceの提起した問題 [Joy15, Problem 3.12(a)] を完遂するものである。
• 手法の拡張： 半線形熱方程式、ケラー・セーゲル系、およびヤン・ミルズ熱流に適用されてきた手法を、より困難な完全非線形幾何学的フローの設定へと拡張している。

著者らは、彼らの構成が「縮小する余次元1の特殊ラグランジュ・デシンギュラリゼーションの周囲の変調解析」に基づいており、随伴論文 [SS26] で開発された摂動スペクトル理論に大きく依存していることを明記している。彼らは、一般的なThomas-Yau予想を解決すると主張しているのではなく、この特定の対称的な設定において、特異点がどのように形成され、（ブローアップ極限という意味で）どのように解消されるかについての、厳密かつ定量的なモデルを提供しているのである。