A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017

Size: px
Start display at page:

Download "A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017"

Transcription

1 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the class number formula should factorize compatibly according to the representation theory (both complex and modular) of the group, we are led to some natural questions about the p-part of the classgroup of any CM Galois extension of Q as a module for Gal(K/Q), in the spirit of Herbrand-Ribet s theorem on the p-component of the class number of Q(ζ p ), [Ri1], see also [Was] for an exposition on the theorem. The compatible factorization of the class number formula is at the basis of Stark s conjecture, where one is mostly interested in factorizing the regulator term whereas for us in this paper, we put ourselves in a situation where the regulator term can be ignored, and it is the factorization of the classnumber that we seek. All this is presumably part of various equivariant conjectures in arithmetic-geometry, such as equivariant Tamagawa number conjecture, but the literature does not seem to address this question in any precise way. In trying to formulate these questions, we are naturally led to consider L(0, ρ), for ρ an Artin representation, in situations where this is known to be nonzero and algebraic, and it is important for us to understand if this is p-integral for a prime p of the ring of algebraic integers Z in C, that we call mod-p Artin-Tate conjecture. As an attentive reader will notice, the most minor term in the class number formula, the number of roots of unity, plays an important role for us it being the only term in the denominator, is responsible for all poles! Contents 1. Introduction 1 2. Remarks on Herbrand-Ribet theorem 3 3. CM number fields 6 4. Deligne-Ribet 8 5. Epilogue 9 References Introduction Let F be a number field contained in C with Q with its algebraic closure in C. Let ρ : Gal( Q/F) GL n (C) be an irreducible Galois representation with L(s, ρ) its associated Artin L-function. According to a famous conjecture of Artin, L(s, ρ) has an analytic continuation to an entire function on C unless ρ is the trivial representation, in which case it has a unique pole at s = 1 which is simple. More generally, let M be an irreducible motive over Q with L(s, M) its associated L- function. According to Tate, L(s, M) has an analytic continuation to an entire function 1

2 2 DIPENDRA PRASAD on C unless M is a twisted Tate motive Q[j] with Q[1] the motive associated to G m. For the motive Q = Q[0], L(s, Q) = ζ Q (s), the usual Riemann zeta function, which has a unique pole at s = 1 which is simple. The L-function associated to Q[j] is then the Riemann zeta function shifted by j (on the left or right, which we will come to if necessary). This paper will deal with certain Artin representations ρ : Gal( Q/F) GL n (C) for which we will know a priori that L(0, ρ) is a nonzero algebraic number (in particular, F will be totally real). It is then an important question to understand the nature of the algebraic number L(0, ρ): to know if it is an algebraic integer, but if not, what are its possible denominators. We think of the possible denominators in L(0, ρ), as existence of poles for L(0, ρ), at the corresponding prime ideals of Q. It is thus analogous to the conjectures of Artin and Tate, both in its aim and as we will see in its formulation. Since we have chosen to understand L-values at 0 instead of 1 which is where Artin and Tate conjectures are formulated, there is an ugly twist by ω the action of Gal( Q/Q) on the p-th roots of unity throughout the paper, giving a natural character ω : Gal( Q/Q) (Z/p), also a character on Gal( Q/L) for L any algebraic extension of Q, as well as a character on Gal(L/Q) if L is a Galois extension of Q. We now fix some notation. We will fix an isomorphism of Q p with C where Q p is a fixed algebraic closure of Q p, the field of p-adic numbers. This allows one to define p, a prime ideal in Z, the integral closure of Z in C, over the prime ideal generated by p in Z. The prime p will always be an odd prime in this paper. All the finite dimensional representations of finite groups in this paper will take values in GL n ( Q p ), and therefore in GL n (C), as well as GL n ( Z p ). It thus makes sense to talk of reduction modulo p of (complex) representations of finite groups. These reduced representations are well defined up to semi-simplification on vector spaces over F p (theorem of Brauer-Nesbitt). If F is a finite Galois extension of Q with Galois group G, then it is well-known that the zeta function ζ F (s) can be factorized as ζ F (s) = ρ L(s, ρ) dim ρ, where ρ ranges over all the irreducible complex representations of G, and L(s, ρ) denotes the Artin L-function associated to ρ. According to the class number formula, we have, ζ F (s) = hr w sr 1+r higher order terms..., where r 1, r 2, h, R, ω are the standard invariants associated to F: r 1, the number of real embeddings; r 2, number of pairs of complex embeddings; h, the class number of F; R, the regulator, and w the number of roots of unity in F. The paper considers ζ E /ζ F where E is a CM field with F its totally real subfield, in which case r 1 + r 2 is the same for E as for F, and the regulators of E and F too are the same except for a possible power of 2. Therefore for c the complex conjugation on C, ζ E /ζ F = L(0, ρ) dim ρ = h E/h F, w ρ(c)= 1 E /w F

3 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET 3 where each of the L-values L(0, ρ) in the above expression are nonzero algebraic numbers by a theorem of Siegel. In this identity, observe that L-functions are associated to C-representations of Gal(E/Q), whereas the classgroups of E and F are finite Galois modules. Modulo some details, we basically assert that for each odd prime p, each irreducible C-representation ρ contributes a certain number of copies of ρ to the classgroup of E modulo the classgroup of F tensored with F p (up to semi-simplification). This is exactly what happens for E = Q(ζ p ) by the theorems of Herbrand and Ribet which is one of the main motivating example for all that we do here, and this is what we will review next. 2. Remarks on Herbrand-Ribet theorem In this section we make some remarks on the Herbrand-Ribet theorem from the point of view of this paper. There are actually two simplifying aspects to their context. Since Herbrand-Ribet theorem is dealing with the p-component of the classgroup for Q(ζ p ), and the Galois group Gal(Q(ζ p )/Q) = (Z/p), a cyclic group of order (p 1), the action of the Galois group is semi-simple, and the p-component of the classgroup can be written as a direct sum of eigenspaces for (Z/p). The second and more serious aspect of Herbrand-Ribet theorem is that among the characters of Gal(Q(ζ p )/Q) = (Z/p), only the odd characters, i.e., characters χ : (Z/p) Q p with χ( 1) = 1 present themselves as it is only for these that there is any result about the χ-eigencomponent in the classgroup, and even among these, the Teichmüller character ω : (Z/p) Q p plays a role different from other characters of (Z/p). To elaborate on this aspect, observe that the class number formula ζ F (s) = hr w sr 1+r higher order terms..., can be considered both for F = Q(ζ p ) as well as its maximal real subfield F + = Q(ζ p ) +. It is known that, cf. Prop 4.16 in [Was], R/R + = 2 p 3 2, where R is the regulator for Q(ζ p ) and R + is the regulator for Q(ζ p ) +. We will similarly denote h and h + to be the order of the two class groups, with h = h/h +, an integer. Dividing the class number formula of Q(ζ p ) by that of Q(ζ p ) +, we find, L(0, χ) = 1 p h h χ an odd character of (Z/p) + 2 p 3 2, ( ) the factor 1/p arising because there are 2p roots of unity in Q(ζ p ) and only ±1 in Q(ζ p ) +. It is known that for χ an odd character of (Z/p), L(0, χ) is an algebraic number which is L(0, χ) = B 1,χ = 1 a=p p aχ(a). a=1

4 4 DIPENDRA PRASAD It is easy to see that pb 1,ω p 2 (p 1) mod p since aω p 2 (a) is the trivial character of (Z/p) whereas for all the other characters of (Z/p), L(0, χ) is not only an algebraic number but is p-adic integral (but may not be a p-adic unit!); all this is clear by looking at the expression: L(0, χ) = B 1,χ = 1 p Rewrite the equation ( ) up to p-adic units as, χ an odd character of (Z/p) χ = ω p 2 = ω 1 a=p aχ(a). a=1 L(0, χ) = h h +, where we note that both sides of the equality are p-adic integral elements; in fact, since all characters χ : (Z/p) Q p take values in Z p, L(0, χ) Z p. This when interpreted just an interpretation in the optic of this paper without any suggestions for proof in either direction! for each χ component on the two sides of this equality amounts to the theorem of Herbrand and Ribet which asserts that p divides L(0, χ) = B 1,χ for χ an odd character of (Z/p), which is not ω p 2, if and only if the corresponding χ 1 -eigencomponent of the classgroup of Q(ζ p ) is nontrivial. (Note the χ 1, and not χ!) Furthermore, the character ω does not appear in the p- classgroup of Q(ζ p ). It can happen that L(0, χ) is divisible by higher powers of p than 1, and one expects this is not proven yet! that in such cases, the corresponding χ 1 -eigencomponent of the classgroup of Q(ζ p ) is Z/p (valpl(0,χ)), i.e., it has p-rank 1. (By Mazur-Wiles [Ma-Wi], χ 1 -eigencomponent of the classgroup of Q(ζ p ) is of order p (valpl(0,χ)).) The work of Ribet was to prove that if p B 1,χ, χ 1 -eigencomponent of the classgroup of Q(ζ p ) is nontrivial by constructing an unramified extension of Q(ζ p ) by using a congruence between a holomorphic cusp form and an Eisenstein series on GL 2 (A Q ). In the work of Herbrand and Ribet, one often uses the Kummer congruence, cf. [Was], that if n is an odd integer with n mod (p 1), then B 1,ω n B n+1 n + 1 mod p, and both sides are p-adic integral (where B i are Bernoulli numbers), to replace p B 1,χ to a condition on a Bernoulli number. To understand the special role played by the odd integer n = p 2 in Herbrand- Ribet theorem in greater generality, it will be nice to have a mod-p Artin-Tate conjecture, i.e., a mod-p analogue of the expectation that a motivic L-function L(s, ρ) has a pole at s = 1 if and only if ρ contains the trivial representation. The way it plays a role for us is that in the decomposition (removing factors co-prime to p), L(0, χ) = 1 p h h χ an odd character of (Z/p) +, not all elements on the left hand side of this equality are p-integral; in fact, only one factor L(0, ω 1 ) is not p-integral (simple pole!); this is matched exactly with 1/p

5 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET 5 appearing on the right. Removing these non p-integral elements, we get: χ an odd character of (Z/p) χ = ω p 2 = ω 1 L(0, χ) = h h +. Now, we are dealing with (the order of) a certain group on the right hand side which can be decomposed into its various χ 1 -eigencomponents, and on the left hand side there is the corresponding L(0, χ). For this matching to be possible, L(0, χ) must be p-integral! The following is what we call mod-p Artin-Tate conjecture, which extends the p-integrality property of L(0, χ) = B 1,χ = 1 p a=p a=1 aχ(a), encountered and used earlier. (More generally, for any Dirichlet character χ : (Z/ f ) Q p of conductor f, and with χ( 1) = 1, L(0, χ) = B 1,χ = 1 f f aχ(a). a=1 The integrality and non-integrality property of L(0, χ) for general odd character χ of conductor f is also in accordance with the conjecture; see for example, Lemma 4 of Chapter 10 of [Lang], according to which if f = p r, i.e. χ : (Z/p r ) Q p, then L(0, χ) = B 1,χ = 1/(χ(1 + p) 1) up to a p-adic unit if χ mod-p which is a character of (Z/p) is the inverse of the Teichmüller character. ) Conjecture 1. (mod p analogue of the Artin-Tate conjecture) Let F be a totally real number field, and let ρ : Gal( Q/F) GL n ( Q p ) be an irreducible representation of the Galois group Gal( Q/F) cutting out a finite CM extension E of F with E not totally real. In this case, it is known as a consequence of Siegel s theorem that L(0, ρ) is algebraic and nonzero. Suppose that the mod p representation ω ρ does not contain the trivial representation of Gal( Q/F) where ω is the action of Gal( Q/F) on the p-th roots of unity. Then: L(0, ρ) Z p. Remark 1. In the examples that I know, which are for characters χ : Gal( Q/Q) Q p with χ = ω 1 (mod p), L(0, χ) has a (mod p) pole of order 1; more precisely, if L = Q p [χ(gal( Q p /Q p ))] is the subfield of Q p generated by the image under χ of the decomposition group at p, then L(0, χ) is the inverse of a uniformizer of this field L. It would be nice to know if this is the case for characters χ of Gal( Q/F) for F arbitrary. Question 1. In conjecture 1, it is possible that for ρ irreducible, as long as it is not one dimensional, L(0, ρ) Z p even if ρ contains the character ω 1, because the other components of ρ could contribute a zero (mod p)? Conjecture 2. Let F be a totally real number field, and let ρ : Gal( Q/F) GL n ( F p ) be a semi-simple modular representation of the Galois group Gal( Q/F) cutting out a finite CM extension E of F with E not totally real. Assume that ω ρ does not contain the trivial representation of Gal( Q/F) where ω is the action of Gal( Q/F) on the p-th roots of unity. Then it is possible to define L(0, ρ) F p with L(0, ρ 1 + ρ 2 ) = L(0, ρ 1 ) L(0, ρ 2 ),

6 6 DIPENDRA PRASAD for any two such representations ρ 1 and ρ 2, and such that, if ρ arises as the semi-simplification of reduction mod-p of a representation ρ : Gal( Q/F) GL n ( Q p ) cutting out a finite CM extension E of F with E not totally real, then L(0, ρ) which belongs to Z p by Conjecture 1 has its reduction mod-p to be L(0, ρ). The conjecture above requires that if two representations ρ 1, ρ 2 : Gal( Q/F) GL n ( Q p ) have the same semi-simplification mod-p, then L(0, ρ 1 ) and L(0, ρ 2 ) (which are in Z p by Conjecture 1) have the same reduction mod-p. By a well-known theorem of Brauer, a modular representation ρ can be lifted to a virtual representation n i ρ i in characteristic 0. However, since L(0, ρ i ) may be zero mod-p, for some i (for which n i < 0), the theorem of Brauer does not guarantee that L(0, ρ) can be defined. 3. CM number fields In this section we describe a natural context for generalizing Herbrand-Ribet, where the L-values considered are algebraic. Let K be a Galois CM extension of Q with K + the totally real subfield of K with [K : K + ] = 2. Let G denote the Galois group of K over Q. Let the degree of K over Q be 2g. Let τ denote the element of order 2 in the Galois group of K over K +. By the Dirichlet unit theorem, the rank of the group of units U K of K is (g 1). The rank of the group of units U K + is also (g 1). By theorem 4.12 of Washington s book [Was], U K + together with the roots of unity in K generates a subgroup of U K of index at most 2. It follows that if R K denotes the regulator of K, and R K +, the regulator of K +, then up to a possible factor of 2, R K = R K +. Let h K (resp. h K +) denote the class number of K (resp. K + ). By the class number formula for K and K +, ζ K (s) = h KR K w K s g 1 + higher order terms, ζ K +(s) = h K +R K +s g 1 + higher order terms, where we have used the fact that K + being a totally real field, it has only ±1 as roots of unity. It follows that ζ K /ζ K +(s) = h K 1 + a 1 s + higher order terms... h K + ω K hence, L(0, ρ) dim ρ = h K 1, h ρ(τ)= 1 K + w K where the product is taken over all irreducible representations ρ of G = Gal(K/Q) with ρ(τ) = 1. It is known that L(0, ρ) Q for ρ(τ) = 1. This is a simple consequence of Siegel s theorem that partial zeta functions of a totally real number field take rational values at all non-positive integers, cf. Tate s book [Tate]. (Note that to prove L(0, ρ) Q for ρ(τ) = 1, it suffices by Brauer to prove it for abelian CM extensions by a Lemma of Serre mentioned in greater detail in Remark 5 below.) Let H K (resp. H K +) denote the class group of K (resp. K + ). Observe that the kernel of the natural map from H K + to H K is a 2-group. (This follows from using

7 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET 7 the norm mapping from H K to H K +.) Therefore since we are interested in p-primary components for only odd primes p, H K + can be considered to be a subgroup of H K, and the quotient H K /H K + becomes a G-module of order h K /h K +. We will let w K denote the group of roots of unity of K considered as a module for G. Conjecture 3. Let K be a CM, Galois extension of Q with K + its totally real subfield, and j Gal(K/K + ), the nontrivial element of the Galois group. Let ρ : Gal(K/Q) GL n ( Q p ) be an irreducible, odd (i.e., ρ(j) = 1) representation of Gal(K/Q) with ρ its reduction mod p for p an odd prime. Let ω : Gal(K/Q) (Z/p) be the action of Gal(K/Q) on the p-th roots of unity. Write ρ = n i ρ i. Then if ρ j ω does not contain the trivial representation, and L(0, ρ j ) = 0 F p (cf. Conjecture 2) [H K /H K +] F p contains n j dim(ρ) ρ j in its semi-simplification, with different ρ s contributing independently to the semi-simplification of [H K /H K +] F p, filling it up except that there is no ω-component of [H K /H K +] F p (see the remarks 2 and 3 below). Remark 2. In the context of this conjecture, there is a question in representation theory which plays a role too: Given a finite group G, what are the finite dimensional irreducible representations ρ : G GL n ( Q p ) such that the mod-p representation ρ contains the trivial representation of G in its semi-simplification? See the lemma below. In our context with CM fields etc., there is one case which does not involve dealing with this subtle question. To elaborate on this, let G be a finite group together with a character ω : G (Z/p), and with a central element j of order 2, i.e., j 2 = 1; the question is to understand the finite dimensional irreducible representations ρ : G GL n ( Q p ) such that the mod-p representation ρ contains the character ω of G in its semi-simplification with ρ(j) = 1? If the character ω = 1, then we further are given that ω(j) = 1. However, ω : G (Z/p) might be the trivial character corresponding to the CM field E having no p- th roots of unity. In this case, there are no such irreducible representations ρ : G GL n ( Q p ) such that the mod-p representation ρ contains the character ω 1 = 1, because ρ(j) = 1 continues to hold mod-p! Remark 3. If there are p-th roots of unity in K, but the corresponding Galois module defined by ζ p for Gal(K/Q) does not appear in the Galois module [H K /H K +] F p, then in the right hand side of the formula: L(0, ρ) dim ρ = h K 1, h ρ(τ)= 1 K + w K we treat this Galois module as a pole mod-p, to be compared with a pole on the left hand side which corollary 1 below finds it. However, the same corollary says that there is always a pole on the left hand side at this representation, so the Galois module [H K /H K +] F p must not contain ω; this is one of the conclusions of Conjecture 3. Lemma 1. Let G be a finite group, and p a prime number dividing the order of G. Then the number of trivial representations of G appearing in the semi-simplification of F p [G] equals P a(g/p), where P is a p-sylow subgroup of G, and a(g/p) 1 denotes the number of trivial representations of G appearing in the semi-simplification of F p [G/P]. In particular, there are always non-trivial irreducible C-representations of G whose reduction mod-p contains the trivial representation of G.

8 8 DIPENDRA PRASAD Proof. Observe that F p [G] = Ind G P IndP {e} F p = Ind G P (F p [P]). Since any irreducible representation of P (in characteristic p) is the trivial representation, the semi-simplification of F p [P] is the same as P copies of the trivial representation. Conclusion of the lemma follows. Corollary 1. If ω : G (Z/p) is a non-trivial character, j G a central element of order 2 with j(ω) = 1, then there is a complex irreducible representation π of G with π (j) = 1 with reduction mod-p of π containing ω 1. Proof. By the previous lemma, there is a representation π of G with reduction mod-p of π containing the trivial representation of G. Now π = π ω 1 does the job. Remark 4. I should add that Ribet s theorem is specific to Q(ζ p ) and although this section is very general, it could also be specialized to simply CM abelian extension K of Q, and the action of the Galois group Gal(K/Q) on the full class group of K. Since class group of an abelian extension is not totally obvious from the classgroup of the corresponding cyclotomic field Q(ζ n ), even if we knew everything in the style of Ribet for Q(ζ n ), presumably there is still some work left to be done, and not just book keeping! 4. Deligne-Ribet In this section we pursue the theme of L-values modulo p giving some evidence to Conjecture 1. We begin by recalling the following theorem of Deligne-Ribet, cf. [DR]. Theorem 1. Let F be a totally real number field, and let χ : Gal( Q/F) Q be a character of finite order cutting out a CM extension K of F (which is not totally real). Let w be the order of the group of roots of unity in K. Then, wl(0, χ) Z. Conjecture 4. Let F be a totally real number field, and let ρ : Gal( Q/F) GL n (C) be an irreducible representation of the Galois group Gal( Q/F) cutting out a CM extension K of F (with K not totally real). Let w be the order of the group of roots of unity in K. Then: wl(0, ρ) Z. Remark 5. Note the Brauer s theorem according to which any representation of a finite group G can be written as a virtual sum of representations of G induced from one dimensional representations of subgroups of G. In our context, we will need a modification due to Serre, cf. Lemma 1.3 of Chapter III of Tate s book [Tate], to keep track of the central characters in this theorem of Brauer. Recall that since we are only interested in CM extensions of F which are not totally real, the representation ρ of G is totally odd, i.e., there is a fixed central element j G with j 2 = 1 such that ρ(j) is the scalar matrix 1 GL n (C), and in this case by the above mentioned lemma of Serre we can assume that in expressing ρ as a virtual sum of representations induced from one dimensional representations of subgroups of G, ρ = n i Ind G H i χ i, i

9 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET 9 each of the field extensions of F cut out by H i are totally real, and the characters χ i define CM extensions of F which are not totally real. Therefore if all the n i s were non-negative integers, our question above will be a consequence of Deligne-Ribet theorem, but we face the usual problem in dealing with virtual sums. Remark 6. If there are no p-th roots of unity in K, then by the Deligne-Ribet theorem for abelian characters, and our conjecture 4 more generally, L(0, ρ) Z p for any irreducible representation ρ : Gal( Q/F) GL n (C) cutting out a CM extension K of F (with K not totally real). This is consistent with our Conjecture 1 (mod-p Artin-Tate conjecture) since in this case by remark 2, ω ρ does not contain the trivial representation. 5. Epilogue According to Bloch-Kato conjecture [BK], for any motive M say over Q, there is a canonical way to write, L(s, M) = L alg (0, M) L tr (0, M)s r + higher order terms, with L alg (0, M) algebraic. We would have liked to formulate a conjecture about p-integrality of L alg (0, M), exactly as we did for a class of Artin motives as Conjecture 1, and consider the analogue of Conjecture 2 which would be much more non-trivial since given M mod-p, gives us so less handle on M in particular, the order of vanishing at 0, the integer r above, could vary too for a given M mod-p unlike for Artin representations where r was always zero. We would then have liked to apply these to the class number formula as we did in this paper to understand the p-component of the classgroup of Q(E[p]) as a module for Gal(Q(E[p])/Q) assuming the Galois group to GL 2 (F p ) in the spirit of Herbrand-Ribet. Here E is an elliptic curve over Q. A precise formulation seems fraught with difficulties, see [Prasad] for an attempt. We end the paper by quoting a result from Vatsal [Vat] which is along the lines we desire as a first step towards formulating Conjecture 2 for arbitrary motives giving congruences among algebraic integers which are critical L-values for elliptic modular forms: L(m + 1, f, χ) L(m + 1, g, χ) τ( χ)m! ( 2πi) m+1 Ω ±1 f τ( χ)m! ( 2πi) m+1 Ω ±1 g mod p, where f g mod p for p co-prime to the level of f and g; we refer to [Vat] for the definition of all the terms here. Acknowledgement: The author thanks P. Colmez for suggesting that the questions posed here are not as outrageous as one might think, and for even suggesting that some of the conjectures above should have an affirmative answer as a consequence of the Main conjecture of Iwasawa theory for totally real number fields proved by A. Wiles [Wiles] if one knew the vanishing of the µ-invariant (which is a conjecture of Iwasawa proved for abelian extensions of Q by Ferrero-Washington). The author also thanks U.K. Anandavardhanan, C. Dalawat, C. Khare for their comments and their encouragement.

10 10 DIPENDRA PRASAD References [BK] S. Bloch, K. Kato : L-functions and Tamagawa numbers of motives, The Grothendieck Festschrift, vol. I, Progr. Math., vol. 86, Birkhuser, Boston (1990), pp [DR] P. Deligne, K. Ribet, Values of abelian L-functions at negative integers over totally real fields, Invent. Math. 59 (1980), no. 3, [Lang] S. Lang, Cyclotomic fields I and II. Combined second edition. With an appendix by Karl Rubin. Graduate Texts in Mathematics, 121. Springer-Verlag, New York, [Ma-Wi] B. Mazur, A. Wiles, Class fields of abelian extensions of Q. Invent. Math. 76 (1984), no. 2, [Prasad] D. Prasad, A proposal for non-abelian Herbrand-Ribet; available at: dprasad/ [Ri1] K. Ribet, A modular construction of unramified p-extensions of Q(µ p ), Invent. Math., 34, (1976). [Tate] J. Tate, Les Conjectures de Stark sur les Fonctions L d Artin en s = 0, Birkhauser, Progress in mathematics, vol. 47 (1984). [Vat] V. Vatsal, Canonical periods and congruence formulae. Duke Math. J. 98 (1999), no. 2, [Was] L. C. Washington, Introduction to Cyclotomic Fields, GTM, Springer-Verlag, vol. 83, (1982). [Wiles] A. Wiles, The Iwasawa conjecture for totally real fields. Ann. of Math. (2) 131 (1990), no. 3, Dipendra Prasad Tata Insititute of Fundamental Research, Colaba, Mumbai , INDIA. dprasad@math.tifr.res.in

arxiv: v2 [math.nt] 29 Mar 2017

arxiv: v2 [math.nt] 29 Mar 2017 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 30, 207 arxiv:703.0563v2 [math.nt] 29 Mar 207 Abstract. Following the natural instinct that when a group operates on

More information

Class groups and Galois representations

Class groups and Galois representations and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the

More information

15 Elliptic curves and Fermat s last theorem

15 Elliptic curves and Fermat s last theorem 15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine

More information

CYCLOTOMIC FIELDS CARL ERICKSON

CYCLOTOMIC FIELDS CARL ERICKSON CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and

More information

Galois groups with restricted ramification

Galois groups with restricted ramification Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K

More information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS

KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS SEAN KELLY Abstract. Kummer s criterion is that p divides the class number of Q(µ p) if and only if it divides the numerator of some Bernoulli number

More information

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2) SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the

More information

Problems on Growth of Hecke fields

Problems on Growth of Hecke fields Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014

More information

Mod p Galois representations attached to modular forms

Mod p Galois representations attached to modular forms Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended

More information

A new family of character combinations of Hurwitz zeta functions that vanish to second order

A new family of character combinations of Hurwitz zeta functions that vanish to second order A new family of character combinations of Hurwitz zeta functions that vanish to second order A. Tucker October 20, 2015 Abstract We prove the second order vanishing of a new family of character combinations

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

Workshop on Serre s Modularity Conjecture: the level one case

Workshop on Serre s Modularity Conjecture: the level one case Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous

More information

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is

More information

EKNATH GHATE AND VINAYAK VATSAL. 1. Introduction

EKNATH GHATE AND VINAYAK VATSAL. 1. Introduction ON THE LOCAL BEHAVIOUR OF ORDINARY Λ-ADIC REPRESENTATIONS EKNATH GHATE AND VINAYAK VATSAL 1. Introduction In this paper we study the local behaviour of the Galois representations attached to ordinary Λ-adic

More information

10 l-adic representations

10 l-adic representations 0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois

More information

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

More information

Hecke fields and its growth

Hecke fields and its growth Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially

More information

Reciprocity maps with restricted ramification

Reciprocity maps with restricted ramification Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at

More information

Raising the Levels of Modular Representations Kenneth A. Ribet

Raising the Levels of Modular Representations Kenneth A. Ribet 1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is

More information

Galois Representations

Galois Representations 9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and

More information

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface

More information

Vandiver s Conjecture via K-theory

Vandiver s Conjecture via K-theory Vandiver s Conjecture via K-theory Summer School on Cyclotomic fields, Pune, June 7-30, 1999 Eknath Ghate 1 Introduction The purpose of this note is to describe some recent work by Soulé [6] on Vandiver

More information

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract

More information

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

KIDA S FORMULA AND CONGRUENCES

KIDA S FORMULA AND CONGRUENCES KIDA S FORMULA AND CONGRUENCES ROBERT POLLACK AND TOM WESTON 1. Introduction Let f be a modular eigenform of weight at least two and let F be a finite abelian extension of Q. Fix an odd prime p at which

More information

ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS. Daniel Delbourgo (Received 30 October, 2014)

ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS. Daniel Delbourgo (Received 30 October, 2014) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 45 2015), 33-38 ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS Daniel Delbourgo Received 30 October, 2014) Abstract. We prove the exceptional

More information

Lenny Taelman s body of work on Drinfeld modules

Lenny Taelman s body of work on Drinfeld modules Lenny Taelman s body of work on Drinfeld modules Seminar in the summer semester 2015 at Universität Heidelberg Prof Dr. Gebhard Böckle, Dr. Rudolph Perkins, Dr. Patrik Hubschmid 1 Introduction In the 1930

More information

Residual modular Galois representations: images and applications

Residual modular Galois representations: images and applications Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular

More information

l-adic Representations

l-adic Representations l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

Up to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor

Up to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,

More information

Number Theory Seminar Spring, 2018: Modularity

Number Theory Seminar Spring, 2018: Modularity Number Theory Seminar Spring, 2018: Modularity Motivation The main topic of the seminar is the classical theory of modularity à la Wiles, Taylor Wiles, Diamond, Conrad, Breuil, Kisin,.... Modularity grew

More information

On the Alexander stratification in the deformation space of Galois characters

On the Alexander stratification in the deformation space of Galois characters On the Alexander stratification in the deformation space of Galois characters Masanori MORISHITA Abstract. Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by

More information

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:

More information

AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA

AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA CLAUS FIEKER AND YINAN ZHANG Abstract. We propose an algorithm to compute the p-part of the class number for a number field K, provided K is totally

More information

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation

More information

Twists and residual modular Galois representations

Twists and residual modular Galois representations Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual

More information

Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields

Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields journal of number theory 57, 114121 article no. 0037 Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields Keqin Feng and Fei Xu Department of Mathematics, University of Science and Technology of

More information

Galois Representations

Galois Representations Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy

More information

TRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN

TRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN TRILINAR FORMS AND TRIPL PRODUCT PSILON FACTORS W TCK GAN Abstract. We give a short and simple proof of a theorem of Dipendra Prasad on the existence and non-existence of invariant trilinear forms on a

More information

KUMMER S LEMMA KEITH CONRAD

KUMMER S LEMMA KEITH CONRAD KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1

More information

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS DIPENDRA PRASAD Abstract. For the quaternion division algebra D over a non-archimedean local field k, and π an irreducible finite dimensional

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

News about Roots of Unity. J. Coates, G. Poitou

News about Roots of Unity. J. Coates, G. Poitou News about Roots of Unity J. Coates, G. Poitou January 9, 2004 Abstract This text was originally intended for non-mathematicians; during its preparation B. Mazur and A. Wiles announced the solution of

More information

Kida s Formula and Congruences

Kida s Formula and Congruences Documenta Math. 615 Kida s Formula and Congruences To John Coates, for his 60 th birthday Robert Pollack and Tom Weston Received: August 30, 2005 Revised: June 21, 2006 Abstract. We consider a generalization

More information

Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms

Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =

More information

The Arithmetic of Noncongruence Modular Forms. Winnie Li. Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan

The Arithmetic of Noncongruence Modular Forms. Winnie Li. Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan The Arithmetic of Noncongruence Modular Forms Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan 1 Modular forms A modular form is a holomorphic function

More information

On the arithmetic of modular forms

On the arithmetic of modular forms On the arithmetic of modular forms Gabor Wiese 15 June 2017 Modular forms There are five fundamental operations: addition, subtraction, multiplication, division, and modular forms. Martin Eichler (1912-1992)

More information

KIDA S FORMULA AND CONGRUENCES

KIDA S FORMULA AND CONGRUENCES University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2005 KIDA S FORMULA AND CONGRUENCES R Pollack

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

INTERTWINING OF RAMIFIED AND UNRAMIFIED ZEROS OF IWASAWA MODULES

INTERTWINING OF RAMIFIED AND UNRAMIFIED ZEROS OF IWASAWA MODULES INTERTWINING OF RAMIFIED AND UNRAMIFIED ZEROS OF IWASAWA MODULES CHANDRASHEKHAR KHARE AND JEAN-PIERRE WINTENBERGER 1. Introduction Let F be a totally real field, p > 2 a prime, F F (µ p ) the cyclotomic

More information

Non CM p-adic analytic families of modular forms

Non CM p-adic analytic families of modular forms Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:

More information

gφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l

gφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l Global Riemann-Roch formulas Let K be a number field, Γ = Gal( K/K), M a finite Γ-module of exponent m; ie mm = (0) If S is a finite set of places of K we let Γ S = Gal(K S /K), where K S is the union

More information

On the Langlands Program

On the Langlands Program On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for

More information

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

Recent Work on Serre s Conjectures

Recent Work on Serre s Conjectures Recent Work on s UC Berkeley UC Irvine May 23, 2007 Prelude In 1993 1994, I was among the number theorists who lectured to a variety of audiences about the proof of Fermat s Last Theorem that Andrew Wiles

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory

Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.

More information

Modularity of Abelian Varieties

Modularity of Abelian Varieties 1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists

More information

NUNO FREITAS AND ALAIN KRAUS

NUNO FREITAS AND ALAIN KRAUS ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion

More information

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic

More information

VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES

VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite

More information

Introduction to Kolyvagin systems

Introduction to Kolyvagin systems Contemporary Mathematics Introduction to Kolyvagin systems Barry Mazur and Karl Rubin Introduction Since their introduction by Kolyvagin in [Ko], Euler systems have been used in several important applications

More information

On the generation of the coefficient field of a newform by a single Hecke eigenvalue

On the generation of the coefficient field of a newform by a single Hecke eigenvalue On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2

More information

Galois Theory of Several Variables

Galois Theory of Several Variables On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding

More information

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field

More information

THE PARAMODULAR CONJECTURE ARMAND BRUMER

THE PARAMODULAR CONJECTURE ARMAND BRUMER THE PARAMODULAR CONJECTURE ARMAND BRUMER (Joint work with Ken Kramer and Magma) Modular Forms and Curves of Low Genus: Computational Aspects @ ICERM Sept. 30, 2015 B&Kramer: Certain abelian varieties bad

More information

Overview. exp(2πiq(x)z) x Z m

Overview. exp(2πiq(x)z) x Z m Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know

More information

Dieudonné Modules and p-divisible Groups

Dieudonné Modules and p-divisible Groups Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous

More information

MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN

MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic

More information

Triple product p-adic L-functions for balanced weights and arithmetic properties

Triple product p-adic L-functions for balanced weights and arithmetic properties Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and

More information

1.6.1 What are Néron Models?

1.6.1 What are Néron Models? 18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in

More information

Overview of the proof

Overview of the proof of the proof UC Berkeley CIRM 16 juillet 2007 Saturday: Berkeley CDG Sunday: CDG MRS Gare Saint Charles CIRM Monday: Jet lag Jet lag = Slides Basic setup and notation G = Gal(Q/Q) We deal with 2-dimensional

More information

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi Induction formula for the Artin conductors of mod l Galois representations Yuichiro Taguchi Abstract. A formula is given to describe how the Artin conductor of a mod l Galois representation behaves with

More information

arxiv: v2 [math.nt] 12 Dec 2018

arxiv: v2 [math.nt] 12 Dec 2018 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this

More information

POTENTIAL MODULARITY AND APPLICATIONS

POTENTIAL MODULARITY AND APPLICATIONS POTENTIAL MODULARITY AND APPLICATIONS ANDREW SNOWDEN Contents 1. Introduction 1 2. Review of compatible systems 2 3. Potential modularity 3 4. Putting representations into compatible systems 5 5. Lifting

More information

Modern Number Theory: Rank of Elliptic Curves

Modern Number Theory: Rank of Elliptic Curves Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation

More information

The Galois Representation Associated to Modular Forms (Part I)

The Galois Representation Associated to Modular Forms (Part I) The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2

More information

Are ζ-functions able to solve Diophantine equations?

Are ζ-functions able to solve Diophantine equations? Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

Congruences Between Selmer Groups 1

Congruences Between Selmer Groups 1 Journal of Number Theory 80, 135153 (2000) Article ID jnth.1999.2445, available online at http:www.idealibrary.com on Congruences Between Selmer Groups 1 Li Guo Department of Mathematics and Computer Science,

More information

Computing coefficients of modular forms

Computing coefficients of modular forms Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications

More information

Dirichlet Series Associated with Cubic and Quartic Fields

Dirichlet Series Associated with Cubic and Quartic Fields Dirichlet Series Associated with Cubic and Quartic Fields Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux October 23, 2012, Bordeaux 1 Introduction I Number fields will always be considered

More information

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

More information

Quartic and D l Fields of Degree l with given Resolvent

Quartic and D l Fields of Degree l with given Resolvent Quartic and D l Fields of Degree l with given Resolvent Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux January 14, 2013, Bordeaux 1 Introduction I Number fields will always be considered

More information

Cristian D. Popescu 1

Cristian D. Popescu 1 THE RUBIN STARK CONJECTURE FOR IMAGINARY ABELIAN FIELDS OF ODD PRIME POWER CONDUCTOR Cristian D. Popescu 1 Abstract. We build upon ideas developed in [9], as well as results of Greither on a strong form

More information

Abstracts of papers. Amod Agashe

Abstracts of papers. Amod Agashe Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible

More information

What is the Langlands program all about?

What is the Langlands program all about? What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly

More information

1 Intro and History. 2 Ingredients. Stark's Conjecture Talk notes. Motivating example: = ln(1 + 2)

1 Intro and History. 2 Ingredients. Stark's Conjecture Talk notes. Motivating example: = ln(1 + 2) Stark's Conjecture Talk notes 1 Intro and History Motivating example: 1 1 3 1 5 + 1 7 + + = ln(1 + 2). This is L(1, χ) for the nontrivial χ : (Z/8Z) 2 C with χ( 1) = 1. The question is, broadly, why is

More information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.

More information

Lifting Galois Representations, and a Conjecture of Fontaine and Mazur

Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Documenta Math. 419 Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Rutger Noot 1 Received: May 11, 2001 Revised: November 16, 2001 Communicated by Don Blasius Abstract. Mumford

More information

A short proof of Klyachko s theorem about rational algebraic tori

A short proof of Klyachko s theorem about rational algebraic tori A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture

More information