\(m\)-bigness in compatible systems (Q609366)

The objective of this note is to give the changes necessary in order to generalize the results of \textit{A. Snowden} and \textit{A. Wiles} [``Bigness in compatible systems'', \url{arXiv:0908.1991}] on 1-big to \(m\)-big. Let \(m\) be a positive integer, let \(F\) be a number field, let \(E\) be a Galois extension of \(\mathbb Q\), let \(L\) be a full set of places of \(E\) and for each \(w\in L\), let \(\rho_w\text{Gal} (\overline{\mathbb Q}/F)\rightarrow \text{GL}_n(E_w)\) be a continuous representation and let \(\Delta_w\subset \text{Gal} (\overline{\mathbb Q}/F)\) be a normal open subgroup. Assume that the following conditions are satisfied: \(\rho_w\) form a compatible system of representations; \(\rho_w \) is absolutely irreducible when restricted to any open subgroup of \(\text{Gal} (\overline{\mathbb Q}/F)\) for all \(w\in L\); \(\text{Gal} (\overline{\mathbb Q}/F)/\Delta_w\) is cyclic of order prime to \(l\) (the residual characteristic of \(w\) and goes to infinite as \(w\rightarrow\infty\). The main result of the paper proves that there exists a set of places \(P\) of \(\mathbb Q\) of Dirichlet density \(1/[E:Q]\), all of which split completely in \(E\) such that for all \(w\in L\) above \(l\in P\), \(\overline{\rho}_w (\Delta_w)\) is an \(m\)-big subgroup \( \text{GL}_n(\mathbb F_l)\) and the index \([\ker\text{ad}\, \overline{\rho}_w:\Delta_w\cap\ker\text{ad}\, \overline{\rho}_w]>m\), where \(\overline{\rho}_w\) is the semi-simplified reduction modulo \(l\) of \(\rho_w\). The author defines and studies the properties of \(m\)-big subgroups of \(\text{GL}(V)\), where \(V\) is a finite dimensional vector space over a finite field, and the notions of a group with Frobenii and of a compatible system of representations by slightly modifying the corresponding definitions in the preprint of Snowden-Wiles [loc. cit.].