  The main result of this paper concerns the positivity of the Hodge bundles of
abelian varieties over global function fields. As applications, we obtain some
partial results on the Tate--Shafarevich group and the Tate conjecture of
surfaces over finite fields.
