An inverse Jacobian algorithm for Picard curves

DOI10.1007/S40993-021-00253-1MaRDI QIDQ2028702zbMATH OpenOpenAlexFDO

Authors Anna Somoza, Christelle Vincent, Joan-C. Lario

Publication date 1 June 2021

Published in Research in Number Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

hyperelliptic curvesexplicit algorithmgenus 3Picard curveinverse Jacobian

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15) [https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Theta functions and abelian varieties (14K25) Computational aspects of algebraic curves (14Q05) Arithmetic ground fields for curves (14H25) Special algebraic curves and curves of low genus (14H45)

Abstract: We study the inverse Jacobian problem for the case of Picard curves over $mathbbC$. More precisely, we elaborate on an algorithm that, given a small period matrix $Omegainmathbb{C}^{3imes3}$ corresponding to a principally polarized abelian threefold equipped with an automorphism of order $3$, returns a Legendre-Rosenhain equation for a Picard curve with Jacobian isomorphic to the given abelian variety. Our method corrects a formula obtained by Koike-Weng in [Math. Comp., 74(249):499-518, 2005] which is based on a theorem of Siegel. As a result, we apply the algorithm to obtain (numerically) all the isomorphism classes of Picard curves with maximal complex multiplication attached to the sextic CM-fields with class number at most $4$. In particular, we obtain (conjecturally) the complete list of CM Picard curves defined over $mathbbQ$. In the appendix, Vincent gives a correction to the generalization of Takase's formula for the inverse Jacobian problem for hyperelliptic curves given in [Balakrishnan-Ionica-Lauter-Vincent, LMS J. Comput. Math., 19(suppl. A):283-300, 2016].

Recommendations

• On the Jacobian Varieties of Picard Curves: Explicit Addition Law and Algebraic Structure
• Explicit bounds of polynomial coefficients and counting points on Picard curves over finite fields
• A variant of Jacobi type formula for Picard curves
• Isogeny formulas for the Picard modular form and a three terms arithmetic geometric mean
• scientific article; zbMATH DE number 975538

Cites work

• scientific article; zbMATH DE number 3427526 (Why is no real title available?)
• scientific article; zbMATH DE number 3975085 (Why is no real title available?)
• scientific article; zbMATH DE number 3181290 (Why is no real title available?)
• scientific article; zbMATH DE number 193018 (Why is no real title available?)
• scientific article; zbMATH DE number 1775201 (Why is no real title available?)
• scientific article; zbMATH DE number 2120946 (Why is no real title available?)
• scientific article; zbMATH DE number 782635 (Why is no real title available?)
• A generalization of Rosenhain's normal form for hyperelliptic curves with an application
• Computing theta functions in quasi-linear time in genus two and above
• Constructing Picard curves with complex multiplication using the Chinese remainder theorem
• Constructing genus-3 hyperelliptic Jacobians with CM
• Construction of CM Picard curves
• Determination of all imaginary abelian sextic number fields with class number ≤ 11
• Examples of genus two CM curves defined over the rationals
• Genus 3 hyperelliptic curves with CM via Shimura reciprocity
• On a characterization of a Jacobian variety
• On products and algebraic families of Jacobian varieties
• On the Torelli problem and Jacobian Nullwerte in genus three
• On the representation of the Picard modular function by \(\theta\) constants. I-II
• Plane quartics over \(\mathbb {Q}\) with complex multiplication
• Primes dividing invariants of CM Picard curves
• Rigorous computation of the endomorphism ring of a Jacobian
• Tata lectures on theta. II: Jacobian theta functions and differential equations. With the collaboration of C. Musili, M. Nori, E. Previato, M. Stillman, and H. Umemura
• The hyperelliptic locus

Cited in

(5)

• Repeatable approximation of the Jacobian pseudo-inverse
• Spanning the isogeny class of a power of an elliptic curve
• Isogeny formulas for the Picard modular form and a three terms arithmetic geometric mean
• The complex multiplication method for genus 3 curves
• Inverse problems for invariant algebraic curves: explicit computations

Describes a project that uses

Uses Software

• curve_reconstruction
• GitHub
• endomorphisms
• genus3
• SageMath

This page was built for publication: An inverse Jacobian algorithm for Picard curves

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