Oort's conjecture for A_g

Abstract

We prove the conjecture of Oort that a compact subvariety of the moduli space of principally polarized Abelian varieties of genus g has codimension strictly greater than g, for g > 2, in characteristic zero

17 pages, AmSTeX Final Version, to appear in JAMS