[论文解读] On static three-manifolds with positive scalar curvature

Lucas Ambrozio|arXiv (Cornell University)|Mar 12, 2015

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

一句话总结

本文为具有正数量曲率的静态三维流形建立了类Bochner公式，并利用该公式在该曲率条件下对紧致静态三元组进行了分类。通过构造相关的奇点爱因斯坦四维流形并应用爱因斯坦几何的结果，作者证明了在特定几何约束下，标准的球形赤道半球是唯一具有正数量曲率、连通边界且紧致、单连通的静态三维流形。

ABSTRACT

We compute a Bochner type formula for static three-manifolds and deduce some applications in the case of positive scalar curvature. We also explain in details the known general construction of the (Riemannian) Einstein (n+1)-manifold associated to a maximal domain of a static n-manifold where the static potential is positive. There are examples where this construction inevitably produces an Einstein metric with conical singularities along a codimension-two submanifold. By proving versions of classical results for Einstein four-manifolds for the singular spaces thus obtained, we deduce some classification results for compact static three-manifolds with positive scalar curvature.

研究动机与目标

• 对具有正数量曲率、连通边界且紧致、单连通的静态三流形进行分类。
• 将已知的关于局部共形平坦静态三元组的分类结果推广至非共形平坦情形。
• 通过渐近分析，建立静态势函数在边界邻域处的正则性与存在性结果。
• 证明在给定的曲率与拓扑约束下，标准球形赤道半球是唯一满足条件的流形。

提出的方法

• 利用静态势函数的Hessian与Ricci曲率，推导出静态三流形的类Bochner公式。
• 从具有正静态势的静态n-流形的最大区域构造一个(n+1)维爱因斯坦流形。
• 分析所得的奇点爱因斯坦空间，特别关注沿余维数为二的子流形的锥形奇点。
• 将经典爱因斯坦四维流形理论结果应用于通过构造获得的奇点空间。
• 利用奇异常微分方程解的渐近展开与正则性理论，分析静态势在边界附近的性质。
• 通过在径向解上使用数学归纳法与分部积分法，证明其在原点处的高阶可微性与光滑性。

实验结果

研究问题

• RQ1 在最大边界面积假设下，标准球形赤道半球是否是唯一具有正数量曲率、连通边界且紧致、单连通的静态三流形？
• RQ2 在局部共形平坦情形之外，具有正数量曲率的静态三流形在几何与拓扑上还受到哪些约束？
• RQ3 静态势及其零点集的性质如何约束流形的整体几何结构？
• RQ4 当奇点出现时，能否利用从静态n-流形构造爱因斯坦(n+1)-流形的方法对原始n-流形进行分类？
• RQ5 静态势在边界附近表现出何种正则性特征？这些特征如何影响分类结果？

主要发现

• 在最大边界面积假设下，标准球形赤道半球是唯一具有正数量曲率、连通边界且紧致、单连通的静态三流形。
• 从具有正势的静态三流形构造爱因斯坦四流形时，所得空间沿余维数为二的子流形具有锥形奇点。
• 静态方程的解在边界处表现出更高正则性：若势函数在内部光滑且在边界连续，则其在边界处为$C^2$。
• 静态势满足一个具有奇异系数的径向常微分方程，其解通过分部积分与渐近分析证明在原点处为$C^2$。
• 当边界数据更光滑时，势函数的正则性随之提高；通过在导数上使用归纳法，可证明当强迫项为$C^k$时，解具有$C^{k+2}$正则性。
• 具有正数量曲率的静态三元组的分类结果仅包括球形赤道半球、$S^2$上的圆柱体以及Schwarzschild-de Sitter空间，至多相差覆盖与等价关系。