Superspecial curves of genus $4$ in small characteristic

Abstract

This paper contains a complete study of superspecial curves of genus $4$ in characteristic $p\le 7$. We prove that there does not exist a superspecial curve of genus $4$ in characteristic $7$. This is a negative answer to the genus $4$ case of the problem proposed by Ekedahl [9] in 1987. This implies the non-existence of maximal curve of genus $4$ over ${\mathbb{F}}_{49}$, which updates the table at {\tt manypoints.org}. We give an algorithm to enumerate superspecial nonhyperelliptic curves in arbitrary $p\ge 5$, and for $p\le 7$ we excute it with our implementation on a computer algebra system Magma. Our result in $p=5$ re-proves the uniqueness of maximal curves of genus $4$ over ${\mathbb{F}}_{25}$, see [11] for the original theoretical proof. In Appendix, we present a general method determining Hasse-Witt matrices of curves which are complete intersections.

Corollary 5.1.3 and Appendix B have been added

Cited by in corpus (8)

• Hasse-Witt and Cartier-Manin matrices: A warning and a request
• Enumerating superspecial curves of genus $4$ over prime fields
• Computing representation matrices for the action of Frobenius to cohomology groups
• Automorphism groups of superspecial curves of genus $4$ over ${\mathbb{F}}_{11}$
• Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points
• Superspecial trigonal curves of genus $5$
• On the existence of superspecial nonhyperelliptic curves of genus $4$
• A note on certain superspecial and maximal curves of genus $5$