Special Lagrangians with multiple isolated singularities

技術要約：複数の孤立特異点を持つ特殊ラグランジュ多様体

問題設定
本論文は、$\mathbb{C}^m$ ($m \geq 3$) において、複数の孤立した円錐特異点を持つ連結な特殊ラグランジュ部分多様体の構成について扱う。滑らかなコンパクト特殊ラグランジュ多様体の変形理論（McLean）は十分に理解されており、単一の円錐をモデルとする特異な特殊ラグランジュ多様体の変形理論（Joyce, Pacini）も研究されているが、複数の既定の特異点を持つ「連結な」例の存在は依然として大きな課題である。具体的には、著者らは、Nathan Smaleによって開発された極小円錐に対する「ブリッジ原理（bridge principle）」を、特殊ラグランジュの設定へと一般化することを目指している。目標は、同じラグランジュ角を持つ有限個の正則特殊ラグランジュ円錐が与えられたとき、その円錐のリストを正確に接錐円錐（tangent cones）として持つ、連結な特殊ラグランジュ部分多様体を構成できることを証明することである。

手法
著者らは、Caffarelli–Hardt–SimonおよびSmaleの枠組みを拡張した、摂動的な貼り合わせ（gluing）戦略を採用している。手法は主に以下の3つの段階で進行する。

1. 近似解の構成：
   著者らは、切断された正則特殊ラグランジュ円錐 $C_1, \dots, C_N$ を平坦なラグランジュ・ストリップ（「$\varepsilon$-ブリッジ」と呼ばれる）によって結合することにより、近似解 $L_\varepsilon$ を構成する。平均曲率の評価に依存するSmaleの極小曲面のブリッジとは異なり、特殊ラグランジュの設定ではラグランジュ角を制御する必要がある。著者らは、DimlerとSmaleによるグラフィカルな極小曲面に関する研究に着想を得た「平坦化手順（flattening procedure）」を用いて、近似解のラグランジュ角の欠損 $\Theta_0^\varepsilon$ が $L^p$ ノルムだけでなく $C^{0,\alpha}$ ノルムにおいても小さいことを保証する。この $C^{0,\alpha}$ の制御は、非線形な剰余項を扱う上で極めて重要である。

2. 線形化と関数解析：
   厳密な特殊ラグランジュ部分多様体を見つける問題は、スカラー関数 $u$（閉1形式のポテンシャルを表す）に関する非線形偏微分方程式を解く問題へと還元される。方程式は以下の形式をとる：
   $$\Delta_{L_\varepsilon} u = -\Theta_0^\varepsilon - R(u)$$
   ここで $\Delta_{L_\varepsilon}$ は近似多様体上のラプラシアンであり、$\Theta_0^\varepsilon$ は初期の角度欠損、$R(u)$ は非線形剰余項である。
   極小曲面の場合との重要な技術的相違点は、ラグランジュ角の線形化が閉1形式に対する1階作用素であることであり、著者らはこれを（Lemma 1を通じて）厳密な1形式（exact 1-forms）と同一視することで、スカラーポテンシャルとして扱う。これにより、2階の円錐作用素に対するフレドホルム理論の適用が可能となる。著者らは、円錐特異点付近での解の挙動を管理するために、重み付きHölder空間およびソボレフ空間（$C^{k,\alpha,\nu}$ および $\rho^\delta H^k$）内で作業を行う。

3. 不動点引数：
   非線形方程式を解くために、著者らは関数 $u$ を、特定の境界条件とラプラシアンの核への射影を持つ線形方程式の解 $v$ へと写す作用素 $P_\psi$ を定義する。彼らは、十分小さな $\varepsilon$ と小さな境界データに対して、この作用素が関数空間の特定の有界かつ凸でコンパクトな部分集合をそれ自体へと写すことを証明する。Schauderの不動点定理を適用することで、厳密な特殊ラグランジュ部分多様体 $L_{du}$ を与える不動点 $u$ の存在を確立する。

主要な貢献と結果

• 特殊ラグランジュに対するブリッジ原理（定理1）： 主要な結果は、同じラグランジュ角を持ち、連続する円錐が共通の射影ラグランジュ平面に沿ったある半直線上で接しているような、$\mathbb{C}^m$ 内の有限個の正則特殊ラグランジュ円錐 $C_1, \dots, C_N$ に対して、これら $N$ 個の孤立した円錐特異点をモデルとする境界を持つ、連結な特殊ラグランジュ部分多様体が存在することを確立している。
• 単一円錐の変形理論（定理2/3）： 前提ステップとして、著者らはCaffarelli–Hardt–Simonの摂動結果の特殊ラグランジュ版を証明する。彼らは、単一の切断された正則特殊ラグランジュ円錐に対して、境界データ（有限次元の部分空間を除いて）を規定し、その円錐を同じ特異性の型を持つ特殊ラグランジュ部分多様体へと変形できることを示す。
• 面積最小化特性： 著者らは、構成された部分多様体が一定の角を持つ特殊ラグランジュであるため、面積最小化（較正可能）であることを指摘している。これは、構成された連結曲面の面積最小化性が保証されていなかったSmaleの極小曲面構成とは対照的である。
• 正則性と評価： 論文では、非線形剰余項 $R(u)$ に関する重み付きHölder空間における詳細な評価が提供されている。決定的な貢献は、特定の平坦なブリッジの選択によって、角度欠如の $C^{0,\alpha}$ 制御が可能であることを示した点であり、これは不動点引数における超線形な剰余項 $R(u)$ を抑えるために必要である。

意義と主張
本論文は、制限された基底円錐の族や特定の構成に限定されていた従来の成果を拡張し、複数の既定の特異点を持つ、円錐特異的な特殊ラグランジュ多様体の柔軟な存在定理を提供すると主張している。著者らは、自身のアプローチが（SimonやLiuによる一般的な特異集合の構成とは異なり）周囲の計量を摂動する必要とせず、標準的な $\mathbb{C}^m$ 内で直接的な例を生成していることを強調している。

著者らは以下の限界についても謙虚に述べている：

• 構成された例は必然的に境界を持つ。
• 使用されるブリッジは、Smaleの極最小曲面理論におけるものよりも柔軟性が低く、円錐が同じ角を持つ場合でも、任意の接続を許すのではなく、共通の平面に沿った半直線上で接している必要がある。
• 手法は、円錐が「正則」（滑らかなリンク）であり、かつ同じラグランジュ角を持つことに依存している。

本研究は、特に剰余項の超線形な性質と角度欠損に対する $C^{0,\alpha}$ 評価の必要性に特有の解析的制約に適応させた、Smaleのブリッジ原理の直接的な類似物として提示されている。