Constructing genus-3 hyperelliptic Jacobians with CM

DOI10.1112/S1461157016000322zbMATH Open1404.11085MaRDI QIDQ2971016FDOQ2971016

Authors Jennifer S. Balakrishnan, Sorina Ionica, Christelle Vincent, Kristin Lauter 

Publication date 4 April 2017

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

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

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 curves; Schottky problem (14H42) Computational aspects of algebraic curves (14Q05)

Abstract: Given a sextic CM field $K$, we give an explicit method for finding all genus 3 hyperelliptic curves defined over $mathbbC$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng, we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus 3 hyperelliptic curves over a finite field $mathbb{F}_p$ with a given zeta function by finding roots of the Rosenhain minimal polynomials modulo $p$.

Recommendations

• scientific article; zbMATH DE number 1775201
• Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
• Plane quartics over \(\mathbb {Q}\) with complex multiplication
• Genus 3 hyperelliptic curves with CM via Shimura reciprocity
• Higher-dimensional 3-adic CM construction

Cites work

• scientific article; zbMATH DE number 3181290 (Why is no real title available?)
• A double large prime variation for small genus hyperelliptic index calculus
• A generalization of Rosenhain's normal form for hyperelliptic curves with an application
• Constructing abelian surfaces for cryptography via Rosenhain invariants
• Construction of CM Picard curves
• Examples of genus two CM curves defined over the rationals
• Explizite Bestimmung der Randflächen des Fundamentalbereiches der Modulgruppe zweiten Grades
• Hyperelliptic Simple Factors of J₀(N) with Dimension at Least 3
• Isogenies and the discrete logarithm problem in Jacobians of genus 3 hyperelliptic curves
• Modular Forms and Projective Invariants
• 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
• Time-memory trade-offs for index calculus in genus 3

Cited in

(18)

• An inverse Jacobian algorithm for Picard curves
• Principally polarized squares of elliptic curves with field of moduli equal to \(\mathbb{Q}\)
• scientific article; zbMATH DE number 1775201 (Why is no real title available?)
• The complex multiplication method for genus 3 curves
• Spanning the isogeny class of a power of an elliptic curve
• scientific article; zbMATH DE number 2164328 (Why is no real title available?)
• Genus 3 hyperelliptic curves with CM via Shimura reciprocity
• Constructing Picard curves with complex multiplication using the Chinese remainder theorem
• Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \overline{\zeta}_7)\)
• Primes dividing invariants of CM Picard curves
• genus3
• On different expressions for invariants of hyperelliptic curves of genus 3
• A characterization of the \(U(\Omega,m)\) sets of a hyperelliptic curve as \(\Omega\) and \(m\) vary
• A bound on the primes of bad reduction for CM curves of genus \(3\)
• Plane quartics over \(\mathbb {Q}\) with complex multiplication
• Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
• Super-isolated abelian varieties
• Modular invariants for genus 3 hyperelliptic curves

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Constructing genus-3 hyperelliptic Jacobians with CM

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