This is a continuation of our previous work on the locally analytic vectors of the completed cohomology of modular curves. We construct differential operators on modular curves with infinite level at p in both "holomorphic" and "anti-holomorphic" directions. As applications, we reprove a classicality result of Emerton which says that every absolutely irreducible two dimensional Galois representation which is regular de Rham at p and appears in the completed cohomology of modular curves comes from an eigenform. Moreover we give a geometric description of the locally analytic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$ attached to such a Galois representation in the completed cohomology.
We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.
We construct a Taylor-Wiles system using a family of $p$-adically completed modular Jacobians over suitable Hecke algebras and prove that certain $p$-adically completed Mordell-Weil groups of these Jacobians is free of finite rank over a Hecke algebra.
We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a double-coset, and unitarity yields the slope vanishing.
We describe an application of Poincaré duality for completed homology spaces (as defined by Emerton) to level raising for p-adic modular forms. This allows us to give a new description of the image of Chenevier's p-adic Jacquet-Langlands map between an eigencurve for a definite quaternion algebra and an eigencurve for GL(2). The points on the eigencurve at which we "raise the level" are (non-smooth) points of intersection between an "old" and a "new" component.
In this paper, we compare two different constructions of $p$-adic $L$-functions for modular forms and their relationship to Galois cohomology: one using Kato's Euler system and the other using Emerton's $p$-adically completed cohomology of modular curves. At a more technical level, we prove the equality of two elements of a local Iwasawa cohomology group, one arising from Kato's Euler system, and the other from the theory of modular symbols and $p$-adic local Langlands correspondence for $GL_2(\mathbb{Q}_p)$. We show that this equality holds even in the cases when the construction of $p$-adic …
We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb{P}^1, \mathcal{O}(-k))$, and on …
In this paper, we prove the Eichler cohomology theorem of weakly parabolic generalized modular forms of real weights on subgroups of finite index in the full modular group. We explicitly establish the isomorphism for large weights by constructing the map from the space of cusp forms to the cohomology group.
We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.
We describe extension classes arising in the $\ell$-adic and Hodge cohomology of Hilbert modular varieties, generalising results of Caspar to arbitrary dimensions. We show that this description is consistent with the "plectic conjectures" of Nekovář and the second author.
The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the standard algorithms for the computation of holomorphic modular forms. Precise and explicit connections are established to the cohomology of Hecke triangle surfaces and group cohomology. In all the note a general commutative ring is used as coefficient ring in view of applications to the computation of modular forms over rings different from the complex numbers. T…
Let Gamma be a congruence subgroup of the Picard modular group of an imaginary number field k, and let D be the associated symmetric space. We describe a method to compute the integral cohomology of the locally symmetric space Gamma\D. The method is implemented for the case k=Q(i) and k=Q(sqrt(-3)), and the cohomology is computed for various Gamma.
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 propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and over $\mathbb C$, and we conjecture that they both lift to an action on cohomology with integral coefficients. The conjecture is supported by theoretical evidence based on Stark's conjecture on special values of Artin $L$-functions, and by numerical evidence in base change cases.
Generalizing a result of \cite{Z1991, CPZ} about elliptic modular forms, we give a closed formula for the sum of all Hilbert Hecke eigenforms over a totally real number field with strict class number $1$, multiplied by their period polynomials, as a single product of the Kronecker series.
We compute the cohomology with compact supports of a Picard modular surface as a virtual module over the product of the appropriate Galois group and the appropriate Hecke algebra. We use the method developed by Ihara, Langlands, and Kottwitz: comparison of the Grothendieck-Lefschetz formula and the Arthur-Selberg trace formula. Our implementation of this method takes as its starting point the works of Laumon and Morel.
While investigating the Doi-Naganuma lift, Zagier defined integral weight cusp forms $f_D$ which are naturally defined in terms of binary quadratic forms of discriminant $D$. It was later determined by Kohnen and Zagier that the generating function for the $f_D$ is a half-integral weight cusp form. A natural preimage of $f_D$ under a differential operator at the heart of the theory of harmonic weak Maass forms was determined by the first two authors and Kohnen. In this paper, we consider the modularity properties of the generating function of these preimages. We prove that although the generat…
We study the locally analytic vectors in the completed cohomology of modular curves and determine the eigenvectors of a rational Borel subalgebra of $\mathfrak{gl}_2(\mathbb{Q}_p)$. As applications, we prove a classicality result for overconvergent eigenforms of weight one and give a new proof of the Fontaine-Mazur conjecture in the irregular case under some mild hypotheses. For an overconvergent eigenform of weight $k$, we show its corresponding Galois representation has Hodge-Tate-Sen weights $0,k-1$ and prove a converse result.
Building on ideas of Vatsal, Cornut proved a conjecture of Mazur asserting the generic nonvanishing of Heegner points on an elliptic curve E as one ascends the anticyclotomic Z_p-extension of a quadratic imaginary extension K/Q. In the present article Cornut's result is extended by replacing the elliptic curve E with the Galois cohomology of Deligne's 2-dimensional l-adic representation attached to a modular form of weight 2k>2, and replacing the family of Heegner points with an analogous family of special cohomology classes.
We describe torsion classes in the first cohomology group of $\text{SL}_2(\mathbb{Z})$. In particular, we obtain generalized Dickson's invariants for p-power polynomial rings. Secondly, we describe torsion classes in the zero-th homology group of $\text{SL}_2(\mathbb{Z})$ as a module over the torsion invariants. As application, we obtain various congruences between cuspidal forms of level one and Eisenstein series.
For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert modular variety associated to a quaternion algebra $D$ over $F$ that is split at $\mathfrak{p}$ and a $p$-adically admissible representation of $\mbox{PGL}_2(F_{\mathfrak{p}})$. Applied to infinitesimal $p$-adic deformations of the local factor at $\mathfrak{p}$ of a cuspidal automorphic representation $π$ of $D^*(\mathbb{A})$ this yields a natural construction…
Let F be a real quadratic field with ring of integers O and with class number 1. Let Gamma be a congruence subgroup of GL_2 (O). We describe a technique to compute the action of the Hecke operators on the cohomology H^3 (Gamma; C). For F real quadratic this cohomology group contains the cuspidal cohomology corresponding to cuspidal Hilbert modular forms of parallel weight 2. Hence this technique gives a way to compute the Hecke action on these Hilbert modular forms.
Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in terms of group cohomology. We also show how our method works in the contexts of quadratic imaginary fields (where there is no Hasse invariant available) and Hilbert modular forms over totally real fields of even degree.
We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the coherent cohomology of the integral perfectoid curve. Specializing to the structural sheaf, we can describe the dual of the completed cohomology as the inverse limit of the integral cusp forms of weight $2$ and trace maps.
The goal of this paper is to provide a complete and refined study of the standard $L$-functions $L(π,\operatorname{Std},s)$ for certain non-generic cuspidal automorphic representations $π$ of $G_2(\mathbb{A})$. For a cuspidal automorphic representation $π$ of $G_2(\mathbb{A})$ that corresponds to a modular form $φ$ of level one and of even weight on $G_2$, we explicitly define the completed standard $L$-function, $Λ(π,\operatorname{Std},s)$. Assuming that a certain Fourier coefficient of $φ$ is nonzero, we prove the functional equation $Λ(π,\operatorname{Std},s) = Λ(π,\operatorname{Std},1-s)$.…
In a paper published in 1959, Shimura presented an elegant calculation of the critical values of L-functions attached to elliptic modular forms using the first cohomology group. We will show that a similar calculation is possible for Hilbert modular forms over real quadratic fields using the second cohomology group. We present explicit numerical examples calculated by this method.
We provide a new and simple automorphic method using Eisenstein series to study the equidistribution of modular symbols modulo primes, which we apply to prove an average version of a conjecture of Mazur and Rubin. More precisely, we prove that modular symbols corresponding to a Hecke basis of weight 2 cusp forms are asymptotically jointly equidistributed mod $p$ while we allow restrictions on the location of the cusps. As an application, we obtain a residual equidistribution result for Dedekind sums. Furthermore, we calculate the variance of the distribution and show a surprising bias with con…
We study the $Λ$-module structure of the ordinary parts of the arithmetic cohomology groups of modular Jacobians made out of various towers of modular curves. We prove that the ordinary parts of $Λ$-adic Selmer groups coming from two different towers have "almost same" $Λ$-module structures. We also prove the cotorsionness of $Λ$-adic Tate-Shafarevich group under mild assumptions.
For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups.
In the literature, the standard approach to finding bases of spaces of modular forms is via modular symbols and the homology of modular curves. By using the Eichler-Shimura isomorphism, a work by Wang shows how one can use a cohomological viewpoint to determine bases of spaces of cusp forms on $Γ_0(N)$ of weight $k \geq 2$ and character $χ$. It is interesting to look at the complexity of this alternative approach, and we do this for an explicit implementation of the algorithm suggested by Wang.
We formulate a detailed conjectural Eichler-Shimura type formula for the cohomology of local systems on a Picard modular surface associated to the group of unitary similitudes $\mathrm{GU}(2,1,\mathbb{Q}(\sqrt{-3}))$. The formula is based on counting points over finite fields on curves of genus three which are cyclic triple covers of the projective line. Assuming the conjecture we are able to calculate traces of Hecke operators on spaces of Picard modular forms. We provide ample evidence for the conjectural formula. Along the way we prove new results on characteristic polynomials of Frobenius …
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.
This is a report on a joint project in experimental mathematics with Jonas Bergström and Carel Faber where we obtain information about modular forms by counting curves over finite fields.
The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…
Let K be an imaginary quadratic field with class number one and ring of integers O. We prove that mod l, a system of Hecke eigenvalues occurring in the first cohomology group of some congruence subgroup Gamma of SL(2,O) can be realized in the first cohomology with trivial coefficients after increasing the level of Gamma by l.
We prove that certain Galois-isotypic parts of the completed cohomology group for U(2) can be written as a completed tensor product of a representation coming from the p-adic Langlands correspondence for $GL_2(\mathbb{Q}_p)$ and a representation arising via the local Langlands correspondence in famillies of Emerton and Helm.
In this paper, we construct a pairing between modular forms of positive real weight and elements of certain Eichler cohomology groups that were introduced by Knopp in 1974. We use spectral theory of automorphic forms to show that this pairing is perfect for all positive weights except 1. The approach in this paper gives a new proof of a theorem by Knopp and Mawi from 2010 for all real weights excluding 1 and also a version of this theorem for vector-valued modular forms.
Under hypotheses required for the Taylor-Wiles method, we prove for forms of $U(3)$ which are compact at infinity that the lattice structure on upper alcove algebraic vectors or on principal series types given by the $λ$-isotypic part of completed cohomology is a local invariant of the Galois representation attached to $λ$ when this Galois representation is residually irreducible locally at places dividing $p$. As a crucial input, we establish corresponding mod $p$ multiplicity one results. Our main innovation is the combination of integral Hecke theory and the Taylor--Wiles method.
We complete several generating functions to non-holomorphic modular forms in two variables. For instance, we consider the generating function of a natural family of meromorphic modular forms of weight two. We then show that this generating series can be completed to a smooth, non-holomorphic modular form of weights 3/2 and two. Moreover, it turns out that the same function is also a modular completion of the generating function of weakly holomorphic modular forms of weight 3/2, which prominently appear in work of Zagier on traces of singular moduli.
In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura varieties, in particular, to contexts in which the relevant automorphic forms contributed to cohomology in exactly two degrees. In this sequel, we extend our method to the general case in which Galois representations are expected to occur in cohomology, contingent on the (as yet unproven) existence of certain Galois representations with the expected properties. A…
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke …
We interpolate cohomology classes attached to families of Hilbert modular forms. Using this we construct a two variable $p$-adic L-function which interpolates one variable $p$-adic L-functions.
We develop a regularization for Petersson inner products of arbitrary weakly holomorphic modular forms, generalizing several known regularizations. As one application, we extend work of Duke, Imamoglu, and Toth on regularized inner products of weakly holomorphic modular forms of weights $0$ and $3/2$. These regularized inner products can be evaluated in terms of the coefficients of holomorphic parts of harmonic Maass forms of dual weights. Moreover, we study the errors of modularity of the holomorphic parts of such a harmonic Maass forms and show that they induce cocyles in the first parabolic…
In this paper we show that Atkin and Swinnerton-Dyer type of congruences hold for weakly modular forms (modular forms that are permitted to have poles at cusps). Unlike the case of original congruences for cusp forms, these congruences are nontrivial even for congruence subgroups. On the way we provide an explicit interpretation of the de Rham cohomology groups associated to modular forms in terms of "differentials of the second kind". As an example, we consider the space of cusp forms of weight 3 on a certain genus zero quotient of Fermat curve X^N+Y^N=Z^N. We show that the Galois representat…
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues associated to Hilbert modular forms over a totally real field.
