An inverse Jacobian algorithm for Picard curves

DOI10.1007/S40993-021-00253-1zbMATH Open1482.14035arXiv1611.02582OpenAlexW3153857912MaRDI QIDQ2028702FDOQ2028702

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

Publication date: 1 June 2021

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

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

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

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

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)

Cites Work

• Constructing genus-3 hyperelliptic Jacobians with CM
• Rigorous computation of the endomorphism ring of a Jacobian
• Title not available (Why is that?)
• Title not available (Why is that?)
• Examples of genus two CM curves defined over the rationals
• 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
• On products and algebraic families of Jacobian varieties
• On a characterization of a Jacobian variety
• The hyperelliptic locus
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Torelli problem and Jacobian Nullwerte in genus three
• On the representation of the Picard modular function by \(\theta\) constants. I-II
• Genus 3 hyperelliptic curves with CM via Shimura reciprocity
• A generalization of Rosenhain's normal form for hyperelliptic curves with an application
• Title not available (Why is that?)
• Construction of CM Picard curves
• Title not available (Why is that?)
• Computing theta functions in quasi-linear time in genus two and above
• Determination of all imaginary abelian sextic number fields with class number ≤ 11
• Title not available (Why is that?)
• Plane quartics over \(\mathbb {Q}\) with complex multiplication
• Primes dividing invariants of CM Picard curves
• Constructing Picard curves with complex multiplication using the Chinese remainder theorem

Cited In (5)

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

Uses Software

• SageMath
• genus3
• endomorphisms
• GitHub
• curve_reconstruction

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)