[论文解读] A note on twisted conjugacy and generalized Baumslag-Solitar groups

Jennifer Taback, Peter Wong|ArXiv.org|Jun 12, 2006

Geometric and Algebraic Topology参考文献 17被引用 18

一句话总结

本文证明了性质 $R_{ o}$，即每个自同构都有无限多个扭曲共轭类，对于广义 Baumslag-Solitar 群在拟等距下保持不变。通过利用 Whyte 的拟等距分类结果，并扩展先前关于可解 Baumslag-Solitar 群的研究，作者证明了任何拟等距于非初等广义 Baumslag-Solitar 群的有限生成群也具有性质 $R_{ o}$，从而将 $R_{ o}$ 的几何不变性推广到更广泛的群类。

ABSTRACT

A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized Baumslag-Solitar groups given by Whyte.

研究动机与目标

• 确定性质 $R_{\to}$ 是否在广义 Baumslag-Solitar 群下于拟等距下保持不变。
• 将先前关于 $BS(1,n)$ 和可解推广结果扩展至更广泛的广义 Baumslag-Solitar 群类。
• 通过树作用和模同态分析拟等距于广义 Baumslag-Solitar 群的群的结构。
• 通过证明此类群不可能出现在非初等广义 Baumslag-Solitar 群的拟等距类中，解决单模群的情形。

提出的方法

• 利用 Whyte 对拟等距于广义 Baumslag-Solitar 群的群的分类，将其分为三类：$BS(1,n)$、几乎 $F_n \times \mathbb{Z}$，或几乎循环群图的基本群。
• 应用 Sela 关于非初等 Gromov 黄金群的 Hopf 性质的结果，以确保第二类中自同构的有限性。
• 在群对树的作用上定义模同态 $\Delta: G \to \mathbb{Q}^*$，以分析椭圆元素及其共轭类的结构。
• 使用 Levitt 的论证：非单模群由于 $\Delta$ 的无限像而具有无限 Reidemeister 数，并通过中心结构证明单模情形导致矛盾。
• 分析中心 $Z(G)$，表明其必为几乎 $\mathbb{Z}$ 或扭元的正规闭包，并证明在单模条件下两种情形均导致矛盾。
• 采用短正合列 $1 \to Z(G) \to G \to F \to 1$，其中 $F$ 几乎自由，证明 $G$ 必为几乎 $\mathbb{Z} \times F_n$，与单模假设矛盾。

实验结果

研究问题

• RQ1 所有拟等距于非初等广义 Baumslag-Solitar 群的群是否都具有性质 $R_{\to}$？
• RQ2 能否将 $R_{\to}$ 的几何不变性从可解 Baumslag-Solitar 群推广至更广泛的广义 Baumslag-Solitar 群类？
• RQ3 拟等距于广义 Baumslag-Solitar 群的群中，其中心和模同态的结构约束为何？
• RQ4 为何单模情形会导致矛盾，且此矛盾如何完成一般情形的证明？
• RQ5 模同态 $\Delta$ 及其像在多大程度上能决定自同构的 Reidemeister 数？

主要发现

• 任何拟等距于非初等广义 Baumslag-Solitar 群的有限生成群都具有性质 $R_{\to}$，将结果从 $BS(1,n)$ 扩展至整个群类。
• 模同态 $\Delta: G \to \mathbb{Q}^*$ 在自同构下保持不变，其像决定了扭曲共轭类的有限性。
• 若 $\Delta$ 非平凡，则任一自同构 $\varphi$ 满足 $R(\varphi) = \infty$，因为 $\varphi$-共轭元素必须具有相同的模。
• 此类群的中心 $Z(G)$ 要么几乎为 $\mathbb{Z}$，要么为扭元的正规闭包，但两种情形在单模条件下均导致矛盾。
• 单模情形不可能发生，因为这将意味着 $G$ 几乎为 $\mathbb{Z} \times F_n$，与拟等距类的结构矛盾。
• 证明结合了拟等距分类（Whyte）、Hopf 性质（Sela）和模结构（Levitt）以确立 $R_{\to}$ 的不变性。