Abstract:For every prime number $p$ congruent to three modulo four, we prove that there exists a smooth curve of genus five in characteristic $p$ that is supersingular. This extends earlier work of Ekedahl and of Harashita, Kudo, and Senda.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for every prime number \(p\) satisfying \(p\equiv 3\ (\text{mod}\ 4)\), does there exist a smooth supersingular curve defined over the finite field \(\mathbb{F}_p\) with genus five?
Specifically, the authors prove that for every prime number \(p\) satisfying \(p\equiv 3\ (\text{mod}\ 4)\), there exists a smooth curve \(X\) defined over \(\mathbb{F}_p\) with genus five, and this curve is supersingular. This extends the previous work of Ekedahl and Harashita, Kudo, Senda, etc.
### Main Results
The main result of the paper is Theorem 1.1:
\[
\text{If }p\equiv 3\ (\text{mod}\ 4)\text{ is a prime number, then there exists a smooth curve }X\text{ with genus five defined over }\mathbb{F}_p\text{, which is supersingular.}
\]
### Background and Motivation
Before this, it was already known that for certain genus \(g\) and prime numbers \(p\), there exist supersingular curves. For example:
- When \(g = 1\), it holds for all prime numbers \(p\) (by Deuring's work [Deu41]);
- When \(g = 2\), it holds for all prime numbers \(p\) (by Serre's work [Ser83]);
- When \(g = 3\), it holds for all prime numbers \(p\) (by Oort's work [Oor91]);
- When \(g = 4\), it holds for all prime numbers \(p\) (by Harashita, Kudo, Senda's work [KHS20]).
However, for curves with genus five, previous work only covered specific prime number \(p\) cases. Therefore, this paper fills this gap and proves that for all prime numbers \(p\) satisfying \(p\equiv 3\ (\text{mod}\ 4)\), such supersingular curves exist.
### Methods and Techniques
To prove this result, the authors use the following methods and techniques:
- **Covering Theory**: Study branched coverings and their corresponding line bundles.
- **Frobenius Mapping**: Study the properties of Newton polygons through the Frobenius mapping.
- **Shimura - Taniyama Formula**: Used to determine whether a curve is supersingular.
- **Group Action**: Use group actions to analyze the spatial structure of coverings.
Through these methods, the authors successfully construct a new supersingular curve with genus five and verify its properties.
### Conclusion
This paper not only solves the problem of the existence of supersingular curves with genus five under specific conditions, but also provides new ideas and tools for further research on the properties of high - genus curves.