On the semisimplicity of reductions and adelic openness for $E$-rational compatible systems over global function fields

Abstract

Let $X$ be a normal geometrically connected variety over a finite field $κ$ of characteristic~$p$. Let $E$ be a number field. Using automorphic methods over global function fields, we derive properties of the geometric monodromy groups of arbitrary connected $E$-rational semisimple compatible systems $(ρ_λ)$ of $n$-dimensional representations of the arithmetic fundamental group $π_1(X)$, where $λ$ ranges over the finite places of $E$ not above $p$: Let $Λ_λ$ be any $π_1(X)$-stable lattice in $E_λ^n$ under $ρ_λ$. Then for almost all $λ$, the schematic closure of the geometric monodromy $ρ_λ(π_1(X_{\overlineκ}))$ in $\mathrm{Aut}_{\mathcal{O}_λ}(Λ_λ)$ is a semisimple $\mathcal{O}_λ$-group scheme, and its special fiber agrees with the Nori envelope of the geometric monodromy of the mod-$λ$ reduction of $ρ_λ$. A comparable result under different hypotheses was recently proved by Cadoret, Hui and Tamagawa by other methods. We also provide natural criteria for the image of $π_1(X_{\overlineκ})$ under $\prod_λρ_λ$ to have adelic open image in an appropriate sense.