[论文解读] Equivalence of Geometric and Combinatorial Dehn Functions

José Burillo, Jennifer Taback|ArXiv.org|Mar 13, 2001

Advanced Topics in Algebra参考文献 7被引用 25

一句话总结

本文建立了单连通黎曼流形的几何德恩函数与作用在其上的有限生成群的组合德恩函数之间的等价性。通过基于测度论中心选择的几何‘推移引理’，作者证明了流形中的利普希茨链可被投影到三角剖分骨架上，且体积增长受控，从而将流形中的最小填充面积与范·坎普滕图中的最小2-胞腔数联系起来。

ABSTRACT

We prove that if a finitely presented group acts properly discontinuously, cocompactly and by isometries on a simply connected Riemannian manifold, then the Dehn function of the group and the corresponding filling function of the manifold are equivalent, in a sense described below.

研究动机与目标

• 严格建立单连通黎曼流形的几何德恩函数与作用在其上的有限生成群的组合德恩函数之间的等价性。
• 解决几何群论中长期存在的隐含假设：在该类群作用下，两个德恩函数是等价的。
• 使用几何测度论技术，特别是新颖版本的变形定理，提供完整且详细的证明。
• 证明在通过三角剖分实现的拟等距控制下，群的德恩函数与流形的填充函数是等价的。
• 形式化流形中利普希茨链与其到群不变三角剖分的单纯投影之间的关系，确保面积与长度界保持不变。

提出的方法

• 引入一个‘推移引理’，将黎曼流形中的任意利普希茨k-链投影到G-不变三角剖分的k-骨架上，且控制体积增长。
• 使用测度论论证，选择足够远离链的投影中心，以防止体积任意膨胀。
• 将推移引理应用于流形中的闭合曲线与曲面，将它们的几何面积与三角剖分2复形上的范·坎普滕图中2-胞腔的数量联系起来。
• 构造从2-圆盘到三角剖分2-骨架的单纯映射，保持边界环路，并将2-单形的数量控制为几何面积的常数倍。
• 通过最小化2-胞腔数，将该单纯映射转化为范·坎普滕图，确保其组合最小化并满足相同的面积界。
• 利用德恩函数在拟等距下的不变性，将群的德恩函数与三角剖分2复形的德恩函数等同，完成等价性证明。

实验结果

研究问题

• RQ1 在何种条件下，单连通黎曼流形的几何德恩函数与作用在其上的有限生成群的组合德恩函数是等价的？
• RQ2 能否使用一种类比于几何测度论中变形定理的几何投影技术，来控制将利普希茨链投影到三角剖分骨架时的体积增长？
• RQ3 在群作用条件下，是否能对范·坎普滕图中2-胞腔的数量进行统一有界，使其不超过流形中填充圆盘的面积？
• RQ4 如何利用投影的边界保持性质（即 ∂T = ∂R）来确保原环路与其投影之间同伦的有效性？
• RQ5 G-不变三角剖分的存在在多大程度上允许将群的凯莱复形与流形的几何通过拟等距进行比较？

主要发现

• 在给定群作用条件下，流形的几何德恩函数 δ_M 与三角剖分2复形的组合德恩函数 δ_τ^(2) 是等价的。
• 推移引理表明：对于任意满足边界属于 τ^(k-1) 的利普希茨k-链T，存在一个投影k-链R ∈ τ^(k) 及一个同伦S 到T，使得 vol_k(R) ≤ C·vol_k(T) 且 vol_{k+1}(S) ≤ C·vol_k(T)，其中常数C仅依赖于M和τ。
• 对于长度 l(γ) ≤ n 的环路γ，其范·坎普滕图中2-单形的数量被几何面积的常数倍所控制。
• 群G的德恩函数与 δ_τ^(2) 等价，而由于 δ_τ^(2) ≡ δ_M，因此 δ_G ≡ δ_M。
• 该证明建立了流形中最小面积填充圆盘与群的展示复形中最小面积范·坎普滕图之间的构造性联系。
• 该结果确认并严格证明了几何群论中广泛假设的等价性，为关联几何与组合等周函数提供了基础性工具。