Density and completeness of subvarieties of moduli spaces of curves or abelian varieties (Q1384626)

Let \(V\) be a subvariety of codimension \(\leq g\) of the moduli space \({\mathcal A}_g\) of principally polarized abelian varieties of dimension \(g\) or of the moduli space \(\widetilde {\mathcal M}_g\) of curves of compact type of genus \(g\) over \(\mathbb C\). We prove that the set \(E_1(V)\) of elements of \(V\) which map onto an elliptic curve is analytically dense in \(V\). From this we deduce that if \(V\subset {\mathcal A}_g\) is complete, then \(V\) has codimension equal to \(g\) and the set of elements of \(V\) isogenous to a product of \(g\) elliptic curves is countable and analytically dense in \(V\). We also prove a technical property of the conormal sheaf of \(V\) if \(V\subset \widetilde {\mathcal M}_g\) (or \({\mathcal A}_g)\) is complete of codimension \(g\).