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.