[论文解读] Conformal metric sequences with integral-bounded scalar curvature

Yuxiang Li, Zhipeng Zhou|arXiv (Cornell University)|Jun 13, 2017

Nonlinear Partial Differential Equations参考文献 14被引用 6

一句话总结

该论文在 $L^p$ 范数下对标量曲率施加积分有界性（$p > n/2$）的条件下，建立了紧致黎曼流形上共形度量序列的气泡树收敛性。通过结合三圆定理与约翰-尼伦伯格不等式，证明了爆破行为受到控制，从而得到具有良好结构的奇异点集的 Gromov-Hausdorff 极限，并表明在体积增长约束下，任何具有两个端点的极限流形必共形于 $\mathbb{R}^n \setminus \{0\}$ 或 $S^n$ 去掉两点，导致矛盾。

ABSTRACT

Let $(M; g)$ be a smooth compact Riemiannian manifold without boundary and $g_{k}$ be a metric conformal to $g$. Suppose $vol(M; g_{k})+||R_{k}||_{L^{p}(M;g_{k})} < C$, where $R_{k}$ is the scalar curvature and $p > \frac{n}{2}$. We will use the 3-circle theorem and the John-Nirenberg inequality to study the bubble tree convergence of $g_{k}$.

研究动机与目标

• 在标量曲率满足 $L^p$-有界性且 $p > n/2$ 的条件下，建立紧致流形上共形度量序列的紧致性与收敛性。
• 在缺乏内接半径下界的情况下，通过聚焦于共形类来分析爆破行为。
• 利用三圆定理与 $\epsilon$-正则性，构造奇异点处的气泡树极限结构。
• 证明任何具有两个端点的极限流形必共形于 $\mathbb{R}^n \setminus \{0\}$ 或 $S^n$ 去掉两点，进而在体积增长约束下导致矛盾。

提出的方法

• 利用三圆定理分析奇异点附近的环形区域，表明其几乎共形于柱面 $S^{n-1} \times [-\log \delta, -\log r]$。
• 应用 $\epsilon$-正则性控制爆破：若某球体内体积较小，则 $u_k$ 在更小的球面上有 $W^{2,p}$ 有界性。
• 运用约翰-尼伦伯格不等式控制 $u_k$ 的振荡，并在爆破分析中导出一致估计。
• 通过在集中点处迭代缩放构造气泡树，识别出在 $\mathbb{R}^n$ 或 $\mathbb{R}^n \setminus \{0\}$ 中的调和极限。
• 利用共形变换方程 $-\Delta_g u + c(n) R(g) u = c(n) R(g_k) u^{\frac{n+2}{n-2}}$ 关联标量曲率与共形因子。
• 通过分裂定理分析极限度量，表明具有两个端点的极限必同构于 $N \times \mathbb{R}$，且由拓扑约束得 $k=1$。

实验结果

研究问题

• RQ1 在仅假设标量曲率 $L^p$-有界性且无内接半径控制的条件下，能否为共形度量序列建立气泡树收敛结构？
• RQ2 当爆破发生在固定共形类中时，极限空间的精确渐近结构是什么？
• RQ3 在给定的曲率与体积约束下，能否排除具有两个端点的极限流形的存在？
• RQ4 三圆定理如何改进爆破过程中奇异点附近环形区域的分析？
• RQ5 若极限度量为里奇平坦且具有两个端点，其含义为何？这如何与体积增长产生矛盾？

主要发现

• 序列 $g_k = u_k^{\frac{4}{n-2}}g$ 满足 $\mathrm{vol}(M,g_k)=1$ 且 $\|R(g_k)\|_{L^p} < \Lambda$（$p > n/2$），在有限个奇异点处存在气泡树极限结构。
• 三圆定理表明，环形区域 $B_\delta(p) \setminus B_r(p)$ 几乎共形于 $S^{n-1} \times [-\log \delta, -\log r]$（当 $r, \delta$ 较小时），且共形因子满足接近 $-\Delta v + \frac{(n-2)^2}{4}v = 0$ 的线性化方程。
• 具有两个端点的极限流形必微分同胚于去掉两点的 $S^n$，或共形于 $\mathbb{R}^n \setminus \{0\}$；在两种情况下，体积增长均与预期的 $O(1/t)$ 刻度矛盾。
• 在极限度量中，半径为 $c_4/t$ 的球体体积至少为 $c_1 t^{-n}$，与两个端点结构所预期的 $O(1/t)$ 增长矛盾。
• 若 Gromov-Hausdorff 极限非光滑流形，则必有 $u_0 \neq 0$，或某点处至少存在两个气泡，或奇异集中至少有两个正集中质量的点。
• 极限度量 $g_\infty$ 为里奇平坦，且同构于 $N \times \mathbb{R}$ 且 $k=1$，意味着 $M_\infty$ 微分同胚于 $S^n$ 去掉两点或 $\mathbb{R}^n \setminus \{0\}$，两者均导致体积增长矛盾。