Transport of Zariski density in compatible collections of $G$-representations

TL;DR

This paper proves that under certain conditions, a compatible collection of Galois representations with Zariski-dense images at some primes also has Zariski-dense images at almost all primes, with applications to Shimura varieties.

Contribution

It establishes that Zariski-density of images in Galois representations propagates to almost all primes under specific hypotheses, extending previous results.

Findings

Zariski-density propagates to a set of primes with Dirichlet density 1.

Application to canonical local systems on Shimura varieties.

Integration of Hilbert's irreducibility and recent work to derive new results.

Abstract

Let $X$ be a connected normal scheme of finite type over $\mathbf{Z}$, let $G$ be a connected reductive group over $\mathbf{Q}$, and let $\{\rho_\ell\colon\pi_1(X[1/\ell])\to G(\mathbf{Q}_\ell)\}_\ell$ be a Frobenius-compatible collection of continuous homomorphisms indexed by the primes. Assume $\mathrm{Img}(\rho_\ell)$ is Zariski-dense in $G_{\mathbf{Q}_\ell}$ for all $\ell$ in a nonempty finite set $\mathcal{R}$. We prove that, under certain hypotheses on $\mathcal{R}$ (depending only on $G$), $\mathrm{Img}(\rho_\ell)$ is Zariski-dense in $G_{\mathbf{Q}_\ell}$ for all $\ell$ in a set of Dirichlet density $1$. As an application, we combine this result with a version of Hilbert's irreducibility theorem and recent work of Klevdal--Patrikis to obtain new information about the "canonical" local systems attached to Shimura varieties not of Abelian type.