[論文レビュー] Twisted conjugacy classes in nilpotent groups

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

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

ひとこと要約

本稿では、有限生成ノルム群の任意の自己同型 $ \varphi $ に対してリーデマイスター数 $ R(\varphi) $ を計算するアルゴリズムを確立する。自由ノルム群でランク $ r=2 $ または $ 3 $ かつクラス $ c \geq 4r $、またはランク $ r \geq 4 $ かつクラス $ c \geq 2r $ の場合、それらはすべて $ R_\infty $ クラスに属する—つまり、すべての自己同型が無限大のリーデマイスター数を持つことが保証され、ねじれ共役理論における重要な結果である。

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 $ に対してリーデマイスター数 $ R(\varphi) $ を効果的に計算するためのアルゴリズムを開発すること。
• すべての自己同型が無限大のリーデマイスター数を持つ自由ノルム群、すなわち $ R_\infty $ クラスに属する群を特定すること。
• 中心的系列と誘導自己同型を用いた $ \varphi $-共役類の構造を分析することで、ノルム群におけるねじれ共役の理解を拡張すること。
• 自由ノルム群が $ R_\infty $ に属するためのランクとクラスに関する十分条件を、アーベル商上の誘導自己同型の固定点行動に基づいて確立すること。

提案手法

• 有限生成ノルム群の上部中心系列に基づく再帰的アルゴリズムを用い、問題をアーベル商に還元する。
• 補題 2.4 を適用して、$ \bar{\varphi} $-共役類を $ N/C_{k} $ から $ N $ に持ち上げる。この際、$ L(C_k, \varphi_g) $ を用いて像の前像クラスの数を特定する。
• 中心部分群 $ C $ に対して $ R(\varphi) = [C : L(C, \varphi)] $ という恒等式を用い、$ L(C, \varphi) = \{ c \in C \mid \exists x \in G : x\varphi = c x \} $ により指数を計算する。
• ノルム群のクラスに関する帰納法を用い、クラス $ \leq k-1 $ の群に対してアルゴリズムが成立すると仮定し、それをクラス $ k $ に拡張する。
• フォーマンエックの自由ノルム群における自己同型不変要素の分類を適用し、$ \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 有限生成ノルム群のうち、すべての自己同型が無限大のリーデマイスター数を持つのはどのような群か？
• RQ2 有限生成ノルム群の任意の自己同型 $ \varphi $ に対して $ R(\varphi) $ を計算する効果的アルゴリズムを構築できるか？
• RQ3 自由ノルム群 $ N_{rc} $ が $ R_\infty $ クラスに属するためのランク $ r $ とクラス $ c $ に関する条件は何か？
• RQ4 アーベル商 $ A_i = \zeta_{i+1}N / \zeta_i N $ 上での誘導自己同型の固定点行動がリーデマイスター数にどのように影響するか？
• RQ5 中心拡張における $ \varphi $-共役類の数を決定する上での部分群 $ L(C, \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 $ が示される。
• この結果は、フォーマンエックによる自由ノルム群における自己同型不変要素の分類に依拠しており、臨界的なランク・クラスの閾値を特定している。
• 証明はノルム群のクラスに関する帰納法を用い、中心系列と誘導自己同型の構造を活用して、商からの共役類情報の持ち上げを実現している。