This is a review of the paper “Slopes of Modular Forms” submitted for publication in a Simons symposium proceedings volume.

**tl;dr:** This paper is a nice survey article on questions concerning the slopes of modular forms. Buzzard has given a (very explicit) conjecture which predicts the slopes of classical modular (-stabilized) eigenforms of level prime to at least under a certain regularity hypothesis. One consequence is that, under favourable circumstances, all the slopes are integers. The current paper describes the link between this and related problems to the -adic Langlands program, as well as raising several further intriguing questions concerning the distributions of these slopes. The paper is well written, and is a welcome addition to the literature. I strongly recommend that this paper be accepted.

**Review:** Buzzard’s slope conjectures live somewhere in the world between 19th and 21st century mathematics. Suppose that one considers the space of over-convergent cusp forms of level for Then, using nothing more than classical identities between modular functions, one may prove that the smallest eigenvalue of the compact operator is at most On the other hand, it is now a “folklore” conjecture (Conjecture 4.1.1 of the paper under review) that, if is odd and is a classical modular form of level prime to , then the residual representation:

is irreducible locally on the decomposition group at whenever the valuation of is not an integer. This problem seems to be a deep question in the p-adic Langlands program for The two cases where this is known, and sufficiently large, both require machinery from p-adic Hodge theory — in the former case, one needs the full local Langlands correspondence for

**Comments:** Here are some comments given in some order that bears little relation to the actual paper.

- I don’t like the table on page 6, in particular, because certain ranges of numbers are bunched together, the output looks a little strange. Can one improve this in some way? Perhaps finish at Perhaps include only selected powers bigger than Perhaps normalize for the length of the range?
- Corollary 5.1.2. Do you want to speculate on what happens in the reducible case? In some sense, in Buzzard’s conjecture, one doesn’t see the fact that the residual representations are globally reducible or not. On the other hand, weird stuff certainly happens for as previously mentioned here. What happens in the reducible case for
- Conjecture 4.1.1 demands that is even, but that is a consequence of the level being of the form — something which is noted immediately after the statement. So why include the condition in the statement of the conjecture? Also, perhaps it’s also worth remarking upon the case when is a unit.
- The authors (in Remark 4.1.3) point to the origins of this Conjecture 4.1.1 to around 2005. However, I feel like I remember some discussion of this conjecture in the Durham symposium of 2004. There were certainly hints of this conjecture on «
*la serviette de Kisin*», upon which Mark gave a heuristic local argument for why the Eigencurve was proper — although the argument was slightly dodgy in that it collapsed if the napkin was rotated 90 degrees. (Of course, Mark was proved right when Hansheng Diao and Ruochuan Liu did indeed prove this result using local methods here.) Also, isn’t Conjecture 4.1.1 a consequence of Buzzard’s original conjecture as modified by Lisa Clay? Somehow it seems to me that what Remark 4.1.3 is referring to is the idea that Conjecture 4.1.1 is a consequence of a purely*local*conjecture, and refers to the period (2005?) when Breuil was formulating the first versions of the p-adic Langlands program. - For Conjecture 4.2.1, wouldn’t it make more sense to normalize the valuation in terms of the coefficient field so the statement once more becomes that has integral valuation?
- Why is the condition on Buzzard’s conjecture different when (I understand it has to be modified in order to have a chance of being true, but I am asking if there is any explanation for why this is necessary.)
- The authors remark (p.3) that it is not known whether there are infinitely many Buzzard irregular primes. Here is a short argument to prove that this is a consequence of standard conjectures of prime values of polynomials. We start with the observation that the first Buzzard irregular prime is and that the offending representation:
has exceptional image in the context of Serre and Swinnerton-Dyer (

*On l-adic representations and congruences for coefficients of modular forms*, Antwerp III). Indeed, this particular example features prominently in that paper. I always thought this was not an entirely random coincidence, and since it seems relevant here, I thought I would finally bother to figure out what is going on. (For the next prime, the corresponding representation has image containing so it is somewhat of an accident.) The mod-59 representation above has projective image Now suppose that is a prime such that is an -extension which is unramified away from Such a representation will give rise (following an argument of Tate) to a mod- representation of which is unramified away from The congruence condition on implies that it will be odd, and hence modular, by Langlands-Tunnell. Now let us suppose, in addition, that divides the ramification index Under this assumption, the representation cannot be locally reducible, because the ramification index of any power of the cyclotomic character divides Hence, if there are infinitely many such fields, there are infinitely many -irregular primes. Consider the following fields studied by Darrin Doud (here):Doud shows that has discriminant and Galois group and it is easy to see that the splitting field has all the required properties needed above as long as The formula relating tame ramification and the discriminant implies that Standard conjectures now predict that there are infinitely many such primes of this form — if is odd, then The first few such primes which are are

which compares with the first few Buzzard irregular primes (taken from Buzzard's paper):

On the other hand, an unconditional proof by these means seems out of reach, because any modular -extension unramified outside forces to have class number divisible by and we don't know if there exist infinitely many such primes.

When you write “if is odd, then " , what is ? (I guess it is in Doud's paper, but it would be nice to explain it here.)

Here was supposed to be (I’ve now changed it). Or rather, I changed the notation in the paper to here for arbitrary aesthetic reasons.

Thank you for this report. We have updated a few references to the paper, and also made the following changes in response to your comments (taking the bullet points in order):

– we have truncated the table.

– we have added a remark indicating that we don’t have a clue what is going on in the (globally) reducible case.

– the referee appears to be confused here – Conj 4.1.1 is a purely local statement. We have added a remark about the case that a_p is a unit.

– again, Conj 4.1.1 is purely local (rather than being a consequence of something purely local), and it seems unlikely to be easy to deduce it from the global conjectures of Buzzard/Clay.

– thank you – we have done this. In fact when p=2 this gives a slightly different (stronger) conjecture, which is what we should have stated in the first place.

– we don’t have a clue why the modification is needed when p=2.

– thank you for this argument; we have added a reference to it.

The updated version can be found at http://wwwf.imperial.ac.uk/~tsg/Index_files/surveyonslopes.pdf

Re: 4.1.1: yes, sorry about that.

Just seen this wonderful example of open peer review. Was there a story behind it, or did you just do it on a whim?

A whim! But it was also contingent on the fact that I know the authors very well and knew they wouldn’t be upset. I’m not quite sure I would have the chutzpah to publicly reject a paper of Serre, for example.