arxiv:math/ v1 [math.nt] 23 Dec 2002

Transcription

1 arxiv:math/ v1 [math.nt] 23 Dec 2002 SUPPORT PROBLEM FOR THE INTERMEDIATE JACOBIANS OF l-adic REPRESENTATIONS G. Banaszak, W. Gajda, P. Krasoń Abstract. We consider the support problem of Erdös in the context of l-adic representations of the absolute Galois group of a number field. Main applications of the results of the paper concern Galois cohomology of the Tate module of abelian varieties with real and complex multiplications, the algebraic K-theory groups of number fields and the integral homology of the general linear group of rings of integers. We answer the question of Corrales-Rodrigáñez and Schoof concerning the support problem for higher dimensional abelian varieties. 1. Introduction. The support problem for G m was first stated by Pál Erdös who in 1988 raised the following question: let Supp(m) denote the set of prime divisors of the integer m. Let x and y be two natural numbers. Are the following two statements equivalent? (1) Supp(x n 1) = Supp(y n 1) for every n N, (2) x = y. This question, along with its extension to all number fields, and also its analogue for elliptic curves, were solved by Corrales-Rodrigáñez and Schoof in the paper [C-RS]. Other related support problems can be found in [Ba] and [S]. In the present paper we investigate the support problem in the context of l-adic representations ρ l : G F GL(T l ). The precise description of the class of representations which are considered is rather technical. It is given by Assumptions I, II in sections 2 and 3, respectively. This class of representations contains powers of the cyclotomic character, Tate modules of abelian varieties of nondegenarate CM type, and also Tate modules of some abelian varieties with real multiplications (cf. Examples ). 1 Typeset by AMS-TEX

2 2 G. BANASZAK, W. GAJDA, P. KRASOŃ Consider the reduction map r v :H 1 f,s l (G F ; T l ) H 1 (g v ; T l ), for all v / S l, which is defined on the subgroup H 1 f,s l (G F ; T l ) of the Galois cohomology group H 1 (G F ; T l ) (see Definition 2.2). S l denotes here a finite set of primes which contains primes over l in F. Let B(F) be a finitely generated abelian group such that for every l there is an injective homomorphism ψ F,l : B(F) Z l H 1 f,s l (G F ; T l ). Let P and Q be two nontorsion elements of B(F). Put ˆP = ψ F,l (P 1) and ˆQ = ψ F,l (Q 1). Our main point of interest is the following support problem. Support Problem. Let P be an infinite set of prime numbers. Assume that for every l P the following condition holds in the group H 1 (g v ; T l ) : for every integer m and for almost every v S l mr v (ˆP) = 0 implies mr v (ˆQ) = 0. How are the elements P and Q related in the group B(F)? Main results. Let P be the infinite set of prime numbers which we define precisely in section 4 of the paper. We prove the following theorem. Theorem A. [Th. 5.1] Assume that for every l P, for every integer m and for almost every v S l the following condition holds in the group H 1 (g v ; T l ) : mr v (ˆP) = 0 implies mr v (ˆQ) = 0. Then there exist a Z {0} and f O E {0} such that ap +fq = 0 in B(F). Here O E denotes the ring of integers of the number field E associated with the representation ρ l (see Definition 3.2). In order to prove Theorem A we investigate representations with special properties formulated in Assumption I and Assumption II. We introduce the notion of the Mordell-Weil O E -module for such representations. Proof of Theorem A is based on a careful study of reduction maps in Galois cohomology associated with the given l-adic representation satisfying Assumptions I and II. We managed to extend the method of [C-RS] to the context of such l-adic representations. The main point in the proof is to control the relation between arithmetical properties of the images of l-adic representations and reduction maps. Key theorems on the image of the representations are proved in the separate work cf. Theorem A and Theorem B of [BGK1]. In section 6 of the paper we derive the following corollaries of Theorem A.

3 SUPPORT PROBLEM, 3 Theorem B. [Cor. 6.4] Let P, Q be two nontorsion elements of the algebraic K-theory group K 2n+1 (F), where n is an even, positive integer. Assume that for almost every prime v of O F and every integer m the following condition holds in the group K 2n+1 (k v ) : mr v (P) = 0 implies mr v (Q) = 0, where in this case, r v is the map induced on the Quillen K-group by the reduction at v. Then the elements P and Q of K 2n+1 (F) are linearly dependent over Z. Note that Theorem B has already been proven by a different method in [BGK]. Theorem A has the following corollary concerning the class of abelian varieties mentioned in the beginning of this Introduction. Theorem C. [Cor. 6.11] Let A be an abelian variety of dimension g 1, defined over the number field F and such that A satisfies one of the following conditions: (1) A has the nondegenerate CM type with End F (A) Q equal to a CM field E such that E H F (cf. example 3.5) (2) A is simple, principally polarised with real multiplication by a totally real field E = End F (A) Q such that E H F and the field F is sufficiently large. We also assume that dima = he, where e = [E : Q] and h is odd (cf. example 3.6) or A is simple, principally polarised such that End F (A) = Z and dima is equal to 2or 6 (cf. example 3.7 (b)). Let P, Q be two nontorsion elements of the group A(F). Assume that for almost every prime v of O F and for every integer m the following condition holds in A v (k v ) mr v (P) = 0 implies mr v (Q) = 0. Then there exist a Z {0} and f O E {0} such that ap +fq = 0 in A(F). There are two important special cases of abelian varieties satisfying conditions of (2) of Theorem C: abelian varieties A with End F (A) = Z such that dima is an odd integer [Se1] (cf. example 3.7 (b)) and abelian varieties with real multiplication by a totally real number field E = End F (A) Q, such that e = g [R1] (cf. example 3.7 (a)). Note that for these abelian varieties the analogues of the open image theorem of Serre have been proven [R1] and [Se1]. The proof of Theorem C relies on the analysis of the image of the corresponding Galois representation. The necessary information on the image of Galois representations on l- torsion points of abelian varietiesfrom(1)and(2)oftheoremcisprovidedbytheorem2.1andtheorem3.5 of [BGK1]. It is worth mentioning that Theorem C given above provides an answer to the question of Corrales-Rodrigáñez and Schoof about the support problem for higher dimensional abelian varieties [C-RS], p. 277.

4 4 G. BANASZAK, W. GAJDA, P. KRASOŃ Acknowledgements: We thank the ICTP in Trieste, the MPI in Bonn, the SFB 343 in Bielefeld, CRM in Barcelona, Mathematics Departments of the Ohio State University, Northwestern University and the Isaac Newton Institute in Cambridge for hospitality and financial support during our visits to the institutions, while the work on this paper continued. We would like to thank the anonymous referee for usefull remarks and suggestions which improved the exposition. The research was partially financed by a KBN grant 2 PO3A Notation l is an odd prime number. F is a number field, O F its ring of integers. G F = G( F/F) v denotes a finite prime of O F. is the ring of S integers in F, for a finite set S of prime ideals in O F is the Galois group of the maximal extension of F unramified outside S F v is the completion of F at v and k v denotes the residue field O F /v G v = G(F v /F v ) I v is the inertia subgroup of G v g v = G(k v /k v ) T l denotes a free Z l -module of finite rank d. V l = T l Zl Q l A l = V l /T l ρ l : G F GL(T l ) is a representation unramified outside a fixed finite set S l of primes of O F, containing all primes over l. ρ l denotes the residual representation G F GL(T l /l) induced by ρ l. F l = F(A l [l]) denotes the number field F kerρ l. G l = G(F l /F); observe that G l = ρl (G F ) is isomorphic to a subgroup of GL(T/l) = GL d (Z/l). Let L/F be a finite extension and w a finite prime in L. To indicate that w is not over any prime in S l we will write w / S l, slightly abusing notation. O F,S G F,S [H, H] denotes the commutator subgroup of an abstract group H. H i (G,M) denotes Galois cohomology group of the G-module M. 2. l-adic Intermediate Jacobians. Definition 2.1. Define Hf(G 1 F ;T l ), (resp. Hf(G 1 F ;V l )) to be the kernel of the natural map: H 1 (G F ;T l ) v H 1 (G v ;T l )/H 1 f (G v;t l )

5 SUPPORT PROBLEM, 5 (resp. H 1 (G F ;V l ) v H 1 (G v ;V l )/H 1 f (G v;v l )) where H 1 f (G v;t l ) = i 1 v H 1 f (G v;v l ) via the natural map i v : H 1 (G v ;T l ) H 1 (G v ;V l ). The group H 1 f (G v;v l ) is defined in [BK] p. 353 (see also [F] p. 115) as follows: Ker(H 1 (G v ;V l ) H 1 (I v ;V l )) if v l Hf(G 1 v ;V l ) = Ker(H 1 (G v ;V l ) H 1 (G v ;V l Ql B cris )) if v l, where B cris is the ring defined by Fontaine (cf. [BK] p. 339). We have the natural maps H 1 f(g F ;T l ) v H 1 f(g v ;T l ), H 1 f (G F;V l ) v H 1 f (G v;v l ). Definition 2.2. We also define as the kernel of the natural map: H 1 f,s l (G F ;T l ) (resp. H 1 f,s l (G F ;V l )) H 1 (G F ;T l ) (resp. H 1 (G F ;V l ) v/ S l H 1 (G v ;T l )/H 1 f (G v;t l ) v/ S l H 1 (G v ;T l )/H 1 f (G v;v l )). Here S l denotes a fixed finite set of primes of O F containing primes over l and such that the representation ρ l is unramified outside of S l. Obviously H 1 f(g F ;T l ) H 1 f,s l (G F ;T l ) and H 1 f(g F ;V l ) H 1 f,s l (G F ;V l ). Below we define various intermediate Jacobians associated with the representation ρ l, (cf. [Sc], chapter 2).

6 6 G. BANASZAK, W. GAJDA, P. KRASOŃ Definition 2.3. We put (1) (2) J(T l ) = lim L/F J f (T l ) = lim L/F H 1 (G L ;T l ), J(V l ) = lim H 1 (G L ;V l ) L/F Hf 1 (G L,T l ), J f (V l ) = lim Hf 1 (G L;V l ) L/F (3) J f,sl (T l ) = lim L/F Hf,S 1 l (G L ;T l ), J f,sl (V l ) = lim Hf,S 1 l (G L ;V l ) L/F where the direct limits are taken over all finite extensions L/F of the number field F, which are contained in some fixed algebraic closure F. Remark 2.4. Observe that the groups J(V l ), J f (V l ) and J f,sl (V l ) are vector spaces over Q l. Remark 2.5. Note that we also could have defined the intermediate Jacobians of the module T l for the cohomology groups of G F,Σ for any Σ containing S l. However, if H 0 (g v ;A l ( 1)) is finite for all v / S l, (as it often happens for interesting examples of T l ), then H 1 (G F,Σ ;T l ) = H 1 (G F ;T l ). In the sequel we will only consider l-adic representations which satisfy the following condition. Assumption I. Assume that for each l, each finite extension L/F and any prime w of O L, such that w S l, we have T Fr w l = 0, (or equivalently V Fr w l w. = 0), where Fr w g w denotes the arithmetic Frobenius at Example 2.6. Let X be a smooth projective variety defined over a number field F with good reduction at primes v / S l. Let X be the regular, proper model of X over O F,Sl and let X v be its reduction at the prime v of O F,Sl. Put X = X F F and X v = X v kv k v. In the case when H i et(x;z l (j)) is torsion free for some i,j such that i 2j we put T l = H i et(x;z l (j)).

7 SUPPORT PROBLEM, 7 By the theorem of proper and smooth base change ([Mi1] VI, Cor. 4.2) there is a natural isomorphism of G v -modules (2.7) H i et (X;Z l(j)) = H i et (X v;z l (j)). (cf. [Ja]p. 322). SincetheinertiasubgroupI v G v actstriviallyonh i et (X v;z l (j)), we observe by (2.7) that the representation ρ l : G F GL(T l ) is unramified outside S l. It follows by the theorem of Deligne [D1] (proof of the Weil conjectures, see also [Har] Appendix C, Th. 4.5) that for an ideal w of O L such that w S l, the eigenvalues of Fr w on the vector space V l = H i et (X;Q l(j)) are algebraic integers of the absolute value N(w) i/2+j, where N(w) denotes the absolute norm of w. It follows that T Fr w l = 0. In the special case when X = A is an abelian variety defined over F, we have T l = Het(A;Z i l (j)) = i Het(A;Z 1 l )(j) = i Hom Zl (T l (A);Z l )(j), which is a free Z l module of rank ( ) 2g i by [Mi2] Th In this paper, most of the time we will consider the representation ρ l : G F GL(T l (A)) of the Galois group G F on the Tate module T l (A) = H 1 et(a;z l ) of the abelian variety A defined over F, where for a Z l -module M, we put M = Hom Zl (M;Z l ). By the above discussion we see that ρ l satisfies Assumption I. Lemma 2.8. For every prime w of O L which is not over primes in S l, we have: (1) the natural map H 1 (G w ;T l )/Hf 1 H1 (G w ;V l )/Hf 1 is an imbedding, (2) Hf 1(G w;t l ) tor = H 1 (G w ;T l ) tor = H 0 (G w ;A l ) = H 0 (g w ;A l ) (3) Hf 1(G w;t l ) = H 1 (g w ;T l ). Proof. First part of the lemma is obvious from the definition of H 1 f (G w;t l ). The second part follows immediately from the first part and the diagram (2.9). Note that H 1 (G w ;V l )/H 1 f (G w;v l ) is a Q l -vector space. To prove the third part consider consider again the diagram (2.9). H 0 (g w ; A l ) H 1 (g w ; T l ) Hf 1(G w; V l ) = (2.9) H 0 (G w ; A l ) H 1 (G w ; T l ) H 1 (G w ; V l ) H 0 (I w ; A l ) 0 H 1 (I w ; T l ) H 1 (I w ; V l )

8 8 G. BANASZAK, W. GAJDA, P. KRASOŃ The horizontal rows are exact. The middle and the right vertical columns are also exact. The left bottom horizontal arrow is zero because I w acts on T l, V l and A l trivially by assumption. This gives the exactness of the following short exact sequence. 0 H 0 (I w ;T l ) H 0 (I w ;V l ) H 0 (I w ;A l ) 0 In addition because of Assumption I we have H 0 (g w ;V l ) = H 0 (G w ;V l ) = 0. Therefore the left upper and middle horizontal arrows are imbeddings. The right, upper horizontal arrow is defined because of the commutativity of the lower, right square in the diagram. The middle vertical column is the inflation restriction sequence. It is actually inverse limit on coefficients of the inflation-restriction sequence but it remains exact with infinite coefficients because we deal with H 1. Now the claim follows by diagram chasing. Remark ObservethattheAssumptionIimplies,thatH 0 (g w ;A l )andh 1 (g w ;T l ) are finite for all w S l. Lemma For any finite extension L/F the following equalities hold. H 1 f,s l (G L ;T l ) tor = H 1 (G L ;T l ) tor = H 0 (G L ;A l ) Proof. The first equality follows from Lemma 2.8 and the exact sequence. 0 Hf,S 1 l (G L ;T l ) H 1 (G L ;T l ) H 1 (G w ;T l )/Hf 1 (G w;t l ). w/ S l Consider the exact sequence (see [T], p. 261): H 0 (G L ;V l ) H 0 (G L ;A l ) L H 1 (G L ;T l ). By Assumption I we get H 0 (G L ;V l ) = 0. Hence by [T], Prop. 2.3, p. 261 H 0 (G L ;A l ) = H 1 (G L ;T l ) tor. Thus, the second equality in the statement of Lemma 2.11 also holds. For w / S l consider the following commutative diagram

9 SUPPORT PROBLEM, 9 (2.12) Hf,S 1 l (G L ;T l ) H 1 (g w ; T l ) H 0 (G L ;A l ) H 0 (g w ; A l ). The bottom horizontal arrow is obviously an injection. Hence, by Lemmas 2.8 and 2.11, we obtain the following: Lemma For any finite extension L/F and any prime w / S l in O L the natural map is an imbedding. r w : H 1 f,s l (G L ;T l ) tor H 1 (g w ; T l ) Proposition We have the following exact sequences 0 A l J(T l ) J(V l ) 0 0 A l J f,sl (T l ) J f,sl (V l ) 0 In particular J(T l ) tor = J f,sl (T l ) tor = A l and the groups J(T l ) and J f,sl (T l ) are divisible. Proof. Consider the following long exact sequence (see [T] p. 261) H 0 (G L ; A l ) H 1 (G L ; T l ) H 1 (G L ; V l ) H 1 (G L ; A l ). Taking direct limits with respect to finite extensions L/F gives the following short exact sequence. 0 A l J(T l ) J(V l ) 0 This short exact sequence fits into the following commutative diagram

10 10 G. BANASZAK, W. GAJDA, P. KRASOŃ (2.15) 0 0 lim L/F w/ S l H 1 (G w ; T l )/Hf 1 lim L/F w/ S l H 1 (G w ; V l )/Hf 1 0 A l J(T l ) J(V l ) 0 = 0 A l J f,sl (T l ) J f,sl (V l ) The rows and columns of the diagram are exact. The exactness on the right of the bottom horizontal sequence follows from the injectivity of the top, nontrivial, horizontal arrow by Lemma 2.8. Proposition Let L be a finite extension of F. Then we have isomorphisms: (1) H 1 (G L ;T l ) = J(T l ) G L, (2) H 1 f,s l (G L ;T l ) = J f,sl (T l ) G L. Proof. Under condition of Assumption I the proof of claim (1) is done in the same way as the proof of (4.1.1) of [BE]. To prove (2) take an arbitrary finite Galois extension L /L and consider the following commutative diagram. 0 0 (2.17) Hf,S 1 l (G L ;T l ) Hf,S 1 l (G L ;T l ) G(L /L) H 1 (G L ;T l ) = H 1 (G L ;T l ) G(L /L) w/ S l H 1 (I w ; T l ) w/ S l ( w w H1 (I w ; T l ) ) G(L /L) The columns of this diagram are exact. The upper horizontal arrow is trivially an imbedding. The middle horizontal arrow is an isomorphism. This follows directly from claim (1). Since the representation ρ l is unramified outside S l then using Th. 8.1 and Cor. 8.3 Chap. I of [CF] and Kummer pairing we get the following commutative diagram

11 SUPPORT PROBLEM, 11 H 1 (I w ; T l ) H 1 (I w ; T l ) = = (2.18) Hom cts (I w ; T l ) Hom cts (I w ; T l ) = = Hom cts (Z l (1); T l ) Hom cts (Z l (1); T l ) Since L w /L w is a finite extension, the bottom horizontal arrow is induced by a nontrivial (hence injective) homomorphism of Z l -modules Z l (1) Z l (1). Because T l is a free Z l -module, every nontrivial homomorphism of Z l -modules Z l (1) T l is injective. Hence the bottom horizontal arrow in the diagram (2.18) is injective. So the bottom horizontal arrow in diagram (2.17) is also an imbedding. Now claim (2) follows by taking direct limits over L in diagram (2.17) and chasing the resulting diagram. At the end of this section we give some additional information about the reduction map r v :H 1 f,s l (G F ; T l ) H 1 (g v ; T l ). Proposition Let ˆP H 1 f,s l (G F ; T l ) be a nontorsion element. Given M 1 = l m 1 a fixed power of l, there exist infinitely many primes v S l such that r v (ˆP) H 1 (g v ; T l ) is an element of order at least M 1. Proof. Let M be a power of l which we will specify below. Let F M denote the extension F(A[M]). Consider the following commutative diagram. (2.20) Hf,S 1 l (G F ; T l )/M h 1 Hf,S 1 l (G F ; A[M]) h 2 Hf,S 1 l (G FM ; A[M]) h 3 Hom(G FM ; A[M]) r v H 1 (g v ; T l )/M r v H 1 (g v ; A[M]) r w H 1 (g w ; A[M]) r w Hom(Gw ; A[M]) h 4 = = Hom(G ab F M ; A[M]) r w Hom(gw ; A[M])

12 12 G. BANASZAK, W. GAJDA, P. KRASOŃ The horizontal arrows in the diagram (2.20) are induced by the reduction maps. We describe the vertical map. The map h 2 is an injection (cf. Prop. 4.3 (1)). The map h 3 is the injection which comes from the long exact sequence in cohomology associated to the following exact sequence of G FM -modules: (2.21) 0 A[l] J f,sl (T l ) l J f,sl (T l ) 0. The vertical maps on the right hand side of the diagram (2.20) are defined in the similar way. Consider the nontorsion element ˆP H 1 f,s l (G F ; T l ). Let l s be the largest power of l such that ˆP = l s ˆR for an ˆR H 1 f,sl (G F ; T l ). Such an l s exists since H 1 f,s l (G F ; T l ) is a finitely generated Z l -module. We put M = M 1 l s. Let P be the image of ˆP in Hom(G ab F M ; A[M]) under the composition of the maps h 1, h 2, h 3 and h 4. Since the maps h 1, h 2, h 3 and h 4 are injective, the element P is of order M 1. By the Chebotarev density theorem there exist infinitely many primes w S l such that the map r w preserves the order of P. Hence, for those w the element ˆP is mapped by the composition of left vertical and lower horizontal arrows onto an element whose order is M 1. The commutativity of (2.20) implies that r v (ˆP) H 1 (g v ; T l ) is of order at least M 1 for the primes v = w O F,Sl. Corollary Let ˆP H 1 f,s l (G F ; T l ) be an element which maps onto a generator of the free Z l - module H 1 f,s l (G F ; T l )/tor. There exist infinitely many primes v S l such that r v (ˆP) is a generator of a cyclic summand in the l-primary decomposition of the group H 1 (g v ; T l ). 3. Specification of l-adic representations. In addition to Assumption I the representations which we consider are supposed to satisfy Assumption II stated below. In order to formulate the assumption we introduce more notation. We fix a finite extension E/Q of degree e = [E : Q] such that the Hilbert class field E H of E is contained in F. We assume that each prime l splits completely in F. Let (l) = λ 1...λ e be the decomposition of the ideal (l) in O E. We also assume that O E acts on T l in such a way that T l is a free O E,l = O E Z l module of rank h and that the action of O E,l commutes with the action of G F given by the representation ρ l. It is clear that e divides d = dimρ l and h = d e. Put E l = O E,l Zl Q l. In addition, we denote by E λi the completion of E at λ i and by O λi the ring of integers in E λi. Now, it is obvious that e e O E,l = O λi and E l = E λi. i=1 i=1

13 SUPPORT PROBLEM, 13 Since T l has the O E,l -module structure, we can represent V l and A l as follows: V l = T l OE,l E l A l = T l OE,l E l /O E,l = e i=1t l OE,l E λi /O λi = e i=1a λi, where we put A λi = T l OE,l E λi /O λi. Note that every prime ideal λ i is principal, because by assumption E H F. Hence, λ i = (π i ) for some π i O E. In this case E λi /O λi = Ql /Z l for each i, hence all A λi are divisible groups of the same corank h. Observe that A l [λ i k ] = A λi [λ i k ] and (3.1) A l [l] = e i=1 A l [λ i ], where dim Z/l A l [λ i ] = h, for all 1 i e. By assumptions and decomposition (3.1) it is clear that the image ρ l (G F ) of the representation ρ l is contained in the subgroup of GL d (Z/l) which consists of matrices of the form C C , C e where C i GL h (Z/l), for all 1 i e. Hence, we can consider the image of ρ l as a subgroup of the product e i=1 GL h(z/l). Assumption II. Let P = P(ρ) be an infinite set of prime numbers l > 3, which splitcompletelyinf andsuchthatthel-adicrepresentationρ l satisfiesthefollowing conditions. (1) Ifh > 1,thenforeach1 i e,thereisasubgrouph i G(F(A[λ i ])/F) GL h (Z/l) = GL(A l [λ i ]) such that: (i) the subgroup H 1 H i H e of the group e i=1 GL h(z/l) is contained in Imρ l = G l and H 1 H i H e has index prime to l in G l (ii) H i acts irreducibly on A l [λ i ] = (Z/l) h, (iii) H i /[H i,h i ] has order prime to l, (iv) there exist matrices σ i, β i H i such that 1 is an eigenvalue of σ i with eigenspace of dimension 1 and 1 is not an eigenvalue of β i, (v) the centralizer of H i in GL h (Z/l) is (Z/l) I h i.e. if σ GL h (Z/l) and σγ = γσ for all γ H i, then σ is a scalar matrix,

14 14 G. BANASZAK, W. GAJDA, P. KRASOŃ (vi) for each 1 i e the group H i contains a nontrivial subgroup D 0 i of the group {ai h ; a (Z/l) } GL h (Z/l) of scalar matrices. (2) If h = 1, we require that G l = G(F l /F) satisfies two conditions: (i) for every 1 i d, there is a diagonal matrix σ i = diag(µ 1,...,µ d ) in the group G l with µ i = 1 and µ j 1, for all j i, (ii) thereisanisomorphismofringsz/l[g l ] = O E /l,wherez/l[g l ]denotes a subring of O E /l generated by Z/l and the image of G l in O E /l via the natural imbedding G l (O E /l). Definition 3.2. Let {B(L)} L be a direct system of O E -modules indexed by all finite field extensions L/F. The structure maps of the system are induced by inclusions of fields. We assume that for every embedding of fields L L the structure map B(L) B(L ) is a homomorphism of O E -modules. Let us put B(F) = lim L/F B(L). Let ρ and P be as in Assumption II. The system {B(L)} L is called the Mordell-Weil O E -module of the pair (ρ, P) if the following conditions are satisfied: (1) B(L) is a finitely generated O E -module for all L. (2) There are functorial homomorphisms of O E -modules ψ L,l : B(L) H 1 f,s l (G L ;T l ), where L is as above and l P, such that: (i) for every l P, the induced map is an isomorphism or ψ L,l Z l : B(L) Z l H 1 f,s l (G L ;T l ) (ii) for every l P, the map ψ L,l Z l is an imbedding, the group B(F) is a discrete G F -module which is divisible by l, and for every L we have: B(F) G L = B(L) and H 0 (G L ;A l ) B(L). We end this section with the examples of Mordell-Weil O E -modules related to l-adic representations which satisfy Assumptions I and II. Example 3.3. Consider the l-adic representation ρ l : G( F/F) GL(Z l (1)) = GL 1 (Z l ) = Z l given by the cyclotomic character. In this case T l = Z l (1), V l = Q l (1) and A l = Q l /Z l (1). This representation is given by the action of G F on the Tate module of

15 SUPPORT PROBLEM, 15 the multiplicative group scheme G m /F. Let S be any finite set of primes in O F. Denote by S l the set of primes consisting of primes in S and primes in F over l. Put B(L) = G m (O L,S ) = O L,S for any finite extension L/F. The Kummer map (which is obviously injective) factors naturally through B(L) Z l H 1 (G L,Sl ;Z l (1)) H 1 (G L ;Z l (1)) ψ L,l : B(L) Z l H 1 f,s l (G F ;Z l (1)) In this case we take E = Q hence O E = Z. We take P to be the set of all prime numbers l such that G(F(µ l )/F) is nontrivial. Example 3.4. Let n be a positive integer. Let T l = Z l (n+1), hence V l = Q l (n+1) and A l = Q l /Z l (n+1). Consider the one dimensional representation ρ l : G F GL(T l ) = Z l which is given by the (n+1)-th tensor power of the cyclotomic character. For each odd prime number l and for a finite extension L/F consider the Dwyer-Friedlander map [DF] K 2n+1 (L) K 2n+1 (L) Z l H 1 (G L ; Z l (n+1)). Let C L be the subgroup of K 2n+1 (L) which is generated by the l-parts of kernels of Dwyer-Friedlander maps for all odd primes l. We define the group B(L) by putting B(L) = K 2n+1 (L)/C L. Note that the group C L is finite by [DF] and it should vanish if the Quillen- Lichtenbaum conjecture holds. Note that in this case H 1 (G L ; Z l (n+1)) = H 1 (G L,Sl ; Z l (n+1)) = H 1 f,s l (G L ; Z l (n+1)). It follows by the definition of B(L) and surjectivity of the Dwyer-Friedlander map that : B(L) Z l = H 1 (G L ; Z l (n+1)). ψ L,l In the following three examples we discuss representations which come from Tate modules of abelian varieties. Let A/F be a simple abelian variety of dimension d over a number field F. As usual, we denote by T l = T l (A) the Tate module of A. Consider the l-adic representation ρ l : G F GL(T l (A)).

16 16 G. BANASZAK, W. GAJDA, P. KRASOŃ Assumption I holds due to the Weil conjectures (cf. [Sil], pp ). Let S be the set of prime ideals of F at which A has bad reduction. By the Kummer pairing and Serre-Tate theorem ([ST], Th. 1, p. 493 and Corollaries 1 and 2 of Manin s Appendix II to the book [M]) we have a natural imbedding ψ L,l : A(L) Z l H 1 f,s l (G L ;T l (A)). Put B(L) = A(L) for any finite extension L/F. Example 3.5. Let A/F be a simple abelian variety with complex multiplication by a CM field E (cf. [La]) such that E H F, where E H is the Hilbert class field of E. We assume that CM type of A is nondegenerate (cf. Def.2.1, [BGK1]) and defined over F. Condition (i) of Assumption II (2) holds by Theorem 2.1, [BGK1] (for CM elliptic curves it also follows by an alternative argument cf. [C-RS], Lemma 5.1, p. 286). Condition (ii) of Assumption II (2) follows by Proposition, p. 72 of [R2]. We take P to be the set of prime numbers l which split completely in F and such that A has a good reduction at l. Example 3.6. Consider a simple, principally polarised abelian variety A/F such that E = End F (A) Q = End F(A) Q (cf. [R1] and [C]) where e = [E : Q] and 2he = 2g with h and odd integer. In addition, we choose F to be a number field satisfying conditions indicated in the discussion which follows Theorem 3.1 of [BGK1] and such that E H F. We take P to be the set of prime numbers l 0 which split completely in F, and such that A has good reduction at l. Hence by Theorem 3.5 of [BGK1] we get e Sp 2h (F l ) = [G l, G l ]. i=1 Taking H i = Sp 2h (F l ), for all 1 i e, we observe that conditions of Assumption II (1) are fulfilled since (i) e i=1 Sp 2h(F l ) G l, and the quotient group GSp 2h (F l )/Sp 2h (F l ) has order prime to l, (ii) Sp 2h (F l ) acts on A l [λ i ] = (Z/l) 2h, in an irreducible way. (iii) Sp 2h (F l ) modulo its center is a simple group. (iv) matrix σ i Sp 2h (F l ) ( ) Jh (1) J σ i = h (1) O (J h (1) t ) 1 has eigenvalue 1 with the eigenspace of dimension 1 where J h (1) is the h h Jordan block matrix with 1 as the eigenvalue and β i = I 2h Sp 2h (F l ) does not have 1 as an eigenvalue.

17 SUPPORT PROBLEM, 17 (v) The centralizer of Sp 2h (F l ) in GL 2h (F l ) is (F l ) I 2h. Observe that condition (1) (vi) of Assumption II is satisfied since obviously I 2h Sp 2h (F l ). There are two special cases of Example 3.6 that have been considered extensively in the past. Example 3.7. (a) Let A/F be a simple, principally polarised abelian variety with real multiplication by a totally real field E = End F (A) Q = End F(A) Q such that e = g and h = 1 (cf. [R1]). We choose F to be such a number field that E H F. We take P to be the set of prime numbers l which split completely in F and such that A has a good reduction at l. Theorem 5.5.2, p. 801, [R1] or Theorem 3.5 of [BGK1] implies that the image of the representation ρ l contains the subgroup g SL 2 (F l ) = i=1 g Sp 2 (F l ), i=1 therefore the representation ρ l satisfies Assumption II (1). (b) Let A/F be a simple, principally polarised abelian variety with the property that End F(A) = Z and g = dima is odd or equal to 2 or 6. In this case E = Q hence e = 1 and h = g. By the theorem of Serre ([Se1] Th. 3) the image of the representation ρ l equals GSp 2g (F l ) (hence contains Sp 2g (F l )) for almost all l. We take P to be the set of prime numbers such that the image of ρ l equals GSp 2g (F l ) and A has good reduction at l. Hence the image of the representation ρ l satisfies condition (1) of Assumption II. It is rather hard to find further examples of Mordell-Weil O E -modules satisfying condition (2)(i) of Definition 3.2. Indeed, if we concentrate on finding a Mordell- Weil O E -module associated to T l coming from étale cohomology of a smooth proper scheme X over F, then we should first prove Conjecture 5.3 (ii) p. 370 of [BK], for such an X. 4. Key Propositions. Definition 4.1. Let φ P : G Fl A l [l] be the map: φ P (σ) = σ( 1 l ˆP) 1 l ˆP

18 18 G. BANASZAK, W. GAJDA, P. KRASOŃ where P B(F) and ˆP is the image of P via the natural map B(F) B(F) Z l H 1 f,s l (G F ;T l ) J f,sl (T l ) Remark 4.2. Note that 1 l ˆP makes sense in J f,sl (T l ) since the last group is divisible due to Proposition The element 1 l ˆP is defined up to an element of the group A l [l]. Proposition 4.3. Suppose that the Assumptions I and II are fulfilled. Then the following properties hold. (1) H r (G(F l /F);A l [l]) = 0 for r 0 and all l P, except the case of trivial G l -module A l [l] when r = 0 and d = 1. (2) The map H 1 f,s l (G F ;T l )/l H 1 f,s l (G Fl ;T l )/l is injective for all l P. (3) The map B(F)/lB(F) B(F l )/lb(f l ) is injective for all l P. (4) Let P B(F). If l P does not divide B(F) tor and P / λ i B(F) for all 1 i e, then the map φ P is surjective. Proof. (1) First let us consider the case h > 1. The group D 0 = e j=1 D0 i can be regarded as a subgroup of G l once we identify G l with its image via ρ l. D 0 is a normal subgroup of G l. Assumption II (1) (vi) allows us to consider the Hochschild- Serre spectral sequence (4.4) E r,s 2 = H r (G l /D 0 ; H s (D 0 ; A l [l])) H r+s (G l ; A l [l]). Observe that H 0 (D 0 ; A l [l]) = e i=1 H0 (D 0 i ; A l[λ i ]) = 0 because by definition D 0 i is nontrivial and acts by matrix multiplication (actually scalar multiplication) on the Z/l vector space A l [λ i ] = (Z/l) h. The groups H s (D 0 ; A l [l]) vanish for s > 0, since l is odd by assumption and the order of D 0 is prime to l. Hence the claim (1) follows for h > 1.Now let h = 1. Note that G l is isomorphic to a subgroup of diagonal matrices in GL(A l [l]) = GL d (Z/l). Since G l has order relatively prime to l, H s (G l ; A l [l]) = 0 for s > 0. It follows easily by Assumption II (2) (i) that H 0 (G l ; A l [l]) = 0, for all l P and d > 1. This proves (1) in the case h = 1. If d = 1, then H 0 (G l ; A l [l]) = 0 (= A l [l] resp.) if A l [l] is nontrivial (trivial resp.) G l -module. (2) By Prop. 2.14, we have the following short exact sequence: 0 A l [l] J f,sl (T l ) l J f,sl (T l ) 0. By the long exact sequence in cohomology associated to this exact sequence and Proposition 2.16, we obtain the commutative diagram in which the horizontal maps are injections.

19 SUPPORT PROBLEM, (4.5) kerα H 1 (G l ; A l [l]) Hf,S 1 l (G F ; T l )/l H 1 (G F ; A l [l]) α γ H 1 f,s l (G Fl ; T l )/l H 1 (G Fl ; A l [l]) However, kerα = 0, since it injects into the group H 1 (G l ; A l [l]) which vanishes by part (1) of the proposition. (3) Let us first consider the case (2) (i) of Definition 3.2. Because the map B(L) Z l H 1 f,s l (G L ; T l ), is an isomorphism, the group B(L)/l is isomorphic to H 1 f,s l (G L ; T l )/l. This shows that the horizontal maps in the commutative diagram (4.6) B(F)/l Hf,S 1 l (G F ; T l )/l α B(F l )/l H 1 f,s l (G Fl ; T l )/l are isomorphisms. Since we have proved in (2) that the map α is an injection, diagram (4.6) gives the claim (3). Now consider the case (2) (ii) of Definition 3.2. We get the exact sequence of G F -modules: l 0 A l [l] B(F) B(F) 0 This gives the following commutative diagram with injective horizontal arrows: 0 0 (4.7) kerβ H 1 (G l ; A l [l]) B(F)/l H 1 (G F ; A l [l]) β γ B(F l )/l H 1 (G Fl ; A l [l])

20 20 G. BANASZAK, W. GAJDA, P. KRASOŃ Since by (1) the map γ is injective for all l P, the map β is also injective for all l P. (4)We easily check that the imageof the map φ P is G F -invariant. If φ P were not surjective, then Imφ P would be a proper G F submodule of A l [l]. It is clear from the decomposition (3.1) of A l [l] and Assumption II (1) and (2) (ii) that every G F submoduleofa l [l]isoftheforma l [λ i1 ] A l [λ ir ]forsomei 1,...,i r {1,...,e}. Hence if Imφ P were a proper G F submodule, we could assume that Imφ P A l [λ 1 ] A l [λ i 1 ] A l [λ i+1 ] A l [λ e ] for some 1 i e. This implies that (4.8) π 1...π i 1 π i+1...π e (σ( 1 l ˆP) 1 l ˆP) = 0 for every σ G( F/F l ). The equality (4.8) takes place in J f,sl (T l ) under the (2) (i) part of Definition 3.2 (resp. in B(F) under the case (2) (ii) of Definition 3.2) and it implies that 1 (4.9) σ(π 1...π i 1 π i+1...π e l ˆP) 1 = π 1...π i 1 π i+1...π e l ˆP for every σ G( F/F l ). Hence by Proposition 2.16 (2) (resp. by Def. 3.2, of the Mordell-Weil O E -module { B(L) } ) we get (4.10) π 1...π i 1 π i+1...π e 1 l ˆP H 1 f,s l (G Fl ;T l ) ( B(F l ) resp.). So π 1...π i 1 π i+1...π e ˆP = 0 in the group H 1 f,sl (G Fl ;T l )/l (in B(F l )/lb(f l ), resp.). By parts (2) and (3) of the Proposition (see also the diagram (4.6)) this implies π 1...π i 1 π i+1...π e ˆP = 0 in the group B(F)/lB(F) in both cases. Hence there is P 1 B(F) such that π 1...π i 1 π i+1...π e ˆP = lp1. This gives the equality (4.11) π 1...π i 1 π i+1...π e (ˆP π i P 2 ) = 0 where P 2 = up 1 B(F) for some u O E. Multiplying equation (4.11) by π i we obtain the equality l(p π i P 2 ) = 0 in the group B(F). Since, by assumption, B(F) l = 0 we get P = π i P 2, hence P λ i B(F) which contradicts the assumptions. For a given l let ρ i denote the representation: ρ i : G F GL(A l [λ i ]) Similarly to the definition of F l we put F i = F ker ρ i. In analogy with the Definition 4.1 we introduce a homomorphism φ i : G Fi A l [λ i ], φ i (σ) = σ( 1 π i ˆP) 1 π i ˆP.

21 SUPPORT PROBLEM, 21 Proposition We have the following properties. (1) H r (G(F i /F);A l [λ i ]) = 0 for r 0, all l P, and 1 i e except the case of trivial G(F i /F)-module A l [λ i ] when r = 0. (2) The map H 1 f,s l (G F ;T l )/λ i H 1 f,s l (G Fi ;T l )/λ i is injective for all l P and 1 i e. (3) The map B(F)/λ i B(F) B(F i )/λ i B(F i ) is injective for all l P and 1 i e. (4) Let P B(F). If l P does not divide B(F) tor and P / λ i B(F), then the map φ i is surjective. Proof. Proofs of (1), (2), and (3) are done in the same way as the corresponding proofs in Proposition 4.3. Statement (4) holds because φ i is obviously G F equivariant, φ i is nontrivial since P / λ i B(F), and A l [λ i ] is an irreducible Z/l[G F ] module due to Assumption II. Let P, Q be two nontorsion elements of the group B(F). Let S l be the finite set of primes which contains primes for which ρ l is ramified and primes over l. For v S l let r v : H 1 f,s l (G F ; T l ) H 1 (g v ; T l ) denote the reduction map at a prime ideal v of O F. We will investigate the linear dependence of P and Q over O E in B(F) under some local conditions for the maps r v, (see statement of Theorem 5.1 below). We need some additional notation. Let P be the set of rational primes l P such that P / λ i B(F) and Q / λ i B(F) for all 1 i e. The set P\P is finite, since B(F) is finitely generated O E - module. Let ˆR J f,sl (T l ) be such that lˆr = ˆP. The element ˆR exists by Proposition The Galois group G Fl acts on the set {ˆR+t: t A l [l]} which is contained in J f,sl (T l ). Let N P G Fl be the kernel of this action. Note that N P is a normal subgroup of G Fl of finite index. Define the field F l ( 1 l ˆP) = F N P. Let F l ( 1 l ˆQ) denote the corresponding field defined for Q. Observe that F l ( 1 l ˆP)/F and F l ( 1 l ˆQ)/F are Galois extensions and we have isomorphisms Gal(F l ( 1 l ˆP)/F) = H 2 G l Gal(F l ( 1 l ˆQ)/F) = H 1 G l, where H 1 = Gal(F l ( 1 l ˆQ)/F l ) H 2 = Gal(F l ( 1 l ˆP)/F l ).

22 22 G. BANASZAK, W. GAJDA, P. KRASOŃ By Proposition 4.3 (4) the group H 1 ( H 2, respectively) can be identified with A l [l] via the map φ Q ( φ P, resp.). Put K = F l ( 1 l ˆP)F l ( 1 l ˆQ). All fields introduced above are displayed in the diagram below. (4.13) F l ( 1 ˆP) l F(ˆR) K F l F F l ( 1 ˆQ) l F(ˆR ) Similarly, let ˆR i J f,sl (T l ) be such that π i ˆRi = ˆP. The element ˆR i exists by Proposition The Galois group G Fi acts on the set {ˆR i +t: t A l [λ i ]} which is contained in J f,sl (T l ). Let N i G Fi be the kernel of this action. Note that N i is a normal subgroup of G Fi of finite index. Define the field F i ( 1 π i ˆP) = FN i. Let F i ( 1 π i ˆQ) denote the corresponding field defined in the same way for Q. Observe that F i ( 1 π i ˆP)/F and Fi ( 1 π i ˆQ)/F are Galois extensions and there are isomorphisms Gal(F i ( 1 π i ˆP)/F) = H2,i G(F i /F) Gal(F i ( 1 π i ˆQ)/F) = H1,i G(F i /F), where H 1,i = Gal(F i ( 1 π i ˆQ)/Fi ) H 2,i = Gal(F i ( 1 π i ˆP)/Fi ). By Proposition 4.12 (4) the group H 1,i ( H 2,i, respectively) can be identified with A l [λ i ] via the map φ i for Q (for P resp.) Put K i = F i ( 1 π i ˆP)Fi ( 1 π i ˆQ).

23 SUPPORT PROBLEM, 23 Fields introduced above are displayed in the left diagram below. In the right diagramwedepictedtherelevantprimeidealsthatwillbeusedintheproofoftheorem 5.1 below. (4.14) K i w w F i ( 1 π i ˆP) F i ( 1 π i ˆQ) β β F(ˆR i ) F i F(ˆR i ) u u F v Remark Observe that F l ( 1 l ˆP) = F 1 ( 1 π 1 ˆP)...Fi ( 1 π i ˆP)...Fe ( 1 π e ˆP), In addition there is an equality F l ( 1 l ˆQ) = F 1 ( 1 π 1 ˆQ)...Fi ( 1 π i ˆQ)...Fe ( 1 π e ˆQ). [F(ˆR i ) : F] = [F i ( 1 π i ˆP) : Fi ], since by Proposition 4.12 (4) there are [F i ( 1 π i ˆP) : Fi ] different imbeddings of F(ˆR i ) into F that fix F. Hence from the diagram (4.14) we find out that F(ˆR i ) F i = F. 5. The support problem for l-adic representations. Theorem 5.1. Let P be the infinite set of prime numbers introduced after the proof of Prop Assume that for every l P the following condition holds in the group H 1 (g v ; T l ). For every integer m and for almost every v S l mr v (ˆP) = 0 implies mr v (ˆQ) = 0. Then there exist a Z and f O E such that ap +fq = 0 in B(F).

24 24 G. BANASZAK, W. GAJDA, P. KRASOŃ Lemma 5.2. Let H 1,i and H 2,i be two h-dimensional F l -vector spaces equipped with the natural action of the group G i = Im ρ i GL h (F l ). Let us denote by Ω i the semidirect product (H 1,i H 2,i ) G i. Assume that we are given σ i G i such that for every h 1 H 1,i the element (h 1, 0, σ i ) (H 1,i {0}) G i is conjugate to an element (0, h 2, τ i ) ({0} H 2,i ) G i. Then 1 is not an eigenvalue of the matrix σ i. Proof. cf. [C-RS], Lemma 4.2. Remark 5.3. Observe, that by Assumption II, for every 1 i e and every l P there exists a matrix σ i G i, such that 1 is an eigenvalue of σ i with an eigenspace of dimension 1. Proof of Theorem 5.1. We want to prove that (5.4) F l ( 1 l ˆP) = F l ( 1 l ˆQ). Hence it is enough to prove that for each 1 i e we have (5.5) F i ( 1 π i ˆP) = Fi ( 1 π i ˆQ). Suppose this is false for some i. Then we observe that F i ( 1 π i ˆP) Fi ( 1 π i ˆQ) = Fi, since both groups H 1,i = G(F i ( 1 π i ˆQ)/Fi ) and H 2,i = G(F i ( 1 π i ˆP)/Fi ) are irreducible G i = G(F i /F) modules by Assumption II (1) (ii). Hence (5.6) Gal(K i /F i ) = H 1,i H 2,i = Al [λ i ] A l [λ i ]. We need the following result. Lemma 5.7. We have the following equality K i F l = F i. Proof. By(5.6)thegroupG(K i /F i )isabelianoforderl 2h.Ifh = 1,thenG(F l /F i ) d j=1,j i GL 1(Z/l) has order relatively prime to l and it is clear that K i F l = F i.

25 Now assume that h > 1. We observe that e j=1,j i SUPPORT PROBLEM, 25 [H j,h j ] e j=1,j i H j G(F l /F i ), hence by Assumption II (1) (i) and (iii) the subgroup e j=1,j i [H j,h j ] has index prime to l in G(F l /F i ). On the other hand e j=1,j i [H j,h j ] [G(F l /F i ),G(F l /F i )] G(F l /F i ), hence the group G(F l /F i ) ab = G(F l /F i )/[G(F l /F i ),G(F l /F i )] has order prime to l. Let K 0 = K i F l. Then K 0 /F i, as a subextension of K i /F i, is abelian with order equal to some power of l. On the other hand G(K 0 /F i ) is a quotient of the abelian group G(F l /F i ) ab, which has order prime to l. This implies that the group G(K 0 /F i ) is trivial. Hence K 0 = F i. Let us now return to the proof of Theorem 5.1. Consider the following tower of fields. K i F l K i F l (5.8) F i F F 1...F i 1 F i+1...f e We can regard G l = G(F l /F) as the subgroup of e j=1 GL h(f l ). Let us pick σ l G l such that σ l F i = σ i and σ l F j = β j for all j i. Such a σ l exists by Assumption II (1) (iv). Note that σ l considered as a linear operator on the F l vector space A l [l] has an eigenvalue 1 with the eigenspace of dimension 1. Let h 1 H 1,i be an arbitrary element. Let us pick an element of G(K i /F i ) = H 1,i H 2,i such that its projection onto H 1,i is h 1 and its projection onto H 2,i is a trivial element. We denote this element as (h 1,0). Taking into account Lemma 5.7, Remark 4.15 and the isomorphism of Galois groups Gal(K i /F) = (H 1,i H 2,i ) G(F i /F), we can define an element γ G(K i F l /F) such that γ K i = (h 1,0,σ i ), γ F(ˆR i ) = id F(ˆR i )

26 26 G. BANASZAK, W. GAJDA, P. KRASOŃ and γ F l = σ l. By Chebotarev density theorem there exists a prime w of K i F l such that: (i) Fr w = γ G(K i F l /F), (ii) the unique prime v in F below w is not in S l and satisfies the assumptions of Theorem 5.1. By the choice of prime v we see that H 0 (g v ; A l )[l] = e j=1 H0 (g v ; A l )[π j ] = H 0 (g v ; A l )[π i ] and also H 0 (g v ; A l )[l] = Z/l. Hence for each k 1 we have H 0 (g v ; A l )[l k ] = H 0 (g v ; A l )[π k i] which, together with finitness of H 0 (g v ; A l ), shows that there is an m such that (5.9) H 0 (g v ; A l ) = H 0 (g v ; A l )[l m ] = H 0 (g v ; A l )[π m i ] and H 1 (g v ; T l ) = H 0 (g v ; A l ) is a finite, cyclic group. Let w (u resp.) be the prime of K i (F(ˆR i ) resp.) which is over v and below w (cf. diagram (4.14). Consider the following commutative diagram. (5.10) Hf,S 1 l (G Ki ; T l ) Hf,S 1 l (G Fi ( 1 π ˆP) ; T l ) i Hf,S 1 l (G F(ˆR i ) ; T l) H 1 f,s l (G F ; T l ) r w H 1 (g w ; T l ) r β H 1 (g β ; T l ) r u H 1 (g u ; T l ) = r v H 1 (g v ; T l ) The lowest right vertical arrow in the diagram (5.10) is an isomorphism because, by the choices we have made the prime v splits in F(ˆR i ) (which means that k v = k u. Note that prime ideal v does not need to split completely in F(ˆR i )/F since this extension is usually not Galois). The left vertical arrows are embeddings by Proposition Since v splits in F(ˆR i ), we have the following equality in the group H 1 (g v ; T l ) r v (ˆP) = π i r u (ˆR i ).

27 SUPPORT PROBLEM, 27 Let t v = l m denote the order of the finite cyclic group H 1 (g v ; T l ) = H 0 (g v ; A l ). For some c O E we have (5.11) t v l r v(ˆp) = t v l π ir u (ˆR i ) = l m 1 π i r u (ˆR i ) = c π m 1 j (πi m r u (ˆR i )) = 0 j i in the group H 1 (g v ; T l ), since r u (ˆR i ) H 0 (g v ; A l )[πi m ] by (5.9). By the assumption of Theorem 5.1, equality (5.11) implies that (5.12) t v l r v(ˆq) = 0. Since H 1 (g v ; T l ) is cyclic, the equality (5.12) implies that This gives r v (ˆQ) lh 1 (g v ; T l ). (5.13) r v (ˆQ) = π i R i R for some i H 1 (g v ; T l ). By Proposition 2.14 we can find an element J f,sl (T l ) such that ˆR i (5.14) π i ˆR i = ˆQ. Choose a prime u in F(ˆR i ) over v. Let w be a prime over u in K i. Observe that, by the diagram similar to diagram 5.10 with ˆP and ˆR i replaced by ˆQ and ˆR i we obtain by (5.14) that (5.15) r v (ˆQ) = π i r u (ˆR i ). in the group H 1 (g u ; T l ), hence also in H 1 (g w ; T l ). By (5.13) and (5.15) we get r u (ˆR i) R i A l [π i ] H 1 (g u ; T l ). Because A l [π i ] H 1 f,s l (G Ki ; T l ) (cf. proof of Lemma 2.11 and diagram (2.12)), by Lemma 2.13 there exists ˆP 0 Hf,S 1 l (G Ki ; T l ) such that r w (ˆP 0 ) = r u (ˆR i ) R i. We have the following equality r w (ˆR i ˆP 0 ) = in the group H 1 (g w ; T l ). Let ˆR i = ˆR i ˆP 0. Since F(ˆR i ) F l( 1 ˆQ) l there is a unique prime u in F(ˆR i ) below w and above v. Of course r u (ˆR i ) = R i. Consider the following commutative diagram. R i.

28 28 G. BANASZAK, W. GAJDA, P. KRASOŃ (5.16) Hf,S 1 l (G Ki ; T l ) Hf,S 1 l (G Fi ( 1 π ˆQ) ; T l) i r w H 1 (g w ; T l ) r β H 1 (g β ; T l ) Hf,S 1 l (G F(ˆR ); T l) i r u H 1 (g u ; T l ) = H 1 f,s l (G F ; T l ) r v H 1 (g v ; T l ) Let Fr w G(K i /F) be an element of the conjugacy class of the Frobenius element of w over v. Observe that Fr w (ˆR i ) = ˆR i + ˆP 0 for some ˆP 0 A l [l]. Note that (5.17) Fr w (r w (ˆR i)) = r w (ˆR i) because On the other hand r w (ˆR i) = r u (ˆR i) = R i H 1 (g v ;T l ). (5.18) Fr w (r w (ˆR i )) = r w (Fr w (ˆR i )) = r w (ˆR i + ˆP 0 ) = r w (ˆR i )+r w (ˆP 0 ). Equations (5.17) and (5.18) show that r w (ˆP 0 ) = 0. This by Lemma 2.13 implies that ˆP 0 = 0. So Fr w G(K i/f(ˆr i )) = H 1,i G i. Hence Fr w = (h 1,0,σ i ) is conjugate to Fr w = (0,h 2,τ i ) for some h 2 H 2,i and τ i G i. Lemma 5.2 implies that no eigenvalue of σ i is equal to 1. This contradicts the properties of σ i (cf. Assumption II). So we proved that the equality (5.5), and consequently the equality (5.4), holds. Equality (5.4) shows that kerφ P = kerφ Q, which gives the following commutative diagram (5.19) 0 ker(φ Q ) G( F/F l ) = = φ Q A[l] 0 ψ 0 ker(φ P ) G( F/F l ) φ P A[l] 0 with ψ a G l -equivariant map. Hence due to Assumption II (1) (v) and (2) (ii) (observe that (2) (ii) implies that the centralizer of G l in the group GL d (F l ) is

29 SUPPORT PROBLEM, 29 contained in the group of diagonal matrices D d GL d (F l )), it is clear, that ψ as a linear operator is represented by a block matrix of the form b 1 I h b 2 I h b e I h for some b 1,b 2,...,b e Z/l. Since O E /(l) = e j=1 Z/l, there is a b O E such that b modulo the ideal (lo E ) corresponds to the element (b 1,...,b e ) e j=1z/l via this isomorphism. So diagram (5.19) implies that φ P = bφ Q, hence φ P bq is a trivial map. On the other hand the natural map θ: B(F)/lB(F) H 1 (G Fl ; T l /l) = Hom(G Fl ; A l [l]) θ(x) = φ X (where φ X is the map from Def. 4.1) is an injection since it can be expressed as a composition of the injective map from Proposition 4.3 (3) and the bottom horizontal, injective maps from diagrams: (4.5), (4.6) and (4.7). Hence P = bq in B(F)/lB(F). So the image of P in B 0 = B(F)/{cQ : c O E } is contained in the group lb 0 for all primes l P. Since by our assumption B(F) and therefore B 0 are finitely generated, we conclude that l P lb 0 is finite. Hence ap = bq for some a Z {0} and b O E. For f = b we obtain ap+fq = Applications. In this section we give applications of Theorem 5.1 to the l-adic representations which were already discussed in Examples The cyclotomic character. Consider the cyclotomic character ρ l : G( F/F) GL(Z l (1)) = GL 1 (Z l ) = Z l, (see Example 3.3). There is a commutative diagram. O F,S v S l (k v ) l (6.1) = H 1 f,s l (G F ; Z l (1)) v S l H 1 (g v ; Z l (1)) where the left vertical arrow factors as: O F,S O F,S Z Z l H 1 f,s l (G F ; Z l (1)). This map has finite kernel with order prime to l. Diagram (6.1) and Theorem 5.1 applied to ρ l imply the following corollary.

30 30 G. BANASZAK, W. GAJDA, P. KRASOŃ Corollary 6.2. Let P, Q be two nontorsion elements of the group O F,S. Assume that for almost every v and every integer m the following condition holds mr v (P) = 0 in (k v ) implies mr v (Q) = 0 in (k v ). Then there exist a,f Z {0} such that P a = Q f in O F,S. K-theory of number fields. Let n be a positive integer. Consider the one dimensional representation ρ l : G F GL(Z l (n+1)) = Z l which is given by the (n+1)-th tensor power of the cyclotomic character. We use the notation of Example 3.4. We have the following commutative diagram. (6.3) K 2n+1 (F)/C F v S l K 2n+1 (k v ) l ψ J,l = H 1 (G F ; Z l (n+1)) v S l H 1 (g v ; Z l (n+1)) Note that in this case H 1 (G F ; Z l (n+1)) = H 1 (G F,Sl ; Z l (n+1)) = Hf,S 1 l (G F ; Z l (n+1)) and K 2n+1 (k v ) l = H 1 (g v ; Z l (n+1)) = H 0 (g v ; Q l /Z l (n+1)). It follows by the definition of B(L) that ψ L,l : B(L) Z l = H 1 (G L ; Z l (n+1)). Hence as a consequence of Theorem 5.1 we get the following corollary (cf. [BGK]): Corollary 6.4. Let P, Q be two nontorsion elements of the group K 2n+1 (F). Assume that for almost every v and every integer m the following condition holds mr v (P) = 0 in K 2n+1 (k v ) implies mr v (Q) = 0 in K 2n+1 (k v ). Then the elements P and Q of K 2n+1 (F) are linearly dependent over Z. Theorem 5.1 and Corollary 6.4 have the following consequence for the reduction maps r v : H 2n+1(K(O F ); Z) H 2n+1 (SL(k v ); Z) defined on the integral homology of the K-theory spectrum K(O F ).