[论文解读] Combinatorial systolic inequalities

Ryan Kowalick, Jean‐François Lafont+1 more|arXiv (Cornell University)|Jun 23, 2015

Geometric and Algebraic Topology参考文献 17被引用 5

一句话总结

本文建立了经典黎曼几何中的系统不等式与其在流形光滑三角剖分上的组合对应形式之间的联系。通过证明某一类流形满足黎曼系统不等式当且仅当其所有光滑三角剖分均满足相应的组合系统不等式，作者在微分几何与离散拓扑之间架起了桥梁，证明了三角剖分可编码几何信息，反之亦然。

ABSTRACT

We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We show that a class of smooth manifolds satisfies a systolic inequality for all Riemannian metrics if and only if it satisfies a corresponding combinatorial systolic inequality for all smooth triangulations. Along the way, we show that any closed Riemannian manifold has a smooth triangulation which "remembers" the geometry of the Riemannian metric, and conversely, that every smooth triangulation gives rise to Riemannian metrics which encode the combinatorics of the triangulation. We give a few applications of these results.

研究动机与目标

• 使用光滑三角剖分建立黎曼几何中经典系统不等式的离散类比。
• 证明某一类流形存在黎曼系统不等式，当且仅当其所有光滑三角剖分均存在相应的组合系统不等式。
• 证明每个紧致黎曼流形都存在一个光滑三角剖分，使得边长与单纯形大小在度量几何下保持有界。
• 证明每个光滑三角剖分均可实现为一个黎曼度量的1-骨架，该度量将组合环路长度保持在统一的乘法因子范围内。
• 提供一个基础框架，将几何不变量（系统长、体积）与组合不变量（组合系统长、离散体积）联系起来，同时保持渐近缩放行为的一致性。

提出的方法

• 使用惠特尼将流形嵌入欧几里得空间并与其精细立方体相交的方法，构造光滑三角剖分。
• 应用纳什等距嵌入定理，确保三角剖分在边长与单纯形大小层面上保持黎曼度量的几何结构。
• 将组合系统长定义为三角剖分1-骨架中同伦非平凡环路所含的最少边数。
• 将组合体积定义为三角剖分中顶维单纯形的数量。
• 通过将每个n-单纯形设为单位体积且边长相等的正单纯形，在三角剖分上构造一个分片欧几里得度量。
• 通过归纳方式平滑沿余维2子流形的奇点，生成一个逼近离散体积并控制环路长度的光滑黎曼度量。

实验结果

研究问题

• RQ1 能否通过三角剖分将经典黎曼系统不等式完全转化为组合形式？
• RQ2 黎曼设定下的系统不等式有效性与三角剖分上的组合对应形式之间是否存在一一对应关系？
• RQ3 每个紧致流形上的黎曼度量是否都能在光滑三角剖分中编码，使得边长与单纯形大小相对于度量保持一致有界？
• RQ4 每个光滑三角剖分是否都能实现为一个黎曼度量的1-骨架，使得环路的组合长度与度量长度之间保持统一的乘法常数关系？
• RQ5 在离散与连续设定下，系统长与体积的渐近缩放关系是什么？

主要发现

• 一族紧致光滑n-流形满足形如 $\operatorname{Sys}_g(M) \leq C \sqrt[n]{\operatorname{Vol}_g(M)}$ 的黎曼系统不等式，当且仅当其对所有光滑三角剖分均满足相应的组合系统不等式 $\operatorname{Sys}_{\mathcal{T}}(M) \leq C' \sqrt[n]{\operatorname{Vol}_{\mathcal{T}}(M)}$。
• 对任意紧致黎曼流形，存在一个光滑三角剖分，使得任意顶维单纯形的最大边长与该单纯形体积的n次方根之比，被一个仅依赖于维度的常数 $\delta_n$ 所控制。
• 对任意光滑三角剖分，存在一个黎曼度量，使得其总度量体积与组合体积之差小于任意 $\varepsilon > 0$，且任意 $g$-测地线环路均存在一个自由同伦等价的边环路，其长度至多为 $\kappa_n$ 倍的测地线长度。
• 度量编码定理中的常数 $\kappa_n$ 仅依赖于维度 $n$，从而确保对所有三角剖分实现统一控制。
• 该结果可推广至低维单纯形，存在常数 $\delta_{n,k}$，用于控制最大 $k$-单纯形直径与该单纯形 $k$-体积的 $k$ 次方根之比。
• 黎曼系统不等式与组合系统不等式之间的等价性意味着，格罗莫夫证明的关于本质流形的系统不等式在离散设定下也成立，且其常数仅依赖于本质流形的类。