$\hat{G}$-local systems on smooth projective curves are potentially automorphic

TL;DR

This paper proves that Zariski dense $$-adic $$-local systems on smooth projective curves over finite fields become automorphic after a finite Galois cover, supporting the potential automorphy conjecture.

Contribution

It demonstrates that any Zariski dense $$-adic $$-local system on such curves is potentially automorphic after a finite Galois cover.

Findings

Zariski dense local systems become automorphic after a Galois cover.

Supports the potential automorphy conjecture for $$-local systems.

Provides a method to relate local systems to automorphic representations.

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 $\hat{G}$ is a split reductive group over $\mathbb{Z}$. Conjecturally, any $l$-adic $\hat{G}$-local system on $X$ (equivalently, any conjugacy class of continuous homomorphisms $\pi_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$) should be associated to an everywhere unramified automorphic representation of the group $G$. We show that for any homomorphism $\pi_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$ of Zariski dense image, there exists a finite Galois cover $Y \to X$ over which the associated local system becomes automorphic.