Algorithms to enumerate superspecial Howe curves of genus 4

DOI10.2140/OBS.2020.4.301zbMATH Open1460.11092arXiv2006.11499OpenAlexW3115687428MaRDI QIDQ5853804FDOQ5853804

Authors: Momonari Kudo, Shushi Harashita, Everett W. Howe 

Publication date: 11 March 2021

Published in: Open Book Series (Search for Journal in Brave)

Abstract: A Howe curve is a curve of genus $4$ obtained as the fiber product of two genus-$1$ double covers of $mathbf{P}^1$. In this paper, we present a simple algorithm for testing isomorphism of Howe curves, and we propose two main algorithms for finding and enumerating these curves: One involves solving multivariate systems coming from Cartier--Manin matrices, while the other uses Richelot isogenies of curves of genus $2$. Comparing the two algorithms by implementation and by complexity analyses, we conclude that the latter enumerates curves more efficiently. Using these algorithms, we show that there exist superspecial curves of genus $4$ in characteristic $p$ for every prime $p$ with $7<p<20000$.

Full work available at URL: https://arxiv.org/abs/2006.11499

Recommendations

• Counting isomorphism classes of superspecial curves
• Computational approach to enumerate non-hyperelliptic superspecial curves of genus 4
• Superspecial hyperelliptic curves of genus 4 over small finite fields
• Superspecial curves of genus 4 in small characteristic
• The existence of supersingular curves of genus 4 in arbitrary characteristic

zbMATH Keywords

algebraic curvessuperspeciality

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Finite ground fields in algebraic geometry (14G15) Special algebraic curves and curves of low genus (14H45)

Cited In (8)

• Superspecial hyperelliptic curves of genus 4 over small finite fields
• On the Rosenhain forms of superspecial curves of genus two
• Efficient search for superspecial hyperelliptic curves of genus four with automorphism group containing \(\mathbf{C}_6\)
• Fast enumeration of superspecial hyperelliptic curves of genus 4 with automorphism group \(V_4\)
• Computing superspecial hyperelliptic curves of genus 4 with automorphism group properly containing the Klein 4-group
• Explicit construction of a plane sextic model for genus-five Howe curves. I
• Explicit construction of a plane sextic model for genus-five Howe curves. II
• Counting isomorphism classes of superspecial curves

This page was built for publication: Algorithms to enumerate superspecial Howe curves of genus 4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5853804)