Some explicit arithmetics on curves of genus three and their applications

arXiv2209.02926MaRDI QIDQ6409929FDOQ6409929

Authors: Tomoki Moriya, Momonari Kudo 

Publication date: 7 September 2022

Abstract: A Richelot isogeny between Jacobian varieties is an isogeny whose kernel is included in the $2$-torsion subgroup of the domain. In particular, a Richelot isogeny whose codomain is the product of two or more principally porlalized abelian varieties is called a decomposed Richelot isogeny. In this paper, we develop some explicit arithmetics on curves of genus $3$, 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 $3$ are also given. Using the formulae, we shall construct an algorithm with complexity $ildeO(p^3)$ (resp. $ildeO(p^4)$) to enumerate all hyperelliptic (resp. non-hyperelliptic) superspecial Howe curves of genus $3$.

This page was built for publication: Some explicit arithmetics on curves of genus three and their applications

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