[论文解读] Conformal Geometry on Four Manifolds

Sun‐Yung A. Chang|arXiv (Cornell University)|Sep 17, 2018

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

一句话总结

本文全面综述了四维流形上的共形几何，重点关注 $\sigma_2$ 曲率不变量及其与高斯-博内-陈公式、Paneitz 算子和 $Q$-曲率的联系。在积分条件和曲率条件的约束下，建立了共形紧致爱因斯坦四维流形的紧致性结果，证明了曲率的 $C^1$ 范数有界且边界行为受控时，可实现到微分同胚下的 $C^{k+2,\alpha}$ 紧致性，关键应用包括通过 $\int \sigma_2$ 刻画 $S^4$ 和 $\mathbb{CP}^2$。

ABSTRACT

In the lecture notes, the author will survey the development of conformal geometry on four dimensional manifolds. The topic she chooses is one on which she has been involved in the past twenty or more years: the study of the integral conformal invariants on 4-manifolds and geometric applications. The development was heavily influenced by many earlier pioneer works; recent progress in conformal geometry has also been made in many different directions, here we will only present some slices of the development.

研究动机与目标

• 综述四维流形上共形几何的发展，特别关注积分共形不变量及其几何应用。
• 通过流形上 $\sigma_2$ 的积分，刻画 $(S^4, g_c)$ 和 \\\mathbb{CP}^2, g_{FS})$ 的微分同胚类型。
• 在曲率和边界曲率约束下，建立共形紧致爱因斯坦四维流形序列的紧致性结果。
• 将共形紧致爱因斯坦流形的重整化体积与 $\int \sigma_2$ 关联，并探讨存在性与紧致性的条件。

提出的方法

• 利用高斯-博内-陈公式，将欧拉示性数用四维流形上的 $\sigma_2$、外尔张量以及标量曲率和里奇曲率表示。
• 应用变分法研究 $Q$-曲率和 Paneitz 算子 $P_4$，将其与 $\sigma_2$ 及四阶共形不变量联系起来。
• 引入边界上第三阶边界算子 $P_3$ 和曲率 $T$，扩展紧致四维流形边界上的共形结构。
• 通过将重整化体积与 $\int \sigma_2$ 关联，并利用尺度变换分析爆破极限，研究共形紧致爱因斯坦（CCE）四维流形。
• 采用 Gromov-Hausdorff 紧致性与爆破分析，证明曲率的统一 $C^1$ 有界性，进而在边界条件下导出 $C^{k+2,\alpha}$ 紧致性。
• 对极限度量 $g_\infty$ 应用 Liouville 型偏微分方程论证，表明其必为庞加莱度量 $g_\mathbb{H}$，若曲率范数无界则导致矛盾。

实验结果

研究问题

• RQ1 在何种条件下，具有边界的四维流形上度量族 $\{g_i^*\}$ 在微分同胚下关于 $C^{k+2,\alpha}$ 范数是紧致的？
• RQ2 在 $\int_X \sigma_2(A_g)\,dv_g > 0$ 时，其与 CCE 流形的重整化体积及紧致性有何关系？
• RQ3 边界曲率 $T$ 在确保 CCE 度量序列紧致性方面起什么作用？
• RQ4 定理 5.1 中的扰动条件能否从 $\int_{B^4} \sigma_2 \geq 0$ 弱化为 $\int_{B^4} \sigma_2 > 0$？
• RQ5 在 $T$-曲率条件下，$S$-张量的 $L^1$-集中现象与 $\{g_i^*\}$ 的紧致性之间是否存在直接联系？

主要发现

• 在假设 $\int_{B^4} \sigma_2 \geq 0$ 且边界 $T$-曲率满足 $\liminf_{r\to 0} \inf_i \inf_{S^3} \oint_{\partial B(x,r)} T_i \geq 0$ 的条件下，$\{g_i^*\}$ 的曲率 $C^1$ 范数一致有界。
• 若满足 $T$-曲率条件 (5.6)，则对任意 $\alpha \in (0,1)$ 和 $k \geq 5$，族 $\{g_i^*\}$ 在 $C^{k+2,\alpha}$ 范数下是紧致的。
• 若 $S$-张量满足 $\lim_{r\to 0} \sup_i \sup_x \oint_{\partial B(x,r)} |S_i| = 0$，则 $\{g_i^*\}$ 在 $C^{k+2,\alpha}$ 下紧致（$k \geq 2$），表明无 $L^1$ 集中。
• 爆破分析中的极限度量 $g_\infty$ 同构于庞加莱度量 $g_\mathbb{H}$，且 $\bar{w}_\infty = \log y$，若曲率范数无界则导致矛盾。
• 共形紧致爱因斯坦流形的重整化体积等于流形上 $\sigma_2$ 的积分，将几何不变量与分析量联系起来。
• 紧致性结果是 CCE 流形存在性理论的关键步骤，尤其在受控边界和曲率条件下。