Superspecial genus-$4$ double covers of elliptic curves

Takumi Ogasawara,Ryo Ohashi,Kosuke Sakata,Shushi Harashita
2024-10-03
Abstract:In this paper we study genus-$4$ curves obtained as double covers of elliptic curves. Firstly we shall give explicit defining equations of such curves with explicit criterion for whether it is nonsingular, and show the irreducibility of the long polynomial determining whether the genus-4 curve is nonsingular or not, in any characteristic $\ne 2,3$. Secondly, as an application, we enumerate superspecial genus-$4$ double covers of elliptic curves in small characteristic.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and enumerate a special class of quartic curves in a finite field with specific characteristics - namely, quartic curves that are double covers of elliptic curves (DCEC), especially those DCEC with a unique elliptic quotient of degree two (UDCEC). These curves have important applications in coding theory and cryptography because they usually have more rational points or larger automorphism groups. Specifically, the goals of the paper are: 1. **Give the explicit defining equations of DCEC**: The authors first give the specific equation forms of this type of curves and provide a criterion to determine whether these curves are non - singular. They also prove that the long polynomials that determine the non - singularity of these curves are irreducible over any field whose characteristic is not equal to 2 or 3. 2. **Study the superspecial properties of these curves**: Superspecial curves refer to curves whose Jacobian varieties are isomorphic to the product of several supersingular elliptic curves. This type of curves plays an important role in the study of moduli spaces. The paper explores how to enumerate these superspecial DCEC in the case of small characteristics. 3. **Develop algorithms to enumerate superspecial UDCEC**: Based on the above theoretical results, the authors propose a set of algorithms for enumerating superspecial UDCEC in a finite field with specific characteristics. This set of algorithms includes: - Listing possible superspecial DCEC; - Screening out UDCEC from them; - Conducting isomorphism tests on the selected UDCEC. Through these works, the paper not only promotes the theoretical understanding of this type of curves, but also provides specific tools and methods in practical applications, especially in coding theory and cryptography.