This moduli space is Mh = Γ \Dh where Dh = GR/V is a homogeneous complex manifold on which Γ acts properly discountinuously. In the classical case n = 1 (polarized abelian varieties) or n = 2, h = 1, D is a bounded symmetric domain and Γ \D is a quasi-projective variety defined over a number field. In the non-classical case the situation is quite different. Given a smooth projective family X π ...