[论文解读] Right-angled Artin groups and Out(F_n) I: quasi-isometric embeddings

Samuel J. Taylor|arXiv (Cornell University)|Mar 27, 2013

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

一句话总结

本文通过借鉴映射类群理论的技术，构建了右角Artin群（RAAGs）到自由群外自构群Out(F_n)的拟等距嵌入。通过在可接受的自由因子上选择适当的外自构，并控制到自由因子复形的投影，作者证明了RAAGs在Out(F_n)中拟等距嵌入，且到外空间的轨道映射同样是拟等距嵌入——将曲面映射类群的结果推广到了自由群外自构的情形。

ABSTRACT

We construct quasi-isometric embeddings from right-angled Artin groups into the outer automorphism group of a free group. These homomorphisms are in analogy with those constructed in \cite{CLM}, where the target group is the mapping class group of a surface. Toward this goal, we develop tools in the free group setting that mirror those for surface groups as well as discuss various analogs of subsurface projection; these may be of independent interest.

研究动机与目标

• 将CLM12关于映射类群的拟等距嵌入结果推广到自由群的外自构群Out(F_n)。
• 在自由群设定下发展新的投影工具，以类比曲面群理论中使用的子曲面投影。
• 确立在外自构支持于自由因子时，生成的RAAG在Out(F_n)中拟等距嵌入的条件。
• 证明从RAAG到外空间的轨道映射本身也是拟等距嵌入，类似于映射类群情形下的结果。

提出的方法

• 作者定义了F_n中自由因子的'可接受集合'，类比于曲面情形下的不相交或重叠子曲面，以控制嵌入的几何结构。
• 他们构造了在外自构群的自由因子复形上具有大平移长度的外自构，确保RAAG的生成元具有充分独立的动力学行为。
• 开发了一套新的投影系统，以替代因存在交换自构而失效的Bestvina-Feighn和SS12投影。
• 证明过程中使用了RAAG中字词的字节（syllable）上的偏序关系，以控制在自由因子复形中距离累积的顺序。
• 通过外空间中的折叠路径建立Lipschitz控制，定义了投影在外空间各自由因子上取得显著进展的区间。
• 关键的技术步骤使用了修改后的引理10.2，通过投影控制导出的统一常数，将字长与外空间距离关联起来。

实验结果

研究问题

• RQ1 右角Artin群能否在Out(F_n)中实现拟等距嵌入，类比于映射类群中的已知结果？
• RQ2 在自由群设定下，存在哪些类比于子曲面投影的投影，能够足够敏感地检测到交换自构的独立动力学行为？
• RQ3 当投影到非不相交自由因子的自由因子复形时，如何控制外空间中折叠路径的几何结构？
• RQ4 在何种自由因子与自构条件下，可保证从RAAG到Out(F_n)的诱导同态为拟等距嵌入？
• RQ5 在相同条件下，从RAAG到外空间的轨道映射本身是否也是拟等距嵌入？

主要发现

• 本文通过选择在外自构群的自由因子复形上具有大平移长度的外自构，构建了任意右角Artin群A(Γ)到Out(F_n)（对某个n）的拟等距嵌入。
• 从A(Γ)到外空间X_n的轨道映射是拟等距嵌入，意味着RAAG中的字长与X_n中的距离粗略等价。
• 开发了一套新的投影系统，克服了现有投影（如Bestvina-Feighn和SS12）的局限性，使得对交换自构的控制成为可能。
• 证明通过字节排序论证与投影控制，建立了以外空间距离为下界的字长关系，从而得到统一的拟等距常数。
• 最终拟等距常数L仅依赖于n，且L = max{8 + 2D, L′e^{D′}}，其中D和D′为自由因子复形几何中的几何常数。
• 该结果将CLM12在映射类群中的构造推广到了Out(F_n)，在几何群论中建立了两者之间的基本类比。