Foliation by bi-rotational self shrinkers in Euclidean space

技術的要約：ユークリッド空間における二重回転自己縮小多様体による葉層構造

問題の定義
本論文は、ユークリッド空間 $\mathbb{R}^{n+1}$ における平均曲率流（MCF）の自己縮小解による葉層構造（foliation）の構成について扱っている。自己縮小多様体は、MCFにおける特異点形成を理解する上で極めて重要であり、特異点における接流（tangent flows）をモデル化するものである。回転対称な自己縮小多様体（円柱や平面など）や、特定の族である「トランペット」（Kleene-Møllerによって構成されたもの）は既知であるが、二重回転対称性（$O(k) \times O(n-k+1)$ 対称性）を持つ「一般化された円柱」の近傍における同様の葉層構造の存在は、未解決の問題であった。具体的には、著者は、これらの一般化された円柱の周囲の空間が、円柱、極小錐（minimal cone）、およびその他の漸近挙動の間を補間する自己縮小多様体の族によって葉層化されるかどうかを明らかにすることを目的としている。

手法
著者は、二重回転対称性の下での自己縮小方程式から導出される常微分方程式（ODE）に基づく構成的なアプローチを採用している。

1. ODEへの還元： 超曲面は、第一象限におけるプロファイル曲線 $(x(s), y(s))$ によってパラメータ化される。自己縮小方程式は、関数 $u(x)$（ここで $y=u(x)$）またはその逆関数 $v(y)$ に関する二次の非線形常微分方程式へと簡約される。
2. 極限議論による存在証明：
   • 「トランペット」の場合： 大きなパラメータ $a$ における初期値問題を解き、その極限をとることで、$[x_s(\sigma), \infty)$ 上で定義される解の族 $u_\sigma$ を構成する。収束を保証するために、一様評価（凸性、単調性、および漸近境界）が確立される。
   • 「ディスク」の場合： 同様に、逆関数 $v(y)$ に関する初期値問題を解き、初期パラメータ $\epsilon \to 0$ の極限をとることにより、$[x_s(a), a]$ 上で定義される解の族 $u_a$ を構成する。
3. 漸近解析： 著者はこれらの解の精密な漸近展開を導出している。トランペットの場合、解は漸近的に錐状（asymptotically conical）であることが示される。ディスクの場合、境界付近および軸付近での挙動を確立するために、「チップ（tip）」領域と「中間」領域において解析が行われる。
4. 法方向変分による葉層の証明： これらの族が葉層を形成すること（すなわち、互いに交差せず空間を覆うこと）を証明するために、著者は法方向の変分 $V = \nu \cdot \partial X / \partial \text{parameter}$ を分析する。$V$ をバリア関数 $W = e^{|X|^2/8}$（線形化作用素の厳密な劣解）と比較することで、原点から十分に離れた距離において $V > 0$ であることを証明する。この単調性は、これらの族が交差することなく空間を掃引することを保証する。

主要な貢献と結果

1. 新しい族の存在：

   • トランペット： 定理1.1は、円柱と極小錐の間を補間する、二重回転対称で漸近的に錐状な自己縮小多様体の、一パラメータ族（$[0, \infty) \times S^{k-1} \times S^{n-k}$ と同相）の存在を確立している。
   • ディスク： 定理1.2は、閉じる性質を持ち、一般化された円柱の内部を実質的に満たす、二重回転対称な自己縮小多様体の族（$S^{k-1} \times D^{n-k+1}$ と同相）の一パラメータ族の存在を確立している。

2. 全域的葉層定理：

   • 定理1.3 (定理5.1)： 主な結果は、$2 \le k \le n-1$ に対して、原点を含むコンパクト集合 $K$ が存在し、その補集合 $\mathbb{R}^{n+1} \setminus K$ が以下の要素によって葉層化されることを述べている：
     • 構成された「トランペット」とその鏡像。
     • 構成された「ディスク」とその鏡像。
     • 2つの一般化された自己縮小円柱（$S^{k-1}(\alpha_k) \times \mathbb{R}^{n-k+1}$ および $\mathbb{R}^k \times S^{n-k}(\beta_{n,k})$）。
     • 極小錐（二次錐 $|y| = \sigma_{n,k}|x|$）。

3. 評価と正則性：

   • 本論文は、プロファイル関数の $C^0$ および $C^1$ 評価を提供しており、これには導関数の境界およびパラメータが錐や円柱の極限に近づく際の漸近挙動が含まれる。
   • また、これらの葉層が、回転対称な流れに関する先行研究における評価（特に円柱付近での単位法線の挙動に関するもの）と同様の主要な評価を満たすことが示されている。

意義と主張
本論文は、回転対称な葉層（具体的には Kleene-Møller らによるもの）に関する先行研究の結果を、二重回転対称の設定へと一般化することを主張している。主な意義は、一般化された円柱の近傍における自己縮小多様体の幾何学的構造が、外部空間を完全に葉層化するのに十分な豊かさを持っていることを示す点にある。

著者は、この構成が二重回転対称性を持つ古代流（ancient flows）の解析に対する代替的なツールを提供することを指摘している。具体的には、注釈1.4において、これらの葉層は古代オーバル（ancient ovals）の解析において「sub」自己縮小多様体の代わりに用いることができ、そのような流れの特異な漸近挙像の研究を助ける可能性があると述べている。本研究は、平均曲率流の特異点および古代解の研究におけるこの解析的な有用性を超えた、新たな応用を提案するものではない。