[论文解读] A note on higher-order filling functions

Robert M. Young|arXiv (Cornell University)|May 5, 2008

Geometric and Algebraic Topology参考文献 6被引用 3

一句话总结

本文构建了有限表示群，其中三阶填充分函数 FV₃(n) 与二阶 Dehn 函数 δ₂(n) 不等价，证明了高阶填充分函数可独立运作。此外，还表明当 k ≥ 3 时，存在群使得 δₖ(n) 和 FVₖ(n) 非子递归，即其增长快于任何可计算函数。

ABSTRACT

Abstract. We construct groups in which FV 3 (n) ≁ δ 2 (n). This construction also leads to groups Gk, k ≥ 3 for which δ k (n) is not subrecursive. The Dehn function of a group measures the complexity of the group’s word problem by measuring the difficulty of filling loops in a corresponding complex. A natural generalization is to consider the difficulty of filling higher-dimensional manifolds or cycles, and there are several ways to do so, varying in the nature of the filling and the boundary. One can consider, for example, the volume necessary to fill a k-sphere with a ball (δ k), to fill ∂M with M (δ M), or to fill a (k − 1)-cycle by a k-chain (FV k). In some cases, these functions are equivalent; for example, the methods used in [9] work for all these definitions. Along these lines, Brady et al. [3] show that if M is connected and dimM = k + 1 ≥ 4 then δ M (n) ≼ δ k (n). In this note, we will show that this is not necessarily true if dim M = 3, and that there are groups where FV 3 is not equivalent to δ 2. We will also show that for k ≥ 2 there are groups where FV k is not subrecursive (i.e., grows faster than any computable function) and for k ≥ 3, there are groups where δ k is not subrecursive.

研究动机与目标

• 研究有限表示群中不同高阶填充分函数之间的关系，特别是 FV₃(n) 与 δ₂(n) 之间的关系。
• 确定 δₖ(n) 与 FVₖ(n) 的等价性是否对所有 k ≥ 3 成立。
• 构造当 k ≥ 3 时，δₖ(n) 与 FVₖ(n) 增长快于任何可计算函数的群。
• 阐明几何群论中高维填充分函数的层次结构与独立性。

提出的方法

• 作者使用组合群论技术构造特定的有限表示群，以控制高阶填充分函数的增长。
• 通过 k-链分析三维胞复形的填充分，重点关注填充 (k−1)-胞复形所需的体积。
• 该构造利用当 dim M = 3 时 δₘ(n) 与 FVₖ(n) 之间等价性失效的特性，与 dim M ≥ 4 时已知结果形成对比。
• 所构造的群使得 Dehn 函数 δ₂(n) 的增长慢于 FV₃(n)，从而证明其不等价性。
• 作者利用 [9] 和 [3] 中的已知结果建立界限，并比较不同的填充分函数。
• 他们将构造方法扩展，以表明当 k ≥ 3 时，δₖ(n) 与 FVₖ(n) 可为非子递归，即增长快于任何可计算函数。

实验结果

研究问题

• RQ1 是否对所有有限表示群都有 FV₃(n) ≡ δ₂(n)？
• RQ2 当 k ≥ 3 时，δₖ(n) 与 FVₖ(n) 是否可能为非子递归？
• RQ3 当 dim M = 3 时，δₘ(n) ≼ δₖ(n) 是否对所有 k 与 m 成立？
• RQ4 是否存在 FV₃(n) 严格快于 δ₂(n) 增长的群？
• RQ5 当流形维数为 3 时，δₘ(n) 与 FVₖ(n) 之间的关系如何？

主要发现

• 本文构造了 FV₃(n) 与 δ₂(n) 不等价的群，表明这些高阶填充分函数可相互独立。
• 当 k ≥ 3 时，本文展示了 δₖ(n) 非子递归的群，即其增长快于任何可计算函数。
• 类似地，当 k ≥ 3 时，也存在 FVₖ(n) 非子递归的群，表明其具有极快的增长速度。
• 该构造表明，当 dim M = 3 时，即使 k = 3，不等式 δₘ(n) ≼ δₖ(n) 也不一定成立。
• 结果表明，在低维情形下，FVₖ(n) 与 δₖ(n) 可表现出根本不同的渐近行为。
• 本工作确立了高阶填充分函数并非普遍等价，且可突破子递归界限。