[论文解读] The geometry of twisted conjugacy classes in wreath products

Jennifer Taback, Peter Wong|arXiv (Cornell University)|May 9, 2008

Geometric and Algebraic Topology参考文献 20被引用 7

一句话总结

本文提供了关于当 $G$ 为具有平凡外自同构群的有限群时，半直积 $G\wr\mathbb{Z}$ 具有性质 $R_\infty$（即在任意自同构下存在无限多个扭曲共轭类）的几何证明，包括对称群 $S_n$（$n \geq 5$）和许多有限单群。该证明利用凯莱图的几何结构以及埃斯金、费舍尔和怀特最近对灯工群的拟等距分类，将早期的代数结果推广到更广泛的有限群类。

ABSTRACT

We give a geometric proof based on recent work of Eskin, Fisher and Whyte that the lamplighter group $L_n$ has infinitely many twisted conjugacy classes for any automorphism $\vp$ only when $n$ is divisible by 2 or 3, originally proved by Gonçalves and Wong. We determine when the wreath product $G \wr \Z$ has this same property for several classes of finite groups $G$, including symmetric groups and some nilpotent groups.

研究动机与目标

• 使用拟等距理论建立半直积 $G\wr\mathbb{Z}$ 中扭曲共轭类的几何表征。
• 将已知结果（即 $\mathbb{Z}_n\wr\mathbb{Z}$ 具有 $R_\infty$ 当且仅当 $2\mid n$ 或 $3\mid n$）推广到更广泛的有限群类。
• 利用几何与代数技术，确定在何种条件下 $G\wr\mathbb{Z}$ 对自同构 $\varphi$ 具有无限多个 $\varphi$-扭曲共轭类。
• 证明每个有限群 $G$ 均可嵌入到具有 $R_\infty$ 性质的群 $H\wr\mathbb{Z}$ 中，利用 $S_n\in\mathfrak{L}$ 对于 $n\geq 5$ 的事实。

提出的方法

• 利用 $L_n = \mathbb{Z}_n\wr\mathbb{Z}$ 的凯莱图的几何结构，特别是埃斯金、费舍尔和怀特的拟等距分类。
• 将拟等距分类应用于分析自同构在半直积结构上的作用及其在基群 $\bigoplus G_i$ 上的诱导作用。
• 在自同构下对 $\bigoplus G_i$ 进行块分解，表明当 $G$ 具有平凡外自同构群时，自同构保持某些直和分量不变。
• 利用自同构在每个块上存在非平凡不动点的事实，证明扭曲共轭类的数量是无限的。
• 应用关于特征子群的群论结果，特别是证明 $\bigoplus A_n$ 是 $\bigoplus S_n$ 的特征子群，从而将结果从 $A_n$ 推广到 $S_n$。
• 结合几何洞察与代数工具（如 Reidemeister 数和共轭类在自同构下的不变性），建立 $S_n\wr\mathbb{Z}$ 的 $R_\infty$ 性质。

实验结果

研究问题

• RQ1 对于哪些有限群 $G$，半直积 $G\wr\mathbb{Z}$ 具有性质 $R_\infty$，即对每个自同构 $\varphi$ 均存在无限多个 $\varphi$-扭曲共轭类？
• RQ2 能否使用拟等距理论，通过几何方法重新证明关于 $\mathbb{Z}_n\wr\mathbb{Z}$ 具有 $R_\infty$ 当且仅当 $2\mid n$ 或 $3\mid n$ 的代数结果？
• RQ3 $S_n\wr\mathbb{Z}$ 对于 $n \geq 5$ 是否具有 $R_\infty$ 性质？若是，原因是什么？
• RQ4 是否可能将任意有限群 $G$ 嵌入到具有 $R_\infty$ 性质的形如 $H\wr\mathbb{Z}$ 的群中？
• RQ5 群 $G$ 的外自同构群如何影响 $G\wr\mathbb{Z}$ 中扭曲共轭类的有限性？

主要发现

• 若 $G$ 是具有平凡外自同构群的有限单群（如 $M_{11}, M_{23}, M_{24}, C_1, C_2, C_3, J_1, J_4, B, M$, 和 $Fi_{23}$ 等），则半直积 $G\wr\mathbb{Z}$ 具有性质 $R_\infty$。
• 对于 $n \geq 5$ 且 $n \neq 6$，交错群 $A_n$ 满足 $A_n\wr\mathbb{Z} \in \mathfrak{L}$，即具有 $R_\infty$ 性质，这是由于外自同构存在不动点。
• 对 $n \geq 5$，对称群 $S_n$ 属于 $\mathfrak{L}$，因此 $S_n\wr\mathbb{Z}$ 具有 $R_\infty$ 性质，因为 $\bigoplus A_n$ 是 $\bigoplus S_n$ 的特征子群，并继承了 $R_\infty$ 性质。
• 该结果可推广至 $\mathbb{Z}_2\wr\mathbb{Z}$ 和 $\mathbb{Z}_3\wr\mathbb{Z}$，确认 $L_2$ 和 $L_3$ 具有 $R_\infty$，与早期代数证明一致。
• 每个有限群 $G$ 均可嵌入到具有 $R_\infty$ 性质的群 $H\wr\mathbb{Z}$ 中，因为对足够大的 $n$，$S_n$ 包含所有有限群，且 $S_n\wr\mathbb{Z}$ 具有 $R_\infty$。
• 性质 $R_\infty$ 不被拟等距保持，因为 $\mathbb{Z}_4\wr\mathbb{Z}$ 与 $(\mathbb{Z}_2)^2\wr\mathbb{Z}$ 拟等距，但仅前者具有 $R_\infty$。