Explicit CM theory for level 2-structures on abelian surfaces

DOI10.2140/ANT.2011.5.495zbMATH Open1254.11060arXiv0910.1848OpenAlexW1987635038MaRDI QIDQ656000FDOQ656000

David Gruenewald, Kristin Lauter, Reinier Bröker

Publication date: 26 January 2012

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

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.

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

zbMATH Keywords

complex multiplicationabelian surfaceisogenylevel structureIgusa class polynomialIgusa invariant

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15)

Cited In (12)

• Title not available (Why is that?)
• Computing $(\ell ,\ell )$-isogenies in polynomial time on Jacobians of genus $2$ curves
• Computing endomorphism rings of abelian varieties of dimension two
• Pairing-based algorithms for Jacobians of genus 2 curves with maximal endomorphism ring
• Isogeny graphs with maximal real multiplication
• Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
• Modular polynomials on Hilbert surfaces
• 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
• 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)