Abstract:Let X be a normal algebraic variety over a finitely generated field k of characteristic zero, and let ℓ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell $$\end{document} be a prime. Say that a continuous ℓ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell $$\end{document}-adic representation ρ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\rho $$\end{document} of π1e´t(Xk¯)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\pi _1^{\acute{\mathrm{e}}\text {t}}(X_{\bar{k}})$$\end{document} is arithmetic if there exists a finite extension k′\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$k'$$\end{document} of k, and a representation ρ~\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tilde{\rho }$$\end{document} of π1e´t(Xk′)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\pi _1^{\acute{\mathrm{e}}\text {t}}(X_{k'})$$\end{document}, with ρ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\rho $$\end{document} a subquotient of ρ~|π1(Xk¯)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tilde{\rho }|_{\pi _1(X_{\bar{k}})}$$\end{document}. We show that there exists an integer N=N(X,ℓ)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$N=N(X, \ell )$$\end{document} such that every nontrivial, semisimple arithmetic representation of π1e´t(Xk¯)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\pi _1^{\acute{\mathrm{e}}\text {t}}(X_{\bar{k}})$$\end{document} is nontrivial mod ℓN\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell ^N$$\end{document}. As a corollary, we prove that any nontrivial ℓ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell $$\end{document}-adic representation of π1e´t(Xk¯)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\pi _1^{\acute{\mathrm{e}}\text {t}}(X_{\bar{k}})$$\end{document} which arises from geometry is nontrivial mod ℓN\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell ^N$$\end{document}.

Level structure, arithmetic representations, and noncommutative Siegel linearization

Arithmetic representations of fundamental groups II: finiteness

Arithmetic representations of fundamental groups I

A note on images of Galois representations (with an application to a result of Litt)

The algebraisation of higher level Deligne--Lusztig representations II: odd levels

Arithmetic Restrictions on Geometric Monodromy

Uniqueness of Rankin–Selberg Periods

$\mathbb{Z}_p$-lattices in semistable Galois representations

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

Lattices in rigid analytic representations

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Curves are algebraic K(π,1) : Theoretical and practical aspects

Certain squarefree levels of reducible modular mod$\,\ell$ Galois representations

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Spectral gap and character limits in arithmetic groups

A $p$-adic arithmetic inner product formula

Modulo $\ell$ distinction problems

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Arithmetic Siegel-Weil formula on $\mathcal{X}_0(N)$: singular terms

An adelic arithmeticity theorem for lattices in products

Curves are algebraic $K(π,1)$: theoretical and practical aspects