[论文解读] Filling Length in Finitely Presentable Groups

S. M. Gersten, Tim Riley|arXiv (Cornell University)|Aug 3, 2000

Geometric and Algebraic Topology参考文献 8被引用 10

一句话总结

本文為有限表示群的填充分长度函数建立了新的上界，表明其受等周函数的对数与可同时实现的等直径函数的乘积所限制。关键贡献在于提出一个普遍不等式，改进了已知的界，尤其适用于多项式等周函数的群，并提供了存在指数等周函数且具有受控等直径对应函数的必要条件。

ABSTRACT

Filling length measures the length of the contracting closed loops in a null-homotopy. The filling length function of Gromov for a finitely presented group measures the filling length as a function of length of edge-loops in the Cayley 2-complex. We give a bound on the filling length function in terms of the log of an isoperimetric function multiplied by a (simultaneously realisable) isodiametric function.

研究动机与目标

• 建立有限表示群中填充分长度、等周函数与等直径函数之间的定量关系。
• 通过结合等周与等直径数据，改进填充分长度函数的现有上界。
• 研究具有受控增长的 AD-对（等周函数，等直径函数）的存在性，尤其关注与指数等周界的关系。
• 为存在指数等周函数且可同时实现等直径函数的 AD-对提供必要条件。
• 利用新界分析特定群（如 Bridson 的群 Γₘ）的填充分长度。

提出的方法

• 作者将填充分长度函数 FL(w) 定义为：在 van Kampen 图中，通过 1-胞腔与 2-胞腔坍缩将零伦词 w 减少至单位元的所有可能同伦序列中，边界长度的最大值的最小值。
• 他们将 van Kampen 图分解为嵌套的子图 Nᵢ，其中 Nᵢ 定义为距基点距离为 i 的边界点的星形区域。
• 通过组合面积论证，他们证明：若过多的 i 满足第 i 级 Nᵢ 的边界长度超过 n/2，则总面积将超过已知的等周界，导致矛盾。
• 该矛盾意味着存在某个 i ≤ 6Mn^{r−1}，使得其边界长度 ≤ n/2，从而可建立填充分长度的归纳界。
• 他们将此方法应用于具有次数 r ≥ 2 的多项式等周函数的群，得出界 h₀(n) ≲ n^{r−1} log(n+1)。
• 此外，他们证明：对于顶点度有界的图，填充分长度受直径的二次函数有界，从而得出关于浸入圆盘图的一般推论。

实验结果

研究问题

• RQ1 填充分长度函数能否以一种改进已知 h₀ ≲ f₀ 界的方式，用等周函数与等直径函数来界定？
• RQ2 对于具有多项式等周函数的群，填充分长度函数的最紧可能上界是什么？
• RQ3 是否存在 AD-对 (f₀, g₀) = (exp g₀, g₀) 存在的必要条件？若有，其为何？
• RQ4 对于顶点度有界的图，填充分长度函数能否被直径的函数所界定？
• RQ5 新界是否显著改进了特定群类（如 Bridson 的 Γₘ 群）的估计？

主要发现

• 填充分长度函数 h₀(n) 的上界由 log(n+1) 与可同时实现的等直径函数 g₀(n) 的乘积控制，即 h₀(n) ≲ log(n+1) · g₀(n)。
• 对于具有次数 r ≥ 2 的多项式等周函数的群，填充分长度函数满足 h₀(n) ≲ n^{r−1} log(n+1)，这显著优于朴素的 h₀ ≲ f₀ 界。
• 界 h₀(n) ≲ log(n+1) · g₀(n) 暗示：若 f₀ ≲ exp g₀，则 h₀ ≲ g₀² 是此类 AD-对存在的必要条件。
• 对于任意有限表示，最大顶点度为 N 的图的填充分长度受 C(N) · Diam(𝒟)² + n + 1 限制，其中 C(N) 仅依赖于 N。
• 对于浸入圆盘图，填充分长度受直径的二次函数有界，且与面积无关。
• 界 h₀(n) ≲ n^{r−1} log(n+1) 对 Bridson 的群 Γₘ 改进了 h₀ ≲ f₀ 界，将估计从 x^{2m+1} 降低至 x^m log x。