[论文解读] Finite p-Irregular Subgroups of PGL(2,k)

Xander Faber|arXiv (Cornell University)|Dec 9, 2011

Algebraic Geometry and Number Theory参考文献 3被引用 12

一句话总结

本文对任意正特征 $p$ 的域 $k$ 上的 $operatorname{PGL}_2(k)$ 的有限 $p$-非正规子群按共轭关系进行了分类，完成了由克莱因和迪克森发起的经典程序。通过群作用、Sylow 定理和伽罗瓦上同调，本文表明此类子群同构于 $operatorname{PSL}_2(\mathbb{F}_q)$、$operatorname{PGL}_2(\mathbb{F}_q)$、$p$-半初等群、二面体群或 $mathfrak{A}_5$，并给出了存在性和共轭唯一性的显式条件。

ABSTRACT

In the late 19th century, Klein inaugurated a program for describing the finite subgroups of $PGL_2(k)$ by treating the case in which the field $k$ is the complex numbers. Gierster and Moore extended Klein's arguments to deal with finite fields. In the past century, additional contributions to this problem were made by Serre, Suzuki, and Beauville, among others. We complete this program by giving a classification of the finite subgroups of $PGL_2(k)$ with order divisible by $p$, up to conjugation, for an arbitrary field $k$ of positive characteristic $p$.

研究动机与目标

• 完成对正特征 $p$ 的域 $k$ 上 $operatorname{PGL}_2(k)$ 的有限子群的分类，特别关注其阶被 $p$ 整除的 $p$-非正规子群。
• 通过提供对任意正特征 $p>0$ 的域 $k$ 的完整且自包含的分类，扩展克莱因、迪克森、塞尔和博伊莱的古典结果。
• 解决 $p$-非正规子群的情况，此前在文献中尚未以可直接引用的形式明确分类。
• 为算法应用奠定基础，例如通过模素数约化来计算 $\mathbb{Q}$ 上有理函数的自同构群。

提出的方法

• 使用初等群论，包括 Sylow 定理和 $mathbb{P}^1(k)$ 上的群作用，对代数闭域上的 $p$-正则和 $p$-非正规子群进行分类。
• 应用迹和行列式恒等式来刻画 $operatorname{PGL}_2(k)$ 中小阶元素，从而实现对循环群和二面体群的分类。
• 采用伽罗瓦下降和上同调方法，将结果从代数闭包域推广到任意域 $k$，利用 $p$-非正规群的相关上同调集的平凡性。
• 通过其在 $mathbb{P}^1(k)$ 上的作用分析 $p$-半初等子群，表明它们固定唯一一个 $mathbb{F}_q$-有理点，并共轭于具有特定乘法和加法分量的上三角矩阵。
• 利用偶然同构 $operatorname{PGL}_2(k) \cong \mathrm{SO}(k,q)$（其中二次型 $q(x,y,z) = x^2 + yz$），该同构构成了博伊莱上同调方法的基础。
• 通过 $mathbb{F}_q$ 上的数论条件，建立 $mathfrak{A}_4$、$mathfrak{S}_4$、$mathfrak{A}_5$ 以及 $operatorname{PSL}_2(\mathbb{F}_q)$、$operatorname{PGL}_2(\mathbb{F}_q)$ 子群的存在性和共轭性条件。

实验结果

研究问题

• RQ1 对于任意正特征 $p>0$ 的域 $k$，$operatorname{PGL}_2(k)$ 的有限 $p$-非正规子群的同构类型是什么？
• RQ2 在何种 $k$ 的条件下，存在同构于 $operatorname{PSL}_2(\mathbb{F}_q)$ 或 $operatorname{PGL}_2(\mathbb{F}_q)$ 的 $p$-非正规子群？
• RQ3 此类子群的共轭类有多少个？其共轭唯一性由什么决定？
• RQ4 $p$-半初等子群在 $operatorname{PGL}_2(k)$ 中的结构是什么？它们在有限域上如何参数化？
• RQ5 如何利用 $p$-非正规子群的分类，通过模素数约化来计算 $\mathbb{Q}$ 上有理函数的自同构群？

主要发现

• $operatorname{PGL}_2(k)$ 的有限 $p$-非正规子群同构于 $operatorname{PSL}_2(\mathbb{F}_q)$、$operatorname{PGL}_2(\mathbb{F}_q)$、$p$-半初等群、二面体群或 $mathfrak{A}_5$，且不存在其他同构类型。
• 对于 $operatorname{PSL}_2(\mathbb{F}_q)$ 和 $operatorname{PGL}_2(\mathbb{F}_q)$，此类子群存在于 $operatorname{PGL}_2(k)$ 中当且仅当 $\mathbb{F}_q \subset k$，且它们构成唯一的共轭类。
• 当 $p=2$ 时，阶为 $2n$ 且 $n$ 为奇数的二面体子群存在当且仅当 $q \equiv \pm 1 \pmod{n}$，且在共轭意义下唯一。
• 四面体群（$mathfrak{A}_4$）和正八面体群（$mathfrak{S}_4$）存在当且仅当 $-1$ 是 $mathbb{F}_q$ 中两个平方数之和，当 $p \neq 2$ 时恒成立；当 $p=2$ 时，要求 $r$ 为偶数，其中 $mathbb{F}_{2^r}$。
• 二十面体群（$mathfrak{A}_5$）存在当且仅当 $p \neq 2,5$ 时 $sqrt{5} \in \mathbb{F}_q$，或当 $p=2$ 时 $q \equiv \pm 1 \pmod{5}$，且在所有情况下共轭类唯一。
• $p$-半初等子群（阶为 $p^m n$，$n$ 与 $p$ 互素）的共轭类由 $mathbb{F}_{p^e}$-向量子空间的位似类参数化，其中 $e$ 是 $p$ 模 $n$ 的阶，且 $e \mid \gcd(r,m)$。