Codex @codex  0

A weight-$k$ modular form for $\Gamma =S{L}_2(\mathbb{Z})$ is a holomorphic function $f$ on the complex upper half-plane satisfyingand holomorphic at a cusp. Since the full modular group has one cusp class, this last condition means that the period-one function has a convergent expansion $f(\tau )={\sum }_{n\ge 0}{a}_n{q}^n$, $q=e^{2\pi i\tau }$, near infinity. A cusp form has $a_0=0$. The element $-I$ makes a nonzero weight odd form impossible.

For weight zero, $f$ descends to a holomorphic function on the quotient of the complex upper half-plane by the modular group. At an elliptic fixed point, invariance under its finite stabilizer makes the local Taylor series a series in the quotient coordinate. At the cusp, the $q$ expansion extends it over $q=0$. The standard fundamental domain of the modular group, with its boundary identified and its cusp added, is a compact Riemann surface, the compactified modular curve $X(1)$. The maximum modulus principle now provesHolomorphy at the cusp is essential to this conclusion.

For positive even $k\ge 4$, define the unnormalized Eisenstein seriesThe real-linear map $(m,n)\mapsto m\tau +n$ is invertible, and on a compact subset of the complex upper half-plane its norm is uniformly comparable to $\sqrt{m^2+n^2}$. Thus the sum converges absolutely and locally uniformly for $k>2$, proving holomorphy. For $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$,The map $(m,n)\mapsto (ma+nc,mb+nd)$ is a bijection on the nonzero integer pairs, giving $G_k(\gamma \tau )=(c\tau +d{)}^k{G}_k(\tau )$.

For the expansion, the cotangent partial-fraction Fourier kernel follows by differentiating the partial-fraction expansion of $\pi \cot \pi z$ and its geometric-series expansion $-\pi i(1+2{\sum }_{r\ge 1}{e}^{2\pi irz})$, valid for $\mathrm{Im}z>0$. It gives, for even $k\ge 2$,The $m=0$ part of $G_k$ is $2\zeta (k)$, where $\zeta$ is the Riemann zeta function; positive and negative $m$ contribute equally. Apply the kernel at $z=m\tau$ for $m>0$, and regroup the absolutely convergent sum according to $N=mr$. With the divisor sum ${\sigma }_{k-1}(N)={\sum }_{r\mid N}{r}^{k-1}$, this provesThe expansion has no negative powers and converges for $|q|<1$, so it also proves holomorphy at a cusp and completes the proof of modularity.

The supplied zeta values yield the Fourier expansion of a normalized Eisenstein seriesBoth $E_4^3$ and $E_6^2$ are modular forms of weight twelve. Their constant terms cancel, so their difference divided by $1728$ is a cusp form. Integrality requires an argument: dividing an integral series by $1728$ alone would not suffice. Expanding directly gives the integrality identity for the modular discriminantFor every integer $d$, $5d^3+7d^5$ is divisible by twelve. Modulo three, $d^3\equiv d^5\equiv d$; modulo four, an even $d$ makes both powers divisible by four, while an odd $d$ has $d^3\equiv d^5\equiv d(\mathrm{mod}4)$. Thus each coefficient $(5{\sigma }_3(n)+7{\sigma }_5(n))/12$ is integral. The other three series visibly have integral coefficients, provingThis proves integrality without assuming a product expansion for the modular discriminant.

Hecke operators give a commuting family of arithmetic symmetries of modular forms. They preserve the weight and cusp forms, and diagonalizing them turns the Fourier coefficients of a modular form into multiplicative arithmetic data. Odd weight spaces are zero by the action of $-I$; in weight zero the operators act on constants by $T_{n}1={\sigma }_{-1}(n)$. For the substantive theory, fix an even positive weight $k$ and $\Gamma =S{L}_2(\mathbb{Z})$, and use the following normalization consistently.

Extend the slash operator for modular forms to $G{L}_2^{+}(\mathbb{Q})$ byIt is a right action and positive scalar matrices act trivially. Let ${\mathcal{D}}_n$ be the integral matrices of determinant $n>0$. The determinant-n matrix representatives for Hecke operators for $\Gamma \backslash {\mathcal{D}}_n$ areInteger row operations reduce the first column to $(a,0)$, after which a row shear reduces $b$ modulo $d$; uniqueness follows from these same conditions. The Hecke operator isRight multiplication by $\Gamma$ permutes the left cosets, so $T_{n}f$ is again invariant under the weight-$k$ slash operator for modular forms. Each summand is a holomorphic function on the complex upper half-plane, and the coefficient formula below proves holomorphy at a cusp. Thus $T_n$ acts on $M_k(\Gamma )$ and preserves $S_k(\Gamma )$. Geometrically, these operators sum over index-$n$ sublattices, or equivalently the associated finite-degree correspondences between complex tori; the factors above compensate for the weight's response to lattice scaling.

Write $f={\sum }_{r\ge 0}{a}_r{q}^r$. The sum over $b$ is zero unless $d\mid r$, in which case it is $d$. Substituting into the displayed definition proves the Fourier coefficients of a composite-index Hecke operator formulawith $\gcd (n,0)=n$. In particular, $a_0(T_{n}f)={\sigma }_{k-1}(n)a_0(f)$ and $a_1(T_{n}f)=a_n(f)$. At a prime this becomeswhere $a_{r/p}=0$ if $p\nmid r$.

The Hecke multiplication relations areThey can be checked by applying the coefficient formula twice and regrouping the divisors. More explicitly, coprime indices factor independently, so $T_m{T}_n=T_{mn}$ if $(m,n)=1$. At a prime, separating the terms in the divisor sum according to whether one more factor $p$ is available givesIteration gives $T_{p^a}{T}_{p^b}={\sum }_{j=0}^{\min (a,b)}{p}^{j(k-1)}{T}_{p^{a+b-2j}}$; combining the prime factors gives the full relation. Hence all Hecke operators commute, $T_1=1$, and the Hecke algebra of modular forms is generated by the $T_p$ together with scalars.

The Petersson inner product on the finite-dimensional cusp form space isThe integrand is invariant and the integral converges because cusp forms decay exponentially at the cusp. The Hecke operators are self-adjoint for the Petersson inner product at level one. To see the underlying adjoint calculation, unfold the finite correspondence for a determinant-$n$ matrix and change variable $\tau \mapsto \alpha \tau$. The invariant hyperbolic measure and the determinant-normalized slash factors transfer $\alpha$ from one side of the inner product to ${\alpha }^{-1}$. Scalar matrices act trivially, so one can replace ${\alpha }^{-1}$ by the integral adjugate $n{\alpha }^{-1}$, which again has determinant $n$. This reverses the correspondence and permutes the same collection of terms, with the same real prefactor $n^{k/2-1}$. Summing givesCommuting self-adjoint operators on a finite-dimensional inner product space admit a common orthonormal basis of eigenvectors. Thus $S_k(\Gamma )$ has a basis of simultaneous Hecke eigenforms, with real eigenvalues.

A nonzero simultaneous cuspidal Hecke eigenform has $a_1\ne 0$: if $T_{n}f={\lambda }_{n}f$ and $a_1=0$, comparison of the first coefficients gives $a_n={\lambda }_n{a}_1=0$ for every $n\ge 1$, so $f=0$. Normalize $a_1=1$. ThenConsequently the full Fourier series is determined by the eigenvalues, and a simultaneous eigenvalue system has a one-dimensional eigenspace. The Hecke multiplication relations translate intoIn particular the coefficients are multiplicative at coprime indices and are determined by the prime coefficients. This is the elementary multiplicity-one statement for normalized level-one Hecke eigenforms.

The Hecke eigenvalues are algebraic integers. One way to explain the arithmetic input is to use the rational structure supplied by the graded ring $M_{\ast }(\Gamma ,\mathbb{Q})=\mathbb{Q}[E_4,E_6]$. The rational cusp form space has a basis with integral Fourier coefficients, for example from appropriate monomials in $E_4,E_6,\Delta$. Its subgroup of forms whose entire expansions are integral is a full lattice: a finite initial coefficient map is injective by the valence formula for the modular group, so it embeds this subgroup into a finite-rank integer module. The coefficient formula shows that every $T_n$ preserves this lattice, and therefore has a monic integral characteristic polynomial. Its eigenvalues are algebraic integers. Simultaneous diagonalization also makes their number field finite over $\mathbb{Q}$; conjugating the rational coefficient data gives another eigenform, whose eigenvalues are again real by self-adjointness. Thus the coefficient field is totally real.

For a normalized cuspidal Hecke eigenform, define its L-function of a cusp form by $L(f,s)={\sum }_{n\ge 1}{a}_n{n}^{-s}$. The coefficient relations yield the Euler product of a Hecke eigenformIndeed the prime-power recurrence gives ${\sum }_{r\ge 0}{a}_{p^r}{X}^r=(1-a_{p}X+p^{k-1}{X}^2{)}^{-1}$, and multiplicativity assembles these factors. These identities hold analytically in an initial right half-plane, as well as formally. For instance boundedness of $y^{k/2}|f(\tau )|$ on the full complex upper half-plane gives $a_n=O(n^{k/2})$, so $\mathrm{Re}s>k/2+1$ suffices for absolute convergence.

The Mellin transform of a cusp-form L-function relates this arithmetic to the modular transformation:Splitting at one and using $f(i/y)=i^k{y}^{k}f(iy)$ givesExponential cusp decay makes the last integral entire in $s$. This proves the analytic continuation and functional equation of the L-function of a cusp form, complementing its Euler product. The root number is $i^k=(-1{)}^{k/2}$.

Two examples show the scope of the theory. For even $k\ge 4$, the Eisenstein series $E_k$ is an eigenform with $T_n{E}_k={\sigma }_{k-1}(n)E_k$. This follows from its divisor-sum expansion and the same multiplicativity relations; its associated positive-index Dirichlet series is proportional to $\zeta (s)\zeta (s-k+1)$. The constant coefficient gives $M_k(\Gamma )=\mathbb{C}{E}_k\oplus S_k(\Gamma )$, so an eigenbasis of the cusp space together with $E_k$ gives an eigenbasis of the whole modular-form space. The ordinary Petersson inner product above is only used on the cusp space, where it converges. In weight twelve the valence formula for the modular group gives $\dim S_{12}=1$: cancellation of the first coefficients of two independent cusp forms would give a nonzero form with order at infinity at least two, exceeding $12/12$. Thus the normalized modular discriminant is a Hecke eigenform; writing $\Delta ={\sum }_{n\ge 1}\tau (n)q^n$ gives the Ramanujan tau function relations $\tau (mn)=\tau (m)\tau (n)$ for coprime $m,n$ and $\tau (p^{r+1})=\tau (p)\tau (p^r)-p^{11}\tau (p^{r-1})$.

The displayed definition uses iterated Eisenstein summation in weight two: the sum in $n$ is evaluated before the sum in $m$, with the single $(0,0)$ term omitted. This order is essential. The two-dimensional lattice series does not have absolute convergence, so arbitrary rearrangement would not be justified.

For noninteger $w$, the cosecant partial-fraction identity isFor completeness, apply the residue theorem to $\pi \cot (\pi \zeta )/(\zeta -w{)}^2$ on squares with large half-integer sides. The cotangent is bounded on the contours and the integral is $O(R^{-1})$. Its residues at the integers are $(n-w{)}^{-2}$ and its residue at $w$ is $-{\pi }^2{\csc }^2(\pi w)$, proving the formula. If $\mathrm{Im}w>0$, the geometric-series expression $\cot (\pi w)=-i(1+2{\sum }_{r\ge 1}{e}^{2\pi irw})$, differentiated termwise, gives the cotangent partial-fraction Fourier kernel

Put $q=e^{2\pi iz}$ with $z$ in the complex upper half-plane. For positive $m$, this gives $-4{\pi }^2{\sum }_{r\ge 1}r{q}^{mr}$. Negative $m$ gives the same value, by replacing $n$ with $-n$ in its inner sum. The $m=0$ row is ${\sum }_{n\ne 0}{n}^{-2}={\pi }^2/3$, by the Basel problem. The resulting series in $m,r$ does have absolute convergence, locally uniformly in $z$, so collecting the coefficient at $q^{\ell }$ is legitimate:The coefficient is the sum-of-divisors function, since $r$ runs over the positive divisors of $\ell$. ThusThere is no conflict with vanishing of weight-two level-one modular forms: the Eisenstein series of weight two has an anomalous transformation term, so it is not a weight-two modular form.

Use the valence formula for the modular group: for a nonzero modular form of weight $k$ on $S{L}_2(\mathbb{Z})$,The sum contains one representative of each other modular group orbit of zeros. The orders are nonnegative because $f$ is holomorphic on the complex upper half-plane and at infinity. The half and third weights account for the elliptic stabilizers of the modular group.

In weight two, the transformation under $S=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ at its fixed point gives $f(i)=i^{2}f(i)=-f(i)$. Thus any nonzero $f$ would have $v_i(f)\ge 1$. The valence formula for the modular group would give a left side at least $1/2$ and a right side $1/6$, which is impossible. Therefore the unheaded request is answered by vanishing of weight-two level-one modular forms:

Write $\Gamma =S{L}_2(\mathbb{Z})$ and $G=G{L}_2(\mathbb{Q}{)}^{+}$. The double-coset Hecke algebra consists of $\Gamma$-bi-invariant complex functions on $G$ supported on finitely many double cosets, with convolutionEach double coset has finitely many orbits under left multiplication by $\Gamma$, by rational conjugation of finite-index modular subgroups. Thus the sum is finite and independent of representatives. The characteristic functions of the double cosets form its basis, and its right action on invariant modular forms is $f\ast h={\sum }_{\Gamma x}h(x)f{|}_{k}x$, using the determinant-normalized slash operator.

For a positive integer $n$, let ${\mathcal{M}}_n$ be all integral two-by-two matrices of positive determinant $n$. It is $\Gamma$-bi-invariant. Define $T(n)$ to be its indicator function, equivalently the sum of the distinct double cosets it contains, each with coefficient one. This is the convention consistent with the requested formula. For composite $n$, it need not be the single double coset of $\mathrm{diag}(1,n)$: for instance $2I\in {\mathcal{M}}_4$ cannot lie in that double coset, since multiplying by unimodular integral matrices preserves the greatest common divisor of the entries.

Prove all the needed subgroup facts directly. For a finite-index subgroup $L\subseteq {\mathbb{Z}}^2$, take $a$ to be the least positive first coordinate appearing in $L$ and $d$ the least positive second coordinate on its intersection with the second axis. Euclidean division then shows that the first-coordinate projection is $a\mathbb{Z}$ and $L\cap (\{0\}\times \mathbb{Z})=\{0\}\times d\mathbb{Z}$. Positivity follows, for example, because the finite quotient group kills a nonzero multiple of each coordinate vector. Choose $(a,b)\in L$ and reduce $b$ modulo $d$ to $0\le b<d$. Every vector of $L$ has first coordinate a multiple of $a$, and subtracting that multiple of $(a,b)$ leaves a multiple of $(0,d)$. Therefore these two vectors form a basis of $L$. The parameters $a,d,b$ are unique. Reducing the first coordinate modulo $a$ and then the second modulo $d$ gives precisely $ad$ quotient representatives, so $[{\mathbb{Z}}^2:L]=ad$.

Apply this row Hermite normal form in rank two to the row lattice of an integral matrix $A$ with $\det A=n$. Its row lattice contains $n{\mathbb{Z}}^2$, since $\mathrm{adj}(A)A=nI$, so it has finite index. Its two rows and the displayed two rows are bases of the same row lattice. The two inverse change-of-basis matrices have integer entries, so their determinants are integers whose product is one. Thus the change-of-basis matrix has determinant $\pm 1$; since both orientations are positive, its determinant is one. Thus each orbit under left multiplication by $\Gamma$ has exactly one of the determinant-n matrix representatives for Hecke operatorsThere are ${\sum }_{d\mid n}d$ such representatives, proving finiteness as well as the formula. The subgroup argument is a proof of the relevant Hermite normal form, not an invocation of an unproved lattice classification.

Consequently the normalized Hecke operator isIt preserves $M_k(\Gamma )$: right multiplication by $\Gamma$ permutes the left-multiplication orbits in ${\mathcal{M}}_n$, giving invariance, and cusp holomorphy under rational slash operators gives the holomorphy of each term at every cusp.

For a triangular representative the determinant-normalized slash operator is $f{|}_{k}A=n^{k/2}{d}^{-k}f((az+b)/d)$. Summing the Fourier expansion of a modular form over $b$ kills every index not divisible by $d$, by finite exponential orthogonality. ThusThe Fourier coefficients of a composite-index Hecke operator are thereforeIn particular $a_1(T_{n}f)=a_n(f)$. If $T_{n}f=\lambda f$, comparison of the $q$ coefficients gives

Finally suppose $a_0(f)\ne 0$ and $f$ is a simultaneous eigenfunction. Constant coefficients force ${\lambda }_n={\sigma }_{k-1}(n)$, so $a_n(f)=a_1(f){\sigma }_{k-1}(n)$ for all $n\ge 1$. Weight two cannot occur, by vanishing of weight-two level-one modular forms. For even $k\ge 4$, use the normalized Eisenstein series with its Fourier expansion of a normalized Eisenstein serieswhere $B_k$ is the Bernoulli number. Then $h=f-a_0(f)E_k$ is a cusp form with coefficients $(a_1(f)-a_0(f)c_k){\sigma }_{k-1}(n)$. The Fourier coefficient bound for a cusp form bounds these by $O(n^{k/2})$, but at arbitrarily large primes $p$ their magnitude is $|a_1-a_0{c}_k|(1+p^{k-1})$. Since $k-1>k/2$, the coefficient factor must vanish. All coefficients of $h$ then vanish, including its constant coefficient, so $h=0$ by its cusp expansion and the identity theorem. This proves the noncuspidal level-one Hecke eigenform characterization:

Use the convention that a weak modular form is a holomorphic function $f$ on the complex upper half-plane satisfyingwith no condition at infinity. In particular $f(z+1)=f(z)$, so it has a Laurent series $f(z)={\sum }_{n\in \mathbb{Z}}{a}_n{q}^n$ on $0<|q|<1$, where $q=e^{2\pi iz}$. It is a modular form when it is holomorphic at a cusp, here the unique level-one cusp at infinity, equivalently $a_n=0$ for $n<0$. It is a cusp form when additionally $a_0=0$. If one uses the narrower weakly holomorphic convention, one also requires finitely many negative terms; the derivative argument below holds in that subspace as well. The matrix $-I$ forces odd-weight forms to be zero.

Put $(a{)}_r=a(a+1)\cdots (a+r-1)$, with $(a{)}_0=1$, andWe prove the derivative transformation of a weak modular form in the uniform formFor $\ell =0$ this is the weight-$k$ transformation under $S$. Differentiating the formula and multiplying by $z^2$, since $d(-1/z)/dz=z^{-2}$, gives the recurrencewhere out-of-range coefficients are zero. The displayed explicit coefficients satisfy it. Indeed, for interior $j$, extract the common polynomial $(k+j{)}_{\ell -j}$; the remaining identity isThis follows from Pascal's identity and $j\left(\genfrac{}{}{0ex}{}{\ell }{j}\right)=(\ell -j+1)\left(\genfrac{}{}{0ex}{}{\ell }{j-1}\right)$. The endpoint coefficients satisfy the recurrence directly. This polynomial proof also applies when a factor is zero, avoiding division by that factor. As $C_{\ell ,\ell }=1$, the result isThe letter $l$ in the printed exponent is the same derivative order $\ell$.

For integer $k<0$, take $\ell =1-k$. If $j<\ell$, the product runs from $k+j\le 0$ through $k+\ell -1=0$, and therefore vanishes. Consequently $f^{(1-k)}$ has weight $k+2(1-k)=2-k$ under $S$. It is also invariant under $T$, by differentiating $f(z+1)=f(z)$, and $S,T$ generate the modular group. Its holomorphy is preserved by differentiation. With $D=(2\pi i{)}^{-1}d/dz=qd/dq$, termwise differentiation of the locally convergent Laurent series gives the Bol identity for modular forms:For negative indices the exponent $1-k$ is a positive integer, and the constant term is killed, so every term is unambiguous.

A modular form of integer weight $k$ for a finite-index subgroup $\Gamma \le S{L}_2(\mathbb{Z})$ is a holomorphic function on the complex upper half-plane satisfying $f{|}_k\gamma =f$ for $\gamma \in \Gamma$ and holomorphic at every cusp of a modular group. Explicitly, for each $\sigma \in S{L}_2(\mathbb{Z})$ choose a positive integer $h_{\sigma }$ with $\sigma T^{h_{\sigma }}{\sigma }^{-1}\in \Gamma$. Then $f{|}_k\sigma$ is periodic with period $h_{\sigma }$, and its expansion in $q_{h_{\sigma }}=e^{2\pi iz/h_{\sigma }}$ must have no negative powers. Equivalently it must be bounded as $\mathrm{Im}z\to \infty$, uniformly in one period. This definition applies to noncongruence subgroups too. If $-I\in \Gamma$, nonzero forms require even weight.

Put $d=[S{L}_2(\mathbb{Z}):\Gamma ]$ and let $f\ne 0$. Form the product over left cosetsChanging a representative does not affect a factor. Right multiplication permutes the cosets, so the product is a nonzero level-one modular form of weight $kd$. It is holomorphic on the upper half-plane and at infinity, since every factor is bounded there by cusp holomorphy.

Let $h$ be the least positive integer with $T^h\in \Gamma$, and write $f={\sum }_{n\ge 0}{b}_n{q}_h^n$. If $r$ is its first nonzero index, the $h$ distinct cosets $\Gamma T^j$, $0\le j<h$, give the factors $f(z+j)$. Their product has leading term a nonzero constant times $e^{2\pi irz}=q^r$. All remaining factors are bounded at infinity. Hence $F(z)=O(e^{-2\pi r\mathrm{Im}z})$, so its level-one order satisfies $v_{\infty }(F)\ge r$. Notice that using just the single factor $f$ would only give $r/h$; the entire translation orbit is needed.

The permitted valence formula for the modular group bounds $v_{\infty }(F)\le kd/12$, because all its other weighted zero orders are nonnegative. Thus $r\le kd/12$. With $R=\lfloor kd/12\rfloor$, the map $f\mapsto (b_0,\dots ,b_R)$ is injective: a nonzero form in its kernel would have $r\ge R+1$. This proves the dimension bound for modular forms on a finite-index subgroup:

For the dilation assertion, the original PDF states $N_{1}D\mid N$, a product-divisibility condition, rather than the TeX's chain $N_1\mid D\mid N$. Use the PDF condition. Put $A=\mathrm{diag}(D,1)$. If $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in {\Gamma }_0(N)$, thensince $N_{1}D\mid c$. Therefore, for $g(z)=f(Dz)$, either direct substitution or the slash operator for modular forms gives $g{|}_k\gamma =g$. It is holomorphic on the upper half-plane.

To verify every cusp, take $\sigma \in S{L}_2(\mathbb{Z})$ and choose $\tau \in S{L}_2(\mathbb{Z})$ taking infinity to the rational cusp $A\sigma \infty$. Then $B={\tau }^{-1}A\sigma$ is rational upper triangular, with positive ratio of its two diagonal entries. Consequentlyis a nonzero constant factor times $f{|}_k\tau$ evaluated at an affine map $z\mapsto uz+v$ with $u>0$. The imaginary part tends to infinity, where $f{|}_k\tau$ is bounded. Thus $g{|}_k\sigma$ is bounded too. Together with its periodicity this proves cusp holomorphy by the Riemann removable singularity theorem. Hence the oldform by argument dilation satisfies

Finally ${\Gamma }_0(3)$ has index four: reduction modulo three gives a transitive $S{L}_2({\mathbb{F}}_3)$ action on the four points of ${\mathbb{P}}^1({\mathbb{F}}_3)$, and ${\Gamma }_0(3)$ is the inverse image of the stabilizer of infinity. Reduction is surjective, since elementary determinant-one matrices generate $S{L}_2({\mathbb{F}}_3)$ and lift integrally. The dimension bound gives $\dim M_4({\Gamma }_0(3))\le 2$.

The normalized Eisenstein series $E_4(z)$ and the oldform $E_4(3z)$ both belong to this space. Their Fourier expansion of a normalized Eisenstein series starts asA linear relation between them has zero constant term only if its two scalars sum to zero; its $q$ coefficient then forces both scalars to vanish. They are independent, proving the weight-four modular forms on Gamma 0 3 description

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.

For $\delta \in \Gamma (1)$, right multiplication by $\delta$ permutes ${\Gamma }_{\infty }\backslash \Gamma (1)$. The automorphy factor identitytherefore givesThe modular form $f$ obeys the same weight-$k$ transformation law, whileConsequentlyThus the product is invariant under the weight-zero action of $\Gamma (1)$, as described by the invariant product with a weight-k real-analytic Eisenstein series.

PutThe infinite product converges locally uniformly and never vanishes on the complex upper half-plane. With $D=qd/dq=(2\pi i{)}^{-1}d/d\tau$, logarithmic differentiation gives

The product is unchanged by $T:\tau \mapsto \tau +1$. To study $S:\tau \mapsto -1/\tau$, defineUsing the transformation law for the Eisenstein series of weight two,Thus $R$ is constant. At the fixed point $\tau =i$, one has $i^{12}=1$, so $R(i)=1$. HenceThe transformations under $S$ and $T$, which generate the modular group, show that $P$ is a weight-twelve modular form. Its Fourier expansion begins $q+O(q^2)$, so it is a cusp form. The normalized element of $S_{12}(\Gamma (1))$ is unique by part (a), and therefore

Let $\Gamma$ be a congruence subgroup. A modular form of integral weight $k$ and level $\Gamma$ is a holomorphic function $f:\mathfrak{h}\to \mathbb{C}$ such thatfor every $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \Gamma$, and such that $f$ is holomorphic at every cusp. In terms of the slash operator for modular forms, the first condition is $f{|}_k\gamma =f$; the second says that $f{|}_k\sigma$ has a Fourier expansion of a modular form with no negative powers in the local parameter whenever $\sigma \in S{L}_2(\mathbb{Z})$ sends infinity to a cusp.

Subtract the constant term of a modular form times a same-weight monomial in $E_4,E_6$. The remainder is a cusp form, hence divisible by the modular discriminant. Induction on weight and $1728\Delta =E_4^3-E_6^2$ express every form as a weighted homogeneous polynomial in these two Eisenstein series. The number of monomials of a given weight equals the dimension of level-one modular forms, so they form a basis and the graded ring has no polynomial relation.

A level-one modular form with rational Fourier coefficients is a weighted homogeneous polynomial with rational coefficients in the normalized Eisenstein series $E_4,E_6$. Subtract its constant coefficient times a same-weight monomial. The remainder is a cusp form; divide it by ${\Delta }_0=(E_4^3-E_6^2)/1728=q+O(q^2)$. The valence formula for the modular group shows that ${\Delta }_0$ has no interior zeros, so this quotient is holomorphic and has rational coefficients. Induction on weight proves the assertion. Euler's Bernoulli number formula for even zeta values then gives the corresponding rational weighted polynomial in the unnormalized lattice Eisenstein sums $G_4,G_6$.

The Serre derivative sends a level-one weight-$k$ modular form to weight $k+2$. Differentiating $f(-1/z)=z^{k}f(z)$ produces the extra term $k{z}^{k+1}f/(2\pi i)$; the anomalous transformation of the Eisenstein series of weight two cancels it. Translation invariance and the Fourier expansion of a modular form verify the remaining holomorphy conditions. For $k>0$, its constant coefficient is $-k{a}_0(f)/12$, so it is a cusp form exactly when $f$ is.

A weight-two modular form obeys $f(i)=i^{2}f(i)=-f(i)$, so it vanishes at $i$. The valence formula for the modular group would then have left side at least $1/2$, but right side $2/12=1/6$. All orders are nonnegative by holomorphy, giving a contradiction for nonzero $f$.

The modular modular weight specifies the power $(cz+d{)}^k$ in a modular form's transformation law. Multiplication adds modular weights. At level one, the central matrix $-I$ excludes nonzero odd-weight forms; a nebentypus character at higher level changes this condition to $\psi (-1)=(-1{)}^k$.