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

abelian surfacecomplex multiplicationIgusa class polynomialIgusa invariantisogenylevel structure

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.

Review text

The paper under review is concerned with the abelian extensions of primitive quartic CM fields \(K\). To this end, the authors study principally polarised abelian surfaces \(A\) (ppas) with endomorphism ring isomorphic to the ring of integers \(\mathcal{O}_K\) of \(K\). Like for CM elliptic curves, the Igusa invariants of \(A\) generate an unramified abelian extension of the reflex field \(R\) of \(K\). This is related to the so-called Igusa class polynomial \(P_K\in\mathbb{Q}[X]\) (not necessarily irreducible over \(\mathbb{Q}\)). The authors develop an explicit geometric description of the Galois action of the class group of \(R\) on the Igusa invariants by studying all ppas with CM by \(\mathcal{O}_K\). They find maps between various Siegel modular varieties. This allows them to speed up previously known algorithms to compute the polynomial \(P_K\).

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

(14)

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

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)