Maximality of Galois actions for abelian and hyperkahler varieties (1707.07366v2)

Abstract: Let ${\rho_\ell}\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Let $\Gamma\ell$ and $\mathbf{G}\ell$ be respectively the image and the algebraic monodromy group of $\rho\ell$. We prove that the reductive quotient of $\mathbf{G}\ell^\circ$ is unramified over every degree 12 totally ramified extension of $\mathbb{Q}\ell$ for all sufficiently large $\ell$. We give a necessary and sufficient condition $(\ast)$ on ${\rho_\ell}\ell$ such that for all sufficiently large $\ell$, the subgroup $\Gamma\ell$ is in some sense maximal compact in $\mathbf{G}\ell(\mathbb{Q}\ell)$. This is used to deduce Galois maximality results for $\ell$-adic representations arising from abelian varieties (for all $i$) and hyperk\"ahler varieties ($i=2$) defined over finitely generated fields over $\mathbb{Q}$.