A Quick Introduction to the Theory of (Quasi)modular Forms

In this post, I shall explain what is a quasimodular forms, which are the main mathematical objects for this GSoC project.

Basic knowledge of classical modular forms will be assumed throughougt this text, but let’s recall the definition. First we define an action of the group of $2\times 2$ matrices with coefficient in $\mathbb{Z}$ and determinant $1$, denoted $\mathrm{SL}_2(\mathbb{Z})$ (called the modular group), on the upper half plane $\mathbb{H} := \lbrace z \in \mathbb{C} : \mathrm{im}(z)>0 \rbrace$ by

Definition.

A weak modular form of weight $k$ for $\mathrm{SL}_2(\mathbb{Z})$ is an holomorphic function $f:\mathbb{H} \rightarrow \mathbb{C}$ such that

for every $z\in \mathbb{H}$ and every $\bigl(\begin{smallmatrix} a & b\\ c & d \end{smallmatrix}\bigr) \in \mathrm{SL}_2(\mathbb{Z})$. This invariance property is called the modularity condition. $\diamond$

If we define the operator $f\mid_k\gamma(z) := (cz+d)^{-k} f(\gamma z)$, then the notion of being weakly holomorphic is the same as being $\mathrm{SL}_2(\mathbb{Z})$-invariant under the $\mid_k$ operator.

By equation ($\ref{eq_mod_form}$), we deduce that $f$ is a periodic function $f(z+1) = f(z)$ (check the modularity condition with the matrix $\bigl(\begin{smallmatrix} 1 & 1\\ 0 & 1 \end{smallmatrix}\bigr)$. Thus, $f$ possesses a Fourier expansion:

Definition.

A modular form of weight $k$ for $\mathrm{SL}_2(\mathbb{Z})$ is a weak modular form such that $a_n(f) = 0$ for every $n<0$. Furthermore, if $a_0(f) = 0$, then $f$ is called a cusp form. The expansion ($\ref{eq_fourier}$) of a modular form is called its $q$-expansion. $\diamond$

The main example one encounter when studying modular forms is the weight-$k$ Eisenstein series which is defined by:

It turns out that if $k\geq 4$ is even, then $G_k$ is absolutely and uniformely convergent for $z\in \mathbb{H}$ and defines a modular form with $q$-expansion

where $\zeta(s) := \sum_{n=1}^{\infty}\tfrac{1}{n^s}$ is the Riemann Zeta function and $\sigma_k(n):=\sum_{d\mid n}d^k$. From here, one question arises: what happens if we take $k=2$? The answer is that we would loose the absolute convergence of ($\ref{eq_eis_ser}$). However, we can still choose a specific arrangement of the sum and define

where

Using this definition, it is possible to show that

Moreover, we have that

and so we observe that $G_2$ is almost a modular form. It is so close of being a modular form that we call it a quasimodular form.

Let $\mathrm{Hol}_0(\mathbb{H})$ be the set of holomorphic function on $\mathbb{H}$ having a Fourier expansion of the form $\sum_{n\geq 0} a_n e^{2i\pi n}$.

Definition.

Let $k$ and $p$ be two positives integers. A quasimodular form of weight $k$ and depth $\leq p$ for $\mathrm{SL}_2(\mathbb{Z})$ is a holomorphic function $f\in \mathrm{Hol}_0(\mathbb{H})$ such that for $z\in \mathbb{H}$ and $\gamma = \bigl(\begin{smallmatrix} a & b\\ c & d \end{smallmatrix}\bigr)\in \mathrm{SL}_2(\mathbb{Z})$ there exists $f_0,\ldots, f_p \in \mathrm{Hol}_0(\mathbb{H})$ such that

In other words, $(f \mid_k \gamma)(z)$ is a polynomial of degree at most $p$ in $\tfrac{c}{cz+d}$ with coefficient in $\mathrm{Hol}_0(\mathbb{H})$. $\diamond$

References

Here are some references for the theory of classical modular forms:

• Diamond, Fred and Shurman, Jerry, A first course in modular forms. Graduate Texts in Mathematics, Vol. 228, Springer-Verlag, New York, 2005

• Serre, Jean-Pierre, Cours d’arithmétique. Deuxième édition revue et corrigée. Le Mathématicien, No 2. Presses Universitaires de France, Paris, 1977.

A good exposition for the theory of quasimodular form is given in section 5.3 (page 58) of:

• Zagier, Don, Elliptic modular forms and their applications. The 1-2-3 of modular forms, 1–103, Universitext, Springer, Berlin, 2008.