1: \begin{abstract}

2: For a complex abelian surface $A$ with endomorphism ring isomorphic to the

3: maximal order in a quartic CM-field $K$, the Igusa invariants $j_1(A),

4: j_2(A),j_3(A)$ generate an unramified abelian extension of the reflex field of~$K$.  In

5: this paper we give an explicit geometric description of the Galois action of 

6: the class group of this reflex field on $j_1(A),j_2(A),j_3(A)$. Our

7: description can be expressed by maps between various Siegel modular

8: varieties, and we can explicitly compute the action for ideals of small norm. 

9: We use the Galois action to modify the CRT method for computing Igusa class 

10: polynomials, and our run time analysis shows that this yields a significant

11: improvement.

12: Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby

13: implying that the `isogeny volcano' algorithm to compute endomorphism rings of

14: ordinary elliptic curves over finite fields does not have a straightforward

15: generalization to computing endomorphism rings of abelian surfaces over finite

16: fields.

17: \end{abstract}