[论文解读] The geometry of the curve graph of a right-angled Artin group

Sang‐Hyun Kim, Thomas Koberda|arXiv (Cornell University)|May 19, 2013

Geometric and Algebraic Topology参考文献 32被引用 9

一句话总结

本文通过证明右角Artin群（RAAGs）在其扩张图上作用无筒，建立了RAAGs与映射类群之间的类比，该扩张图类似于曲面的曲线图。关键贡献在于：当图的围长≥5时，提出了一个在扩张图中粗略度量RAAGs中词长的距禿公式，这与映射类群理论中的距禿公式相呼应。

ABSTRACT

We develop an analogy between right-angled Artin groups and mapping class groups through the geometry of their actions on the extension graph and the curve graph respectively. The central result in this paper is the fact that each right-angled Artin group acts acylindrically on its extension graph. From this result we are able to develop a Nielsen--Thurston classification for elements in the right-angled Artin group. Our analogy spans both the algebra regarding subgroups of right-angled Artin groups and mapping class groups, as well as the geometry of the extension graph and the curve graph. On the geometric side, we establish an analogue of Masur and Minsky's Bounded Geodesic Image Theorem and their distance formula.

研究动机与目标

• 通过RAAGs在扩张图上的作用与映射类群在曲线图上的作用，建立RAAGs与映射类群之间的几何类比。
• 通过扩张图的几何结构理解RAAGs的子群结构，类比于曲线图在映射类群理论中的作用。
• 为RAAG的扩张图建立粗几何不变量，如距禿公式和有界测地线像定理。
• 利用扩张图上的动力学，为RAAG元素提供类似Nielsen–Thurston的分类。
• 研究扩张图的自同构群，并与映射类群在曲线图上的关系进行比较。

提出的方法

• 定义RAAG $A(\Gamma)$ 的扩张图 $\Gamma^e$，其中顶点对应 $A(\Gamma)$ 的元素，边对应在顶点的星内相乘生成元。
• 引入 $A(\Gamma)$ 中元素的星长度，即表达该元素所需的最少星生成元数，类比于映射类群中的字长。
• 证明 $A(\Gamma)$ 在 $\Gamma^e$ 上的作用是无筒的，推广了映射类群在曲线图上作用的关键性质。
• 在 $\Gamma^e$ 中发展顶点邻域投影理论，类比于曲线图中的子曲面投影。
• 当 $\Gamma$ 的围长至少为5时，建立 $\Gamma^e$ 上的有界测地线像定理，确保测地线在子图中均匀投影。
• 在 $\Gamma^e$ 中推导出一个距禿公式，通过在 $\Gamma^e$ 的顶点上对投影进行阈值求和，粗略恢复 $A(\Gamma)$ 中元素的词长。

实验结果

研究问题

• RQ1 RAAG $A(\Gamma)$ 的扩张图 $\Gamma^e$ 的几何结构与曲面的曲线图 $\mathcal{C}(S)$ 的几何结构在多大程度上相似？
• RQ2 能否证明 $A(\Gamma)$ 在 $\Gamma^e$ 上的作用是无筒的，正如映射类群在 $\mathcal{C}(S)$ 上的作用一样？
• RQ3 扩张图 $\Gamma^e$ 在多大程度上粗略度量 $A(\Gamma)$ 中元素的词长，特别是当图的围长≥5时？
• RQ4 扩张图 $\Gamma^e$ 的自同构群结构如何？它与映射类群在曲线图上的作用相比有何异同？
• RQ5 能否在 $\Gamma^e$ 中构造一个距禿公式，其形式类似于曲线图中的距禿公式，粗略度量 $A(\Gamma)$ 的自然几何不变量？

主要发现

• 右角Artin群 $A(\Gamma)$ 在其扩张图 $\Gamma^e$ 上的作用是无筒的，推广了映射类群在曲线图上作用的关键性质。
• 当图 $\Gamma$ 的围长至少为5时，$\Gamma^e$ 中的距禿公式粗略度量了 $A(\Gamma)$ 中元素的词长，类比于映射类群Teichmüller理论中的距禿公式。
• 扩张图 $\Gamma^e$ 是一个拟树，因此是 $\delta$-双曲的，确立了其与曲线图的粗几何相似性。
• 当 $\Gamma$ 的围长≥5时，$\Gamma^e$ 上的有界测地线像定理成立，确保 $\Gamma^e$ 中的测地线在子图中均匀投影。
• 当 $\Gamma$ 连通且反连通时，$\Gamma^e$ 的自同构群包含一个无穷秩的自由阿贝尔群，表明 $\operatorname{Aut}(\Gamma^e)$ 是不可数的，且与 $A(\Gamma)$ 不共轭，这与映射类群的情况不同。
• 在 $A(\Gamma)$ 中，循环约化的椭圆元素由 $\Gamma$ 中的连接支集支持，而双曲元素在Gromov边界 $\partial\Gamma^e$ 上有唯一的不动点，这与Nielsen–Thurston分类一致。