Kevin Buzzard

Kevin Buzzard
Imperial College London | Imperial · Department of Mathematics

About

40
Publications
1,312
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1,092
Citations
Introduction

Publications

Publications (40)
Preprint
Full-text available
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent...
Preprint
Full-text available
We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same computer tools will also help us in the communication and teaching of mathematics.
Article
We tell the story of how schemes were formalized in three different ways in the Lean theorem prover.
Preprint
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover. This experiment confirms that a proof assistant can handle complexity in that direction, which is rather diffe...
Article
Full-text available
We report on a computation of holomorphic cuspidal modular forms of weight one and small level (currently level at most $1500$) and classification of them according to the projective image of their attached Artin representations. The data we have gathered, such as Fourier expansions and projective images of Hecke newforms and dimensions of space of...
Chapter
We survey the progress (or lack thereof!) that has been made on some questions about the p-adic slopes of modular forms that were raised by the first author in Buzzard (Astérisque 298:1–15, 2005), discuss strategies for making further progress, and examine other related questions.
Article
We survey the progress (or lack thereof!) that has been made on some questions about the p-adic slopes of modular forms that were raised by the first author in [Buz05], discuss strategies for making further progress, and examine other related questions.
Article
We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (including a locally perfectoid one). On the positive side, we also show that if every affinoid subspace of an affinoid pre-adic space is uniform, then the structure presheaf...
Chapter
We report on a systematic computation of weight one cuspidal eigenforms for the group Γ 1(N) in characteristic zero and in characteristic p>2. Perhaps the most surprising result was the existence of a mod 199 weight 1 cusp form of level 82 which does not lift to characteristic zero.
Article
Full-text available
We explain a highly efficient algorithm for playing the simplest type of dots and boxes endgame optimally (by which we mean ``in such a way so as to maximise the number of boxes that you take''). The algorithm is sufficiently simple that it can be learnt and used in over-the-board games by humans. The types of endgames we solve come up commonly in...
Article
Full-text available
We report on a systematic computation of weight one cuspidal eigenforms for the group $\Gamma_1(N)$ in characteristic zero and in characteristic $p>2$. Perhaps the most surprising result was the existence of a mod 199 weight~1 cusp form of level 82 which does not lift to characteristic zero.
Article
We use the p-adic local Langlands correspondence for GL2(Qp) to explicitly compute the reduction modulo p of certain 2-dimensional crystalline representations of small slope, and give applications to modular forms. 1 Introduction. Let f = ∑ n≥1 anq n be a weight k cusp form for the group Γ1(N) ⊆ SL2(Z), and assume that f is normalised (a1 = 1), is...
Article
Full-text available
A Spitalfields Day at the Newton Institute was organised on the subject of the recent theorem that any elliptic curve over any totally real field is potentially modular. This article is a survey of the strategy of the proof, together with some history. Introduction: Our main goal in this article is to talk about recent theorems of Taylor and his co...
Article
Full-text available
We state conjectures on the relationships between automorphic representations and Galois representations, and give evidence for them.
Article
Full-text available
In 1987 Serre conjectured that any mod l ("ell", not "1") two-dimensional irreducible odd representation of the absolute Galois group of the rationals came from a modular form in a precise way. We present a generalisation of this conjecture to 2-dimensional representations of the absolute Galois group of a totally real field where l is unramified....
Article
Full-text available
We use the p-adic local Langlands correspondence for GL_2(Q_p) to explicitly compute the reduction modulo p of crystalline representations of small slope, and give applications to modular forms. Comment: 10 pages, appeared in IMRN 2009, no. 12. This version does not incorporate any minor changes (e.g. typographical changes) made in proof
Article
We prove that, near the boundary of weight space, the 2-adic eigencurve of tame level 1 can be written as an infinite disjoint union of annuli, and on each annulus the slopes of the corresponding overconvergent eigenforms tend to zero.
Article
Full-text available
For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overc...
Article
We formulate a conjecture which predicts, in many cases, the precise p-adic valuations of the eigenvalues of the Hecke operator Tp acting on spaces of classical modular forms. The conjecture has very concrete consequences in the classical theory, but can also be thought of as saying that there is a lot of unexplained symmetry in many of the Coleman...
Article
Full-text available
Coleman and Mazur have constructed “eigencurves”, geometric objects parametrising certain overconvergent p-adic modular forms. We formulate definitions of overconvergent p-adic automorphic forms for two more classes of reductive groups — firstly for GLI over a number field, and secondly for D x , D a definite quaternion algebra over the rationals....
Article
Full-text available
Gouvea and Mazur made a precise conjecture about slopes of modular forms. Weaker versions of this conjecture were established by Coleman and Wan. In this note, we exhibit explicit examples contradicting the full conjecture as it currently stands.
Article
The slope of a p-adic overconvergent eigenform of weight k is the p-adic valuation of its U_p eigenvalue. We find the slope of all 2-adic finite slope overconvergent eigenforms of tame level 1 and weight 0. As a consequence we prove that any finite slope 2-adic overconvergent eigenform of tame level 1 and weight 0 has coefficients in Q_2. These res...
Article
Full-text available
Let f be an overconvergent p-adic eigenform of level Np r , r≥1, with non-zero U p -eigenvalue. We show how f may be analytically continued to a subset of X 1 (Np r ) an containing, for example, all the supersingular locus. Using these results we extend the main theorem of our earlier work with R. Taylor [Ann. Math. (2) 149, No. 3, 905–919 (1999; Z...
Article
We give eight new examples of icosahedral Galois represen-tations that satisfy Artin's conjecture on holomorphicity of their L-function. We give in detail one example of an icosahe-dral representation of conductor 1376 = 2 5 · 43 that satisfies Artin's conjecture. We briefly explain the computations be-hind seven additional examples of conductors 2...
Article
Full-text available
If ρ : Gal(ℚ<sup>ac</sup>/ℚ))→GL<sub>2</sub>(ℂ) is a continuous odd irreducible representation wit nonsolvable image, then under certain local hypotheses we prove that ρ is the representation associated to a weight 1 modular form and hence that the L-function of ρ has an analytic continuation to the entire complex plane.
Article
The theory of “level-lowering” for mod l modular forms is now essentially complete when l is odd, thanks to work of Ribet and others. In the paper R. Taylor [Pac. J. Math., Spec. Issue, 337-347 (1998; Zbl 0942.11031)] explains how one might be able to attack new cases of Artin’s conjecture if (amongst other things) Wiles’ results on lifting of modu...
Article
Full-text available
In this paper we prove the following theorem. Let L/\Q_p be a finite extension with ring of integers O_L and maximal ideal lambda. Theorem 1. Suppose that p >= 5. Suppose also that \rho:G_\Q -> GL_2(O_L) is a continuous representation satisfying the following conditions. 1. \rho ramifies at only finitely many primes. 2. \rho mod \lambda is modular...
Article
LetKbe the splitting field of the characteristic polynomial of the Hecke operatorT2acting on thed-dimensional space of cusp forms of weightkand level 1. We show, for various values ofk, that the Galois group Gal(K/Q) is the full symmetric group on d symbols.
Article
Full-text available
We report on a systematic computation of weight one cuspidal eigen-forms for the group Γ1(N) in characteristic zero and in characteristic p > 2. Perhaps the most surprising result was the existence of a mod 199 weight 1 cusp form of level 82 which does not lift to characteristic zero.

Network

Cited By