[论文解读] On the global rigidity of sphere packings on 3-dimensional manifolds

Xu Xu|arXiv (Cornell University)|Nov 27, 2016

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

一句话总结

本文证明了三维流形上球堆积的全局刚性，确立了欧几里得与双曲球堆积度量在缩放（欧几里得情形）或精确（双曲情形）意义下，由其组合标量曲率唯一确定。证明基于一个基于里奇势函数的变分原理，并通过在球堆积度量空间上的凸性与海森矩阵分析，将先前的局部刚性结果推广至全局情形。

ABSTRACT

In this paper, we prove the global rigidity of sphere packings on 3-dimensional manifolds. This is a 3-dimensional analogue of the rigidity theorem of Andreev-Thurston and was conjectured by Cooper and Rivin. We also prove a global rigidity result using a combinatorial scalar curvature introduced by Ge and the author.

研究动机与目标

• 解决库珀与里文关于三维流形中球堆积的全局刚性猜想。
• 在闭合三维流形上，于给定组合标量曲率下，确立球堆积度量的唯一性。
• 通过引入一种新型组合α-曲率，推广刚性结果，该曲率克服了标准标量曲率的缩放不变性与网格尺寸依赖性问题。
• 将科林·德·沃德里耶与鲍本科-平卡尔-斯普林博恩的变分方法推广至三维情形，以证明三维球堆积的全局刚性。

提出的方法

• 在球堆积度量空间上定义一个里奇势函数，结合目标组合α-曲率与单纯形体积贡献。
• 使用凸扩展技术，将势函数从非退化度量的开区域扩展至整个正象限。
• 应用势函数的海森矩阵，分析连接两个解的一族一参度量的二阶变分。
• 证明在给定曲率约束下，海森矩阵为正定，从而表明任意两个解必须成比例（欧几里得情形）或完全相同（双曲情形）。
• 利用C²凸函数在端点处一阶导数为零时必为常数的性质，推导出度量的比例性或相等性。
• 利用矩阵海森结构，推导出度量向量之间的线性相关性，最终得出唯一性（至多缩放或完全一致）。

实验结果

研究问题

• RQ1 在闭合三角剖分流形上，三维球堆积度量是否由其组合标量曲率唯一确定？
• RQ2 在双曲情形下，是否可建立球堆积的全局刚性，而无缩放歧义？
• RQ3 新型组合α-曲率是否相较于标准标量曲率，在三维刚性问题中表现更优？
• RQ4 二维中使用的变分方法能否推广至三维球堆积的全局刚性证明？
• RQ5 在何种目标α-曲率条件下，球堆积度量的唯一性成立？

主要发现

• 在闭合三维流形上，欧几里得球堆积度量关于其组合标量曲率具有全局刚性，至多缩放。
• 在闭合三维流形上，双曲球堆积度量关于其组合标量曲率具有全局刚性，无缩放歧义。
• 对于组合α-曲率，当αR̄ ≡ 0（至多缩放）或αR̄ ≤ 0且不恒为零时（唯一性），全局刚性成立。
• 在给定曲率约束下，里奇势函数的海森矩阵为正定，确保解的唯一性。
• 证明表明，任意两个具有相同α-曲率的度量必成比例（欧几里得情形）或完全相同（双曲情形），其依据为凸性与二阶导数分析。
• 该结果将安德烈夫-瑟斯顿定理推广至三维，并证实了库珀与里文关于球堆积全局刚性的猜想。