[论文解读] Essential dimensions of finite groups

Ming-chang Kang|ArXiv.org|Nov 22, 2006

Finite Group Theory Research参考文献 11被引用 5

一句话总结

本文将 Buhler 与 Reichstein 的中心扩张定理推广至任意域，将本质维数理论从特征零推广至任意特征。本文建立了对任意特征域上对称群与交错群的本质维数的精确下界，证明当 $\mathop{{\rm char}}K \neq 2$ 时，$\mathop{{ olimits\rm ed}}_{K}(S_n) \geq \lfloor n/2 \rfloor$，且 $\mathop{{ olimits\rm ed}}_{K}(A_n) \geq 2\lfloor n/4 \rfloor$，在特征 2 时亦有类似下界。

ABSTRACT

We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of essential dimension of symmetric groups and alternating groups over field of any characteristic.

研究动机与目标

• 将 Buhler 与 Reichstein 的中心扩张定理推广至任意特征的域，而不仅限于特征零。
• 确定对任意域上对称群与交错群的本质维数的精确下界。
• 刻画有限群的本质维数为 1 的条件，特别是对二面体群与初等阿贝尔 $p$-群。
• 将阿贝尔群本质维数的结果推广至正特征域，特别是 $ (\mathbb{Z}/p\mathbb{Z})^r $。
• 提供关于 $ D_n $ 本质维数为 1 的域的完整分类，取决于特征与单位根的存在性。

提出的方法

• 采用 Buhler 与 Reichstein 的方法，通过域扩张与可分代数在任意域上运作，避免使用函子方法。
• 证明在 $ S_n $ 作用下，交比域在 $ K $ 上是纯超越的，且超越次数为 $ n-3 $，推广了特征零下的结果。
• 建立广义中心扩张定理（定理 4.5 与 4.6），允许提升群作用并利用域嵌入分析本质维数。
• 利用 $ GL_2(K) $ 与 $ PGL_2(K) $ 中的忠实表示分析本质维数，特别针对 $ (\mathbb{Z}/p\mathbb{Z})^r $ 与二面体群。
• 应用 Schur–Zassenhaus 定理分裂群扩张，并在 $ [K:\mathbb{F}_p] \geq r $ 时将 $ (\mathbb{Z}/p\mathbb{Z})^r $ 嵌入 $ GL_2(K) $。
• 运用赋值理论与线性无关性分析域扩张，并通过最小超越次数定义本质维数。

实验结果

研究问题

• RQ1 在任意特征的域 $ K $ 上，$ S_n $ 与 $ A_n $ 的本质维数的精确下界是什么？
• RQ2 在何种条件下，有限群 $ G $ 在域 $ K $ 上的本质维数为 1，特别是对二面体群与初等阿贝尔 $ p $-群？
• RQ3 当 $ \mathop{{\rm char}}K = p > 0 $ 时，$ (\mathbb{Z}/p\mathbb{Z})^r $ 的本质维数如何依赖于域 $ K $？
• RQ4 Buhler 与 Reichstein 的中心扩张定理能否推广至正特征域？
• RQ5 在特征 2 的域上，$ \zeta_n + \zeta_n^{-1} \in K $ 在判断 $ D_n $ 是否具有本质维数 1 的作用是什么？

主要发现

• 对于任意满足 $ \mathop{{\rm char}}K \neq 2 $ 的域 $ K $，有 $ \mathop{{\rm ed}}_K(S_n) \geq \lfloor n/2 \rfloor $ 且 $ \mathop{{\rm ed}}_K(A_n) \geq 2\lfloor n/4 \rfloor $。
• 对于任意满足 $ \mathop{{\rm char}}K = 2 $ 的域 $ K $，有 $ \mathop{{\rm ed}}_K(S_n) \geq \lfloor (n+1)/3 \rfloor $ 且 $ \mathop{{\rm ed}}_K(A_n) \geq \lfloor n/3 \rfloor $。
• 在满足 $ \mathop{{\rm char}}K \neq p $ 且 $ \zeta_p \in K $ 的域 $ K $ 上，$ (\mathbb{Z}/p\mathbb{Z})^r $ 的本质维数恰好为 $ r $。
• 当 $ n \geq 5 $ 时，$ S_n $ 的本质维数满足 $ \mathop{{\rm ed}}_K(S_n) \leq n-3 $，且精确值为：$ \mathop{{\rm ed}}_K(S_2) = \mathop{{\rm ed}}_K(S_3) = 1 $，$ \mathop{{\rm ed}}_K(S_4) = \mathop{{\rm ed}}_K(S_5) = 2 $，以及当 $ \mathop{{\rm char}}K \neq 2 $ 时 $ \mathop{{\rm ed}}_K(S_6) = 3 $。
• 在特征 2 的域 $ K $ 上，$ \mathop{{\rm ed}}_K(D_n) = 1 $ 当且仅当 $ n $ 为奇数且 $ \zeta_n + \zeta_n^{-1} \in K $，或 $ n = 2 $ 且 $ |K| \geq 4 $。
• 在 $ \mathbb{F}_2 $ 上，有 $ \mathop{{\rm ed}}_{\mathbb{F}_2}((\mathbb{Z}/2\mathbb{Z})^2) = 2 $，而在任意满足 $ |K| \geq 4 $ 的特征 2 域 $ K $ 上，有 $ \mathop{{\rm ed}}_K((\mathbb{Z}/2\mathbb{Z})^2) = 1 $。