Related papers: Eisenstein series modulo prime powers

We study congruences for Eisenstein series on $\mathrm{SL}_2(\mathbb{Z})$ modulo $p^2$, where $p \geq 5$ is prime. It is classically known that all Eisenstein series of weight at least $4$ are determined modulo $p^2$ by those of weight at…

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,…

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…

We say a power series $a_0+a_1q+a_2q^2+\cdots$ is \emph{multiplicative} if $n\mapsto a_n/a_1$ for positive integers $n$ is a multiplicative function. Given the Eisenstein series $E_{2k}(q)$, we consider formal multiplicative power series…

In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where…

For $m$ an even positive integer and $p$ a prime, we show that the generalized Euler polynomial $E_{mp}^{(mp)}(x)$ is in Eisenstein form with respect to $p$ if and only if $p$ does not divide $m (2^m-1)B_m$. As a consequence, we deduce that…

We show that if p is an odd prime then $$\sum_{k=0}^{p-1}E_kE_{p-1-k}=1 (mod p)$$ and $$\sum_{k=0}^{p-3}E_kE_{p-3-k}=(-1)^{(p-1)/2}2E_{p-3} (mod p),$$ where E_0,E_1,E_2,... are Euler numbers. Moreover, we prove that for any positive integer…

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 an elliptic modular form with integral Fourier coefficients in a number field $K$, for which all but finitely many coefficients are divisible by a prime ideal $\frak{p}$ of $K$, is a constant modulo $\frak{p}$. A similar…

Let $p$ be a prime $\ge 5$. We establish explicit rates of overconvergence for members of the "Eisenstein family", notably for the $p$-adic modular function $V(E_{(1,0)}^{\ast})/E_{(1,0)}^{\ast}$ ($V$ the $p$-adic Frobenius operator) that…

Let $p$ be an odd prime. Define the Gaussian power sum \[ G_n(p)=\sum_{a=1}^{p-1}\sum_{b=1}^{p-1}(a+bi)^n\in\mathbb Z[i]. \] We determine $G_p(p)$ modulo high powers of $p$: if $p\equiv 1\pmod 4$ then $$G_p(p)\equiv p^2(1+i)\pmod{p^3},$$…

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\ |\…

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…

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$…

Let $p$ be a prime, and let $k,n,m,n_0$ and $m_0$ be nonnegative integers such that $k\ge 1$, and $_0$ and $m_0$ are both less than $p$. K. Davis and W. Webb established that for a prime $p\ge 5$ the following variation of Lucas' Theorem…

We will prove several congruences modulo a power of a prime such as $$ \sum_{0<k_1<...<k_{n}<p}\leg{p-k_{n}}{3} {(-1)^{k_{n}}\over k_1... k_{n}}\equiv {lll} -{2^{n+1}+2\over 6^{n+1}} p B_{p-n-1}({1\over 3}) &\pmod{p^2} &{if $n$ is odd}…

We present several congruences modulo a power of prime $p$ concerning sums of the following type $\sum_{k=1}^{p-1}{m^k\over k^r}{2k\choose k}^{-1}$ which reveal some interesting connections with the analogous infinite series.

In this paper we prove that for any prime $p\ge 11$ holds $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}. $$ This is a generalization of the famous Wolstenholme's theorem which…

Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of…

In this paper we prove two results. The first theorem uses a paper of Kim \cite{K} to show that for fixed primes $p_1,...,p_k$, and for fixed integers $m_1,...,m_k$, with $p_i\not|m_i$, the numbers $(e_{p_1}(n),...,e_{p_k}(n))$ are…