[論文レビュー] Energy Identity for Stationary Yang Mills

Aaron Naber, Daniele Valtorta|arXiv (Cornell University)|Oct 10, 2016

Geometric Analysis and Curvature Flows参考文献 2被引用数 3

ひとこと要約

本稿は、リーマン多様体上の静的なヤン・ミルズ接続のエネルギー恒等式を確立する。弱収束におけるヤン・ミルズ系列の極限で生じる欠損測度 $\nu = e(x)\,d\lambda^{n-4}$ が量子化されることを示す。具体的には、$n-4$ 重なった可解な点 $x$ におけるエネルギー密度 $e(x)$ が、$x$ におけるブローモーで形成されたバブル（$S^4$ 上のヤン・ミルズ接続）のエネルギーの和に等しい。主な貢献は、事前の仮定なしにエネルギー量子化を示すために、曲率のヘッセ行列の $L^1$-有効バウンドを確立したことである。さらに、一様な推定を伴う定量的バブルツリー分解を構築した。

ABSTRACT

Given a principal bundle $P o M$ over a Riemannian manifold with compact structure group $G$, let us consider a stationary Yang-Mills connection $A$ with energy $\int_M |F_A|^2\le Λ$. If we consider a sequence of such connections $A_i$, then it is understood that up to subsequence we can converge $A_i o A$ to a singular limit connection such that the energy measures converge $|F_{A_i}|^2 dv_g o |F_A|^2dv_g +ν$, where $ν=e(x)dλ^{n-4}$ is the $n-4$ rectifiable defect measure. Our main result is to show, without additional assumptions, that for $n-4$ a.e. point the energy density $e(x)$ may be computed explicitly as the sum of the bubble energies arising from blow ups at $x$. Each of these bubbles may be realized as a Yang Mills connection over $S^4$ itself. Our second main theorem is to show this hessian bound holds automatically. Precisely, given a connection $A$ as above we have the apriori estimate $\int_M | abla^2 F_A| < C(Λ,\dim G,M)$ for the curvature. It is important to note this result is proved in tandem with the energy quantization, and not before it. Indeed, we will in fact prove an effective version of the energy identity, and it is this effective version which will lead to both the $L^1$ hessian bound and the classical energy quantization results. In the course of the proof we will provide a quantitative version of the bubble tree decomposition which hold in all dimensions with effective estimates for a fixed stationary connections. To produce to strongest estimates in the paper we introduce an $ε$-gauge condition, which generalizes the usual Coulomb gauge and which will exist, with effective control, even over singular regions. On these $ε$-gauges we will provide a new superconvexity estimate which will be a key tool in analyzing higher dimensional annular regions.

研究の動機と目的

• ヤン・ミルズ接続の弱収束における欠損測度 $\nu = e(x)\,d\lambda^{n-4}$ の構造を解明すること。
• エネルギー量子化を確立すること：追加の曲率バウンドなしに、$e(x)$ が $x$ におけるバブルエネルギーの和に等しいこと。
• 静的ヤン・ミルズ接続に対して $\nabla^2 F_A$ の $L^1$-バウンドを、曲率エネルギーに一様に依存する形で確立すること。
• 固定された静的接続に対して、一様な推定を伴う定量的バブルツリー分解を構築すること。
• $\epsilon$-ゲージ条件を導入し、特異領域を制御し、超凸性推定を可能にする。

提案手法

• コーシー・ゲージを一般化する $\epsilon$-ゲージ条件を導入し、特異領域に対する有効な制御を可能にする。
• アニュラリ領域における曲率の $L^1$ 梯度の超凸性推定を発展させ、高次元解析において中心的役割を果たす。
• $\delta$-弱く平坦、$\delta$-バブル、$\delta$-アニュラリ領域を用いた繰り返しの被覆により、定量的バブルツリー分解を構築する。
• アハルフォルス正則性と変換推定を用いて、スケール間の曲率増加を制御する。
• $\epsilon$-ゲージ推定とバブルツリー分解を組み合わせることで、有効なエネルギー恒等式を証明する。
• 有効なエネルギー恒等式から、$\int_M |\nabla^2 F_A| \leq C(\Lambda, \dim G, M)$ として $L^1$ ヘッセ行列バウンドを導出する。これは事前仮定ではなく、結果として得られる。

実験結果

リサーチクエスチョン

• RQ1 欠損測度 $\nu$ のエネルギー密度 $e(x)$ は、$x$ におけるヤン・ミルズ接続系列のブローモーで形成されたバブルのエネルギーの和として明示的に計算可能か？
• RQ2 有界なエネルギーを持つ静的ヤン・ミルズ接続に対して、$\nabla^2 F_A$ の $L^1$-バウンドは自動的に成立するか？
• RQ3 すべての次元で一様な推定を伴う定量的バブルツリー分解を構築可能か？
• RQ4 $\epsilon$-ゲージ条件を特異集合上に定義し、制御可能であり、高次曲率推定を可能にするか？
• RQ5 一様な $L^1$ ヘッセ行列バウンドを仮定しない場合でも、ヤン・ミルズ接続の古典的エネルギー量子化結果は成立するか？

主な発見

• $n-4$ 重なった almost everywhere (a.e.) の点 $x$ におけるエネルギー密度 $e(x)$ は、ヤン・ミルズ接続系列の $x$ におけるブローモーで形成されたすべてのバブルのエネルギーの和に等しい。
• 曲率エネルギーが $\int_M |F_A|^2 \leq \Lambda$ である静的ヤン・ミルズ接続に対して、$\nabla^2 F_A$ の $L^1$-バウンドが自動的に成立し、$\int_M |\nabla^2 F_A| \leq C(\Lambda, \dim G, M)$ が成り立つ。
• 有効な推定を伴う定量的バブルツリー分解が構築され、$\sum_c r_{c,i}^{n-4} \leq \epsilon^i$ および $\sum_a r_{a,i}^{n-4} + \sum_b r_{b,i}^{n-4} + \sum_d r_{d,i}^{n-4} \leq C(n,k,\Lambda,\delta)\sum_{j=0}^i \epsilon^j$ が成り立つ。
• $\epsilon$-ゲージ条件は存在し、特異領域に対して有効な制御が可能であり、アニュラリ領域における曲率の $L^1$ 梯度の新しい超凸性推定を可能にする。
• エネルギー恒等式は有効な形で証明された：欠損測度 $\nu$ はバブルエネルギーによって量子化され、これにより $L^1$ ヘッセ行列バウンドが導かれる。
• $L^1$ ヘッセ行列バウンドは、エネルギー恒等式と *同時に* 導出され、事前仮定としてではなく、有効なバブルツリーと $\epsilon$-ゲージフレームワークを介して得られる。