[论文解读] Rigidity of inversive distance circle packings revisited

Xu Xu|arXiv (Cornell University)|May 8, 2017

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

一句话总结

该论文利用变分原理和凸能量函数，证明了在 $(-1, +\infty)$ 范围内的反演距离下，反演距离圆堆积具有全局刚性，扩展了先前针对非负反演距离的结果。结果表明，在双曲背景几何中，给定的组合曲率或 $\alpha$-曲率唯一确定了圆堆积度量。

ABSTRACT

Inversive distance circle packing metric was introduced by P Bowers and K Stephenson \cite{BS} as a generalization of Thurston's circle packing metric \cite{T1}. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo \cite{Guo} proved the infinitesimal rigidity and then Luo \cite{L3} proved the global rigidity. In this paper, based on an observation of Zhou \cite{Z}, we prove this conjecture for inversive distance in $(-1, +\infty)$ by variational principles. We also study the global rigidity of a combinatorial curvature introduced in \cite{GJ4,GX4,GX6} with respect to the inversive distance circle packing metrics where the inversive distance is in $(-1, +\infty)$.

研究动机与目标

• 解决 Bowers 和 Stephenson 关于反演距离在 $(-1, +\infty)$ 范围内圆堆积刚性的猜想。
• 将全局刚性结果从非负反演距离扩展到完整的范围 $(-1, +\infty)$。
• 研究在双曲反演距离圆堆积度量下，广义组合曲率（包括 $\alpha$-曲率）的全局刚性。
• 在双曲几何中，建立给定组合曲率或 $\alpha$-曲率所对应的圆堆积度量的唯一性。

提出的方法

• 利用 Guo [22] 建立的反演距离圆堆积的变分原理。
• 应用 Bobenko、Pinkall 和 Springborn 对局部凸函数的扩展，进一步由 Luo [28] 发展。
• 将修正的能量函数 $\widetilde{\mathcal{E}}(u)$ 定义为凹项 $-\widetilde{\mathcal{E}}_{ijk}(u)$ 之和与包含曲率缺陷的凸积分项之和。
• 证明扩展能量 $\widetilde{\mathcal{E}}(u)$ 在 $\mathbb{R}^N$ 上是 $C^1$-光滑且凸的，从而确保临界点的唯一性。
• 在两个潜在度量之间的路径上使用凸性论证：若两者产生相同的曲率，则其能量导数恒为零，意味着半径完全相同。
• 利用海森矩阵 $\Lambda^H$ 的正定性，得出两个度量之间的差异必为零，从而证明唯一性。

实验结果

研究问题

• RQ1 反演距离圆堆积在反演距离属于 $(-1, +\infty)$ 时是否具有全局刚性？
• RQ2 非负反演距离的全局刚性结果能否扩展到低至 $-1$ 的负值？
• RQ3 广义组合 $\alpha$-曲率是否唯一确定双曲反演距离圆堆积度量？
• RQ4 扩展能量函数的凸性在证明圆堆积度量唯一性中起到什么作用？
• RQ5 与先前局限于 $[0, +\infty)$ 的结果相比，变分原理如何扩展到完整的 $(-1, +\infty)$ 范围？

主要发现

• 论文证明了当反演距离属于 $(-1, +\infty)$ 时，给定组合曲率 $\overline{K}$，至多存在一个双曲反演距离圆堆积度量。
• 通过扩展能量函数 $\widetilde{\mathcal{E}}(u)$ 的凸性，建立了 $I > -1$ 时标准组合曲率 $\overline{K}$ 的全局刚性。
• 证明了能量函数的海森矩阵 $\Lambda^H$ 为正定，这意味着任何具有相同曲率的两个度量必定完全相同。
• 该证明方法可推广至 $\alpha$-曲率，表明当 $\alpha\overline{R} \leq 0$ 时，给定 $\alpha$-曲率 $\overline{R}$，至多存在一个双曲反演距离圆堆积度量。
• 该结果将 Luo 早期关于非负反演距离的工作推广至整个区间 $(-1, +\infty)$，解决了 Bowers 和 Stephenson 在此范围内的长期猜想。
• 能量函数 $\widetilde{\mathcal{E}}(u)$ 是 $C^1$-光滑且凸的，确保临界点对应唯一解，这是证明刚性的关键。