[论文解读] A Hurewicz-type theorem for asymptotic dimension and applications to geometric group theory

G. Bell, Alexander Dranishnikov|ArXiv.org|Jul 25, 2004

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

一句话总结

本文建立了渐近维数的渐近Hurewicz型定理，证明了若从一个测地度量空间到另一个的Lipschitz映射，其纤维具有统一有界的渐近维数，则定义域的渐近维数至多为陪域的渐近维数加上纤维维数。其主要贡献在于提出了一类关于群扩张渐近维数的一般性延拓定理，从而基于Hirsch长度精确给出了幂零群与幂可解群的上界。

ABSTRACT

We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As applications we find upper bound estimates for the asymptotic dimension of nilpoltent and polycyclic groups in terms of their Hirsch length. We are also able to improve the known upper bounds on the asymptotic dimension of fundamental groups of complexes of groups, amalgamated free products and the hyperbolization of metric spaces possessing the Higson property.

研究动机与目标

• 建立经典Hurewicz定理在渐近维数上的渐近类比，用于维数降低的映射。
• 发展群扩张渐近维数的一般延拓定理，改进有限生成群的界。
• 将该定理应用于计算或界定幂零群、幂可解群及自由乘积与子群的并的渐近维数。
• 将结果推广至具有Higson性质的双曲化度量空间及群的复合复形。
• 基于Hirsch长度等代数不变量，提供渐近维数的精确上界。

提出的方法

• 证明渐近Hurewicz定理：若Lipschitz映射 $ f: X \to Y $ 满足其纤维的渐近维数一致有界，则 $ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $。
• 利用该定理推导延拓定理：对满射同态 $ \phi: G \to H $，其核为 $ K $，有 $ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $。
• 通过其中心列递归应用延拓定理于幂可解群，利用 $ \operatorname{asdim}\mathbb{Z} = 1 $ 与 $ \operatorname{asdim}\mathbb{R}^n = n $。
• 通过使用等变度量与到欧氏空间的粗同构，将结果推广至幂零李群。
• 将Hurewicz定理应用于投影 $ \pi: \mathcal{H}(X) \to \mathbb{R} $，$ \pi(B_t(x)) = \ln t $，以证明当 $ X $ 具有Higson性质时，$ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $。
• 利用Higson性质确保存在具有受控网格的统一有界、多重性有界的覆盖。

实验结果

研究问题

• RQ1 能否在粗几何设定下为渐近维数形式化Hurewicz型定理？
• RQ2 能否利用纤维维数与陪域维数，为群扩张的渐近维数建立上界？
• RQ3 自由乘积与子群的并的渐近维数如何与因子及并子群的渐近维数相关？
• RQ4 具有Higson性质的双曲化度量空间的渐近维数是多少？
• RQ5 能否通过Hirsch长度精确界定幂零群与幂可解群的渐近维数？

主要发现

• 渐近Hurewicz定理成立：若 $ f: X \to Y $ 是测地度量空间之间的Lipschitz映射，且对所有 $ y $ 有 $ \operatorname{asdim} f^{-1}(B_R(y)) \leq n $，则 $ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $。
• 对满射群同态 $ \phi: G \to H $，其核为 $ K $，延拓定理给出 $ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $。
• 对有限生成的幂可解群 $ \Gamma $，有 $ \operatorname{asdim}\Gamma \leq h(\Gamma) $，其中 $ h(\Gamma) $ 为Hirsch长度。
• 对有限生成的幂零群 $ \Gamma $，有 $ \operatorname{asdim}\Gamma \leq h(\Gamma) $，且在 simply connected 幂零李群的情形下等号成立。
• 对具有Higson性质的度量空间 $ X $，有 $ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $，其中 $ \mathcal{H}(X) $ 是赋予特定度量的球空间。
• 双曲空间 $ \mathbb{H}^n $ 的渐近维数为 $ n $，因为 $ \mathbb{H}^n \cong O(n,1)_+ / O(n) $，且对连通李群 $ G $ 与极大紧致子群 $ K $，有 $ \operatorname{asdim}(G/K) = \dim(G/K) $。