[论文解读] On conformally flat manifolds with constant positive scalar curvature

Giovanni Catino|arXiv (Cornell University)|Aug 5, 2014

Geometric Analysis and Curvature Flows参考文献 6被引用 4

一句话总结

本文在迹零里奇张量的最优 $L^{n/2}$-型积分捏缩条件下，分类了具有常正数量曲率的紧致共形平坦 $n$-维流形。证明了此类流形同构覆盖于以下三种之一：标准球面 $ frac{\SS^n}$，乘积 $ frac{\SS^1 \times \SS^{n-1}}$ 上的乘积度量，或 $ frac{\SS^1 \times \SS^{n-1}}$ 上的旋转对称德兹迪尼度量，通过曲率估计与考茨马斯张量分析建立了刚性结果。

ABSTRACT

We classify compact conformally flat $n$-dimensional manifolds with constant positive scalar curvature and satisfying an optimal integral pinching condition: they are covered isometrically by either $\mathbb{S}^{n}$ with the round metric, $\mathbb{S}^{1} imes \mathbb{S}^{n-1}$ with the product metric or $\mathbb{S}^{1} imes \mathbb{S}^{n-1}$ with a rotationally symmetric Derdziński metric.

研究动机与目标

• 在尖锐的积分捏缩条件下，对具有常正数量曲率的紧致共形平坦 $n$-维黎曼流形进行分类。
• 确定在所提积分不等式取等号时出现的精确几何结构。
• 通过引入涉及迹零里奇张量的曲率估计，将共形平坦流形的刚性结果进一步推广。
• 刻画调和曲率与考茨马斯张量在分类此类流形中的作用。
• 将已知例子——标准球面、乘积 $\SS^1 \times \SS^{n-1}$ 以及德兹迪尼度量——统一于单一最优捏缩条件之下。

提出的方法

• 利用共形平坦流形上迹零里奇张量 $E$ 的威滕博克公式，推导出点态曲率不等式。
• 引入加权截断函数 $f_\varepsilon$ 以处理当 $|E| = 0$ 时的奇点，从而允许使用分部积分法。
• 利用共形平坦性条件，将黎曼曲率张量用 $E$ 与数量曲率 $R$ 表示，简化曲率收缩运算。
• 应用尖锐不等式 $E_{ij}E_{ik}E_{jk} \geq -\frac{n-2}{\sqrt{n(n-1)}}|E|^3$ 对曲率项进行下界估计。
• 取极限 $\varepsilon \to 0$，得到积分不等式 $\int_M |E|^{\frac{n-2}{n}}\left(R - \sqrt{n(n-1)}|E|\right) \leq 0$。
• 应用德兹迪尼（定理 3.2）关于具有调和曲率及两个不同里奇特征值的流形的分类结果，完成分类。

实验结果

研究问题

• RQ1 哪些紧致共形平坦 $n$-流形具有常正数量曲率，并满足迹零里奇张量的最优积分捏缩条件？
• RQ2 在导出的积分不等式取等号时，会出现哪些几何结构？
• RQ3 考茨马斯张量与调和曲率如何约束此类流形的整体几何结构？
• RQ4 能否通过曲率捏缩条件刻画旋转对称德兹迪尼度量的类？
• RQ5 里奇张量特征值重数在分类具有正数量曲率的共形平坦流形中起何作用？

主要发现

• 所有具有常正数量曲率的紧致共形平坦 $n$-流形均满足积分不等式 $\int_M |E|^{\frac{n-2}{n}}\left(R - \sqrt{n(n-1)}|E|\right) \leq 0$。
• 当且仅当流形同构覆盖于 $\SS^n$（标准度量）、$\SS^1 \times \SS^{n-1}$（乘积度量）或 $\SS^1 \times \SS^{n-1}$（旋转对称德兹迪尼度量）时，积分不等式取等号。
• 当 $E \equiv 0$ 时，流形为爱因斯坦流形，且由于共形平坦性，其截面曲率恒为正，故同构覆盖于 $\SS^n$。
• 当 $E$ 在每点处具有重数为 $n-1$ 与 $1$ 的特征值，且里奇张量不平行时，流形同构覆盖于 $\SS^1 \times \SS^{n-1}$ 上的德兹迪尼度量。
• 该分类是尖锐的：捏缩条件为最优，且精确刻画了三种模型几何。
• 该结果揭示了一种刚性现象：曲率估计在爱因斯坦与非爱因斯坦情形之间实现插值，等号情形恰好对应特定对称结构。