Consider a family f:A --> U of g-dimensional abelian varieties over a quasiprojective manifold U. Suppose that the induced map from U to the moduli scheme of polarized abelian varieties is generically finite and that there is a projective manifold Y,
containing U as the complement of a normal crossing divisor S, such that the sheaf of logarithmic one forms is nef and that its determinant is ample with respect to U. We characterize whether $U$ is a Shimura variety by numerical data attached to the variation of Hodge structures, rather than by properties of the map from U to the moduli scheme or by the existence of CM points. More precisely, we show that U is a Shimura variety, if and only if two conditions hold. First, each irreducible local subsystem V of the complex weight one variation of Hodge structures is either unitary or satisfies the Arakelov equality. Secondly, for each factor M in the universal cover of U whose tangent bundle behaves like the one of a complex ball, an iterated Kodaira-Spencer map associated with V has minimal possible length in the direction of M.
We consider Kobayashi geodesics in the moduli space of abelian varieties A_g that is, algebraic curves that are totally geodesic submanifolds for the Kobayashi metric. We show that Kobayashi geodesics can be characterized as those curves whose logari
thmic tangent bundle splits as a subbundle of the logarithmic tangent bundle of A_g. Both Shimura curves and Teichmueller curves are examples of Kobayashi geodesics, but there are other examples. We show moreover that non-compact Kobayashi geodesics always map to the locus of real multiplication and that the Q-irreducibility of the induced variation of Hodge structures implies that they are defined over a number field.
We discuss several numerical conditions for families of projective varieties or variations of Hodge structures.
We show that the M-canonical map of an n-dimensional complex projective manifold X of Kodaira dimension two is birational to an Iitaka fibration for a computable positive integer M. M depends on the index b of a general fibre F of the Iitaka fibratio
n and on the Betti number of the canonical covering of F, In particular, M is a universal constant if the dimension n is smaller than or equal to 4.
