[论文解读] Non Hyperbolic Free-By-Cyclic and One-Relator Groups

J. O. Button, Robert Kropholler|arXiv (Cornell University)|Mar 6, 2015

Geometric and Algebraic Topology被引用 5

一句话总结

该论文证明了形如 $F_2 \rtimes \mathbb{Z}$ 的自由-循环群在 CAT(0) 平方复形上具有适当且共紧的行动，从而证明其为虚拟特殊群，因此为线性群且具有大性质。此外，论文还表明所有二生成元一关系群要么是 SQ-泛的，要么同构于 $BS(1,j)$，部分解决了长期存在的一个猜想。该工作还通过立方化技术证明了一个特定的严格递增 HNN扩张的线性性质。

ABSTRACT

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consider free-by-cyclic groups which are not relatively hyperbolic with respect to any collection of subgroups.

研究动机与目标

• 确定非双曲的自由-循环群是否在 CAT(0) 超立方复形上具有适当且共紧的行动。
• 研究二生成元一关系群是否为 SQ-泛的，或同构于 $BS(1,j)$，以解决 P. M. Neumann 的一个猜想。
• 利用近期的立方化结果，确立 $F_2$ 的严格递增 HNN 扩张的线性性质。
• 在 CAT(0) 几何与虚拟性质的背景下，阐明非双曲群的几何与代数性质。

提出的方法

• 基于 Bridson 和 Lustig 的未发表工作，通过修改拓扑模型以消除正曲率区域，从正方形构造 CAT(0) 平方复形。
• 利用广义的 Baumslag-Solitar 群分析二生成元一关系群的结构，并将其分类为 SQ-泛或 $BS(1,j)$。
• 应用具有单射自同态的递增 HNN 扩张理论，研究其几何与代数性质。
• 验证自同态的不可约性与浸入性条件，以应用文献 [31] 中的词双曲性判别准则。
• 利用文献 [29] 的推论 6.20，若自同态不可约且群为词双曲，则可推出 HNN 扩张的虚拟特殊性，从而得出其线性性质。
• 通过指数和与循环约化方法排除周期共轭类，确保 HNN 扩张为词双曲。

实验结果

研究问题

• RQ1 所有形如 $F_2 \rtimes \mathbb{Z}$ 的自由-循环群是否在 CAT(0) 平方复形上具有适当且共紧的行动？
• RQ2 所有二生成元一关系群是否要么是 SQ-泛的，要么同构于 $BS(1,j)$，如 Neumann 所猜想？
• RQ3 能否证明群 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ 在 $\mathbb{Z}$ 上是线性的？
• RQ4 在何种条件下，有限秩自由群的递增 HNN 扩张是虚拟特殊群，因而为线性群？

主要发现

• 群 $F_2 \rtimes_{\alpha} \mathbb{Z}$ 在一个 CAT(0) 平方复形上具有适当且共紧的行动，意味着其为虚拟特殊群。
• 所有二生成元一关系群要么是 SQ-泛的，要么同构于 $BS(1,j)$，证实了 Neumann 猜想的一个特例。
• HNN 扩张 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ 在 $\mathbb{Z}$ 上是线性的，解决了 Kourovka Notebook 中的问题 17.108。
• 在 $F_2$ 上的自同态 $\theta(a) = ab, \theta(b) = ba$ 是不可约的且为浸入，满足虚拟特殊性的条件。
• 该 HNN 扩张中不存在周期共轭类，确保其为词双曲，结合不可约性，可推出其为虚拟特殊群。
• 通过指数和与循环约化方法，排除了 $\theta^i(w)$ 与 $w^j$ 的共轭性，确认了周期共轭类的不存在性。