[論文レビュー] Automorphisms of free groups, I

Laurent Bartholdi|arXiv (Cornell University)|Apr 1, 2013

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

ひとこと要約

この論文は、ランク $ r $ の自由群の自己同型群のリー代数構造を調査し、下部中央系列の $ n $ 番目の商の作用における核 $ A_n $ として定義される $ \mathscr{L}_n = A_n / A_{n+1} $ の各次数成分に焦点を当てる。$ A_n = \sqrt{\gamma_n(A_1)} $ を証明し、$ A_n = \gamma_n(A_1) $ であると予想したアンドレアダキスの予想を反証する。一方で、$ \mathrm{GL}_r(\mathbb{Q}) $ 上の表現論を用いて、$ \mathscr{L}_n $ の正確なランク公式を提供する。主な結果として、$ r=3 $ のとき $ \operatorname{rank}(\mathscr{L}_4) = 43 $ である修正されたランク公式が得られ、リー代数が $ \mathrm{GL}_r(\mathbb{Q}) $-加群としての詳細な分解が与えられる。

ABSTRACT

We describe, up to degree equal to the rank, the Lie algebra associated with the automorphism group of a free group. We compute in particular the ranks of its homogeneous components, and their structure as modules over the linear group. Along the way, we infirm (but confirm a weaker form of) a conjecture by Andreadakis, and answer a question by Bryant-Gupta-Levin-Mochizuki.

研究の動機と目的

• ランク $ r $ の自由群の自己同型群に関連するリー代数 $ \mathscr{L} = \bigoplus_{n \geq 1} A_n / A_{n+1} $ の構造、特に $ \mathrm{GL}_r(\mathbb{Z}) $-加群としての次数成分の構造を理解すること。
• $ A_1 $ の下部中央系列 $ \gamma_n(A_1) $ とフィルトレーション $ A_n $ 間の関係を調査し、アンドレアダキスの予想 $ A_n = \gamma_n(A_1) $ を検証すること。
• $ \mathscr{L}_n $ および $ \mathscr{M}_n $（自由群のプロ-nilpotent完成の自己同型群のリー代数）のランクを計算すること。
• $ \mathscr{L}_n \otimes \mathbb{Q} $ を $ \mathrm{GL}_r(\mathbb{Q}) $-表現として分解し、テンソル積とヤン図を用いて既約成分を記述すること。
• ブライアント＝ギュプタ＝レヴィン＝モチヅキによる自己同型群の下部中央系列の構造に関する疑問を解決すること。

提案手法

• 論文は、$ A_0/A_1 \cong \mathrm{GL}_r(\mathbb{Z}) $ の作用による $ \mathscr{L}_n $ の共役作用を用い、$ \mathrm{GL}_r(\mathbb{Z}) $-加群としての性質を調べ、その後 $ \mathbb{Q} $ にスカラー拡張して表現論を適用する。
• $ \mathscr{M}_n \otimes \mathbb{Q} $ を二つの部分加群に分解する：$ \mathscr{T}_n $（トランスベクションに類似した自己同型によって生成される部分）と $ \mathscr{A}_n $（高次の交換子に関連する部分）。
• 鍵となる技術は、正確な完全列 $ 0 \to \mathscr{T}_n \to \mathscr{M}_n \otimes \mathbb{Q} \xrightarrow{\operatorname{tr}} \mathscr{A}_n \to 0 $ の解析であり、これにより $ \mathscr{L}_n \otimes \mathbb{Q} $ が $ \mathrm{GL}_r(\mathbb{Q}) $-既約表現の直和として分解可能であることが保証される。
• $ \mathscr{L}_n $ のランク公式は、$ \mathscr{M}_n \otimes \mathbb{Q} $ と核 $ \mathscr{J}_n $ の次元を比較することで導出され、モービウス関数とオイラーのトータル関数が用いられる。
• 非可換微分作用素とヤング盤を用いて、$ \mathscr{L}_n $ の明示的基底を構成し、既約成分を分類する。
• 小規模な $ r $ および $ n $（特に $ r=3, n=4 $）について明示的計算を行い、$ \mathscr{L}_n $ の構造を検証し、過去のランク推定値を修正する。

実験結果

リサーチクエスチョン

• RQ1 アンドレアダキスの予想 $ A_n = \gamma_n(A_1) $ はすべての $ r $ および $ n $ に対して成り立つか？
• RQ2 自己同型群のリー代数の $ n $ 番目の次数成分 $ \mathscr{L}_n = A_n / A_{n+1} $ の正確なランクは何か？
• RQ3 リー代数 $ \mathscr{L} $ は、自由群のプロ-nilpotent完成の自己同型群のリー代数 $ \mathscr{M} $ にどのように埋め込まれるか？
• RQ4 $ \mathscr{L}_n \otimes \mathbb{Q} $ を $ \mathrm{GL}_r(\mathbb{Q}) $-表現としての分解は何か？ また、$ \mathscr{M}_n \otimes \mathbb{Q} $ との関係は？
• RQ5 どの $ r $ および $ n $ に対して $ \mathscr{L}_n $ が $ \mathscr{M}_n $ 上に全射でないか？

主な発見

• 論文は $ A_n = \sqrt{\gamma_n(A_1)} $ を証明し、$ A_n $ が $ \gamma_n(A_1) $ の元の冪をすべて含む集合であることを示し、$ A_n = \gamma_n(A_1) $ であると予想したアンドレアダキスの予想を反証する。
• $ r=3 $、$ n=7 $ のとき、商 $ A_n / \gamma_n(A_1) \cong \mathbb{Z}/3\mathbb{Z} $ であることが示され、この予想が小さなランクに対しても成り立たないことを実証する。
• $ \mathscr{L}_n $ のランクは公式 $ \operatorname{rank}(\mathscr{L}_n) = \frac{r}{n+1} \sum_{d|n+1} \mu(d) r^{(n+1)/d} - \frac{1}{n} \sum_{d|n} \phi(d) r^{n/d} $ で与えられ、これにより過去の推定値が是正される。
• $ r=3 $ のとき、修正された $ \mathscr{L}_4 $ のランクは 43 であり、アンドレアダキスが以前に計算した 44 よりも小さい。
• $ \mathscr{L}_n \otimes \mathbb{Q} $ を $ \mathrm{GL}_r(\mathbb{Q}) $-加群としての分解はヤング盤を用いて記述され、$ \mathscr{M}_n \otimes \mathbb{Q} $ に含まれるが $ \mathscr{L}_n $ には現れない既約成分が存在する。特に、多くの行を持つ成分がその例である。
• 論文は、$ n \geq 3 $ のとき $ \mathscr{L}_n $ が $ \mathscr{M}_n $ に同型でないことを示し、$ \mathscr{L} $ の $ \mathscr{M} $ への像は閉じていないことを示し、$ r=3 $、$ n=5 $ のとき $ \dim \mathscr{L}_n < \dim \mathscr{M}_n $ であることを示す。