Curvature at infinity of scalar-flat ALE four-manifolds

技術要約：スカラー平坦なALE 4次元多様体の無限遠における曲率

問題提起
本論文は、スカラー平坦な漸近局所ユークリッド（ALE）4次元多様体の精緻な漸近幾何学を調査するものである。TianとViaclovskyによる基礎的な研究では、調和曲率または自己双対／反自己双対性を有するスカラー平坦な計量は、$O(r^{-\tau})$（任意の$\tau < 2$に対して）の曲率減衰を持つALE構造を持つことが確立されているが、無限遠における計量展開の非自明な主要項の正確な性質は、依然として完全には特徴付けられていなかった。具体的には、スカラーの寄与（質量に関連するもの）と代数的なWeyl寄与を区別するために、無限遠における計量の展開における$|x|^{-2}$項に含まれる固有の幾何学的データを孤立させるような、好ましい座標系を構成できるかどうかが問題となっている。

手法
著者は、Tian–Viaclovskyの枠組みに基づき、かつRicci平坦多様体におけるWang–Yinの好ましい座標構成を拡張することにより、解析的なゲージ固定技術と代数的なテンソル分解を組み合わせて用いている。

1. 解析的枠組み： Tian–ViaclovskyのALEチャートから出発し、計量をユークリッド・ビアンキ・ゲージへと変換する。スカラー平坦性と自己双対性または反自己双対性の仮定の下で、計量の摂動 $h = g - g_E$ に関する支配方程式は、主部としてユークリッド・ビラプラシアン $\Delta^2_{g_E}$ を持つ4階の楕円系へと簡約される。
2. 粗い展開： 重み付きHölder空間と、外部領域におけるビラプラシアンの可逆性を用いて、粗い漸近展開を導出し、最初の非自明な項が$r^{-2}$のオーダーで現れることを示す。この項の係数は定数テンソル $A$ である。
3. 座標の精緻化： 固有の幾何学的データを孤立させるために、$x = y + B \frac{y}{|y|^2}$（ここで $B$ は定数行列）という形式の特定のクラスの座標変換を導入する。この変換は、係数 $A$ の座標自由度を排除するために用いられる。
4. 代数的分解： 変換された係数の代数的性質を分析する。スカラーによる障害のため「部分トレースフリー」条件（Weylテンソルの性質）を完全に達成することはできないが、この障害はまさにADM質量と一致することが示される。係数の残りの部分は、代数的なWeylテンソルの条件を満たすことが示される。
5. 相対ゲージ： ADM質量によってスケールされたシュヴァルツシルト参照計量を導入する。この参照計量に関する「相対ゲージ」条件を課すことで、特定された主要係数を変更することなく、好ましい座標系を完成させる。
6. 一意性と剛性： 任意の二つのこのような好ましい座標系は、無限遠においてユークリッド運動（$O(4)$の元）によって異なり、抽出された幾何学的データがこの自然な作用に対してウェルディファインドであることを証明する。
7. ケーラーへの応用： 商特異点 $\mathbb{C}^2/\Gamma$ の最小分解上のスカラー平坦ケーラーALE計量の特定のケースにおいて、著者はHein–Leebnerの質量公式を用いて、ADM質量と第1チェルン類およびケーラー類とのペアリングを結びつける。これにより、無限遠におけるWeylテンソルの幾何学的解釈を、分解の不変量（discrepancy）に関連付けて行う。

主な貢献と結果

• 定理 1.3（精緻な漸近挙動）： Tian–Viaclovskyの仮定を満たすスカラー平坦ALE 4次元多様体に対して、計量の展開が以下の形式をとるような、無限遠における好ましい座標系が存在する：
  $$g_{ij} = \delta_{ij} + \left( \Xi(9|\Gamma| m_{ADM}) + (W_\infty)_{ik\ell j} \right) \frac{x^k x^\ell}{|x|^4} + O(|x|^{-2-\sigma})$$
  ここで、$\Xi(\lambda)$ はADM質量 $m_{ADM}$ によって決定されるスカラーテンソルであり、$W_\infty$ は無限遠における代数的Weylテンソルである。この結果は、主要な漸近項における質量寄与とWeyl型の寄与を明示的に分離している。

• 定理 1.7（一意性）： 主要なデータ $(m_{ADM}, W_\infty)$ は端（end）に固有である。二つの好ましい座標系が選ばれた場合、変換写像は漸近的にユークリッド運動であり、$W_\infty$ は自然な$O(4)$作用に従って変換される。質量項は不変である。

• 定理 1.10（Crepancy基準）： 最小分解 $\pi: X \to \mathbb{C}^2/\Gamma$ 上のスカラー平坦ケーラーALE計量の文脈において、無限遠における主要なWeylテンソルが消滅する（$W_\infty = 0$）ための必要十分条件は、分解がクレパント（crepant）であること（すなわち $K_X = \pi^* K_Y$）である。

  • $W_\infty$ の非消滅は、分解の不変量（discrepancy）係数に直接結びついている。
  • ADE特異点（クレパント分解）の場合、$W_\infty = 0$ である。
  • 非クレパントな最小分解の場合、$W_\infty$ は非ゼロであり、ADM質量および不変量ベクトルに比例する。

• 具体的な例： 本論文は、原点の $\mathbb{C}^2$ のブローアップ上のBurns計量に関する詳細な計算を提供している。これは、この計量において、主要項の質量部分とWeyl型の部分の両方が非ゼロであることを示し、一般的な分解を例証している。

意義
本論文は、基本的なユークリッド近似を超えた、ALE幾何学の「精緻な」理解を提供すると主張している。好ましい座標を構築し、$|x|^{-2}$ 項の標準的な分裂を特定することで、本研究は漸近幾何学が二つの異なる種類の固有のデータ、すなわちADM質量とWeyl型のテンソルを保持していることを確立している。

その意義は二重である：

1. 幾何学的不変量： Ricci平坦な設定における無限遠のWeylテンソルと同様に、$W_\infty$ をスカラー成分（質量）を伴う複雑なものとして、スカラー平坦ALE多様体のウェルディファインドな漸近不変量として確立した。
2. 分解理論： ケーラーの設定において、本結果は分解のクレパント性に関する鋭い幾何学的基準を提供する。主要なWeylテンソルの消滅は、分解の代数的性質であるクレパント性が、無限遠における解析的なシグネチャーとして機能することを示す。これは、無限遠における計量の解析的挙動を、分解の不変量および例外的な因子（exceptional divisor）のトポロジーに直接結びつけている。

著者は、本研究が、質量項が消滅せず明示的に分離される必要があるスカラー平坦な設定に適応させた、Ricci平坦空間におけるWang–Yinの展開のアナログとして機能することを述べている。