I was very sad to learn that, after a long illness with multiple sclerosis, Robert Coleman has just died.
Robert’s influence on mathematics is certainly obvious to all of us in the field. Most of my personal interaction with him was during my last two years as a graduate student at Berkeley. We would chat in his office, and sometimes have lunch at Nefeli caffe. Kevin and I had recently made some modest progress on Kevin’s crazy slope conjectures, and much of that time with Robert was spent with me presenting crazy ideas and predictions on the white board in Evans Hall while Robert looked on with his classic look of amused skepticism. There would also be the occasional wine and cheese in his office, especially if an old visitor was in town.
I certainly didn’t know him as well as many others did, but I felt very honored that he asked me to accompany him (as a grad student assistant) to China for his ICM address. As it happened, the relevant hotels in China would not allow him to bring Bishop (his guide dog) along with him, so he didn’t end up going.
Mathematically, Robert was very original. I have no plans to attempt to summarize his research, but I just want to discuss one problem which he had thought about in recent years, namely, what the eigencurve looked like at the boundary of weight space — especially in light of the description given by Kevin and Lloyd Kilford when and . Suppose one is given a Fredholm determinant
where , and one wants to understand the spectrum of at the “boundary” of weight space, that is, when the valuation of goes to zero. For example, an interesting collection of points near the boundary are the classical points with highly ramified nebentypus character. If is not divisible by , then the valuation of at a specialization of close to one will co-incide with the valuation of the reduction mod- of as an element of the discrete valuation ring , that is, it will be determined by the smallest non-zero coefficient of modulo . Robert’s idea was to study the “halo” of the eigencurve, which intuitively speaking, should be an object cut out by a compact operator in characteristic with characteristic power series . If the valuations of the elements define a Newton Polygon , then the Newton Polygon at some point on the eigencurve which is sufficiently close to the boundary should be a simple multiple of . This is one of my favourite problems! I know Robert has some ideas on how to approach this problem, but unfortunately I don’t know exactly what they were or how much progress he had made. One natural question is whether this structure will ultimately be purely explainable in terms of -adic local Langlands. One even more basic question is what happens numerically on components of the eigencurve corresponding to a representation which is absolutely irreducible after restriction to a decomposition group at ; I presume one sees the same behavior, but has anyone checked this? Perhaps the easiest example to check would be to compute the slopes of forms on , where has conductor .
Matt Baker has some further recollections of Robert here, and he also invites his readers to share there memories there.