We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge–Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proof, independent of the classical Jacquet–Langlands correspondence, that Galois representations can be attached to classical and $p$-adic quaternionic eigenforms.

Let $p\,>\,2$ be a prime and let $X$ be a compactified PEL Shimura variety of type $\left( \text{A} \right)$ or $\left( \text{C} \right)$ such that $p$ is an unramified prime for the PEL datum and such that the ordinary locus is dense in the reduction of $X$. Using the geometric approach of Andreatta, Iovita, Pilloni, and Stevens, we define the notion of families of overconvergent locally analytic $p$-adic modular forms of Iwahoric level for $X$. We show that the system of eigenvalues of any finite slope cuspidal eigenform of Iwahoric level can be deformed to a family of systems of eigenvalues living over an open subset of the weight space. To prove these results, we actually construct eigenvarieties of the expected dimension that parameterize finite slope systems of eigenvalues appearing in the space of families of cuspidal forms.

In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of kth invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, that acts compactly on the space of overconvergent modular forms. We also construct the eigencurve.

We present a level-raising result for families of p-adic automorphic forms for a definite quaternion algebra D over ℚ. The main theorem is an analogue of a theorem for classical automorphic forms due to Diamond and Taylor. We show that certain families of forms old at a prime l intersect with families of l-new forms (at a non-classical point). One of the ingredients in the proof of Diamond and Taylor’s theorem (which also played a role in earlier work of Taylor) is the definition of a suitable pairing on the space of automorphic forms. In our situation one cannot define such a pairing on the infinite dimensional space of p-adic automorphic forms, so instead we introduce a space defined with respect to a dual coefficient system and work with a pairing between the usual forms and the dual space. A key ingredient is an analogue of Ihara’s lemma which shows an interesting asymmetry between the usual and the dual spaces.

We generalise results of Buzzard, Taylor and Kassaei on analytic continuation of p-adic overconvergent eigenforms over ℚ to the case of p-adic overconvergent Hilbert eigenforms over totally real fields F, under the assumption that p splits completely in F. This includes weight-one forms and has applications to generalisations of Buzzard and Taylor’s main theorem. Next, we follow an idea of Kassaei’s to generalise Coleman’s well-known result that ‘an overconvergent Up-eigenform of small slope is classical’ to the case of p-adic overconvergent Hilbert eigenforms of Iwahori level.

Let K be an arbitrary number field, and let ρ : Gal(/K) → GL2(E) be a nearly ordinary irreducible geometric Galois representation. In this paper, we study the nearly ordinary deformations of ρ. When K is totally real and ρ is modular, results of Hida imply that the nearly ordinary deformation space associated to ρ contains a Zariski dense set of points corresponding to ‘automorphic’ Galois representations. We conjecture that if K is not totally real, then this is never the case, except in three exceptional cases, corresponding to: (1) ‘base change’, (2) ‘CM’ forms, and (3) ‘even’ representations. The latter case conjecturally can only occur if the image of ρ is finite. Our results come in two flavours. First, we prove a general result for Artin representations, conditional on a strengthening of the Leopoldt Conjecture. Second, when K is an imaginary quadratic field, we prove an unconditional result that implies the existence of ‘many’ positive-dimensional components (of certain deformation spaces) that do not contain infinitely many classical points. Also included are some speculative remarks about ‘p-adic functoriality’, as well as some remarks on how our methods should apply to n-dimensional representations of Gal(/ℚ) when n > 2.

Par une méthode entièrement nouvelle utilisant les déformations $p$-adiques de pentes positives de représentations automorphes pour $\mathrm{GSp}_{4/\mathbb{Q}}$, nous prouvons que le $p$-groupe de Selmer $H^1_f(\mathbb{Q},V_f(k))$ associé à une forme modulaire $f$ de poids $2k$ et ordinaire en $p$ est infini si l’ordre d’annulation à l’entier $k$ de la fonction $L$ de $f$ est impair.

By an entirely new method that makes use of $p$-adic deformations of automorphic representations of $\mathrm{GSp}_{4/\mathbb{Q}}$, we prove that the $p$-adic Selmer group $H^1_f(\mathbb{Q},V_f(k))$ associated to a modular form $f$ of weight $2k$ that is ordinary at $p$ is infinite if the order of vanishing at $k$ of the $L$-function of $f$ is odd.

We explicitly compute all the slopes of the Hecke operator U2 acting on overconvergent 2-adic level 1 cusp forms of weight 0: the nth slope is 1 + 2v((3n)!/n!), where v denotes the 2-adic valuation. We formulate an explicit conjecture about what these slopes should be for weight k forms.

We set up the basic theory of $\mathcal P$-adic modular forms over certain unitary PEL Shimura curves M′K′. For any PEL abelian scheme classified by M′K′, which is not ‘too supersingular’, we construct a canonical subgroup which is essentially a lifting of the kernel of Frobenius from characteristic p. Using this construction we define the U and Frob operators in this context. Following Coleman, we study the spectral theory of the action of U on families of overconvergent $\mathcal P$-adic modular forms and prove that the dimension of overconvergent eigenforms of U of a given slope is a locally constant function of the weight.