Algorithms to enumerate superspecial Howe curves of genus 4

DOI10.2140/OBS.2020.4.301MaRDI QIDQ5853804zbMATH OpenOpenAlexFDO

Authors Momonari Kudo, Shushi Harashita, Everett W. Howe

Publication date 11 March 2021

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

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

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)

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$.

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

Cited in

(9)

• 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\)
• Computational approach to enumerate non-hyperelliptic superspecial curves of genus 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)