Abstract:In this paper we determine the number of isomorphism classes of superspecial abelian varieties $A$ over the prime field $\Fp$ such that the relative Frobenius morphism $\pi_A$ satisfying $\pi_A^2=-p$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to determine the number of isomorphism classes of superspecial abelian varieties over the finite prime field \( \mathbb{F}_p \) for which the relative Frobenius homomorphism \( \pi_A \) satisfies \( \pi_A^2=-p \).
Specifically, the paper focuses on superspecial abelian varieties \( A \) of dimension \( g \), which are defined as follows:
- \( p \) is a rational prime number.
- \( g\geq1 \) is a positive integer.
- The abelian variety \( A \) is superspecial over a field \( k \) of characteristic \( p \), that is, it is isomorphic over the algebraic closure \( \bar{k} \) of \( k \) to the product of several supersingular elliptic curves.
Let \( E_0 \) be a supersingular elliptic curve over \( \mathbb{F}_p \) such that \( \pi_{E_0}^2 = -p \), where \( \pi_{E_0} \) is the relative Frobenius endomorphism of \( E_0 \). Such an elliptic curve exists (see Deuring [3] or Honda - Tate theory [17, Theorem 1, page 96]), and when \( p>3 \), the condition \( \pi_{E_0}^2=-p \) is automatically satisfied (according to the Hasse - Weil bound).
Let \( S \) be the set of isomorphism classes of superspecial abelian varieties \( A \) of dimension \( g \) over \( \mathbb{F}_p \) such that there is an isogeny from \( E_0^g \) to \( A \). By Tate [18, Theorem 1 (c), page 139], \( A \) being isogenous to \( E_0^g \) is equivalent to the relative Frobenius homomorphism \( \pi_A \) of \( A \) satisfying \( \pi_A^2=-p \).
The main result of the paper is to calculate the number of these superspecial abelian varieties and gives the following theorem:
\[
|S|=\begin{cases}
h(\sqrt{-p}), & \text{if } p = 2 \text{ or } p\equiv1\pmod{4}, \\
(g + 1)h(\sqrt{-p}), & \text{if } p\equiv7\pmod{8} \text{ or } p = 3, \\
(g+3)h(\sqrt{-p}), & \text{if } p\equiv3\pmod{8} \text{ and } p\neq3,
\end{cases}
\]
where \( h(\sqrt{-p}) \) represents the class number of the imaginary quadratic field \( \mathbb{Q}(\sqrt{-p}) \).
In addition, the paper also discusses related background knowledge, including models of supersingular elliptic curves, quaternion algebras, and the classification of superspecial abelian varieties of higher dimensions, etc.