arXiv subjects
Publications and source records attributed to Matthew Emerton.
We prove the explicit version of the Buzzard--Diamond--Jarvis conjecture formulated by Diamond--Dembélé--Roberts. More precisely, we prove that it is equivalent to the original Buzzard--Diamond--Jarvis conjecture, which was proved for odd primes (under a mild Taylor--Wiles hypothesis) in earlier work of the third author and coauthors.
We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
We prove conjectures of Breuil and Breuil-Dembele (C. Breuil, "Sur un probleme de compatibilite local-global modulo p pour GL(2)"), including a generalisation from the principal series to the cuspidal case, subject to a mild global hypothesis that we make in order to apply certain R=T theorems. More precisely, we prove a multiplicity one result for the mod p cohomology of a Shimura curve at Iwahori level, and we show that certain apparently globally defined lattices in the cohomology of Shimura curves are determined by the corresponding local p-adic Galois representations. We also indicate a new proof of the Buzzard-Diamond-Jarvis conjecture in generic cases. Our main tools are the geometric Breuil-Mezard philosophy developed by two of the authors, and a new and more functorial perspective on the Taylor-Wiles-Kisin patching method. Along the way, we determine the tamely potentially Barsotti-Tate deformation rings of generic two-dimensional mod p representations, generalising a result of Breuil-Mezard in the principal series case.
Let $F$ be a totally real number field and let $p$ be a prime unramified in $F$. We prove the existence of Galois pseudo-representations attached to mod $p^m$ Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for $F$ of level prime to $p$.
We prove that the completed cohomology groups of SL_N(Z) in fixed degree stabilize as N goes to infinity. We also prove that the action of Hecke operators on stable cohomology is trivial, in a precisely defined sense.
We prove that for forms of U(3) which are compact at infinity and split at places dividing a prime p, in generic situations the Serre weights of a mod p modular Galois representation which is irreducible when restricted to each decomposition group above p are exactly those previously predicted by the third author. We do this by combining explicit computations in p-adic Hodge theory, based on a formalism of strongly divisible modules and Breuil modules with descent data which we develop in the paper, with a technique that we call "weight cycling".
Let p > 2 be prime. We state and prove (under mild hypotheses on the residual representation) a geometric refinement of the Breuil-Mézard conjecture for 2-dimensional mod p representations of the absolute Galois group of Qp. We also state a conjectural generalisation to n-dimensional representations of the absolute Galois group of an arbitrary finite extension of Qp, and give a conditional proof of this conjecture, subject to a certain R = T-type theorem together with a strong version of the weight part of Serre's conjecture for rank n unitary groups. We deduce an unconditional result in the case of two-dimensional potentially Barsotti-Tate representations.
Let E be a nonarchimedean local field with residue characteristic l, and suppose we have an n-dimensional representation of the absolute Galois group G_E of E over a reduced complete Noetherian local ring A with finite residue field k of characteristic p different from l. We consider the problem of associating to any such representation an admissible A[GL_n(E)]-module in a manner compatible with the local Langlands correspondence at characteristic zero points of Spec A. In particular we give a set of conditions that uniquely characterise such an A[GL_n(E)]-module if it exists, and show that such an A[GL_n(E)]-module always exists when A is the ring of integers of a finite extension of Q_p. We also use these results to define a "modified mod p local Langlands correspondence" that is more compatible with specialization of Galois representations than the mod p local Langlands correspondence of Vigneras.
We prove a conjecture of the first author for $GL_2(F)$, where $F$ is a finite extension of $Q_p$.
Let $\Goo$ be a semisimple real Lie group with unitary dual $\Ghat$. The goal of this note is to produce new upper bounds for the multiplicities with which representations $π\in \Ghat$ of cohomological type appear in certain spaces of cusp forms on $\Goo$.
The modular degree m_E of an elliptic curve E/Q is the minimal degree of any surjective morphism X_0(N) -> E, where N is the conductor of E. We give a necessarily set of criteria for m_E to be odd. Specializing to N prime our results imply a conjecture of Mark Watkins. As a technical tool we also prove a certain multiplicity one result for p=2 that may be of independent interest.
We describe the Jacquet module functor on Harish-Chandra modules via geometry.
This paper develops various foundational results in the locally analytic representation theory of p-adic groups. In particular, we define the functor ``pass to locally analytic vectors'', which attaches to any continuous representation of a p-adic analytic group on a locally convex p-adic topological vector space the associated space of locally analytic vectors. Using this functor, and the point of view that its construction suggests, we establish some basic facts about admissible locally analytic representations (as defined by Schneider and Teitelbaum). We also introduce the related notion of essentially admissible locally analytic representations.
Let r : G_Q -> GL_2(Fpbar) be a p-ordinary and p-distinguished irreducible residual modular Galois representation. We show that the vanishing of the algebraic or analytic Iwasawa mu-invariant of a single modular form lifting r implies the vanishing of the corresponding mu-invariant for all such forms. Assuming that the mu-invariant vanishes, we also give explicit formulas for the difference in the algebraic or analytic lambda-invariants of modular forms lifting r. In particular, our formula shows that the lambda-invariant is constant on branches of the Hida family of r. We further show that our formulas are identical for the algebraic and analytic invariants, so that the truth of the main conjecture of Iwasawa theory for one form in the Hida family of r implies it for the entire Hida family.
Let T_k denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the index of T_k inside its normalisation grows at least linearly with k (for fixed N), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.
Using the modularity technique of Wiles, we study the Hecke algebra of weight 2 and prime level N localized at the Eisenstein primes. On the way, we recover some results of Mazur ("Modular Curves and the Eisenstein Ideal") from a deformation theoretic point of view. Combining some of our results with a theorem of Merel, we obtain new information about the p-part of the class groups of Q(N^(1/p)), where p and N are prime, and N = 1 mod p.
Let f: X -> Y be a separated morphism of schemes of finite type over a finite field of characteristic p, let Lambda be an artinian local Z_p-algebra with finite residue field, let m be the maximal ideal of Lambda, and let L^\bullet be a bounded constructible complex of sheaves of finite free Lambda-modules on the étale site of Y. We show that the ratio of L-functions L(X,L^\bullet)/L(Y,f_! L^\bullet), which is a priori an element of 1+T Lambda[[T]], in fact lies in 1+ m T Lambda [T]. This implies a conjecture of Katz predicting the location of the zeroes and poles of the L-function of a p-adic étale lisse sheaf on the closed unit disk in terms of étale cohomology with compact support.