In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic congruences between the corresponding modular forms. We also show that the dimension of the slope subspace of the space of modular forms does not depend on the weight. Both statements are predicted by the Mazur-Gouvea Conjecture, which has been proven by Coleman using methods from rigid analytic geometry. In contrast our proof is based on a comparison of (topological) trace formulas.
We relate non-critical special values $p$-adic $L$-functions associated to algebraic Hecke characters of an imaginary quadratic number field with class number one to $p$-adic Coleman function called the $p$-adic Eisenstein-Kronecker series, when the conductors of the algebraic Hecke characters are divisible by $p$.
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 show that if an Eisenstein component of the $p$-adic Hecke algebra associated to modular forms is Gorenstein, then it is necessary that the plus-part of a certain ideal class group is trivial. We also show that this condition is sufficient whenever a conjecture of Sharifi holds.
The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.
We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep conjectures in Galois cohomology which are higher analogs of the classical Leopoldt conjecture.
As a continuation of previous work, we establish sum expressions for $p$-adic Hecke $L$-functions of totally real fields in the sense of Delbourgo, assuming a totally real analog of Heegner hypothesis. This is done by finding explicit formulas of the periods of the corresponding $p$-adic measures. As an application, we extend the Ferrero-Greenberg formula of derivatives of $p$-adic $L$-functions to this setting.
Let $χ$ be a Hecke character of finite order of a totally real number field $F$. By using Hill's Shintani cocyle we provide a cohomological construction of the $p$-adic $L$-series $L_p(χ, s)$ associated to $χ$. This is used to show that $L_p(χ, s)$ has a trivial zero at $s=0$ of order at least equal to the number of places of $F$ above $p$ where the local component of $χ$ is trivial.
We prove the transfer congruence between $p$-adic Hecke $L$-functions for CM fields over cyclotomic extensions, which is a non-abelian generalization of the Kummer's congruence. The ingredients of the proof include the comparison between Hilbert modular varieties, the $q$-expansion principle, and some modification of Hsieh's Whittaker model for Katz' Eisenstein series. As a first application, we prove explicit congruence between special values of Hasse-Weil $L$-function of a CM elliptic curve twisted by Artin representations. As a second application, we prove the existence of a non-commutative…
We study the structure of the Eisenstein component of Hida's ordinary p-adic Hecke algebra attached to modular forms, in connection with the companion forms in the space of modular forms (mod p). We show that such an algebra is a Gorenstein ring if certain space of modular forms (mod p) having companions is one-dimensional; and also give a numerical criterion for this one-dimensionality. This in part overlaps with a work of Skinner and Wiles; but our method, based on a work of Ulmer, is totally different. We then consider consequences of the above mentioned Gorenstein property. We especially d…
The present paper studies Hecke rings derived by the automorphism groups of certain algebras $L_p$ over the ring of $p$-adic integers. Our previous work considered the case where $L_p$ is the Heisenberg Lie algebra (of dimension 3) over the ring of $p$-adic integers. Although this Hecke ring is noncommutative, we showed that a formal power series with coefficients in this Hecke ring satisfies an identity similar to the rationality of the Hecke series for $GL_2$ due to E.~Hecke. In the present paper, we establish an analogous result in the case of the Heisenberg Lie algebra of dimension 5 over …
For the anticyclotomic p-adic Rankin--Selberg L-function attached to a fixed Hecke eigenform and an imaginary quadratic field we introduce the second p-adic variable by considering Hida families of Hecke eigenforms parametrized by the weight.
The goal of this paper is to construct the p-adic analytic family of overconvergent half-integral weight modular forms using Hecke-equivariant overconvergent Shintani lifting. The classical Shintani map is the Hecke-equivariant map from the space of cusp forms of integral weight to the space of cusp forms of half-integral weight. Glenn Stevens proved in [St1] that there is Lamda-adic lifting of this map to the Hida family of ordinary cusp forms of integral weight and consequently constructed Lamda-adic modular eigen form of half-integral weight. The natural thing to do is generalizing his resu…
The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms.
We define Hecke operators on vector valued modular forms transforming with the Weil representation associated to a discriminant form. We describe the properties of the corresponding algebra of Hecke operators and study the action on modular forms.
We calculate the effect of simple Hecke operators on u-expansions of higher rank Drinfeld modular forms, the eigenvalue for the Drinfeld discriminant function $Δ_t$ and show that a certain natural class of Hecke operators is completely multiplicative.
In this paper we give a modular interpretation of the $k$-th symmetric power $L$-function of the Kloosterman family of exponential sums in characteristics 2 and 3, and in the case of $p=2$ and $k$ odd give the precise 2-adic Newton polygon. We also give a $p$-adic modular interpretation of Dwork's unit root $L$-function of the Kloosterman family, and give the precise 2-adic Newton polygon when $k$ is odd. In a previous paper, we gave an estimate for the $q$-adic Newton polygon of the symmetric power $L$-function of the Kloosterman family when $p \geq 5$. We discuss how this restriction on prim…
In this paper we determine the explicit structure of the semisimple part of the Hecke algebra that acts on Drinfeld modular forms of full level modulo T . We use computations of the Hecke action modulo T to find Drinfeld modular forms that cannot be eigenforms. Finally, we conjecture that the Hecke algebra that acts on Drinfeld modular forms of full level is not smooth for large weight.
We calculate the action of some Hecke operators on spaces of modular forms spanned by the Siegel theta-series of certain genera of strongly modular lattices closely related to the Leech lattice. Their eigenforms provide explicit examples of Siegel cusp forms.
We characterize the space of new forms for $Γ_0(m)$ as a common eigenspace of certain Hecke operators which depend on primes $p$ dividing the level $m$. To do that we find generators and relations for a $p$-adic Hecke algebra of functions on $K={\rm GL}_2(\mathbb{Z}_p)$. We explicitly find the $n+1$ irreducible representations of $K$ which contain a vector of level $n$ including the unique representation that contains the "new vector" at level $n$. After translating the $p$-adic Hecke operators that we obtain into classical Hecke operators we obtain the results about the new space mentioned ab…
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.
We show that, under suitable assumptions, the systems of Hecke eigenvalues arising from (mod p) modular forms of PEL-type associated to an algebraic group G of type A or C coincide with the Hecke eigensystems arising from (mod p) algebraic modular forms for an inner form of G. We treat explicitly the case of unitary groups, and we give in this case an asymptotic formula for the number of eigensystems. The paper generalizes results of J-P. Serre for GL(2) and A. Ghitza for GSp(2g).
We investigate non-vanishing properties of $L(f,s)$ on the real line, when $f$ is a Hecke eigenform of half-integral weight $k+{1\over 2}$ on $Γ_0(4).$
Let $G_{n}=\operatorname{GL}_{n}(F)$, where $F$ is a non-archimedean local field with residue characteristic $p$ and where $n=2k$ is even. In this article, we investigate a question occurring in the decomposition of the category of $\ell$-modular smooth representations of $G_n$ into Bernstein blocks (where $\ell\neq p$). The easiest block not investigated in \cite{guiraud} is the one defined by the standard parabolic subgroup with Levi factor $M=\GL_k(F) \times \GL_k(F)$ and by an $M$-representation of the form $π_0 \boxtimes π_0$ with $π_0$ a supercuspidal $\GL_k(F)$-representation. This bloc…
This survey article, is written as an extended note and supplement of my lectures in the current developments in mathematics conference in 2015. We discuss some recent developments on the conjugacy classes of affine Weyl groups and $p$-adic groups, and some applications to Shimura varieties and to representations of affine Hecke algebras.
In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a structure analogous to the case of the Siegel modular group and coincides with the tensor product of its $p$-components for inert primes $p$. This leads to a characterization of the associated Siegel-Eisenstein series. The proof also involves Hecke theory for particular congruence subgroups.
Under mild hypotheses on the residual representation, we prove the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras using a novel combination of the methods of Euler systems and Taylor-Wiles systems. We also prove the compatibility of this conjecture with specialization.
Let F(z) be a newform of weight 2k and level one with a trivial character, and assume that F(z) is a non-zero eigenform of all Hecke operators. In this paper, we study nonvanishing for central values of twisted modular L-function of F.
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.
A description is given of all primitive differential series mod p of order 1 which are eigenvectors of all the Hecke operators and which are differential Fourier expansions of differential modular forms of arbitrary order and given weight; this set of differential series is shown to be in a natural one-to-one correspondence with the set of series mod p (of order 0) which are eigenvectors of all the Hecke operators and which are Fourier expansions of (classical) modular forms of appropriate weight.
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…
We take some initial steps towards illuminating the (hypothetical) $p$-adic local Langlands functoriality principle relating Galois representations of a $p$-adic field $L$ and admissible unitary Banach space representations of $G(L)$ when $G$ is a split reductive group over $L$. The outline of our work is derived from Breuil's remarkable insights into the nature of the correspondence between 2-dimensional crystalline Galois representations of the Galois group of $\Qdss_p$ and Banach space representations of $GL_{2}(\Qdss_p)$.
We prove that Cohen's Maass wave form and Li-Ngo-Rhoades' Maass wave form are Hecke eigenforms with respect to certain Hecke operators. As a corollary, we find new identities of the $p$th coefficients of these Maass wave forms in terms of $p$th root of unities.
Matrix representations of Hecke operators on classical holomorphical cusp forms and corresponding period polynomials are well known. In this article we define Hecke operators on period functions and show that they correspond to the Hecke operators on Maass cusp forms. Moreover we give an explicite general compatibility criterion for formal sums of matrices to represent Hecke operators ob period functions. An explicite example with only nonnegative entries in the matrices is constructed.
Given two Siegel eigenforms of different weights, we determine explicit sets of Hecke eigenvalues for the two forms that must be distinct. In degree two, and under some additional conditions, we determine explicit sets of Fourier coefficients of the two forms that must be distinct.
We construct an Euler system of generalized Heegner cycles to bound the Selmer group associated to a modular form and an algebraic Hecke character. The main argument is based on Kolyvagin's machinery explained by Gross while the key object of the Euler system, the generalized Heegner cycles, were first considered by Bertolini, Darmon and Prasanna.
The Galois representations associated to weight $1$ newforms over $\bar{\mathbb{F}}_p$ are remarkable in that they are unramified at $p$, but the computation of weight $1$ modular forms has proven to be difficult. One complication in this setting is that a weight $1$ cusp form over $\bar{\mathbb{F}}_p$ need not arise from reducing a weight $1$ cusp form over $\bar{\mathbb{Q}}$. In this article we propose a unified "Hecke stability method" for computing spaces of weight $1$ modular forms of a given level in all characteristics simultaneously. Our main theorems outline conditions under which a f…
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.
A well-known observation of Serre and Tate is that the Hecke algebra acts locally nilpotently on modular forms mod 2 on $\mathrm{SL}_2(\mathbb{Z})$. We give an algorithm for calculating the degree of Hecke nilpotency for cusp forms, and we obtain a formula for the total number of cusp forms mod 2 of any given degree of nilpotency. Using these results, we find that the degrees of Hecke nilpotency in spaces $M_k$ have no limiting distribution as $k \rightarrow \infty$. As an application, we study the parity of the partition function using Hecke nilpotency.
We define Hilbert-Siegel modular forms and Hecke "operators" acting on them. As with Hilbert modular forms, these linear transformations are not linear operators until we consider a direct product of spaces of modular forms (with varying groups), modulo natural identifications we can make between certain spaces. With Hilbert-Siegel forms we identify several families of natural identifications between certain spaces of modular forms. We associate the Fourier coefficients of a form in our product space to even integral lattices, independent of a basis and choice of coefficient rings. We then det…
We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components. We can give a set of generators and in some special cases we deduce the law of interchange of the Siegel $Φ$-operator.
This paper answers a question of Gross and others, by exhibiting specific examples of Hecke algebras where mod 2 multiplicity one fails for some modular forms, and the associated Hecke algebras are not Gorenstein. It shows that the methods of Wiles, Gross, Edixhoven, Buzzard, Mazur and others have an upper bound to their applicability.
We study polynomials interpolating the (rational) constant terms of certain meromorphic modular forms for Hecke groups. We make observations about the divisibility properties of the constant terms and connect them to several sequences, for example, to O.E.I.S. sequence A005148 \cite{OEISNewmanShanks}, which was studied by Newman, Shanks and Zagier \cite{newman2004sequence}, \cite{newman2004sequenceAppendix} in an article on its use in series approximations to $π$.
In this paper, we consider the question of correcting mock modular forms in order to obtain $p$-adic modular forms. In certain cases we show that a mock modular form $M^+$ is a $p$-adic modular form. Furthermore, we prove that otherwise the unique correction of $M^+$ is intimately related to the shadow of $M^+$.
We propose a method for computing approximations to the Hecke eigenvalues of a classical modular eigenform $f$, based on the analytic evaluation of $f$ at points in the upper half plane. Our approach works with arbitrary precision, allows for a strict control of the error in the approximation, and outperforms current exact computation methods.
We survey techniques to compute the action of the Hecke operators on the cohomology of arithmetic groups. These techniques can be seen as generalizations in different directions of the classical modular symbol algorithm, due to Manin and Ash-Rudolph. Most of the work is contained in papers of the author and the author with Mark McConnell. Some results are unpublished work of Mark McConnell and Robert MacPherson.
We show that the systems of prime-to-$p$ Hecke eigenvalues arising from automorphic forms$\pmod p$ for a good prime $p$ associated to an algebraic group $G/\mathbb Q$ of Hodge type are the same as those arising from algebraic modular forms$\pmod p$ associated to an inner form of $G$.
Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p-adic overconvergent forms containing f.
We show that Siegel modular forms of level Γ_0(p^m) are p-adic modular forms. Moreover we show that derivatives of such Siegel modular forms are p-adic. Parts of our results are also valid for vector-valued modular forms. In our approach to p-adic Siegel modular forms we follow Serre closely; his proofs however do not generalize to the Siegel case or need some modifications.
For a prime number $q\geq 5$ and a positive integer $N$ prime to $q$, Ribet proved the action of the Hecke algebra on the component group of the Jacobian variety of the modular curve of level $Nq$ at $q$ is "Eisenstein", which means the Hecke operator $T_\ell$ acts by $\ell+1$ when $\ell$ is a prime number not dividing the level. In this paper, we completely compute the action of the Hecke algebra on this component group by a careful study of supersingular points with extra automorphisms.
We derive an explicit upper bound for the number of systems of Hecke eigenvalues coming from Siegel modular forms (mod p) of dimension g and level N relatively prime to p. In the special case of elliptic modular forms (g=1), our result agrees with recent work of G. Herrick.
