Cyclic isogenies for abelian varieties with real multiplication

We study quotients of principally polarized abelian varieties with real multiplication by finite Galois-stable subgroups and describe when these quotients are principally polarizable. We use this characterization to provide an algorithm to compute explicit cyclic isogenies from their kernels for ordinary and simple abelian varieties over finite fields. Our algorithm is polynomial in the logarithm of the order of the finite field as well as in the degree of the isogeny and is based on Mumford's theory of theta functions. Recently, the algorithm has been successfully applied to obtain new results on the discrete logarithm problem in genus 2 as well as to study the discrete logarithm problem in genus 3.