[论文解读] Twisted conjugacy separable groups

Alexander Fel’shtyn, Evgenij Troitsky|arXiv (Cornell University)|Jun 29, 2006

Geometric and Algebraic Topology参考文献 27被引用 8

一句话总结

本文引入并研究了扭曲共轭分离性（twisted conjugacy separability）的概念，该性质确保群中扭曲共轭类可通过映射到有限群的同态加以区分。主要贡献在于证明了多项式次有限群（polycyclic-by-finite groups）是强扭曲共轭分离的，这意味着扭曲德恩共轭问题（twisted Dehn conjugacy problem）可解，并且对有限生成的剩余有限群（finitely generated residually finite groups）且 Reidemeister 数有限的情形，建立了扭曲伯恩赛德-弗罗贝尼乌斯定理（twisted Burnside-Frobenius theorem）。

ABSTRACT

We study the notion of twisted conjugacy separability (essentially introduced in our previous paper for a proof of twisted version of Burnside-Frobenius theorem) and some related properties. We give examples of groups with and without this property and study its behavior under some extensions. An affirmative answer to the twisted Dehn conjugacy problem for polycyclic-by-finite group is obtained. Some problems for the further study are indicated.

研究动机与目标

• 形式化并研究扭曲共轭分离性的概念，将共轭分离性推广至在自同态作用下的扭曲共轭类。
• 确立自同态的 Reidemeister 数等于其在有限维单位酉对偶上的诱导映射的不动点数的条件。
• 研究扭曲共轭分离性在群扩张下的行为，并识别出具有与不具有该性质的群类。
• 解决多项式次有限群及其相关类的扭曲德恩共轭问题。
• 厘清扭曲共轭分离性、剩余有限性以及 Reidemeister 数有限性之间的关系。

提出的方法

• 引入 φ-共轭分离性（φ-conjugacy separability）与扭曲共轭分离性的概念，通过有限商群分离扭曲共轭类来定义它们。
• 利用半直积构造 Γ = G ⋊ ℤ，将 G 中的 φ-共轭关系与 Γ 中的普通共轭关系联系起来，从而实现分离性性质的转移。
• 应用完备拓扑（profinite topology）与有限维表示理论，分析单位酉对偶的结构及其上的诱导映射。
• 运用巴拿赫空间对偶性及 ℓ¹(G) 与 ℓ∞(G) 的结构，将扭曲不变泛函的余维数与 Reidemeister 数关联起来。
• 借鉴 Mal’cev 关于共轭分离性的论证方法，将其适配到扭曲情形，以证明扭曲德恩共轭问题的可解性。
• 利用群代数 ℂ[F] 到矩阵代数的分解，计算对偶上诱导映射的不动点数，将其与 Reidemeister 数关联。

实验结果

研究问题

• RQ1 对于具有 R(φ) < ∞ 的自同态 φ，φ-共轭分离性是否蕴含群 G 的剩余有限性？
• RQ2 当存在一个自同态 φ 满足 R(φ) < ∞ 时，扭曲共轭分离性是否蕴含剩余有限性？
• RQ3 每个有限生成的剩余有限群是否对满足有限 Reidemeister 数的自同态 φ 都是 φ-共轭分离的？
• RQ4 能否解决多项式次有限群的扭曲德恩共轭问题？
• RQ5 对于有限生成的剩余有限群且 Reidemeister 数有限的情形，扭曲伯恩赛德-弗罗贝尼乌斯定理是否成立？

主要发现

• 多项式次有限群是强扭曲共轭分离的，意味着所有扭曲共轭类均可通过有限商群加以区分。
• 由于多项式次有限群具有强扭曲共轭分离性，其扭曲德恩共轭问题可解。
• 对于有限生成的剩余有限群且满足 R(φ) < ∞ 的情形，扭曲伯恩赛德-弗罗贝尼乌斯定理成立：R(φ) 等于其在有限维单位酉对偶上的诱导映射的不动点数。
• 当正规子群是有限生成且特征的，且商群是有限生成的 FC-群时，扭曲共轭分离性在群扩张下保持不变。
• HNN、Ivanov 与 Osin 群作为反例，表明该性质并非普遍成立。
• 对有限生成的剩余有限群且 Reidemeister 数有限的 φ-共轭分离性的证明，依赖于扭曲不变泛函的有限余维数及其在有限商群上的提升。