Principal bundles over finite fields
Abstract
Let M be an irreducible smooth projective variety defined over Fp. Let π(M, x0) be the fundamental group scheme of M with respect to a base point x0. Let G be a connected semisimple linear algebraic group over Fp. Fix a parabolic subgroup P ⊂neq G, and also fix a strictly anti-dominant character of P. Let EG M be a principal G-bundle such that the associated line bundle EG() EG/P is numerically effective. We prove that EG is given by a homomorphism π(M, x0) G. As a consequence, there is no principal G-bundle EG M such that degree(φ*EG()) > 0 for every pair (Y ,φ), where Y is an irreducible smooth projective curve, and φ: Y EG/P is a nonconstant morphism.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.