[论文解读] Normal Subgroup Growth of Linear Groups: the (G2; F4;E8)-Theorem

Michael Larsen, Alexander Lubotzky|arXiv (Cornell University)|Aug 4, 2011

Finite Group Theory Research参考文献 13被引用 7

一句话总结

该论文证明，对于线性群，多项式正规子群增长（PNSG）仅在 Zariski 闭包的半单部分为 $G_2$、$F_4$ 或 $E_8$ 型的单代数群的直积时才会发生。关键结果表明，这些是唯一其基本覆盖的中心平凡的类型，且其 $S$-整数子群表现出多项式正规子群增长；而所有其他类型则具有显著更快的增长率，例如 $n^{\text{log } n}$ 或 $n^{\text{log } n / (\text{log } \text{log } n)^2}$，具体取决于中心阶数和域的特征。

ABSTRACT

Let G be a finitely generated group and M_n(G) the number of its normal subgroup subgroups of index at most n. For linear groups G we show that M_n(G) can grow polynomially in n only if the semisimple part of the Zariski closure of G has simple components only of type G2, F4 or E8 (and in this case indeed this can happened!)

研究动机与目标

• 刻画具有多项式正规子群增长（PNSG）的有限生成线性群。
• 确定在这些群的 Zariski 闭包的半单商群中，哪些单代数群（定义在代数闭域上）可能出现。
• 解释为何仅 $G_2$、$F_4$ 和 $E_8$ 允许 PNSG，尽管一般而言 PNSG 并不意味着残基有限群的虚拟可解性。
• 基于其半单分量的 simply connected 覆盖的中心，建立线性群中正规子群增长的精确增长率。

提出的方法

• 利用有限生成线性群向全局域的专门化定理，将问题约化为全局域上的 $S$-整数群。
• 应用 Pink 的强逼近定理于 $S$-整数群，将正规子群增长与正规同余子群的计数联系起来。
• 使用群概形的通用纤维的通用覆盖 $\tilde{\mathcal{G}}_\eta$ 来分析中心 $\mathcal{Z}(\tilde{\mathcal{G}}_\eta)$ 及其对增长率的影响。
• 根据特征 $p$ 是否整除中心阶数 $|\mathcal{Z}(\tilde{\mathcal{G}}_\eta)|$ 对增长率类型进行分类。
• 证明：若 $\mathcal{Z}(\tilde{S}_i) \neq 1$，则正规子群增长至少为 $n^{\log n / (\log \log n)^2}$；若 $p \mid |\mathcal{Z}(\tilde{S}_i)|$，则增长为 $n^{\log n}$。
• 确立 $G_2$、$F_4$ 和 $E_8$ 是唯一其 simply connected 形式与伴随形式同构（即其 universal 覆盖具有平凡中心）的类型，从而解释其例外角色。

实验结果

研究问题

• RQ1 哪些线性群具有多项式正规子群增长（PNSG）？
• RQ2 为何仅 $G_2$、$F_4$ 和 $E_8$ 会作为 PNSG 线性群的 Zariski 闭包的半单商群中的分量出现？
• RQ3 对于其半单分量的中心非平凡，或其中心阶数被域特征整除的线性群，其正规子群增长的精确速率是什么？
• RQ4 通用覆盖的中心结构如何影响 $S$-整数子群中正规子群的增长？
• RQ5 能否仅通过其半单分量的 simply connected 覆盖的中心来确定线性群的正规子群增长？

主要发现

• 唯一具有多项式正规子群增长的线性群，是其半单部分为 $G_2$、$F_4$ 或 $E_8$ 型单代数群直积的群。
• 对于 $G_2$、$F_4$ 和 $E_8$ 的 $S$-整数子群，正规同余子群增长为多项式，具体阶数为 $n$。
• 若某个单分量的 simply connected 覆盖的中心非平凡，且 $p \nmid |\mathcal{Z}(\tilde{S}_i)|$，则正规子群增长至少为 $n^{\log n / (\log \log n)^2}$。
• 若 $p$ 整除中心阶数 $|\mathcal{Z}(\tilde{S}_i)|$，则正规子群增长恰好为 $n^{\log n}$。
• 该结果是精确的：所有其他类型的单代数群均导致超多项式正规子群增长。
• $G_2$、$F_4$ 和 $E_8$ 的例外角色源于其 simply connected 形式与伴随形式同构——即其 universal 覆盖具有平凡中心。