Vol. 5, No. 4, 2011

Download this article
Download this article For screen
For printing
Recent Issues

Volume 18
Issue 7, 1221–1401
Issue 6, 1039–1219
Issue 5, 847–1038
Issue 4, 631–846
Issue 3, 409–629
Issue 2, 209–408
Issue 1, 1–208

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
Editors' interests
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author index
To appear
Other MSP journals
Explicit CM theory for level 2-structures on abelian surfaces

Reinier Bröker, David Gruenewald and Kristin Lauter

Vol. 5 (2011), No. 4, 495–528

For a complex abelian surface A with endomorphism ring isomorphic to the maximal order in a quartic CM field K, the Igusa invariants j1(A),j2(A),j3(A) generate an unramified abelian extension of the reflex field of K. In this paper we give an explicit geometric description of the Galois action of the class group of this reflex field on j1(A),j2(A),j3(A). Our description can be expressed by maps between various Siegel modular varieties, and we can explicitly compute the action for ideals of small norm. We use the Galois action to modify the CRT method for computing Igusa class polynomials, and our run time analysis shows that this yields a significant improvement. 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.

abelian surface, isogeny, level structure
Mathematical Subject Classification 2000
Primary: 11G15
Supplementary material

Magma code

Received: 23 October 2009
Revised: 18 April 2011
Accepted: 12 July 2011
Published: 21 December 2011
Reinier Bröker
Department of Mathematics
Brown University
Box 1917
151 Thayer Street
Providence, RI 02912
United States
David Gruenewald
Laboratoire de Mathématiques Nicolas Oresme
CNRS UMR 5139, UFR Sciences
Campus 2, Boulevard Maréchal Juin
Université de Caen Basse-Normandie
14032 Caen cedex
Kristin Lauter
Microsoft Research
One Microsoft Way
Redmond, WA 98052
United States