G-local systems on smooth projective curves are potentially automorphic

DOI10.4310/ACTA.2019.V223.N1.A1MaRDI QIDQ2333203zbMATH OpenWikidataFDO

Authors Gebhard Böckle, Michael Harris, Jack A. Thorne, Chandrashekhar Khare

Publication date 12 November 2019

Published in Acta Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

\(\ell\)-adic \(\widehat{G}\)-local systemsGalois coverunramified automorphic representations

Mathematics Subject Classification ID

Representation-theoretic methods; automorphic representations over local and global fields (11F70) Galois representations (11F80) Representations of Lie and linear algebraic groups over global fields and adèle rings (22E55)

Abstract: Let $X$ be a smooth, projective, geometrically connected curve over a finite field $mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $mathbb{F}_q$. Its dual group $hatG$ is a split reductive group over $mathbbZ$. Conjecturally, any $l$-adic $hatG$-local system on $X$ (equivalently, any conjugacy class of continuous homomorphisms $$) should be associated to an everywhere unramified automorphic representation of the group $G$. We show that for any homomorphism $$ of Zariski dense image, there exists a finite Galois cover $YoX$ over which the associated local system becomes automorphic.

Review text

Let \(X\) be a smooth, projective, geometrically connected curve over a finite field \(\mathbb{F}_q\). Let \(G\) be a split semisimple algebraic group over \(\mathbb{F}_q\). Its dual group \(\widehat{G}\) is a split reductive group over \(\mathbb{Z}\). Conjecturally, any \(\ell\)-adic \(\widehat{G}\)-local system on \(X\) (thus, any conjugacy class of continuous homomorphisms \(\pi_1(X) \to \widehat{G}(\overline{\mathbb{Q}}_{\ell}))\) should be associated with an everywhere unramified automorphic representation of the group \(G\). It is shown here that for any homomorphism \(\pi_1(X) \to \widehat{G}(\overline{\mathbb{Q}}_{\ell})\) of Zariski dense image, there exists a finite Galois cover \(Y \to X\) over which the associated local system becomes automorphic. More precisely, \textit{V. Lafforgue} [J. Am. Math. Soc. 31, No. 3, 719--891 (2018; Zbl 1395.14017)] associated with each everywhere unramified, cuspidal automorphic representation \(\Pi\) of \(G(\mathbb{A}_K)\), where \(K=\mathbb{F}_q(X)\), a homomorphism \(\sigma_\Pi:\pi_1(X)\to\widehat{G}(\overline{\mathbb{Q}}_{\ell})\). This paper establishes a `potential' converse to this result: Let \(\sigma_\Pi:\pi_1(X)\to\widehat{G}(\overline{\mathbb{Q}}_{\ell})\) be a continuous homomorphism which has Zariski dense image. Then there is a finite Galois extension \(K'/K\) and a cuspidal automorphic representation \(\Pi=\otimes'_v \Pi_v\) of \(G(\mathbb{A}_{K'})\) satisfying: for every place \(v\) of \(K\) one has \(\Pi_v^{G(\mathcal{O}_{K'_v})}\not=0\), and \(\Pi_v\) and \(\sigma|W_{K'_v}\) correspond under the unramified local Langlands correspondence. The authors explain the importance of the condition ``has Zariski dense image, and use deformation of pseudocharacters.

Recommendations

• POTENTIAL AUTOMORPHY OF Ĝ-LOCAL SYSTEMS
• Two-Dimensional l-Adic Representations of the Fundamental Group of a Curve Over a Finite Field and Automorphic Forms on GL(2)
• Mod \(\ell\) representations of arithmetic fundamental groups. I: An analog of Serre's conjecture for function fields
• Epipelagic representations and rigid local systems
• Algebraic monodromy groups of \(l\)-adic representations of \(\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\)

Cited in

(31)

• Arithmetic representations of fundamental groups. II: Finiteness
• Relative deformation theory, relative Selmer groups, and lifting irreducible Galois representations
• Symmetric power functoriality for holomorphic modular forms. II.
• Acceptable compact Lie groups
• A note on Galois representations valued in reductive groups with open image
• Lifting and automorphy of reducible mod \(p\) Galois representations over global fields
• Lafforgue pseudocharacters and parities of limits of Galois representations
• Automorphic forms, geometry and arithmetic. Abstracts from the workshop held August 22--28, 2021 (hybrid meeting)
• Shutkas for reductive groups and global Langlands parametrization
• 𝐺-cohomologically rigid local systems are integral
• POTENTIAL AUTOMORPHY OF Ĝ-LOCAL SYSTEMS
• On the semisimplicity of reductions and adelic openness for \(E\)-rational compatible systems over global function fields
• On automorphic descent from \(GL_7\) to \(G_2\)
• On the images of Galois representations attached to low weight Siegel modular forms
• Smith theory and cyclic base change functoriality
• A local Langlands parameterization for generic supercuspidal representations of $p$-adic $G_2$
• Adjoint Selmer groups of automorphic Galois representations of unitary type
• Remarks on the inverse Galois problem over function fields
• Endoscopy on \(\mathrm{SL}_2\)-eigenvarieties
• Local parameters of supercuspidal representations
• Cyclic base change of cuspidal automorphic representations over function fields
• Whittaker coefficients of geometric Eisenstein series
• Lifting G-valued Galois representations when p
• Compatibility of canonical -adic local systems on adjoint Shimura varieties
• Non-vanishing of geometric Whittaker coefficients for reductive groups
• On the rationality of algebraic monodromy groups of compatible systems
• Moduli of Langlands parameters
• On local Galois deformation rings: generalised reductive groups
• The Taylor-Wiles method for reductive groups
• Symplectic determinant laws and invariant theory
• Epipelagic representations and rigid local systems

This page was built for publication: \(\hat{G}\)-local systems on smooth projective curves are potentially automorphic

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