[论文解读] The asymptotic geometry of right-angled Artin groups, I

Mladen Bestvina, Bruce Kleiner+1 more|ArXiv.org|Aug 14, 2007

Geometric and Algebraic Topology参考文献 13被引用 4

一句话总结

本文研究了原子右-角Artin群的渐近几何结构——其定义图满足有限、无三角形、无长度≤4的环路，且无分离的顶点星结构。研究证明，拟等距映射保持最大乘积子复形与平面，且表明两个此类群拟等距当且仅当同构，即使在缺乏完整拟等距刚性的情况下，仍展现出一种强形式的拟等距刚性。

ABSTRACT

We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.

研究动机与目标

• 理解由无短环路或分离结构的图定义的右-角Artin群（RAAG）的渐近几何结构。
• 研究此类RAAG之间的拟等距映射是否保持关键几何特征，如平面与乘积子复形。
• 确定此类群的拟等距是否蕴含同构，以解决完整拟等距刚性失效的问题。
• 分析共轭群与拟等距群的结构，表明自同构群在共轭群中不具有有限指数，从而说明其在经典意义下不具刚性。

提出的方法

• 将原子RAAG定义为：其定义图连通、无三角形、无长度<5的环路，且无分离的顶点星结构。
• 以Salvetti复形的万有覆叠空间 $ K(ar{ abla}) $ 作为几何分析的模型空间。
• 通过几何与组合论证，证明此类空间之间的拟等距映射保持平面，其偏差在有界Hausdorff距离内。
• 利用对偶圆盘图与紧致圈的结构，建立最大乘积子复形的保持性。
• 分析平行集上的作用，并通过在 $ \bbZ $-因子上诱导的映射检测非共轭的拟等距映射。
• 通过无限循环覆叠与 $ K(ar{ abla}_1) $ 的副本上的置换作用，构造显式例子，证明 $ \operatorname{Comm}(G) $ 在 $ \operatorname{QI}(G) $ 中具有无限指数。

实验结果

研究问题

• RQ1 原子RAAG之间的拟等距映射是否保持平面与最大乘积子复形？
• RQ2 是否存在一种介于完整拟等距刚性与无刚性之间的原子RAAG刚性形式？
• RQ3 若两个RAAG的定义图均为原子图，但彼此不同构，它们是否仍可能拟等距？
• RQ4 原子RAAG的共轭群与拟等距群的结构如何？其与自同构群有何关联？
• RQ5 是否存在共轭于等距作用的几何作用，使得共轭群在万有覆叠空间上的作用并非共轭于等距作用？

主要发现

• 原子RAAG的万有覆叠空间之间的拟等距映射保持平面，其偏差仅依赖于拟等距常数。
• 最大乘积子复形在拟等距映射下保持不变，这对刚性结果至关重要。
• 两个原子RAAG拟等距当且仅当同构，确立了一种强形式的刚性。
• $ \operatorname{Comm}(G) $ 在拟等距群 $ \operatorname{QI}(G) $ 中具有无限指数，表明 $ \operatorname{Aut}(G) $ 在 $ \operatorname{Comm}(G) $ 中不具有有限指数。
• 存在并非拟共轭于等距作用的拟等距映射，即使它们保持平行集并诱导 $ \bbZ $-因子上的双射拟等距。
• 通过无限循环覆叠中副本置换构造拟等距映射，表明 $ \bbZ $-因子上的作用可实现任意双射拟等距，从而阻止对这类映射的有限分类。