[论文解读] On the deformation of ball packings

Huabin Ge, Wenshuai Jiang+1 more|arXiv (Cornell University)|May 27, 2018

Geometric and Algebraic Topology参考文献 23被引用 9

一句话总结

本文为三角剖分3-流形上的球堆积引入了一种组合 Yamabe 不变量，并证明其可实现当且仅当存在常曲率堆积。证明了在正则三角剖分下，组合 Yamabe 流以指数速度收敛到常曲率度量，并通过归一化泛函和 Cooper-Rivin-Glickenstein 能量的凸扩展，发展了一种流的延拓方法，以确保在存在奇点时仍具有长时间存在性和收敛性。

ABSTRACT

In this paper, we study the geometric aspects of ball packings on $(M,\mathcal{T})$, where $\mathcal{T}$ is a triangulation on a 3-manifold $M$. We introduce a combinatorial Yamabe invariant $Y_{\mathcal{T}}$, depending on the topology of $M$ and the combinatoric of $\mathcal{T}$. We prove that $Y_{\mathcal{T}}$ is attainable if and only if there is a constant curvature packing, and the combinatorial Yamabe problem can be solved by minimizing Cooper-Rivin-Glickenstein functional. We then study the combinatorial Yamabe flow introduced by Glickenstein \cite{G0}-\cite{G2}. We first prove a small energy convergence theorem which says that the flow would converge to a constant curvature metric if the initial energy is close in a quantitative way to the energy of a constant curvature metric. We shall also prove: although the flow may develop singularities in finite time, there is a natural way to extend the solution of the flow so as it exists for all time. Moreover, if the triangulation $\mathcal{T}$ is regular (that is, the number of tetrahedrons surrounding each vertex are all equal), then the combinatorial Yamabe flow converges exponentially fast to a constant curvature packing.

研究动机与目标

• 定义依赖于3-流形 $ M $ 的拓扑和三角剖分 $ \tau $ 的组合 Yamabe 不变量 $ Y_{\tau} $，并确定其可实现性。
• 建立 $ Y_{\tau} $ 的可实现性与常曲率堆积存在的等价性。
• 分析 Glickenstein 引入的组合 Yamabe 流的行为，特别是其收敛性及在奇点之后的延拓。
• 证明在正则三角剖分下流的指数收敛性，并将泛函框架扩展至包含虚拟堆积。
• 通过扩展的流和泛函制定并研究一个指定曲率问题。

提出的方法

• 将球堆积的空间 $ \tilde{\rho}_{\tau} $ 定义为 $ \bbR^N_{>0} $ 的子集，要求对所有四面体 $ \{ijkl\} \in \tau_3 $ 满足 $ Q_{ijkl} > 0 $，以确保可实现的欧几里得四面体。
• 引入组合标量曲率 $ K_i = 4\pi - \sum_{\{ijkl\} \ni i} \alpha_{ijkl} $，其中 $ \alpha_{ijkl} $ 是四面体 $ \{ijkl\} $ 中顶点 $ i $ 处的立体角。
• 使用 Cooper-Rivin-Glickenstein 泛函 $ \lambda_{p}(r) $ 作为关键能量泛函，并将其扩展到 $ \bbR^N_{>0} $ 上的 $ \tilde{\lambda}_p(r) $，以允许虚拟堆积。
• 定义扩展的组合 Yamabe 流 $ r_i'(t) = (\bar{K}_i - \tilde{K}_i) r_i $，该流经归一化并延拓至所有 $ t \geq 0 $，即使在有限时间内出现奇点也成立。
• 构造 Cooper-Rivin 泛函的 $ C^1 $-光滑凸扩展，以及立体角的 $ C^0 $-扩展，以处理退化构型。
• 应用 Schläffli 公式和二面角分析，推导出曲率、半径和边长之间的微分恒等式。

实验结果

研究问题

• RQ1 组合 Yamabe 不变量 $ Y_{\tau} $ 何时可实现，其几何意义是什么？
• RQ2 在何种条件下，组合 Yamabe 流收敛到常曲率度量？
• RQ3 组合 Yamabe 流的解能否在有限时间奇点后继续延拓，如何实现？
• RQ4 正则三角剖分在确保流的指数收敛性中起什么作用？
• RQ5 能否通过扩展的流和泛函求解指定曲率问题，哪些不变量控制这一过程？

主要发现

• 组合 Yamabe 不变量 $ Y_{\tau} $ 可实现当且仅当 $ (M, \tau) $ 上存在常曲率堆积，从而将拓扑与几何联系起来。
• 小能量收敛定理指出：若初始能量足够接近常曲率度量的能量，则流收敛到该度量。
• 通过泛函和曲率定义的自然延拓，组合 Yamabe 流即使在有限时间内出现奇点，也能延拓至所有时间 $ t \geq 0 $。
• 对于正则三角剖分（每个顶点度数相同），流以指数速度收敛到常曲率堆积。
• 若初始数据满足 $ \tilde{\lambda}_p(r(0)) \leq \tilde{\chi}(\bar{r}, \tau) $，则扩展流 $ r_i'(t) = (\bar{K}_i - \tilde{K}_i) r_i $ 全局存在并以指数速度收敛到常曲率堆积 $ \bar{r} $。
• 新定义的不变量 $ \tilde{\chi}(\bar{r}, \tau) $ 为 $ \bbR^N_{>0} $ 中射线方向上扩展泛函的上确界，它控制扩展流的收敛性。