Generalised André-Pink-Zannier conjecture for Shimura varieties of Abelian type

Abstract In this paper we prove the generalised André-Pink-Zannier conjecture (an important case of the Zilber-Pink conjecture) for all Shimura varieties of abelian type. Questions of this type were first asked by Y. André in 1989. We actually prove a general statement for all Shimura varieties, subject to certain assumptions that are satisfied for Shimura varieties of abelian type and are expected to hold in general. We also prove another result, a p p -adic Kempf-Ness theorem, on the relation between good reduction of homogeneous spaces over p p -adic integers with Mumford stability property in p p -adic geometric invariant theory.