Some explicit arithmetic on curves of genus three and their applications
Tomoki Moriya, Momonari Kudo

TL;DR
This paper develops explicit arithmetic algorithms for genus 3 curves, including formulas for Howe curves and methods to compute decomposed Richelot isogenies, aiding classification and analysis of these algebraic structures.
Contribution
It introduces explicit formulas and algorithms for genus 3 curves, including Howe curves and Richelot isogenies, advancing computational methods in algebraic geometry.
Findings
Algorithms to compute the codomain of decomposed Richelot isogenies.
Explicit formulas for defining equations of Howe curves.
Complexity analysis for enumerating superspecial Howe curves.
Abstract
A Richelot isogeny between Jacobian varieties is an isogeny whose kernel is included in the -torsion subgroup of the domain. A Richelot isogeny whose codomain is the product of two or more principally polarized abelian varieties is called a decomposed Richelot isogeny. In this paper, we develop some explicit arithmetic on curves of genus , including algorithms to compute the codomain of a decomposed Richelot isogeny. As solutions to compute the domain of a decomposed Richelot isogeny, explicit formulae of defining equations for Howe curves of genus are also given. Using the formulae, we shall construct an algorithm with complexity (resp. ) to enumerate all hyperelliptic (resp. non-hyperelliptic) superspecial Howe curves of genus .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Polynomial and algebraic computation · Nonlinear Waves and Solitons
