[论文解读] Scalar curvature rigidity for locally conformally flat manifolds with boundary

Fabian-Michael Spiegel|arXiv (Cornell University)|Nov 19, 2015

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

一句话总结

该论文为具有边界的紧致局部共形平坦流形建立了标量曲率刚性定理，证明在标量曲率 $\mathrm{Scal} \geq n(n-1)$ 且边界平均曲率 $H(g) \geq \cot(\rho)$，且边界共形于标准球面 $S^n$ 中半径为 $\rho$ 的测地线球面时，该流形同构于标准球面中的测地线球 $\overline{D_\rho}$。证明方法基于共形几何、发展映射以及通过立体投影和上下解比较的极大值原理论证。

ABSTRACT

Inspired by the work of F. Hang and X. Wang and partial results by S. Raulot, we prove a scalar curvature rigitidy result for locally conformally flat manifolds with boundary in the spirit of the well-known Min-Oo conjecture.

研究动机与目标

• 在标量曲率与平均曲率有界条件下，建立局部共形平坦流形在边界情形下的刚性结果。
• 通过消除维数与拓扑限制（如 $n=4,6$，$\chi(M)=1$）推广 Hang 与 Wang 及 Raulot 的先前结果。
• 在自然曲率与边界条件下，证明此类流形同构于标准球面 $S^n$ 中的测地线球。
• 在不假设全局共形等价于半球面的前提下，将 Min-Oo 猜想推广至局部共形平坦情形。

提出的方法

• 利用发展映射将流形提升至 $S^n$ 的子集，借助局部共形平坦性。
• 应用标量曲率与平均曲率方程在 $g \mapsto u^{\frac{4}{n-2}}g$ 下的共形不变性。
• 通过立体投影将问题转移至 $\mathbb{R}^n$，此时度量变为 $v^{\frac{4}{n-2}}\sum dx^i \otimes dx^i$。
• 构造一个上解 $v$，并通过方程 $-\Delta v \geq \frac{n(n-2)}{4} v^{\frac{n+2}{n-2}}$ 与标准球面度量 $w$ 进行比较。
• 应用极大值原理与 Hopf 引理，证明 $v = w$ 在 $\partial B_r$ 上成立，从而推出同构性。
• 利用 $v$ 在孤立奇点附近趋于无穷的性质，排除非平凡的共形缺陷，强制 $\Lambda = \emptyset$。

实验结果

研究问题

• RQ1 在何种条件下，具有边界的局部共形平坦流形同构于 $S^n$ 中的测地线球？
• RQ2 Min-Oo 猜想能否在不假设全局共形等价于球面的前提下推广至局部共形平坦情形？
• RQ3 边界平均曲率 $H(g) \geq \cot(\rho)$ 在刚性中起何作用？该条件能否被弱化？
• RQ4 $\rho \leq \pi/2$ 的假设是否最优？为何在 $\rho > \pi/2$ 时失效？
• RQ5 能否在不假设 $\chi(M) = 1$ 或 $n=4,6$ 的前提下建立刚性？

主要发现

• 在 $\mathrm{Scal}(g) \geq n(n-1)$ 且 $H(g) \geq \cot(\rho)$，且 $\partial M \cong \Sigma_\rho$ 的条件下，流形 $(M,g)$ 同构于标准球面中的测地线球 $\overline{D_\rho} \subset S^n$。
• 边界条件 $H(g) \geq \cot(\rho)$ 是最优的，无法在无额外假设下放宽，如 $\rho \leq \pi/2$ 的最优性所示。
• 若 $M$ 是单连通且 $\rho = \pi/2$，则可省略平均曲率条件，恢复类似 Hang 与 Wang 的结果。
• 证明表明，任何共形缺陷（即孤立奇点）均通过极大值原理导致矛盾，强制度量全局共形于标准球面。
• 该结果对所有 $n \geq 3$ 成立，消除了 Raulot 等人先前结果中的维数与拓扑限制。
• 关键步骤是通过 Hopf 引理证明 $v = w$ 在 $\partial B_r$ 上成立，从而强制度量在投影球面上与标准球面度量完全一致。