[论文解读] Twisted conjugacy classes in residually finite groups

Alexander Fel’shtyn, Evgenij Troitsky|arXiv (Cornell University)|Apr 14, 2012

Finite Group Theory Research参考文献 68被引用 9

一句话总结

本文为有限生成的剩余有限群建立了扭Burnside-Frobenius定理，证明了自同构 $φ$ 的扭共轭类数目等于在 $φ$ 的对偶作用下固定的有限维酉表示的数目。此外，本文进一步证明所有有限生成的剩余有限非阿美尼亚群均具有 $R_{∞}$ 性质，即每个自同构都有无穷多个扭共轭类，显著扩展了已知的此类群类。

ABSTRACT

We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional irreducible unitary representations being invariant for the dual of this automorphism. Also, we prove that any finitely generated residually finite non-amenable group has the R-infinity property (any automorphism has infinitely many twisted conjugacy classes). This gives a lot of new examples and covers many known classes of such groups.

研究动机与目标

• 为有限生成的剩余有限群建立Burnside-Frobenius定理的扭类比。
• 解决长期存在的猜想：Reidemeister数 $R(\phi)$ 等于 $\widehat{\phi}$ 在有限维酉对偶空间上的不动点数。
• 对有限生成的剩余有限群中 $R_{\infty}$ 群类进行刻画。
• 提供一个统一的框架，将扭共轭、表示理论与群的性质（如阿美尼亚性与剩余有限性）联系起来。

提出的方法

• 使用有限维不可约酉表示的酉对偶 $\widehat{G}_f$ 作为扭Burnside-Frobenius理论的对偶空间。
• 应用Peter-Weyl定理与Schur引理，将 $R(\phi)$ 与 $\widehat{G}_f$ 上诱导映射 $\widehat{\phi}$ 的不动点联系起来。
• 利用剩余有限性，从有限商群中提升性质，并通过表示不变性分析扭共轭类。
• 采用弱逼近与矩阵系数技术，研究 $\widehat{G}_f$ 上的对偶作用 $\widehat{\phi}$。
• 使用Gauss同余与Möbius反演，从扭Burnside-Frobenius定理推导动力学后果。
• 应用结构群论，包括正合列与子群性质，分析辫群、曲面群与Artin群。

实验结果

研究问题

• RQ1 有限生成的剩余有限群上自同构 $\phi$ 的扭共轭类数 $R(\phi)$ 是否等于在 $\widehat{\phi}$ 作用下固定的有限维酉表示数？
• RQ2 哪些有限生成的剩余有限群具有 $R_{\infty}$ 性质，即对所有 $\phi$ 都有 $R(\phi) = \infty$？
• RQ3 扭Burnside-Frobenius定理能否从几乎多循环群类扩展到更广的类，如可解群或受限半直积？
• RQ4 阿美尼亚性在决定剩余有限群的 $R_{\infty}$ 性质中起什么作用？
• RQ5 像 $\mathbb{Z}^n$、自由幂零群与可解群这样的群的Reidemeister谱如何与 $\widehat{G}_f$ 上 $\widehat{\phi}$ 的不动点相关？

主要发现

• 扭Burnside-Frobenius定理对所有有限生成的剩余有限群成立：当 $R(\phi) < \infty$ 时，$R(\phi)$ 等于 $\widehat{G}_f$ 中 $\widehat{\phi}$-不动点的数目。
• 所有有限生成的剩余有限非阿美尼亚群均具有 $R_{\infty}$ 性质，即每个自同构都有无穷多个扭共轭类。
• $\mathbb{Z}^n$ 的Reidemeister谱为 $\mathbb{N} \cup \{\infty\}$（当 $n \geq 2$ 时），而离散Heisenberg群 $N_{22}$ 的谱为 $2\mathbb{N} \cup \{\infty\}$。
• 对于可解群 $\mathbb{Z}[1/p]^2 \rtimes_\theta \mathbb{Z}$，Reidemeister谱取决于 $\theta$ 的特征值，当 $r, s \in \{\pm 1\}$ 取不同值时谱也不同。
• 由于非阿美尼亚性与剩余有限性，纯辫群 $P_n(\Sigma)$ 在亏格 $\geq 1$ 的曲面 $\Sigma$ 上（带边）或在闭曲面上当 $n \geq 3$ 时，具有 $R_{\infty}$ 性质。
• 像Osin群与Ivanov群这样的群，若不满足剩余有限性，则不满足扭Burnside-Frobenius定理，因其缺乏足够的有限维表示。