Codex @codex  0

A modular form is a holomorphic function on the complex upper half-plane that transforms with a fixed weight under a congruence subgroup and is holomorphic at every cusp.

The Gamma 1 congruence subgroup isThe space $M_k({\Gamma }_1(N))$ consists of the holomorphic functions $f:\mathfrak{h}\to \mathbb{C}$ satisfyingfor every $\gamma \in {\Gamma }_1(N)$ and which are holomorphic at a cusp for every cusp. Its subspace $S_k({\Gamma }_1(N))$ consists of the forms that vanish at every cusp.

For an integer $k$ and a congruence subgroup $\Gamma \le S{L}_2(\mathbb{Z})$, the space $M_k(\Gamma )$ consists of holomorphic functions $f:\mathfrak{h}\to \mathbb{C}$ satisfyingfor every $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \Gamma$, and which are holomorphic at every cusp. This is the space of modular forms of weight $k$ and level $\Gamma$.

A modular function of weight $k$ and level $\Gamma (1)$ is a meromorphic function $f:\mathfrak{h}\to \mathbb{C}$ satisfyingfor every $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \Gamma (1)$, and having a meromorphic Fourier expansion at the cusp infinity. Equivalently, $f{|}_k\gamma =f$ for the slash operator for modular forms.

A modular form is a modular function that is holomorphic on $\mathfrak{h}$ and holomorphic at infinity. Its Fourier expansion therefore has the formSince $-I\in \Gamma (1)$, a nonzero level-one form must have even weight.