Add Journal to My Library
International Mathematics Research Notices
, Volume 2018 (2) – Jan 1, 2018

17 pages

/lp/ou_press/residual-irreducibility-of-compatible-systems-tJ0Qayb0gz

- Publisher
- Oxford University Press
- Copyright
- © The Author(s) 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.
- ISSN
- 1073-7928
- eISSN
- 1687-0247
- D.O.I.
- 10.1093/imrn/rnw241
- Publisher site
- See Article on Publisher Site

Abstract We show that if $$\{\rho_{\ell}\}$$ is a compatible system of absolutely irreducible Galois representations of a number field then the residual representation $$\overline{\rho}_{\ell}$$ is absolutely irreducible for $$\ell$$ in a density 1 set of primes. The key technical result is the following theorem: the image of $$\rho_{\ell}$$ is an open subgroup of a hyperspecial maximal compact subgroup of its Zariski closure with bounded index (as $$\ell$$ varies). This result combines a theorem of Larsen on the semi-simple part of the image with an analogous result for the central torus that was recently proved by Barnet-Lamb, Gee, Geraghty, and Taylor, and for which we give a new proof. 1 Introduction The purpose of this paper is to prove the following theorem: Theorem 1.1 (Informal version). In a compatible system of absolutely irreducible Galois representations, a density 1 set of residual representations are absolutely irreducible. □ In the rest of the Introduction, we state this theorem precisely, indicate the main idea of the proof, and discuss the connection to some previous work. 1.1 The main theorem Let $$F$$ and $$E$$ be number fields. Let $$\Gamma_F$$ be the absolute Galois group of $$F$$, let $$\Sigma$$ be a set of places of $$E$$, and let $$\{\rho_v\}_{v \in \Sigma}$$ be a collection where $$\rho_v \colon \Gamma_F \to \mathbf{GL}_n(E_v)$$ is a continuous representation (for some $$n$$ independent of $$v$$). We say that the family $$\{\rho_v\}$$ is a compatible system if there exists a finite set $$S$$ of places of $$F$$ and a finite multi-set $$I$$ of integers such that the following conditions hold: Let $$w \not\in S$$ be a place of $$F$$ with residue characteristic different from that of $$v \in \Sigma$$. Then $$\rho_v$$ is unramified at $$w$$, and the characteristic polynomial of $$\rho_v(\mathrm{Frob}_w)$$ has coefficients in $$E$$ and is independent of $$v$$. Let $$w \not\in S$$ be a place of $$F$$ with residue characteristic equal to that of $$v \in \Sigma$$. Then $$\rho_v$$ is crystalline at $$w$$ with Hodge–Tate weights in the multi-set $$I$$. We remark that often in the definition of a compatible system, a stronger condition is required on “labeled” Hodge–Tate weights, a refinement of the multi-set $$I$$ into multi-sets indexed by embeddings $$F \to \overline{E}$$ (see [1, Section 5.1]); for us, however, the coarser condition just given suffices. For a set of rational prime numbers $$\Pi$$, let $$\Sigma(\Pi)$$ be the set of places of $$E$$ above a prime in $$\Sigma$$. We will typically work with compatible systems indexed by sets of this form. For a representation $$\rho$$ over a $$p$$-adic field, we write $$\overline{\rho}$$ for the residual representation (with respect to some lattice). Whenever we refer to the density of a set of places of a number field, we mean the Dirichlet density. We can now state the precise version of our theorem: Theorem 1.2. Let $$\{\rho_v\}_{v \in \Sigma}$$ be a compatible system of representations of $$\Gamma_F$$ with coefficients in $$E$$, where $$\Sigma=\Sigma(\Pi)$$ for some set $$\Pi$$ of rational primes of density 1. Suppose that each $$\rho_v$$ is semi-simple, and let $$\rho_v \otimes \overline{E}_v = \bigoplus_{i=1}^r \rho_{v,i}^{\oplus m_{v,i}}$$ be its decomposition into irreducible representations over $$\overline{E}_v$$. (We assume $$\rho_{v,i}$$ and $$\rho_{v,j}$$ are non-isomorphic for $$i \ne j$$.) Then there exists a density 1 subset $$\Pi' \subset \Pi$$ such that for $$v \in \Sigma'=\Sigma(\Pi')$$ the representations $$\overline{\rho}_{v,i}$$ are irreducible and pairwise non-isomorphic (meaning $$\overline{\rho}_{v,i}$$ and $$\overline{\rho}_{v,j}$$ are non-isomorphic for $$v \in \Sigma'$$ and $$i \ne j$$). □ Corollary 1.3. Suppose each $$\rho_v$$ is absolutely irreducible. Then $$\overline{\rho}_v$$ is absolutely irreducible for all $$v \in \Sigma'$$. □ In the special case of Hodge–Tate regular compatible systems (see [1, Section 5.1]), this corollary is due to Barnet-Lamb, Gee, Geraghty, and Taylor (see [1, Proposition 5.3.2]), who have used it to powerful effect in establishing potential automorphy theorems for certain compatible systems of Galois representations over CM fields. As in their application, but now in greater generality, we obtain the following corollary: Corollary 1.4. Suppose each $$\rho_v$$ is absolutely irreducible. Let $$v$$ be a place in $$\Sigma'$$ whose residue characteristic is at least $$2(n+1)$$. Then $$\mathrm{H}^1(\overline{\rho}_v(\Gamma_F), \mathrm{Ad}^0(\overline{\rho}_v))=0$$. □ Proof Combine Corollary 1.3 with [3, Appendix, Theorem 9]. ■ In the special case of abelian varieties—an example far removed from the case of regular compatible systems—our theorem yields by Faltings’ theorem: Corollary 1.5. Let $$A$$ be an abelian variety over $$F$$ with $$\mathrm{End}(A)=\mathbf{Z}$$. Then the representation of $$\Gamma_F$$ on $$A[\ell]$$ is absolutely irreducible for $$\ell$$ in a set of primes of density 1. □ This corollary is a weaker version of a result of Zarhin [8, Corollary 5.4.5] that identifies $$\mathrm{End}(A[\ell])$$ as $$\mathrm{End}(A) \otimes_{\mathbf{Z}} \mathbf{Z}/\ell\mathbf{Z}$$ for all but finitely many primes $$\ell$$. The corollary can be generalized in an obvious way to allow $$\mathrm{End}(A)$$ to be an order in an arbitrary number field. 1.2 Algebraic monodromy groups Let $$G$$ be an algebraic group. We write $$G^{\circ}$$ for the identity component of $$G$$, which we assume to be reductive. We write $$G^{\mathrm{der}}$$ for the derived subgroup of $$G^{\circ}$$, and $$G^{\mathrm{sc}}$$ for the universal cover of $$G^{\mathrm{der}}$$, both of which are semi-simple. We let $$G^{\mathrm{tor}}$$ be the quotient $$G^{\circ}/G^{\mathrm{der}}$$, which is a torus. In a compatible system $$\{\rho_v\}$$, we write $$G_v$$ for the Zariski closure of the image of $$\rho_v$$. If $$\rho_v$$ is semi-simple then $$G_v^{\circ}$$ is reductive. To prove Theorem 1.2, it is enough to show that the image of $$\rho_v$$ in $$G_v$$ is sufficiently large. We think of $$G_v$$ as composed of three pieces: the component group $$\pi_0(G_v)$$, the semi-simple part $$G_v^{\mathrm{der}}$$, and toral part $$G^{\mathrm{tor}}_v$$. The image of $$\rho_v$$ surjects on to $$\pi_0(G_v)$$, and Serre showed that this group is independent of $$v$$. Larsen proved that the image of $$\rho_v$$ hits a big piece of $$G_v^{\mathrm{der}}$$. Our starting point is the observation that $$\rho_v$$ hits enough of the torus; this has been previously established in [1, Proposition 5.2.2], but we hope that our argument is somewhat easier to follow. We have also included our argument because it contains a finiteness observation (see the summary after Theorem 1.7) that may be of independent interest. Here is the technical result, proven in Section 2: Theorem 1.6 (Compare [1], Proposition 5.2.2). Let $$\{\rho_{\ell}\}_{\ell \in \Sigma}$$ be a compatible system of semi-simple representations of $$\Gamma_F$$ with coefficients in $$\mathbf{Q}$$. Then there exists a positive integer $$N$$ with the following property: the projection of $$\mathrm{im}(\rho_{\ell}) \cap G_{\ell}^{\circ}$$ to $$G^{\mathrm{tor}}_{\ell}$$ has index at most $$N$$ in the maximal compact subgroup of $$G^{\mathrm{tor}}_{\ell}(\mathbf{Q}_{\ell})$$, for all $$\ell \in \Sigma$$. □ Combined with a theorem of Larsen, we obtain (see the discussion after the proof of Proposition 3.4): Theorem 1.7. Let $$\{\rho_{\ell}\}_{\ell \in \Sigma}$$ be a compatible system of semi-simple representations of $$\Gamma_F$$ with coefficients in $$\mathbf{Q}$$, where $$\Sigma$$ is a set of primes of density 1. Then there exists a positive integer $$N$$ and a subset $$\Sigma' \subset \Sigma$$, also of density 1, such that for $$\ell \in \Sigma'$$ we can find a (not necessarily connected) reductive group scheme $$\mathcal{G}_{\ell}/\mathbf{Z}_{\ell}$$ with generic fiber $$G_{\ell}$$ such that $$\mathcal{G}_{\ell}(\mathbf{Z}_{\ell})$$ contains $$\mathrm{im}(\rho_{\ell})$$ as an open subgroup of index at most $$N$$. ({For this paper, a group scheme $$\mathcal{G}/S$$ is reductive if there is a subgroup scheme $$\mathcal{G}^{\circ}$$ that is smooth affine over $$S$$ with connected reductive geometric fibers and a finite étale scheme $$\pi_0/S$$ such that $$\mathcal{G}$$ is isomorphic, as an $$S$$-scheme, to $$\mathcal{G}^{\circ}\times_S \pi_0$$. This is an extremely restrictive (and rather unnatural) way to allow disconnectedness, but good enough for our purposes.) □ We now indicate the main idea in the proof Theorem 1.6. It suffices to treat the case where $$G_{\ell}$$ is connected for all $$\ell$$. Suppose that $$\rho_{\ell}$$ decomposes as a direct sum of irreducible representations $$\rho_{\ell}^1, \ldots, \rho_{\ell}^{n(\ell)}$$. The determinants of these summands control $$G^{\mathrm{tor}}_{\ell}$$. In particular, if one knew that these determinants formed compatible systems, then the theory of abelian Galois representations would show that their images are large enough to prove the theorem. Unfortunately, there seems to be no way at present to prove this compatibility. Our main observation is that one can quite easily prove something very close to this compatibility, and which suffices for our purposes. Precisely, we notice that there are only finitely many possibilities for (the Hecke character associated to) $$\det(\rho_{\ell}^i)$$: indeed, its ramification is constrained, and there are only finitely many possibilities for its infinity type and its value on any particular Frobenius element. It follows that one can partition $$\Sigma$$ into finitely many subsets $$\Sigma_1, \ldots, \Sigma_r$$ such that $$\{\det(\rho_{\ell}^i)\}_{\ell \in \Sigma_k}$$ forms a compatible system for all $$i$$ and $$k$$. Remark 1.8. Larsen’s result [4, Theorem 3.17] is very general: it applies to compatible systems of representations of any profinite group possessing certain “Frobenius elements.” In contrast, Theorem 1.6 (or at least our proof of it) is specific to Galois groups of number fields, and makes critical (though simple) use of $$\ell$$-adic Hodge theory. We also note that Larsen’s theorem depends on the classification of finite simple groups. □ 2 The image in the torus We now prove Theorem 1.6. Fix the $$d$$-dimensional compatible system $$\{\rho_{\ell}\}_{\ell \in \Sigma}$$. By Serre’s theorem, after replacing $$F$$ with a finite Galois extension, we can assume that $$G_{\ell}$$ is connected for all $$\ell$$. Let $$S$$ be the set of places of ramification of the compatible system, and let $$I$$ be the finite multi-set of integers occurring as Hodge–Tate weights. The abelianization of the Galois group $$\Gamma_{F,S}$$ is topologically finitely generated. Let $$T$$ be a finite set of places of $$F$$ such that the Frobenius elements $$\mathrm{Frob}_v$$ with $$v \in T$$ topologically generate $$\Gamma_{F,S}^{\rm ab}$$. Denote by $$\overline{\mathbf{Q}}$$ the algebraic closure of $$\mathbf{Q}$$ in $$\mathbf{C}$$. Fix once and for all an isomorphism $$\overline{\mathbf{Q}}_{\ell} \cong \mathbf{C}$$ for each $$\ell$$, and use these to regard $$\overline{\mathbf{Q}}$$ as a subfield of $$\overline{\mathbf{Q}}_{\ell}$$. For $$v \in T$$, let $$\lambda_{v,1}, \ldots, \lambda_{v,d} \in \overline{\mathbf{Q}} \subset \overline{\mathbf{Q}}_{\ell}$$ be the eigenvalues of $$\rho_{\ell}(\mathrm{Frob}_v)$$; notice that this set is independent of $$\ell$$ by compatibility. Let $$\mathcal{H}$$ be the set of algebraic Hecke characters $$\chi$$ of $$F$$ satisfying the following conditions: (1) $$\chi$$ is unramified away from $$S$$; (2) the weights of $$\chi$$ belong to the set of finite sums of distinct elements of (the multi-set) $$I$$; and (3) for $$v \in T$$, the number $$\chi(\mathrm{Frob}_v)$$ is of the form $$\lambda_{v,i_1} \cdots \lambda_{v,i_r}$$ where the indices $$i_1, \ldots, i_r$$ are distinct. Lemma 2.1. The set $$\mathcal{H}$$ is finite. □ Proof By (1), there are only finitely many possibilities for the weights of an element of $$\mathcal{H}$$. If $$\chi_1$$ and $$\chi_2$$ are elements of $$\mathcal{H}$$ with the same weight then $$\chi_1 \chi_2^{-1}$$ defines a character $$\Gamma_{F,S}^{\rm ab} \to \mathbf{C}^{\times}$$. By (3), there are only finitely many possibilities for the values of this character on the Frobenius elements $$\mathrm{Frob}_v$$ with $$v \in T$$. Since these Frobenius elements generate $$\Gamma_{F,S}^{\rm ab}$$, it follows that there are only finitely many possibilities for $$\chi_1 \chi_2^{-1}$$. ■ Via the fixed isomorphism $$\overline{\mathbf{Q}}_{\ell} \cong \mathbf{C}$$, we can associate to each Hecke character of $$F$$ a de Rham character $$\Gamma_F \to \overline{\mathbf{Q}}_{\ell}^{\times}$$, and vice versa. The following lemma exposes the key property of the set $$\mathcal{H}$$: Lemma 2.2. Let $$\sigma$$ be a summand of $$\rho_{\ell} \otimes \overline{\mathbf{Q}}_{\ell}$$. Then the Hecke character corresponding to $$\det(\sigma)$$ belongs to $$\mathcal{H}$$. □ Proof Since $$\rho_{\ell}$$ is unramified (or crystalline) at the places outside of $$S$$, the same is true for $$\det(\sigma)$$, and so the corresponding Hecke character is unramified outside of $$S$$. The Hodge–Tate weights of $$\sigma$$ are a subset of those of $$\rho_{\ell}$$, and Hodge–Tate weights of $$\det(\sigma)$$ are sums of those of $$\sigma$$, and these coincide with the weights of the corresponding Hecke character. Finally, for $$v \in T$$, the eigenvalues of $$\sigma(\mathrm{Frob}_v)$$ are $$\lambda_{v,i_1}, \ldots, \lambda_{v,i_r}$$ for distinct indices $$i_1, \ldots, i_r$$, and $$\det(\sigma)(\mathrm{Frob}_v)$$ is the product of these. ■ The Galois group $$\Gamma_{\mathbf{Q}}$$ acts on $$\mathcal{H}$$ by restricting its action on algebraic Hecke characters: for any algebraic Hecke character $$\psi$$, the finite part $$\psi_f$$ can be defined over $$\overline{\mathbf{Q}}$$, and for any $$\sigma \in \Gamma_{\mathbf{Q}}$$, there is then a unique (still algebraic) Hecke character $${}^\sigma \psi$$ whose finite part is isomorphic to $$\psi_f \otimes_{\overline{\mathbf{Q}}, \sigma} \overline{\mathbf{Q}}$$. Let $$\mathcal{S}$$ be a multi-set whose elements belong to $$\mathcal{H}$$ and that is stable under $$\Gamma_{\mathbf{Q}_{\ell}}$$. There is then an associated representation $$\tau_{\mathcal{S},\ell} \colon \Gamma_F \to \mathbf{GL}_n(\mathbf{Q}_{\ell})$$, with $$n=\# \mathcal{S}$$, such that $$\tau_{\mathcal{S},\ell} \otimes \overline{\mathbf{Q}}_{\ell}$$ is the sum of the one-dimensional representations given by elements of $$\mathcal{S}$$. Let $$T_{\mathcal{S},\ell}/\mathbf{Q}_{\ell}$$ be the Zariski closure of the image of $$\tau_{\mathcal{S},\ell}$$. Proposition 2.3. There exists a positive integer $$M$$ such that the image of $$\tau_{\mathcal{S},\ell}$$ in $$T_{\mathcal{S},\ell}(\mathbf{Q}_{\ell})$$ has index at most $$M$$ in the maximal compact, for any choice of $$\ell$$ and $$\Gamma_{\mathbf{Q}_{\ell}}$$-stable $$\mathcal{S}$$. □ Proof Let $$T_F$$ denote the restriction of scalars torus $$\mathrm{Res}_{F/\mathbf{Q}}(\mathbf{G}_m)$$, and let $$T_{F, \ell}$$ denote $$T_F \otimes_{\mathbf{Q}} \mathbf{Q}_{\ell}$$. The representation $$\tau_{\mathcal{S}, \ell}$$ is Hodge–Tate and abelian, hence locally algebraic [6, A7 Theorem 3]: there exists an algebraic morphism of tori $$f_{\mathcal{S}, \ell} \colon T_{F, \ell} \to T_{\mathcal{S}, \ell}$$ such that (leaving the class field theory identification implicit) $$f_{\mathcal{S}, \ell}|_{U}= \tau_{\mathcal{S}, \ell}|_{U}$$ for some open subgroup $$U$$ of $$(F \otimes_{\mathbf{Q}} \mathbf{Q}_{\ell})^{\times}$$. We claim that $$f_{\mathcal{S}, \ell}$$ is surjective. Since $$T_{\mathcal{S}, \ell}(\mathbf{Q}_{\ell})$$ has a pro-$$\ell$$ open subgroup, and $$\tau_{\mathcal{S}, \ell}(U)$$ contains an open pro-$$\ell$$ subgroup of $$\tau_{\mathcal{S}, \ell}(\Gamma_F)$$, $$\tau_{\mathcal{S}, \ell}(U)$$ is open in $$\tau_{\mathcal{S}, \ell}(\Gamma_F)$$. As $$T_{\mathcal{S}, \ell}$$ is connected, $$\tau_{\mathcal{S}, \ell}(U)=f_{\mathcal{S}, \ell}(U)$$ is Zariski-dense in $$T_{\mathcal{S}, \ell}$$, so $$f_{\mathcal{S}, \ell}$$ is a surjection. Next, we are allowed to discard a finite number of $$\ell$$, so we now assume that the Hecke characters in $$\mathcal{H}$$ are unramified at all primes above $$\ell$$, and that $$F/\mathbf{Q}$$ is unramified at $$\ell$$. We may therefore assume $$\tau_{\mathcal{S}, \ell}$$ is crystalline, and that the torus $$T_{F, \ell}$$, and therefore its quotient $$T_{\mathcal{S}, \ell}$$, are unramified. These tori canonically extend to tori over $$\mathbf{Z}_{\ell}$$, as does the morphism $$f_{\mathcal{S}, \ell}$$ (all of which we continue to denote by the same symbols). Moreover, by [2, 3.9.7 Corollary], $$\tau_{\mathcal{S}, \ell}$$ and $$f_{\mathcal{S}, \ell}$$ in fact agree on all of $$(\mathcal{O}_F \otimes_{\mathbf{Z}} \mathbf{Z}_{\ell})^\times$$. To find an upper bound on the index $$[T_{\mathcal{S}, \ell}(\mathbf{Z}_{\ell}):\tau_{\mathcal{S}, \ell}(\Gamma_F)]$$, it therefore suffices to bound the cokernel of the induced map on $$\mathbf{Z}_{\ell}$$-points, that is the index $$[T_{\mathcal{S}, \ell}(\mathbf{Z}_{\ell}):f_{\mathcal{S},\ell}(T_{F, \ell}(\mathbf{Z}_{\ell})]$$. We begin by bounding the order of the torsion subgroup of $$X^{\bullet}(T_{F, \ell})/f_{\mathcal{S}, \ell}^*(X^{\bullet}(T_{\mathcal{S}, \ell}))$$, where we write $$X^\bullet$$ for the character group. Denote by $$a$$ the degree $$[F: \mathbf{Q}]$$. Each of the Hecke characters $$\psi \in \mathcal{S} \subset \mathcal{H}$$ has a collection of Hodge–Tate numbers, and there is an absolute bound, independent of $$\ell$$ and $$\mathcal{S}$$, for the greatest of these integers; let us call it $$N$$. We can then identify the image $$f_{\mathcal{S}, \ell}^* X^\bullet(T_{\mathcal{S}, \ell})$$ with the submodule of $$\mathbf{Z}^a$$ spanned by a collection of integer vectors, all of whose coordinates have absolute value at most $$N$$. Next note that for any morphism of abelian groups $$f \colon \mathbf{Z}^b \to \mathbf{Z}^a$$ for which a set of generators of $$\mathbf{Z}^b$$ map to vectors whose coordinates are bounded by $$N$$, the order of $$\mathrm{coker}(f)_{\mathrm{tor}}$$ is bounded by a function of $$a$$ and $$N$$. Namely, $$|\mathrm{coker}(f)_{\mathrm{tor}}|$$ is equal to the greatest common divisor of the $$r \times r$$ minors, where $$r$$ equals the rank of $$f$$ (in our application, $$r=b$$). In general, then, the cokernel can have torsion order no greater than the largest determinant of an $$a \times a$$ integer matrix with entries bounded in absolute value by $$N$$. We thus have a uniform bound for the torsion subgroup of $$X^{\bullet}(T_{F, \ell})/f_{\mathcal{S}, \ell}^*(X^{\bullet}(T_{\mathcal{S}, \ell}))$$. If we discard the finitely many $$\ell$$ below this bound, we see that $$f_{\mathcal{S}, \ell}$$ is not only a surjection of tori, but is in fact a surjection of étale sheaves on $$\mathrm{Spec} \mathbf{Z}_{\ell}$$ (we can check this over an unramified extension of $$\mathbf{Z}_{\ell}$$ that splits the tori, where by the invariant factor decomposition of the character groups it reduces to the assertion that multiplication by $$n$$ on $$\mathbf{G}_m$$ is a surjection of étale sheaves in characteristic not dividing $$n$$). We can therefore bound the index $$[T_{\mathcal{S}, \ell}(\mathbf{Z}_{\ell}): f_{\mathcal{S}, \ell}(T_{F, \ell}(\mathbf{Z}_{\ell}))]$$ by (the following calculation comes from [1, Lemma A.1.6], although that lemma is stated somewhat imprecisely: multiplication by 2 on $$\bf{G}_m$$ over $$\mathbf{Z}_2$$ is a counter-example, unless “surjection” is read as “surjection of étale sheaves”) He´t1(Spec Zℓ,ker(fS,ℓ))=He´t1(Spec Fℓ,ker(fS,ℓ))=H1(ΓFℓ,Hom(X∙(TF,ℓ)/fS,ℓ∗X∙(TS,ℓ),F¯ℓ×))=Hom(X∙(TF,ℓ)/fS,ℓ∗X∙(TS,ℓ),F¯ℓ×)(Frℓ−1). (The last subscript denotes $$\mathrm{Fr}_{\ell}-1$$ coinvariants.) Choose an integer $$m$$ so that $$\Gamma_{\mathbf{F}_{\ell^m}}$$ acts trivially on $$X^\bullet(T_{F, \ell})$$. Then there is a surjection Hom(X∙(TF,ℓ)/fS,ℓ∗X∙(TS,ℓ),F¯ℓ×)(Frℓm−1)→Hom(X∙(TF,ℓ)/fS,ℓ∗X∙(TS,ℓ),F¯ℓ×)(Frℓ−1), and the source of this map has order bounded by the order of the torsion subgroup of $$X^\bullet(T_{F, \ell})/f_{\mathcal{S}, \ell}^* X^\bullet(T_{\mathcal{S}, \ell})$$ (the torsion-free quotient has vanishing cohomology, by Hilbert 1990), for which we have already obtained an independent of $$\ell$$ bound. The proposition follows. ■ Fix a prime $$\ell \in \Sigma$$ for the moment. Decompose $$\rho_{\ell} \otimes \overline{\mathbf{Q}}_{\ell}$$ as $$\sigma_1 \oplus \cdots \oplus \sigma_r$$ with $$\sigma_i$$ irreducible of dimension $$d_i$$. Over $$\overline{\mathbf{Q}}_{\ell}$$, we can regard $$G_{\ell}$$ as a subgroup of $$\mathbf{GL}_{d_1} \times \cdots \times \mathbf{GL}_{d_r} \subset \mathbf{GL}_d$$. Consider the diagram where the right vertical maps are determinants, and the map $$\delta$$ is induced by the universal property of $$G^{\mathrm{tor}}$$ (every map from $$G$$ to a torus factors through $$G^{\mathrm{tor}}$$). The central torus $$Z$$ of $$G_{\ell}$$ maps to the central $$\mathbf{G}_m$$ in each $$\mathbf{GL}_{d_i}$$. The map $$\mathbf{G}_m^r \subset \mathbf{GL}_{d_1} \times \cdots \times \mathbf{GL}_{d_r} \stackrel{\det}{\to} \mathbf{G}_m^r$$ has kernel of size $$d_1 \cdots d_r$$. It follows that the kernel of the determinant map $$Z \to \mathbf{G}_m^r$$ is also bounded by this, and so is the kernel of $$\delta$$. The composite $$\Gamma_F \to G^{\mathrm{tor}}_{\ell}(\overline{\mathbf{Q}}_{\ell}) \to \mathbf{G}_m^r(\overline{\mathbf{Q}}_{\ell})$$ is given explicitly by $$(\det(\sigma_1), \ldots, \det(\sigma_r))$$. Let $$\mathcal{S}=\{\det(\sigma_i)\} \subset \mathcal{H}$$. This set is clearly $$\Gamma_{\mathbf{Q}_{\ell}}$$-stable. Theorem 1.6 now follows from Proposition 2.3 and the following lemma. Lemma 2.4. There is an isogeny of tori $$G^{\mathrm{tor}}_{\ell} \to T_{\mathcal{S},\ell}$$ (defined over $$\mathbf{Q}_{\ell}$$), the degree of which is bounded independent of $$\ell$$, such that the diagram commutes. □ Proof The composite of the above homomorphism $$\Gamma_F \to \mathbf{G}_m^r(\overline{\mathbf{Q}}_{\ell})$$ with the direct sum map $$\mathbf{G}_m^r \to \mathbf{GL}_r$$ is $$\tau_{\mathcal{S}, \ell} \otimes \overline{\mathbf{Q}}_{\ell}$$. By the universal property of $$G^{\mathrm{tor}}_{\ell}$$, there is a unique homomorphism $$\pi_{\mathcal{S}, \ell} \colon G^{\mathrm{tor}}_{\ell} \otimes \overline{\mathbf{Q}}_{\ell} \to T_{\mathcal{S}, \ell} \otimes \overline{\mathbf{Q}}_{\ell}$$ such that the diagram commutes. Conjugating $$\pi_{\mathcal{S}, \ell}$$ by any element of $$\Gamma_{\mathbf{Q}_{\ell}}$$ yields another such diagram, since the image of $$\Gamma_F$$ in both $$G_{\ell}^{\mathrm{tor}}$$ and $$T_{\mathcal{S}, \ell}$$ lies in the $$\mathbf{Q}_{\ell}$$-points. By uniqueness, we conclude that $$\pi_{\mathcal{S}, \ell}$$ is $$\Gamma_{\mathbf{Q}_{\ell}}$$-invariant, hence descends to a morphism $$\pi_{\mathcal{S}, \ell} \colon G^{\mathrm{tor}}_{\ell} \to T_{\mathcal{S}, \ell}$$. It is a surjection since $$T_{\mathcal{S}, \ell}$$ is by definition the Zariski-closure of the image of $$\tau_{\mathcal{S}, \ell}$$; and its kernel is finite, bounded independently of $$\ell$$ by $$d_1 \cdots d_r$$. ■ 3 Irreducibility of residual representations 3.1 Extending automorphisms of group schemes Lemma 3.1. Let $$\mathcal{O}$$ be a complete DVR with fraction field $$K$$ and residue field $$k$$, let $$X/\mathcal{O}$$ be a smooth affine scheme, and let $$f \colon X_K \to X_K$$ be a morphism of $$K$$-schemes such that $$f$$ carries $$X(\mathcal{O}_L)$$ into itself for every finite unramified extension $$L/K$$. Then $$f$$ extends uniquely to a morphism of $$\mathcal{O}$$-schemes $$X \to X$$. □ Proof Write $$X=\mathrm{Spec}(A)$$, with $$A$$ a flat $$\mathcal{O}$$-algebra of finite type, so that $$f$$ corresponds to a map of $$K$$-algebras $$f^* \colon A_K \to A_K$$. We must show that $$f^*$$ carries $$A$$ into itself. Let $$\varphi$$ be an element of $$A$$, and let $$\pi$$ be a uniformizer of $$\mathcal{O}$$. Let $$n \ge 0$$ be minimal so that $$\pi^n f^*(\varphi) \in A$$. We claim $$n=0$$, which will prove the lemma. Suppose not. Let $$x$$ be an $$\ell$$-point of $$X$$ for some finite separable extension $$\ell/k$$, and let $$L$$ be the unramified extension of $$K$$ corresponding to $$\ell$$. Since $$X$$ is smooth and $$\mathcal{O}_L$$ is complete, $$x$$ lifts to a $$\mathcal{O}_L$$-point $$\widetilde{x}$$ of $$X$$. We have $$f^*(\varphi)(\widetilde{x})=\varphi(f(\widetilde{x})) \in \mathcal{O}_L$$ since $$f(\widetilde{x}) \in X(\mathcal{O}_L)$$. Since $$n>0$$, it follows that $$(\pi^n f^*(\varphi))(x)=0$$. Thus $$\pi^n f^*(\varphi)$$ vanishes on all $$k^s$$-points of the special fiber, and thus vanishes on the special fiber since the special fiber is reduced. That is, $$\pi^n f^*(\varphi)=0$$ in $$A/\pi A$$, and so $$\pi^n f^*(\varphi) \in \pi A$$. But this implies $$\pi^{n-1} f^*(\varphi) \in A$$ since $$A$$ is flat over $$\mathcal{O}$$, a contradiction. ■ Lemma 3.2. Let $$K/\mathbf{Q}_{\ell}$$ be a finite extension, let $$\mathcal{O}=\mathcal{O}_K$$, let $$\mathcal{G}/\mathcal{O}$$ be a simply connected semi-simple group, and let $$f \colon \mathcal{G}_K \to \mathcal{G}_K$$ be an automorphism of the generic fiber such that $$f$$ carries $$\mathcal{G}(\mathcal{O})$$ into itself. Then $$f$$ extends uniquely to an automorphism $$\mathcal{G} \to \mathcal{G}$$ of $$\mathcal{O}$$-groups. □ Proof By [7, Lemma 6.2], $$f$$ carries $$\mathcal{G}(\mathcal{O}_L)$$ into itself for any tamely ramified finite extension $$L/K$$. Therefore, by the previous lemma, $$f$$ uniquely extends to a map $$\mathcal{G} \to \mathcal{G}$$ of $$\mathcal{O}$$-schemes, which is necessarily a group automorphism by uniqueness. ■ Remark 3.3. In fact, Lemma 3.2 is true when $$\mathcal{G}$$ is connected reductive. One can deduce the general result from the simply connected case fairly easily. □ 3.2 A result on hyperspecial groups Let $$K/\mathbf{Q}_{\ell}$$ be a finite extension and let $$\mathcal{O}=\mathcal{O}_K$$ be the ring of integers. Let $$G/K$$ be a reductive group with $$G^{\circ}$$ unramified and let $$\Gamma \subset G(K)$$ be a Zariski dense profinite group. We use the following notation: (Note that $$\pi$$ factors as $$G^{\mathrm{sc}} \to G^{\mathrm{der}} \subset G^{\circ}$$.) We let $$\Gamma^{\circ} = \Gamma \cap G^{\circ}(K)$$. Proposition 3.4. Assume $$\sigma^{-1}(\tau(\Gamma^{\circ}))$$ is a hyperspecial subgroup of $$G^{\mathrm{sc}}(K)$$ and that $$\Gamma^{\mathrm{tor}}$$ is open in $$G^{\mathrm{tor}}(K)$$. Also assume that the residue characteristic $$\ell$$ is sufficiently large compared to $$\dim(G)$$. Then there exists a reductive group $$\mathcal{G}/\mathcal{O}$$ with generic fiber $$G$$ such that $$\Gamma$$ is an open subgroup of $$\mathcal{G}(\mathcal{O})$$. Moreover, the index of $$\Gamma$$ in $$\mathcal{G}(\mathcal{O})$$ can be bounded in terms of the dimension of $$G$$ and the index of $$\Gamma^{\mathrm{tor}}$$ in the maximal compact of $$G^{\mathrm{tor}}(K)$$. □ Proof Let $$\mathcal{G}^{\mathrm{sc}}/\mathcal{O}$$ be the given semi-simple group with generic fiber $$G^{\mathrm{sc}}$$ such that $$\mathcal{G}^{\mathrm{sc}}(\mathcal{O})=\sigma^{-1}(\tau(\Gamma^{\circ}))$$. Let $$\mathcal{G}^{\circ}$$ be the unique extension of $$G^{\circ}$$ to $$\mathcal{O}$$ for which the map $$G^{\mathrm{sc}} \to G^{\circ}$$ extends. One can construct this extension as follows. Let $$T$$ be the central torus in $$G^{\circ}$$, and let $$\mathcal{T}/\mathcal{O}$$ be the unique torus with generic fiber $$T$$ (note that $$T$$ is unramified by our assumption that $$G^{\circ}$$ is unramified). Let $$\mathcal{Z}/\mathcal{O}$$ be the center of $$\mathcal{G}^{\mathrm{sc}}$$, which is finite étale (due to our assumption on $$\ell$$), and let $$Z=\mathcal{Z}_K$$. Let $$H$$ be the kernel of the map $$T \times G^{\mathrm{sc}} \to G^{\circ}$$, which is contained in $$T \times Z$$. The order $$n$$ of $$H$$ can be bounded in terms of $$\dim(G)$$, and is therefore small compared to $$\ell$$. Let $$\mathcal{H}$$ be the closure of $$H$$ in $$\mathcal{T} \times \mathcal{Z}$$. Since $$H$$ is contained in the finite étale group scheme $$\mathcal{T}[n] \times \mathcal{Z}$$ it follows that $$\mathcal{H}$$ is finite étale. The group $$\mathcal{G}^{\circ}$$ is then the quotient of $$\mathcal{T} \times \mathcal{G}^{\mathrm{sc}}$$ by $$\mathcal{H}$$, which exists by general theory. We do not prove uniqueness of $$\mathcal{G}^{\circ}$$, as it is not needed in the proof. Let $$\gamma$$ be an element of $$\Gamma$$. Then conjugation by $$\gamma$$ induces an automorphism of $$G^{\circ}$$ which descends to $$G^{\mathrm{ad}}$$ and then lifts (uniquely) to $$G^{\mathrm{sc}}$$. Denote this automorphism of $$G^{\mathrm{sc}}$$ by $$f'_{\gamma}$$. Let $$g \in \mathcal{G}^{\mathrm{sc}}(\mathcal{O})$$. Then $$\sigma(g)=\tau(\alpha)$$ for some $$\alpha \in \Gamma^{\circ}$$. We have σ(fγ′(g))=γσ(g)γ−1=γτ(α)γ−1=τ(β), where $$\beta=\gamma \alpha \gamma^{-1}$$. Since $$\beta \in \Gamma^{\circ}$$, it follows that $$f'_{\gamma}(g) \in \sigma^{-1}(\tau(\Gamma^{\circ}))=\mathcal{G}^{\mathrm{sc}}(\mathcal{O})$$. Thus $$f'_{\gamma}$$ maps $$\mathcal{G}^{\mathrm{sc}}(\mathcal{O})$$ to itself, and therefore, by Lemma 3.2, extends uniquely to an automorphism of $$\mathcal{G}^{\mathrm{sc}}$$, still denoted $$f'_{\gamma}$$. It is clear that conjugation by $$\gamma$$ carries $$T$$ into itself. It therefore extends uniquely to an automorphism $$f''_{\gamma}$$ of $$\mathcal{T}$$. (Reason: if $$T$$ is split then $$\mathrm{Aut}(T)=\mathrm{Aut}(\mathcal{T})$$. In general, we can reduce to the split case by passing to a finite unramified extension fo $$\mathcal{O}$$. Since the extension is unique, it will descend to $$\mathcal{O}$$.) Now consider the quotient map $$\phi \colon \mathcal{T} \times \mathcal{G}^{\mathrm{sc}} \to \mathcal{G}^{\circ}$$. Let $$t \in \mathcal{T}(\overline{K})$$ and $$h \in \mathcal{G}^{\mathrm{sc}}(\overline{K})$$. Then ϕ(fγ″(t),fγ′(h))=fγ″(t)π(fγ′(h))=(γtγ−1)(γπ(h)γ−1)=γϕ(t,h)γ−1. It follows that $$(f''_{\gamma}, f'_{\gamma})$$ maps $$\mathcal{H}_{\overline{K}}$$, and therefore $$\mathcal{H}$$, to itself, and thus descends to an automorphism $$f_{\gamma}$$ of $$\mathcal{G}^{\circ}$$. Moreover, it follows that $$f_{\gamma}$$ induces conjugation by $$\gamma$$ on the generic fiber of $$\mathcal{G}^{\circ}$$. We thus see that $$\Gamma$$ normalizes $$\mathcal{G}^{\circ}(\mathcal{O}) \subset G(K)$$. In particular, $$\Gamma^{\circ}$$ is a compact subgroup of $$G^{\circ}(K)$$ normalizing $$\mathcal{G}^{\circ}(\mathcal{O})$$, and must therefore be contained in $$\mathcal{G}^{\circ}(\mathcal{O})$$, as $$\mathcal{G}^{\circ}(\mathcal{O})$$ is maximal compact. We now define $$\mathcal{G}$$ to be the pushout of $$\Gamma^{\circ} \to \Gamma$$ along the map $$\Gamma^{\circ} \to \mathcal{G}^{\circ}$$. Explicitly, write $$\Gamma = \coprod_{i=1}^r \gamma_i \Gamma^{\circ}$$ with $$\gamma_i \in \Gamma$$. Then $$\mathcal{G} = \coprod_{i=1}^r \gamma_i \mathcal{G}^{\circ}$$. Suppose $$\gamma_i \gamma_j = \gamma_k \gamma'$$ with $$\gamma' \in \Gamma^{\circ}$$. Then we define a map γiG∘×γjG∘→γkG∘ by mapping $$(\gamma_i g, \gamma_j h)$$ to $$\gamma_k \gamma' f_{\gamma_j^{-1}}(g) h$$. Note that $$(g, h) \mapsto \gamma' f_{\gamma_j^{-1}}(g) h$$ is a well-defined map of $$\mathcal{O}$$-schemes $$\mathcal{G}^{\circ} \times \mathcal{G}^{\circ} \to \mathcal{G}^{\circ}$$. Combining these maps for all $$i$$ and $$j$$ gives the multiplication on $$\mathcal{G}$$. It is clear that $$\mathcal{G}$$ is a reductive group over $$\mathcal{O}$$ with generic fiber $$G$$, and that $$\Gamma$$ is contained in $$\mathcal{G}(\mathcal{O})$$. We now show that $$\Gamma$$ is open. It suffices to show $$\Gamma^{\circ}$$ is open. Since $$\sigma^{-1}(\tau(\Gamma^{\circ}))$$ is open in $$G^{\mathrm{sc}}(K)$$, it follows that $$\tau(\Gamma^{\circ})$$ is open. The image of $$\Gamma^{\circ}$$ in $$\tau(\Gamma^{\circ}) \times \Gamma^{\mathrm{tor}}$$ is open, and thus the image of $$\Gamma^{\circ}$$ under the map $$G^{\circ}(K) \to G^{\mathrm{ad}}(K) \times G^{\mathrm{tor}}(K)$$ is open. It follows that $$\Gamma^{\circ}$$ is open in $$G^{\circ}(K)$$. Finally, we bound the index of $$\Gamma$$ in $$\mathcal{G}(\mathcal{O})$$. Since $$\Gamma$$ meets every connected component, it suffices to bound the index of $$\Gamma^{\circ}$$ in $$\mathcal{G}^{\circ}(\mathcal{O})$$. The kernel of the map $$\phi \colon \mathcal{G}^{\circ}(\mathcal{O}) \to \mathcal{G}^{\mathrm{ad}}(\mathcal{O}) \times \mathcal{G}^{\mathrm{tor}}(\mathcal{O})$$ is finite, with order bounded in terms of $$\dim(G)$$, so it suffices to bound the index of $$\phi(\Gamma^{\circ})$$ in the target. The group $$\phi(\Gamma^{\circ})$$ is contained in $$\tau(\Gamma^{\circ}) \times \Gamma^{\mathrm{tor}}$$, and the index can be bounded in terms of $$\dim(G)$$. It thus suffices to bound the index of $$\tau(\Gamma^{\circ})$$ in $$\mathcal{G}^{\mathrm{ad}}(\mathcal{O})$$. We have $$\tau(\Gamma^{\circ})=\sigma(\mathcal{G}^{\mathrm{sc}}(\mathcal{O}))$$, so we must control the index of the image of the map $$\mathcal{G}^{\mathrm{sc}} \to \mathcal{G}^{\mathrm{ad}}$$ on $$\mathcal{O}$$ points. Since this map is a surjection of group schemes with finite étale kernel $$\mathcal{Z}$$, it follows that the index is bounded by the order of $$\mathrm{H}^1_{\rm et}(\mathrm{Spec}(\mathcal{O}), \mathcal{Z})$$. This can be bounded in terms of the order of $$\mathcal{Z}$$, and thus in terms of $$\dim(G)$$. ■ Proof of Theorem 1.7 The theorem follows by combining Proposition 3.4 with Larsen’s theorem on hyperspecial image [4, Theorem 3.17] and Theorem 1.6: indeed, Larsen’s theorem exactly states that the first hypothesis of Proposition 3.4 holds (taking $$\Gamma= \mathrm{im}(\rho_{\ell})$$), while Theorem 1.6 ensures the second (and furthermore, in the notation of Proposition 3.4, bounds the index of $$\Gamma^{\mathrm{tor}}$$ in the maximal compact of $$G^{\mathrm{tor}}(K)$$ uniformly in $$\ell$$). ■ 3.3 Some representation theory Let $$k$$ be a field, let $$G/k$$ be a connected semi-simple group, and let $$V$$ be an algebraic representation of $$G_{\overline{k}}$$. Pick a maximal torus $$T$$ in $$G_{\overline{k}}$$. For a weight $$\lambda$$ of $$T$$, we define $$\Vert \lambda \Vert$$ to be the maximum of $$\vert \langle \lambda, \alpha^{\vee} \rangle \vert$$ as $$\alpha$$ varies over the roots of $$G_{\overline{k}}$$. We define $$\Vert V \Vert$$ to be the maximum of $$\Vert \lambda \Vert$$ over those weights appearing in $$V$$. This is independent of the choice of $$T$$. If $$k$$ has characteristic 0 then (for fixed $$\dim(G)$$) one can bound $$\dim(V)$$ in terms of $$\Vert V \Vert$$, and vice versa. Now suppose that $$G/k$$ is a torus and $$\lambda$$ is a character of $$G_{\overline{k}}$$. Define $$\Vert \lambda \Vert$$ to be $$\# \pi_0(\ker(\lambda))$$. For a representation $$V$$ of $$G_{\overline{k}}$$ define $$\Vert V \Vert$$ to be the maximum of $$\Vert \lambda \Vert$$ over characters $$\lambda$$ appearing in $$V$$. Finally, suppose that $$G/k$$ is a reductive group and $$V$$ is a representation of $$G_{\overline{k}}$$. We define $$\Vert V \Vert_{\mathrm{der}}$$ to be the norm of $$V$$ restricted to $$G^{\mathrm{der}}$$ and $$\Vert V \Vert_{\mathrm{cen}}$$ to be the norm of $$V$$ restricted to the central torus of $$G^{\circ}$$. Proposition 3.5. Let $$\mathcal{O}$$ be a complete DVR with fraction field $$K$$ and residue field $$k$$, let $$\mathcal{G}/\mathcal{O}$$ be a reductive group (as defined in the introduction), and let $$\mathcal{V}$$ be a representation of $$\mathcal{G}$$ over $$\mathcal{O}$$. Suppose that $$\dim(\mathcal{G})$$, $$\dim(\mathcal{V})$$, and $$\# \pi_0(G)$$ are small compared to $$\mathrm{char}(k)$$. Then the natural map $$(\mathcal{V}^{\mathcal{G}})_k \to \mathcal{V}_k^{\mathcal{G}_k}$$ is an isomorphism. □ Proof The map in question is injective, and we must prove it is surjective. That is, given a $$\mathcal{G}_k$$-invariant vector $$v_1$$ in $$\mathcal{V}_k$$, we must produce a lift to a $$\mathcal{G}$$-invariant vector in $$\mathcal{V}$$. Suppose that $$v_n$$ is a lift of $$v_1$$ to a $$\mathcal{G}$$-invariant vector in $$\mathcal{V}/\pi^n \mathcal{V}$$, where $$\pi$$ is a uniformizer of $$\mathcal{O}$$. Let $$X$$ be the fiber of the reduction map $$\mathcal{V}/\pi^{n+1} \mathcal{V} \to \mathcal{V}/\pi^n \mathcal{V}$$ over $$v_n$$. Since $$v_n$$ is invariant, $$X$$ is stable for the action of $$\mathcal{G}$$, and is naturally a torsor for $$\mathcal{V}_k$$. Thus $$X$$ is classified by an element of $$\mathrm{H}^1(\mathcal{G}_k, \mathcal{V}_k)$$. (This cohomology is algebraic group cohomology. Explicitly, let $$\widetilde{v}$$ be a lift of $$v_n$$. Then $$g \mapsto g\widetilde{v}-\widetilde{v} \in \pi^n \mathcal{V}/\pi^{n+1} \mathcal{V} \cong \mathcal{V}_k$$ is a representating cocycle.) We claim that this cohomology group vanishes. First, the representation $$\mathcal{V}_k$$ of $$\mathcal{G}_k^{\circ}$$ has small norm (see, e.g., [7, Proposition 3.5]). An element of $$\mathrm{H}^1(\mathcal{G}^{\circ}_k, \mathcal{V}_k)$$ is represented by an extension of $$\mathcal{V}_k$$ by the trivial representation. However, such an extension still has small norm, and is therefore semi-simple (see, e.g., [7, Proposition 3.3]). Thus $$\mathrm{H}^1(\mathcal{G}^{\circ}_k, \mathcal{V}_k)$$ vanishes. The map H1(Gk,Vk)→H1(Gk∘,Vk) is injective, since $$\# \pi_0(G)$$ is coprime to $$\mathrm{char}(k)$$, and so $$\mathrm{H}^1(\mathcal{G}_k, \mathcal{V}_k)$$ vanishes. Thus $$X$$ is a trivial torsor, and therefore has a fixed point $$v_{n+1}$$. We thereby obtain a compatible sequence $$(v_n)_{n \ge 0}$$ of $$\mathcal{G}$$-invariant elements which defines the requisite $$\mathcal{G}$$-invariant element in $$\mathcal{V}$$. ■ Remark 3.6. B. Conrad pointed out that this proposition is false if one allows a very permissive definition of “reductive” for non-connected groups. □ Proposition 3.7. Let $$k$$ be a finite field, let $$G/k$$ be a reductive group, and let $$\Gamma \subset G(k)$$ be a subgroup of small index (compared to $$\mathrm{char}(k)$$) that meets every geometric component. Let $$V$$ be a representation of $$G$$ over $$\overline{k}$$. Assume that $$\dim(G)$$, $$\Vert V \Vert_{\mathrm{der}}$$, and $$\Vert V \Vert_{\mathrm{cen}}$$ are small compared to $$\mathrm{char}(k)$$. Then $$V^G=V^{\Gamma}$$. □ Proof It suffices to treat the case where $$G$$ is connected. We can treat separately the cases where $$G$$ is a torus and $$G$$ is semi-simple, and we first treat the semi-simple case, for which it suffices to assume that $$G$$ is simply connected. Let $$\overline{\Gamma}$$ denote the image of $$\Gamma$$ in the quotient group $$PG(k)= \mathrm{im}(G(k) \to G^{\mathrm{ad}}(k))$$. If $$G$$ is simple and simply connected, then $$PG(k)$$ is (for $$\mathrm{char}(k) \gg 0$$) a finite simple group, and then consideration of the permutation representation of $$PG(k)$$ on $$PG(k)/\overline{\Gamma}$$ implies that either $$\overline{\Gamma}=PG(k)$$ or |PG(k)|≤[PG(k):Γ¯]!≤([G(k):Γ]⋅|ker(G(k)→Gad(k))|)! By assumption, the right-hand side of this inequality is uniformly bounded, while the left-hand side tends to infinity with $$\mathrm{char}(k)$$. We conclude that when $$G$$ is simple, and for $$\mathrm{char}(k)$$ sufficiently large, we must have $$\overline{\Gamma}=PG(k)$$. Now, for any simply connected $$G$$, Goursat’s Lemma (and again the assumption that $$\Gamma \subset G(k)$$ has small index) then implies that $$\overline{\Gamma}= PG(k)$$. The (central) kernel of $$G(k) \to G^{\mathrm{ad}}(k)$$ and $$\Gamma$$ therefore generate $$G(k)$$, so $$\Gamma$$ is normal in $$G(k)$$, and the action of $$G(k)$$ on $$V^{\Gamma}$$ decomposes into a sum of characters; moreover, since $$\dim(G)$$ and $$\Vert V \Vert_{\mathrm{der}}$$ are small compared to $$\mathrm{char}(k)$$, the action on $$V^{\Gamma}$$ is algebraic (see, e.g., [7, Proposition 3.6]). But $$G$$ is simply connected, so its one-dimensional representations are trivial, hence $$V^{\Gamma}=V^{G(k)}$$. (In fact, $$\Gamma=G(k)$$, but we do not need this.) The result then follows from the fact that $$V^G=V^{G(k)}$$, which again relies on $$\dim(G)$$ and $$\Vert V \Vert_{\mathrm{der}}$$ being small compared to $$\mathrm{char}(k)$$ (using [7, Proposition 3.6]). We now treat the case where $$G$$ is a torus. It suffices to treat the case where $$V$$ is one-dimensional. Let $$\lambda$$ be the character giving the action of $$G$$. It suffices to treat the case where $$\lambda$$ is non-trivial, and show that $$\lambda \vert_{\Gamma}$$ is non-trivial. Note that $$\lambda$$ factors as $$G_{\overline{k}} \stackrel{p}{\to} \mathbf{G}_m \stackrel{n}{\to} \mathbf{G}_m$$ where $$p$$ is the projection on to a direct factor and $$\vert n \vert = \Vert \lambda \Vert$$ is small by the assumption on $$\Vert V \Vert_{\mathrm{cen}}$$. Since $$p(\Gamma)$$ has small index in $$\mathbf{G}_m(\overline{k})$$, so does $$p(\Gamma)^n$$, and so $$\lambda$$ is non-trivial on $$\Gamma$$. ■ 3.4 A general irreducibility result We return to the setting of Section 3.2. Theorem 3.8. Let $$G/K$$ be a reductive group with $$G^{\circ}$$ unramified, and let $$\Gamma \subset G(K)$$ be a Zariski dense profinite group such that $$\sigma^{-1}(\tau(\Gamma^{\circ}))$$ is hyperspecial in $$G^{\mathrm{sc}}(K)$$. Assume that $$\Gamma^{\mathrm{tor}}$$ is open in $$G^{\mathrm{tor}}(K)$$ and its index in the maximal compact is small compared to $$\mathrm{char}(k)$$. Also assume that $$\dim(G)$$ and $$\# \pi_0(G)$$ are small compared to $$\mathrm{char}(k)$$. Let $$(\rho, V)$$ be a representation of $$G$$ over $$\overline{K}$$ with $$\dim(V)$$ small compared to $$\mathrm{char}(k)$$. Then there exists a $$\Gamma$$-stable lattice $$\mathcal{V}$$ in $$V$$ such that the natural map EndΓ(V)⊗k¯→EndΓ(Vk¯) is an isomorphism. □ Corollary 3.9. Let $$\rho$$ be as in Theorem 3.8. Suppose that $$\rho$$ decomposes as $$\bigoplus_{i=1}^r \rho_i^{\oplus m_i}$$ where the $$\rho_i$$ are pairwise non-isomorphic irreducible representations. Then the $$\overline{\rho}_i$$ are irreducible and pairwise non-isomorphic and (for an appropriate choice of lattice) $$\overline{\rho}$$ decomposes as $$\bigoplus_{i=1}^r \overline{\rho}_i^{\oplus m_i}$$. □ Proof of theorem. By Proposition 3.4, we can find a reductive group $$\mathcal{G}/\mathcal{O}$$ with generic fiber $$G$$ such that $$\Gamma$$ is a Zariski-dense open subgroup of $$\mathcal{G}(\mathcal{O})$$ with small index. Descend $$V$$ to a representation $$V'$$ over a finite extension $$K'/K$$, and let $$\mathcal{V}$$ be a $$\mathcal{G}$$-stable lattice in $$V'$$ (see [4, Section 1.12] for a proof of existence). Let $$\mathcal{E}=\mathrm{End}(\mathcal{V})$$, which is also a representation of small norm (again by [7, Proposition 3.5]). We have (EΓ)k¯=(EG)k¯=(Ek¯)Gk¯=(Ek¯)Γ. The first equality follows from the fact that $$\Gamma$$ and $$\mathcal{G}$$ have the same Zariski closure. The second is Proposition 3.5 (working over $$\mathcal{O}^{\rm un}_{K'}$$), while the third is Proposition 3.7. ■ 3.5 Proof of the Theorem 1.2 Let $$\{\rho_v\}_{v \in \Sigma}$$ be a $$d$$-dimensional compatible system of representations of $$\Gamma_F$$ with coefficients in $$E$$, where $$\Sigma=\Sigma(\Pi)$$. For $$\ell \in \Pi$$ define $$\rho_{\ell} = \bigoplus_{v \mid \ell} \rho_v$$. We regard $$\rho_{\ell}$$ as a representation of $$\Gamma_F$$ over the field $$\mathbf{Q}_{\ell}$$ of dimension $$d \cdot [E:\mathbf{Q}_{\ell}]$$. As such, $$\{\rho_{\ell}\}_{\ell \in \Pi}$$ forms a compatible system with coefficients in $$\mathbf{Q}$$. Let $$\Pi' \subset \Pi$$ be a density one subset for which Larsen’s theorem on hyperspecial image holds, and fix $$\ell \in \Pi'$$. Let $$G$$ be the Zariski closure of the image of $$\rho_{\ell}$$, and let $$\Gamma= \rho_{\ell}(\Gamma_F)$$. Then we can regard $$\rho_v$$ as an algebraic representation of $$G$$ over the field $$E_v$$. The result now follows from Theorem 3.8, which we may apply since by Larsen’s theorem $$G^\circ$$ is unramified and $$\sigma^{-1}(\tau(\Gamma^0))$$ is hyperspecial, by Theorem 1.6 the image of $$\Gamma^{\mathrm{tor}}$$ in the maximal compact of $$G^{\mathrm{tor}}(\mathbf{Q}_{\ell})$$ is bounded independently of $$\mathrm{char}(k)$$, and by Serre’s theorem the component group $$\pi_0(G_{\ell})$$ is independent of $$\ell$$. ■ 3.6 Further results In [1], a somewhat stronger result is needed, and proven, for application to potential automorphy theorems for Hodge–Tate regular compatible systems. We can prove the general version of this as well: Corollary 3.10. Let $$\{\rho_v\}_{v \in \Sigma}$$ be a compatible system of representations of $$\Gamma_F$$ with coefficients in a number field $$E$$, where $$\Sigma= \Sigma(\Pi)$$ for some set $$\Pi$$ of rational primes of density 1. Suppose that each $$\rho_v$$ is absolutely irreducible. Then there exists a density 1 subset $$\Pi' \subset \Pi$$ such that for all $$v \in \Sigma'= \Sigma(\Pi')$$, lying above $$\ell \in \Pi'$$, the restriction $$\overline{\rho}_v|_{\Gamma_F(\zeta_{\ell})}$$ is absolutely irreducible. □ Proof This time we consider the compatible system of $$\Gamma_F$$-representations with $$\mathbf{Q}$$-coefficients $$\rho_{\ell}'= \{\kappa_{\ell} \oplus \bigoplus_{v \mid \ell} \rho_{v}\}_{\ell}$$, where $$\kappa_{\ell}$$ denotes the $$\ell$$-adic cyclotomic character. By Frobenius reciprocity, we must show that $$\mathrm{Hom}_{\Gamma_F}(\overline{\rho}_v, \overline{\rho}_v(i))=0$$ for all $$i =1, \ldots, \ell-2$$, for all $$v$$ lying above some density one set of rational primes $$\ell$$. Again let $$\Pi' \subset \Pi$$ be a density one subset for which Larsen’s theorem on hyperspecial image holds, fix $$\ell \in \Pi'$$, and let $$G' \subset \mathbf{G}_m \times G$$ be the Zariski closure of $$\rho_{\ell}'$$, with $$G$$ continuing to denote the Zariski closure of $$\rho_{\ell}= \bigoplus_{v \mid \ell} \rho_v$$. Both $$\kappa_{\ell}$$ and $$\rho_v$$ are algebraic representations of $$G'$$ over $$E_v$$, and so $$\rho_v(i)$$ is as well, for any integer $$i$$. We then follow the proof of Theorem 3.8, but without the hypothesis that $$\Gamma^{', \mathrm{tor}}$$ has “small” index in the maximal compact subgroup of $$G^{', \mathrm{tor}}(\mathbf{Q}_{\ell})$$ ($$\Gamma'$$ here is taken to be $$\rho'_{\ell}(\Gamma_F)$$). Proposition 3.4 produces a reductive group $$\mathcal{G}'/\mathbf{Z}_{\ell}$$ with generic fiber $$G'$$ such that $$\Gamma'$$ is an open subgroup of $$\mathcal{G}'(\mathbf{Z}_{\ell})$$. Let $$\mathcal{V}$$ be a $$\mathcal{G}'$$-stable lattice in $$\rho_v$$, and consider the representation $$\mathcal{E}_i= \mathrm{Hom}(\mathcal{V}, \mathcal{V}(i))$$. Exactly as in the proof of Theorem 3.8, we have (EiΓ′)k¯=(EiG′)k¯=(Ei,k¯)Gk¯′. We now discard from $$\Pi'$$ the finitely many rational primes such that $$[F(\zeta_{\ell}):F]$$ is smaller than $$\ell -1$$, and claim that we can also deduce that $$(\mathcal{E}_{i, \overline{k}})^{\mathcal{G}'_{\overline{k}}}= (\mathcal{E}_{i, \overline{k}})^{\Gamma'}$$ for $$i=1, \ldots, \ell-2$$. Indeed, all the hypotheses of Proposition 3.7 are still satisfied, with the possible exception that $$\Vert \mathcal{E}_i \Vert_{\mathrm{cen}}$$ may not be small compared to $$\mathrm{char}(k)$$. Following the proof of Proposition 3.7, however, we need only check that upon restricting $$\mathcal{E}_{i, \overline{k}}$$ to the maximal central torus $$Z$$ of $$\mathcal{G}'_{\overline{k}}$$, any irreducible (one-dimensional) constituent on which $$Z$$ acts non-trivially is also acted on non-trivially by the image of $$\Gamma'$$ in $$Z$$. Since $$Z$$ acts trivially on $$\overline{\rho}_v^* \otimes \overline{\rho}_v$$ ($$\overline{\rho}_v$$ being irreducible, by the main theorem), we are reduced to the assertion that $$\overline{\kappa}^i$$ is a non-trivial $$\Gamma_F$$-representation for $$i=1, \ldots, \ell-2$$, which holds by our restriction on $$\ell$$. The corollary now results from the fact that $$\mathrm{Hom}_{\Gamma_F}(\rho_v, \rho_v(i))=0$$ for any $$i \neq 0$$. ■ We likewise deduce the following application: Corollary 3.11. Let $$\{\rho_v\}_{v \in \Sigma}$$ be a compatible system of representations with coefficients in $$E$$, where $$\Sigma=\Sigma(\Pi)$$ for $$\Pi$$ a set of rational primes of density 1. Suppose that each $$\rho_v$$ is absolutely Lie-irreducible, in the sense that for all finite extensions $$L/F$$, the restriction $$\rho_v|_{\Gamma_L}$$ remains absolutely irreducible. Then for any integer $$d$$, there is a density one subset $$\Pi_d \subset \Pi$$ such that for all $$v \in \Sigma(\Pi_d)$$, and all extensions $$L/F$$ of degree at most $$d$$, the restriction $$\overline{\rho}_v|_{\Gamma_L}$$ is absolutely irreducible. □ Proof As above, let $$\{\rho_{\ell}= \bigoplus_{v \mid \ell} \rho_v \}_{\ell \in \Pi}$$ be the associated compatible system with coefficients in $$\mathbf{Q}$$. By Corollary 1.7, there is a positive integer $$N$$, a density one subset $$\Pi' \subset \Pi$$, and for each $$\ell \in \Pi'$$ a reductive group scheme $$\mathcal{G}_{\ell}/\mathbf{Z}_{\ell}$$ with generic fiber $$G_{\ell}$$ such that $$\mathcal{G}_{\ell}(\mathbf{Z}_{\ell})$$ contains $$\Gamma= \rho_{\ell}(\Gamma_F)$$ as an open subgroup of index at most $$N$$. For any $$L/F$$ satisfying $$[L:F] \leq d$$, it follows that $$\mathcal{G}_{\ell}(\mathbf{Z}_{\ell})$$ contains $$\rho_{\ell}(\Gamma_L)$$ with index at most $$Nd$$, and that it contains $$\rho_{\ell}(\Gamma_L) \cap \Gamma^0$$ with index at most $$Nd \pi_0$$, where $$\pi_0$$ is the order of the component group (independent of $$\ell$$ by Serre’s theorem). Consider the representation $$\rho_v$$ over $$E_v$$ of the group $$G_{\ell}$$, and as before let $$\mathcal{V}$$ be a $$\mathcal{G}_{\ell}$$-stable lattice, and let $$\mathcal{E}= \mathrm{End}(\mathcal{V})$$. Finally let $$\overline{k}_v$$ be an algebraic closure of the residue field of $$E_v$$. Provided $$\ell$$ is sufficiently large, we then have (Eρℓ(ΓL)∩Γ0)k¯v=(EGℓ0)k¯v=(Ek¯v)Gℓ,k¯v0=(Ek¯v)ρℓ(ΓL)∩Γ0. The first equality holds because $$\mathcal{V}$$ is absolutely Lie-irreducible, so the invariants are in both cases just the scalars. The second is again Proposition 3.5, and the third is again Proposition 3.7, invoking the uniform index bound. ■ Funding This work was supported by National Science Foundation grants DMS-1303082 and DMS-1453893 to A.S.; and a Royal Society Research Professorship to A.W. Acknowledgments We thank the anonymous referees for their detailed feedback. We also thank Brian Conrad for many helpful comments regarding algebraic groups. References [1] Barnet-Lamb T. Gee T. Geraghty D. and Taylor. R. “Potential automorphy and change of weight.” Annals of Mathematics (2) 179, no. 2 (2014): 501– 609. Google Scholar CrossRef Search ADS [2] Conrad B. Chai C.-L. and Oort. F. Complex Multiplication and Lifting Problems. Mathematical Surveys and Monographs, vol. 195. Providence, RI: American Mathematical Society, 2014. [3] Guralnick R. Herzig F. Taylor R. and Thorne J. Appendix to Thorne. J. “On the automorphy of $$l$$-adic Galois representations with small residual image.” Journal of the Institute of Mathematics of Jussieu 11, no. 4 (2012): 855– 920. Google Scholar CrossRef Search ADS [4] Larsen M. “Maximality of Galois actions for compatible systems.” Duke Mathematical Journal 80, no. 3 (1995): 601– 30. Google Scholar CrossRef Search ADS [5] Larsen M. and Pink. R. “On $$\ell$$-independence of algebraic monodromy groups in compatible systems of representations.” Inventiones Mathematicae 107, no. 3 (1992): 603– 36. Google Scholar CrossRef Search ADS [6] Serre J.-P. Abelian $$\ell$$-Adic Representations and Elliptic Curves. Wellesley, MA: AK Peters Ltd, 1998. [7] Snowden A. and Wiles. A. “Bigness in Compatible Systems” In Elliptic Curves, Modular Forms and Iwasawa Theory (In Honour of John Coates’ 70th Birthday, Cambridge, UK, March 2015), edited by David Loeffler and Sarah Zerbes Springer Proceedings in Mathematics and Statistics, 2016. [8] Zarhin Y. “A finiteness theorem for unpolarized abelian varieties over number fields with prescribed places of bad reduction.” Inventiones Mathematicae 79, no. 2 (1985): 309– 21. Google Scholar CrossRef Search ADS © The Author(s) 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.

International Mathematics Research Notices – Oxford University Press

**Published: ** Jan 1, 2018

Loading...

personal research library

It’s your single place to instantly

**discover** and **read** the research

that matters to you.

Enjoy **affordable access** to

over 12 million articles from more than

**10,000 peer-reviewed journals**.

All for just $49/month

Read as many articles as you need. **Full articles** with original layout, charts and figures. Read **online**, from anywhere.

Keep up with your field with **Personalized Recommendations** and **Follow Journals** to get automatic updates.

It’s easy to organize your research with our built-in **tools**.

Read from thousands of the leading scholarly journals from *SpringerNature*, *Elsevier*, *Wiley-Blackwell*, *Oxford University Press* and more.

All the latest content is available, no embargo periods.

## “Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

## “Whoa! It’s like Spotify but for academic articles.”

@Phil_Robichaud

## “I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”

@deepthiw

## “My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”

@JoseServera

- Read unlimited articles
- Personalized recommendations
- No expiration
- Print 20 pages per month
- 20% off on PDF purchases
- Organize your research
- Get updates on your journals and topic searches

**$49/month**

Start Free Trial

14-day Free Trial

Best Deal — 39% off
### Annual Plan

- All the features of the Professional Plan, but for
**39% off**! - Billed annually
- No expiration
- For the normal price of 10 articles elsewhere, you get one full year of unlimited access to articles.

~~$588~~

**$360/year**

Start Free Trial

14-day Free Trial

Read and print from thousands of top scholarly journals.

System error. Please try again!

or

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.