[論文レビュー] On the Automorphism Tower of Free Nilpotent Groups

Martin Kassabov|ArXiv.org|Nov 26, 2003

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

ひとこと要約

本稿では、自由冪零群 Γ(n,d) の自己同型塔が、Lie群の埋め込みと剛性定理を用いて、自由冪零Lie代数の導出塔からの結果の上昇によって、有限ステップで安定化することを確立している。主な結果は、n=2 かつ d ≡ 1 mod 4 の場合、塔は最大 {6, 2 + d/4} ステップで安定化し、d が n に対して小さい場合には最大3ステップで安定化することである。

ABSTRACT

In this thesis I study the automorphism tower of free nilpotent groups. Our main tool in studying the automorphism tower is to embed every group as a lattice in some Lie group. Using known rigidity results the automorphism group of the discrete group can be embedded into the automorphism group of the Lie group. This allows me to lift the description of the derivation tower of the free nilpotent Lie algebra to obtain information about the automorphism tower of the free nilpotent group. The main result in this thesis states that the automorphism tower of the free nilpotent group $Γ(n,d)$ on $n$ generators and nilpotency class $d$, stabilizes after finitely many steps. If the nilpotency class is small compared to the number of generators we have that the height of the automorphism tower is at most 3.

研究の動機と目的

• 有限生成冪零群における自己同型塔の有限安定化に関するバウムスラッグの長年の予想を解決すること。
• 有限群の自己同型塔定理（Wielandtの定理）を無限群かつ非自明な中心をもつ群、特に自由冪零群に拡張すること。
• 自由冪零Lie代数の導出塔からの性質の上昇を通じて、自己同型塔の構造的記述を確立すること。
• 特に d ≡ 1 mod 4 の場合に非自明となる2生成子の場合の自己同型塔の挙動を分析すること。
• 群論的およびLie理論的技法を用いて、すべての n と d に対して自己同型塔の高さに一様な上限を与えること。

提案手法

• 実Lie群における自由冪零群 Γ(n,d) の格子としての埋め込みにより、Lie群の剛性定理を活用すること。
• 既知の剛性結果を用いて、Γ(n,d) の自己同型群を関連Lie群の自己同型群へ埋め込むこと。
• 自由冪零Lie代数 L[V,d] の導出塔構造を、導出代数 ULk の類似物を通じて群レベルへ上昇させること。
• 正規部分群 NΓk と中心的成分 CΓk への再帰的分解を通じて自己同型塔を分析すること。
• sl₂(ℝ) および GL₂(ℤ) の表現論を用いて、自由Lie代数の同次成分における不変部分空間を研究すること。
• 群コホホロジーと半直積構造を用いて、特に2生成子の場合に AutᵏΓ を NΓᵏ と CΓᵏ の積として記述すること。

実験結果

リサーチクエスチョン

• RQ1 自由冪零群 Γ(n,d) の自己同型塔は、非自明な中心をもつ場合でも、有限ステップで安定化するか？
• RQ2 自由冪零群における自己同型塔の最大高さは何か、特に2生成子の場合には？
• RQ3 自己同型塔の中心的および非中心的部分は反復によりどのように変化し、いつ安定化するか？
• RQ4 関連する自由冪零Lie代数の導出塔を用いて、群の自己同型塔を記述できるか？
• RQ5 自由Lie代数の同次成分における GL₂(ℤ)-不変部分空間が、安定化高さを決定づける役割を果たすか？

主な発見

• すべての n と d に対して、Γ(n,d) の自己同型塔は有限ステップで安定化し、バウムスラッグの予想を裏付けた。
• 冪零クラス d が生成子数 n よりも小さい場合には、自己同型塔は最大3ステップで安定化する。
• 2生成子の場合で d ≡ 1 mod 4 の場合、自己同型塔は最大 max{6, 2 + d/4} ステップで安定化する。
• 2生成子の場合、CΓᵏ は最大6ステップで安定化し、CΓ⁴ は GL₂(𝔽₂) ⋉ Hom(𝔽₂², 𝔽₂²) に同型であり、k ≥ 5 のとき CΓᵏ は (GL₂(𝔽₂) × GL₂(𝔽₂)) ⋉ Hom(𝔽₂², 𝔽₂²) に同型である。
• 群 AutᵏΓ は NΓᵏ と CΓᵏ の直積に分解され、NΓᵏ はLie代数の導出塔の安定化により安定化する。
• d = 5 の場合、CΓ² は自明または位数2の巡回群であり、CΓ³ は位数4の初等アーベル群であるため、k = 6 で安定化する。