[论文解读] Two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded

Mike Carr|arXiv (Cornell University)|Dec 1, 2014

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

一句话总结

本文证明了右角Artin群（RAAGs）中非交换的两生成子群是拟等距嵌入的自由群，为Baudisch定理提供了度量层面的改进。结果表明，此类子群继承了强几何嵌入性质，从而提出了一种新判据，用于通过其自由子群在拟等距嵌入上的失败来检测无法嵌入任何RAAG的群。

ABSTRACT

We show that non-abelian two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded free groups. This provides an alternate proof of a theorem of A. Baudisch: that all two-generator subgroups are free or free abelian. Additionally, it shows that they are quasi-isometrically embedded. Our theorem also gives a method for detecting groups that are not isomorphic to a subgroup of any RAAG. We present some counterexamples in subgroups with more than two generators.

研究动机与目标

• 建立右角Artin群（RAAGs）中两生成子群的度量结构，超越代数分类。
• 通过证明非交换两生成子群是拟等距嵌入的，解决其几何行为问题。
• 通过自由子群在拟等距嵌入上的失败，提供一种新障碍，用于检测群是否无法嵌入任何RAAG。
• 在Baudisch关于两生成子群为自由或自由阿贝尔群的代数结果基础上，增加度量条件，实现扩展。

提出的方法

• 使用词度量和拟等距嵌入定义，分析RAAG中子群的几何性质。
• 应用Varčo-Milnor引理由群在度量空间上的作用关联到拟等距。
• 利用平坦环面定理理解阿贝尔子群的度量行为，与非阿贝尔情形形成对比。
• 在图8纽结补集群中构造显式元素序列，证明在包含映射下词长呈次线性增长。
• 通过映射复合证明：若一个自由子群在群中不是拟等距嵌入的，则整个群无法嵌入任何RAAG。
• 分析双曲3-流形群的有限指数子群，表明即使群本身无法嵌入，其某些子群仍可能可以。

实验结果

研究问题

• RQ1 RAAG中非交换的两生成子群是否为拟等距嵌入？
• RQ2 若一个自由子群在群中不是拟等距嵌入的，这是否可作为群无法嵌入任何RAAG的障碍？
• RQ3 两生成子群的拟等距嵌入性质是否可推广至RAAG中更高秩的自由子群？
• RQ4 双曲3-流形群的子群中，能嵌入RAAG的最小指数是多少？
• RQ5 我们能否识别出作用在CAT(0)立方复形上但其任意有限指数子群均不特殊作用的群，特别是在3-流形群的背景下？

主要发现

• RAAG中非交换的两生成子群是拟等距嵌入的自由群，证实了Baudisch代数结果的几何强化。
• 若两个生成元不交换，则自由群在RAAG中的包含映射是拟等距嵌入。
• 若一个群包含一个不是拟等距嵌入的两生成自由子群，则该群不能同构于任何RAAG的子群。
• 图8纽结补集群π₁(M)不能同构于任何RAAG的子群，尽管其存在一个有限指数子群可以。
• 自由子群在图8纽结补集群中的包含映射不是拟等距嵌入，因为词长呈次线性增长。
• 存在RAAG中秩大于二的自由子群，其包含映射不是拟等距嵌入，表明该结果无法推广至更高秩。