arxiv: v1 [math.nt] 9 Nov 2016

Transcription

1 LARGE IMAGES OF REDUCIBLE GALOIS REPRESENTATIONS arxiv: v1 [math.nt] 9 Nov 2016 AFTAB PANDE Abstract. Given a reducible Galois representation ρ : G Q GL 2 (F q) we show there exists an irreducible deformation ρ : G Q GL 2 (W[[T 1,T 2,..,T r,...,]]) of ρ ramified at infinitely many primes, where W denotes the ring of Witt vectors of F q. This is a modification of Ramakrishna s result for the irreducible case Introduction In [R] it was shown that one could lift a mod p representation ρ to a power series ring in infinitely many variables which was generalized for totally real fields by [P]. In this paper, we extend these results for a reducible representation ρ : G Q GL 2 (F q ), where F q is a finite field of residue characteristic p and cardinality q = p t. We use cohomology classes which work for all lifts ρ n unlike [HR] where their cohomology classes cannot be used to lift from mod p to mod p 2. This allows us to get an irreducible deformation of a reducible representation in infinitely many variables. The case of a reducible deformation of a residually reducible representation was addressed in [S]. The author hopes to use these methods to generalize other lifting results of Ramakrishna for arbitrary number fields in an ongoing project. Our main theorem is the following: Theorem 1.1. Let ρ : G Q GL 2 (F q ) where ρ = φ and S be the set of primes containing 0 1 p and and all those at which ρ is ramified. Suppose: p 3 ρ is indecomposable the F p span of the elements in the image of φ is all of F q, φ 2 1 φ χ,χ 1, where χ is the mod p reduction of the cyclotomic character 1 AMS MSC codes 11F80. Keywords: Deformations; Galois representations. 1

2 2 AFTAB PANDE for ρ odd that ρ Gp is not unramified of the form χ or χ , where the may be trivial., and for ρ even that ρ Gp is not then there exists an irreducible deformation ρ : G Q GL 2 (W[[T 1,T 2,..,T r,...,]]) of ρ ramified at infinitely many primes, where W denotes the ring of Witt vectors of F q. We start with ρ : G Q GL 2 (F q ) and by adding primes to the ramification we lift it successively to ρ n : G Q,Sn GL 2 (W[[T 1,...,T n ]]/(p,t 1,...,T n ) n ), and define ρ = lim n ρ n. If R n is the deformation ring of ρ n with m Rn its maximal ideal, then we see that R n /m n R n = W[[T 1,...,T n ]]/(p,t 1,...,T n ) n. We will add more primes of ramification to S n and get a new set of primes S n+1, such that the deformation ring associated to S n+1 has /m n+1 as a quotient. This gives us a surjection from /m n+1 R n /m n R n, which allows us to get the inverse limit R = lim n R n /m n R n. 2. Notation We refer the reader to the notation used in [HR] but briefly outline some definitions and notations here. G Z is the Galois group over Q of its maximal extension unramified outside a finite set of primes Z. For w Z, G w = Gal(Q w /Q w ), where Q w is the completion of Q at w. For a G Q = Gal(Q/Q) module M, Q(M) is the field fixed by the subgroup of G Q that acts trivially on M. The G m -dual of M is denoted by M. For f H 1 (G Q,M), we denote by L f the field fixed by the kernel of the homomorphism f Gal(Q/Q(M)). X = Ad 0 (ρ) is the set of trace zero 2 2 matrices over F q with Galois action through ρ by conjugation. Let K = Q(X ) which is equivalent to Q(X,µ p ). For w unramified in a Galois extension L/Q we denote a Frobenius at w by σ w. S is the set of primes containing p, and all those at which ρ is ramified. For a character κ : G Q F q, we denote by F q (κ) the module F q with Galois action via κ.

3 LARGE IMAGES OF REDUCIBLE GALOIS REPRESENTATIONS 3 3. Trivial primes and the modification of N v We modify the lemmas in [R] for a residually reducible representation ρ : G Q GL 2 (F q ) using the language of [HR] and some ideas from [CP]. The following lemmas are used in the next section to find sets of primes that we add to the ramification to remove global obstructions, and cohomology classes associated to these new primes which we use to overcome local obstructions to lifting at each level n. The lemmas are adaptions of lemmas of Ramakrishna, so we show the modification and outline the rest of the argument. Definition. Let ρ be as in the hypothesis of Theorem 1.1. For v unramified in ρ we say v is a trivial prime if: v is unramified in Q(ρ) and ρ(σ v ) is trivial, and v 1 mod p Since ρ is reducible, the Galois module X = Ad 0 (ρ) has a filtration of Galois stable F q -subspaces of the form U 1 = 0 b,u 2 = a b,u 3 = a b, while the Galois module X a c a has a filtration of the F q -subspaces V 1 = (X/U 2 ),V 2 = (X/U 1 ),V 3 = X. For a subquotient M of X or X, the φ, trivial, φ 1, χφ, φ, χφ 1 eigenspaces are the eigenspaces under the prime to p action of Gal(Q(φ,µ p )/Q) under a splitting of the long exact sequence 1 Gal(K/Q(φ,µ p )) Gal(K/Q) Gal(Q(φ,µ p )/Q) 1 Definition. For any M {U 1,U 2,U 3,V 1,V 2,V 3 } and Z a finite set of primes containing S we define X i Z (M) to be the kernel of the map Hi (G Z,M) v Z H i (G v,m). Definition. Let N w be a subgroup of H 1 (G w,m) and let Nw be its annihilator in H1 (G w,m ) under local Tate duality. Let N = {N w } w Zp. The Selmer group HN 1 (G Z,M) is the kernel of the restriction map: H 1 (G Z,M) w Z H 1 (G w,m)/n w Let N = {N w} w Zp. We define the dual Selmer group H 1 N (G Z,M ) is the kernel of the other restriction map: H 1 (G Z,M ) w Z H 1 (G w,m )/N w

4 4 AFTAB PANDE Definition. We say an element f H 1 (G Z,X) (resp. ψ H 1 (G Z,X )) has rank d if d is the smallest number such that f (resp. ψ) is in the image of the map H 1 (G Z,U d ) H 1 (G Z,X) (resp. H 1 (G Z,V d ) H 1 (G Z,X )) Lemma 3.1. Let M be any of the subspaces {U 1,U 2,U 3,V 1,V 2,V 3 }, then there exists a finite set Q 1 of trivial primes such that X 1 S Q 1 (M) = 0. Proof. We mimic the proof of Prop 13 of [HR] and outline the argument. Let ψ H 1 (G Q,X) and L ψ be the field fixed by the kernel of ψ. Let P be the subgroup of G Q that acts trivially on M and H = Gal(L ψ /Q). By Proposition 8 of [HR], we can assume that H 1 (Gal(Q(M)/Q),M) is trivial. We have the inflation-restriction sequence: 0 H 1 (H/P,X P ) H 1 (H,M) H 1 (P,M) H/P Now,H/P = Gal(Q(M)/Q) andp acts trivially onx, soh 1 (H/P,M P ) = H 1 (Gal(Q(M)/Q),M) which was assumed to be trivial. So a non-trivialψ H 1 (H,M) gives rise to a non-trivial element of H 1 (P,M) H/P which is Hom(P,M) H/P as P acts trivially on M. This shows that L ψ is a non-trivial extension of Q(M). If ψ X 1 S (M), then we choose a trivial prime q such that it splits completely from Q to Q(M) but not from Q(M) to L ψ, which means that ψ Gq 0, so ψ / X 1 S {q} (M). As H 1 (G S,M) is finite, we repeat this procedure and get a finite set of trivial primes Q 1 such that X 1 S Q 1 (M) = 0. Let (z v ) v S Q1 / v S Q1 N v ψ S Q1 (H 1 (G S Q1,X)) be a set of cohomology classes which we will use eventually to overcome obstructions to lifting in the next section. Lemma 3.2. Let Q 1 be as in lemma 3.1. There exists a Cebotarev class L of trivial primes such that β Gv = 0 for all β H 1 (G S Q1,U i ) for i = 1,2 and for all β H1 (G S Q1,X) There exists an F p -basis {ψ,ψ 1,..,ψ r } of H 1 (G S Q1,X ) such that {ψ 1,..,ψ r } is a basis of ψ 1 S Q 1 (Ann(z w ) w S Q1 ), ψ Gv 0 and ψ i Gv = 0 for all i 1. Furthermore, there is for each v L, a rank 3 element h v H 1 (G S Q1 {v},x) and a decomposition group above v such that h v Gw = (z w ) w S Q1 and h v (τ v ) = 0 0 with s 0. s 0

5 LARGE IMAGES OF REDUCIBLE GALOIS REPRESENTATIONS 5 Proof. The difference between the above lemma and Prop 34 of [HR] is that we have added the additional condition of β Gv = 0 for all β H 1 (G S Q1,X), where X corresponds to U 3 in the notation above. This means that we need the prime v to split completely in the φ,φ 1 and identity eigenspaces which are disjoint from the χ/φ eigenspace of U1 and the χ/φ and χ eigenspaces of U 2. The modified definition of trivial primes imposes only splitting conditions and the only non-splitting condition in the hypothesis above is in the χφ eigenspace of Gal(K ψ /K), none of which are in U1,U 2 and X. Now, following the argument of Prop 34 of [HR] we see that v comes from a Cebotarev condition. As h v (τ v ) = 0 0 with s 0, we define the sets C v and N v of [CP], to be the conjugates s 0 by the matrix 0 1 for the primes v that we add. 1 0 We cannot control the behavior of h v at σ v, so we add a pair of primes v 1,v 2 such that h = h v1 + 2h v2 has the appropriate image at Frobenius and h Gw = z w for w S Q 1. Altering the definition of trivial primes still allows us to use the same techniques of [HR] so we can use the following result (Theorem 41 of [HR]). Theorem 3.3. There is a set of two primes {v 1,v 2 } coming from the Cebotarev class L in the previous lemma such that for h = h v1 + 2h v2 we can choose the values of h(σ vi ) arbitrarily for i = 1,2. 4. Main theorem and its proof Let C l be the setof deformation classes of ρ to W satisfying ρ(σ l ) = l 0 and ρ(τ l ) = We define u 1,u 2 H 1 (G l,x) by: u 1 (σ l ) = 0 1 and u 1 (τ l ) = u 2 (σ l ) = 0 0 and u 2 (τ l ) = Note that these two cohomology classes are the same as in [HR]. We refer the reader to the calculations of Lemma 4.1 in [CP] to produce the third cohomology classu 3 to get a three dimensional subspace N l which preserves C l.

6 6 AFTAB PANDE Recall that R n is the deformation ring of ρ n with m Rn its maximal ideal. We assume that there exists ρ n : G Sn GL 2 (R n /m n R n ), X 2 S n (X) = 0 and dimh 1 N (G S n,x) = n. By theorem [?] we can find a set of primes B such that dimh 1 N (G S n B,X) = n+1 (we simply choose the α i C vi in the proof of theorem 3.3). Let U be the deformation ring and ρ U be the deformation associated to the augmented set S n B, with the deformation conditions (N v,c v ). If B consists of primes such that ρ n Gv C v for v B, we have a surjection φ : U R n /m n R n and we follow the argument as in [R] or [P]. If ρ n Gv / C v for v B, then we choose a set of cohomology classes (z v ) v Sn B such that the action of z v on ρ n Gv overcomes the local obstructions at v S n B. By theorem 3.3 we can find a set A of two primes and a cohomology class h such that: ρ n = (I +p n h)ρ n Gq C q for q A (no new obstructions at A) h Gv = z v, for v S n B (h overcomes local obstructions at S n B) We now show that adding this set of primes A does not alter the dimension of the Selmer groups, hence does not add more variables to the ring of power series. Lemma 4.1. For a set A = {v 1,v 2 } of two primes chosen as in theorem 3.3 and (z v ) v Sn B / v Sn BN v ψ Sn B(H 1 (G Sn B,X)) we have H 1 N (G S n B,X) = H 1 N (G S n B A,X). Proof. We adapt the argument of Prop 4.1 of [R]. Recall that in Lemma 3.2 the trivial primes v were chosen so that β H 1 (G T,X) β Gv = 0. As N v is a three dimensional subspace including the zero cocyle u 2, we see that β Gv = 0 β N v. Thus, HN 1 (G S n B,X) HN 1 (G S n B A,X). Any element of HN 1 (G S n B A,X)\HN 1 (G S n B,X) necessarily looks like f+α 1 h v1 +α 2 h v2, where f H 1 (G Sn B,X) and h vi are as in theorem 3.3. Since α 1 h v1 +α 2 h v2 Gv = (α 1 +α 2 )z v f+n v for v S n B A, we see that α 1 +α 2 = 0. We know that α 1 (h v1 h v2 ) Gq = 0 for all q S n B which means that f Gq N q for all q S n B f HN 1 (G S n B,X). We also know that f Gvi = 0 for i = 1,2, so f HN 1 (G S n B A,X). Thus, α 1 (h v1 h v2 ) HN 1 (G S n B A,X) α 1 (h v1 h v2 ) Gvi N vi, for i = 1,2. We now look at the construction of the h vi in the proof of the previous lemma to get a contradiction. Ifρ n Gvi / C vi, we chooseh Gvi = h v1 +2h v2 / N vi fori = 1,2. This implies that A+2E / N v1 while we have that h v1 h v2 Gvi N v1 A E N v1. Combining these two conditions we get that A,E / N v1 so α 1 = 0 and f HN 1 (G S n B A,X) which is a contradiction. A similar argument works for N v2.

7 LARGE IMAGES OF REDUCIBLE GALOIS REPRESENTATIONS 7 If ρ n Gvi C vi and h vi (σ vi ) / N vi i.e. A / N v1, then using the fact that A E N v1 and A+2E N v1, we get that A N v1, which is a contradiction. (Note that if A consists of only one prime, then the proof is exactly the same as in the first part of Prop 4.1 in [R]) Let W be the deformation ring and ρ W associated to the augmented problem with deformation conditions (N v,c v ). As ρ n Gq C q for q A we have a surjection φ : W Rn /m n R n, which means that for some I 1, we W/I 1 = R n /m n R n. As dimh 1 N (G S n B,X) = dimh 1 N (G S n B A,X) = n+1, we see that as a ring W consists of power series of (n + 1) variables. Thus, for some I 2, W/I2 = F q [[T 1,...,T n+1 ]]/(T 1,...,T n+1 ) 2. Let I = I 1 I 2, and define W 0 = W/I. Our goal is to get a deformation ring which has /m n+1 as a quotient. If W 0 is such a deformation ring, we are done. If not, we get a sequence: /m n+1... W 1 W 0 where the kernel at each stage has order p. We add more primes of ramification to S n B A so that the augmented deformation ring has W 1 as a quotient and keep iterating to get our required deformation ring. As W 0 is a quotient of W, we let ρw0 be the deformation induced by ρ W. As ρ W0 Gv C v for v S n B A we can lift ρ W0 to W 1. Let us call this deformation ρ W1. Iterating the same argument as forρ n we can liftρ W1 tow 2 by adding a suitable set of primesa 1 to the set of ramification allowing us to eventually find a deformation that has /m n+1 = W[[T 1,...,T n+1 ]]/(p,t 1,...,T n+1 ) n+1 as a quotient. Now we are in a position to state the final theorem. Theorem 4.2. There exists an irreducible deformation of ρ, ramified at infinitely many primes, ρ : G Q GL 2 (W[[T 1,T 2,..,T r,...,]]). Proof. We let ρ = lim n ρ n and see that at each stage n, Imρ n GL 2 (W[[T 1,...,T n ]]/(p,t 1,...,T n ) n ). Hence, we get our desired deformation. By Corollary 43 of [HR], the deformation is irreducible. 5. Concluding remarks In [P], one could not generalize the results of [R] for all number fields. One of the problems in using our definition of trivial primes is that when one adds them to the ramification set to solve the local condition property (finding an h v such that h v Gw = (z w ) w Z ), the behavior

8 8 AFTAB PANDE at inertia is hard to control. In the reducible case one can use the subspaces U i to find a suitable h v but, in the irreducible case it is hard to guarantee the behavior of h v at inertia. In [R], the image of the deformation is full, i.e, ρ contains SL 2 (Z p [[T 1,T 2,..,T r,...,]]) but requires that the image of the residual representation ρ contains SL 2 (Z/pZ), which is not true in our case. Hence, we do not get that the image of our deformation is full. 6. Acknowledgements The author would like to thank A. Pacetti and M. Camporini for many conversations on deformation theory during two visits to Buenos Aires in 2014 which were funded by MathAmSud project DGMFPGT. This article was finished during a one year stay in 2015 at Universite Paris-6 which was funded by the CNPQ grant PDE / The author gratefully acknowledges support from all the agencies and thanks the Universidad de Buenos Aires and Universite Paris-6 for their hospitality. References [CP] M. Camporini, A. Pacetti, Congrunces between modular forms modulo prime powers, preprint. [HR] S. Hamblen, R. Ramakrishna, Deformations of certain reducible Galois Representations II, American Journal of Mathematics, v. 07, p. 2065, [KLR], C. Khare, M. Larsen, R. Ramakrishna, Constructing semi-simple Galois Representations with prescribed properties, American Journal of Mathematics 127 (2005), [P] A. Pande, Deformations of Galois Representations and the Theorems of Sato-Tate and Lang-Trotter, Int. J. Num Thy, v. 07, p. 2065, [R] R. Ramakrishna, Constructing Galois representations with very large image, Canad. J. Math. Vol. 60 (1), 2008 pp [S] J-P, Serre, Abelian l -adic representations and elliptic curves. W.A. Benjamin, Inc, New York (1968). Instituto de Matemática, Universidade Federal do Rio de Janeiro, Brasil address: aftab.pande@gmail.com