Computing modular correspondences for abelian varieties
The aim of this paper is to give a higher dimensional equivalent of the classical modular polynomials Φℓ(X,Y). If j is the j-invariant associated to an elliptic curve Ek over a field k then the roots of Φℓ(j,X) correspond to the j-invariants of the curves which are ℓ-isogeneous to Ek. Denote by X0(N) the modular curve which parametrizes the set of elliptic curves together with a N-torsion subgroup. It is possible to interpret Φℓ(X,Y) as an equation cutting out the image of a certain modular correspondence X0(ℓ)→X0(1)×X0(1) in the product X0(1)×X0(1). Let g be a positive integer and $\overn \in \N^g$. We are interested in the moduli space that we denote by $\Mn$ of abelian varieties of dimension g over a field k together with an ample symmetric line bundle $\pol$ and a symmetric theta structure of type $\overn$. If ℓ is a prime and let $\overl=(\ell, ..., \ell)$, there exists a modular correspondence $\Mln \to \Mn \times \Mn$. We give a system of algebraic equations defining the image of this modular correspondence.