AN INTRODUCTION to P-ADIC L-FUNCTIONS

Home , Euler system, Iwasawa theory, Selmer group

AN INTRODUCTION TO p-ADIC L-FUNCTIONS

Joaquín Rodrigues Jacinto & Chris Williams

Contents

General overview...... 2 1. Introduction...... 2 1.1. Motivation...... 2 1.2. The Riemann zeta function...... 5 1.3. p-adic L-functions...... 6 1.4. Structure of the course...... 11

Part I: The Kubota–Leopoldt p-adic L-function...... 12 2. Measures and Iwasawa algebras...... 12 2.1. The Iwasawa algebra...... 12 2.2. p-adic analysis and Mahler transforms...... 14 2.3. An example: Dirac measures...... 15 2.4. A measure-theoretic toolbox...... 15 3. The Kubota-Leopoldt p-adic L-function...... 17 3.1. The measure µa ...... 17 3.2. Restriction to Zp⇥ ...... 18 3.3. Pseudo-measures...... 19 4. Interpolation at Dirichlet characters...... 21 4.1. Characters of p-power conductor...... 21 4.2. Non-trivial tame conductors...... 23 4.3. Analytic functions on Zp via the Mellin transform...... 25 4.4. The values at s =1...... 27 5. The p-adic family of Eisenstein series...... 29

Part II: Iwasawa’s main conjecture...... 31 6. The Coleman map...... 32 6.1. Notation and Coleman’s theorem...... 32 6.2. Example: cyclotomic units...... 33 6.3. Proof of Coleman’s theorem...... 34 6.4. The logarithmic derivative...... 36 6.5. The Coleman map...... 39 6.6. The Kummer sequence, Euler systems and p-adic L-functions...... 40 7. The Main Conjecture...... 42 7.1. The ⇤-modules arising from Galois theory...... 43 7.2. Measures on Galois groups...... 44 7.3. The main conjecture...... 46 7.4. Cyclotomic units...... 47 7.5. On a theorem of Iwasawa...... 48 7.6. An application of class ﬁeld theory...... 49 7.7. Some consequences of Iwasawa theory...... 50 8. Iwasawa’s µ-invariant...... 51 8.1. Iwasawa’s theorem...... 51 8.2. Some consequences of Iwasawa’s theorem...... 56

Appendix...... 58 2 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

9. The complex class number formula...... 58 10. Class ﬁeld theory...... 59 11. Power series and Iwasawa algebras...... 61

References...... 63

General overview

In these lectures, we aim to give an introduction to p-adic L-functions and the foun- dations of Iwasawa theory. Iwasawa’s work found overarching structures that explained previous results of Kummer linking special values of L-functions with the arithmetic of cyclotomic ﬁelds. His methods have been applied with stunning success in other settings, and much of what we know today about long-standing conjectures such as the Birch and Swinnerton-Dyer conjecture has its roots in Iwasawa theory.

We will focus mainly on the construction and study of Kubota and Leopoldt’s p-adic interpolation of the Riemann zeta function and on the ideas surrounding the Iwasawa Main conjecture,nowatheoremduetoMazurandWiles(see[MW84]). We will describe some classical results linking L-values and arithmetic data that led to the study of p-adic L-functions, and give several constructions of the p-adic zeta function. In particular, a construction due to Coleman using cyclotomic units will naturally lead to the statement of the Main conjecture, which we will prove when p is a Vandiver prime (which conjecturally, at least, covers every prime). We will ﬁnally see a theorem of Iwasawa describing the growth of the p-part of the class group of cyclotomic ﬁelds.

Recommended reading: The material in Part I of these notes is largely contained in Lang’s Cyclotomic fields I and II (see [Lan90]) and Colmez’s lecture notes [Col]. Part II is based on the book Cyclotomic fields and zeta values by Coates and Sujatha (see [CS06]). Part III is based on Washington’s book An introduction to cyclotomic fields (see [Was97], especially §13). These lectures can be regarded as an introduction to the topics treated in the references mentioned above, which the reader is urged to consult for further details, and as a prelude to Rubin’s proof of the Main Conjecture using the theory of Euler systems, as described in [CS06]and[Lan90,Appendix].

1. Introduction 1.1. Motivation. — 1.1.1. Classical L-functions. — The study of L-functions and their special values goes back centuries, and they are central objects of modern number theory. Examples include: – The famous Riemann zeta function,deﬁnedby

s s 1 ⇣(s)= n = (1 p ) ,sC, 2 n 1 p X Y AN INTRODUCTION TO p-ADIC L-FUNCTIONS 3 where the last product runs over all prime numbers p and the second equality follows is a conseqence of the unique factorisation theorem. The sum converges absolutely for the real part of s greater than 1, making ⇣ a holomorphic function in a right half-plane. The expression as a product is called an Euler product. – Let F be a number ﬁeld. The zeta function of F is

s s 1 ⇣ (s) .= N(I) = (1 N(p) ) , F 0=I O p 6 X⇢ F Y where the sum is over all non-zero ideals in the ring of integers (and which again converges for Re(s) > 1), and the product is over all non-zero prime ideals of K. The existence of the Euler product again follows from unique factorisation. – Let :(Z/N Z)⇥ C⇥ be a Dirichlet character, and extend it to a function : Z C ! ! by setting it to be 0 at integers not coprime to N. The L-function of is

s s 1 L(, s) .= (n)n = (1 (p)p ) . n 1 p X Y Yet again, this converges in a right half-plane. – Let E/Q be an elliptic curve of conductor N.OnecandeﬁneanL-function

s s 1 2s 1 L(E,s) .= a (E)n = (1 a (E)p + p ) L (s), n p p n 1 p N p N X Y- Y| where ap(E)=p+1 #E(Fp) and the factors Lp(s) at bad primes are deﬁned as Lp(s)=1 s 1 s 1 (resp. (1 p ) ,resp.(1 + p ) )ifE has bad additive (resp. split multiplicative, resp. non-split multiplicative) reduction at p. + n – Let f = 1 a (p)q S ( (N),! ) be a (normalised) newform of weight k,level n=1 n 2 k 0 f N and character ! . The L-function associated to f is given by P f s s k 1 2s 1 s 1 L(f,s) .= a (f)n = (1 a (f)p + ! (p)p ) (1 a (f)p ) . n p f p n 1 p N p N X Y- Y| Any reasonably behaved L-function should have the following basic properties (which may be non-trivial to prove!) (1): (1) A meromorphic continuation to the whole complex plane; (2) Afunctionalequationrelatings and k s for some k R; 2 (3) An Euler product.

Remark 1.1.—More generally, let GQ = Gal(Q/Q) denote the absolute Galois group of Q and let V Rep G be a p-adic Galois representation (i.e. a finite dimensional vector 2 L Q space over a finite extension L of Qp equipped with a continuous linear action of GQ). For ` = p arationalprime,onedefinesalocalfactorat` as 6 1 s I 1 L (V,s) .=det(Id Frob ` V ` ) , ` ` | where Frob` denotes the arithmetic Frobenius at `,andI` denotes the inertia group at `. One defines a local factor at p as

1 s 1 L (V,s) .=det(Id ' p D (V )) , p | cris where this time Dcris(V ) denotes the crystalline module of V from p-adic Hodge theory |GQp and ' denotes the crystalline Frobenius. One then deﬁnes the global L-function of V as the formal product

L(V,s)= L`(V,s). Y`

(1)We will treat the meromorphic continuation of the Riemann zeta function in the sequel. 4 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

When V is the representation attached to am arithmetic object(2) the L-function of the representation is typically equal to the L-function attached to that object; for example, taking V = Qp() (that is, V = Qp with GQ acting through the character via class ﬁeld theory), one recovers the Dirichlet L-functions described above. See [Bel09]foran introduction to these topics.

1.1.2. Special values and arithmetic data.—MuchoftheinterestofL-functions comes through their special values. There are deep results and conjectures relating special values of L-functions to important arithmetic information, of which a prototypical example is the following:

Theorem 1.2 (Class number formula). — Let F be a number field with r1 real embeddings, r2 pairs of complex embeddings, w roots of unity, discriminant D, and regulator R. The zeta function ⇣F has a simple pole at s =1with residue 2r1 (2⇡)r2 R ress=1⇣F (s)= hF , w D | | where hF is the class number of F . p In theory, this gives a method for calculating the class number of a number field, although in general computing the regulator is difficult. In special cases related to cyclotomic fields, though, it can give an effective computation of the class number.

AsecondfamousexampleoflinksbetweenspecialvaluesofL-functions and arithmetic information comes in the form of the Birch and Swinnerton–Dyer conjecture.LetE/Q be an elliptic curve. The set of rational points E(Q) forms a ﬁnitely generated abelian group, and Birch and Swinnerton–Dyer predicted that

rankZE(Q) = ords=1L(E,s). Let’s say we want to attack the conjecture. There are two natural subquestions: (a) We could try to prove that rank E(Q) ord L(E,s). Anaturalapproachisto Z s=1 try to construct rational points on the elliptic curve. The theory of Heegner points is based on such an idea. More recently, the p-adic theory of Stark–Heegner points has been used with some success (see [Dar01], where the theory was initiated). These constructions tend to give points of infinite order on E(Q) if and only if the L-function vanishes to a certain order (for example, a Heegner point has infinite order if and only if the order of vanishing is precisely 1). (b) Conversely, we could try and prove that rank E(Q) ord L(E,s). In this case we  s=1 want to bound the number of points. One method for trying to do this uses Euler systems (see [Rub00] for a comprehensive introduction). The primary application of the theory of Euler systems is in bounding certain Galois cohomology groups, known as Selmer groups, which are defined using local behaviour and can be viewed as a cohomological interpretation of the group of rational points on E. The difference between the Selmer group and E(Q) is captured in the Tate–Shafarevich group X(E/Q), which is a torsion abelian group that is conjecturally finite. If the p-part of X(E/Q) is finite, then the p-Selmer group and the group E(Q) have the same rank (as abelian groups), so bounding the Selmer group is equivalent to bounding E(Q). The ideas above have led to the only known special cases of the conjecture; in particular, we now know it to be true (under some assumptions) when ord L(E,s) 1 due to work s=1  of Kolyvagin, Gross–Zagier and Murty–Murty (see [Kol88], [GZ86]and[MM91]).

(2)For example, a number ﬁeld, an elliptic curve, a modular form, etc. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 5

Remark 1.3.—Something that both (a) and (b) have in common is their use of p-adic L- functions. In fact, there is a p-adic version of Birch and Swinnerton-Dyer, due to Mazur, Tate and Teitelbaum (see [MTT86]), which relates the rank of the p-Selmer group to the order of vanishing of a p-adic L-function at s =1. This formulation (which is conjecturally equivalent to the standard formulation(3))hasrecentlybeenproved in many cases by Skinner–Urban (see [SU14]), following work of Kato (see [Kat04]). Their proof uses a version of the Iwasawa Main Conjecture for elliptic curves.

1.1.3. Iwasawa’s main conjecture: a general picture.—Asithasbeenmentioned,many arithmetic objects have associated Galois representations,andtheseGaloisrepresentations come with L-functions. In general, one might expect that where there is an L-function, there is a p-adic L-function, and that there is a version of the Main conjecture for this p-adic L-function. The main conjecture essentially says that the p-adic L-function should control the size of the Selmer groups of the Galois representation it is attached to (recalling from above that the Selmer groups are subgroups of the Galois cohomology deﬁned by local conditions). Galois representations - L functions { } { }

? ? IMC Galois cohomology p-adic L-functions { } { } In the case of elliptic curves, the application of this to Birch and Swinnerton–Dyer comes through the links between the Selmer groups and E(Q).

In this lecture course, we will focus on the simplest example of the above picture, namely the Main conjecture for the Riemann zeta function, as formulated by Iwasawa himself. In the process, we will construct the p-adic analogue of the zeta function on the way to stating the main conjecture, which we will prove for a special case. In doing so, we hope to give an introduction to the rich area of p-adic L-functions and Iwasawa theory.

1.2. The Riemann zeta function. — Since the Riemann zeta function will be a central player in the rest of these lectures, we take a brief detour to describe some of the classical theory surrounding it. We start with the following general result.

Theorem 1.4.— Let f : R 0 R be a C 1-function that decays exponentially at ! inﬁnity, and let

1 t s 1 (s)= e t dt. Z0 be the usual Gamma function. The function

1 1 s 1 L(f,s) .= f(t)t dt, s C, (s) 2 Z0 which converges to a holomorphic function for Re(s) > 0, has an analytic continuation to the whole complex plane, and dn L(f, n)=( 1)n f(0). dtn We call L(f,s) the Mellin transform of f.

(3)To show that p-adic Birch and Swinnerton–Dyer implies classical Birch and Swinnerton–Dyer, one must show ﬁniteness of X and prove a precise relation between the order of vanishing of the classical and p-adic L-functions. Both of these are, naturally, extremely diﬃcult open problems. 6 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Proof.—To show analytic continuation, we claim that when Re(s) > 1,wehave

L(f,s)= L(f 0,s+ 1), where f 0 = df/dt. This is an easy exercise in integration by parts, using the identity (s)=(s 1)(s 1),andgivestheanalyticcontinuationtoallofC by iteration. Finally, iterating the same identity n +1times shows that L(f, n)=( 1)n+1L(f (n+1), 1) 1 =( 1)n+1 f (n+1)(t)dt Z0 =( 1)nf (n)(0) from the fundamental theorem of calculus, giving the result.

Now we pick a specific choice of f,namely,welet t tn f(t)= = B , et 1 n n! n 0 X the generating function for the Bernoulli numbers Bn. Remark 1.5.—The Bernoulli numbers satisfy a recurrence relation that ensures they are rational numbers; for example, the first few are 1 1 1 B =1,B = ,B = ,B =0,B = ,... 0 1 2 2 6 3 4 30 For k 3 odd, B =0. k Lemma 1.6.—For the choice of f as above, we have (s 1)⇣(s)=L(f,s 1). Proof.—We use the classical formula for (s) above. Substituting t for nt and rearranging, we obtain s 1 1 nt s 1 n = e t dt. (s) Z0 Now, when Re(s) is sufficiently large, we can write

s 1 1 nt s 1 1 1 nt s 2 ⇣(s)= n = e t dt = e t t dt, (s) (s) · n 1 n 1 Z0 Z0 n 1 X X X and the result now follows from the identity

1 nt = e . Å ã et 1 n 1 X From the theorem above, we immediately obtain:

Corollary 1.7.—For n 0, we have B ⇣( n)= n+1 , n +1 In particular, ⇣( n) Q for n 0, and ⇣( n)=0if n is even. 2 1.3. p-adic L-functions. — We have already seen two examples where special values of L- functions should be able tell us information about arithmetic objects. In fact, there are very general conjectures (for example, the Bloch–Kato and Beilinson conjectures) predicting that these links exist on a much wider scale, and despite some partial results in special cases these conjectures remain deep open problems. Much of what we do know about these conjectures comes through the theory of p-adic L-functions. In this section, we explain what a p-adic L-function is and the properties it should satisfy. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 7

1.3.1. p-adic L-functions, a ﬁrst idea. — The complex ⇣-function is a function ⇣ : C C ! with complex analytic properties which is rational at negative integers. Since Z is a common subset of both C and Z C ,andsincetheyaredenseinZ ,itisnaturaltoaskifthere p ✓ p p exists a function ⇣ : Z C p p ! p that is ‘p-adic analytic’ (in some sense to be deﬁned) and which is uniquely characterized by the property that it agrees with the complex L-function at negative integers in the sense that ⇣ (1 n)=( ) ⇣(1 n), p ⇤ · for some explicit factor ( ).Wewouldsaythatsuchafunction‘p-adically interpolates the ⇤ special values of ⇣(s)’. 1.3.2. Ideles, measures and Tate’s thesis. — In practice, there is no single analytic func- (4) tion on Zp that interpolates all of the special values , as we will explain in Section 4.3. Instead, a better way of thinking about L-functions is to use a viewpoint initiated by Tate in his thesis [Tat50] (and later independently by Iwasawa; see [Iwa52]). This viewpoint sees L-functions as measures on ideles, and allows one to package together all Dirichlet L-functions, including the Riemann zeta function, into a single object. We will give a brief account of the classical theory here, but for fuller accounts, one should consult the references above.

We begin with the following observations.

Lemma 1.8.— (i) Let :(Z/N Z)⇥ C⇥ be a Dirichlet character. Then can be ! seen as a function

: Z⇥ C⇥. ` ! ` primeY (ii) There exists an identiﬁcation of C with Homcts(R>0, C⇥) by sending s to the character x xs. 7! Proof.—To see part (i), suppose that N = `n is a power of some prime `;thenwecansee

as a function on Z`⇥ via the identiﬁcation n n Z⇥ = (Z/` Z)⇥ (1 + ` Z ). ` ⇠ ⇥ ` The general case follows from the Chinese remainder theorem.

We turn to part (ii). For s C,thefunctionx xs is visibly a continuous character on 2 7! R>0.Wewanttoshowthatallsuchcharactersareofthisform.Aftertakingalogarithm, this is equivalent to showing that all continuous homomorphisms (of additive groups) g : R C are of the form g(x)=xg(1), which is easily shown by directly computing the values ! of g on Q and extending by continuity.

By the identiﬁcation of C with Homcts(R>0, C⇥) one can view ⇣ as a function

⇣ : Hom (R , C⇥) C cts >0 ! x xs ⇣(s). 7! 7! But we can add in Dirichlet characters using⇥ the following.⇤

(4) Rather, there are p 1 diﬀerent analytic functions ⇣p,1,...,⇣p,p 1 on Zp,and⇣p,i interpolates only the values ⇣( k) for which k i (mod p 1). ⌘ 8 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Proposition 1.9.—Under the identiﬁcations above, each pair (, s), where is a Dirich- let character and s C, corresponds to a (unique) continuous character 2  : R Z⇥ C⇥ ,s >0 ⇥ ` ! ` primeY (x, y) xs(y), 7! where we equip the source with the product topology. All continuous characters on this group are of this form.

Proof.—The first assertion is immediate from above. To see the converse, let  be such a character. Then we already know that the restriction of  to R>0 must be of the form x xs.Furthermore,wehaveanisomorphismoftopologicalgroups 7! Z`⇥ ⇠= lim(Z/M Z)⇥, ` primeY where the right hand side is equipped with the profinite topology, and by taking a sufficiently small open neighbourhood of 1 in C⇥ we see that any continuous character 0 from this to C⇥ must have open kernel. Hence the kernel has finite index, and  descends to the (finite) quotient, which one can check is of the form (Z/N Z)⇥ for some N,givingrisetoaDirichlet character of conductor N. Then  = ,s.

The product space is more usually written as follows.

Deﬁnition 1.10.—Deﬁne the ideles A⇥ of Q to be

0 A⇥ = A⇥ .= R⇥ Q⇥ Q ⇥ ` ` primeY = (x ,x ,x ,x ,...):x Z⇥ for all but ﬁnitely many ` . R 2 3 5 ` 2 ` (The prime on the product denotes restricted product, which indicates the almost everywhere integral property in the deﬁnition). It’s a good exercise to check that:

Proposition 1.11 (Strong approximation). — There is a decomposition

A⇥ = Q⇥ R Z⇥. ⇠ ⇥ >0 ⇥ ` ` primeY Hence all continuous characters

Q⇥ A⇥ C⇥ \ ! are of the form  as above, where is a Dirichlet character and s C. ,s 2 Now we can consider all Dirichlet L-functions at once via the function

L : Hom (Q⇥ A⇥, C⇥) C cts \ !  L(, s). ,s 7! In the framework of Tate, this function L can be viewed as integrating ,s against the Haar measure on Q⇥ A⇥. In his thesis, Tate showed that properties such as the analytic \ continuation and functional equations of Dirichlet L-functions by using harmonic analysis on measures. Indeed, the idelic formulation gives a beautiful conceptual explanation for the appearance of the -functions and powers of 2⇡i in the functional equation of the zeta function; these factors are the ‘Euler factors at the archimedean place’. The measure-theoretic perspective has proven to be a powerful method of deﬁning and studying automorphic L- functions in wide generality.

Remark 1.12.— AN INTRODUCTION TO p-ADIC L-FUNCTIONS 9

– If K is any number ﬁeld, one can analogously deﬁne the ideles AK⇥ of K as the restricted product K⇥ over all places v of K. Continuous homomorphisms K⇥ A⇥ C⇥ are v v \ K ! called Hecke characters or Größencharacters. They are examples of automorphic forms for Q GL1/K.

– By class ﬁeld theory, the idele class group K⇥ AK⇥ injects (with dense image) ab . ab ab \ into GK .= Gal(K /K), where K denotes the maximal abelian extension of K. ab Since any character of GK must factor through GK ,underthisidentiﬁcationwehave Hom (K⇥ A⇥ , C⇥) = Hom (G , C⇥) = Hom (G , GL (C)), where G = Gal(K/K) cts \ K cts K cts K 1 K denotes the absolute Galois group of Q.WecanthenpackageDirichletL-functions over K into a complex analytic function on the space of one dimensional complex representations of the absolute Galois group GK .

1.3.3. p-adic L-functions via measures.—Toobtainap-adic version of this picture, a natural thing to do is to look at continuous characters from Q⇥ A⇥ into C⇥ (rather than \ p C⇥). Again, such a function corresponds to a function on R Z⇥.SinceR is >0 ⇥ ` >0 connected and C is totally disconnected, the restriction of any such character to R is p Q >0 trivial. Also using topological arguments we ﬁnd that the restriction to `=p Z`⇥ factors 6 through a ﬁnite quotient, so gives rise to some Dirichlet character of conductor prime to p. Q This leaves the restriction to Zp⇥, which is by far the most interesting part.

In the measure-theoretic viewpoint of L-functions, it is then natural to look for an analytic(5) function ⇣ : Hom (Z⇥, C⇥) C p cts p p ! p in such a way that ⇣ (x xk)=( ) ⇣( k),k0 p 7! ⇤ · for an explicit factor ( ),thatis,forafunctiononp-adic characters interpolating the values ⇤ ⇣( k) for k 0.Wesaysuchafunctionisameasure on Z⇥. In equivalent and more p elementary terms, a measure on Zp⇥ is an element of the continuous dual of the space of continuous functions on Zp⇥. We will prove:

Theorem 1.13 (Kubota-Leopoldt, Iwasawa). — There exists a (pseudo-)measure(6) ⇣ on Z⇥ such that, for all k 0, p p k k k x ⇣ .= ⇣ (x x )= 1 p ⇣( k). · p p 7! ZZp⇥ Remark 1.14.—Note that we removed the Euler factor at p. This is a general phe- nomenon appearing in the theory of p-adic L-functions.

From such an object, we can build the (meromorphic) functions on Zp we were initially looking for. But now, we have much more, and the power of the measure-theoretic approach becomes obvious:

Theorem 1.15.—Let be a Dirichlet character of conductor pn, n 0, viewed as a locally constant character on Z⇥. Then, for all k 0, p (x)xk ⇣ = 1 (p)pk L(, k). · p ZZp⇥ (5) Precisely, since Zp⇥ = µp 1 (1 + pZp), the space Homcts(Zp⇥, Cp⇥) can be identified with p 1 copies of ⇥ the open unit ball in Cp (see the exercises). It carries the structure of a rigid analytic p-adic space, and a function on this space is rigid analytic if it can be written as a convergent power series on each ball. Such an analytic function will be a measure if these coefficients are bounded. (6)Pseudo-measures will be defined in Section 3. Roughly speaking, such an object is a measure that is allowed to have simple poles. 10 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

In other words, when viewed as a measure the Kubota–Leopoldt p-adic L-function is a single p-adic gadget that encodes the special values not only of the Riemann zeta function, but also of all of its twists by characters of p-power conductor. This is pretty magic! Indeed, even though one only uses the values ⇣( k) to construct the measure ⇣ , Theorem p 1.15 affirms that its values at infinitely many different points are still related to the complex L-function. We will also see a formula of Leopoldt showing another striking resemblance 1 when evaluating at the character x x . 7!

To complete the image given in §1.3.2, one can take into account Dirichlet characters of conductor prime to p. The ideas that go into the proof of Theorem 1.15 can also be used to show:

Theorem 1.16.—Let D>1 be any integer coprime to p, and let ⌘ denote a (primitive)

Dirichlet character of conductor D. There exists a unique measure µ⌘ on Zp⇥ with the following interpolation property: for all primitive Dirichlet characters with conductor pn for some n 0, we have, for all k>0, (x)xk µ = 1 ⌘(p)pk L(⌘, k). · ⌘ ZZp⇥ Remark 1.17.—Let (Z/DZ)⇥^ denote the space of characters on (Z/DZ)⇥. The measures given by Theorem 1.16 can be seen as functions on Hom (Z⇥, C⇥) (Z/DZ)⇥^ and cts p p ⇥ they are compatible with respect to the natural maps (Z/DZ)⇥^ (Z/EZ)⇥^ for E D. ! | This shows that they deﬁne a function on

Hom (Z⇥, C⇥) lim Z/DZ ⇥^ = Hom (Z⇥, C⇥) Z⇥ ^ cts p p ⇥ cts p p ⇥ ` (D,p )=1 `=p Y6 = Hom (Q⇥ A⇥ , C⇥). cts \ Q p In other words, they give a measure on the idele class group of Q.

Remark 1.18.—The measure-theoretic interpretation of p-adic L-functions also allows us to generalise to number ﬁelds in a clean and conceptual way, as we elaborate in this remark.

– Let F = Q(µp ) denote the field extension of Q obtained by adjoining all p-power 1 1 roots of unity. This is a Galois extension of Q with Gal(F /Q) = Zp⇥ via the cyclotomic 1 ⇠ character (see, for example, the notation at the start of Part II). Under this isomorphism, we can see ⇣p as a pseudo-measure on Gal(F /Q). 1 – Note that F is the maximal abelian extension of Q that is unramified outside p. 1 Indeed, the Kronecker-Weber theorem states that if K/Q is abelian, then K Q(µ ) for ⇢ m some minimal m.Bytheramificationpropertiesofcyclotomicfields,ifaprime` ramifies in K,then` m,andhenceifK is unramified outside p,thereexistssomen such that | K Q(µpn )=Fn F . ⇢ ⇢ 1 – Now let K/Q be a number field; then the p-adic analogue of the zeta function ⇣K (s) should be a pseudo-measure on Gal(Kab,p/K), where Kab,p is the maximal abelian extension of K unramified outside primes above p. This is also the natural setting for the construction of p-adic L-functions of other arithmetic objects, such as elliptic curves or modular forms over K. It is possible to translate measures on this Galois group into measures on (O Z )⇥ K ⌦ p or analytic functions on O Z ,butthisisnotasclean;overQ,thingsworknicely K ⌦ p since the class number is 1 and the totally positive global units are trivial. For a general number field K,thestrongapproximationtheoremtakesamorecomplicatedform,andwe end up with a collection of measures/analytic functions indexed by a class group. For an example of the theory for modular forms over imaginary quadratic fields, see [Loe14](for measures/distributions) or [BSW17,§3](foranalyticfunctions). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 11

1.4. Structure of the course. — The course will be split into three major parts. In Part I, we construct the p-adic analogue of the Riemann zeta function, called the Kubota-Leopoldt p-adic L-function,andprovethatitinterpolatesspecialvaluesofDirichletL-functions. In Part II, we will look at the Main conjecture. In particular, we’ll explore some of the deeper underlying structure discovered by Iwasawa, proving a connection between certain units in cyclotomic ﬁelds and the p-adic L-function. This will naturally lead to the statement of the Main conjecture, which we will prove in a special case. In Part III, we will look at further topics in Iwasawa theory, including the -andµ-invariants of a Zp-extension. The latter theory allows precise control of the p-part of the ideal class group in a tower of p-extensions of number ﬁelds. 12 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Part I: The Kubota–Leopoldt p-adic L-function

In this part, we give a construction of the Kubota–Leopoldt p-adic L-function and the p- adic L-functions of Dirichlet characters. In Section 2, we introduce the necessary formalism of p-adic measures and Iwasawa algebras, and show that there is an isomorphism from the Iwasawa algebra of Zp to the space Zp[[T ]] of power series over Zp,givenbytheMahler transform. In Section 3, we construct a pseudo-measure on Zp⇥ that interpolates the values of the Riemann zeta function at negative integers. In Section 4, we show moreover that this pseudo-measure interpolates the values L(, k) for aDirichletcharacterofp-power conductor. Further, if ⌘ is a Dirichlet character of conductor prime to p,weconstructa measure on Z that interpolates the values L(⌘, k) as runs over Dirichlet characters of p p-power conductor. Finally, in Section 4.3 we rephrase the construction in terms of analytic functions on Zp via the Mellin transform.

2. Measures and Iwasawa algebras In the introduction, we explained that a natural way to construct p-adic L-functions is to construct suitable p-adic measures on Zp⇥. In this section, we introduce the formalism of the theory of p-adic analysis that we will be using in the sequel. Whilst some of the results of this section may appear a little dry in isolation, ﬂuency in the measure-theoretic language will greatly help us simplify calculations that would otherwise be very technical.

2.1. The Iwasawa algebra. — We fix a finite extension L of Qp, equipped with the p-adic valuation normalized such that vp(p)=1; this will serve as the coefficient field. We write OL for its ring of integers. Let G be a profinite abelian group (e.g. G = Zp or G = Zp⇥, which are the examples of most interest to us).

We denote by C (G, L) the space of continuous functions : G L, equipped with the ! valuation vC ()=infx G vp((x)) (giving rise to the sup norm). This valuation makes 2 C (G, L) into an L-Banach space, i.e. a complete topological L-vector space whose topology is defined by a valuation vC satisfying (i) v (f)=+ if and only if f =0; C 1 (ii) v (f + g) v (f)+v (g) for all f,g C (G, L); C C C 2 (iii) and v (f)=v ()+v (f) for all L, f C (G, L). C p C 2 2 Definition 2.1.—We define the space M (G, L) of L-valued measures on G as the dual Hom (C (G, L),L) equipped with the strong topology. If C (G, L) and µ M (G, L), cts 2 2 the evaluation of µ at will be denoted by

(x) µ(x), · ZG or by µ if the variable of integration is clear from the context (in the literature, this G · is sometimes written alternatively as dµ). We say that an element µ M (G, L) R G · 2 is an O -valued measure, and write µ M (G, O ),ifµ takes values in O .SinceG is L R2 L L compact and measures are continuous (or, equivalently, bounded), we have that M (G, L)= M (G, O ) L. We will be mainly concerned with O -valued functions and measures. L ⌦OL L Remark 2.2.—We can think of measures as additive functions µ : compact open subsets of G O . { }! L Indeed, let µ be such a function and let C (G, O ). We will see how to integrate 2 L against µ.Assumeﬁrstthat is locally constant. Then there is some open subgroup H of AN INTRODUCTION TO p-ADIC L-FUNCTIONS 13

G such that can be viewed as a function on G/H.Wedeﬁnetheintegralof against µ to be

µ .= (a)µ(aH). · ZG [a] G/H X2 In the general case, we can write =limn n, where each n is locally constant. Then !1 we can deﬁne . µ .=lim n µ, · n · ZG !1 ZG which exists and is independent of the choice of n we take. This deﬁnes an element in M (G, OL).

Conversely, if µ M (G, O ) and U G is an open compact set, one deﬁnes µ(U) .= 2 L ⇢ 1 (x) µ(x), where 1 (x) denotes the characteristic function of U. G U · U PropositionR 2.3.—We have an isomorphism

M (G, OL) ⇠= lim OL[G/H], H where the limit is over all open subgroups of G.

Proof.—Let µ be a measure, and let H be an open subgroup of G.Wedeﬁneanelement H of OL[G/H] by setting . H .= µ(aH)[a]. [a] G/H X2 By the additivity property of µ,weseethat( ) lim O [G/H],sowehaveamapfrom H H 2 L measures to this inverse limit.

Conversely, given such an element of the inverse limit, write H for its image in OL[G/H] under the natural projection. Then

H = ca[a]. [a] G/H X2 We deﬁne

µ(aH)=ca.

Since the H are compatible under projection maps, this defines an additive function on the open compact subgroups of G,i.e.anelementµ M (G, O ). 2 L Definition 2.4.—We define the Iwasawa algebra of G to be

. ⇤(G) .=limOL[G/H]. H (Note that we suppress L from the notation).

Remark 2.5.— The Iwasawa algebra ⇤(Zp) has a natural OL-algebra structure, and hence by transport of structure we obtain such a structure on M (Zp, OL). It turns out that the algebra structure can be described directly via convolution of measures.ForgeneralG, given two measures µ, M (G, O ),onedeﬁnestheirconvolutionµ to be 2 L ⇤ (µ )= (x + y) (y) µ(x). · ⇤ · · ZG ZG ZG One checks that this does give an algebra structure and that the isomorphism above is an isomorphism of OL-algebras. Å ã 14 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

2.2. p-adic analysis and Mahler transforms. — In this section we establish a link between p-adic measures on Zp and power series. Deﬁnition 2.6.—For x Z and n 1, let 2 p x x(x 1) (x n + 1) .= ··· , n n! x and let =1. 0 Ç å x Remark 2.7.—One easily checks that x n deﬁnes an element in C (Zp, Zp) of valu- x 7! ation vC =0. Ç nå x (7) The following theorem says that the functions n form an orthonormal basis for the space C (Z ,L) and is fundamental in everything that follows. p Theorem 2.8 (Mahler). — Let : Z L be a continuous function. There exists a p ! unique expansion x (x)= a () , n n n 0 X where an() L and an 0 as n . Moreover, vC ()=infn N vp(an()). 2 ! !1 2 Proof.—See [Col10a, Théorème 1.2.3.]. Ç å

Remark 2.9.—The coefficients an() are called the Mahler coefficients of .Onecan write down the Mahler coefficients of very simply; we define the discrete derivatives of by [0] = ,[k+1](x)=[k](x + 1) [k](x), [n] and then an()= (0). Definition 2.10.—Let µ ⇤(Z ) be a p-adic measure on Z .DefinetheMahler trans- 2 p p form (or Amice transform)ofµ to be

x x n A (T ) .= (1 + T ) µ(x)= µ T O [[T ]]. µ · n · 2 L ZZp n 0 ZZp X Theorem 2.11.—The Mahler transform gives an OL-algebra isomorphism

⇤(Zp) ⇠ OLñ[[T ]]Ç. å ô ! n Proof.—We can explicitly deﬁne an inverse to the transform. Let g(T )= n 0 cnT 2 O [[T ]].LetH Z be an open subgroup, and for each [a] Z /H let 1 denote the L ⇢ p 2 p aHP characteristic function of the coset aH Z . This is a continuous function on Z ,andhence ⇢ p p has a Mahler expansion x 1 (x)= a[a] , aH n n n 0 X [a] with an OL. Then deﬁne 2 [a] µ .= a c , [a] n Çn å n 0 X and µH = µ[a][a]. [a] Z /H 2Xp

(7) If B is an L-Banach space, an orthonormal basis of B is a collection (ei)i I such that (ai)i I i I aiei 2 2 7! 2 deﬁnes an isometry between `0 (I,L) and B, where `0 (I,L) is the set of sequences in L indexed by I that 1 1 tend to 0 (in a sense that depends on I). One can show that every L-Banach space B with valuationP vB such that vB (B)=vp(L) admits an orthonormal basis. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 15

It is an easy check that (µH )H is an element of the Iwasawa algebra and the resulting function O [[T ]] ⇤(Z ) is an inverse to the Mahler transform. L ! p Deﬁnition 2.12.—If g O [[T ]], we write µ ⇤(Z ) for the corresponding (O -valued) 2 L g 2 p L measure on Zp (so that Aµg = g).

Remark 2.13.—Let g O [[T ]] with associated measure µ .Fromthedeﬁnitions,itis 2 L g evident that

µg = g(0). ZZp 2.3. An example: Dirac measures. — In this section, we give an example of the above theory in action via Dirac measures.

Deﬁnition 2.14.— Let a Z . The Dirac measure M (Z , O ) is the linear 2 p a 2 p L functional ‘evaluation at a’, that is, the measure deﬁned by

: C (Z , O ) O a p L ! L (a). 7! Under the identiﬁcation of measures with additive functions on open compact subsets of Zp,weﬁndthatthiscorrespondstothefunction

1 if a X a(X)= 2 0 if a/X, 2 as can be seen directly from the proofe of the identiﬁcation.

® As an element of the Iwasawa algebra, again from the proof we ﬁnd that at ﬁnite level corresponds to the basis element [a + pnZ ] O [Z /pnZ ], which in the inverse limit a p 2 L p p we denote by [a].

Finally, we compute the Mahler transform of . If a Z⇥ then, by deﬁnition, this is a 2 p a A (T )= T n =(1+T )a. a n n 0 X 2.4. A measure-theoretic toolbox. — There are natural operations one might consider on measures, and via the Mellin transformÇ theseå give rise to operators on power series. As such, the following operations can be considered as a ‘toolbox’ for working with measures and power series, and as we shall see in the sequel, the ability to manipulate measures in this way has important consequences. For further details (and even more operations), see [Col10a].

2.4.1. Multiplication by x.—Givenameasureµ on Zp, it’s natural to wish to evaluate it at the function xk for a positive integer k.Toallowustodothat,wedefinexµ to be the measure defined by f(x) xµ = xf(x) µ. · · ZZp ZZp We can ask what this operation does on Mahler transforms; we find:

Lemma 2.15.—We have

Axµ = @Aµ, d where @ denotes the diﬀerential operator (1 + T ) dT . 16 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Proof.—We have x x x x x x =(x n) + n =(n + 1) + n . n n n n +1 n The result follows directly.

From the aboveÇ lemmaå and RemarkÇ å 2.13,Ç å we immediatelyÇ obtain:å Ç å

Corollary 2.16.—For g Z [[T ]], we have 2 p xk µ = @kA (0). · µ ZZp 2.4.2. Multiplication by zx.—Letz be such that z 1 < 1. Then the Mahler transform | | of zxµ is

A x (T )=A (1 + T )z 1 . z µ µ Indeed, from the deﬁnition of the Mahler transform, we see that

x A (1 + T )z 1 = (1 + T )z µ, µ · ZZp and this is precisely the Mahler transform of zxµ (one has to be slightly careful about convergence issues). 2.4.3. Restriction to open compact subsets. — Consider an open compact subset X Z . ⇢ p If we deﬁne 1X to be the characteristic function of this subset, we can consider the restriction ResX (µ) of µ to X deﬁned by

f Res (µ) .= f1 µ. · X X · ZX ZZp n In the case X = b + p Zp, we can write this characteristic function explicitly as

1 x b 1 n (x)= ⇣ , b+p Zp pn ⇣ µ n 2Xp

n and then using the above, we calculate the Mahler transform of Resb+p Zp (µ) to be

1 b ARes n (µ)(T )= ⇣ Aµ (1 + T )⇣ 1 . b+p Zp pn ⇣ µ n 2Xp 2.4.4. Restriction to Zp⇥.—Fromtheaboveappliedtob =0and n =1,itisimmediate that 1 ARes (µ)(T )=Aµ(T ) Aµ (1 + T )⇣ 1 . (1) Zp⇥ p ⇣ µ X2 p 2.4.5. The action of Zp⇥, ' and .—WeintroduceanactionofZp⇥ that serves as a precursor to a Galois action later on. Let a Z⇥.Wecandeﬁneameasure (µ) by 2 p a f(x) (µ)= f(ax) µ. · a · ZZp ZZp This has Mahler transform A = A (1 + T )a 1 . a(µ) µ In a similar manner, we can deﬁne an operator ' acting as ‘p’by

f(x) '(µ)= f(px) µ, · · ZZp ZZp AN INTRODUCTION TO p-ADIC L-FUNCTIONS 17

. p and this corresponds to A'(µ) = '(Aµ) .= Aµ (1 + T ) 1 .Finally,wealsodefinethe 1 analogous operator for p ;wedefineameasure (µ) on Z by defining p 1 f(x) (µ)= f(p x) µ. · · ZZp ZpZp Note that ' =id, whilst ' (µ)=Res (µ). pZp In particular, we have Res (µ)=(1 ' )(µ). (2) Zp⇥ The operator also gives an operator on OL[[T ]] under the Amice transform, and using the restriction formula above, we see that it is the unique operator satisfying 1 ' (F )(T )= F (1 + T )⇣ 1 . p ⇣ µ X2 p The following result will be useful in Part II.

Corollary 2.17.—Let µ ⇤(Z ) be a measure. Then µ is supported on Z⇥ if and only 2 p p if (Aµ)=0.

Proof.—The operator ' is easily seen to be injective. We have an injection ◆ :⇤(Z⇥) , p ! ⇤(Zp) given by ◆(µ)= µ, · Zp⇥ · ZZp ZZp⇥ and as Res ◆ is the identity on ⇤(Zp⇥),wecanidentify ⇤(Zp⇥) with its image as a subset Zp⇥ of ⇤(Zp). If µ ⇤(Zp),thenµ ⇤(Zp⇥) if and only if Res (µ)=µ,orequivalentlyifand 2 2 Zp⇥ only if A = A ' (A ), which happens if and only if (A )=0. µ µ µ µ

Remark 2.18.—Whilst we identify ⇤(Zp⇥) with a subset of ⇤(Zp),itisimportantto remark that it is not a subalgebra. Indeed, convolution of measures on Zp⇥ uses the multiplicative group structure whilst convolution of measures on Zp uses the additive group structure, so if and µ are two measures on Zp⇥,wedonothaveµ = µ Zp . ⇤Zp⇥ ⇤ Remark 2.19.—Power series rings have been generalized to what now are called Fontaine rings. It turns out that Galois representations are connected to certain modules over these rings called (', )-modules. The operations described above are examples of the basic operations we have on (', )-modules and their interpretation with p-adic analysis inspired the proof of the p-adic Langlands correspondence for GL2(Qp).Forfurtherdetails,see [Col10b].

3. The Kubota-Leopoldt p-adic L-function

3.1. The measure µa.—Recall the results of the introduction: we can write the Riemann zeta function in the form

1 1 s 2 (s 1)⇣(s)= f(t)t dt, (s 1) Z0 where f(t)=t/(et 1),andthat⇣( k)=(dkf/dtk)(0) = ( 1)kB /(k + 1). We want k+1 to remove the smoothing factor at s =1.Forthis,leta be an integer coprime to p and consider the related function 1 a f (t)= . a et 1 eat 1 This is also C 1 and has exponential decay at inﬁnity, so we can consider the function L(f ,s) as in the introduction. The presence of a removes the factor of s 1,atthecostof a introducing a diﬀerent smoothing factor: 18 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Lemma 3.1.—We have 1 s L(f ,s)=(1 a )⇣(s), a which has an analytic continuation to C, and f (k)(0) = ( 1)k(1 a1+k)⇣( k). a We now introduce the p-adic theory from above. Note the following very simple observa- tion.

Lemma 3.2.— (i) Under the substitution et = T +1, the derivative d/dt becomes the d operator @ =(1+T ) dT . (ii) In particular, if we deﬁne 1 a F (T ) .= , a T (1 + T )a 1 we have (k) k fa (0) = @ Fa (0).

The right hand side in (ii) should look familiar as the expression in Corollary 2.16, which k expressed the integral of the function x over Zp in terms of its Mahler transform. So, if Fa(T ) can be written as an element of Zp[[T ]], then we will get a measure on Zp that sees values of the Riemann zeta function.

Proposition 3.3.—The function Fa(T ) is an element of Zp[[T ]].

Proof.—We can expand a (1 + T )a 1= T n = aT 1+Tg(T ) , n n 1 X ⇥ ⇤ 1 a n 2 where g(T )= n 2 a n T has coeﬃcients in Zp since we have chosen a coprime to p. Hence, expanding the geometric series, we ﬁnd P Ç å 1 a 1 = ( T )ng(T )n, T (1 + T )a 1 T n 1 X which is visibly an element of Zp[[T ]].

Deﬁnition 3.4.—Let µa denote the measure on Zp corresponding to Fa(T ) under the Mahler transform.

We have proved:

Proposition 3.5.—For n 0, we have xk µ =( 1)k(1 ak+1)⇣( k). · a ZZp

3.2. Restriction to Zp⇥.—Recall from the introduction that we want the p-adic analogue of the Riemann zeta function to be a measure on Zp⇥,notallofZp.Wehavealreadydeﬁned a restriction operator in equation (2), which on Mahler transforms acts as 1 ' . Proposition 3.6.—We have

xk µ =( 1)k(1 pk)(1 ak+1)⇣( k). · a ZZp⇥

(In other words, restricting to Zp⇥ removes the Euler factor at p). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 19

Proof.—We ﬁrst show that (µa)=µa by consider the action on power series. Indeed, we have by deﬁnition

1 1 1 (' ) = p T p (1 + T )⇣ 1 ⇣X=1 1 1 = = ' , (1 + T )p 1 T Å ã as can be seen by calculating the partial fraction expansion. By injectivity of ',wededuce 1 1 that ( T )= T and hence (µa)=µa since commutes with the action of Zp⇥. Å ã Since Res =1 ' ,wededucethat Zp⇥ xk µ = xk (1 ' )µ = xk (1 ')µ =(1 pk) xk µ , · a · a · a · a ZZp⇥ ZZp ZZp ZZp as required.

3.3. Pseudo-measures. — It remains to remove the dependence on a.Todoso,weneed to introduce the notion of a pseudo-measure. The Riemann zeta function has a simple pole at s =1,andpseudo-measuresletustakethisintoaccountonthep-adic side. (Thus far, the presence of a has acted as a ‘smoothing factor’ which removes this pole). Definition 3.7.—Let G be an abelian profinite group, and let Q(G) denote the fraction field of the Iwasawa algebra ⇤(G).Apseudo-measure on G is an element Q(G) such 2 that (g 1) ⇤(G) 2 for all g G. 2

The following lemma shows that a pseudo-measure µ on Zp⇥ is uniquely determined by the values xk µ for k>0. Zp⇥ ·

Lemma 3.8R .— (i) Let µ ⇤(Z⇥) such that 2 p xk µ =0 · ZZp⇥ for all k>0. Then µ =0. (ii) Let µ ⇤(Z⇥) such that 2 p xk µ =0 · 6 ZZp⇥ for all k>0. Then µ is not a zero divisor in ⇤(Zp⇥). (iii) Part (i) holds if, more generally, µ is a pseudo-measure. Proof.—To prove part (i), note that the vanishing condition forces the Mahler transform of µ to be constant, since each non-trivial binomial polynomial is divisible by x.Butasµ is a measure on Zp⇥,itvanishesunder ,somustbezero.

For part (ii), suppose there exists a measure such that µ =0. Then

0= xk (µ)= xk µ xk , · · · ZZp⇥ ZZp⇥ ZZp⇥ which forces =0by part (i).

Finally, let µ be a pseudo-measure satisfyingÅ the vanishingãÅ condition.ã Let a =1be an 6 integer prime to p;thenthereisanaturalmeasure

[a] [1] ⇤(Z⇥), 2 p 20 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

with f ([a] [1]) = f(a) f(1). Consider the measure =([a] [1])µ ⇤(Zp⇥). Then Zp⇥ · 2 satisﬁes the condition of part (i), so =0.But[a] [1] satisﬁes the condition of part (ii), R so it is not a zero-divisor, and this forces µ =0,asrequired.

Definition 3.9.—Let a be an integer that is prime to p,andlet✓a denote the element of ⇤(Zp⇥) corresponding to [a] [1].Notethat e xk ✓ = ak 1 · a ZZp⇥ . e from the definitions. Then define ✓a .= x✓a,sothat

xk ✓ = ak+1 1, · a ZZp⇥ the term arising in our interpolation formula. Then deﬁne ‹ . µa ⇣p .= Q(Zp⇥). ✓a 2

Proposition 3.10.—The element ⇣p is a well-deﬁned pseudo-measure that is independent of the choice of a.

Proof.—The element ✓a is not a zero-divisor by Lemma 3.8, so ⇣p is well-deﬁned. To prove independence, if a and b are two integers coprime to p,then

xk (✓ µ )= xk (✓ µ )=( 1)k+1(1 ak+1)(1 bk+1)(1 pk)⇣( k) · a b · b a ZZp⇥ ZZp⇥ for all k 0,sothat ✓aµb = ✓bµa, by Lemma 3.8, giving the required independence.

Finally, the proof that ⇣p is a pseudo-measure is contained in the exercises.

Remark 3.11.—One must take care in the above when discussing products of measures.

As remarked in Remark 2.18, whilst we identify ⇤(Zp⇥) as a subset of ⇤(Zp),itisnot a subalgebra; the convolution of measures over Zp uses the additive group structure, and the convolution of measures over Zp⇥ the multiplicative group structure. Writing µ for the ⇤Zp⇥ convolution over Zp⇥,wehave

xk (µ )= (xy)k µ(x) (y)= xk µ xk , · ⇤Zp⇥ · · · · ZZp⇥ ZZp⇥ ZZp⇥ ZZp⇥ ZZp⇥ justifying the calculations above.

We’ve removed the dependenceÅ on a.Wesummarisethemainresult:ã Å ãÅ ã

Theorem 3.12.—There is a unique pseudo-measure ⇣p on Zp⇥ such that

xk ⇣ =(1 pk)⇣( k). · p ZZp⇥ (Note that we can remove the ( 1)k+1 from the interpolation formula as ⇣( k) =0if 6 and only if k is odd).

Deﬁnition 3.13.—We call ⇣p the Kubota–Leopoldt p-adic L-function (or the p-adic zeta function). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 21

4. Interpolation at Dirichlet characters 4.1. Characters of p-power conductor. — Throughout the construction of the Kubota–Leopoldt p-adic L-function, we’ve kept half an eye on the interpolation property and links to the values of the Riemann zeta function, so the interpolation of these values should not have come as a surprise. However, now some real magic happens. Since the introduction, we’ve failed to mention Dirichlet L-functions once – but, miraculously, the Kubota–Leopoldt p-adic L-function also interpolates Dirichlet L-values as well.

Theorem 4.1.— Let be a (primitive) Dirichlet character of conductor pn for some integer n 1 (seen as a locally constant character of Z⇥). Then, for k>0, we have p (x)xk ⇣ = L(, k). · p ZZp⇥ The rest of this subsection will contain the proof of this result. The proof is somewhat technical and calculation-heavy, but – given familiarity with the dictionary between measures and power series – is not conceptually diﬃcult.

Firstly, we introduce a twisting operation on measures. If µ is a measure on Zp,wedeﬁne ameasureµ on Zp by

f(x) µ = (x)f(x) µ. · · ZZp ZZp We use our measure-theoretic toolkit to determine the Mahler transform of µ in terms of Aµ.Firstrecallaclassicaldeﬁnition

Definition 4.2.—Let be a primitive Dirichlet character of conductor pn, n 1.Define the Gauss sum of as . c G() .= (c)"pn , c (Z/pnZ) 2 X ⇥ n p where ("pn )n N denotes a system of primitive p th roots of unity in Qp such that " n+1 = "pn 2 p . 2⇡i/pn for all n 0 (if we fix an isomorphism Q = C,thenonecantake" n .= e ). p ⇠ p Remark 4.3.—We will make constant use of the following basic properties of Gauss sums, whose proofs are left as exercises: 1 n – G()G( )=( 1)p . ac – G()=(a) c (Z/pnZ) (c)"pn for any a Zp.Notethat,ifa/Zp⇥,bothsides 2 ⇥ 2 2 vanish. P

Lemma 4.4.—The Mahler transform of µ is

1 1 c Aµ (T )= 1 (c) Aµ (1 + T )"pn 1 . G( ) c (Z/pnZ) 2 X ⇥ n Proof.—Since is constant (mod p ),themeasureµ is simply

n µ = (c)Resc+p Zp (µ). c (Z/pnZ) 2 X ⇥ Using this expression and the formula for the Mahler transform of the restriction of a n measure to c + p Zp,weﬁndthat

1 b Aµ = n (b) ⇣ Aµ (1 + T )⇣ 1 . p n b (Z/p Z) ⇣ µpn 2 X ⇥ 2X 22 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

c n Writing µ n = " n : c =0,...,p 1 , and rearranging the sums, we have p { p } 1 bc c A = (b)"n A (1 + T )" n 1 µ pn p µ p c (mod pn) b (Z/pnZ) X 2 X ⇥ 1 1 c = G()( c) A (1 + T )" n 1 , pn µ p c (Z/pnZ) 2 X ⇥ where the last equality follows from the standard identity bc 1 (b)"n = ( c) G() p b (Z/pnZ) 2 X ⇥ 1 n of Gauss sums. We complete the proof by using the identity G()G( )=( 1)p . Now consider the case where µ = µa, the measure from which we built the Kubota– Leopoldt p-adic L-function, and which has Mahler transform 1 a A (T )= . µa T (1 + T )a 1 Applying the above transformation, we obtain a measure µ,a with Mahler transform

1 1 1 a F,a(T )= 1 (c) c a ac . G( ) (1 + T )" n 1 (1 + T ) " n 1 c (Z/pnZ) p p 2 X ⇥ Via the standard substitution et = T +1,thismotivatesthestudyofthefunction

1 ñ 1 1 a ô f,a(t)= 1 (c) t c at ac , G( ) e " n 1 e " n 1 c (Z/pnZ) p p 2 X ⇥ by way of analogy with the case of the Riemann zeta function. Lemma 4.5.—We have ñ ô 1 s L(f ,s)=( 1) 1 (a)a L(, s), ,a where L(f,a,s) is as deﬁned in Theorem 1.4. Hence, for k 0, we have f (k)(0) = ( 1)k( 1) 1 (a)ak+1 L(, k) ,a = 1 (a)ak+1 L(, k). Proof.—We follow a similar strategy as in the case of the Riemann zeta function. In particular, we can expand as a geometric series, obtaining

1 kt kc t c = e "pn . e " n 1 p k 1 X Then we have

1 1 1 kt kc akt akc s 1 L(f,a,s)= 1 (c) e "pn e "pn t dt. (s)G( ) 0 n Z c (Z/p Z)⇥ k 1 2 X X Note that 1 akc 1 (c) "n = ( ak)G( ), p c (Z/pnZ) Å ã 2 X ⇥ and similarly for the ﬁrst term, so that the expression collapses to

1 1 kt akt s 1 L(f ,s)= ( k) e (a)e t dt. ,a (s) Z0 k 1 X For Re(s) >> 0,wecanrearrangethesumandtheintegral,andthenwecanevaluatethe 1 s s kth term of the sum easily to (1 (a)a )k ,giving 1 s s L(f ,s)=( 1) 1 (a)a ( k)k , ,a k 1 X AN INTRODUCTION TO p-ADIC L-FUNCTIONS 23 showing the equality of L-functions. To prove the ﬁnal statement about special values, observe that a simple computation shows that f,a( t)= ( 1)f,a(t), which implies (k) k (looking at the series expansions) that f,a(0) = 0 unless ( 1)( 1) = 1. This concludes the proof. Note that, in the proof of Lemma 4.5, we have also shown the following useful fact. Lemma 4.6.—If is an even character, that is if ( 1) = 1, then L(, k)=0if k is even. If is an odd character, then L(, k)=0if k is odd. We can now prove Theorem 4.1.

Proof.—(Theorem 4.1). Since is 0 on pZp,andbytheabove,wehave

(x)xk µ = (x)xk µ = xk µ , · a · a · ,a ZZp⇥ ZZp ZZp where µ,a is the twist of µa by .Weknowthisintegraltobe k (k) @ F,a (0) = f,a(0), under the standard transform et =T +1.Hence,byLemma4.5,weﬁnd

(x)xk µ = (1 (a)ak+1)L(, k). · a ZZp⇥ By deﬁnition, we have (x)xk ✓ = (1 (a)ak+1), · a ZZp⇥ and hence we ﬁnd (x)xk ⇣ = L(, k), · p ZZp⇥ as was to be proved.

4.2. Non-trivial tame conductors. — We can go even further. The theorem above deals with the case of ‘tame conductor 1’, in that we have constructed a p-adic measure that interpolates all of the L-values L(, 1 k) for k>0 and cond()=pn with n 0 (where trivial conductor corresponds to the Riemann zeta function). More generally: Theorem 4.7.—Let D>1 be any integer coprime to p, and let ⌘ denote a (primitive) Dirichlet character of conductor D. There exists a unique measure µ ⇤(Z⇥) such that, ⌘ 2 p for all primitive Dirichlet characters with conductor pn, n 0, and for all k>0, we have k k 1 (x)x µ = 1 ⌘(p)p L(⌘, k). · ⌘ ZZp⇥ Remark 4.8.— (i) In this case, we obtain a genuine measure rather than a pseudo- measure. As L-functions of non-trivial Dirichlet characters are everywhere holomorphic, there is no need for the smoothing factor involving a. (ii) Implicit in this theorem is the fact that the relevant Iwasawa algebra is defined over a(fixed)finiteextensionL/Qp containing the values of ⌘. Since many of the ideas involved in proving the above theorem are present in the case of trivial tame conductor, the proof of Theorem 4.7 is a good exercise. As such, we give only the main ideas involved in the proof. Note first that the calculation relating L(f,a,s) to L(, s) above was entirely classical, in the sense that p did not appear anywhere; accordingly, we can perform a similar calculation in the general case. Since there is no need for the smoothing factor a,wecanthenconsiderthefunction 1 1 ⌘(c) f⌘(t)= 1 t c . G(⌘ ) e " 1 c (Z/D) D 2 X ⇥ 24 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

(This scaling by 1 also appears in the trivial tame conductor situation, but it is incorpo- t rated into ✓a). Defining F⌘(T ) by substituting T +1 for e and expanding the geometric series, we find kc 1 1 "D k F⌘(T )= 1 ⌘(c) c k+1 T . G(⌘ ) (" 1) c (Z/D) k 0 D 2 X ⇥ X This is an element of OL[[T ]] for some sufficiently large finite extension L of Qp,sincethe 1 Gauss sum is a p-adic unit (using G(⌘)G(⌘ )=⌘( 1)D,andthefactthatD is coprime c to p)and" 1 O⇥. There is therefore a measure µ ⇤(Z ), the Iwasawa algebra over D 2 L ⌘ 2 p OL,correspondingtoF⌘ under the Mahler transform.

Lemma 4.9.—We have L(f ,s)= ⌘( 1)L(⌘, s). Hence ⌘ xk µ = L(⌘, k) · ⌘ ZZp for k 0. Proof.—This is proved in a similar manner to above, equating @ with d/dt and using the general theory described in Theorem 1.4.

The measure we desire will be the restriction of µ⌘ to Zp⇥.

Lemma 4.10.—We have (F⌘)=⌘(p)F⌘.Hence

xk µ = 1 ⌘(p)pk L(⌘, k). · ⌘ ZZp⇥ Proof.—We show ﬁrst that 1 1 1 = . (3) p (1 + T )⇣"c 1 (1 + T )p"pc 1 ⇣ µ D D X2 p Expanding each summand as a geometric series, the left hand side is 1 (1 + T )n"nc⇣n = (1 + T )pn"pcn, p D D ⇣ µ n 0 n 0 X2 p X X and summing the geometric series now gives the right hand side of (3). It follows that 1 1 ⌘(c) (' )(F⌘)= 1 c pG(⌘) (1 + T )⇣"D 1 ⇣ µp c (Z/D) X2 2 X ⇥ 1 1 ⌘(c) = 1 p pc G(⌘ ) (1 + T ) " 1 c (Z/D) D 2 X ⇥ = ⌘(p)'(F⌘). The ﬁrst claim now follows by the injectivity of '.Forthesecond,wenotethat

Res (µ⌘)=(1 ' )(µ⌘) Zp⇥ = µ ⌘(p)'(µ ), ⌘ ⌘ and xk '(µ )=pk xk µ . · ⌘ · ⌘ ZZp ZZp The result now follows simply from Lemma 4.9.

Now let be a Dirichlet character of conductor pn for some n 0,andlet✓ .= ⌘ the product (a Dirichlet character of conductor Dpn). Using Lemma 4.4, we ﬁnd easily that: AN INTRODUCTION TO p-ADIC L-FUNCTIONS 25

. Lemma 4.11.—The Mahler transform of µ✓ .=(µ⌘) is 1 1 ✓(c) . F✓(T ) = Aµ✓ (T )= 1 c . G(✓ ) (1 + T )" n 1 c (Z/Dpn) Dp 2 X ⇥ Via a calculation essentially identical to the cases already seen, we can prove

(x)xk µ = xk µ · ⌘ · ✓ ZZp ZZp = L(✓, k), that Res (µ✓)= 1 ✓(p)' (µ✓), Zp⇥ and that accordingly (x)xk µ = 1 ✓(p)pk L(✓, k), · ⌘ ZZp⇥ which completes the proof.

4.3. Analytic functions on Zp via the Mellin transform. — The reader should hopefully now be convinced that the language of measures is a natural one in which to discuss p-adic L-functions. In this subsection, we use this (more powerful) language to answer the question we originally posed in the introduction: namely, we define analytic functions on Z that interpolate the values ⇣( k) for k 0. In passing from measures p to analytic functions on Zp, we lose the clean interpolation statements. In particular, there is no single analytic function on Z interpolating the values ⇣( k) for all k;rather, p there are p 1 different ‘branches’ of the Kubota–Leopoldt p-adic L-function on Z ,each p interpolating a different range.

The reason we cannot define a single p-adic L-function on Zp is down to the following s technicality. We’d like to be able to define “⇣p(s)= x ⇣p”fors Zp. The natural Zp⇥ · 2 way to define the exponential x xs is as 7! R xs =exp(s log(x)), · but unfortunately in the p-adic world the exponential map does not converge on all of Zp, so this is not well-defined for general x Z⇥. Instead: 2 p Lemma 4.12.—The p-adic exponential map converges on pZ . Hence, for any s Z , p 2 p the function 1+pZ Z given by x xs .=exp(s log(x)) is well-defined. p ! p 7! · Proof.—This is a standard result in the theory of local fields. See, for example, [Cas86].

Deﬁnition 4.13.—Recall that we assume p to be odd and that we have a decomposition

Zp⇥ = µp 1 (1 + pZp).Let ⇠ ⇥ ! : Zp⇥ µp 1, ! : Z⇥ 1+pZ , h·i p ! p 1 where !(x)=Teichmüller lift of the reduction modulo p of x and x = ! (x)x denote the h i projections to the first and second factors respectively. Note that if x Z⇥,thenwecan 2 p write x = !(x) x . h i Hence the function x s is well-defined. When p is odd, for each i =1,..,p 1 we can h i define an injection

Z , Hom (Z⇥, C⇥) p ! cts p p s x !(x)i x s , 7! 7! h i ⇥ ⇤ 26 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS and hence we can deﬁne an analytic function

⇣ : Z C p,i p ! p i s s !(x) x ⇣ . 7! h i · p ZZp⇥

This function does not interpolate as wide a range of values as the measure ⇣p,sincethe character xk can be written in the form !(x)i x k if and only if k i (mod p 1).Wedo, h i ⌘ however, have:

Theorem 4.14.—For all k 0 with k i (mod p 1), we have ⌘ ⇣ ( k)=(1 pk)⇣( k). p,i More generally:

Definition 4.15.—Let ✓ = ⌘ be a Dirichlet character, where ⌘ has conductor D prime to p and has conductor pn for n 0.Define 1 s L (✓, s) .= ! (x) x µ ,sZ . p h i · ⌘ 2 p ZZp⇥ Remark 4.16.— 1 – In the context of our previous work, the appearance of ! , which renormalises the values by 1,seemsunnatural.Wehaveintroduceditsimplybecausethisformulationismuch more common in the literature. For example, in [Was97], the analytic functions Lp(✓, s) are constructed directly without using measures, and the more direct approach differs from the one obtained using our measure-theoretic approach by precisely this factor of !. This twist by 1 will also appear when we study the Iwasawa main conjecture. – Directly from the definitions, we have ⇣ (s)=L (!i+1,s).Henceforarbitraryk 0, p,i p we have i k k i k ⇣ ( k)=(1 ! (p)p )L(! , k). p,i i k Of course, ! is just the trivial character when i k (mod p 1), so we recover Theorem ⌘ 4.14.

Theorem 4.17.—For all k 1, we have k k 1 k L (✓, 1 k)= 1 ✓! (p)p L(✓! , 1 k). p 1 k 1 k k 1 k 1 Proof.—From the deﬁnitions, we have ! (x) x = ! (x) ! (x) x = k k 1 h i · h i ! (x)x ,sothat

k 1 k k 1 (x) x µ = ! (x)x µ h i · ⌘ · ⌘ ZZp⇥ ZZp⇥ k k 1 k = 1 ✓! (p)p L(✓! , 1 k), as required.

More generally, for any measure µ on Zp⇥ we deﬁne

Mel (s)= !(x)i x s µ, µ,i h i · ZZp⇥ the Mellin transform of µ at i.So⇣p,i(s)=Melµ, i( s). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 27

4.4. The values at s =1.—We end Part I with an example of further remarkable links between the classical and p-adic zeta functions. Let ✓ be a non-trivial Dirichlet character, which as usual we write in the form ⌘, where has conductor pn and ⌘ has conductor D prime to p.Asexplainedabove,wehave

(x)xkµ = L(✓, k) ⌘ ZZp⇥ for k 0;wesaythattherangeofinterpolationis 0, 1, 2, 3,... . It’s natural to ask { } what happens outside this range of interpolation. In particular, what happens when we take k = 1?Sincethisisoutside the range of interpolation this value may have a priori nothing to do with classical L-values. Indeed, the classical value L(✓, 1) is transcendental(8),andif it is transcendental one cannot see it as a p-adic number in a natural way. However, just because we cannot directly equate the two values does not mean there is no relationship between them; there is a formula for the p-adic L-function at s =1which is strikingly similar to its classical analogue.

Theorem 4.18.—Let ✓ be a non-trivial even Dirichlet character of conductor N, and let ⇣ denote a primitive Nth root of unity. Then: (i) (Classical value at s =1). We have

1 1 a L(✓, 1) = 1 ✓ (a) log 1 ⇣ . G(✓ ) a (Z/N Z) 2 X ⇥ (ii) (p-adic value at s =1). We have

1 1 1 a Lp(✓, 1) = 1 ✓(p)p 1 ✓ (a) logp 1 ⇣ ). G(✓ ) a (Z/N Z) 2 X ⇥ If ✓ is an odd character, both sides of the p-adic formula vanish. In any case, the formulae are identical up to replacing log with its p-adic avatar and, as usual, deleting the Euler factor at p. This result can be used to prove a p-adic analogue of the class number formula. For completeness, we prove these results below. 4.4.1. The complex value at s =1.—

Proof.—(Theorem 4.18, classical value). Write s L(✓, 1) = ✓(a) n . a (Z/N Z) n a (mod D) 2 X ⇥ ⌘ X Using the fact that

1 (a n)c 0 if n a mod N ⇣ = 6⌘ N 1 if n a mod N, c (Z/N Z) 2 X ⌘ we show that the above formula equals ® 1 (a n)c s 1 ac nc s ✓(a) ⇣ n = ✓(a)⇣ ⇣ n N N a (Z/N Z) n 1 c (Z/N Z) c (Z/N Z) a (Z/N Z) n 1 2 X ⇥ X 2 X 2 X 2 X ⇥ X G(✓) 1 nc s = ✓ (c) ⇣ n , N c (Z/NÑZ) n 1 é 2 X X the last equality following from one of the standard identities for Gauss sums. Evaluating this expression at s =1(checking that there is no convergence problem) and using the Taylor series expansion of the logarithm, and applying the other standard identity of Gauss sums, we obtain the result.

(8)This follows from Baker’s theorem and Theorem 4.18, part (i). 28 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Remark 4.19.—We see from the formula above that the parity of the character ✓ plays an important role on the behaviour of the zeta function at s =1.Makingsomeelementary calculations we can deduce that, if ✓ is even, then

1 1 c L(✓, 1) = 1 ✓ (c) log 1 ⇣ . G(✓ ) | | c (Z/N Z) 2 X ⇥ If ✓ is odd, we can use the functional equation to obtain 1 L(✓)=i⇡ B 1 , 1 1,✓ G(✓ ) where Bk,✓ denotes the kth twisted Bernoulli number (see [Was97, Chapter 4]).

4.4.2. The p-adic value at s =1.—Recallthepowerseries 1 1 ✓(c) F✓(T )= 1 c , G(✓ ) (1 + T )⇣ 1 c (Z/N ) 2 X ⇥ which gives rise to a measure µ✓ on Zp that interpolates the special values of L(✓, s). Accordingly, by the measure-theoretic arguments we’ve employed repeatedly above, we have

1 L (✓, 1) .= x µ p · ✓ ZZp⇥ 1 = ARes (x µ✓ )(0). Zp⇥

1 We ﬁrst compute Ax µ✓ . Lemma 4.20.—There exists a constant C such that

1 1 c 1 (T )= ✓ (c) log (1 + T )⇣ 1 + C. Ax µ✓ 1 G(✓ ) c (Z/N Z) 2 X ⇥ Proof.—This follows immediately from the formula (1 + T )⇣c 1 @ log (1 + T )⇣c 1 = =1+ (1 + T )⇣c 1 (1 + T )⇣c 1 1 and the fact that c (Z/N Z) ✓ (c)=0. 2 Lemma 4.21.—PWe have 1 p 1 1 ARes (µ✓ )(T )=Ax µ✓ (T ) ✓(p)p Ax µ✓ (1 + T ) 1 . Zp⇥ Proof.—This is immediate from the formula

ARes (µ)(T )=(1 ' )Aµ (T ) Zp⇥ and the fact that 1 1 1 (x µ✓)=p x (µ✓) 1 1 = (p)p x µ✓.

We can now complete the proof of Theorem 4.18.

Proof.—(Theorem 4.18, p-adic value).EvaluatingatT =0the formula of Lemma 4.21 and using Lemma 4.20 we obtain 1 L (✓, 1) = (1 ✓(p)p )A 1 (0) p x µ✓ 1 1 1 c = (1 ✓(p)p ) 1 ✓ (c) logp(⇣ 1), G(✓ ) c (Z/N Z) 2 X ⇥ as required. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 29

5. The p-adic family of Eisenstein series We now take a brief detour to illustrate another example of p-adic variation in number theory, namely the p-adic variation of modular forms. In constructing the Kubota–Leopoldt p-adic L-function, we have seen many of the key ideas that go into the simplest example of this, namely the p-adic family of Eisenstein series, which we will illustrate below. For simplicity, in this section we’ll take p an odd prime.

Let k 4 be an even integer. The Eisenstein series of level k,deﬁnedas 1 G (z) .= ,z .= z C :Im(z) > 0 k (cz + d)k 2H { 2 } c,d Z (c,dX)=(02 ,0) 6 can be viewed as a two-dimensional analogue of the zeta value ⇣(k). It is an example of a modular form of weight k. In the classical theory of modular forms, one computes the normalised Fourier expansion of such an object to be

. Gk(z)(k 1)! ⇣(1 k) n Ek(z) .= = + k 1(n)q , 2 (2⇡i)k 2 n 1 · X k 1 2i⇡z where k 1(n)= 0

From the definition, we see the Kubota–Leopoldt p-adic L-function as a pseudo-measure that, when evaluated at xk with k 4 even, gives the constant coefficient of the Eisenstein series of weight k. The idea now is to find measures giving similar interpolations of the other coefficients. Fortunately, these are much easier to deal with. We want interpolations of the k 1 functions d d , where k is varying p-adically. When d is coprime to p,wecandefinethis 7! measure simply to be d,theDiracmeasureatd (recalling this is defined by evaluation at d).

When d is divisible by p, however, we run into an immutable obstacle. There is no Dirac measure on Z⇥ corresponding to evaluation at p,sincep/Z⇥.Moreover,thefunction p 2 p p pk can never be interpolated continuously p-adically; it simply behaves too badly for 7! this to be possible. Suppose there was indeed a measure ✓p with

xk ✓ = pk, · p ZZp⇥ and then suppose kn is a strictly increasing sequence of integers p-adically tending to k. Then pkn = xkn ✓ xk ✓ = pk, · p ! · p ZZp⇥ ZZp⇥ which is clearly impossible since pkn tends to 0. We get around this issue by taking p- stabilisations to kill the coeﬃcients at p.

Deﬁnition 5.1.—We deﬁne the p-stabilisation of Ek to be (p) k 1 E (z) .= E (z) p E (pz). k k k An easy check shows that k 1 (p) (1 p )⇣(1 k) p n Ek = + k 1(n)q , 2 n 1 X where p k 1 k 1(n)= d . 0

(p) (The series Ek deﬁnes a modular form of weight k and level 0(p)). We’ve done all the work in proving: Theorem 5.2.—There exists a power series n E(z)= A q Q(Z⇥)[[q]] n 2 p n 0 X such that:

(a) A is a pseudo-measure, and A ⇤(Z⇥) for all n 1; 0 n 2 p (b) For all even k 4, we have k 1 k 1 n (p) x E(z) .= x A q = E (z). · · n k ZZp⇥ n 0 ZZp⇥ X Proof.—Clearly, A0 is simply the pseudo-measure ⇣p/2.Wethendeﬁne

An = Å d ⇤(Zp⇥).ã 2 0

By the interpolation property of the Kubota–Leopoldt p-adic L-function, A0 interpolates the constant term of the Eisenstein series. We also have k 1 k 1 x A = x · n · d ZZp⇥ 0

Ek and Ek0 are close p-adically.” The theory of p-adic modular forms, and in particular the construction and study p-adic families of Eisenstein series, was introduced by Serre to give a new construction of the p- adic zeta function of a totally real number ﬁeld. Pioneering work of Hida went much further than this, showing that similar families (known as Hida families)existforfarmoregeneral modular forms, and his work has been vastly generalised to the theory of Coleman families and eigenvarieties. For a ﬂavour of Hida’s work, see his book [Hid93]. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 31

Part II: Iwasawa’s main conjecture

This Part is devoted to the formulation and study of Iwasawa’s Main Conjecture. We start by studying cyclotomic units, which will play a central role in the sequel, and by showing their relation to class numbers. We then state and prove the existence Coleman’s interpolating power series. These interpolating power series and the study of their logarithmic derivatives will lead to al alternative construction of the p-adic zeta function. Although a priori more obscure, this new construction will stablish a tangible connection between units in the cyclotomic tower and the p-adic zeta function. Finally, using class ﬁeld theory, we will naturally arrive to the formulation and proof of (a special case of) the Main Conjecture.

Notation.—Our study of the Iwasawa main conjecture requires a lot of notation, which we introduce straight away for convenience. The following should be used as an index of the key notation, and the reader is urged to consult the deﬁnition of new objects as they appear in the text.

Let p be an odd prime. For n N, write 2 . + . + Fn .= Q(µpn ),Fn .= Q(µpn ) ;

. + . Vn .= OF⇥ , Vn .= O⇥+ ; n Fn . + . + Kn .= Qp(µpn ),Kn .= Qp(µpn ) ; . + . Un .= OK⇥ , Un .= O⇥+ . n Kn + + The extensions Fn/Q, Kn/Qp, Fn /Q and Kn /Qp are Galois and totally ramified (the first n 1 p 1 n 1 two of degree (p 1)p and the last two of degree p )andwedenotep the unique 2 n prime ideal above the rational prime p.Wenote + + . F = Q(µp1 )= Fn,F = F , 1 1 1 n 1 [ and .= Gal(F /Q), + .= Gal(F + /Q)= / c , where c denotes the complex conjugation. G 1 G 1n G h i n Since Gal(Fn/Q) sends a primitive p th root of unity to a primitive p th root of unity, one deduces an isomorphism n : Gal(F /Q) (Z/p Z)⇥ n n !⇠ given by (⇣)=⇣n(), n for Gal(F /Q) and ⇣ µ n any primitive p th root of unity. By infinite Galois theory, 2 n 2 p we then see that

. n = Gal(F /Q) .=limGal(Fn/Q)=lim(Z/p Z)⇥ = Zp⇥, G 1 ⇠ n n . via the cyclotomic character .=limn.Observethat induces an isomorphism + = Z⇥/ 1 . G ⇠ p {± }

We also deﬁne + + U .= u U : u 1 (mod p ) , U .= U U . n,1 { 2 n ⌘ n } n,1 n,1 \ n + The subsets Un,1 and Un,1 are important as they have the structure of Zp-modules (indeed, + a a k if u Un,1 or Un,1 and a Zp⇥,thenu = k 0 k (u 1) converges). By contrast, the 2 2 full local units U and U + are only Z-modules. n n P

In general, our notations satisfy the following logic: if Xn is any subgroup of Un,then we let X+ = X U +, X = X U and X+ = X+ U + .Observethat,since n n \ n n,1 n \ n,1 n,1 n \ n,1 32 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

V U ,thesameappliesforanysubgroupX of V . n ✓ n n n

It will be essential for our constructions and methods to consider these modules at all levels simultaneously. In that spirit, we deﬁne

. . U .=limUn, U ,1 .=limUn,1; 1 1 n n + . + + . + U .=limUn , U ,1 .=limUn,1; 1 n 1 n where all limits are taken with respect to the norm maps. All of these inﬁnite level modules are compact Zp-modules (since they are inverse limits of compact Zp-modules) and moreover they are all endowed with a natural continuous action of = Gal(F /Q) or + + 1 G 1 = Gal(F /Q)= {± }. Accordingly, they are endowed with continuous actions of the G 1 G Iwasawa algebras ⇤( ) or ⇤( +) (which is the primary reason for passing to inﬁnite level G G objects).

We ﬁx once for all a compatible system of roots of unity (⇣pn )n N,thatis,asequence n p 2 where ⇣ n is a primitive p th root of unity such that ⇣ n+1 = ⇣ n for all n N.Welet p p p 2 ⇡ = ⇣ n 1, which is a uniformiser of K . n p n

6. The Coleman map In §6.4 and §6.5, we use the identifications above to construct the Coleman map, which can be seen as a machine for constructing p-adic L-functions from a compatible system of units. We also explain (very!) briefly how this map can be generalised to a machine conjecturally capable of constructing p-adic L-functions for a very large class of p-adic Galois representations. Coleman’s work is important as it puts the construction of the p-adic zeta function into a larger and more conceptual framework. Even more importantly, it provides an important bridge between analytic objects (p-adic L-functions) and algebraic structures (the arithmetic of cyclotomic fields), and will serve as the key step in our formulation of the main conjecture in the next section.

6.1. Notation and Coleman’s theorem. — In the notational introduction to Part II, we deﬁned

Kn = Qp(µpn ),K= Qp(µp ) 1 1 to be the local versions of Fn and F from the previous section. We also deﬁned 1 = ⇥ Un OKn n to be the module of local units at level n,tookacompatiblesystem(⇣pn )ofprimitivep th . roots of unity, and deﬁned ⇡ .= ⇣ n 1,auniformiserforK . n p n Proposition 6.1.—Let u U be a local unit at level n. There exists a power series 2 n f Z [[T ]] such that f(⇡ )=u. 2 p n

Proof.—This is essentially immediate from the fact that ⇡n is a uniformiser. Indeed, Kn is totally ramified, so one can choose some a Z such that 0 2 p a u (mod ⇡ ), 0 ⌘ n and then a Z such that 1 2 p u a0 a1 (mod ⇡n), ⌘ ⇡n n and so on, and then define f(T )= n anT . By construction, this satisfies the required property. P AN INTRODUCTION TO p-ADIC L-FUNCTIONS 33

The problem with this proposition is that such a power series f is far from unique, since we had an abundance of choice at each coefficient. In the usual spirit of Iwasawa theory, Coleman realised it was possible to solve this problem by passing to the infinite tower K . 1 Recall that we defined . U .=limUn, 1 n where the projective limit is taken with respect to the norm maps Kn Kn 1. Coleman’s ! theorem says that for each u U ,thereisaunique power series fu satisfying the condition 2 1 of the above proposition for all n.Amoreusefulformulationofthisstatementis:

Theorem 6.2 (Coleman). — There exists a unique injective multiplicative map

U Zp[[T ]] 1 ! u f 7! u such that fu(⇡n)=un for all u U and n 1. 2 1 6.2. Example: cyclotomic units. — This theorem allows an alternative construction of the Kubota–Leopoldt p-adic L-function. In particular, let a Z prime to p,anddeﬁne 2 a ⇣ n 1 . p cn(a) .= Un. ⇣ n 1 2 p . Lemma 6.3.—We have c(a) .=((cn(a))n U . 2 1

Proof.—This is equivalent to proving that Nn,n 1(cn(a)) = cn 1(a). Since the minimal p polynomial of ⇣pn over Kn 1 is X ⇣pn 1 ,weseethat a a Nn,n 1(⇣pn 1) = (⇣pn ⌘ 1) ⌘ µ Y2 p ap a = ⇣ n 1=⇣ n 1 1, p p p where in the penultimate equality we have used the identity X 1= ⌘ µ (X⌘ 1). The 2 p result now follows since the norm is multiplicative. Q It is possible to write down f Z [[T ]] directly by inspection; indeed, we see that c(a) 2 p (1 + T )a 1 f (T )= c(a) T satisﬁes the required property. (Indeed, fc(a) is even a polynomial).

Proposition 6.4.—We have @ log f = a 1 F (T ), c(a) a where Fa(T ) is the power series deﬁned in Lemma 3.2.

Proof.—We compute directly that @ log f = @ log (1 + T )a 1 @ log(T ) c(a) a(1 + T )a T +1 = (1 + T )a 1 T a 1 = a 1+ (1 + T )a 1 T = a 1 F (T ), a as required. 34 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

In particular, we ﬁnd that

(1 ')@ log f =(1 ')F , c(a) a since 1 ' kills the constant term. In terms of measures, this means that the measure Res (µ ) is equal to the measure Res (µ ) which we used in the construction of ⇣ . Zp⇥ fc(a) Zp⇥ a p Hence Coleman’s isomorphism allows us to study ⇣p,andinparticularthestructureof ⇤( )/⇣ I( ), using local units. We will see more about the units c (a),andinparticular G p G n the module in Un generated by them, in the next section.

6.3. Proof of Coleman’s theorem. — The proof of Theorem 6.2 will occupy the rest of this section. We begin by showing the injectivity of the map u f . 7! u

Lemma 6.5.—Suppose u =(un) U and f,g Zp[[T ]] both satisfy 2 1 2

f(⇡n)=g(⇡n)=un for all n 1. Then f = g. Proof.—The Weierstrass preparation theorem (Proposition 11.2 of the appendix) says that we can write any non-zero power series h(T ) Z [[T ]] in the form pmu(T )r(T ), where u(T ) 2 p is a unit and r(T ) is a distinguished polynomial. Any such h(T ) converges to a function on the maximal ideal in the ring of integers of Qp,andsinceu(T ) cannot have zeros, we deduce that h(T ) has a ﬁnite number of zeros in this maximal ideal. Now (⇡n)n 1 is an inﬁnite sequence of elements in this maximal ideal, so the fact that (f g)(⇡ )=0for all n 1 n implies that f = g,asrequired.

We now move to showing the existence of such a series fu.Lemma6.6andProposition 6.7 below will show the existence of a norm operator on power series, and then translate the norm compatibility condition of units into norm invariance of power series; Lemma 6.8 will show certain continuity properties of this norm operator, which will allow us to prove the theorem by a standard diagonal argument.

Recall that the action of ' on Z [[T ]] is deﬁned by '(f)(T )=f((1 + T )p 1), f(T ) p 2 Zp[[T ]], and that this action is injective. Importantly, we also have

'(f)(⇡ )=f((⇡ + 1)p 1) = f(⇣p 1) = f(⇡ ). n+1 n+1 pn+1 n From our work with measures, we have also seen the existence of an additive operator with the property that 1 (' )(f)(T )= f(⇣(1 + T ) 1), p ⇣ µ X2 p and that we henceforth call the trace operator (this terminology will become clear in the proof of Lemma 6.6). We now deﬁne a multiplicative version of this operator.

Lemma 6.6.—There exists a unique multiplicative operator , the norm operator, such N that (' )(f)(T )= f(⇣(1 + T ) 1). N ⇣ µ Y2 p

Proof.—The ring B = Zp[[T ]] is an extension of A = Zp[['(T )]] = '(Zp[[T ]]) of degree p,theformerbeingobtainedbyadjoiningapth root of (1 + T )p to the latter. Each au- tomorphism of B over A is given by T (1 + T )⇣ 1 for some ⇣ µ . There is a norm 7! 2 p AN INTRODUCTION TO p-ADIC L-FUNCTIONS 35 map N : Z [[T ]] '(Z [[T ]]) B/A p ! p f(T ) f((1 + T )⇣ 1). 7! ⇣ µ Y2 p 1 The norm operator is then deﬁned to be ' NB/A. (The trace operator is similarly 1 1 N equal to p ' Tr , where Tr is the trace operator for the same extension). B/A B/A Let f Z [[T ]]⇥;thenf(⇡ ) U for all n.Supposeadditionallythat (f)=f,that 2 p n 2 n N is, f is invariant under the norm map. Then:

Proposition 6.7.—For f as above, we have

Nn+1,n f(⇡n+1) = f(⇡n), so that (f(⇡n))n U is a norm compatible system of local units. 2 1 Proof.—Since the minimal equation of ⇣ over K is Xp ⇣ =0, we can write the n+1 n n norm as N f(⇣ 1) = f(⌫⇣ 1). n+1,n n+1 n+1 ⌫ µp Y2 By the deﬁnition of ,since (f)=f,wehave'(f)(T )= ⌫ µ f(⌫(1 + T ) 1), so that N N 2 p '(f)(⇡ )= f(⌫⇣ 1)Q. n+1 n+1 ⌫ µ Y2 p Since '(f)(⇡n+1)=f(⇡n),wearedone.

Let W denote the subspace of Z [[T ]]⇥ on which acts as the identity. Since the Coleman p N power series attached to a system of units is unique, we have an injection W , U given ! 1 by evaluation at (⇡n)n 1. To prove Theorem 6.2 it suﬃces to prove that this map is also surjective. We need the following lemma on the behaviour of modulo powers of p. N Lemma 6.8.—Let f(T ) Z [[T ]]. We have 2 p (i) If '(f)(T ) 1(modpk) for some k 0, then f(T ) 1(modpk). ⌘ ⌘ (ii) For f Z [[T ]]⇥, we have 2 p (f) f (mod p). N ⌘ (iii) For f as above, if f 1(modpk) with k 1, then ⌘ (f) 1(modpk+1). N ⌘ (iv) If f Z [[T ]]⇥, and k k 0, then 2 p 2 1 k2 (f) k1 (f)(modpk1+1). N ⌘N Proof.—We leave parts (i) and (ii) as an exercise. To see part (iii),supposethatf ⌘ 1(modpk) with k 1,andletp denote the maximal ideal of K = Q (µ ).Foreach⇣ µ , 1 p p 2 p as (⇣ 1)(1 + T ) pZ [[T ]],wehave 2 p ⇣(1 + T ) 1 T (mod pZ [[T ]]), ⌘ p so that f ⇣(1 + T ) 1 f(T )(modppkZ [[T ]]) ⌘ p by considering each term seperately. It follows that ' (f)(T )= f ⇣(1 + T ) 1 N ⇣ µ Y2 p f(T )p (mod ppkZ [[T ]]), ⌘ p 36 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS but since both ' (f) and f(T )p are elements of Z [[T ]],thisisactuallyanequivalence N p modulo ppk Z = pk+1. If f(T ) 1(modpk),thenf(T )p 1(modpk+1),andthenthe \ p ⌘ ⌘ proof follows from part (i).

To see part (iv),frompart(ii) we see that k k 2 1 f N 1(modp). f ⌘ Then iterating and using part (iii) k times, we obtain the result. N 1 With this in hand, we can complete the proof.

Proof of Theorem 6.2.—Uniqueness and injectivity of the map was proved in Lemma 6.5. We now prove that the map W , U is surjective. Let u =(un)n 1 U .Foreachn, ! 1 2 1 choose f Z [[T ]] such that n 2 p fn(⇡n)=un and define g = 2nf . One can use Lemma 6.8 to show that n N n g (⇡ ) u (mod pm+1), m n ⌘ n so that limm + gm(⇡n)=un. So it suffices to find a convergent subsequence of (gm);but ! 1 such a subsequence exists, since Zp[[T ]] is compact. If we let fu denote the limit of this subsequence, then we have fu(⇡n)=un for all n,provingtherequiredexistence.

In fact, since, by construction, (f )=f in the above proof, we have proved: N u u Theorem 6.9.—The association u f induces an isomorphism 7! u =1 U ⇠ (Zp[[T ]]⇥)N . 1 ! 6.4. The logarithmic derivative. — Recall Proposition 6.4. This said that if we consider the system c(a) U of cyclotomic units, and apply Theorem 6.2, then we can recover 2 1 the power series F (T ) Z [[T ]] =1,andhence–usingtheresultsof§3.1–werecoverthe a 2 p p-adic zeta function. More precisely, we showed that the logarithmic derivative @ log of the Coleman power series f was, up to the addition of a constant, equal to F . In this c(a) a section, we put this result into a larger framework by showing that any element ﬁxed by is the logarithmic derivative of an element ﬁxed by the norm operator.

Deﬁnition 6.10.—Deﬁne, for f(T ) Z [[T ]]⇥,itslogarithmicderivativeas 2 p @f(T ) f 0(T ) (f) .= =(1+T ) . f(T ) f(T ) The main result of this section is the following.

Theorem 6.11.—The logarithmic derivative induces a surjection =1 =1 Z [[T ]]⇥ N Z [[T ]] p ! p with kernel µp 1. The difficulty of the proof of Theorem 6.11 lies in the fact that, in general, the module =1 Zp[[T ]] admits no simple description. We first prove (Lemma 6.12) that the image of =1 the logarithmic derivative is contained Zp[[T ]] and calculate its kernel. We then reduce the proof, via Lemma 6.13, to the analogous result modulo p.Finally,inLemma6.14and Lemma 6.15 we calculate the reduction modulo p of both spaces. Recall that we defined =1 W = Zp[[T ]]⇥ N .

=1 Lemma 6.12.— We have (W ) Zp[[T ]] and the kernel of on W is µp 1. ✓ AN INTRODUCTION TO p-ADIC L-FUNCTIONS 37

Proof.—If f W ,then 2 '(f)=(' )(f)= f((1 + T )⇣ 1). N ⇣ µ Y2 p Applying to the above equality and using the fact(9) that ' = p' ,weobtain 1 (' )(f)=p (f)((1 + T )⇣ 1) = (' )((f)), ⇣ µ X2 p which shows that ((f)) = (f) by injectivity of '.

We move now to the proof of surjectivity. In the following, let A = (W ) F [[T ]]; B = Z [[T ]] =1 F [[T ]] ✓ p p ✓ p be the reduction modulo p of the modules we need to compare.

=1 Lemma 6.13.—If A = B, then (W )=Zp[[T ]] .

Proof.—Let f Z [[T ]] =1.Byhypothesis,thereexistsag W such that (g ) f = 0 2 p 1 2 1 0 pf for some f Z [[T ]].Since(W ) Z [[T ]] =1 by Lemma 6.12, we deduce that 1 1 2 p ✓ p (f )=f and hence there exists some g W such that (g ) f = pf for some 1 1 2 2 2 1 2 f Z [[T ]].Wededucebyinductiontheexistenceofg W and f Z [[T ]] =1, i 1, 2 2 p i 2 i 2 p such that

(gi) fi 1 = pfi. Since (a)=0for any a Z⇥ and since is linear, we can assume that g (0) 0 (mod p) 2 p i ⌘ for all i 1. If we let n k 1 pk h = ( 1) (g ) W , n k 2 kY=1 n 1 n+1 then one easily checks that (h )=f +( 1) p f .Bycompactness,thesequence n 0 n (hn)n 1 admits a convergent subsequence converging to an element h W satisfying (h)= 2 f0, which shows the result.

The following lemma calculates the reduction modulo p of W .

Lemma 6.14.—We have W = Fp[[T ]]⇥.

Proof.—One inclusion is obvious. Conversely, for any element f Fp[[T ]]⇥,liftittoan 2 k element f˜ Z [[T ]]⇥ and, by points (ii) and (iv) of Lemma 6.8, the sequence (f˜ ) 0 2 p N 0 converges to an element f˜ that is invariant under and whose reduction modulo p is f. N As we pointed out, the delicate and technical part of the proof of Theorem 6.11 is con- =1 tained in the following two lemmas describing the reduction of Zp[[T ]] modulo p.

Lemma 6.15.—We have B =(Fp[[T ]]⇥).

=1 Proof.—We have (W ) Z [[T ]] by Lemma 6.12, so the inclusion (F [[T ]]⇥) B ✓ p p ⇢ is clear using Lemma 6.14. For the other inclusion, take any f B and use Lemma 6.16 2 below to write f =(a)+b + T +1 pm for some a F [[T ]]⇥ and b = 1 d T .Since (f)=f and ((a)) = (a) (by 2 p m=1 m T aslightabuseofnotation,asf and (a) are actually the reduction modulo p of elements P ﬁxed by ), we deduce that (b)=b.Butwecanexplicitlycalculatetheactionof on

(9)It is easy to see on power series using the deﬁnitions. 38 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

(10) pm m b.Usingtheidentity (g '(f)) = (g)f,theidentityT = '(T ) in Fp[[T ]] and the T +1 · fact that ﬁxes T ,wededucethat

+ 1 T +1 (b)= d T m, m T m=1 X which immediately implies b =0and concludes the proof.

Lemma 6.16.—We have T +1 F [[T ]] = (F [[T ]]⇥)+ C, p p T

+ pn where C = 1 a T F [[T ]]. { n=1 n }✓ p

P T + n Proof.—One inclusion is clear. Take g F [[T ]] and write g = 1 a T .Deﬁne 2 p T +1 n=1 n + + P 1 1 mpk h = am T . m=1 k=0 (m,pX)=1 X

T T +1 Clearly g h C,soitsuﬃcestoshowthat h (F [[T ]]⇥). Indeed, we will show T +1 2 T 2 p by induction that, for every m 1,thereexists↵ F for 1 i

Corollary 6.17.—The map :W Z [[T ]] =1 is surjective. ! p Proof.—By Lemma 6.13, it suﬃces to prove that A = B, which follows directly from Lemma 6.14 and Lemma 6.15.

The above corollary ﬁnishes the proof of Theorem 6.11.

(10)Again, this can be easily checked on measures. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 39

6.5. The Coleman map. — To continue developing Proposition 6.4, we study the restriction to Zp⇥ of the logarithmic derivative of a Coleman interpolating power series. Deﬁnition 6.18.—We deﬁne the Coleman map Col : U ⇤( ) 1 ! G as the composition

1 1 u fu(T ) @ (1 ') A 7! =1 =1 =0 U (Zp[[T ]]⇥)N Zp[[T ]] Zp[[T ]] ⇤(Zp⇥) = ⇤( ), 1 ! ! ! ! ⇠ G where the last isomorphism follows by identifying Z⇥ with via the cyclotomic character. p G 1 Remark 6.19.—Observe that Col can also be written as x Res (µ ). The factor Zp⇥ (fu) 1 1 x is harmless since multiplication by x is an isomorphism on ⇤(Zp⇥). This factor will make the sequence in Theorem 6.20 below -equivariant. On the other hand, it corresponds G precisely to the shift by 1 described in Remark 7.3 below, renormalising the p-adic zeta function to be the p-adic L-function associated to the Galois representation Qp(1) so as to give the main conjecture, which will be better suited for the formulation of the main conjecture. Here is the main theorem of this section. Theorem 6.20.—The Coleman map induces an exact sequence of -modules G Col 0 µp 1 Zp(1) U ⇤( ) Zp(1) 0, ! ⇥ ! 1 ! G ! ! where the last map sends µ ⇤( ) to µ. 2 G G · Proof.—The first map in the compositionR defining Col is an isomorphism by Theorem 6.9. The second map is surjective with kernel µp 1 by Theorem 6.11. By Lemma 6.22, the third a map has kernel Zp, which is the image of (1 + T ) for a Zp,under. This is the power a 2 series interpolating the sequence (⇣pn )n 1. Accordingly, when we pull this back to U ,we 1 get the factor(11) a Zp(1) = ⇣pn : a Zp U . { 2 }⇢ 1 Finally, the first two maps are surjective and the third map has cokernel Zp by Lemma 6.22, showing the exactness of the sequence. In order to conclude the proof of the theorem, we need to show that the sequence is - G equivariant. This is easy to check if we understand how = Z⇥ acts on each of the modules G ⇠ p involved. Let us recall these actions for the sake of clarity. Let a Z⇥,andlet be 2 p a 2G such that (a)=a, where is the cyclotomic character. If u =(un)n 1 U ,then 2 1 a(u)=(a(un))n 1 U , 2 1 and if f(T ) Z [[T ]],then 2 p (f)(T )=f (1 + T )a 1 . a Then: – We have ( f )(⇡ )=f ((1 + ⇡ )a 1) a u n u n a = f (⇣ n 1) u p = f ( (⇣ n 1)) u a p = a(un), so that u f (T ) is -equivariant. 7! u G

(11) . Zp(1) .=limµpn is a free Zp-module of rank 1 on which the absolute Galois group GQ acts by the cyclotomic character. It is an integral version of Qp(1). 40 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

– If f(T ) Z [[T ]]⇥, then an easy calculation on power series shows that 2 p (a(f)) = aa((f)).

– The map (1 ') is clearly -equivariant since ' commutes with a. 1 1 G 1 – We have @ = a @ as one can easily check on measures. a a Putting all that together, the -equivariance follows. G Remark 6.21.—Note, again, that this sequence would not be -equivariant if we took 1 G the deﬁnition of Col to omit the operator @ , which might initially seem more natural.

Lemma 6.22.—There is an exact sequence 1 ' 0 Z Z [[T ]] =1 Z [[T ]] =0 Z 0, ! p ! p ! p ! p ! where the ﬁrst map is the natural inclusion and the last map is evaluation at T =0.

Proof.—Injectivity of the ﬁrst map is trivial. Surjectivity of the last map follows, for example, from the fact that (1 + T )=0,since

1 (' )(1 + T )=p ⇣(1 + T )=0. p X⇣ =0 Let f(T ) Zp[[T ]] be in the kernel of the last map, that is be such that f(0) = 0. n 2 (12) n Then ' (f) goes to zero (in the weak topology )andhence n 0 ' (f) converges to an element g(T ) whose image under (1 ') is f(T ).Since ' =id,wealsohave P n n 1 (g)= ' (f)= (f)+ ' (f)=g, n 0 n 1 X X as (f)=0, which shows that f (1 ') Z [[T ]] =1 2 p and hence that the sequence is exact at Z [[T ]] =0. Finally, if f(T ) Z [[T ]] is not constant, p 2 p then f(T )=a + a T r + ... for some a =0and '(f)(T )=a + pa T r + ...= f(T ), which 0 r r 6 0 r 6 shows that ker(1 ')=Z and ﬁnishes the proof. p We conclude this section by the following digression on the generalisations of Coleman’s map that lead to a conjectural construction (under the assumption of the existence of certain global cohomological elements) of p-adic L-functions of more general motives.

6.6. The Kummer sequence, Euler systems and p-adic L-functions. — We end this section with a disgression about how the picture described here generalizes to more general contexts. Let G be the absolute Galois group of Q and consider, for m 1,the Q Kummer exact sequence m x xp 0 µ m G 7! G 0. (4) ! p ! m ! m ! Evaluating at Q,thisshortexactsequenceinduces,foranynumberﬁeldF ,alongexact sequence on cohomology

pm x x 1 1 0 µ m (F ) F ⇥ 7! F ⇥ H (F, µ m ) H (F, Q⇥). ! p ! ! ! p ! 1 . 1 Here, for any topological GF -module A, we write H (F, A) .= H (GF ,A) for the Galois cohomology, that is the continuous group cohomology of GF .ByHilbert90,wehave 1 H (F, F ⇥)=0.Takinginverselimits,whichisexact,overm 1,weobtain 1 F ⇥ Z = H (F, Z (1)). ⌦ p ⇠ p

(12) Recall: the weak topology corresponds to the (p, T )-adic topology on Zp[[T ]]. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 41

Explicitly, at each ﬁnite level, the isomorphism

n pn 1 F ⇥ Z/p Z = F ⇥/(F ⇥) H (G ,µ n ) ⌦ !⇠ F p pn (b) is given as follows. Take a F ⇥ and take any b Q⇥ such that b = a. Then c : 2 2 a 7! b deﬁnes a 1-coycle on G and it is a coboundary if and only if a is a pn th root of unity in F F ⇥, which shows that the map sending the class of a to the class of ca is well deﬁned.

Let m = Dpn, n 1,anddeﬁne 1 . ⇣m 1 cm .= O⇥ , ⇣ 1 2 Q(µm) m which is a global analogue and a generalization of the cyclotomic units c ( 1) considered in n Example 6.2. One can show that these elements satisfy the following relations with respect to the norm maps:

cm if ` m N (c )= | Q(µm`)/Q(µm) m` 1 ((1 ` )cm if ` - m. Using the Kummer map described below, we get elements z .= @(c ) H1(Q(µ ), Z (1)) m m 2 m p satisfying

zm if ` m cores (z )= | Q(µm`)/Q(µm) m` 1 ((1 ` )zm if ` - m, where we have used that Frob` acts on Zp(1) simply by multiplication by `.Observealso 1 that (1 ` ) is the Euler factor at ` of the Riemann zeta function. Definition 6.23.—Let V Rep G be a global p-adic Galois representation, which is 2 L Q unramified outside a finite set ⌃ of primes and let T V be an O -lattice stable by G . ✓ L Q An Euler system for (V,T,⌃) is a collection of classes z H1(Q(µ ),T), (m, ⌃) = p m 2 m { } satisfying

zm if ` m cores (z )= | Q(µm`)/Q(µm) m` 1 (P`(V ⇤(1),` )zm if ` - m,

1 I` where P (V ⇤(1),X)=det(1 Frob X V ⇤(1) ) is the Euler factor at ` of the L-function ` ` | associated to V ⇤(1) and ` denotes the image of Frob` in Gal(Q(µm)/Q).

By what we have mentioned before, cyclotomic units form an Euler system for the representation Zp(1). These elements are at the base of Rubin’s proof of the main conjecture. In general, constructing Euler systems for a Galois representation is a very diﬃcult task, and very few examples exist at the moment. Moreover, there is no actual axiomatic study of Euler systems allowing us to study the few examples known under the same setting.

In exactly the same way, replacing Q by Qp and F by a ﬁnite extension K of Qp,and observing that K⇥ Z = K⇥ since K⇥ is already p-adically complete, we obtain from ⌦ p Kummer’s exact sequence (4) an isomorphism

1 K⇥ ⇠= H (K, Zp(1)). Taking K = K for n 1 in the last isomorphism of the above paragraph, and considering n the inverse limit over all n,weseethatthereisamap

1 U lim H (Kn, Zp(1)), 1 ! n 1 42 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS where the inverse limit is taken with respect to corestriction maps in Galois cohomology. We deﬁne Iwasawa cohomology groups by 1 1 . HIw(Qp, Qp(1)) =limH (Kn, Zp(1)) Zp Qp. n 1 ⌦ The remarks made so far allow one to reinterpret the Coleman map as a map Col : H1 (Q , Q (1)) M ( , Q ), Iw p p ! G p where we recall that M ( , Q )=⇤( ) Q is the space of Q -valued measures on G p G ⌦Zp p p . The cyclotomic units c (a) we saw earlier form what is known as an Euler system,a G n system of (global) Galois cohomology classes that are compatible under corestriction maps. By localising, the cyclotomic units give rise to an element of the Iwasawa cohomology. By combining the above with Proposition 6.4, we see that the p-adic zeta function can be obtained by evaluating Col at this Iwasawa cohomology class (and, as usual, dividing through by the measure ✓a to account for the pole).

Let now V Rep G be any p-adic representation of G ,i.eafinitedimensionalL- 2 L Qp Qp vector space V equipped with a continuous linear action of GQp .Asbefore,wedefineits Iwasawa cohomology groups as 1 1 . HIw(Qp,V) =limH (Kn,T) OL L, n 1 ⌦ where T V denotes any O -lattice of V stable under the action of the Galois group G , ✓ L Qp and where as before the inverse limit is taken with respect to the corestriction maps in cohomology. Morally, Iwasawa cohomology groups are the groups where the local parts at p of Euler systems of a global p-adic representation live. Assuming that the representation is crystalline(13), the Coleman map has been generalized by Perrin-Riou [PR95]. Under some choices, she constructed big logarithm maps Log : H1 (Q ,V) D( ,L), V Iw p ! G where D( ,L) denotes the space of L-valued distributions on (14). The map Log satisfies G G V certain interpolation properties expressed in terms of Bloch-Kato’s exponential and dual exponential maps and, for V = Qp(1), we reobtain the Coleman map.

The general idea is that, given an Euler system for a global p-adic Galois representation, localizing it at the place p and applying Perrin-Riou’s machine, one can construct a p-adic L-function for V . In a diagram:

locp Log Euler systems H1 (Q ,V) V p adic L-functions . ! Iw p ! See [Col00]forfurtherreferencesonthissubject.

7. The Main Conjecture In this section we will continue moving from the analytic picture we developed in Part I to amorearithmeticsetting.Wehavealreadyseenthatcyclotomicunitsareintimatelyrelated to the p-adic zeta function, and in this section we will study further properties of the module generated by the cyclotomic units. In particular, we will consider the p-adic closure of the

(13) Loosely, a p-adic representation of GQp being crystalline is a condition from p-adic Hodge theory that is equivalent to an `-adic representation of G (with ` = p) being unramified. Qp 6 (14)Recall that measures were interpreted as bounded rigid analytic functions on the p-adic weight space. The space D( ,L) is precisely defined as (not necessarily bounded) rigid analytic functions. Equivalently, G in terms of p-adic functional analysis, it is the continuous dual of the space of locally analytic functions (i.e continuous functions that locally admit a power series expansion). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 43 cyclotomic units inside the local units, and show a theorem of Iwasawa calculating the exact image of this closure under the Coleman map (in terms of the p-adic zeta function). This endows the connection between cyclotomic units and the p-adic zeta function with a deeper algebraic structure. We will next use class field theory to relate these modules to Galois groups, and hence state Iwasawa’s Main Conjecture. Under certain assumptions that will be proved later and, most importantly, under a crucial assumption on the prime p (which conjecturally always holds), we will provide a proof of the main conjecture.

7.1. The ⇤-modules arising from Galois theory. — As in the last section, we introduce the ⇤-modules that will be the protagonists of the Galois side of the main conjecture, and we urge the reader to refer back to this as these objects appear in the text. Deﬁne

. Mn .= maximal abelian p-extension of Fn unramiﬁed outside the unique prime of Fn over p,

+ . + + Mn .= maximal abelian p-extension of Fn unramiﬁed outside the unique prime of Fn over p,

. Ln .= maximal unramiﬁed abelian p-extension of Fn,

+ . + Ln .= maximal unramiﬁed abelian p-extension of Fn , and set

. M .= n 1Mn = maximal abelian p-extension of F unramified outside p 1 [ 1 + . + + M .= n 1Mn = maximal abelian p-extension of F unramified outside p 1 [ 1 . L .= n 1Ln = maximal unramified abelian p-extension of F . 1 [ 1 + . (+) + L .= n 1Ln = maximal unramified abelian p-extension of F . 1 [ 1 Finally, define + + + X .= Gal(M /F ), X = Gal(M /F ); 1 1 1 1 1 1 + + + Y .= Gal(L /F ), Y = Gal(L /F ). 1 1 1 1 1 1 These modules fit into the following diagram of field extensions:

M 1 X 1 L 1

Y 1 F Mn 1

Gn Q

(There is an identical diagram for the totally real objects, with everything adorned by a superscript +).

We defer to the appendix an interpretation of these modules in terms of ideles and ideal class groups, as given by class ﬁeld theory. 44 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Remark 7.1.—Recall that = Gal(F /Q) was defined at the start of the previous G 1 section. The advantage of considering the whole cyclotomic tower instead of considering each level individually is that we get in this fashion modules over the Iwasawa algebras + + ⇤( )=OL[[ ]] and ⇤( )=OL[[ ]],whosestructureissimplerthanthatofmodules G G G+ G over OL[ n] (resp. OL[ n ]). Let’s describe this action: take elements X , and G G 2 1 2G choose any lifting ˜ Gal(M /Q) of ,then 2 1 1 x .=˜x˜ · gives a well defined action of on X which extends by linearity and continuity to an G 1 action of ⇤( ) on X (exercise: check these claims). In exactly the same way we define G 1 actions of ⇤( ) on Y and of ⇤( +) on X + and Y +.Forfurtherdetailsonthestructure G 1 G 1 1 of ⇤-modules, where ⇤ is one of the Iwasawa algebras above, see the appendix.

7.2. Measures on Galois groups. — In the previous section, the fact that we can use the cyclotomic character to see the p-adic zeta function in terms of measures on was G heavily trailed, and we even took the Coleman map to have values in ⇤( ). In the process, G we introduced a twist by 1, which ensured that the Coleman map was -equivariant. We G now elaborate on this identiﬁcation and conceptually explain why this twist is introduced in the context of the main conjecture. In the process, we pin down the normalisations around ⇣p that we will be using for the remainder of these notes.

Recall that F = n 1Q(µpn ),that = Gal(F /Qp) = Zp⇥ via the cyclotomic charac- 1 [ G 1 ⇠ ter, and that this isomorphism induces an identification of measures on Zp⇥ and measures on the Galois group , as has already been used in the definition of the Coleman map. Also, + + G = Gal(F /Q)= / c is identified through the cyclotomic character with Zp⇥/ 1 . G 1 G h i {± }

Using this, we have the following reformulation of Theorem 3.12. The twist by 1 manifests itself in the fact that we now interpolate the values ⇣(1 k) rather than ⇣( k). Theorem 7.2.—There exists a unique pseudo-measure ⇣ on such that, for every integer p G k 2, we have k k 1 ⇣ =(1 p )⇣(1 k). · p ZG Remark 7.3.— – From now on, when we write ⇣ ,wemeanthepseudo-measureon satisfying this inter- p G polation property (with the twist by 1), not the measure on Zp⇥ we constructed previously. We retain the notation ⇣p for ease of notation. – Let GQ = Gal(Q/Q) denote the absolute Galois group of Q.Thereisanaturalprojec- tion GQ given by restriction to F ,andifwecompose with this projection, we get !G 1 amap : G Z⇥ Q ! p that we continue to call the cyclotomic character. This allows us to deﬁne a Galois representation : G GL(V ), Q ! where V is a 1-dimensional Q -vector space, under Z⇥ Q⇥ = GL(V ). We write V = p p ⇢ p Qp(1) for this Galois representation. Recall from the introduction that, whenever we have aglobalGaloisrepresentation,wecanconstructacomplexL-function deﬁned as an Euler product, and note that

L(Qp(1),s)=⇣(s + 1), so rescaling the p-adic or complex zeta function corresponds to twisting the Galois representation. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 45

– Note that in this formulation, ⇣p is precisely the p-adic L-function of the Galois representation Qp(1), and this twist by 1 corresponds to the fact that we get ⇣(s + 1),not⇣(s). The main conjecture (as we will state it) can be viewed as a precise relation between the Selmer group and the p-adic L-function of Qp(1),soitismorenaturalinthiscontextto include the twist by 1.

7.2.1. Passing to +.—Nowobservethat⇣ (with the new normalisation!), which osten- G p sibly is an element of Q( ),vanishesatthecharactersk,foranyoddintegerk>1.We G will use this fact to show that ⇣ actually descends to a pseudo-measure on +. p G Lemma 7.4.—Let c denote the action of complex conjugation. Let R be a ring in 2G which 2 is invertible and M an R-module with a continuous action of . Then M decomposes G as + M = M M , ⇠ + where c acts as +1 on M and as 1 on M . 1+c 1 c Proof.—We prove this directly by using the idempotents 2 and 2 , which act as pro- + jectors to the corresponding M and M .

+ Since we are assuming that p is odd, we see that ⇤( ) = ⇤( ) ⇤( ) (as ⇤( )- G ⇠ G G G modules). In fact, the module ⇤( )+ admits a description solely in terms of the quotient G +. G Lemma 7.5.—There is a natural isomorphism

⇤( )+ = ⇤( +). G ⇠ G Proof.—We work at ﬁnite level. Let .= Gal(F /Q),and + .= Gal(F +/Q). Then Gn n Gn n there is a natural surjection Z [ ] Z [ +] p Gn ! p Gn induced by the natural quotient map on Galois groups. Since this must necessarily map + + Zp[ n] to 0, this induces a map Zp[ n] Zp[ n ]. The result now follows at ﬁnite level G G ! G n 1 by a dimension count (as both are free Z -modules of rank (p 1)p /2).Weobtainthe p required result by passing to the inverse limit.

We henceforth freely identify ⇤( +) with the submodule ⇤( )+ of ⇤( ). G G G Lemma 7.6.—Let µ ⇤( ). Then µ ⇤( +) if and only if 2 G 2 G (x)k µ =0 · ZG for all odd k 1. + 1 ◆ Proof.—By Lemma 7.4, we can write µ = µ + µ, where µ± = ±2 µ.Wewanttoshow k that µ =0if and only if (x) µ =0for all odd k 1.Since(c)= 1,wehave G ·

R k 1 k k k (x) µ = µ ( 1) µ . · 2 · · ZG ZG ZG If k is even, the above expression vanishes. The result follows then by Lemma 3.8.

Corollary 7.7.—The p-adic zeta functionÅ is a pseudo-measure onã +. G Proof.—This follows directly from the interpolation property, as ⇣(1 k)=0precisely when k 2 is odd. 46 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

7.3. The main conjecture. — It is natural to ask about the zeroes of the p-adic zeta function. Since the zeroes are not modiﬁed if we multiply by a unit, studying the zeroes of ameasureisequivalenttostudyingtheidealgeneratedbyit.Recallthat,evenif⇣p is not ameasurebutapseudo-measure,theelements([] 1)⇣ , , belong to the Iwasawa p 2G algebra ⇤( ). G

Deﬁnition 7.8.—Let I( ) denote the augmentation ideal of ⇤( ),thatis,theideal G G I( )=O -span of [] 1: . G L { 2G} Similarly, deﬁne I( +) to be the O -span of [] 1 for +. G L 2G

Remark 7.9.— The Iwasawa algebra ⇤( ) is the completed group ring O [[ ]],and G L G elements can be written as ‘power series’ of the form g cg[g]. There is a natural degree 2G map P deg : ⇤( ) O , G ! L c [g] c , g 7! g g g X2G X2G and I( ) is simply the kernel of this map. G

Proposition 7.10.— The module I( )⇣ is an ideal in ⇤( ). Similarly, the module G p G I( +)⇣ is an ideal in ⇤( +). G p G

Proof.—Since ⇣ is a psuedo-measure, we know ([g] [1])⇣ ⇤( ) for all g .Hence p p 2 G 2G the result follows from the deﬁnition of I( ). The same argument holds for I( +)⇣ . G G p

Recall that M + denotes the maximal abelian p-extension of F + which is unramiﬁed 1 1 outside the unique prime of F + above p and X + = Gal(M +/F + ) is endowed with an + 1 1 1 1 + action of ⇤( ).Recallthedeﬁnitionofthecharacteristicidealch⇤( +)(X) of a ⇤( )- G G G module X,asgivenintheappendix.Wehavethen:

Theorem 7.11 (Iwasawa Main Conjecture). — The module X + is a ﬁnitely generated 1 torsion ⇤( +)-module and we have G + + ch⇤( +)(X )=I( )⇣p. G 1 G

Remark 7.12.—It is usual in the literature to formulate Iwasawa main conjecture in terms of an even Dirichlet character of Gal(Q(µp)/Q).Asonecanalreadyobservefromthe behaviour of the Bernoulli numbers, there exists a certain dichotomy involving the parity of this character which makes the formulation of the main conjecture diﬀerent in the even and odd cases. The above formulation takes into account every such even Dirichlet character. For a formulation of the main conjecture for odd Dirichlet characters, see [HK03].

We intend to provide a proof of the main conjecture for primes not dividing the class + number of the ﬁeld Q(µp) . The arguments of this section form the origins of Iwasawa’s formulation of the main conjecture, and should also be seen as motivation for it. Its complete proof involves much more sophisticated techniques: there are at least two proofs of it, each one showing one divisibility between the two modules and invoking the analytic class number formula to deduce the other one. One of them (explained in [CS06]) uses the theory of Euler systems, and we hope that this text will facilitate the reader’s eventual study of this method. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 47

7.4. Cyclotomic units. — We now return to cyclotomic units, and in particular study the subgroup generated by them in the (local and global) unit groups. In the global case, this subgroup has finite index in the whole unit group Vn.Sincethedeterminationofthe units of a number field is in general a difficult problem, and cyclotomic units provide a partial answer in the case of cyclotomic fields, they are objects of classical interest and have been extensively studied.

Definition 7.13.—For n 1,wedefinethegroupDn of cyclotomic units of Fn to be a the intersection of O⇥ and the multiplicative subgroup of F ⇥ generated by ⇣pn ,⇣ n 1: Fn n {± p 1 a pn 1 .WesetD + = D F +.   } n n \ n Recall we defined a ⇣ n 1 . p cn(a) .= Dn, ⇣ n 1 2 p and note that . (1 a)/2 ⇠n,a .= ⇣pn cn(a) + is an element of Dn . In fact: Lemma 7.14.—Let n 1. Then (1) The group D + is generated by 1 and n pn ⇠ :1

a Proof.—We ﬁrst show that we need only consider those elements ⇣ n 1 with a prime to ß ™ p p. Indeed, this follows from the identity pm 1 m n k bp b+jp ⇣ n = (⇣ n 1), p p j=0 Y n k where (b, p)=1and k 1,andnotingthatb + jp is prime to p.Also,since a a a 1 n ⇣ n 1= ⇣ n (⇣n 1),wecanrestricttoconsidering1 a p . p p p   2

So suppose that d a ea ⇠ = ⇣ n (⇣ n 1) D , ± p p 2 n 1 a< 1 pn  2 (a,pY)=1 d a for some integers d and ea.Sincevp(⇣pn )=0and all the p-adic valuations of ⇣pn 1 coincide a 1 (namely, vp(⇣pn 1) = (p 1)pn 1 ), we deduce that a ea =0. Therefore we can write a ea ⇣ n 1 P d p e ea ⇠ = ⇣pn = ⇣pn ⇠n,a, ± ⇣ n 1 ± a p a Y Y 1 where e = d + 2 a ea(a 1). This shows the second point and the ﬁrst point follows by ea + observing that every term ⇠n,a of the product is real, so ⇠ Dn if and only if e =0. P Å ã 2 n + + Corollary 7.15.—Let a be a generator of (Z/p Z)⇥. Then ⇠ generates D as a Z[ ]- a n Gn module.

Proof.—Indeed, for any integer 1 b

+ As we have already suggested, the group Dn (resp. Dn )ofcyclotomicunitsisoffinite + + index in the group of units Vn (resp. Vn )ofFn (resp. Fn ), and this index turns out to be aclassnumber. Definition 7.16.—For n 1, we write + . + hn .=#Cl(Fn ) + for the class number of Fn . + Proposition 7.17.—Let n 1. The group Dn (resp. Dn ) is of finite index in the group + of units of Fn (resp. Fn ) and we have + + + hn =[Vn : Dn]=[Vn : Dn ] Proof.—The result follows by showing that the regulator of cyclotomic units is given in terms of special L-values at s =1of Dirichlet L-functions and by the class number formula. See [Was97, Theorem 8.2].

7.5. On a theorem of Iwasawa. — We will calculate the image under the Coleman map of the p-adic closure of the module of cyclotomic units inside local units. Definition 7.18.—For any n 1,defineC as the p-adic closure of D inside the local n n units U ,letC + .= C U +,andlet n n n \ n + + C .= C U , C .= C U ; n,1 n \ n,1 n,1 n \ n,1 . + . + C ,1 .=limCn,1, C ,1 .=limCn,1. 1 n 1 1 n 1 Remark 7.19.—As we have pointed out whilst defining notation at the beginning of the previous chapter, the process of considering elements congruent to 1 modulo the maximal + ideal and taking the p-adic closure allows us to consider the modules C ,1 and C ,1 as ⇤( ) 1 1 G and ⇤( +)-modules respectively. G Observe that, as a consequence of Corollary 7.15, we easily deduce the following result.

+ + Lemma 7.20.— The module C ,1 is a cyclic ⇤( )-module generated by (u⇠n,a)n 1, 1 G where a Z is a topological generator of Zp⇥ (for example, take a to be a primitive root 2 p 1 modulo p such that a =1(mod p)) and u µp 1 is such that au 1(mod p). 6 2 ⌘ Here is the main result of this section, putting the link between cyclotomic units and the p-adic zeta function into a deeper algebraic structure. Theorem 7.21.—The Coleman map induces: (1) An isomorphism of ⇤( +)-modules G + + + + U ,1/C ,1 ⇠ ⇤( )/I( )⇣p. 1 1 ! G G (2) A short exact sequence of ⇤( )-modules G 0 U ,1/C ,1 ⇤( )/I( )⇣p Zp(1) 0. ! 1 1 ! G G ! ! Proof.—Consider the exact sequence of ⇤( )-modules of Theorem 6.20: G Col 0 µp 1 Zp(1) U ⇤( ) Zp(1) 0. ! ⇥ ! 1 ! G ! ! Since U = µp 1 U ,1, we can rewrite the above as 1 ⇥ 1 Col 0 Zp(1) U ,1 ⇤( ) Zp(1) 0. ! ! 1 ! G ! ! + The theorem will follow by calculating the image of the modules C ,1 and C ,1 under the 1 1 Coleman map. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 49

b By Lemma 7.14, it suﬃces to calculate the image under Col of an element (⇣pn ⇠n,a)n 1 2 U ,1,fora, b Zp⇥.Butthishasalreadybeendone:byProposition6.4,andthefactthat b1 2 ⇣pn lies in the kernel of the Coleman map, we know that

b (1 a)/2 Col (⇣pn ⇠n,a)n 1 = Col ⇣pn (⇠n,a)n 1 = Col c(a) =([a] 1)⇣p, where as usual a denotes an element of such that (a)=a. Since a Zp⇥ was arbitrary, G + 2 + we conclude that the image of C ,1 (resp. C ,1)underCol is I( )⇣p (resp. I( )⇣p). We 1 1 G G deduce an exact sequence Ä ä

0 U ,1/C ,1 ⇤( )/I( )⇣p Zp(1) 0. ! 1 1 ! G G ! ! This shows the second point. Since p is odd, taking invariants under the group c of h i⇢G order two generated by complex conjugation is exact. As c acts on Zp(1) by 1,weseethat c Zp(1)h i =0, which shows the ﬁrst point and concludes the proof of the theorem.

Remark 7.22.—For the purposes of the main conjecture, we will be restricting to the ﬁrst point of Theorem 7.21 above.

7.6. An application of class ﬁeld theory. — We next use class ﬁeld theory to reinterpret Theorem 7.21 in terms of some modules arising from Galois theory.

Deﬁnition 7.23.—For any n 1,deﬁneE as the p-adic closure of V inside the local n n units U ,letE + .= E U +,andlet n n n \ n + + E .= E U , E .= E U ; n,1 n \ n,1 n,1 n \ n,1

. + . + E ,1 .=limEn,1, E ,1 .=limEn,1. 1 n 1 1 n 1 We have the following result, connecting units in the cyclotomic tower and modules coming from Galois theory.

Proposition 7.24.—There is an exact sequence of ⇤( +)-modules G + + + + 0 E ,1 U ,1 Gal(M /L ) 0. ! 1 ! 1 ! 1 1 ! + + Proof.—By Proposition 10.5 of the appendix, we know that, if Mn (resp. Ln )de- + notes the maximal abelian p-extension of Kn unramiﬁed outside p (resp. everywhere), then + + Gal(Mn /Ln )=Un,1/En,1. This gives an exact sequence

0 E U Gal(M +/L +) 0. ! n,1 ! n,1 ! n n ! By taking inverse limits, which is exact since all modules in the short exact sequence above are ﬁnitely generated Zp-modules (and hence satisfy the Mittag-Leﬄer condition), we deduce the result.

Having in mind that the Coleman map induces an isomorphism of ⇤( +)-modules between + + + + G U ,1/C ,1 and ⇤( )/I( )⇣p, we rewrite the above result as follows. 1 1 G G Corollary 7.25.—We have an exact sequence of ⇤(G)-modules

+ + + + + + 0 E ,1/C ,1 U ,1/C ,1 X Y 0. ! 1 1 ! 1 1 ! 1 ! 1 ! Proof.—This is an immediate consequence of Proposition 7.24. 50 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

7.7. Some consequences of Iwasawa theory. — We will now state some classical results from Iwasawa theory that will be proved later and show how we can deduce from them the main conjecture assuming that the prime p does not divide the class number of the ﬁeld + Q(µp) .

+ Proposition 7.26.—If p - h then p - h+ for any n 1. 1 n + + + + + Proof.—Recall that Cl(F ) Z Zp = Gal(L /F ) and p - #Cl(F ) translates into L = 1 ⌦ 1 1 1 1 F +.Bythecontrolresultoflemma8.7ofthenextsection,wehave,foralln 0, 1 + + + (Y ) + = Gal(Ln /Fn ), 1 Gn + + + + + where we recall that n = Gal(F /Fn ).Wededucethat,ifp - h1 ,then(Y ) 0 =0.By G 1 1 G Nakayama’s lemma (cf. Lemma 8.8 below), this implies that Y + =0.Weconcludethat 1 Gal(L +/F +)=0for all n =1,i.e.,p - h+, which finishes the proof. n n 6 n + Corollary 7.27.—Assume p - h1 . Then + + + Y = E ,1/C ,1 =0. 1 1 1 Proof.—We have already seen in the proof of Proposition that Y + =0.Wenowshow + + + + 1 + that E ,1 = C ,1. In Proposition 7.17 we saw that [Vn : Dn ]=hn , which is prime 1 1 + + to p by the previous proposition. Note now that Dn,1 and Vn,1 are the kernels of the + reduction maps modulo p;moreover,theimageofDn (mod p) is contained inside the image + + + + of V (mod p) F⇥,soweconcludethattheindexofD inside V divides (p 1)h . n ⇢ p n,1 n,1 n Hence there is an exact sequence 0 D + V + W 0, ! n,1 ! n,1 ! n ! where Wn is a finite group of order prime to p by hypothesis. Tensoring the above exact sequence with Zp,weget D + Z = V + Z . n,1 ⌦Z p ⇠ n,1 ⌦Z p + + + + Recall now that En,1 (resp. Cn,1)isbydefinitionthep-adic closure of Vn,1 (resp. Dn,1) inside U + ,andthatC + E + .SincewehavenaturalsurjectionsD + Z C + n,1 n,1 ✓ n,1 n,1 ⌦Z p ! n,1 and V + Z E + ,weconcludethattheinclusionC + E + is a surjection, which n,1 ⌦Z p ! n,1 n,1 ! n,1 finishes the proof.

+ We can now easily ﬁnish the proof of Iwasawa Main Conjecture when p - h1 . + Theorem 7.28.—if p - h , we have an isomorphism of ⇤( +)-modules 1 G + + + X = ⇤( )/I( )⇣p. 1 ⇠ G G In particular, Iwasawa’s main conjecture holds.

Proof.—By Corollary 7.25 and Corollary 7.27, we have + + + X = U ,1/C ,1. 1 ⇠ 1 1 + + + + By Theorem 7.21, we have U ,1/C ,1 = ⇤( )/I( )⇣p,andwededuce 1 1 ⇠ G G + + + X = ⇤( )/I( )⇣p. 1 ⇠ G G In particular, + + + + ch⇤( +)(X )=ch⇤( +) ⇤( )/I( )⇣p = I( )⇣p, G 1 G G G G which ﬁnishes the proof.

Remark 7.29.—Recall that a regular prime is a prime such that p - h1.Aprimep such + that p - h1 is called a Vandiver prime and that there are inﬁnitely many irregular primes. Conjecturally, every prime is a Vandiver prime. AN INTRODUCTION TO p-ADIC L-FUNCTIONS 51

8. Iwasawa’s µ-invariant We turn ﬁnally to the study of some classical Iwasawa theory. We introduce the µ and -invariants of a Zp-extension. In proving Iwasawa’s theorem on the µ and -invariants, we develop techniques that can be used to show that the modules appearing in the exact sequence of Corollary 7.25 are ﬁnitely generated torsion modules over the Iwasawa algebra. This completes the proof of the main conjecture given in the last section for a Van- diver prime. (Other than this rather peripheral appearence, however, the main conjecture does not appear again in this section, which is largely independent of the rest of these notes).

The following results will hold for an arbitrary Zp-extension of number ﬁelds, although we will only prove them under some hypotheses that slightly simplify the proofs.

Deﬁnition 8.1.— Let F be a number ﬁeld. A Zp-extension F of F is a a Galois 1 extension such that Gal(F /F ) = Zp. 1 ⇠

If F /F is a Zp-extension, we denote Fn the sub-extension fixed by the unique subgroup 1 n of with quotient Z/p /Z.RecallfirstthatanynumberfieldhasatleastoneZp-extension, the cyclotomic extension. Indeed, consider the fields F (µpn ),andlet

n F (µp1 )= F (µp ). n 1 [ Gal(F (µ )/F ) Gal(Q(µ )/Q) = Z By Galois theory p1 is an open subgroup of p1 ⇠ p⇥,andhence contains a maximal quotient isomorphic to Zp (specifically, the quotient by the finite torsion subgroup). The corresponding field (under the fundamental theorem of Galois theory) is the cyclotomic Zp-extension.

Deﬁnition 8.2.—Let F /F be a Zp-extension. For each n,letFn be the unique subex- 1 tension of F /F such that 1 n Gal(Fn/F ) ⇠= Z/p Z.

Example 8.3.—Let F = Q(µp). Then F = Q(µp ) is the cyclotomic Zp-extension of 1 1 F ,and

Fn = Q(µpn+1 ).

(Note that earlier we denoted this field Fn+1). The cyclotomic Zp-extension of Q is the field µp 1 F ,thefixedfieldinF of the torsion subgroup µp 1 Gal(F /Q). 1 1 ⇢ 1

Leopoldt’s conjecture states that the number of independent Zp-extensions of a number field F is exactly r2 +1 , where r2 is the number of complex embeddings of F . In particular, the conjecture predicts that any totally real number field possesses a unique Zp-extension (the cyclotomic one). Whilst the conjecture remains open for general number fields, it is known in the case that F is an abelian extension of Q or and abelian extension of an imaginary quadratic field (See [NSW99, Theorem 10.3.16]).

8.1. Iwasawa’s theorem. — Let F be a number field, F /F a Zp-extension, =F = 1 Gal(F /F ) = Zp and 0 atopologicalgeneratorofF .Usingthischoiceof0,weidentify 1 ⇠ . ⇤() with ⇤ .= Zp[[T ]] by sending 0 to T +1(when 0 is sent to 1 by the isomorphism ⇠= Zp,thisissimplytheMahlertransform,butthisidentificationholdsforany0). Let Ln (resp. L )bethemaximalunramifiedabelianp-extension of Fn (resp. F ), write 1 1 Y = Y .= Gal(L /F )=Cl(F ) Z , F,n n n n n ⌦ p which is the p-Sylow subgroup of the ideal class group of Fn.Set

. Y = YF, .=limYF,n. 1 1 n 52 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Write en = vp(#Yn) for the exponent of p in the class number of Fn. The following theorem is the main result we intend to show in this section.

Theorem 8.4 (Iwasawa). — There exists an integer n and integers 0, µ 0, ⌫ 0, 0 all independent of n, such that, for all n n , we have 0

n en = µp + n + ⌫.

Remark 8.5.—

– This is another typical example of the power of Iwasawa theory, in which we derive information at finite levels by considering all levels simultaneously. There are two basic steps on the proof of Theorem 8.4. We first show that the module YF, is a finitely generated 1 torsion ⇤()-module. Using the structure theorem of ⇤()-modules (in the appendix), we study the situation at infinite level, and then we transfer the result back to finite level to get the result. – We will only describe the proof for the case where the extension F /F satisfies the 1 following hypothesis: there is only one prime p of F above p,anditramifiescompletely in F . The reduction of the general case to this case is not difficult, and is contained 1 in [Was97, §13]. This assumption covers our cases of interest; in particular, it applies if + F = Q(µpm ) or F = Q(µpm ) for some m 0 and F /F is the cyclotomic Zp-extension. 1

8.1.1. First step. — The ﬁrst step of the proof of Theorem 8.4 consists in showing (Propo- sition 8.9) that the module Y is a ﬁnitely generated ⇤()-module. Then Lemma 8.7 1 will allow us to recover each Yn from the whole tower Y .Wethenuseavariationof 1 Nakayama’s lemma to conclude.

Since p is totally ramiﬁed in F ,andLn is unramiﬁed over Fn,wededucethatFn+1 1 \ Ln = Fn and hence

Yn = Gal(Ln/Fn) = Gal(LnFn+1/Fn+1)=Yn+1/Gal(Ln+1/LnFn+1),

showing that Yn+1 surjects onto Yn. The module Y is equipped with the natural Galois 1 action of ⇤=⇤(),andundertheidentiﬁcation⇤ = Z [[T ]],thepolynomial1+T ⇤ ⇠ p 2 acts as . 0 2

Let p˜ be the prime of L above p,andwrite 1

I G .= Gal(L /F ) ✓ 1 for its inertia group. Since L /F is unramiﬁed, all of the inertia occurs in the subextension 1 1 F /F .AccordinglyI Y =1and since F /F is totally ramiﬁed at p,theinclusion 1 \ 1 1 I, G/Y = is surjective, and hence bijective. We deduce that ! 1 ⇠

G = IY =Y . 1 1 AN INTRODUCTION TO p-ADIC L-FUNCTIONS 53

We’ve shown the following picture of extensions. L 1 Y 1 F 1

I ⇠= ⇠= Zp Yn G=IY 1 Fn

Z/pnZ F Let I map to the topological generator under the natural isomorphism I = . 2 0 2 ⇠ Lemma 8.6.—Let G0 be the closure of the commutator of G. Then

G0 =(0 1) Y = T Y . · 1 1 Proof.—Recall that we have a decomposition G =Y .Leta = ↵x, b = y G, where 1 2 ↵, and x, y Y .Astraightforwardcalculation,usingthedeﬁnitionofthe⇤() 2 2 1 structure of Y ,showsthat 1 1 1 ↵ 1 ↵ 1 aba b =(x ) (y ) .

Setting =1and ↵ = 0,wededucethat(0 1)Y G0.Toseetheotherinclusion, c + 1c ✓ n + c n write = , where c Z ,sothat1 = 1 ( 1) = 1 T T ⇤ 0 2 p n=1 n 0 n=1 n 2 and similarly for ↵ 1, which allows us to conclude. P P n Recall that the nth power of the Frobenius operator on Zp[[T ]] is given by ' (T )= n (1 + T )p 1.Let'0(T )=T . Lemma 8.7.—We have n Yn = Y /' (T ). 1

Proof.—We treat first the case n =0.SinceL0 is the maximal unramified abelian p- extension of F and L /F is a p-extension, L0/F is the maximal unramified abelian subex- 1 tension of L .Inparticular,Y0 = Gal(L0/F ) is the quotient of G by the subgroup 1 generated by the commutator G0 and by the inertia group I of p.Bytheabovelemmaand the decomposition G = IY ,weconcludethat 1 Y = G/ G0,I 0 h i = Y I/ (0 1)Y ,I 1 h 1 i = Y /(0 1)Y = Y /T Y . 1 1 1 1 For n 1,weapplytheargumentsofthelastparagraph,replacingF by Fn and 0 by pn pn 0 ,sothat0 becomes 0 and (0 1)Y becomes 1 pn pn n (0 1)Y =((1+T ) 1)Y = ' (T )Y , 1 1 1 which gives the result. We state next a variation of Nakayama’s lemma for testing when is a ⇤-module finitely generated, whose standard proof is left as an exercise. Lemma 8.8 (Nakayama’s lemma). — Let Y be a compact ⇤-module. Then Y is finitely generated over ⇤ if and only if Y /(p, T )Y is finite. Moreover, if the image of x1,...,xm generates Y /(p, T )Y over Z, then x1,...,xn generate Y as a ⇤-module. In particular, if Y /(p, T )Y =0, then Y =0. 54 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Applying this in our particular situation we obtain the following result. Proposition 8.9.—Y is a finitely generated ⇤-module. 1 Proof.—Since p p '(T )=(1+T )p 1= T k (p, T ), k 2 kX=1 the module Y /(p, T )Y is a quotient of Y /'(T )Y = Y1 =Cl(F1) Zp,thep-Sylow 1 1 1 1 ⌦ subgrop of Cl(F1), which is finite. Therefore, applying Lemma 8.8, we conclude that Y is 1 afinitelygenerated⇤-module, as desired. Ç å 8.1.2. Second step.—OnceweknowthatthemoduleY is a finitely generated ⇤-module, 1 we can invoke the structure theorem for these modules (Theorem 11.5) to get an exact sequence 0 Q Y A R 0, ! ! 1 ! ! ! where Q and R are finite modules and where s t A =⇤r ⇤/(pmi ) ⇤/(f (T )kj ) . j i=1 j=1 M M for some integers s, r, t 0, m ,k 0 and some distinguished polynomials f (T ) ⇤. i j j 2

Å ã Å n ã Recall that we want to calculate the size of Yn = Y /' (T ). The following lemma 1 reduces the problem to calculating the size of A /'n(T ). Lemma 8.10.—There exists a constant c and an integer n such that, for all n n , 0 0 Y /'n(T ) = pc A /'n(T ) . | 1 | | | Proof.—Consider the diagram

0 'n(T )Y Y Y /'n(T )Y 0 1 1 1 1

0 'n(T )A A A /'n(T )A 0 By hypothesis, the kernel and cokernel of the middle vertical map are bounded. By elementary calculations and diagram chasing, one ends up showing that the kernel and the cokernel of the third vertical arrow stabilize for n large enough, which is what is needed to conclude the proof. We leave the details of these calculations as an exercise. We now proceed to calculate the size of the module A . Lemma 8.11.—Let s t A =⇤r ⇤/(pmi ) ⇤/(f (T )kj ) , j i=1 j=1 M M for some integers s, r, t 0 and m ,k 1 and some distinguished polynomials f (T ) ⇤, i j j 2 and write m = m , ` = k deg(f ). Suppose A /'n(T )A is finite for all n 0. Then i j j r =0and there exist constants nÅ and c suchã that,Å for all n n , ã P P 0 0 n A /'n(T ) = pmp +`n+c. | | Proof.—First observe that, since A /'n(T ) is assumed to be finite and ⇤/'n(T ) is infinite (use the division algorithm of Proposition 11.2), we deduce that r =0. We now deal with the second summand. Let V =⇤/pk for some k 1.Since'n(T )= n pn p 1 pn k T + k=1 k T is distinguished, we have n n P V/'n(T ) = ⇤/(pk,Tp ) = pkp , | | | | AN INTRODUCTION TO p-ADIC L-FUNCTIONS 55 where the last equality follows again by the division algorithm of Proposition 11.2. We deduce from this that s n ⇤/(pmi ) = pmp , i=1 M where m = m . i i Finally, we deal with the last summand. Let g(T ) O [T ] be a distinguished poly- P 2 L nomial of degree d (that is not necessarily irreducible) and let V =⇤/(g(T )).Hence T d pQ(T ) mod g for some Q O [T ] so that T k p (poly) mod g for all k d, where ⌘ 2 L ⌘ (poly) denotes some polynomial in O [T ].Forpn d,wededucethat L n 'n(T )=p (poly) + T p p (poly) mod g. ⌘ 'n+1(T ) p2 (poly) mod g. ⌘ n+2 (p 1)pn+1 pn+1 n+1 ' (T )=((1+T ) + ...+(1+T ) + 1)' (T ) p(1 + p (poly))'n+1(T ) mod g. ⌘ 'n+2(T ) Since ((1 + p (poly)) ⇤⇥,wededucethat n+1 acts as p times a unit on V =⇤/(g(T )) 2 ' (T ) and hence 'n+2(T )V = p'n+1(T )V. Therefore V/'n+2(T )V = V/pV pV/p'n+1(T )V . | | | || | Since g(T ) is distinguished of degree d,wehave V/pV = ⇤/(p, g(T )) = ⇤/(p, T d) = pd. | | | | | | Finally, we compute pV/'n+1(T )V .Since(g(T ),p)=1,multiplicationbyp is injective on | | V and hence pV/p'n+1(T )V = V/'n+1(T )V .Fixonen such that pn0 d. Then, using | | | | 0 the identity 'n+1(T ) 'n0+2(T ) 'n+1(T )= ... 'n0+1(T ) 'n(T ) 'n0+1(T ) k+1 ' (T ) n+1 and the fact that 'k(T ) act on V as p (unit) for any k>n0,wededucethat' (T ) acts (n n 1) n +1 on V as p 0 ' 0 (T ) and hence n+1 d(n n 1) n +1 V/' (T )V = p 0 V/' 0 (T )V . | | | | Putting everything together, we deduce that V/'n(T )V = pnd+c, | | for some constant c and all n>n0.ApplyingthistothethirdsummandofA ,weget t kj `n+c ⇤/(fj(T ) ) = p , j=1 M where ` = j kj deg(fj) and some constant c. This finishes the proof of the proposition. Along theP way, we have proven the following fact.

Corollary 8.12.—Let Y be a ﬁnitely generated ⇤-module. If Y /'n(T )Y is ﬁnite for all n, then Y is torsion.

Proof.—If A is as in the statement of Proposition 8.11, then we showed that r =0in the structure theorem for Y . This implies that A is torsion; each element is annihilated by the characteristic ideal of A . If Y is any ﬁnitely generated ⇤-module, then Y is quasi- isomorphic to a module A as before, and as A is torsion, so is Y .

We can now complete the proof of Theorem 8.4. 56 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Proof of Theorem 8.4.—Applying Lemma 8.10 and Lemma 8.11, we get n c n µpn+n+⌫ Yn = Y /' (T )Y = p A /(' (T )) = p . | | | 1 1| | | This ﬁnishes the proof of the theorem.

8.2. Some consequences of Iwasawa’s theorem. — We have already seen one application of Iwasawa’s theorem (Proposition 7.7) during the statement of the main conjecture. Namely if one class number in a Zp-extension is coprime to p,thensoarealltheothers. We list here some further interesting applications.

Recall that if A is a ﬁnite abelian group, then

A[p] .= x A : px =0 { 2 } denotes the subgroup of p-torsion elements and its p-rank rkp(A) is deﬁned to be

rkp(A)=dimFp (A/pA)=dimFp (A[p]). Equivalently, we can decompose A uniquely as a direct sum of cyclic groups of prime power order; then the rank at p is the number of direct summands of p-power order.

Corollary 8.13.—Let F /F be a Zp-extensions. Then µ =0if and only if rkp(Cl(Fn)) 1 is bounded independently of n.

Proof.—Recall that . n Cl(Fn) Zp = Yn .= Y /(' (T )), ⌦ 1 s mi t that Y =limYn is quasi-isomorphic to a ⇤-module A = i=1 ⇤/(p ) j=1 ⇤/(gj(T )) 1 for some integers s, t 0, m 1,andg (T ) O [T ] distinguished polynomials, and that i i 2 L L L we have (cf. the proof of Lemma 8.11) an exact sequence 0 C Y A B 0, ! n ! n ! n ! n ! where A .= A /'n(T ), with B and C bounded independently of n. It suffices then to n | n| | n| show that µ =0if and only if dimFp (An/pAn) is bounded independently of n. We have s t A /pA = A /(p, 'n(T )) = ⇤/(p, 'n(T )) ⇤/(p, g (T ),'n(T )) . n j i=1 j=1 M M Take n big enough such that pn deg(g ) for all j and recall that g and 'n(T ) are j j distinguished polynomials (in the sense that all but their leading coefficients are divisible by Å ã Å ã p). The above formula then equals s t n n ⇤/(p, T p ) ⇤/(p, T deg(gj )) =(Z/pZ)sp +tg, i=1 j=1 M M where g = deg(gj). This shows that rkp(Cl(Fn)) is bounded independently of n if and only if s =0,i.e.ifandonlyifµ =0. This finishes the proof. P Å ã Å ã Concerning Iwasawa’s invariants, we have the following results:

Theorem 8.14 (Ferrero-Washington). — If F is an abelian number ﬁeld and F /F is 1 the cyclotomic Zp-extension of F , then µ =0. Proof.—The above theorem is proved by reducing the problem, using the duality coming from Kummer theory, to calculating the µ-invariant (i.e. the p-adic valuation) of some p-adic Dirichlet functions, which can be done explicitly from the constructions that we have given. See [Was97,§7.5].

Finally, the following is an open conjecture of Greenberg (see [Gre76]). AN INTRODUCTION TO p-ADIC L-FUNCTIONS 57

Conjecture 8.15 (Greenberg). — For any totally real ﬁeld F , and any Zp-extension F /F , we have µ = =0. In other words, the values #Cl(Fn) are bounded as n goes to 1 + . 1 58 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Appendix

9. The complex class number formula Let K/Q be an abelian extension(15) of degree d =[K : Q].BytheKronecker-Weber theorem, K Q(µ ) for some minimal positive integer m.Recallthedeﬁnitionofthe ✓ m Dedekind zeta function ⇣K (s) of K;thishasanEulerproduct

1 1 ⇣ (s)= 1 , K Nps p Y where the product runs over all primes in the ring of integers of K.SinceK is abelian, it X m corresponds to a ﬁnite group of DirichletÅ charactersã of conductor ;theseareprecisely the characters of Gal(Q/Q) that factor through Gal(K/Q) [Was97,§3].From[Was97, Theorem 4.3], we have a decomposition

⇣K (s)= L(, s), X Y2 Looking at the residues at s =1of the above equality, one obtains the following alternative formulation of Theorem 1.2 from the introduction:

Theorem 9.1 (Class Number Formula). — Let r1 (resp. r2), hK , R, w, and D denote, respectively, the number of real (resp. complex) embeddings, the class number, the regulator, the number of roots of unity and the discriminant of the ﬁeld K. Then we have

2r1 (2⇡)r2 h R K = L(, 1). w D 1/2 =1 | | Y6 In particular, if K is real, we get the formula h R 1 K = L(, 1). D 1/2 2 =1 | | Y6 + + + If K is a CM ﬁeld, then let h , R ,andd = d/2=r2 denote the class number, the + regulator and the degree respectively of its maximal totally real subﬁeld K .LetQ =[OK⇥ : µ(K)OK⇥+ ] be Hasse’s unit index (which is equal to either 1 or 2; see [Was97, Theorem 4.12]). Decomposing the formula of Proposition 9.1 and using the formulas of Remark 4.19 one obtains the following:

Proposition 9.2.—Let K be any CM abelian number ﬁeld. Then we have 1 h = h+Qw B . 2 1, Yodd Deﬁne + 1 h .= h/h = Qw B . 2 1, Yodd Note that the above gives an easily computable product formula for h that has dispensed with the transcendental terms of the regular class number formula.

(15) + We will only be using the following results when K = Q(µm) or K = Q(µm) . AN INTRODUCTION TO p-ADIC L-FUNCTIONS 59

10. Class field theory We recall some necessary basic statements of class field theory. Let K be a number field and denote by O its ring of integers. Denote by K⇥ =(K R)⇥ = v Kv⇥ the group 1 ⌦ |1 of archimedean units of K and, for every finite place l of K,denotebyO⇥ the units of the Ql localisation K of K at l. If v ,wejustletO = K⇥. l |1 v v Definition 10.1.—The idèles of K are defined as the restricted product

0 AK⇥ := Kv⇥ = x , (xl)l : x K⇥ ,xl Ol⇥ for all but ﬁnitely many l , 1 1 2 1 2 v Y where the product runs over all places of K and l over its ﬁnite places.

We equip AK⇥ with a topology, where a basis of open neighbourhoods of the identity is given by U = v Uv = v Uv l ﬁnite Ul such that Uv Kv⇥ is open and Ul = Ol for |1 ⇥ ✓ almost all l, which makes A⇥ a locally compact topological group. The global units K⇥ of Q Q K Q K are diagonally embedded into AK⇥ and have discrete image.

Definition 10.2.—The quotient C := K⇥ A⇥ is called the idèle class group of K. K \ K If E/K is a finite extension and P is a prime of E above a prime p of K,thenthenorm maps N : E K define a map EP/Kp P ! p N : A⇥ A⇥ E/K E ! K sending E⇥ to K⇥ and hence inducing a map between idèle class groups. The main statements of global class field theory can be stated in the following way.

Proposition 10.3 (Global Class Field Theory). — Let K be a number field. Then finite abelian extensions are in bijective correspondence with open subgroups of CK of finite index. Precisely, if E/K is any finite abelian extension, then

Gal(E/K) ⇠= CK /NE/KCE; and, conversely, for every such finite index open subgroup H of CK there exists a unique finite abelian extension E of K with NE/KCE = H. Moreover, a place v of K is unramified in E if any only if O⇥ N C . v ✓ E/K E Remark 10.4.—Let Kab be the maximal abelian extension of K.Passingtothelimitin the above theorem, one gets an isomorphism between Gal(Kab/K) and the profinite com- pletion of CK . In particular, continuous characters of CK biject with continuous characters of Gal(Kab/K).

We will give two examples. Let K be a number field and let HK be its Hilbert class field, i.e. its maximal abelian unramified extension. By the above theorem, the extension HK /K corresponds to the subgroup K⇥UK of CK , where UK = v Ov⇥,andwethereforehave

Gal( /K)=A⇥ /K . fHK K f⇥UKQ v (x ) As usual, there is a natural map A⇥ {ideals of K}, sending (x ) to l l l , K ! f v v l finite which is surjective and whose kernel is exactly U ,andhenceinducesanisomorphism K Q CK /UK ⇠= Cl(K) between the quotient of the idèle class group and the ideal class group of K.Weconcludethat f f Gal(HK /K) ⇠= Cl(K). Let now M = maximal abelian p-extension of K unramified outside every prime p p; K | LK = maximal unramified abelian p-extension of K. 60 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Note that LK /K is a subextension of the ﬁnite extension HK /K,andbydeﬁnition,we have

Gal(L /K) = Gal(H /K) Z K K ⌦ p = Cl(K) Z = p-Sylow subgroup of Cl(K). ⇠ ⌦ p

Let UK =(O Zp)⇥ = p p Op⇥ be the local units of K at p and let EK be the p-adic ⌦ | closure of the image V of O⇥ inside U (diagonally embedded). K Q K

Proposition 10.5.—We have

Gal(MK /LK )=UK /EK .

Proof.—Deﬁne (p) (p) U = O⇥, U = U U , K v K K ⇥ K Yv-p f (where Ov⇥ = Kv⇥ if v is an archimedean place). By class ﬁeld theory, we have

Gal(MK /K)=AK⇥ /H,

(p) where H = K⇥UK ,andthesubgroupofGal(MK /K) corresponding to LK is

J 00 = K⇥UK /H ⇠= UK H/H = UK /(UK H). f ⇠ \ Observe that we are considering all the modules inside the idèle class group and that the inclusion of E inside A⇥ is not the inclusion induced by K⇥ A⇥ :theﬁrstinclusionhas K K ✓ K trivial components at places away from p, while the last inclusion is the diagonal one. For the sake of clarity, we will note

◆ : V A⇥ K ! K the inclusion induced by V E U A⇥ and we are going to see any global unit K ✓ K ✓ K ✓ K inside the idèles by the diagonal embedding. We now claim that UK H = EK .Oneinclusionisclear,sinceclearly◆(VK ) UK and, \ (p) ✓ (p) if x V , we can write ◆(x)=x (◆(x)/x) K⇥U , which shows that ◆(V ) K⇥U 2 K 2 K K ✓ K and we conclude by taking the closure on both sides of the inclusion (recall that EK = ◆(VK ) by definition). To prove that UK H EK ,define,foreveryn 1,thesubgroupUK,n = n \ ✓ (p) p p 1+p Op.ObservethatthesetsK⇥UK UK,n (resp. ◆(VK )UK,n), for n 1,definea | (p) Qcofinal subset of closed neighbourhoods of K⇥UK (resp. ◆(VK ))andthat

(p) (p) K⇥UK = K⇥UK UK,n, EK = ◆(VK )UK,n, n 1 n 1 \ \ (p) (p) so it suﬃces to prove K⇥U U ◆(V )U for every n.Letx K⇥,u0 U ,u K K,n ✓ K K,n 2 2 K 2 U be such that xu0u U .Soinparticularxu0 U .Sinceu0 has component 1 at all K,n 2 K 2 K primes p p,thenx must be a unit at those primes. Since any element in U has component | K 1 at all primes v - p and xu0 UK ,thenx must be a unit at all those primes. Hence x is 2 aglobalunit.Nowobservethat,atprimesabovep,wehavexu0 = x V (since it has 2 K component 1 at any place above p), and at primes outside p, xu0 =1,soweconcludethat xu0 ◆(V ),hencexu0u ◆(V )U , which concludes the proof of the proposition. 2 K 2 K K,n AN INTRODUCTION TO p-ADIC L-FUNCTIONS 61

11. Power series and Iwasawa algebras In this section we state and give references for some basic yet fundamental results on Iwasawa algebras and the structure theory of modules over ⇤(Zp).

Fix a ﬁnite extension L/Q and denote O , p p, ⇡ = ⇡ and k = k its ring of integers, p L | L L its maximal ideal, a uniformizer and its fraction ﬁeld respectively.

Deﬁnition 11.1.—ApolynomialP (T ) OL[T ] is called distinguished if P (T )=a0 + n 1 n 2 a1T + ...+ an 1T + T with ai p for every 0 i n 1. 2   The following two results are some of the main tools in dealing with power series.

i Proposition 11.2.—Let f(T )= i 0 aiT OL[[T ]] and assume that ai p for 0 2 2  i n 1 and that a O⇥. Then:  n 2 L P – (Division algorithm) For every g(T ) O [[T ]] there exist unique q(T ) O [[T ]] and 2 L 2 L r(T ) O [T ], where r has degree at most n 1, such that 2 L g(T )=q(T )f(T )+r(T ).

– (Weierstrass Preparation Theorem) The power series f may be uniquely written in the form f(T )=P (T )U(T ), where U(T ) O [[T ]] is a unit and P (T ) O [T ] is a distinguished polynomial of degree n. 2 L 2 L Proof.—See [Was97, Proposition 7.2; Theorem 7.3].

Let n ⇤=limOL[Zp/p Zp] ⇠= OL[[T ]] be the Iwasawa algebra (identifying ⇤(Zp) with OL[[T ]] using the Mahler transform and dropping Zp from the notation, as is standard). As we have seen, this ring is hugely important. Most of the ideas surrounding Iwasawa theory rely on the fact that one has a structure theorem for ﬁnitely generated modules over ⇤.

Proposition 11.3.—The prime ideals of ⇤ are exactly 0, (⇡,T), (⇡) and ideals (P (T )) where P (T ) is an irreducible distinguished polynomial. Moreover, ⇤ is a local Noetherian ring with maximal ideal (⇡,T).

Proof.—See [Was97,Proposition13.9;Lemma13.11]

Let M,M0 be two ⇤-modules. We say that M is pseudo-isomorphic to M 0, and we write M M 0,ifthereexistsahomomorphismM M 0 with ﬁnite kernel and co-kernel, i.e, if ⇠ ! there is an exact sequence

0 A M M 0 B 0, ! ! ! ! ! with A and B ﬁnite ⇤-modules (just in case: A and B have ﬁnite cardinality!).

Remark 11.4.—Note that is not an equivalence relation. In particular, M M 0 does ⇠ ⇠ not imply M 0 M.Forexample,(⇡,T) ⇤,but⇤ (⇡,T) (see [Was97,§13.2]).This ⇠ ⇠ 6⇠ problem goes away if we restrict to the case where M and M 0 are ﬁnitely generated torsion ⇤-modules.

The following is the main result concerning the structure theory of ﬁnitely generated ⇤-modules, and says that ⇤ almost behaves as if it was a principal ideal domain. 62 JOAQUÍN RODRIGUES JACINTO & CHRIS WILLIAMS

Theorem 11.5.—Let M be a finitely generated ⇤-module. Then s t M ⇤r ⇤/(pni ) ⇤/(f (T )mj ) , ⇠ j i=1 j=1 M M for some integers r, s, t 0, n ,m 1 and irreducible distinguished polynomials f (T ) i j j 2 O[T ]. Å ã Å ã Proof.—See [Was97, Theorem 13.12]. Remark 11.6.— We do not have a similar result for the finite level group algebras n OL[Zp/p Zp], only for the projective limit. A fundamental concept in Iwasawa theory is the idea that it is easier to study a tower of p-extensions all in one go, and use results about the tower to deduce results at finite level, and a major reason for this is this structure theorem. Definition 11.7.—Suppose M is a finitely generated torsion ⇤-module. Then r =0in the structure theorem. We define the characteristic ideal of M to be the ideal s t m Ch (M)= (pni ) f j ⇤. ⇤ j ⇢ i=i j=1 Y Y The above definition generalizes slightly to other groups other than those isomorphic to Z .Let = H = Z ,wereH is a finite commutative group of order prime to p and p G ⇥ ⇠ p Ä ä ⇠= Zp. Then we have a decomposition ⇤( ) = O [G] ⇤. G ⇠ L ⌦ Let M be a finitely generated torsion ⇤( )-module. Let H^ denote the group of characters G of H and define, for any ! H^, 2 1 1 e .= ! (a)[a] O [H]. ! H 2 L a H | | X2 (!) . Lemma 11.8.—The group H acts on M .= e!M via multiplication by ! and we have a decomposition of ⇤( )-modules G (!) M = ! H M . 2 ^ Moreover, each M (!) is a finitely generated torsion ⇤-module. Proof.—See [CS06,A.1]ortheexercises. In view of the above lemma, we we have the following definition. Definition 11.9.—Let be as above and let M be a finitely generated torsion ⇤( )- G G module. We define the characteristic ideal of M to be the ideal . (!) Ch⇤( )(M) .= ! H Ch⇤(M ) ⇤( ). G 2 ^ ✓ G We will be using the following a basic property of characteristic ideals: Lemma 11.10.—The characteristic ideal is multiplicative in exact sequences. Proof.—See [CS06,A.1Proposition1] AN INTRODUCTION TO p-ADIC L-FUNCTIONS 63

References [Bel09] Joël Bellaïche. An introduction to the conjecture of Bloch and Kato. 2009. Unpublished. [BSW17] Daniel Barrera Salazar and Chris Williams. Exceptional zeros and -invariants of Bianchi L modular forms. Trans. Amer. Math. Soc.,2017.Toappear. [Cas86] J. W. S. Cassels. Local Fields.LondonMathematicalSocietyStudentTexts.Cambridge University Press, 1986. [Col] Pierre Colmez. La fonction zeta p-adique, notes du cours de M2. Unpublished notes. [Col00] P. Colmez. Fonctions Lp-adiques. Astérisque,(266):Exp.No.851,3,21–58,2000.Sémi- naire Bourbaki, Vol. 1998/99. [Col10a] Pierre Colmez. Fonctions d’une variable p-adique. Asterisque,330:13–59,2010. [Col10b] Pierre Colmez. Représentations de GL2(Qp) et (', )-modules. Asterisque,330:281–509, 2010. [CS06] J. Coates and R. Sujatha. Cyclotomic fields and zeta values.SpringerMonographsin Mathematics. Springer, 2006. [Dar01] Henri Darmon. Integration on p and arithmetic applications. Ann. of Math., H ⇥H 154:589–639, 2001. [DS05] Fred Diamond and Jerry Shurman. AFirstCourseinModularForms,volume228.Grad- uate Studies in Mathematics, 2005. [Gre76] Ralph Greenberg. On the Iwasawa invariants of totally realy number fields. Amer. J. Math.,98(1):263–284,1976. [GZ86] Benedict Gross and Don Zagier. Heegner points and derivatives of L-series. Invent. Math., 84:225–320, 1986. [Hid93] Haruzo Hida. Elementary theory of L-functions and Eisenstein series,volume26ofLMS Student Texts.CambridgeUniversityPress,1993. [HK03] Annette Hubber and Guido Kings. Bloch-Kato conjecture and main conjecture of Iwasawa theory for Dirichlet characters. Duke Mat. J.,119,no.3:393–464,2003. [Iwa52] Kenkichi Iwasawa. Some properties of L-groups. Proceedings of the International Congress of Mathematicians, Cambridge Mass., 1950,1952. [Kat04] Kazuya Kato. p-adic Hodge theory and values of zeta functions of modular forms. Astérisque,295:117–290,2004. [Kol88] Victor Kolyvagin. Finiteness of E(Q) and X(E/Q) for a subclass of Weil curves. Izv. Akad. Nauk. USSR ser. Matem.,52,1988.InRussian. [Lan90] Serge Lang. Cyclotomic fields I and II,volume121ofGraduate Texts in Mathematics. Springer-Verlag, 1990. [Loe14] David Loeffler. P -adic integration on ray class groups and non-ordinary p-adic L- functions. In T. Bouganis and O Venjakob, editors, Iwasawa 2012: State of the art and recent advances,volume7ofContributions in Mathematical and Computational Sciences, pages 357 – 378. Springer, 2014. [MM91] M. Ram Murty and V. Kumar Murty. Mean values of derivatives of modular L-series. Ann. of Math.,133:447–475,1991. [MTT86] Barry Mazur, John Tate, and Jeremy Teitelbaum. On p-adic analogues of the Birch and Swinnerton-Dyer conjecture. Invent. Math.,84:1–48,1986. [MW84] Barry Mazur and Andrew Wiles. Class fields of abelian extensions of Q. Invent. Math., 76(2):179–330, 1984. [NSW99] Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg. Cohomology of Number Fields. Springer, 1999. [PR95] B. Perrin-Riou. Fonctions Lp-adiques des représentations p-adiques. Astérisque, (229):198, 1995. [Rub00] Karl Rubin. Euler Systems.AnnalsofMathematicsStudies.PrincetonUniversityPress, 2000. [SU14] Christopher Skinner and Eric Urban. The Iwasawa Main Conjectures for GL(2). Invent. Math.,195(1):1–277,2014. [Tat50] John Tate. Fourier analysis in number fields and Hecke’s zeta functions.PhDthesis, Princeton, 1950. [Was97] Larry Washington. Introduction to Cyclotomic Fields,volume83ofGraduate texts in mathematics.Springer,1997.2ndEdition.

Joaquín Rodrigues Jacinto, University College of London E-mail : [email protected] • Chris Williams, Imperial College E-mail : [email protected] •