Monodromy and irreducibility of leaves

Let be a prime number, let and be positive integers, and let be the moduli space over an algebraic closure of the prime field which classifies -dimensional abelian varieties with a polarization of degree . We study stratifications and foliations of these spaces. It is known that Newton polyton strata connected with supersingular abelian varieties are reducible (for large ). In this paper we show: (a) every non-supersingular Newton polygon stratum in is irreducible, (b) every non-supersingular leaf in is (geometrically) irreducible and (c) the -adic monodromy for every non-supersingular leaf in maximal. Here indicates any prime-to- level structure. The proofs are a mixture of geometry, number theory, and the theory of linear groups. We use: if a reduced subscheme of is stable under all prime-to- Hecke correspondences and these correspondences operative transitively on the set of geometrically irreducible compoments of , then is geometrically irreducible. A result of deformation to and the way Newton polygon strata fit together proves (a). Then we leverage (a) with the notion of hypersymmetric points and strong approximation to get (b). We finish by proving (c). Note that in (a) we work with polarizations (and generalizations to non-principal polarizations fail). However over leaves, as in (b) and (c), the degree of the polarization is arbitrary