Related papers: A new basis for the space of modular forms
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 modular discriminant $\Delta$ is known to structure the sequence of modular forms $(M_{2k}(SL_2(\mathbb{Z})))_{k\in \; \mathbb{N}^*}$ at level $1$.\\ For all positive integer $N$, we define a strong modular unit $\Delta_N$ at level $N$…
Based on the notion of strong modular form developed in Part I, we propose to structure the family of cuspidal modular form spaces $(S_{2k}(\Gamma_0(N)))_{k\in \mathbb{N}^*}$ and to determine bases for each of these spaces, once known bases…
In the first part of this article, which contains three of them, we have identified the notion of level $N$ strong modular unit. It enabled us to structure the modular forms family $(M_{2k}(\Gamma_0(N)))_{k\in \mathbb{N}^*}$ and to propose…
We develop a new algorithm to compute a basis for $M_k(\Gamma_0(N))$, the space of weight $k$ holomorphic modular forms on $\Gamma_0(N)$, in the case when the graded algebra of modular forms over $\Gamma_0(N)$ is generated at weight two.…
We locate the zeros of the modular forms $E_k^2(\tau) + E_{2k}(\tau), E_k^3(\tau) + E_{3k} (\tau),$ and $E_k(\tau)E_l(\tau) +E_{k+l}(\tau),$ where $E_k(\tau)$ is the Eisenstein series for the full modular group $\text{SL}_2(\mathbb{Z})$. By…
This article proposes a new approach to studying the spectral Eisenstein series of weight $k$ on a congruence subgroup of $\text{SL}_2(\mathbb{Z})$ using Hecke's theory of Eisenstein series for the principal congruence subgroups. Our method…
The purpose of this article is to give a simple and explicit construction of mock modular forms whose shadows are Eisenstein series of arbitrary integral weight, level, and character. As application, we construct forms whose shadows are…
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 $k$ be a positive integer such that $k\equiv3\mod4$, and let $N$ be a positive square-free integer. In this paper, we compute a basis for the two-dimensional subspace $S_{\frac{k}{2}}(\Gamma_{0}(4N),F)$ of half-integral weight modular…
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…
We use the description of the Picard modular surface for discriminant $-3$ as a moduli space of curves of genus $3$ to generate all vector-valued Picard modular forms from bi-covariants for the action of ${GL}_2$ on the space of pairs of…
We consider the space of Siegel modular forms of genus $g$ of weight two relative to the main congruence subgroup of level 2 and to Igusa's group $\Gamma_g(4, 8)$ and $\Gamma_g(2,4)$.One of the main results of this paper is that in the case…
We discover a non-trivial relation between the mock modular generating functions of the level $1$ and level $N$ Hurwitz class numbers. This relation yields a holomorphic modular form of weight $\frac{3}{2}$ and level $4N$, where $N > 1$ is…
Let $k,N \in \mathbb{N}$ with $N$ square-free and $k>1$. We prove an orthogonal relation and use this to compute the Fourier coefficients of the Eisenstein part of any $f(z) \in M_{2k}(\Gamma_0(N))$ in terms of sum of divisors function. In…
A formula for the dimension of the space of cuspidal modular forms on $\Gamma_0(N)$ of weight $k$ ($k\ge2$ even) has been known for several decades. More recent but still well-known is the Atkin-Lehner decomposition of this space of cusp…
Let $\Gamma$ be a cocompact, discrete, and irreducible subgroup of $\mathrm{PSL}_{2}(\mathbb{R})^{n}$. Let $\nu$ be a unitary character of $\Gamma$. For $k\in1\slash 2\,\mathbb{Z}$, let $\sknu$ denote the complex vector space of cusp forms…
We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by $\pm 1$. We…
In this paper we consider weakly holomorphic modular forms (i.e. those meromorphic modular forms for which poles only possibly occur at the cusps) of weight $2-k\in 2\Z$ for the full modular group $\SL_2(\Z)$. The space has a distinguished…
This paper has three main objectives: (i) To establish an isomorphism between Jacobi forms of index $D_{2n+1}$ (lattice index) and elliptic modular forms of level $2$. (ii) To provide an explicit formula for the Fourier coefficients of…