[论文解读] Subgroups and quotient groups of automorphism groups of RAAGs

Ruth Charney, Karen Vogtmann|arXiv (Cornell University)|Sep 13, 2009

Geometric and Algebraic Topology参考文献 16被引用 11

一句话总结

本论文研究右角Artin群（RAAG）外自同构群的子群与商群，证明了所有RAAG的$\mathrm{Out}(A_\Gamma)$均为剩余有限，并在一大类同调RAAG中满足Tits替代性。此外，论文表明在某些条件下，可解子群为几乎阿贝尔群，并识别出一个子群$\widetilde{\mathrm{Out}}(A_\Gamma)$，其满足强Tits替代性，排除了非阿贝尔可解子群的存在。

ABSTRACT

We study subgroups and quotients of outer automorphism groups of right-angled Artin groups (RAAGs). We prove that for all RAAGS, the outer automorphism group is residually finite and, for a large class of RAAGs, it satisfies the Tits alternative. We also investigate which of these automorphism groups contain non-abelian solvable subgroups.

研究动机与目标

• 理解右角Artin群（RAAG）外自同构群$\mathrm{Out}(A_\Gamma)$的子群结构。
• 确定$\mathrm{Out}(A_\Gamma)$在何种条件下满足Tits替代性，并具有有界可解子群结构。
• 研究定义图$\Gamma$在决定$\mathrm{Out}(A_\Gamma)$的有限性性质与子群行为中的作用。
• 分析排除相邻转位对$\mathrm{Out}(A_\Gamma)$结构的影响，特别是与可解子群和自由子群的关系。

提出的方法

• 利用早期工作中提出的限制与投影同态，将$\mathrm{Out}(A_\Gamma)$的全局问题简化为更小子群的问题。
• 对定义图$\Gamma$的维数进行归纳，使用投影映射$P_v: \mathrm{Out}^0(A_\Gamma) \to \mathrm{Out}^0(A_{\mathrm{lk}[v]})$，其中$v$为极大顶点。
• 通过排除相邻转位，特别是叶转位，引入子群$\widetilde{\mathrm{Out}}^0(A_\Gamma)$。
• 通过分析$\widetilde{\mathrm{Out}}^0(A_\Gamma)$中无限阶元素的平移长度，确立正性，这是证明强Tits替代性的关键步骤。
• 应用Bestvina、Conner以及Gersten–Short关于正、几乎无挠且具有有限生成阿贝尔子群的群的结果，推断出可解子群为几乎阿贝尔群。
• 利用$\mathrm{Out}(F_n)$与$GL(n,\mathbb{Z})$具有有限生成阿贝尔子群的事实，通过归纳法证明当$\Gamma$为同调时，$\mathrm{Out}^0(A_\Gamma)$也具有此性质。

实验结果

研究问题

• RQ1 所有RAAG的$\mathrm{Out}(A_\Gamma)$是否均为剩余有限？
• RQ2 当$\Gamma$为同调时，$\mathrm{Out}(A_\Gamma)$是否满足Tits替代性？
• RQ3 在同调$\Gamma$下，$\mathrm{Out}(A_\Gamma)$中可解子群的最大虚拟导出长度是多少？
• RQ4 在何种条件下，$\mathrm{Out}(A_\Gamma)$的所有可解子群均为几乎阿贝尔群？
• RQ5 通过排除相邻转位得到的子群$\widetilde{\mathrm{Out}}(A_\Gamma)$是否满足强Tits替代性？

主要发现

• 对于所有RAAG，$\mathrm{Out}(A_\Gamma)$为剩余有限，证明基于限制映射与归纳法。
• 当$\Gamma$为同调时，$\mathrm{Out}(A_\Gamma)$满足Tits替代性，即每个子群要么几乎可解，要么包含非阿贝尔自由群。
• 当$\Gamma$为同调时，$\mathrm{Out}(A_\Gamma)$中可解子群的虚拟导出长度有界，且该界依赖于$\Gamma$的维数。
• 通过移除相邻转位得到的子群$\widetilde{\mathrm{Out}}^0(A_\Gamma)$，其所有无限阶元素均具有正平移长度。
• 因此，$\widetilde{\mathrm{Out}}(A_\Gamma)$满足强Tits替代性：每个子群要么几乎阿贝尔，要么包含非阿贝尔自由群。
• 若$\Gamma$连通、无三角形且无叶，则所有$\mathrm{Out}(A_\Gamma)$的可解子群均为几乎阿贝尔群，因为此时$\widetilde{\mathrm{Out}}(A_\Gamma) = \mathrm{Out}(A_\Gamma)$。