[论文解读] The mapping-torus of a free group automorphism is hyperbolic relative to the canonical subgroups of polynomial growth

François Gautero, Martin Lustig|ArXiv.org|Jul 5, 2007

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

一句话总结

本文证明了，对于任意秩 $ n \geq 2 $ 的自由群的自同构，其映射环面群相对于由该自同构下多项式增长元素生成的典范子群族，是强双曲的。利用该结果及Drutu-Sapir的一个定理，本文进一步证明此类群满足快速衰减性质，这是几何群论与非交换几何中的一个关键分析条件。

ABSTRACT

We prove that the mapping torus group $\FN times_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN times_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN times_α \Z$ has Rapic Decay.

研究动机与目标

• 建立自由群自同构的映射环面群相对于多项式增长子群的典范族的相对双曲性。
• 证明映射环面群相对于多项式增长族的诱导映射环面子群族是强双曲的。
• 通过相对双曲性及群代数的已知结果，推导出这些群的快速衰减性质。
• 基于相对双曲性，提供一种概念上更简洁的二次等周不等式的新证明。

提出的方法

• 使用自由群自同构的 $\beta$-铁路轨道表示来分析其在万有覆盖空间中的动力学与路径。
• 引入并分析 $\beta$-铁路轨道中的归一化路径，作为树中测地线的类比。
• 应用相对双曲群的组合定理（定理 2.9）以构造相对双曲性结构。
• 通过将多项式增长子群的陪集加入凯莱图，实施锥化构造，以验证弱双曲性与强双曲性。
• 利用Drutu-Sapir关于强相对双曲群中快速衰减的定理，前提是其周边子群满足（RD）条件。
• 利用Jolissaint关于具有多项式振幅的半直积的结果，建立多项式增长情形下的（RD）性质。

实验结果

研究问题

• RQ1 映射环面群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 是否相对于自同构 $\alpha$ 下的典范族 $\mathcal{H}(\alpha)$ 的多项式增长子群族是弱双曲的？
• RQ2 该群是否相对于 $\mathcal{H}(\alpha)$ 的映射环面子群族是强双曲的？
• RQ3 强相对双曲性是否蕴含映射环面群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 满足快速衰减性质？
• RQ4 能否基于相对双曲性重新证明此类群的二次等周不等式？

主要发现

• 映射环面群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 相对于自同构 $\alpha$ 下多项式增长子群的典范族 $\mathcal{H}(\alpha)$ 是弱双曲的。
• 该群相对于 $\mathcal{H}(\alpha)$ 的映射环面子群族 $\mathcal{H}_\alpha$ 是强双曲的。
• 族 $\mathcal{H}_\alpha$ 中每个子群均满足快速衰减性质，因为它们是自由群与 $\mathbb{Z}$ 的半直积，且具有多项式振幅。
• 整个群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 由于强相对双曲性及周边子群的（RD）性质，满足快速衰减性质。
• 该结果为Bridson与Groves所建立的此类群的二次等周不等式提供了新的、概念上更简洁的证明。
• 该证明依赖于对 $\beta$-铁路轨道结构中归一化路径的创新分析，表明其行为类似于树中的测地线。