Geometric monodromy -- semisimplicity and maximality

DOI10.4007/ANNALS.2017.186.1.5zbMATH Open1369.14029arXiv1702.07017OpenAlexW2592912260MaRDI QIDQ2364596FDOQ2364596

Authors: Anna Cadoret, Chun Yin Hui, Akio Tamagawa 

Publication date: 21 July 2017

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $pgeq0$, let $f:YightarrowX$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants of bounded length $leqd$ of $p{i}_1(X,x)$ acting on the 'etale cohomology groups $H^{\ast }(Y_x,F_{e}ll)$ are the reduction modulo-$ell$ of those of $p{i}_1(X,x)$ acting on $H^{\ast }(Y_x,Z_{e}ll)$ for $ell$ greater than a constant depending only on $f:YightarrowX$, $d$. We apply this result to show that the geometric variant with $F_{e}ll$-coefficients of the Grothendieck-Serre semisimplicity conjecture -- namely that $p{i}_1(X,x)$ acts semisimply on $H^{\ast }(Y_x,F_{e}ll)$ for $ellgg0$ -- is equivalent to the condition that the image of $p{i}_1(X,x)$ acting on $H^{\ast }(Y_x,Q_{e}ll)$ is `almost maximal' (in a precise sense; what we call `almost hyperspecial') with respect to the group of $Q_{e}ll$-points of its Zariski closure. Ultimately, we prove the geometric variant with $F_{e}ll$-coefficients of the Grothendieck-Serre semisimplicity conjecture.

Full work available at URL: https://arxiv.org/abs/1702.07017

Recommendations

• On the semi-simplicity of Galois actions
• On the geometric image of \(\mathbb{F}_\ell\)-linear representations of étale fundamental groups
• On the semisimplicity of pure sheaves
• On the semisimplicity of reductions and adelic openness for \(E\)-rational compatible systems over global function fields
• On the semisimplicity conjecture and Galois representations

zbMATH Keywords

algebraic groupssemisimplicitypositive characteristicTate conjecturetensor invariantsbig monodromyétale cohomologyétale fundamental group

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Maximal subgroups (20E28) Linear algebraic groups over local fields and their integers (20G25)

Cites Work

• Abelian varieties over fields of finite characteristic
• Théorie de Hodge. II. (Hodge theory. II)
• Endomorphisms of linear algebraic groups
• Title not available (Why is that?)
• Smoothness, semi-stability and alterations
• Title not available (Why is that?)
• La conjecture de Weil. II
• Algebraic and abstract simple groups
• Schémas en groupes. III: Structure des schémas en groupes réductifs. Exposés XIX à XXVI. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3), dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
• Algebraic Groups Over Finite Fields
• Title not available (Why is that?)
• On subgroups of \(GL_ n(F_ p)\)
• Title not available (Why is that?)
• Théoremes de Bertini et applications
• Big symplectic or orthogonal monodromy modulo \(\ell\)
• Title not available (Why is that?)
• On the semisimplicity of tensor products of representations of groups
• On \(\ell\)-independence of algebraic monodromy groups in compatible systems of representations
• Abelian varieties, \(\ell\)-adic representations, and \(\ell\)-independence
• Title not available (Why is that?)
• A uniform open image theorem for \(\ell\)-adic representations. I
• Maximality of Galois actions for compatible systems
• An Open Adelic Image Theorem for Abelian Schemes
• A uniform open image theorem for \(\ell\)-adic representations. II
• Graded multiplicities in the exterior algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integral motives and special values of zeta functions
• Title not available (Why is that?)
• Exponential generation and largeness for compact \(p\)-adic Lie groups
• On the semisimplicity of low-dimensional representations of semisimple groups in characteristic \(p\)
• Title not available (Why is that?)
• Weyl's character formula for algebraic groups
• Title not available (Why is that?)
• Symmetry and parity in Frobenius action on cohomology
• On a weak variant of the geometric torsion conjecture
• Gonality of abstract modular curves in positive characteristic
• A finiteness theorem for the Brauer group of \(K3\) surfaces in odd characteristic
• Constructibilité et modération uniformes en cohomologie étale

Cited In (13)

• Ultraproduct coefficients in étale cohomology -- a survey
• On a torsion analogue of the weight-monodromy conjecture
• On the semisimplicity of reductions and adelic openness for 𝐸-rational compatible systems over global function fields
• \(\mathbb{Q}_\ell\)- versus \(\mathbb{F}_\ell\)-coefficients in the Grothendieck-Serre/Tate conjectures
• On the geometric image of \(\mathbb{F}_\ell\)-linear representations of étale fundamental groups
• Maximality of Galois actions for abelian and hyper-Kähler varieties
• A note on Galois representations with big image
• Title not available (Why is that?)
• A variational open image theorem in positive characteristic
• On the semi-simplicity of Galois actions
• Genus of abstract modular curves with level-\(\ell\) structures
• Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations
• On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field

This page was built for publication: Geometric monodromy -- semisimplicity and maximality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364596)