[论文解读] Automorphisms of free groups, I

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

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

一句话总结

本文研究了秩为 $ r $ 的自由群的自同构群的李代数结构，重点关注分次分量 $ \mathscr{L}_n = A_n / A_{n+1} $，其中 $ A_n $ 是在下中央列第 $ n $ 个商群上的作用的核。本文证明了 $ A_n = \sqrt{\gamma_n(A_1)} $，推翻了安德雷达基斯猜想 $ A_n = \gamma_n(A_1) $，同时利用 $ \mathrm{GL}_r(\mathbb{Q}) $ 上的表示理论，给出了 $ \mathscr{L}_n $ 的精确秩公式。关键结果是 $ \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 $ 的下中央列与滤子 $ A_n $ 之间的关系，解决安德雷达基斯猜想 $ A_n = \gamma_n(A_1) $。
• 计算 $ \mathscr{L}_n $ 和 $ \mathscr{M}_n $ 的秩，其中 $ \mathscr{M} $ 是自由群的拟幂零完备化的自同构群的李代数。
• 通过张量积和杨图分析 $ \mathscr{L}_n \otimes \mathbb{Q} $ 作为 $ \mathrm{GL}_r(\mathbb{Q}) $-表示的分解，描述不可约分量。
• 解决 Bryant-Gupta-Levin-Mochizuki 提出的关于自同构群下中央列结构的问题。

提出的方法

• 本文利用 $ 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{M}_n \otimes \mathbb{Q} $ 与核 $ \mathscr{J}_n $ 的维数，利用莫比乌斯函数和欧拉函数，推导出 $ \mathscr{L}_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} $ 如何嵌入到 $ \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 $。