[论文解读] On asymptotic dimension of groups acting on trees

G. Bell, Alexander Dranishnikov|ArXiv.org|Nov 7, 2001

Advanced Operator Algebra Research参考文献 3被引用 5

一句话总结

该论文证明了有限图群的基本群的渐近维数至多比其有限生成顶点群的最大渐近维数大一。通过在树上使用几何群论和覆盖技术，作者证明了对于此类群，当所有顶点群满足 asdim(Gᵥ) ≤ n 时，有 asdim(π) ≤ n + 1，且该界对 HNN扩张和楔积（amalgamated products）是紧确的。

ABSTRACT

We prove the following theorem: Let $π$ be the fundamental group of a finite graph of groups with finitely generated vertex groups $G_v$ having asdim $G_v\le n$ for all vertices $v$. Then asdim$π\le n+1$. This gives the best possible estimate for the asymptotic dimension of an HNN extension and the amalgamated product.

研究动机与目标

• 确定有限图群的基本群的渐近维数。
• 改进对楔积自由积和 HNN 扩张的渐近维数的现有估计。
• 建立对 HNN 扩张和一般楔积群最优的紧确上界。
• 证明渐近维数在群作用于树时是粗等价不变量。
• 将先前关于群扩张下有限渐近维数的结果推广至图群的设定。

提出的方法

• 使用 Gromov 定义的渐近维数，即通过度量空间的均匀有界、d-离散覆盖。
• 应用有限并集定理与无限并集定理，控制群结构中集合并集的渐近维数。
• 利用 Bass-Serre 理论将作用于树的群表示为图群的基本群。
• 通过顶点群结构和边稳定子构造群的覆盖，利用凯莱图中的字度量和路径长度。
• 使用粗等价和邻域构造（例如 Nᵣ(φᵧ(Gᵧ))) 将群中的集合与顶点群关联，以控制维数。
• 对凯莱图中的路径长度使用归纳法，证明固定长度字的集合具有有界渐近维数。

实验结果

研究问题

• RQ1 对于顶点群渐近维数有界的有限图群，其基本群的渐近维数是多少？
• RQ2 能否以输入群的维数来界定 HNN 扩张或楔积的渐近维数？
• RQ3 对于 HNN 扩张和一般楔积群，asdim(π) ≤ n + 1 的界是否紧确？
• RQ4 作用于树的群的渐近维数是否仅依赖于其顶点群的渐近维数？
• RQ5 能否通过顶点群维数最大值加一的公式来计算图群的渐近维数？

主要发现

• 对于满足 asdim(Gᵥ) ≤ n 的有限图群，其基本群 π 的渐近维数至多为 n + 1。
• 该界对 HNN 扩张是紧确的，如克莱因瓶基本群的例子所示，其 asdim = 2。
• 对于楔积 A ∗C B，其中 A = B = C = ℤ 且包含映射为乘以 2 的情形，渐近维数恰好为 2，与界一致。
• 该结果推广了先前关于楔积和 HNN 扩张下有限渐近维数的研究发现。
• 作者猜想当包含映射 C → A 和 C → B 不是同构时，有 asdim(A ∗C B) = max{asdim A, asdim B, asdim C + 1}。
• 证明依赖于通过字长的归纳控制和与顶点群及其乘积的粗等价来控制群的覆盖。