Principal bundles over finite fields

TL;DR

This paper studies principal G-bundles over varieties defined over finite fields, proving they correspond to fundamental group scheme homomorphisms and establishing constraints on their associated line bundle degrees.

Contribution

It demonstrates that certain principal G-bundles over finite fields are classified by homomorphisms from the fundamental group scheme, extending understanding of bundle structures in positive characteristic.

Findings

Principal G-bundles correspond to fundamental group scheme homomorphisms.

No principal G-bundle has positive degree pullbacks along all curves.

Associated line bundles are numerically effective under specified conditions.

Abstract

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over \bar{{\mathbb F}_p}. Fix a parabolic subgroup P \subsetneq G, and also fix a strictly anti-dominant character \chi of P. Let E_G \to M be a principal G-bundle such that the associated line bundle E_G(\chi) \to E_G/P is numerically effective. We prove that E_G is given by a homomorphism \pi(M, x_0)\to G. As a consequence, there is no principal G-bundle E_G \to M such that degree(\phi^*E_G(\chi)) > 0 for every pair (Y ,\phi), where Y is an irreducible smooth projective curve, and \phi: Y\to E_G/P is a nonconstant morphism.