Curvature at infinity of scalar-flat ALE four-manifolds

技术摘要：标量平坦 ALE 四维流形的无穷远曲率

问题陈述
本文研究了标量平坦渐近局部欧几里得（ALE）四维流形的精细渐近几何。虽然 Tian 和 Viacellsky 的基础性工作已经确立，即具有调和曲率或自对偶/反自对偶性质的标量平坦度规具有 ALE 结构，且曲率衰减阶数为 $O(r^{-\tau})$（对于任何 $\tau < 2$），但度规在无穷远处展开式的精确本质仍有待完全表征。具体而言，本文探讨了是否可以构造一种优选的无穷远坐标，以分离出度规展开式中 $|x|^{-2}$ 项所包含的内在几何数据，从而区分标量贡献（与质量相关）与代数 Weyl 贡献。

方法论
作者结合了分析规范固定技术与代数张量分解，建立在 Tian–Viaclovsky 的框架之上，并扩展了 Wang–Yin 在 Ricci 平坦流形中建立的优选坐标构造。

1. 分析框架： 从 Tian–Viaclovsky ALE 图册出发，将度规转化为欧几里得 Bianchi 规范。在标量平坦且满足自对偶/反自对偶或调和曲率的假设下，度规扰动 $h = g - g_E$ 的控制方程简化为一个以欧几里得双拉普拉斯算子 $\Delta^2_{g_E}$ 为主部的四阶椭圆系统。
2. 粗略展开： 利用加权 Hölder 空间以及双拉普拉斯算子在外部区域的可逆性，推导出了度规的粗略渐近展开式，表明其第一个非平凡项出现在 $r^{-2}$ 阶。该项的系数是一个常数张量 $A$。
3. 坐标精细化： 为了分离内在几何数据，作者引入了一类特定形式的坐标变换 $x = y + B \frac{y}{|y|^2}$，其中 $B$ 是一个常数矩阵。该变换用于消除领先系数 $A$ 中的坐标自由度。
4. 代数分解： 作者分析了变换后系数的代数性质。研究表明，由于存在标量阻碍，虽然无法完全实现“部分无迹”条件（Weyl 张量的性质），但这一阻碍被精确地识别为 ADM 质量。系数的剩余部分被证明满足代数 Weyl 张量的代数条件。
5. 相对规范： 引入了一个由 ADM 质量缩放的 Schwarzschild 参考度规。通过施加相对于该参考度规的“相对规范”条件，最终确定了优选坐标系，且不会改变已识别的领先系数。
6. 唯一性与刚性： 本文证明了任何两个此类优选坐标系在无穷远处通过欧几里得运动（$O(4)$ 元素）相差，从而确保提取的几何数据在自然作用下是良定义的。
7. Kähler 应用： 在关于商奇异性 $\mathbb{C}^2/\Gamma$ 的极小解的标量平坦 Kähler ALE 度规这一特定情形下，作者利用 Hein–LeBrun 质量公式将 ADM 质量与第一陈类与 Kähler 类之间的配对联系起来。这使得无穷远处的 Weyl 张量可以通过解析手段，在 terms of 解析解的差异（discrepancy）方面进行几何解释。

核心贡献与结果

• 定理 1.3（精细渐近性）： 对于满足 Tian–Viaclovsky 假设的标量平坦 ALE 四维流形，存在无穷远处的优选坐标，使得度规展开式具有如下形式：
  $$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$ 的标量平坦 Kähler ALE 度规背景下，无穷远处的领先 Weyl 张量消失（$W_\infty = 0$）当且仅当该解是 crepant 的（即 $K_X = \pi^* K_Y$）。

  • $W_\infty$ 的非零性直接与解析解的差异系数（discrepancy coefficients）相关联。
  • 对于 ADE 奇异性（crepant 解），$W_\infty = 0$。
  • 对于非 crepant 的极小解，$W_\infty$ 非零，且与 ADM 质量及差异向量（discrepancy vector）成正比。

• 显式示例： 本文针对 $\mathbb{C}^2$ 在原点处吹胀的 Burns 度规提供了详细计算。它展示了对于该度规，领先项中的质量部分和 Weyl 型部分均为非零，说明了上述一般性分解。

意义

本文声称提供了一种超越基本欧几里得逼近的对 ALE 几何的“精细化”理解。通过构造优选坐标并识别 $|x|^{-2}$ 项的规范分解，这项工作确立了渐近几何携带两种不同类型的内在数据：ADM 质量和 Weyl 型张量。

其意义在于两个方面：

1. 几何不变量： 它将 $W_\infty$ 确立为标量平坦 ALE 流形的良定义渐近不变量，类似于 Ricci 平坦设置下的无穷远 Weyl 张量，但增加了标量质量分量的复杂性。
2. 解析理论： 在 Kähler 背景下，该结果为解析解的 crepancy 提供了尖锐的几何判据。领先 Weyl 张量的消失成为了解析解具有 crepant 性质的解析特征。这直接将度规在无穷远处的解析行为与解析解的差异（discrepancy）以及例外除子（exceptional divisor）的拓扑联系起来。

作者指出，这项工作是针对 Ricci 平坦空间中 Wang–Yin 展开式的类比，并将其适配于标量平坦设置，在后者中质量项并不消失，必须被显式地从 Weyl 分量中分离出来。