Related papers: Eisenstein series modulo $p^2$
If $p\geq 5$ is prime and $k\geq 4$ is an even integer with $(p-1)\nmid k$ we consider the Eisenstein series $G_k$ on $\operatorname{SL}_2(\mathbb{Z})$ modulo powers of $p$. It is classically known that for such $k$ we have $G_k\equiv…
From the theory of modular forms, there are exactly $[(k-2)/6]$ linear relations among the Eisenstein series $E_k$ and its products $E_{2i}E_{k-2i}\ (2\le i \le [k/4])$. We present explicit formulas among these modular forms based on the…
The weight two Eisenstein series may be considered as the first example of a Katz $p$-adic modular form. Classically, its values are defined for the primes of ordinary reduction. We offer a modified definition which applies uniformly to all…
Let $p\ge 5$ be a prime. We show that the space of weight one Eisenstein series defines an embedding into $\PP^{(p-3)/2}$ of the modular curve $X_1(p)$ for the congruence group $\Gamma_1(p)$ that is scheme-theoretically cut out by explicit…
We show that every elliptic modular form of integral weight greater than $1$ can be expressed as linear combinations of products of at most two cusp expansions of Eisenstein series. This removes the obstruction of nonvanishing central…
Let $E$ be a level 1, vector valued Eisenstein series of half-integral weight, normalized so that the coefficients are all in $\mathbb{Z}$. We show that there is a level one vector valued cusp form $f$ with the same weight as $E$ and with…
Let $p$ be an odd prime and let $d\in\{2,3,7\}$. When $(\frac{-d}p)=1$ we can write $p=x^2+dy^2$ with $x,y\in\mathbb Z$; in this paper we aim at determining $x$ or $y$ modulo $p^2$. For example, when $p=x^2+3y^2$, we show that if $p\equiv…
The theta cycle of a modular form modulo a prime $p\geq 5$ is well understood. By contrast, the theta cycle modulo a power of $p$ is still mysterious and experimentally erratic. Here we completely determine the theta cycle of a weight $k <…
Let $p\geq 5$ be prime. For elliptic modular forms of weight 2 and level $\Gamma_0(N)$ where $N>6$ is squarefree, we bound the depth of Eisenstein congruences modulo $p$ (from below) by a generalized Bernoulli number with correction factors…
Let $G_{2n}$ be the Eisenstein series of weight $2n$ for the full modular group $\Gamma=SL_2(\ZZ)$. It is well-known that the space $M_{2k}$ of modular forms of weight $2k$ on $\Gamma$ has a basis $\{G_{4}^\alpha G_{6}^\beta\ |\…
We identify a class of "semi-modular" forms invariant on special subgroups of $GL_2(\mathbb Z)$, which includes classical modular forms together with complementary classes of functions that are also nice in a specific sense. We define an…
We study equivariant primitives of Eisenstein series for principal congruence subgroups and show that they are precisely the corresponding non-holomorphic Eisenstein series. We present closed formulas that naturally generalise existing…
In the present article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these…
This note points out that for any odd prime $p$, Zagier's weight $3/2$ mock Eisenstein series can be completed to a $p$-adic modular form in a way that bears some resemblance to its completion to a harmonic Maass form.
Let $p$ be a prime number. Continuing and extending our previous paper with the same title, we prove explicit rates of overconvergence for modular functions of the form $\frac{E_k^{\ast}}{V(E_k^{\ast})}$ where $E_k^{\ast}$ is a classical,…
We compute Fourier series expansions of weight $2$ and weight $4$ Eisenstein series at various cusps. Then we use results of these computations to give formulas for the convolution sums $ \sum_{a+p b=n}\sigma(a)\sigma(b)$, $ \sum_{p_1a+p_2…
We prove a conjecture of Matsusaka on the analytic continuationof hyperbolic Eisenstein series in weight $2$ on the full modular group $\mathrm{SL}_2(\mathbb{Z})$.
Let $N$ and $p$ be prime numbers with $p \geq 5$ such that $p || (N + 1)$. In a previous paper, we showed that there is a cuspform $f$ of weight 2 and level $\Gamma_0(N^2)$ whose $\ell$-th Fourier coefficient is congruent to $\ell + 1$…
We investigate certain Eisenstein congruences, as predicted by Harder, for level p paramodular forms of genus 2. We use algebraic modular forms to generate new evidence for the conjecture. In doing this we see explicit computational…
We show that certain $p$-adic Eisenstein series for quaternionic modular groups of degree 2 become "real" modular forms of level $p$ in almost all cases. To prove this, we introduce a $U(p)$ type operator. We also show that there exists a…