[论文解读] Twisted conjugacy classes in nilpotent groups

В. А. Романьков|arXiv (Cornell University)|Mar 20, 2009

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

一句话总结

本文提出了一种算法，用于计算任意有限生成幂零群自同构 $ \varphi $ 的 Reidemeister 数 $ R(\varphi) $。证明了当秩 $ r=2 $ 或 $ 3 $ 且幂零类 $ c \geq 4r $，或当秩 $ r \geq 4 $ 且幂零类 $ c \geq 2r $ 时，自由幂零群属于 $ R_\infty $ 类——即其所有自同构的 Reidemeister 数均为无穷大，这是扭曲共轭理论中的一个关键结果。

ABSTRACT

Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$

研究动机与目标

• 为任意有限生成幂零群的自同构 $ \varphi $ 构建一种有效计算 Reidemeister 数 $ R(\varphi) $ 的算法。
• 确定在何种条件下，所有自同构的 Reidemeister 数均为无穷大的自由幂零群，即属于 $ R_\infty $ 类。
• 通过中心列和诱导自同构分析 $ \varphi $-共轭类的结构，扩展对幂零群中扭曲共轭的理解。
• 基于诱导自同构在阿贝尔商群上的不动点行为，建立自由幂零群属于 $ R_\infty $ 的充分秩-类条件。

提出的方法

• 基于有限生成幂零群的上中心列使用递归算法，将问题约化为阿贝尔商群。
• 应用引理 2.4，利用子群 $ L(C_k, \varphi_g) $ 将 $ \bar{\varphi} $-共轭类从 $ N/C_{k} $ 提升至 $ N $，以确定原像类的数量。
• 使用恒等式 $ R(\varphi) = [C : L(C, \varphi)] $ 计算指标，其中 $ C $ 为正规子群，且 $ L(C, \varphi) = \{ c \in C \mid \exists x \in G : x\varphi = c x \} $。
• 对幂零类进行归纳，假设算法对幂零类 $ \leq k-1 $ 的群成立，并将其推广至幂零类 $ k $。
• 应用 Formanek 对自由幂零群中自同构不变元素的分类，识别出 $ \mathrm{Fix}_{\bar{\varphi}_i}(A_i) \neq 1 $ 的情形，从而推出 $ R(\varphi) = \infty $。
• 依赖于如下事实：若 $ \mathrm{Fix}_{\varphi_i}(N_i) \neq 1 $，则 $ R(\varphi_i) = \infty $，并通过诱导自同构结构传播至 $ R(\varphi) = \infty $。

实验结果

研究问题

• RQ1 对于哪些有限生成幂零群，其所有自同构的 Reidemeister 数均为无穷大？
• RQ2 能否为任意有限生成幂零群的自同构 $ \varphi $ 构建一种有效计算 $ R(\varphi) $ 的算法？
• RQ3 在秩 $ r $ 和类 $ c $ 满足何种条件时，自由幂零群 $ N_{rc} $ 属于 $ R_\infty $ 类？
• RQ4 诱导自同构在阿贝尔商群 $ A_i = \zeta_{i+1}N / \zeta_i N $ 上的不动点行为如何决定 Reidemeister 数？
• RQ5 子群 $ L(C, \varphi) $ 在确定中心扩张中 $ \varphi $-共轭类数量方面起什么作用？

主要发现

• 为任意有限生成幂零群的自同构 $ \varphi $ 构建了一种有效算法，用于计算 $ R(\varphi) $。
• 对于秩 $ r=2 $ 或 $ 3 $ 的自由幂零群，若类 $ c \geq 4r $，则 $ N_{rc} \in R_\infty $。
• 对于秩 $ r \geq 4 $ 的自由幂零群，若类 $ c \geq 2r $，则 $ N_{rc} \in R_\infty $。
• 关键机制在于：在某个阿贝尔商群 $ A_i $ 中存在非平凡不动点子群 $ \mathrm{Fix}_{\bar{\varphi}_i}(A_i) \neq 1 $，这将导致 $ R(\varphi) = \infty $。
• 该结果依赖于 Formanek 对自由幂零群中自同构不变元素的分类，该分类识别出了关键的秩-类阈值。
• 证明通过幂零类的归纳进行，并利用中心列和诱导自同构的结构，将共轭类信息从商群提升至原群。