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}.

Arithmetic Restrictions on Geometric Monodromy

Arithmetic representations of fundamental groups II: finiteness

Arithmetic geometry of character varieties with regular monodromy, I

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

More Arithmetic Fundamental Lemma conjectures: the case of Bessel subgroups

Mod-$p$ Galois representations not arising from abelian varieties

Universality of the Galois action on the fundamental group of $\mathbb{P}^1\setminus\{0,1,\infty\}$

Geometric G-functions and Atypicality

Arithmetic representations of fundamental groups I

Arithmetic Orr invariants of absolute Galois groups

Finite quotients, arithmetic invariants, and hyperbolic volume

Arithmetic properties of the first secant variety to a projective variety

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Arithmetic Representations of Mapping Class Groups

Representations of GLn(D) near the identity

Representations of braid groups via cyclic covers of the sphere: Zariski closure and arithmeticity

Rationality and arithmetic of the moduli of abelian varieties

Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations

Arithmetic in Group Extensions

On p-torsions of geometric Brauer groups

Comparison of arithmetic Brauer groups with geometric Brauer groups