arxiv:math/ v1 [math.nt] 3 Jun 2001

Transcription

1 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS AND ABELIAN VARIETIES SIMAN WONG February 27, :26 DRAFT arxiv:math/ v1 [math.nt] 3 Jun 2001 Abstract. Let k be a totally real field, and let A/k be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over k. Then the only strictly compatible families of abstract, absolutely irreducible representations of Gal(k/k) coming from A are tensor products of Tate twists of symmetric powers of twodimensional λ-adic representations plus field automorphisms. The main ingredients of the proofs are the work of Borel and Tits on the abstract homomorphisms of almost simple algebraic groups, plus the work of Shimura on the fields of moduli of Abelian varieties. 1. Introduction Let A be an absolutely irreducible Abelian threefold over a number field k. Suppose that the endomorphisms of A are all defined over k. Let l be a prime, and write T l (A) for the l-adic Tate module of A. Let L/Q l be a finite extension, set G k := Gal(k/k), and let ρ : G k GL 3 (L) be an abstract (i.e. not necessarily continuous) group homomorphism which is a quotient of the l-adic representation G k Aut(T l (A)) by an abstract homomorphism Aut(T l (A)) GL 3 (L). A special case of our main results says that if l is sufficiently large and if k is totally real, then ρ is the Tate twist of the symmetric-square of an l-adic representation G k GL 2 (L) plus a field automorphism L L. To put this result in context, we first recall how l-adic representations arise in the Langlands program. Denote by A k the adeles of a number field k. The Langlands program predicts that algebraic cuspidal automorphic forms on GL n (A k ) corresponds to motives, or, more concretely, compatible families of n-dimension l-adic representations coming from étale cohomology of algebraic varieties defined over k. For holomorphic eigenforms on GL 2 (A Q ) this conjecture follows from the work of Eichler-Shimura, Deligne, and Deligne-Serre, by relating the eigenforms to the cohomology of certain Kuga fiber varieties. This has been extended to holomorphic GL 2 -eigenforms over totally real fields, by Blasius-Rogawski [5] and Taylor [23]. When the automorphic form corresponds to a selfdual cuspidal representation, Clozel establishes the existence of these l-adic representations under mild conditions [8, p. 150]. Beyond that little is known for non-selfdual representations for n 3. Clozel raises the question of whether we can collect numerical evidence to support the Langlands correspondence for non-selfdual representations. Since then several authors have carried out numerical studies in the smallest open case n = 3 ([1], [3], [10], [11]). Such investigations have two components. On the automorphic side, there is a well-known connection between cuspidal automorphic forms on GL 3 (A Q ) and cuspidal cohomology of arithmetic subgroup of SL 3 (Z) (cf. [16] for an exposition). Thus automorphic forms on GL(3) can be systematically enumerated, at least for small levels, via Ash s modular symbol algorithm on GL(3) [2]. On the Galois side, 1991 Mathematics Subject Classification. Primary 11G5, 11G10; Secondary 11G15. Key words and phrases. Abelian varieties, endomorphisms, Galois representations, moduli. 1

2 2 SIMAN WONG February 27, : 26 DRAFT however, there is no known algorithm that generates all irreducible 3-dimensional l-adic representations. Examples in the literature come from either ingenious but ad hoc geometric constructions ([10], [11]), or, in the case of mod-l representations, number fields with special Galois groups ([1], [3]). Now, Abelian varieties give rise to compatible families of l-adic representations, and it is natural to try to extract from them non-selfdual representations. Specifically, if A/k is an Abelian threefold whose k-endomorphism algebra contains a quadratic field, then T l (A) splits into a direct sum of two conjugate, odd-dimensional Galois representations. Furthermore, if End(A/k) is exactly a quadratic field, by the Mumford- Tate conjecture we expect the Lie algebra of the image of these conjugate representations to contain sl 3 (Z l ). The Jacobian of a generic Picard quartic y 3 = x 4 +ax 3 +bx 2 +cx+d over k would satisfy the required conditions, thereby yielding interesting irreducible, non-selfdual 3-dimensional l-adic representations, provided that k contains a primitive third-root of unity. One important consequence of the result stated in the first paragraph is that such examples cannot exist if k is not totally real, even if we do not require that the representation be continuous. The proofs of our results have two components. First, we utilize Shimura s works on the fields of moduli of Abelian varieties with PEL structures to limit the possibilities for the endomorphism algebras of odd-dimensional Abelian varieties over a totally real field. Theorem 1. Let A be an absolutely simple, polarized Abelian variety of odd dimension d defined over a totally real number field k. Suppose that the endomorphisms of A are all defined over k. Then E := End(A/k) Q is a totally real number field of degree dividing d. With A/k as in Theorem 1, set [E : Q] = g and δ = d/g. Since the action of E on T l (A) commutes that of G k, we have a direct sum decomposition (1) ρ A,l τ l,1 τ l,g, where each τ l,m is a representation G k GL 2δ (E l,m ) for some completion E l,m of E at a place above l. Denote by π l,m : Aut(T l (A)) GL 2δ (E l,m ) the corresponding quotient. Denote by F λ the completion of a number field F at a finite place λ of residual characteristic l. Suppose an abstract homomorphism ρ λ : G k GL N (F λ ) comes from A/k, i.e. there exists an abstract homomorphism ι λ : Aut(T l (A)) GL N (F λ ) such that, along with the canonical inclusion the following diagram commutes: (2) j λ : GL N (F λ ) GL N (F λ ), G k ρ λ ρ A,l Aut(Tl (A)) ι λ j GL N (F λ ) λ GLN (F λ ). If ρ λ is irreducible, it must factor through one of the τ l,m. If ι λ is further assumed to be l-adic analytic, standard Lie theory then implies that ι λ is the composition of some π l,m with a rational 1 representation GL 2δ GL N (F λ ). To bridge the gap between l-adic analytic 1 i.e. a morphism of algebraic groups

3 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS 3 representations and abstract representations, we invoke a classical theorem of Borel and Tits [6] which asserts that, over an infinite field K, the abstract homomorphisms of an almost simple matrix group G over K into PGL n (K) are tensor products of the rational projective representations of G plus field automorphisms. Before we state our main results we introduce some notation. Let V be a two-dimension vector space over a field K. Let ϕ : K K be a field homomorphism. For any integer n 1, denote by σ ϕ (n) ϕ the n-th symmetric power of the twisted standard representation GL 2 (K) GL 2 (ϕ(k)) GL 2 (K). This is a (n + 1)-dimensional representation. Theorem 2. With the notation as in Theorem 1, suppose further that there exists an abstract, absolutely irreducible representation ρ λ : G k GL N (F λ ) coming from A. Suppose l = char(λ) is sufficiently large. (a) If d = N then [E : Q] > 1. (b) Suppose d = [E : Q]. Then there exist a choice τ l,m among the factors in the decomposition (1), positive integers r(λ) and n 1 (λ),..., n r(λ) (λ) with r(λ) i=1 (n i(λ) + 1) = N, a field homomorphism ϕ i (λ) : E l,m E l,m for each 1 i r(λ), and a homomorphism of multiplicative groups f λ : E l,m E l,m, such that, in the notation of diagram (2), ( [ r(λ) ι λ = i=1 σ(n i(λ)) ϕ i (λ) ϕ i (λ) ] ) (f λ det) τ l,m. Remark 1. (a) Set d = N = 3 and we recover the result stated in the first paragraph. (b) Our technique applies mutatis mutandis when d is odd but not a prime, once we replace the symmetric power representations of GL 2 by the Weyl modules associated to GL n [9, 15.5]. The same goes for Theorem 3 below. In addition, the two Theorems remain true if we replace λ-adic representations by mod-λ representations. In practice, continuous λ-adic representations often arise in a compatible family. Our final result says that if {ρ λ } λ is a compatible family coming from an Abelian variety A/k as in Theorem 1, then the parameters r(λ), n i (λ), f λ and ϕ i (λ) in Theorem 2 are essentially independent of λ. First we review the definition of compatible families of representations. Definition. A strictly compatible family of λ-adic rational representations of G k consists of a number field F/Q, a collection {ρ λ : G k GL n (F λ )} λ of continuous Galois representations for each finite place λ of F, a finite set S of finite places of O k, such that, with Φ λ : F F λ denoting the canonical embedding, for any prime p S {λ}, the coefficients of the characteristic polynomial char(ρ λ, p) of ρ λ (Frob p ) lies in Φ λ (F), and

4 4 SIMAN WONG February 27, : 26 DRAFT for any two distinct finite places λ, q and for any place p S {λ, q}, Φ 1 λ (char(ρ λ, p)) = Φ 1 q (char(ρ q, p)). Remark 2. (a) Note that if {ρ λ } λ is a compatible family, then ρ λ is irreducible for every l if and only if ρ λ is irreducible for one λ. (b) The phrase rational representations refers to the condition that the image of each ρ λ lies in Φ λ (F) for a fixed number field F, rather than the whole F λ. In particular, this is different from the term commonly used in the theory of algebraic groups (cf. footnote 1). Theorem 3. Let A/k be as in Theorem 1 with [E : Q] = d. Suppose {ρ λ } λ is a strictly compatible family of absolutely irreducible rational representations coming from A/k. Following the notation in Theorem 2, for all but finitely many pairs (λ, q) of finite places of k, (i) r(λ) = r(q), (ii) n i (λ) = n i (q) for all i, up to reordering, (iii) f Z λ = f Z q, and (iv) there exists a field isomorphism ξ λ,q : Φ λ (E) Φ q (E) such that ( ξ λ,q ϕi (λ) ( Φλ (E)) = ϕi (q) ) Φq(E) for every 1 i r(λ). Remark 3. We clarify the meanings of conditions (iii) and (iv). In the notation of Theorem 2 (and dropping the λ from r(λ) and n i (λ)), ( [ r ι λ = i=1 σ(n i) ϕ i ϕ i (λ) ] ) (f λ det) τ l,m. Since Φ λ (E) E λ is dense in E λ, for the purpose of computing ι λ, condition (iv) completely determines ϕ λ. Similarly, for A/k as in Theorem 1, det τ l,m takes values in Z l {0} and Z is dense in Z l, so condition (iii) completely determines f λ. 2. Moduli of Abelian varieties In this section we recall results of Shimura on Abelian varieties with prescribed endomorphism structures. Let A be an Abelian variety over C. Let E be a semisimple algebra over a field k. Let θ : E End C (A) Z Q be an isomorphism, and let C be a polarization of A. Two such triples (A, C, θ) and (A, C, θ ) are said to be isomorphic to each other if there exists an isomorphism A λ A such that λ(x ) C for every divisor X C, and that λθ(α) = θ (α)λ for every α E. Proposition 1 (Shimura [19, Prop. 5]). With P = (A, C, θ) as before, suppose further that A is defined over a number field. Then there exists a unique subfield k/q, called the field of moduli of (A, C, θ), which is characterized by the following property: For every automorphism σ of C, the triple P σ is isomorphic to P if and only if σ k = id. Let F be a totally real number field contained in the center of E. Let ρ be an involution of E/k such that a ρ = a for every a F, and that tr E/Q (aa ρ ) > 0 for every non-zero a E. Let n = dim A, and let Φ be a representation of L by the n n complex matrices containing

5 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS 5 no zero representations. Following Shimura [21, 1.4], the triple (A, C, θ) is called a polarized Abelian variety of type {E, Φ, ρ} if (i) Φ takes the identity element of E to the identity matrix. (ii) the representation of θ(x) for x E with respect to any analytic coordinates given by A C n /(lattice) is equivalent to Φ. (iii) the involution of End C (A) Q determined by C coincides on θ(e) with the involution θ(a) θ(a ρ ). Proposition 2 (Shimura [21, Prop. 1.6]). Let (A, C, θ) be a polarized Abelian variety of type {E, Φ, ρ}. Then the field of moduli of the triple (A, C, θ) contains the number field generated over Q by the trace of the elements Φ(α) for all α in the center of E. Next, we recall Albert s work on the classification of endomorphism algebras of simple complex Abelian varieties. Let A be a simple, polarized Abelian variety over the complex numbers. Then E := End(A) Q is a finite dimensional division algebra over Q equipped with the Rosati involution with respect to the polarization. Denote by K the center of E, and by K 0 the fixed field of the Rosati involution restricted to K. Set [E : K] = δ 2, [K : Q] = e, [K 0 = Q] = e 0. It is known that δ 2 e divides 2 dima, and if e = 2 dim A, then K is a CM field [22, 2.2]. E is said to be a division algebra of the first kind (resp. second kind) if the Rosati involution acts trivially on K (resp. non-trivally). By the work of Albert, E falls into one of four types, exactly three of which correspond to division algebras of the first kind. Moreover, we have the following restrictions on e, e 0 and δ ([12, Prop ]): End(A) Q δ e 0 restriction totally real number field 1 e e dima totally indefinite quaternion algebra 2 e 2e dim A totally definite quaternion algebra 2 e 2e dim A division algebra of the second kind δ e/2 e 0 δ 2 dima Table Endomorphism algebras over totally real fields Let (A, C, θ) be an absolutely simple, polarized Abelian variety of type {E, Φ, ρ} over k and of odd dimension d. Cf. Table 1 and we see that E = End k (A) Q is either a totally real number field of degree dividing d or a division algebra of the second kind (i.e. the Rosati involution acts non-trivially on the center of E). To prove Theorem 1 we need to eliminate this second possibility when k is totally real. Suppose E is a division algebra of the second kind. Following the notation in Table I, we have [20, 2] (3) E Q R M δ (C) M δ (C), }{{} e 0

6 6 SIMAN WONG February 27, : 26 DRAFT where M δ (C) denotes the algebra of δ δ complex matrices. For i = 1,..., e 0, denote by χ i : E Q R M δ (C) the projection onto the i-th factor. According to [20, 2], the inequivalent absolutely irreducible representations of E are given by χ 1, χ 1,, χ g, χ g, where χ i denotes the complex conjugate of χ i. Moreover, for each i there exist integers r i, s i 0 satisfying (4) r i + s i = 2δ(dim A)/[E : Q] = (dim A)/(δe 0 ) since [E : Q] = [E : K][K : K 0 ][K 0 : Q] = δ 2 2 e 0, such that with (5) Φ i := (χ i I ri ) (χ i I si ) (I j denotes the j j identity matrix), we have, by [20, 2], (6) Φ Φ 1 Φ g. Apply this to the case where dim A is odd, it then follows from (4) that r i + s i is odd. In particular, r i s i for every i. In light of the isomorphism (3), we can find ǫ E such that (i) trace(χ 1 (ǫ)) is complex, and (ii) the imaginary part of χ 1 (ǫ) is large, but trace(χ i (ǫ)) is small for every i > 1. Then trace(φ(ǫ)) = i trace(φ i (ǫ)) by (6) (7) = i [ ri trace(χ i (ǫ)) + s i trace(χ i (ǫ)) ] by (5). Since r 1 s 1, condition (i) implies that the term i = 1 in (7) is not real. Condition (ii) then implies that trace(φ(ǫ)) is not real. By Proposition 2, the field of moduli of (A, C, θ) cannot be totally real. On the other hand, by Proposition 1 this field of moduli is contained in k, which is totally real by hypothesis. This is a contradiction, and Theorem 1 follows. 4. Abstract homomorphisms of l-adic groups Let G be a linear algebraic group (i.e. a closed subgroup of GL n ) defined over a field K. Fix an algebraic closure K of K. The group G is said to be almost simple (resp. absolutely almost simple) if it has no proper, normal subgroup over K (resp. over K) of dimension > 0. It is said to be isotropic over K if it contains a non-zero, split K-torus. Both SL n (K) and Sp 2n (K) are isotropic and are absolutely almost simple over K. Let ϕ : K K be a non-trivial field homomorphism. Denote by G ϕ the base change of G to K via ϕ. If ρ : G PGL n (K ) is a rational representation, i.e. a morphism of algebraic groups, then we get a natural map ρ ϕ : G ϕ PGL n (K ). The following special case of [6, Thm. 10.3] contains all the ingredients from the work of Borel-Tits for our subsequent applications.

7 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS 7 Theorem 4 (Borel-Tits). Let K be a field of characteristics zero, and let K be an algebraically closed field. Let G be a connected linear algebraic group over K which is absolutely almost simple and is isotropic over K. Let ρ : G(K) PGL n (K ) be an irreducible projective representation (n 2). Then there exists finitely many distinct, non-trivial field homomorphisms ϕ i : K K, and for each i, a non-trivial, irreducible rational projective representation π(i) of G, such that ρ i (π(i) ϕi ϕ i ). In particular, char(k ) = 0. The pairs consisting of ϕ i and the equivalence class of π i are unique up to reordering. The following fact is elementary. Lemma 1. Let 1 C G G 1 be a central extension of groups. Given any group H, any two lifts of a homomorphism H G differs by the multiple of a homomorphism H C. For the rest of this section, K denotes a field of characteristic zero. Let i j be integer between 1 and n. For any elements α K and β K, define two matrices A i (α) = the matrix obtained from the 2 2 identity matrix by replacing the ii-th entry by α, B ij (β) = the matrix obtained from the 2 2 identity matrix by adding β to the ij-th entry. For i j we have the identity (8) A i (α)b ij (β)a i (α) 1 = B ij (α sgn(j i) β). Proposition 3. Every abstract, absolutely irreducible representation GL 2 (K) GL d (K) is equivalent to [ r s=1 (σ ϕ (ns) s ϕ s ) ] (f det), where V is the underlying representation space associated to natural representation of GL 2 (K); det : GL 2 (K) K is the determinant map; and f : K K is a homomorphism of multiplicative groups. Proof. Since ρ is absolutely irreducible, so does ρ SL2 (K) and ρ S := the induced projective representation SL 2 (K) PGL d (K). The absolutely irreducible rational projective representations of SL 2 (K) are precisely the restrictions to SL 2 (K) of the σ ϕ s := projective (ns) representation associated to σ ϕ (ns) s, so by Theorem 4, [ ρ S r s=1 ( σ(n s) ϕ s ϕ s ) SL2 (K)], where n s 1 and the ϕ s : K K are field homomorphisms. Since SL 2 (K) has no non-trivial Abelian quotients, by Lemma 1 there is a unique lift of ρ S to ρ SL2 (K), whence [ ρ SL2 (K) r s=1 (σ (n s) ϕ s ϕ s ) (9) SL2 (K)].

8 8 SIMAN WONG February 27, : 26 DRAFT To determine ρ it then remains to study its action on the matrices A i (α) with α K. The identity (8) gives whence σ (n) ϕ B ij(ϕ(α sgn(j i) β)) = [ σ (n) ϕ A i(ϕ(α)) ][ σ (n) ϕ B ij(ϕ(β)) ][ σ (n) ϕ A i(ϕ(α)) ] 1, [ r s=1 σ (ns) ϕ s B ij (ϕ s (α sgn(j i) β)) ] = [ r s=1 σ(ns) ϕ s A i (ϕ s (α)) ][ r s=1 σ(ns) ϕ s B ij (ϕ s (β)) ][ r s=1 σ(ns) ϕ s A i (ϕ s (α)) ] 1. In light of (9), this relation holds if we replace each r s=1σ ϕ (ns) s B ij (ϕ s ( )) by ρ(b ij ( )). It follows that [ r s=1 σ ϕ (ns) s A i (ϕ s (α)) ][ ρ(a i (α)) ] 1 commutes with every B ij (ϕ s (γ)). As γ runs through all elements of K, the matrices B ij (ϕ s (γ)) generate SL 2 (ϕ s (K)) [4, Thm. 4.6]. Since ρ SL2 is absolutely irreducible, (K) Schur s Lemma implies that ρ(a i (α)) = [ r s=1 σ(ns) ϕ s A i (ϕ s (α)) ] f(α) for some element α K. Since ρ is a homomorphism, f : K K is in fact a homomorphism of multiplicative groups. Thus ρ = [ ( r s=1 σ (n s) )] ϕ s V ϕs ϕ s (f det) when restricted to SL 2 (K) and to the subgroup of GL 2 (K) generated by A i (α) for all the α K. These two subgroups together generate GL 2 (K), so we are done. For every s SL 2 (K), the trace of σ (n) (s) is a Z-polynomial of degree n + 1 in trace(s). We write T n (trace(s)) for this polynomial. Lemma 2. Suppose there exist an infinite subset Σ SL 2 (K) of elements with pairwise distinct traces, such that r t (10) T ni (trace(s)) = T mj (trace(s)) i=1 for every s Σ. Then r = s and, up to reordering, n i = m i for all i. Proof. Denote by α and 1/α the eigenvalues in K of s Σ. Write ζ m for a fixed primitive m-th root of unity. Then T n (trace(s)) = αn+1 (1/α) n+1 n = (α ζ u α (1/α) n+1(1/α)). (10) then becomes r n i (α ζ1+n u i (1/α)) = i=1 u=1 j=1 u=1 m t j (α ζ1+m v j (1/α)) j=1 v=1

9 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS 9 Since this holds for infinitely many distinct α K, this becomes an equality of monic Laurent polynomials in the variable α over the field L = K({ζ 1+ni, ζ 1+mj } i,j ). Since the ring of (one variable) Laurent polynomials over L has unique factorization, we are done. The next result is probably well-known; we provide a proof since we cannot locate one in the literature. Lemma 3. For any prime l > 3 and any finite extension L/Q l, there exists no non-trivial homomorphism of abstract groups ι l : Sp 2d (Z l ) GL d (O L ). Proof. We prove this in two steps: (i) if such ι l exists, then we can find an injective map of abstract groups Sp 2d (F l ) GL d (F l ) or PSp 2d (F l ) GL d (F l ); (ii) the injective maps in (i) cannot exist. We begin with (i). Denote by λ the maximal ideal of O L. For every integer i 1, denote by G i the kernel of the reduction map GL d (O L ) GL d (O L /λ i ). Every quotient G i /G i+1 is a finite Abelian l-group, whence the same holds for the ι l 1 (G i )/ι l 1 (G i+1 ). We claim that (11) ι l 1 (G 1 ) Sp 2d (Z l ). Suppose otherwise. Since ker(ι l ) is a proper subgroup of Sp 2d (Z l ) and since i G i = {0}, if (11) is false then there exists a smallest integer j 1 such that ι 1 l (G j+1 ) ι 1 l (G j ); necessarily ι 1 l (G j ) = Sp 2d (Z l ). On the other hand, every ι 1 l (G i ) is a normal subgroup of Sp 2d (Z l ). Since l > 3, by [13, p. 212] the proper normal subgroups of Sp 2d (Z l ) are given by (12) {x Sp 2d (Z l ) : x I (mod a)} and {x Sp 2d (Z l ) : x ±I (mod a)} as we run through all ideals a Z l (we recover the subgroups {I} and {±I} by setting a = (0)). Then ι l 1 (G j )/ι l 1 (G j+1 ) = Sp 2d (Z l )/ι l 1 (G j+1 ) cannot be a finite Abelian l- group, a contradiction. Thus (11) must hold, and we get an injective map Sp 2d (Z l )/ι l 1 (G 1 ) GL d (O L )/G 1 GL d (O L /λ). This map has finite image, so ι l 1 (G 1 ) is of the form (12) with a = l m Z l for some m 1. Depending on which case of (12) we are in, the injective map above then becomes (13) or (14) Sp 2d (Z l /l m ) GL d (O L /λ) PSp 2d (Z l /l m ) GL d (O L /λ). Every element of GL d (O L /λ) either is semisimple or contains a non-trivial Jordan block (over F l ). In the first case the element has order prime to l. In the second case, it has order divisible exactly by l. On the other hand, since l > 2, both Sp 2d (Z l /l m ) and PSp 2d (Z l /l m ) contain elements of order l m (coming from sympletic transvections). Since (13) (resp. (14)) is injective, that means m = 1. This proves step (i). We now tackle (ii). Since l 3, we can choose an odd prime q l that divides the order of SL 2 (F l ) = Sp 2 (F l ). Then Sp 2d (F l ) has a subgroup A which is isomorphic to (Z/q) d. So does PSp 2d (F l ). But in GL d (F l ) there is, up to conjugation, exactly one subgroup isomorphic to (Z/q) d, and it intersects the center of GL d (F l ) in a group of order q. But neither Sp 2d (F l )

10 10 SIMAN WONG February 27, : 26 DRAFT nor PSp 2d (F l ) has a central subgroup of order q > 2, a contradiction. This gives (ii), and hence completes the proof of the Lemma. 5. Odd-dimensional l-adic representations Proof of Theorem 2. Suppose E is a totally real field. We consider two cases. Case: [E : Q] = 1, so End k (A) = Z. Since d is odd, Serre [18, ] shows that the image of ρ A,l contains Sp 2d (Z l ) for all but finitely many l. Following the notation in (2), the restriction of the abstract homomorphism ι λ to Sp 2d (Q l ) then gives rise to a non-trivial homomorphism ι λ : Sp 2d(Z l ) GL d (F λ ) for some finite extension F λ /Q l. Since Sp 2d (Z l ) is compact, the argument in ([17, Remark 1 on p. 1]) shows that ι λ is equivalent to a homomorphism with image in GL d(o Fλ ). By Lemma 3, this is impossible for l > 3. Case: [E : Q] = g > 1. Suppose ρ λ : G k GL d (F λ ) is an abstract, absolutely irreducible representation coming from A/k. Following the notation in (1) (2), that means ρ λ is the composition of some τ l,m : G k GL 2 (E l,m ) with an abstract homomorphism ψ : GL 2 (E l,m ) G d (Q l ). Since ρ λ is absolutely irreducible, so does ψ. Apply Proposition 3 and we are done. Proof of Theorem 3. Our goal is to understand the dependency of the parameters r(λ), n i (λ), f λ and ϕ i (λ) on λ. Faltings shows that τ l,m is semisimple, and that E l,m is the commutant of τ l,m (G k ) in the End(T l (A)). The argument in ([15, Thm ]) then show that the Lie algebra of τ l,m (G k ) is equal to {u gl 2 (E l,m ) : trace(u) Q l }. Since τ l,m is equivalent to a representation whose image lies in GL 2 (O El,m ) (cf. [17, Remark 1 on p. 1]), it follows that (15) for every l, τ l,m (G k ) is (conjugate to) an open subgroup in {g GL 2 (O El,m ) : det g Z l }. In particular, there exists an infinite subset {g i } i G k such that, for a fixed l, τ l,m (g i ) SL 2 (Z l ) SL 2 (O El,m ) and with pairwise distinct traces. Since {τ l,m } l is a strictly compatible family, that means τ i := trace(τ l,m (g i )) lies 2 in Q and is independent of l. Let λ, q be two distinct finite places of F of residual characteristic l and q (l = q is allowed). Following the notation in Lemma 2, we have Φ 1 λ ( r(λ) i=1 ) T ni (λ)(τ i ) ( ) = Φ 1 λ trace(ρ λ (g i )) ( ) = Φ 1 q trace(ρ q (g i )) {ρ λ } λ is a strictly compatible family = Φ 1 q ( r(q) j=1 ) T nj (q)(τ i ) and the Frobenius are dense in G k 2 in fact these traces lie in Z, although we do not need it

11 ABSTRACT HOMOMORPHISMS OF l-adic GALOIS GROUPS 11 Since this holds for all τ i, by Lemma 2 that means r(λ) = r(q) and, up to reordering, n i (λ) = n i (q) for all i. It remains to study the multiplicative homomorphism f λ : E l Q l. Since det τ l,m is the l-adic cyclotomic character [15], it is surjective onto Z l for all but finitely many l. Since Z is dense in Z l, we can find an infinite subset {h i } i G k and a prime l such that {det τ l,m (h i )} i = Z {0}. Moreover, d i := det τ l,m (h i ) is independent of l. From trace(ρ λ (h i )) = trace(ρ q (h i )) for all i we then see that f λ (d i ) = f q (d i ) for all i, whence f λ Z = f q Z. Acknowledgement My interest in odd-dimensional Galois representations was inspired by a lecture of Professor Ash on the analog of Serre s conjecture for GL(3) modular representations. I am indebted to Professor Humphreys for his help with the work of Borel-Tits, and to Professor Ribet for his help concerning the image of λ-adic representations. I also benefit from a useful conversation with Professor Rosen. References [1] G. Allison, A. Ash and E. Avner, Galois representations, Hecke operators, and the mod-p cohomology of GL(3,Z) with twisted coefficients. Experiment. Math. 7 (1998) [2] A. Ash, D. Grayson and P. Green, Computations of cuspidal cohomology of congruence subgroups of SL(3, Z). J. Number Theory 19 (1984) [3] A. Ash, R. Pinch and R. Taylor, An Â4 extension of Q attached to a nonselfdual automorphic form on GL(3). Math. Ann. 291 (1991) [4] E. Artin, Geometric algebra. Interscience Publ., [5] D. Blasius and J. Rogawski, Galois representations for Hilbert modular forms. Bull. Amer. Math. Soc. (N.S.) 21 (1989) [6] A. Borel and J. Tits, Homomorphismes abstraits de groupes algébriques simples. Ann. Math. (2) 97 (1973) [7] W. C. Chi, l-adic and λ-adic representations associated to abelian varieties defined over number fields. Amer. J. Math. 114 (1992) no. 2, [8] L. Clozel, Motifs et formes automorphes: applications du principe de fonctorialité, in: Automorphic forms, Shimura varieties, and L-functions, Vol. I (Ann Arbor, MI, 1988) Academic Press, [9] W. Fulton and J. Harris, Representation theory. Springer-Verlag, [10] B. van Geemen and J. Top, A non-selfdual automorphic representation of GL 3 and a Galois representation. Invent. Math. 117 (1994) [11] B. van Geemen and J. Top, Selfdual and non-selfdual 3-dimensional Galois representations. Compositio Math. 97 (1995) [12] H. Lange and C. Birkenhake, Complex Abelian varieties. Springer-Verlag, [13] B. R. McDonald, Geometric algebra over local rings. M. Dekker, [14] R. Pink, l-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture. J. Reine Angew. Math. 495 (1998) [15] K. Ribet, Galois action on division points of Abelian varieties with real multiplications. Amer. J. Math. 98 (1976) [16] J. Schwermer, Cohomology of arithmetic groups, automorphic forms and L-functions, in: Cohomology of arithmetic groups and automorphic forms (Luminy-Marseille, 1989), LNM 1447, Springer-Verlag, [17] J. P. Serre, Abelian l-adic representations and elliptic curves. Benjamin, New York, [18] J. P. Serre, Algèbre et géométrie. Ann. Collége France 86 (1985/86) [19] G. Shimura, On the theory of automorphic functions. Ann. Math. (2) 70 (1959)

12 12 SIMAN WONG February 27, : 26 DRAFT [20] G. Shimura, On analytic families of polarized abelian varieties and automorphic functions. Ann. Math. (2) 78 (1963) [21] G. Shimura, On the field of definition for a field of automorphic functions. Ann. Math. (2) 80 (1964) [22] G. Shimura, Abelian varieties with complex multiplications and modular functions. Princeton Univ. Press, [23] R. Taylor, On Galois representations associated to Hilbert modular forms. Invent. Math. 98 (1989) [24] H. Weyl, Classical groups, 2nd. ed. Princeton University Press, Department of Mathematics & Statistics, University of Massachusetts. Amherst, MA USA address: siman@math.umass.edu