Finite p-Irregular Subgroups of PGL(2,k)

Xander Faber
DOI: https://doi.org/10.1007/s44007-023-00051-4
2024-10-07
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$.
Number Theory,Group Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify the finite subgroups of \(PGL_2(k)\) over a field \(k\) with any characteristic \(p > 0\), especially those subgroups whose orders are divisible by \(p\) (i.e., \(p\)-irregular subgroups). Specifically, the author aims to complete the classification of these subgroups and give a complete description up to conjugation. ### Background and Importance of the Problem 1. **Historical Background**: - At the end of the 19th century, Klein began to study the finite subgroups of \(PGL_2(\mathbb{C})\) over the complex field. - Gierster and Moore extended Klein's method to finite fields. - In recent decades, Serre, Suzuki, Beauville and others have further studied this problem, especially over fields with arbitrary characteristics. 2. **Existing Results**: - For subgroups with characteristic zero or coprime to the characteristic, there are relatively complete classification results. - But for \(p\)-irregular subgroups over a field with characteristic \(p > 0\), there is still a lack of comprehensive classification. ### Main Contributions of the Paper 1. **New Classification**: - The author has completed the classification of the finite \(p\)-irregular subgroups of \(PGL_2(k)\) over any field \(k\) with characteristic \(p > 0\). - Given the precise conditions for the existence of these subgroups (Theorem A) and the classification of conjugate classes (Theorem B). 2. **Main Results**: - \(p\)-irregular subgroups can be \(PSL_2(\mathbb{F}_q)\) or \(PGL_2(\mathbb{F}_q)\), where \(q\) is a power of the characteristic of \(k\). - They can also be \(p\)-semi - elementary groups, dihedral groups or the alternating group \(A_5\). 3. **Technical Means**: - Galois cohomology and classification results over separably closed fields are used. - Through the study of conjugate classes, the problem is simplified to the case of separably closed fields. ### Representation of Formulas - \(PGL_2(k)=GL_2(k)/k^{\times}\) - \(s.z = \frac{\alpha z+\beta}{\gamma z + \delta}\) - \(\text{det}(s)=\alpha\delta-\beta\gamma\) ### Summary This paper has solved the classification problem of the finite \(p\)-irregular subgroups of \(PGL_2(k)\) over any field \(k\) with characteristic \(p > 0\). By introducing new techniques and methods, the author has not only filled this gap in the field but also provided an important foundation for subsequent research.