[论文解读] The dihedral rigidity conjecture for n-prisms

Chao Li|arXiv (Cornell University)|Jul 8, 2019

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

一句话总结

本文证明了在2至7维中n-柱体的二面角刚性猜想，表明若一个具有非负标量曲率和弱均曲率凸面的黎曼多面体，其所有二面角均不大于其欧几里得模型的对应值，则该多面体必与一个平坦柱体等距。证明利用了自由边界极小超曲面与受 Schoen-Yau 启发的维数下降技巧，建立了正质量定理的局部化版本。

ABSTRACT

We prove the following comparison theorem for metrics with nonnegative scalar curvature, also known as the dihedral rigidity conjecture by Gromov: for $n\le 7$, if an $n$-dimensional prism has nonnegative scalar curvature and weakly mean convex faces, then its dihedral angle cannot be everywhere not larger than its Euclidean model, unless it is isometric to an Euclidean prism. The proof relies on constructing certain free boundary minimal hypersurface in a Riemannian polyhedron, and extending a dimension descent idea of Schoen-Yau. Our result is a localization of the positive mass theorem.

研究动机与目标

• 解决2至7维中n-柱体的二面角刚性猜想。
• 为具有非负标量曲率和弱均曲率凸面的黎曼多面体建立比较定理。
• 将Schoen-Yau的维数下降方法推广至具有边界条件的多面体情形。
• 证明：若一个以n-柱体为底的多面体，其二面角处处不大于或等于欧几里得柱体，且标量曲率为非负，则该多面体必与欧几里得柱体等距。

提出的方法

• 在黎曼多面体中构造自由边界极小超曲面，以分析边界几何结构。
• 应用受Schoen与Yau启发的维数下降论证，将问题约化至低维情形。
• 利用椭圆正则性理论与Campanato估计，建立解在角点附近的$C^{2,eta}$正则性。
• 对Neumann型边界数据施加相容性条件，以确保椭圆PDE解的$C^{2,eta}$正则性。
• 通过$ v = e^{v_0} $的共形变换，将Robin型问题转化为Neumann问题。
• 分析在开口角小于$\pi/2$的锥形奇点附近调和函数的行为，以推导更高正则性。

实验结果

研究问题

• RQ1 一个具有非负标量曲率和弱均曲率凸面的黎曼多面体，是否可能在所有二面角均不大于其欧几里得模型的情况下，却不与之等距？
• RQ2 二面角刚性猜想是否在2至7维的n-柱体上成立？
• RQ3 Schoen-Yau的维数下降方法能否被适配至具有自由边界极小超曲面的多面体设定中？
• RQ4 在开口角较小的多面体角点附近，具有Neumann型边界条件的椭圆PDE解继承了何种正则性性质？
• RQ5 在受控二面角条件下，黎曼多面体的正质量定理是否存在局部化版本？

主要发现

• 对于$2 \leq n \leq 7$，若一个n-柱体具有非负标量曲率和弱均曲率凸面，则其所有二面角均不大于欧几里得模型的对应值，除非该柱体与平坦柱体等距。
• 证明表明，唯一满足曲率与边界条件的以n-柱体为底的黎曼多面体即为欧几里得柱体。
• 在黎曼多面体中的自由边界极小超曲面被证明在边界处具有$C^{2,\alpha}$正则性，从而确保几何控制。
• 椭圆正则性结果被推广至具有锥形奇点的多面体区域，表明相关PDE的解继承了$C^{2,\alpha}$正则性。
• 对边界数据$q_j$施加相容性条件，可确保存在$C^{2,\alpha}$延拓，这对解的正则性至关重要。
• 对开口角小于$\pi/2$的角点附近调和函数的分析，排除了二次项的存在，从而支持更高阶正则性估计。