[论文解读] Scalar Curvature on Compact Symmetric Spaces

Mario Listing|arXiv (Cornell University)|Jul 12, 2010

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

一句话总结

该论文通过引入一种更弱的曲率比较条件，建立了紧致对称空间上标量曲率刚性的新结果：若局部对称空间 $(M_0,g_0)$ 上度量 $g$ 的缩放标量曲率满足 $\mathrm{scal}_g \cdot g \geq \mathrm{scal}_0 \cdot g_0$，则当 $\chi(M_0) \neq 0$ 时，$g$ 必须是 $g_0$ 的常数倍。对于标准球面 $S^{2m}$，该条件进一步弱化为 $\mathrm{scal}_g \geq (2m-1)\cdot\mathrm{tr}_g(g_0)$，仍能推出 $g$ 是标准度量的常数倍。

ABSTRACT

A classic result by Gromov and Lawson states that a Riemannian metric of non--negative scalar curvature on the Torus must be flat. The analogous rigidity result for the standard sphere was shown by Llarull. Later Goette and Semmelmann generalized it to locally symmetric spaces of compact type and nontrivial Euler characteristic. In this paper we improve the results by Llarull and Goette, Semmelmann. In fact we show that if $(M,g_0)$ is a locally symmetric space of compact type with $χ(M) eq 0$ and $g$ is a Riemannian metric on $M$ with $\mathrm{scal}_g\cdot g\geq \mathrm{scal}_0\cdot g_0$, then $g$ is a constant multiple of $g_0$. The previous results by Llarull and Goette, Semmelmann always needed the two inequalities $g\geq g_0$ and $\mathrm{scal}_g\geq \mathrm{scal}_0$ in order to conclude $g=g_0$. Moreover, if $(S^{2m},g_0)$ is the standard sphere, we improve this result further and show that any metric $g$ on $S^{2m}$ of scalar curvature $\mathrm{scal}_g\geq (2m-1)\mathrm{tr}_g(g_0)$ is a constant multiple of $g_0$.

研究动机与目标

• 通过弱化得出度量成比例所需的前提条件，推广此前关于对称空间的标量曲率刚性结果。
• 消除早期 Llarull 与 Goette–Semmelmann 工作中依赖面积或距离非增映射的必要性。
• 建立一种局部化且缩放不变的曲率比较条件，该条件仍能对紧致对称空间上的度量推出刚性。
• 通过将标准球面 $S^{2m}$ 上的刚性条件简化为基于度量迹的不等式，实现进一步弱化。
• 使用基于函数的比较方法，统一并扩展标量曲率刚性结果，替代先前依赖几何映射假设的方法。

提出的方法

• 在流形上引入一个非负函数，以从上方控制标量曲率，从而替代对全局映射条件的依赖。
• 利用狄拉克算子与自旋几何，通过 $\widehat{A}$-示性类与指标理论推导曲率比较。
• 定义一个黎曼纤维丛 $f: (M, \overline{g}) \to (M_0, g_0)$，其中 $\overline{g} = \alpha g$，并分析水平与竖直分布上的 Ricci 曲率分解。
• 通过水平丛上 Ricci 张量的迹，推导出涉及 $\alpha$、$\mathrm{d}\alpha$ 与曲率项的关键 PDE 方程。
• 对所得方程应用分部积分，证明在曲率假设下，左边非负，右边非正。
• 由此得出 $\mathrm{d}\alpha = 0$，$|A|^2 = 0$，且 $|T|^2 = |N|^2$，从而推出 $\alpha$ 为常数，故 $g$ 是 $g_0$ 的常数倍。

实验结果

研究问题

• RQ1 能否在不假设面积或距离非增映射的前提下，建立紧致对称空间上的标量曲率刚性？
• RQ2 在欧拉示性数非零的对称空间上，仍能推出度量为原度量常数倍的最弱曲率比较条件是什么？
• RQ3 如何将标准球面 $S^{2m}$ 上的刚性条件从逐点度量比较弱化为基于迹的不等式？
• RQ4 是否可能用局部的、逐点的缩放标量曲率比较，替代先前工作中依赖全局映射的假设？
• RQ5 该刚性结果能否推广至欧拉示性数或 Kervaire 半示性数非零的正规齐性空间？

主要发现

• 对于任意紧致型局部对称空间 $(M_0, g_0)$ 满足 $\chi(M_0) \neq 0$，若点态满足 $\mathrm{scal}_g \cdot g \geq \mathrm{scal}_0 \cdot g_0$，则 $g$ 必为 $g_0$ 的常数倍。
• 在标准球面 $S^{2m}$ 上，条件 $\mathrm{scal}_g \geq (2m-1)\cdot\mathrm{tr}_g(g_0)$ 仍能推出 $g$ 是标准度量的常数倍。
• 该证明避免了 Llarull 与 Goette–Semmelmann 早期工作中对面积或距离非增映射的假设。
• 该方法依赖于具有共形因子 $\alpha$ 的黎曼纤维丛，并通过曲率 PDE 的积分推导出 $\mathrm{d}\alpha = 0$。
• 积分后导出的关键方程为 $\int_M c(n,m)\alpha^{n-4}|\pi_{\mathcal{H}}\mathrm{d}\alpha|^2_g + \frac{m(n-2)}{2}\alpha^{n-4}|\pi_{\mathcal{H}^\perp}\mathrm{d}\alpha|^2_g = -\int_M 2|A|^2_{\overline{g}} + (|T|^2_{\overline{g}} - |N|^2_{\overline{g}})$，当 $n,m \geq 3$ 时，该式迫使 $\mathrm{d}\alpha = 0$。
• 即使 $|T|^2 = |N|^2$，该结果依然成立；在最小纤维条件下，度量 $g$ 局部为 Ricci 平坦纤维的黎曼积。