Algorithms for quadratic forms over global function fields of odd characteristic

This paper presents an adaptation of recently developed algorithms for quadratic forms over number fields in [4] to global function fields of odd characteristics. First, we present algorithm for checking if a given non-degenerate quadratic form is isotropic or hyperbolic. Next we devise a method for computing the dimension of the anisotropic part of a quadratic form. Finally we present algorithms computing two field invariants: the level and the Pythagoras number.

Positivity of Hodge bundles of abelian varieties over some function fields

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.

Independence of algebraic monodromy groups in compatible systems

In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in positive characteristic settings. In the abstract case, we prove an independence result for compatible systems of Lie-irreducible representations, from which we deduce an independence result for compatible systems admitting what we call a Lie-irreducible decomposition. In the case of geometric compatible systems of Galois representations arising from certain classes of automorphic forms, we prove the existence of a Lie-irreducible decomposition. From this we deduce an independence result. We conclude with the case of compatible systems of Galois representations over global function fields, for which we prove the existence of a Lie-irreducible decomposition, and we deduce an independence result. From this we also deduce an independence result for compatible systems of lisse sheaves on normal varieties over finite fields.