$G_2$-Laplacian flow on complete asymptotically conical manifolds

技術要約：完備漸近円錐多様体における $G_2$-ラプラシアン・フローの短時間存在と一意性

問題設定
$G_2$ 幾何学における中心的な問題は、ホロノミーが例外リー群 $G_2$ に含まれるリーマン計量の構成である。これは、閉かつ余閉な正の3形式 $\phi$ （$d\phi=0, \delta\phi=0$）によって特徴付けられる、ねじれのない（torsion-free）$G_2$ 構造を見つけることと同値である。ねじれのない構造は、特定のコンパクトおよび非コンパクト多様体（例：Bryant-Salamon）において存在することが知られているが、一般的な構造の存在理論は依然として未解決である。閉な初期データに対して定義される $G_2$-ラプラシアン・フロー $\partial_t \phi = \Delta_\phi \phi$ は、この問題への放物型的なアプローチとして機能する。

$G_2$-ラプラシアン・フローの短時間存在と一意性は、コンパクト多様体については確立されているが（Bryant-Xu; Lotay-Wei）、非コンパクトな設定では重大な解析的課題が生じる。具体的には、完備多様体においては標準的なコンパクト近似の議論が成立せず、また、フローが完全形式の空間内に留まるという要件が、線形化された作用素の逆転を困難にするゲージの不定性を導入する。本論文は、完備な7次元多様体上の、閉な漸近円錐（AC）$G_2$ 構造に対する $G_2$-ラプラシアン・フローの短時間存在と一意性に対処するものである。

手法
証明戦略は、Ricciフローで用いられる標準的な「コンパクト領域による外延（exhaustion by compact domains）」の手法（Shi）とは異なる。これは、ラプラシアン・デ・ターク・フロー（Laplacian-DeTurck flow）の特異な性質に起因する。フローは閉形式の方向においてのみ放物型であるため、境界を持つ領域に対して標準的な放物型存在理論を直接適用することは、ゲージの扱いにおいて注意深い処理を要する。

手法は、以下の主要なステップを通じて進行する：

1. 近似解と線形化：
   著者は、$t=0$ 付近でのラプラシアン・デ・ターク・フローの方程式に対する近似解 $\theta_0$ を、形式的なテイラー展開を用いて構成する。これにより、既知の背景（background）の周りでの問題を線形化することが可能になる。核心的な困難は、完全形式上で作用する線形化作用素を反転させることにある。領域が無限遠へと拡大するにつれて、非コンパクト領域ではHodgeラプラシアンの逆作用素は有界ではないため、そのノルムは増大する。

2. 重み付き関数空間とゲージ選択：
   無限遠での挙動を制御するために、AC幾何に適応した重み付きHölder空間およびSobolev空間（$C^{l,m,\alpha}_\lambda$ および $H^{r,s}_\lambda$）を用いて解析を行う。ここでの重要な革新は、特定のゲージ選択戦略の開発である。著者は、形式を直接扱うのではなく、「ポテンシャル」（変分が $d\beta$ となるような2形式 $\beta$）に対して線形化方程式を解く。

• 近似核（Approximate Kernel）： グルーイング構成に着想を得て、著者は線形化作用素を「近似核」の範囲内でのみ反転させる。この核は、切断された領域上のHodgeラプラシアンの小さな固有値（およびDirichlet調和場）に対応する形式からなる。
• フレドホルム理論： ディラック作用素（$d+\delta$）および重み付き空間上のHodgeラプラシアン（Lockhart-McOwen理論）のフレドホルム理論を利用することで、近似核によって導入される誤差項が、領域が多様体を外延するにつれて消滅することを示す。

3. 定量的逆関数定理：
   非線形写像 $P$ が、ポテンシャルの空間から近似核の直交補空間への写像として定義される。著者は、$P$ の線形化が、切断半径 $R$ に依存せず一様に有界な作用素ノルムを持つ右逆作用素を持つことを証明する。この一様有界性は、以下の組み合わせによって達成される：

• バリア引数と最大値原理から導かれる、先験的な $L^2$ および $C^0$ 推定。
• ベクトル束上の放物型方程式に対する重み付きSchauder推定。
• 定量的逆関数定理（定理2.14）により、切断された領域上での「ほとんど解（almost solutions）」が、$R$ に依存しない時間間隔 $\epsilon$ で存在することが保証される。

4. 極限プロセスと一意性：
   これらの「ほとんど解」を、局所的な $H^k_{loc}$ 位相において $R \to \infty$ の極限として取ることで、ラプラシアン・デ・ターク・フローの大域的な解が得られる。その後、微分同相写像を通じて、正確なラプラシアン・フローの解が回収される。
   一意性は、AC条件とは独立して、有界曲率の仮定に基づき確立される。著者は、Kotschwarによるエネルギー法（元来はRicciフローのためのもの）とLotay-Weiの前方一意性の結果を適応させる。急速に減衰する補助関数 $\eta$ で重み付けされたエネルギー汎関数 $E(t)$ が、微分不等式 $E'(t) \leq C E(t)$ を満たすことが示される。同一の初期データを与えれば、$E(0)=0$ より $E(t) \equiv 0$ となり、一意性が証明される。

主な結果
本論文は、以下の主要定理（定理1.1）を確立している。
$M$ を完備な7次元多様体とし、$\phi_0$ を閉な漸近円錐 $G_2$ 構造とする。

1. 存在： $\phi(0) = \phi_0$ を満たす $G_2$-ラプラシアン・フローの解 $\phi(t)$ が、時間区間 $[0, T)$ 上に存在する。
2. 一意性： この解は、すべての閉な解の中で一意的である。
3. 下界： 最大存在時間 $T$ は、初期構造 $\phi_0$ の曲率の最大値のみに依存する明示的な下界を持つ。

さらに、曲率が有界である限り、AC条件がフローに沿って保存されることを証明している（セクション6）。この保存性により、曲率の「倍増時間（doubling time）」の推定値、すなわち $T$ の明示的な下界を導出することが可能となる。

意義と主張
本論文は、コンパクト多様体におけるBryant-XuおよびLotay-Weiの結果を、非コンパクトな漸近円錐の設定へと一般化することを主張している。著者は、非コンパクトな設定においては、ゲージの不定性と線形化された逆作用素の非有界性を扱うために、グルーイング技術に着想を得た新しい解析的手法が必要であることを強調している。

本研究の意義は以下の通りである：

• 広範な非コンパクト多様体において、$G_2$-ラプラシアン・フローの最初の厳密な短時間存在理論を提供したこと。
• AC幾何が、曲率が有界である限り、フローにとって安定な背景であることを確立したこと。
• 重み付き空間、近似核、およびポテンシャルに基づく反転といった枠組みを提供し、これが同様のゲージ不定性を伴う他の幾何学的フロー（非コンパクトな背景上）にも適応可能であることを示唆したこと。

本論文は、一般的な初期データに対する長時間の存在や、ねじれのない構造への収束を証明するものではない。非コンパクトなケースにおける有限時間特異現象の現象学は依然として未知の部分が多いことを記している。本稿は、初期値問題のウェル・ポーズドネス（適切設定性）に厳密に焦点を当てている。