[论文解读] Orbifold compactness for spaces of Riemannian metrics and applications

Michael T. Anderson|ArXiv.org|Dec 4, 2003

Geometric Analysis and Curvature Flows参考文献 21被引用 5

一句话总结

本文在自然的曲率与体积有界条件下，建立了黎曼度量空间的轨道丛紧致性，证明了满足 $L^{n/2}$-范数控制、非坍缩及局部曲率估计的度量序列收敛于 $C^{1,\beta}$ 轨道丛极限。其关键贡献在于提出了一套通用框架，统一了自然泛函临界度量（包括爱因斯坦度量、巴赫平坦度量与 Yamabe 度量）的紧致性理论，并对奇点与曲率提供了统一的有界控制。

ABSTRACT

This work proves certain general orbifold compactness results for spaces of Riemannian metrics, generalizing earlier results along these lines for Einstein metrics or metrics with bounded Ricci curvature. This is then applied to prove such compactness for spaces of Bach-flat (for example half-conformally flat) metrics on 4-manifolds, and related results for metrics which are critical points of other natural Riemannian functionals on the space of metrics.

研究动机与目标

• 在曲率的 $L^{n/2}$-范数有界、非坍缩及局部曲率估计条件下，建立黎曼度量序列的通用轨道丛紧致性定理。
• 将切赫-格罗莫夫紧致性推广至爱因斯坦度量以外的更广泛临界度量类，包括巴赫平坦度量与 Yamabe 度量。
• 仅依赖于曲率与体积参数，对轨道丛奇点数量、锥型数量及局部基本群阶数提供统一有界控制。
• 分析具有非正标量曲率的巴赫平坦 Yamabe 度量的退化行为，包括可能的坍缩与类似截线的极限结构。
• 通过 ALE 空间与自对偶度量的陈-高斯-博内公式及指标理论公式，推导极限轨道丛的拓扑与几何约束。

提出的方法

• 定义闭 $n$-流形空间 $\mathcal{M}(\Lambda, \nu_0, \delta_0, C_0)$，其满足归一化体积、曲率的 $L^{n/2}$-有界、非坍缩及局部曲率估计（1.5）。
• 利用局部曲率估计（1.5）将点态曲率控制在 $L^{n/2}$-范数与体积的范围内，推广了切赫-格罗莫夫理论中全局曲率有界的经典作用。
• 应用 Gromov-Hausdorff 收敛性与在有限多个奇点外的 $C^{1,\alpha}$-正则性，构造极限轨道丛结构。
• 利用陈-高斯-博内公式与指标定理（如 $\eta$-不变量）将曲率积分与拓扑不变量（如 $\chi(M)$ 与 $\tau(M)$）关联。
• 利用小曲率估计（1.5）证明泛函 $\int |R|^2$、$\int |Ric|^2$ 与 $\int |z|^2$ 的临界度量满足所需的曲率控制。
• 通过 ALE 空间模型分析渐近极限，并导出标量曲率为零、自对偶或半共形平坦 ALE 末端的积分恒等式（如 (3.26)–(3.28)）。

实验结果

研究问题

• RQ1 在不假设点态 Ricci 曲率有界的情况下，能否在 $L^{n/2}$-曲率有界与非坍缩条件下建立黎曼度量序列的轨道丛紧致性？
• RQ2 退化序列的巴赫平坦或临界度量极限轨道丛具有何种拓扑与几何约束？
• RQ3 如 $\int |R|^2$ 或 $\int |Ric|^2$ 等曲率泛函如何与模空间及其紧化结构相关联？
• RQ4 小曲率估计（1.5）在控制局部曲率并实现奇点外的 $C^{1,\alpha}$ 收敛中起到何种作用？
• RQ5 该紧致性结果能否扩展至包含具有截线状末端的坍缩情形，特别是对非正标量曲率的巴赫平坦 Yamabe 度量？

主要发现

• 任何属于 $\mathcal{M}(\Lambda, \nu_0, \delta_0, C_0)$ 的度量序列，均在 Gromov-Hausdorff 拓扑下收敛，并在正则部分的紧子集上以 $C^{1,\alpha}$ 收敛于具有有限多个奇点的 $C^{1,\alpha}$ 轨道丛度量。
• 轨道丛奇点数量、每奇点处锥的数量及局部基本群的阶数，均被 $\Lambda$、$\nu_0$、$\delta_0$ 与 $C_0$ 统一有界。
• 对于具有非正标量曲率的巴赫平坦 Yamabe 度量，轨道丛紧致性在相同曲率与体积有界条件下成立，且曲率的 $L^2$-范数可通过拓扑不变量有界。
• 在四维情形下，$\mathbb{R}^4$ 上具有有限曲率 $L^2$-范数与正体积增长的自对偶、标量曲率为零 ALE 度量必为平坦，此结论由陈-高斯-博内公式得出。
• 自对偶度量的曲率 $L^2$-范数满足上界：$-7\chi(M) + 12\tau(M) + 7\sum \frac{1}{|\Gamma_k|} + 12\sum \eta(S^3/\Gamma_k)$，提供了一个拓扑上界。
• 泛函 $\int |R|^2$、$\int |Ric|^2$ 或 $\int |z|^2$ 的临界度量满足小曲率估计（1.5），从而在非坍缩与归一化条件下可应用主紧致性定理。