Convergence of the Yang-Mills flow on ALE gravitational instantons

問題の定式化
本論文は、非コンパクトな 4 次元多様体、特に ALE（漸近的に局所ユークリッド）重力インスタントン上のヤン・ミルズ流 (1.1) の長時間収束挙動を取り扱う。コンパクトな場合における流の収束はよく理解されているが、非コンパクトな設定は解析的な重大な課題を呈する。Gustaffson、Nakanishi、および Tsai による先行研究は、$\mathbb{R}^4$ 上では放物的ギャップ定理が成立しないことを示した：標準的なインスタントンに任意に近い初期接続が存在し、それが流の下でインスタントンに収束しない。著者らは、ALE 重力インスタントンに対する「放物的ギャップ定理」を確立することを目的としており、初期エネルギーが十分に小さい場合（具体的には、自己双対曲率エネルギーが特定の閾値未満である場合）、流が滑らかに反自己双対（ASD）インスタントンに収束することを証明する。

手法
著者らは、ALE 多様体の非コンパクトでリッチ平坦な幾何学に適応させた楕円型および放物型解析手法の組み合わせを用いる。

1. 楕円型ギャップ定理とソボレフ定数: 証明は、Viaclovsky および Balogh-Kristaly の研究に由来する、ALE 多様体に対する鋭いソボレフ不等式（定理 2.2）に依存している。有限群 $\Gamma$ の位数 $|\Gamma|$ に依存する定数を持つこの不等式により、楕円型ギャップ定理（定理 2.4）の帰結が可能となる：自己双対曲率エネルギー $\|F^+\|_{L^2}^2 < 8\pi^2/|\Gamma|$ を満たす有限エネルギーのヤン・ミルズ接続は、反自己双対 ($F^+ \equiv 0$) でなければならない。

2. エネルギー評価と $\epsilon$-正則性: 著者らは、ヤン・ミルズ汎関数の非増加性とトポロジカルチャージの保存を示す基本的なエネルギー恒等式（補題 3.2）を利用する。また、流に対する $\epsilon$-正則性定理（補題 3.3）を確立し、自己双対曲率の小さな $L^2$ ノルムが $L^\infty$ 有界性を意味することを保証する。これは、潜在的な特異点近傍や無限遠における曲率を制御する上で決定的である。

3. ブローアップ解析と背理法: 定量的な減衰率を証明するために、著者らは再スケーリング（ブローアップ）手法を用いた背理法（定理 4.1）を用いる。減衰率が成立しないと仮定し、再スケーリングされた解の列を構成する。これらの列の極限を解析すること（Uhlenbeck コンパクト性）により、その極限は ALE 多様体自体または $\mathbb{R}^4/\Gamma$ 上の ASD インスタントンでなければならないことを示す。楕円型ギャップ定理により曲率の自己双対部分が消滅せざるを得なくなり、減衰率が失敗したという仮定と矛盾する。

4. $L^p$ 評価による改善された減衰: $F^+ \in L^p$ ($1 < p < 2$) なる初期データに対して、著者らは改善された減衰率（定理 1.1b）を導出する。これは、自己双対曲率の $L^2$ ノルムが小さくなると $L^p$ ノルムが有界に保たれることを示し、それが $L^\infty$ 減衰率を $o(t^{-2/p})$ まで加速させることによる。

5. ASD インスタントンへの収束: 最後に、著者らは減衰評価を放物的モザー反復および熱半群評価と組み合わせ、接続 $A(t)$ が $C^\infty_{loc}$ および $L^q$ において ASD インスタントン $A_\infty$ に収束することを証明する（定理 6.1）。

主要な結果
主な結果は定理 1.1であり、$(\mathbb{R}^4 \setminus \{0\})/\Gamma$ に漸近する ALE 重力インスタントン $(M,g)$ 上の $SU(r)$-束に対して以下のことを確立する：

• 閾値条件: 初期接続 $A_0$ が有限のヤン・ミルズエネルギーを持ち、厳密な不等式 $\|F^+_{A_0}\|_{L^2}^2 < 8\pi^2/|\Gamma|$ を満たすならば、流はすべての時間において存在する。
• 自己双対曲率の減衰:
  • 一般的に、$\|F^+(t)\|_{L^\infty} = o(1/t)$ かつ $\|F^+(t)\|_{L^2} \to 0$ が $t \to \infty$ で成り立つ。
  • さらに $1 < p < 2$ に対して $\|F^+_{A_0}\|_{L^p} < \infty$ ならば、減衰は $\|F^+(t)\|_{L^\infty} = o(t^{-2/p})$ および $\|F^+(t)\|_{L^p} \to 0$ へと改善される。
• 収束: これらの条件下で、流 $A(t)$ は滑らかに（適切な $q$ に対して $C^\infty_{loc} \cap L^q$ において）ASD インスタントン $A_\infty$ に収束する。決定的なことに、トポロジカルチャージは保存される：$\kappa(A_\infty) = \kappa(A_0)$。

意義と主張
著者らは、この仕事を 4 次元球面上で確立された以前の「放物的ギャップ定理」の非コンパクトな拡張として位置づけている。結果の意義は、以下の 4 つの具体的な動機によって概説される：

1. 非コンパクトな障害の克服: 本論文は、$\mathbb{R}^4$ における放物的ギャップの失敗（インスタントンに近い接続が収束しない場合がある）は、初期自己双対曲率に対する緩やかな減衰仮定を課すことで ALE 多様体上では回避可能であることを示す。
2. Oh-Tataru の一般化: この結果は、ゼロのトポロジカルチャージおよびエネルギーが $8\pi^2$ 未満に限定されていた $\mathbb{R}^4$ 上の Oh および Tataru の仕事を一般化する。本論文は結果をより高いトポロジカルチャージに拡張し、平坦な接続ではなく、同じチャージを持つ ASD インスタントンへの収束を示す。著者らは、これが双曲型ヤン・ミルズ方程式に対する閾値予想の一般化を促進する可能性があると示唆している。
3. リッチ流の安定性よりも弱い仮定: 収束は、重力インスタントン上のリッチ流の安定性結果と比較して、初期データに対して著しく弱い仮定の下で達成される。具体的には、著者らは初期接続が特定の ASD インスタントンに近いことを要求せず、その自己双対エネルギーがギャップ閾値未満であることのみを要求する。
4. モジュライ空間の位相: 著者らは、これらの収束結果が ALE 重力インスタントン上の ASD インスタントンのモジュライ空間の位相を研究する上で有用であると予想している。

本論文は、短時間存在は仮定されている（既存の文献を引用）が、完全多様体上の流に対する短時間存在および適切性の詳細な扱いについては、別途取り扱うべき未解決の問題として明示的に注記している。