Constructing genus-3 hyperelliptic Jacobians with CM

DOI10.1112/S1461157016000322zbMATH Open1404.11085arXiv1603.03832MaRDI QIDQ2971016FDOQ2971016

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

Publication date: 4 April 2017

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

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

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)

Cites Work

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

Cited In (16)

• Primes Dividing Invariants of CM Picard Curves
• Title not available (Why is that?)
• Constructing Picard curves with complex multiplication using the Chinese remainder theorem
• A characterization of the \(U(\Omega,m)\) sets of a hyperelliptic curve as \(\Omega\) and \(m\) vary
• Modular invariants for genus 3 hyperelliptic curves
• Plane quartics over $\mathbb {Q}$ with complex multiplication
• Spanning the isogeny class of a power of an elliptic curve
• Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
• The complex multiplication method for genus 3 curves
• genus3
• An inverse Jacobian algorithm for Picard curves
• Principally polarized squares of elliptic curves with field of moduli equal to \(\mathbb{Q}\)
• On different expressions for invariants of hyperelliptic curves of genus 3
• Super-isolated abelian varieties
• A bound on the primes of bad reduction for CM curves of genus 3
• Genus 3 hyperelliptic curves with CM via Shimura reciprocity

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)