Explicit CM theory for level 2-structures on abelian surfaces

DOI10.2140/ANT.2011.5.495MaRDI QIDQ656000zbMATH OpenOpenAlexFDO

Authors Reinier Bröker, David Gruenewald, Kristin Lauter

Publication date 26 January 2012

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.1848, http://msp.berkeley.edu/ant/2011/5-4/p03.xhtml

zbMATH Keywords

complex multiplicationabelian surfaceisogenylevel structureIgusa class polynomialIgusa invariant

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15)

Abstract: For a complex abelian variety $A$ with endomorphism ring isomorphic to the maximal order in a quartic CM-field $K$, the Igusa invariants $j_1(A),j_2(A),j_3(A)$ generate an abelian extension of the reflex field of $K$. In this paper we give an explicit description of the Galois action of the class group of this reflex field on $j_1(A),j_2(A),j_3(A)$. We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynomials. Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby implying that the `isogeny volcano' algorithm to compute endomorphism rings of ordinary elliptic curves over finite fields does not have a straightforward generalization to computing endomorphism rings of abelian surfaces over finite fields.

Recommendations

• Class invariants for quartic CM fields
• scientific article; zbMATH DE number 2154296
• The field of moduli of abelian surfaces with complex multiplication.
• Genus 2 curves with complex multiplication
• Igusa class polynomials, embeddings of quartic CM fields, and arithmetic intersection theory

Cited in

(13)

• scientific article; zbMATH DE number 799761 (Why is no real title available?)
• Computing $(\ell ,\ell )$-isogenies in polynomial time on Jacobians of genus $2$ curves
• Pairing-based algorithms for Jacobians of genus 2 curves with maximal endomorphism ring
• Computing endomorphism rings of abelian varieties of dimension two
• Isogeny graphs with maximal real multiplication
• Modular polynomials on Hilbert surfaces
• Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
• Constructing abelian surfaces for cryptography via Rosenhain invariants
• Class groups in cyclic \(\ell \)-extensions: comments on a paper by G. Cornell
• Computing class polynomials for abelian surfaces
• On polarised class groups of orders in quartic CM-fields
• The Satake sextic in F-theory
• Isogeny graphs of ordinary abelian varieties

This page was built for publication: Explicit CM theory for level 2-structures on abelian surfaces

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