Skip to Main Content

John Coates (1945–2022): Celebration of a Life

Barry Mazur
Stephen Lichtenbaum
Andrew Wiles
Leila Schneps
Sujatha
Mahesh Kakde

Communicated by Notices Associate Editor William McCallum

1. Thoughts About John Coates

By Barry Mazur

The broad span of John Coates’s mathematical work, including his intellectual delights and his talent for inspiring and mentoring generations of mathematicians, was a gift to all of us. His energy and his generosity of thought, his appreciation of ideas, and his friendship were evident from the earliest days that I knew him. In 1969, he came to Harvard as a Benjamin Peirce Assistant Professor. There, as he wrote in his memorial to John Tate, the “very cramped quarters,” its “physical smallness,” and “tiny coffee room or corridors between the offices” offered him an environment that made it easy to interact with people. He was introduced by Tate to aspects of mathematics that would lead him to the area in which he would make some of his later great contributions.

As Steve Lichtenbaum recounts (§2), John Coates had started in the analytic number theoretic terrain of Kurt Mahler, algebraic approximation, and -adic Thue, Roth and Baker methods, moving to the scheme theoretic terrain of Grothendieck’s Langage des Schémas, before connecting with his true passion, the core of algebraic number theory and the construction of bridges between analysis and arithmetic: the Birch and Swinnerton-Dyer conjecture, and Iwasawa theory.

Figure 1.

John Coates.

Graphic without alt text

The Coates–Wiles theorem (1977) is such a bridge and was a breakthrough moment in our understanding of the connection between purely arithmetic concepts—such as whether a CM elliptic curve defined over the field of rational numbers has infinitely many rational points—and “corresponding” analytic concepts—such as whether its L-function vanishes at the value . It follows from the Birch and Swinnerton-Dyer conjecture that if the first arithmetic event occurs, so does the second analytic event; this is the Coates–Wiles theorem (§3).

Iwasawa theory—a companion to the Birch and Swinnerton-Dyer conjecture—is anchored in the structure of cyclotomic fields (a subject that Serge Lang had called “the backbone of number theory”). For any prime (say, ) Iwasawa theory starts with that “backbone,” the -cyclotomic tower

of field extensions where is the field generated over by the -th roots of unity. The Galois group of that -cyclotomic tower (i.e., of the field extension ) has an easily described topological generator: namely, the automorphism induced by the rule that sends any -th root of unity to . Such a topological generator plays the role in Iwasawa theory of a fundamental operator: it operates naturally on various arithmetic structures defined over the base field when such a structure is “base-changed” to the extension field . The operator also acts, for example, on the projective limit of the -primary parts of the ideal class groups of the rungs of the -cyclotomic tower—this projective limit producing a finite dimensional vector space over the field of -adic numbers, with operating as a linear automorphism on it.

Iwasawa had thought of this structure—i.e., an operator acting on a vector space defined using concepts in one branch of mathematics as having the (conjectured) property that its characteristic polynomial ties in with an object in another branch of mathematics—as metaphorically linked to André Weil’s vision of the Frobenius operator (in the absolute Galois group of a finite field) acting on (then-conjectured, now-known) cohomology groups of varieties over those finite fields with the property that the resulting characteristic polynomials give the relevant L-functions—or, going further back,—as metaphorically linked to what is often referred to as the Hilbert–Polya dream: to express the Riemann zeta-function as the characteristic series of a Hermitian operator on some (perhaps: Hilbert) space.

The “main conjecture” of Kenkichi Iwasawa was that the characteristic polynomial of this operator gives detailed information about relevant classical (and -adic) L-functions. This connection between analytic number theory (L-functions) and arithmetic has resonance with the classical Dirichlet class number formula.

Iwasawa theory is now sometimes referred to as classical Iwasawa theory for even more extensive companion theories are being evolved (e.g., in the context of automorphic forms and even more recently in derived categories). John was one of the great contributors to that evolution,

from his interest in motivic -adic -functions—thus studying—as did Ralph Greenberg—the arithmetic of general algebraic varieties as one ascends the rungs of a cyclotomic tower,

to his shaping with collaborators the impressive beautiful noncommutative version of Iwasawa theory—where the role of a single operator is replaced by a more general -adic Lie group arising from a Galois representation.

It was thrilling to hear John talk about his ideas about the Birch and Swinnerton-Dyer conjecture, his vision of Iwasawa theory, and about his joint work with Andrew Wiles (§3). I had that opportunity especially when he was based in Orsay (§4) and I was at the IHES, since the two of us would jog around the bassin in Bures-sur-Yvette—this is a reservoir, a catch-basin, for the overflow of water (usually dry). We would chat as we jogged. He would explain his latest mathematical thought, we would talk about our young children, and he would tell me about his other passion: Japanese and Chinese poetry and illuminating critical works about them.

What enormous influence he had in the development of mathematics, and as a teacher; the list of his students is incredibly impressive, both in terms of the great contributions to mathematics that they made, but also in view of the range of different interests (albeit within number theory) that they have. This is truly a gift to all of us.

Barry Mazur is the Gerhard Gade Professor of Mathematics at Harvard University. His email address is mazur@g.harvard.edu.

Graphic without alt text

2. Coates at Harvard (1969–1972)

By Stephen Lichtenbaum

John Coates was born and raised on a farm in rural Australia. His extraordinary talent was noticed early in his life, and as a result he gained admittance to the Australian National University in Canberra. There he was mentored by the famous analytic number theorist Kurt Mahler. Coates wrote several papers directly inspired by his work with Mahler, and impressed Mahler so much that he arranged for Coates to study at the prestigious École Normale Supérieure in Paris. Led by Alexander Grothendieck and Jean-Pierre Serre, Paris had a very good claim to be the world center of modern abstract mathematics, especially in algebraic topology and algebraic geometry. But although he had learned much mathematics at the ANU, Coates had little background in subjects such as homological algebra and the theory of schemes that would be assumed known in Paris seminars. Nonetheless he volunteered, along with Olli Jussila, to take notes in a seminar given by Grothendieck on “Crystals and the de Rham cohomology of schemes”. These became part of a book entitled Dix exposés sur la cohomologie des schémas, with Coates’s chapter described as “notes by I. Coates and O. Jussila.” It was quite remarkable that Coates was able to do this, and he did not find it a very pleasant experience. In any case, after a year in Paris, Coates decided that he was in the wrong place, and so he wrote to J. W. S. Cassels in Cambridge asking if he could be admitted to graduate study there, and Cassels gladly assented.

At Cambridge, Coates worked with Alan Baker, who would soon receive the Fields Medal. Under Baker’s guidance, Coates wrote his doctoral thesis on “The effective solution of some Diophantine equations.” He and Baker then wrote a paper together entitled “Integral points on curves of genus one” which appeared in Inventiones. Carl Ludwig Siegel had proved that any elliptic curve over a number field had only finitely many integral points, but his proof was not effective. Coates and Baker succeeded in giving a (rather enormous) bound for the size of the solutions in terms of the coefficients of the curve.

After Coates received his PhD, he left Cambridge to take up a three-year position as Benjamin Peirce Assistant Professor at Harvard. There he came under the influence of John Tate, and became part of the modern world of abstract mathematics that he had found so difficult to enter in Paris.

In the nineteenth century, Richard Dedekind had defined a zeta-function for any algebraic number field , which yields the Riemann zeta-function when . The Dedekind zeta-function has many of the same properties as the Riemann zeta-function. For example, it can be defined by a power series which converges for and then continued to a meromorphic function on the entire plane which is analytic except for a simple pole at , and satisfies a functional equation relating to . It was known by work of Siegel that is a rational number which is nonzero if and only if is totally real: we have . The zeta-function can also be defined for varieties over finite fields, where it can be completely described in terms of cohomology.

It is a very challenging, and so far completely unsolved, problem to give such a description for Dedekind zeta-functions, so any relation between Dedekind zeta-functions and cohomology is extremely interesting. Together with Bryan Birch of Oxford, Tate had made a cohomological conjecture about the value of , where is a totally real number field. Let denote the ring of integers in the number field . The Birch–Tate conjecture (slightly modernized) says that if is a totally real number field then the absolute value of the rational number should be equal to , where is a certain group arising from algebraic K-theory and is defined to be the number of roots of unity contained in the compositum of all quadratic extensions of . Tate had shown that , and it is easy to see that , so the Birch–Tate conjecture is true for .

Projective nonsingular curves over finite fields are often thought of as the geometric analog of rings of integers in algebraic number fields, and they also have their own zeta-functions, and in fact it is possible to state the Birch–Tate conjecture in such a way that it makes sense for this situation as well. We understand the zeta-functions of varieties over finite fields much better than we do the zeta-functions of algebraic number fields, and Tate was able to prove the Birch–Tate conjecture in that case.

Motivated by Tate’s proof, Coates started working on the Birch–Tate conjecture in the original number field case. He had been studying the notes which Kenkichi Iwasawa had sent him for a course Iwasawa had given at the Institute for Advanced Study on -adic L-functions. He then realized that a very natural conjecture describing the -adic L-function as a characteristic polynomial could lead to a version of the Birch–Tate conjecture where could be described in terms of Galois cohomology. As it happens, I had been working on trying to understand , and I had attended Iwasawa’s course on -adic L-functions at the Institute. When I wrote to Tate telling him that I had a conjecture relating to the orders of étale cohomology groups, which are fancy versions of Galois cohomology groups, he set to work trying to compare the two conjectures and to the work of Coates. Tate then succeeded in describing in terms of Galois cohomology, and so Coates’s work showed that the conjecture on -adic L-functions implied the Birch–Tate conjecture in the number field case. Tate also suggested that Coates and I ought to get to know each other, and so I invited Coates to give a talk at Cornell.

John drove from Harvard to Ithaca, bringing his wife Julie and his young son David with him. We each had already submitted a paper on and -adic L-functions to the Annals, so it was too late to combine them as might have been desirable, but we realized that our work on special values of zeta-functions could be extended to L-functions, and in addition our earlier results could be improved. We then started to work together on these problems. In order to further this collaboration John invited me to visit him at Harvard, and I was glad to do so. I also brought my family, which at that time consisted of a wife and three small children. When we arrived, John told us that we should come to his apartment for a dinner which Julie had prepared for us before going to the hospital to have her second child. We were stunned.

Our collaboration eventually resulted in a third paper appearing in the Annals, and in our families becoming close. A few years later we spent a semester together at the Institut des Hautes Études in Bures-sur-Yvette, and then we saw each other every summer. I was visiting the IHES and John was living nearby because he had become a professor at the University of Paris at Orsay. Eventually these summertime meetings sadly came to an end as John left to go the Australian National University for one year and then went on to accept a well-deserved chair at Cambridge.

Stephen Lichtenbaum is a professor emeritus of mathematics at Brown University. His email address is stephen_lichtenbaum@brown.edu.

Graphic without alt text

3. Coates at Cambridge (1975–1978)

By Andrew Wiles

Moving to Europe as a graduate student from his native Australia, and after a year spent in the Grothendieck seminar in Paris, John went to Cambridge to study under Alan Baker. This was his first brush with elliptic curves and together they proved a result bounding the size of integral points on cubic equations. There is a finality to this result which is very appealing, but already it was clear that the questions about rational points were much more exciting. There can be finitely many or there can be infinitely many. How do you tell which and how do you find them when they do exist?

Figure 2.

Left to right: John Coates, Andrew Wiles, Ken Ribet, Karl Rubin.

Graphic without alt text

After his thesis, John went to the US but returned to Cambridge in 1975, the same year that I started my thesis under his supervision. John only spent two years at Cambridge on this visit and it was part of a whirlwind tour which saw him taking permanent positions in Stanford (1972–75), Cambridge (1975–77), Canberra (1977–78), and Paris (1978–86) within the space of a few years. Nevertheless it was a very productive and exciting period in terms of research. A few months after John’s arrival we started working together on elliptic curves and John would not leave this beloved topic for the rest of his career. I will try here to explain the fascination.

For our purposes we can view an elliptic curve (defined over the rationals) as a cubic equation of the form

with

The last condition ensures that the cubic is irreducible and that the curve has genus 1. (If it does not hold then the curve has genus 0 and the question of rational points had been settled by the Greeks.) A point at is included with the curve to make it projective. Surprisingly perhaps, there is then an abelian group structure on the curve which has the property that the sum of any three points of the curve which lie on a line is zero. This holds over any field, for example over the rationals or over the complex numbers. In 1922, Mordell proved that over the rationals, this group (which we denote by ) is finitely generated. So as a group,

where is a finite (abelian) group. The big questions are (i) how do we find and (ii) how do we find generators for the group of points?

The form an answer should probably take had been given ten years earlier by Birch and Swinnerton-Dyer working in Cambridge just prior to the time that John was at Cambridge as a graduate student. It involves the L-function which we can define as follows. Let denote the number of points on , in other words the number of solutions mod of the equation (1) including the point at . Then set and define an L-series by

Birch and Swinnerton-Dyer found heuristic reasons why the products should tend to (as ) if and only if is infinite, and then formulated the conjecture:

Conjecture.

Now is not absolutely convergent at so this does not make any obvious sense. To overcome this we should also assume that has an analytic continuation. The more refined version of their conjecture then gave the rank as the order of vanishing of at , and moreover a precise formulation of the leading term involved a regulator made from the generators of the group of points.

Since the work of Mordell, much of the arithmetic study of elliptic curves had made use of class field theory. The first step is to use that the complex points of E are given by

where is a lattice in so isomorphic to . Then given any point of we can consider the point . This will be defined over the complex numbers but if we assume that the 2-torsion points of (i.e., the points satisfying ) are defined over then for any will be defined over a quadratic extension of . Such extensions are well understood and Mordell could use this to bound the number of generators. Now, in the nineteenth century it had been realised that there were some special elliptic curves, the ones with complex multiplication, where all the torsion points are defined over an abelian extension of an imaginary quadratic field. In the work of Kronecker and Weber, later completed by Fueter and Takagi, all the abelian extensions of an imaginary quadratic field were constructed explicitly in this way. As an example the curves (for any ) have complex multiplication by . This is because there is an automorphism of given by , . The theory then gives an explicit construction of the abelian extensions of using the torsion points of the elliptic curve.

The main result of our collaboration was the following, which we proved in the summer of 1976.

Theorem 1 (8, Theorem 1).

Suppose that is an elliptic curve over the rationals with complex multiplication. Then

This was the first general result on the Birch and Swinnerton-Dyer conjecture. The first thing to note is that the hypothesis of complex multiplication ensured that has an analytic continuation by a theorem of Deuring. This theorem is now known without the hypothesis of complex multiplication but the reverse direction of (6) is still unknown.

The approach we took to proving this theorem was the reverse of the nineteenth-century programme in that we would use their explicit class field theory to study the elliptic curve. Let us assume that we are in the case of for simplicity. Let and pick a prime that splits in , . Let be the -torsion points. Then by the theory of complex multiplication is defined over an abelian extension of which we write . Suppose that is a point of infinite order in and consider the point . This point lies in an abelian extension of and as always class field theory describes such abelian extensions of in terms of data coming from the field itself.

Now we need to see how is related to all this. In the case of complex multiplication there is a canonical period on the elliptic curve denoted which has the property that is rational. It turned out that we could relate this value to the explicit construction of units in the ring of integers of the field . Using this and class field theory we showed that

We suspected that the conclusion was false for most but we could not prove it. However we realised after a while that using Iwasawa theory, a similar claim with would also be true and in this case we could prove that the extension would be ramified for sufficiently large . So given the existence of we found that for infinitely many , and hence was zero. This contradicts the hypothesis, so there was no point of infinite order.

The influence of Iwasawa theory in the proof sketched above is only apparent at the end, but in fact it motivated the whole approach. John had used the Iwasawa theory of cyclotomic fields prominently with Lichtenbaum in his previous work on zeta values and Euler characteristics. From then on it would guide his approach to elliptic curves.

The idea in Iwasawa theory is to study not just but also the whole tower of fields , where . Let denote the maximal -power abelian extension of which is unramified outside the prime above ( turns out to be totally ramified in so this prime is unique), and set . Then set

There is an action of on this given by . Now decomposes as

We write and . Then we decompose into eigenspaces for the tame action of

where runs through the characters of . Then each is a -module. Now such -modules can be described in a more familiar way as -modules where the action of is the same as that of . Using results on the units in the fields it can be shown that there is a homomorphism

with finite kernel and cokernel. We set and call this the characteristic power series of . It is an invariant of the module.

At first encounter, this construction may seem artificial but it was suggested by Weil (in the cyclotomic case) and taken up by Iwasawa as an analog of a construction in the function field case of a module where the characteristic polynomial was related to the zeta function. So what corresponds to the zeta function in our case? This question is most interesting when is the character giving the action on , i.e., where

(Here mod for some and .) Similarly let , where gives the action of on . In this case the main conjecture (now a theorem due to Rubin) predicted

where

where is a -adic period, is the Grossencharakter associated to , and

being a generator of the conductor of . For our purposes is multiplicative on prime ideals of and satisfies for some choice of generator in a prime ideal . One checks that . The function on the right in (13) is called a -adic L-function.

Although we were unable to prove the conjecture, we proved a related result that constructed the -adic L-function from elliptic units. Let denote the local units of the field at the prime above . We considered the elliptic units as a subgroup of and let be the -adic closure in . We set

Then we proved the following theorem.

Theorem 3 (9).

Now and have enough in common that we could give a slightly different proof of Theorem 1 using just one prime (see also 3). But perhaps the more important part was the proof which involved attaching a canonical power series to elements of and then applying logarithmic derivatives. This was motivated by an explicit reciprocity law of Iwasawa. These power series were studied and generalised by Coleman and became important in the study of local fields.

The study of Iwasawa theory and in particular of -adic L-functions of this kind were the main focus of John’s work for many years after this. While elliptic curves were always his main interest he also tried to develop a theory of -adic L-functions for motives (e.g., 2) and studied particular cases such as the symmetric square of an elliptic curve (see 5).

The study of -adic L-functions in the context of elliptic curves had already begun with work of Mazur and Swinnerton-Dyer a few years before this, and -adic versions of the Birch and Swinnerton-Dyer conjecture were formulated. It was hoped that these might be more tractable than the original complex version. However, the most important advances in the following decades were the work of Gross and Zagier on the analytic side and Kolyvagin on the algebraic side. This seemed to definitively move the focus of work on the conjecture to the study of modular forms, since that was the context of the seminal work of Gross and Zagier. Surprisingly, no one has been able to extend Theorem 1 even to the case of abelian surfaces with complex multiplication. On the other hand, the jury is still out on whether the -adic versions are easier or harder than the original complex ones and whether the further study of the former will help in the study of the latter.

Andrew Wiles is Regius Professor of Mathematics at Oxford University. His email address is wiles@maths.ox.ac.uk.

Graphic without alt text

4. Coates in Paris (1978–1986)

By Leila Schneps

When John Coates came to Paris in 1978, it was not his first stay; as mentioned in the previous sections, he had already spent a year there as a graduate student, attending the famous SGA seminar of Alexander Grothendieck and trying to get started on a thesis before renouncing the idea due to a radical difference in style. Grothendieck speaks of Coates in his memoirs with a certain mea culpa:

…it happened that after a few weeks or months [he] found that my style didn’t suit [him]. Actually, it seems to me now that it was a case of a mental block, which I too quickly interpreted as a sign of unsuitability for mathematical work. Today I would be much more prudent in making such a prediction. I had no hesitation in telling [him] about my impression, and advising [him] not to continue in a career which did not appear to me to correspond to [his] natural abilities. But I learned later that I was completely wrong—this young researcher went on to become well-known thanks to his work in very difficult subjects at the frontier of algebraic geometry and number theory.

As was said earlier, Coates left Paris in 1966 for Cambridge where he completed his PhD with Alan Baker, followed by stints at Harvard (§2), then Stanford, then Cambridge again (§3), then Canberra. But in 1978, Georges Poitou of the École Normale Supérieur (ENS) in Paris organized a job offer for him at the University of Paris in Orsay. Poitou was gearing up to become director of the ENS, and with this aim in mind he wanted to wind down his activities of directing research, and thought that Coates would be just the person to fill the ensuing gap in Paris number theory.

Orsay is a small town located very near the IHES where Grothendieck’s seminar had taken place in the 1960s, and the university there was and still is one of the most prestigious of the Paris math departments. Poitou’s offer was interesting enough to make Coates decide once again to uproot himself. Naturally, the first thing he wanted to do when he came was to gather a group of graduate students to study questions arising from his recent work on the Birch and Swinnerton-Dyer conjecture with Wiles (§3), centered around -adic functions and Iwasawa theory. To start with, Rod Yager, a student of Coates from Australia, came to join him in Paris, and Poitou sent him three of his own students who had completed their third cycle theses and were about to embark on their thèse d’état⁠Footnote1. In the spring of 1979, Coates taught a course in Orsay on elliptic curves with complex multiplication, to spread the word and to recruit more students. After that, he continued to teach research-level courses on recent work each year, generally gaining a further new graduate student or two each time.

1

At that time, the French system had two theses following the master’s: the third cycle thesis that was expected to take about two years and produce a student’s first original publication, and the thèse d’état that gave confirmed researchers the right to have students of their own.

The topics that John Coates gave his students mainly concerned generalizations of the recent results proven with Wiles in the case where is an elliptic curve defined over a quadratic imaginary field with complex multiplication by the ring of integers (see §3). The more general situations he considered in Paris were firstly the case of CM elliptic curves defined over a finite extension of , and secondly the 2-variable -adic -functions, first defined by Katz in the case , interpolating the values instead of just . In each case, he proposed (a) showing that the values to be interpolated were algebraic, (b) constructing the -adic -function that interpolated them, (c) using it to state generalized versions of a number of conjectures, above all the “main conjecture” first given in his work with Wiles (see (13) of §3), and then various consequences of the main conjecture, considered as separate conjectures in their own right, (d) giving numerical evidence for the conjectures, and (e) proving any parts that could be proven directly. He viewed his advisees also as collaborators in this research program, and distributed problems among them in a purposeful and coherent way.

In the very first years of his stay in Paris, he worked with Catherine Goldstein on the case where is defined over a finite extension of , and a prime that splits as in (4). They constructed the -adic -function such that interpolates the values for mod (suitably corrected for algebraicity as usual), formulated the main conjecture in that situation, and drew several consequences, for example:

A)

if contains a point of infinite order then vanishes at ,

B)

if the subgroup of elements of the Tate–Shafarevitch group annihilated by a power of contains a nontrivial divisible subgroup (so in particular is not finite), then vanishes at ,

C)

under certain hypotheses on , if vanishes at , then either contains a point of infinite order or contains a specific divisible subgroup, namely a copy of .

Figure 3.

Left to right: John Coates, Kazuya Kato, Sujatha, Otmar Venjakob, Takako Fukaya.

Graphic without alt text

In Dominique Bernardi, John was delighted to find a student who was also one of the rare mathematicians in France at that time who could handle a computer (back when most students still wrote up their work by hand and slipped it under their adviser’s door…), and he grouped Dominique and Catherine together with a visiting former student of Bryan Birch’s to work on numerical verifications of the conjectures for elliptic curves of the form (1). A former student of Coates at Stanford, Nicole Arthaud, gave a proof of consequence A) in the special case where is an abelian extension of and is defined over but has a point of infinite order defined over . A particularly striking contribution was made by John’s student Bernadette Perrin-Riou, who defined a -adic height on and a -adic pairing (-adic versions of the canonical height and the Néron–Tate pairing), and under certain hypotheses proved that the zero of at has multiplicity greater than or equal to the rank of over , and that equality holds if and only if the -primary component of the Tate–Shafarevitch group is finite and the pairing is nondegenerate (12). To Pierre Colmez, John proposed an algebraicity conjecture for special values of -functions associated to Hecke characters not necessarily the Grossencharakter, in the case of a CM curve defined over (10).

He also had several students working on the 2-variable -adic -functions first defined by Katz in the case where is defined over . Rod Yager constructed an Iwasawa module associated to the elliptic curve whose characteristic power series was related to Katz’s power series, stating and proving a 2-variable analog of Theorem 3 of §3 (16). Jacques Tilouine proved that if the normalized special value of the 2-variable -function is mod , then the rank of the Mordell–Weil group is zero over the maximal -extension of (14). Later, Coates had me work together with Pierre Colmez on constructing the 2-variable -adic -function when is defined over a finite extension of (11).

As time passed, Coates’s style in choosing research topics changed. Being constantly in touch with researchers around the world and up-to-date on all the most recent results, he began to draw inspiration from interesting ideas that came his way – a conjecture stated in a lecture, or a preprint that landed on his desk. When Pierre Colmez first came to him in 1982 to do a master’s thesis, he asked him to give a complete proof of Zagier’s part of the yet-unpublished Gross–Zagier theorem based on a set of lecture notes he had taken. At the same time, he gave Bernadette Perrin-Riou the ambitious project of developing a -adic analog of the Gross–Zagier theorem, which she did successfully in the case of an elliptic curve defined over the rationals with CM by a quadratic field (under the condition that the discriminant of is prime to the conductor of the curve, and that all primes dividing split in ), giving a striking formula valid for primes where has good ordinary reduction relating the first derivative of the -adic L-function of to the -adic height of the Heegner point for . As for me, when I arrived in the fall of 1983—his very last graduate student in Paris, as it turned out—John immediately handed me a preprint by Warren Sinnott, a former student of his at Stanford, giving a new proof of the Ferrero–Washington theorem, and asked if I could adapt the new argument to find a proof that the -invariant (the infimum of the -adic valuations of the coefficients) of the -adic -function attached to a CM curve defined over was equal to zero (13). By that time, research in the whole subject was accelerating rapidly all over the world, and would lead in a few more years to the proof of the main conjecture by Karl Rubin ([9]).

Ken Ribet describes John as having a mission “to elevate young mathematicians around him—to promote their work and to invisibly improve it in various ways. He became an editor of Inventiones very early on in his career (in the late 1970s, I think) and would devote hours on end to rewriting and improving manuscripts that he wanted to publish but that he thought needed polishing. This was well before the era of laptops or even word processors; everything that he did was handwritten with a fountain pen.” Certainly, John had a real flair for picking out topics that were simultaneously cutting-edge and approachable by students, and virtually all of our work ended up as published articles, to the quality of whose writing up he devoted particular attention.

When I first met him (in December 1982) to talk about pursuing my graduate studies in Paris, he was affable and welcoming, as he was to every student who wanted to work with him, but he warned me—perhaps from the memory of his own first unsuccessful experience there—that for foreigners, “while Paris was one huge math seminar, there was no actual campus and no student life, and it was easy to feel lost.” Of course he was quite right, and of course I paid no attention—who would have? I came to Paris and plunged immediately into an intense and exciting period, filled with a perfect stream of new ideas and research results, lectures and courses on new papers, and summer conferences in Luminy in the South of France, where we would go hiking among the seaside cliffs and climb down to swim in the turquoise-blue calanques. There was also a constant, lively flux of short- and long-term visitors such as Norbert Schappacher, Gudrun Brattström, Peter Schneider, Leslie Federer, Nelson Stephens, Ralph Greenberg, Dick Gross, Barry Mazur, Andrew Wiles, Ken Ribet, John Tate, and many other younger and older researchers who came to give courses and lectures and sometimes to collaborate with his students—all people whose daily language spoke of elliptic curves, complex multiplication, Iwasawa theory, -adic -functions, Leopoldt transforms, Heegner points, Selmer groups and so on, while I was still struggling with French.

When John left Paris in 1986 to return to Cambridge, our tight-knit group scattered, and those who had not yet defended a thèse d’état or even completed their third cycle thesis were compelled to find substitute advisers (Michel Raynaud, Guy Henniart, and Jean-Marc Fontaine all stepped up to the plate). But the subject he had started continued to flower. By launching the arithmetic of elliptic curves and Iwasawa theory in Paris, John Coates left an unforgettable mark.

Leila Schneps is director of research at Sorbonne University. Her email address is leila.schneps@imj-prg.fr.

Graphic without alt text

5. Iwasawa Theory in a Noncommutative Setting

By Mahesh Kakde and Sujatha

5.1. Genesis of noncommutative Iwasawa theory

In the early 1990s, John Coates started exploring the formulation of the main conjecture of noncommutative Iwasawa theory. To systematically study the Iwasawa theory of elliptic curves and -descent, it is natural to consider the extension of a number field obtained by adjoining all -power torsion points of an elliptic curve. The algebraic study of such extensions was first taken up in the doctoral thesis of Michael Harris.

In the mid 1990s, John visited Ohio State University, where Sujatha was doing a postdoc. Their meeting led to John’s visiting the Tata Institute of Fundamental Research (TIFR), where he gave some lectures on Iwasawa theory; following the TIFR tradition, these were subsequently expanded in a TIFR Lecture Series books entitled Galois Cohomology of Elliptic Curves. The meeting with Sujatha gave rise to a fruitful collaboration lasting several years.

By the time that Mahesh became a graduate student of John’s at Cambridge in the early 2000s, he had developed an interest in the extension of Iwasawa theory to a noncommutative version, in which the main objects connected to the main conjecture needed to be defined.

For simplicity of exposition, we will only consider an elliptic curve defined over the rational numbers . Furthermore, we fix a prime number . Assume that has good ordinary reduction at . When has complex multiplication by an order in an imaginary quadratic field , we have already seen that the field generated by all -power torsion points of is an abelian extension of . On the other hand, in the case when does not have complex multiplication, a celebrated theorem of Serre says that the extension of generated by all -power torsion points of is a Galois extension of with Galois group given by an open subgroup of .

Following the work of Venjakob on a good definition of pseudo-null modules over Auslander regular rings 15, Coates, Schneider, and Sujatha proved a structure theorem for finitely generated torsion modules over the Iwasawa algebra of a compact, -valued, -adic Lie group, much along the lines of the classical result 7. However, it is unclear if this result can be used to define a characteristic element or even a characteristic ideal.

An important consequence of the main conjecture in classical Iwasawa theory is the formula for an Euler characteristic in terms of values of -adic -functions. The study of Euler characteristics of Selmer groups of elliptic curves without complex multiplication was undertaken by Coates with his graduate student Susan Howson. A noncommutative main conjecture would relate the Euler characteristic with special values of the -function of , which would yield the -adic Birch and Swinnerton-Dyer conjecture. Coates and Sujatha defined this refined -Euler characteristic which was used to study the consequences of a noncommutative main conjecture.

The extension contains the cyclotomic -extension of . Set and . One of the major results of Coates in the joint work with Schneider and Sujatha 6 is the definition of the “Akashi series” (named after the Akashi chapter in The Tale of Genji, a favorite of John’s). Let be a -module that is finitely generated over . It is known that the homology groups

are finitely generated torsion -modules and are 0 for . Let be a characteristic element of . The Akashi series for is defined by

These insights directly led to the definition of characteristic elements for an interesting class of modules over in the habilitation thesis of Venkajob.

Venkajob observed that the right category to work with is , the category of finitely generated -modules such that is a finitely generated -module. This category was first defined in the paper of Coates–Schneider–Sujatha.

The conjecture of Coates and Sujatha says that the Pontryagin dual of the Selmer group of over is in the category .

For simplicity, we make the additional assumption that has no -torsion. This ensures that all finitely generated -modules have a finite projective resolution. Then we can define a characteristic element for every module in . It is an element in a certain -group.

The main conjecture for can now be formulated as follows: There is a unique element such that

(i)

is a characteristic element of the Pontryagin dual of the Selmer group of .

(ii)

at every Artin representation of , the element interpolates the value at of the -function of twisted by the representation (appropriately normalized).

The insight of relating noncommutative Iwasawa theory to commutative Iwasawa theory turns out to be useful in tackling all known cases of the noncommutative main conjecture. This study was initiated by Kato. Calculations of -groups imply that a necessary condition for the existence of a noncommutative -adic -function is a congruence between commutative -adic -functions over extensions corresponding to abelian sub-quotients of . These congruences are between -adic -functions over different number fields and seem very different from earlier congruences between -functions (for example Kummer congruences).

John placed a great deal of faith in these two predictions coming from noncommutative Iwasawa theory—the congruences between -adic -functions and the conjecture. Both of these remain wide open. What progress is made on these conjectures and what role they play in the arithmetic of elliptic curves, only time will tell.

Mahesh Kakde is a professor of mathematics at the Indian Institute of Science. His email address is maheshkakde@iisc.cac.in.

Graphic without alt text

Sujatha is a professor of mathematics at the University of British Columbia. Her email address is sujatha@math.ubc.ca.

Graphic without alt text

References

[1]
D. Bernardi, C. Goldstein, and N. Stephens, Notes -adiques sur les courbes elliptiques (French), J. Reine Angew. Math. 351 (1984), 129–170. MR749680,
Show rawAMSref \bib{MR0749680}{article}{ author={Bernardi, D.}, author={Goldstein, C.}, author={Stephens, N.}, title={Notes $p$-adiques sur les courbes elliptiques}, language={French}, journal={J. Reine Angew. Math.}, volume={351}, date={1984}, pages={129--170}, issn={0075-4102}, review={\MR {749680}}, }
[2]
John Coates, The arithmetic of elliptic curves with complex multiplication, Proceedings of the International Congress of Mathematicians (Helsinki, 1978), Acad. Sci. Fennica, Helsinki, 1980, pp. 351–355. MR562626,
Show rawAMSref \bib{MR0562626}{article}{ author={Coates, John}, title={The arithmetic of elliptic curves with complex multiplication}, conference={ title={Proceedings of the International Congress of Mathematicians}, address={Helsinki}, date={1978}, }, book={ publisher={Acad. Sci. Fennica, Helsinki}, }, date={1980}, pages={351--355}, review={\MR {562626}}, }
[3]
John Coates, Motivic -adic -functions, -functions and arithmetic (Durham, 1989), London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 141–172, DOI 10.1017/CBO9780511526053.006. MR1110392,
Show rawAMSref \bib{MR1110392}{article}{ author={Coates, John}, title={Motivic $p$-adic $L$-functions}, conference={ title={$L$-functions and arithmetic}, address={Durham}, date={1989}, }, book={ series={London Math. Soc. Lecture Note Ser.}, volume={153}, publisher={Cambridge Univ. Press, Cambridge}, }, date={1991}, pages={141--172}, review={\MR {1110392}}, doi={10.1017/CBO9780511526053.006}, }
[4]
John Coates and Catherine Goldstein, Some remarks on the main conjecture for elliptic curves with complex multiplication, Amer. J. Math. 105 (1983), no. 2, 337–366, DOI 10.2307/2374263. MR701564,
Show rawAMSref \bib{MR0701564}{article}{ author={Coates, John}, author={Goldstein, Catherine}, title={Some remarks on the main conjecture for elliptic curves with complex multiplication}, journal={Amer. J. Math.}, volume={105}, date={1983}, number={2}, pages={337--366}, issn={0002-9327}, review={\MR {701564}}, doi={10.2307/2374263}, }
[5]
J. Coates and C.-G. Schmidt, Iwasawa theory for the symmetric square of an elliptic curve, J. Reine Angew. Math. 375/376 (1987), 104–156, DOI 10.1515/crll.1987.375-376.104. MR882294,
Show rawAMSref \bib{MR0882294}{article}{ author={Coates, J.}, author={Schmidt, C.-G.}, title={Iwasawa theory for the symmetric square of an elliptic curve}, journal={J. Reine Angew. Math.}, volume={375/376}, date={1987}, pages={104--156}, issn={0075-4102}, review={\MR {882294}}, doi={10.1515/crll.1987.375-376.104}, }
[6]
John Coates, Peter Schneider, and Ramdorai Sujatha, Links between cyclotomic and Iwasawa theory, Doc. Math. Extra Vol. (2003), 187–215. Kazuya Kato’s fiftieth birthday. MR2046599,
Show rawAMSref \bib{MR2046599}{article}{ author={Coates, John}, author={Schneider, Peter}, author={Sujatha, Ramdorai}, title={Links between cyclotomic and $\mathrm {GL}_2$ Iwasawa theory}, note={Kazuya Kato's fiftieth birthday}, journal={Doc. Math.}, date={2003}, number={Extra Vol.}, pages={187--215}, issn={1431-0635}, review={\MR {2046599}}, }
[7]
J. Coates, P. Schneider, and R. Sujatha, Modules over Iwasawa algebras, J. Inst. Math. Jussieu 2 (2003), no. 1, 73–108, DOI 10.1017/S1474748003000045. MR1955208,
Show rawAMSref \bib{MR1851195}{article}{ author={Coates, J.}, author={Schneider, P.}, author={Sujatha, R.}, title={Modules over Iwasawa algebras}, journal={J. Inst. Math. Jussieu}, volume={2}, date={2003}, number={1}, pages={73--108}, issn={1474-7480}, review={\MR {1955208}}, doi={10.1017/S1474748003000045}, }
[8]
J. Coates and A. Wiles, On the conjecture of Birch and Swinnerton-Dyer, Invent. Math. 39 (1977), no. 3, 223–251, DOI 10.1007/BF01402975. MR463176,
Show rawAMSref \bib{MR0463176}{article}{ author={Coates, J.}, author={Wiles, A.}, title={On the conjecture of Birch and Swinnerton-Dyer}, journal={Invent. Math.}, volume={39}, date={1977}, number={3}, pages={223--251}, issn={0020-9910}, review={\MR {463176}}, doi={10.1007/BF01402975}, }
[9]
J. Coates and A. Wiles, On -adic -functions and elliptic units, J. Austral. Math. Soc. Ser. A 26 (1978), no. 1, 1–25. MR510581,
Show rawAMSref \bib{MR0510581}{article}{ author={Coates, J.}, author={Wiles, A.}, title={On $p$-adic $L$-functions and elliptic units}, journal={J. Austral. Math. Soc. Ser. A}, volume={26}, date={1978}, number={1}, pages={1--25}, issn={0263-6115}, review={\MR {510581}}, }
[10]
P. Colmez, Algébricité de valeurs spéciales de fonctions (French), Invent. Math. 95 (1989), no. 1, 161–205, DOI 10.1007/BF01394148. MR969417,
Show rawAMSref \bib{MR0969417}{article}{ author={Colmez, P.}, title={Alg\'{e}bricit\'{e} de valeurs sp\'{e}ciales de fonctions $L$}, language={French}, journal={Invent. Math.}, volume={95}, date={1989}, number={1}, pages={161--205}, issn={0020-9910}, review={\MR {969417}}, doi={10.1007/BF01394148}, }
[11]
Pierre Colmez and Leila Schneps, -adic interpolation of special values of Hecke -functions, Compositio Math. 82 (1992), no. 2, 143–187. MR1157938,
Show rawAMSref \bib{MR1157938}{article}{ author={Colmez, Pierre}, author={Schneps, Leila}, title={$p$-adic interpolation of special values of Hecke $L$-functions}, journal={Compositio Math.}, volume={82}, date={1992}, number={2}, pages={143--187}, issn={0010-437X}, review={\MR {1157938}}, }
[12]
Bernadette Perrin-Riou, Descente infinie et hauteur -adique sur les courbes elliptiques à multiplication complexe (French), Invent. Math. 70 (1982/83), no. 3, 369–398, DOI 10.1007/BF01391797. MR683689,
Show rawAMSref \bib{MR0683689}{article}{ author={Perrin-Riou, Bernadette}, title={Descente infinie et hauteur $p$-adique sur les courbes elliptiques \`a multiplication complexe}, language={French}, journal={Invent. Math.}, volume={70}, date={1982/83}, number={3}, pages={369--398}, issn={0020-9910}, review={\MR {683689}}, doi={10.1007/BF01391797}, }
[13]
Leila Schneps, On the -invariant of -adic -functions attached to elliptic curves with complex multiplication, J. Number Theory 25 (1987), no. 1, 20–33, DOI 10.1016/0022-314X(87)90013-8. MR871166,
Show rawAMSref \bib{MR0871166}{article}{ author={Schneps, Leila}, title={On the $\mu $-invariant of $p$-adic $L$-functions attached to elliptic curves with complex multiplication}, journal={J. Number Theory}, volume={25}, date={1987}, number={1}, pages={20--33}, issn={0022-314X}, review={\MR {871166}}, doi={10.1016/0022-314X(87)90013-8}, }
[14]
Jacques Tilouine, Fonctions -adiques à deux variables et -extensions (French, with English summary), Bull. Soc. Math. France 114 (1986), no. 1, 3–66. MR860650,
Show rawAMSref \bib{MR0860650}{article}{ author={Tilouine, Jacques}, title={Fonctions $L$ $p$-adiques \`a deux variables et $\mathbf {Z}^2_p$-extensions}, language={French, with English summary}, journal={Bull. Soc. Math. France}, volume={114}, date={1986}, number={1}, pages={3--66}, issn={0037-9484}, review={\MR {860650}}, }
[15]
Otmar Venjakob, On the Iwasawa theory of -adic Lie extensions, Compositio Math. 138 (2003), no. 1, 1–54, DOI 10.1023/A:1025413030203. MR2002953,
Show rawAMSref \bib{MR1990830}{article}{ author={Venjakob, Otmar}, title={On the Iwasawa theory of $p$-adic Lie extensions}, journal={Compositio Math.}, volume={138}, date={2003}, number={1}, pages={1--54}, issn={0010-437X}, review={\MR {2002953}}, doi={10.1023/A:1025413030203}, }
[16]
Rodney I. Yager, On two variable -adic -functions, Ann. of Math. (2) 115 (1982), no. 2, 411–449, DOI 10.2307/1971398. MR647813,
Show rawAMSref \bib{MR0647813}{article}{ author={Yager, Rodney I.}, title={On two variable $p$-adic $L$-functions}, journal={Ann. of Math. (2)}, volume={115}, date={1982}, number={2}, pages={411--449}, issn={0003-486X}, review={\MR {647813}}, doi={10.2307/1971398}, }

Credits

Figure 1 is courtesy of Sarah Zerbes.

Figure 2 is courtesy of Kenneth Ribet and Noriko Yui.

Figure 3 is courtesy of Chandan Singh Dalawat.

Photo of Mahesh Kakde is courtesy of Mahesh Kakde.

Photo of Stephen Lichtenbaum is courtesy of Stephen Lichtenbaum.

Photo of Barry Mazur is courtesy of Barry Mazur.

Photo of Leila Schneps is courtesy of Leila Schneps.

Photo of Sujatha is courtesy of Sujatha.

Photo of Andrew Wiles is courtesy of Alain Goriely.