1: \begin{abstract}

2: 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.

3: Assume $\mathrm{Img}(\rho_\ell)$ is Zariski-dense in $G_{\mathbf{Q}_\ell}$ for all $\ell$ in a nonempty finite set $\cR$.

4: We prove that, under certain hypotheses on $\cR$ (depending only on $G$), $\Img(\rho_\ell)$ is Zariski-dense in $G_{\Q_\ell}$ for all $\ell$ in a set of Dirichlet density $1$.

5: 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.

6: \end{abstract}

7: