The aim of this paper is to show how differential characters of Abelian varieties can be used to construct differential modular forms of weight 0 and order 2 which are eigenvectors of Hecke operators. These differential modular forms have "essentially the same" eigenvalues as certain classical complex eigenforms of weight 2.
We use Maeda's Conjecture to prove that the Rankin-Cohen bracket of an eigenform and any modular form is only an eigenform when forced to be because of the dimensions of the underlying spaces. We further determine when the Rankin-Cohen bracket of an eigenform and modular form is not forced to produce an eigenform and when it is determined by the injectivity of the operator itself. This can also be interpreted as using the Rankin-Cohen bracket operator of eigenforms to create evidence for Maeda's Conjecture.
We prove that amongst all real quadratic fields and all spaces of Hilbert modular forms of full level and of weight $2$ or greater, the product of two Hecke eigenforms is not a Hecke eigenform except for finitely many real quadratic fields and finitely many weights. We show that for $\mathbb Q(\sqrt 5)$ there are exactly two such identities.
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.
The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over F_p^bar of parallel weight 1 and level prime to p is unramified above p. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic p embed into the ordinary part of parallel weight p forms in two different ways per prime dividing p, namely via `partial' Frobenius operators.
We construct a bipartite Euler system in the sense of Howard for Hilbert modular eigenforms of parallel weight two over totally real fields, generalizing works of Bertolini-Darmon, Longo, Nekovar, Pollack-Weston and others. The construction has direct applications to Iwasawa main conjectures. For instance, it implies in many cases one divisibility of the associated dihedral or anticyclotomic main conjecture, at the same time reducing the other divisibility to a certain nonvanishing criterion for the associated p-adic L-functions. It also has applications to cyclotomic main conjectures for Hilb…
We construct p-adic L-functions associated to cuspidal Hilbert modular eigenforms of parallel weight two in certain dihedral or anticyclotomic extensions via the Jacquet-Langlands correspondence, generalizing works of Bertolini-Darmon, Vatsal and others. The construction given here is adelic, which allows us to deduce a precise interpolation formula from a Waldspurger type formula, as well as a formula for the dihedral mu-invariant. We also make a note of Howard's nonvanishing criterion for these p-adic L-functions, which can be used to reduce the associated Iwasawa main conjecture to a certai…
It is shown that extremal $2$-modular lattices of ranks $32$ and $48$ are generated by their vectors of minimal norm. In the proof, we use certain properties of the difference of normalized Hecke eigenforms. We refer to them as the pseudo-normalized Hecke eigenform, the concept of which is introduced in this paper.
Although links between values of finite field hypergeometric functions and eigenvalues of elliptic modular forms are well known, we establish in this paper that there are also connections to eigenvalues of Siegel modular forms of higher degree. Specifically, we relate the eigenvalue of the Hecke operator of index $p$ of a Siegel eigenform of degree 2 and level 8 to a special value of a ${}_4F_3$-hypergeometric function.
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 results provide evidence towards conjectures of the first author that predict the slopes of classical p-adic modular forms under a mild ``Gamma_0(N)''-regular hypothesis on p.
We show that the image of repeated differentiation on weak cusp forms is precisely the subspace which is orthogonal to the space of weakly holomorphic modular forms. This gives a new interpretation of the weakly holomorphic Hecke eigenforms.
A result of Dieulefait-Wiese proves the existence of modular eigenforms of weight 2 for which the image of every associated residual Galois representation is as large as possible. We generalize this result to eigenforms of general even weight k $\geq$ 2.
In this paper, we propose an improved algorithm for computing mod $\ell$ Galois representations associated to eigenforms of arbitrary levels prime to $\ell$. Precisely, we present a method to find the Jacobians of modular curves which have the smallest possible dimensions in a well-defined sense to realize the modular Galois representations. This algorithm also works without the assumption $\ell \ge k-1$, where $k$ are the weights of the eigenforms.
Cusp forms for the full modular group can be written as linear combination of double Eisenstein series introduced by Gangl, Kaneko and Zagier. We give an explicit formula for decomposing a Hecke eigenform into double Eisenstein series.
Let F be a totally real number field, and let f traverse a sequence of non-dihedral holomorphic eigencuspforms on GL(2)/F of weight (k_1,...,k_n), trivial central character and full level. We show that the mass of f equidistributes on the Hilbert modular variety as max(k_1,...,k_n) tends to infinity. Our result answers affirmatively a natural analogue of a conjecture of Rudnick and Sarnak (1994). Our proof generalizes the argument of Holowinsky-Soundararajan (2008) who established the case F = Q. The essential difficulty in doing so is to adapt Holowinsky's bounds for the Weyl periods of the e…
We show that signs of Fourier coefficients, on certain sub-families, determine the half-integral weight cuspidal eigenform uniquely, up to a positive constant. We also study sign change results for the product of the Fourier coefficients of two distinct half-integral weight eigenforms.
Systematic choice of the Hecke eigenforms of half-integral weight is an interesting problem in the theory of modular forms. In this paper, we find all Dedekind-eta products of half-integral weight which are Hecke eigenforms up to weight 15/2 with varying levels. Proof is based on the Shimura lift.
Let $f$ be a cuspidal Hecke eigenform of level 1. We prove the automorphy of the symmetric power lifting $\mathrm{Sym}^n f$ for every $n \geq 1$. We establish the same result for a more general class of cuspidal Hecke eigenforms, including all those associated to semistable elliptic curves over $\mathbb{Q}$.
We obtain a closed form polynomial expression for certain coefficients of Drinfeld-Goss double-cuspidal modular forms which are eigenforms for the degree one Hecke operators with power eigenvalues, and we use those formulas to prove vanishing results for an infinite family of those coefficients.
Consider the Fourier expansions of two elements of a given space of modular forms. How many leading coefficients must agree in order to guarantee that the two expansions are the same? Sturm gave an upper bound for modular forms of a given weight and level. This was adapted by Ram Murty, Kohnen and Ghitza to the case of two eigenforms of the same level but having potentially different weights. We consider their expansions modulo a prime ideal, presenting a new bound. In the process of analysing this bound, we generalise a result of Bach and Sorenson, who provide a practical upper bound for the …
We introduce the notion of Drinfeld modular forms with $A$-expansions, where instead of the usual Fourier expansion in $t^n$ ($t$ being the uniformizer at `infinity'), parametrized by $n \in \mathbb{N}$, we look at expansions in $t_a$, parametrized by $a \in A = \Fq [T]$. We construct an infinite family of eigenforms with $A$-expansions. Drinfeld modular forms with $A$-expansions have many desirable properties that allow us to explicitly compute the Hecke action. The applications of our results include: (i) various congruences between Drinfeld eigenforms; (ii) the computation of the eigensyste…
We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients involve periods and quasi-periods of cusp forms, which are conjecturally transcendental. In particular, we settle the question of finding explicit `weak harmonic lifts' for every eigenform of integral weight $k$ and level one. We show that mock modular forms of integral weight are algebro-geometric and have Fourier coefficients proportional to $n^{1-k}(a'_n + …
Let f be a cusp form of weight k+1/2 and at most quadratic nebentype character whose Fourier coefficients a(n) are all real. We study an equidistribution conjecture of Bruinier and Kohnen for the signs of a(n). We prove this conjecture for certain subfamilies of coefficients that are accessible via the Shimura lift by using the Sato-Tate equidistribution theorem for integral weight modular forms. Firstly, an unconditional proof is given for the family {a(tp^2)}_p where t is a squarefree number and p runs through the primes. In this case, the result is in terms of natural density. To prove it f…
Generalizing a result of~\cite{Z1991} for modular forms of level~one, we give a closed formula for the sum of all Hecke eigenforms on $Γ_0(N)$, multiplied by their odd period polynomials in two variables, as a single product of Jacobi theta series for any squarefree level $N$. We also show that for $N=2$,~3 and~5 this formula completely determines the Fourier expansions of all Hecke eigenforms of all weights on $Γ_0(N)$.
For a half integral weight modular form $f$ we study the signs of the Fourier coefficients $a(n)$. If $f$ is a Hecke eigenform of level $ N$ with real Nebentypus character, and $t$ is a fixed square-free positive integer with $a(t)\neq 0$, we show that for all but finitely many primes $p$ the sequence $(a(tp^{2m}))_{m}$ has infinitely many signs changes. Moreover, we prove similar (partly conditional) results for arbitrary cusp forms $f$ which are not necessarily Hecke eigenforms.
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 carry out some computations of vector valued Siegel modular forms of degree two, weight (k,2) and level one. Our approach is based on Satoh's description of the module of vector-valued Siegel modular forms of weight (k, 2) and an explicit description of the Hecke action on Fourier expansions. We highlight three experimental results: (1) we identify a rational eigenform in a three dimensional space of cusp forms, (2) we observe that non-cuspidal eigenforms of level one are not always rational and (3) we verify a number of cases of conjectures about congruences between classical modular forms…
Let $X$ be a Shimura curve of genus zero. In this paper, we first characterize the spaces of automorphic forms on $X$ in terms of Schwarzian differential equations. We then devise a method to compute Hecke operators on these spaces. An interesting by-product of our analysis is the evaluation $$_2F_1(1/24,7/24,5/6, -\frac{2^{10}\cdot3^3\cdot5}{11^4})=\sqrt6 \sqrt[6]{\frac{11}{5^5}} $$ and other similar identities.
We address some questions posed by Goss related to the modularity of Drinfeld modules of rank 1 defined over the field of rational functions in one variable with coefficients in a finite field. For each positive characteristic valued Dirichlet character, we introduce certain projection operators on spaces of Drinfeld modular forms with character of a given weight and type such that when applied to a Hecke eigenform return a Hecke eigenform whose eigensystem has been twisted by the given Dirichlet character. Unlike the classical case, however, the effect on Goss' $u$-expansions for these eigenf…
We work out a non-trivial example of lifting a so-called weak eigenform to a true, characteristic 0 eigenform. The weak eigenform is closely related to Ramanujan's tau function whereas the characteristic 0 eigenform is attached to an elliptic curve defined over ${\mathbb Q}$. We produce the lift by showing that the coefficients of the initial, weak eigenform (almost all) occur as traces of Frobenii in the Galois representation on the 4-torsion of the elliptic curve. The example is remarkable as the initial form is known not to be liftable to any characteristic 0 eigenform of level 1. We use th…
The ghost conjecture, formulated by this article's authors, predicts the list of p-adic valuations of the non-zero p-th eigenvalues ("slopes") for overconvergent p-adic modular eigenforms in terms of the Newton polygon of an easy-to-describe power series (the "ghost series"). The prediction is restricted to eigenforms whose Galois representation modulo p is reducible on a decomposition group at p. It has been discovered, however, that the conjecture is not formulated correctly. Here we explain the issue and propose a salvage.
In this paper we show that under certain condition the Fontaine--Mazur $L$-invariant for a Hilbert eigenform coincides with its Teitelbaum type $L$-invariant, and thus prove a conjecture of Chida, Mok and Park.
We study the distribution of zeros of holomorphic modular forms. Assuming the Generalized Riemann Hypothesis we show that the zeros of Hecke eigenforms for the modular group become equidistributed with respect to the hyperbolic measure on the modular domain as the weight grows.
We extend previous work of the author using an idea of Buzzard and give an elementary construction of non-ordinary $p$-adic families of Hilbert Modular Eigenforms.
We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N, m, and prime p with p not dividing N, there is only a finite number of reductions modulo p^m of normalized eigenforms on Γ_1(N). We consider various variants of our basic finiteness conjecture, prove a weak version of it, and give some numerical evidence.
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).$
We describe an implementation for computing holomorphic and skew-holomorphic Jacobi forms of integral weight and scalar index on the full modular group. This implementation is based on formulas derived by one of the authors which express Jacobi forms in terms of modular symbols of elliptic modular forms. Since this method allows to generate a Jacobi eigenform directly from a given modular eigensymbol without reference to the whole ambient space of Jacobi forms it makes it possible to compute Jacobi Hecke eigenforms of large index. We illustrate our method with several examples.
In this paper, we investigate the sign changes of Fourier coefficients of half-integral weight Hecke eigenforms and give two quantitative results on the number of sign changes.
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.
Given a prime $p \ge 5$ and an abstract odd representation $ρ_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $ρ_n$ to characteristic $0$ whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform $f$ witho…
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 establish lower bounds for (i) the numbers of positive and negative terms and (ii) the number of sign changes in the sequence of Fourier coefficients at squarefree integers of a half-integral weight modular Hecke eigenform.
We bound the supnorm of half-integral weight Hecke eigenforms in the Kohnen plus space of level $4$ in the weight aspect, by combining bounds obtained from the Fourier expansion with the amplification method using a Bergman kernel.
In this paper we present an algorithm for computing Hecke eigensystems of Hilbert-Siegel cusp forms over real quadratic fields of narrow class number one. We give some illustrative examples using the quadratic field $\Q(\sqrt{5})$. In those examples, we identify Hilbert-Siegel eigenforms that are possible lifts from Hilbert eigenforms.