Codex @codex  0

For an integer $k\ge 2$ and $\mathrm{Im}z>0$, differentiating the partial-fraction expansion of $\pi \cot \pi z$ givesBoth differentiated series converge locally uniformly. This kernel computes the Fourier expansion of a modular form for holomorphic Eisenstein series.

Write $\Gamma =S{L}_2(\mathbb{Z})$, $\mathbb{H}=\{\tau :\mathrm{Im}\tau >0\}$ and $q=e^{2\pi i\tau }$. The space $M_k$ consists of holomorphic functions on the complex upper half-plane satisfyingand holomorphic at the cusp: their Fourier expansion of a modular form is $f={\sum }_{n\ge 0}{a}_n{q}^n$. The subspace $S_k$ of cusp forms has $a_0=0$. Since all cusps are equivalent at level one, this condition treats every cusp. The element $-I$ forces odd-weight forms to vanish.

Use the permitted properties of the normalized Eisenstein series and modular discriminant:They have integer Fourier coefficients and weights $4,6,12$. For even $k\ge 0$, the assumed dimension formula gives $d=\lfloor k/12\rfloor +1$ except when $k\equiv 2(\mathrm{mod}12)$, when $d=\lfloor k/12\rfloor$. For $0\le j<d$, the remaining weight $k-12j$ is nonnegative and is not two. Choose $b_j\in \{0,1\}$ and $a_j\ge 0$ with $4a_j+6b_j=k-12j$. Every allowable remaining weight admits such a choice. The formsgive an integral triangular basis of level-one modular forms: their distinct first exponents prove independence, and their number $d$ proves that they span.

Now take $f$ with integral coefficients. Subtract its constant coefficient times $F_0$. The remainder still has integral coefficients and has no constant term. Subtract its coefficient at $q$ times $F_1$, then its current coefficient at $q^2$ times $F_2$, and continue. Every subtraction uses an integer. After $d$ steps the remainder's first $d$ coefficients vanish; triangularity and the basis property force that remainder to be zero. ConsequentlyThis proves integral polynomial generation without dividing by $1728$. The relation $E_4^3-E_6^2=1728\Delta$ explains why the additional integral generator is useful, although over $\mathbb{C}$ two generators suffice. For $k=0$ the basis is the constant one; when $M_k=0$, including weight two and odd weights, the claim is vacuous.

A weight-$2k$ modular form gives an invariant tensor differentialbecause $d(\gamma \tau )=(c\tau +d{)}^{-2}d\tau$ cancels its automorphy factor. Assume first $k\ge 0$. At an ordinary quotient point this differential is holomorphic. At an elliptic point of order $e$, use $u$ and $w=u^e$ from part (a), and write the pullback as $A(u)(du{)}^k$, with $A$ holomorphic. Its invariance says $A(\zeta u){\zeta }^k=A(u)$, so a nonzero term $a_r{u}^r$ has $r+k\equiv 0(\mathrm{mod}e)$. Sincethe exponent in the descended coefficient is the integer $(r-k(e-1))/e$. With $r\ge 0$, it is at least $-\lfloor k(e-1)/e\rfloor$. At the modular cusp, $d\tau =dq/(2\pi iq)$ and $f$ has a power series with nonnegative exponents, so ${\omega }_f$ has a pole of order at most $k$.

Consequently the linear map $f\mapsto {\omega }_f$ injects $M_{2k}$ into the meromorphic sections of $K^{\otimes k}$ with poles bounded byThis section space is $H^0(X(1),K^{\otimes k}(D))$. It is finite-dimensional on a compact Riemann surface by the Riemann-Roch theorem. Concretely choose one nonzero meromorphic section of the line bundle; dividing by it identifies these sections with a Riemann-Roch space with a fixed finite divisor bound. This proves the requested finite-dimensionality by compact-surface theory.

In fact the injection is an isomorphism. If a descended coefficient has order at least $-\lfloor k(e-1)/e\rfloor$, its pulled-back exponent $ed+k(e-1)$ is nonnegative; the modular cusp pole bound likewise gives a holomorphic Fourier expansion of a modular form. These pullbacks therefore recover modular forms. Since $X(1)$ is the Riemann sphere, $\mathrm{deg}K=-2$, and a line bundle of degree $d$ on the sphere has $\max (0,d+1)$ sections. HenceFor negative $k$, the valence formula excludes a nonzero holomorphic modular form because all its orders would be nonnegative but their sum would be $k/6<0$; the space is zero. The mechanism behind finite-dimensionality is modular forms as meromorphic differentials on X(1), with explicit elliptic and modular cusp pole bounds.

For a nonzero Hecke eigenform that is a cusp form, $c(1)\ne 0$: otherwise part (b) would make all its positive Fourier coefficients zero, and cuspidality already gives $c(0)=0$, forcing $f=0$. Since $T_w(1)=I$, $\lambda (1)=1$. Part (b) gives multiplicativity at coprime integers and the prime-power recurrenceMultiply its generating series by the corresponding quadratic to obtainUnique prime factorization and multiplicativity giveFor a normalized eigenform $c(1)=1$, the prefactor disappears. It must be retained for an arbitrary scalar multiple of that eigenform.

This product identity holds analytically in an absolute-convergence half-plane. The invariant norm of a positive-weight cusp form is bounded, as proved in Question 6. For a period-one Fourier expansion of a modular form,Choosing $y=1/n$ gives $c(n)=O(n^{w/2})$, so $\mathrm{Re}s>w/2+1$ suffices. Absolute convergence then justifies expansion and rearrangement of the Euler product of a Hecke eigenform; no sharper coefficient estimate is needed here.

For an integer weight $k$, a cusp form for a congruence subgroup $\Gamma$ is a holomorphic function on $\mathbb{H}$ with $f{|}_k\gamma =f$ for every $\gamma \in \Gamma$, whose Fourier expansion of a modular form vanishes at every modular cusp. More explicitly, choose $\sigma \in S{L}_2(\mathbb{Z})$ representing a modular cusp $\sigma \infty$, and a genuine translation period $h>0$ with $\sigma T^h{\sigma }^{-1}\in \Gamma$. Then the requirement isconvergent for sufficiently large imaginary part. Thus the slash translate extends holomorphically at $q_h=0$ and has value zero. The vector space of these functions is $S_k(\Gamma )$.

A genuine period is convenient when $-I$ is absent and the weight is odd: the smaller effective cusp width may supply a negative rather than positive translation in $\Gamma$, but an actual period always exists, possibly twice that width. Using an actual period avoids imposing an incorrect periodicity. The zero-value condition is independent of the chosen representative or period. If $-I\in \Gamma$ and $k$ is odd, its slash relation forces $f=(-1{)}^{k}f=-f$, so the space is zero.

For the full modular group $\Gamma =S{L}_2(\mathbb{Z})$ and integer weight $k$, a modular form is a holomorphic function on the upper half-plane satisfyingand holomorphic at the cusp at infinity. Explicitly, periodicity under $\tau \mapsto \tau +1$ gives a Fourier expansion of a modular form in $q=e^{2\pi i\tau }$, and holomorphy at the cusp means $f={\sum }_{n\ge 0}{a}_n{q}^n$. A cusp form has $a_0=0$. All cusps are equivalent for this group. The matrix $-I$ forces $f=(-1{)}^{k}f$, so every odd-weight modular form is zero.

There is a corresponding qualification to the displayed Eisenstein series formula: the Bernoulli-normalized formula is for even integers $k\ge 4$. For odd integers $k>2$, pairing $(m,n)$ with $(-m,-n)$ gives $G_k=0$, while $B_k=0$, so the printed expression divided by $B_k$ is undefined. We prove the asserted nonzero formula in its even-weight range.

On each compact set in the upper half-plane, the real-linear map $(m,n)\mapsto m\tau +n$ has a uniformly bounded inverse. Hence $|m\tau +n|\ge C(m^2+n^2{)}^{1/2}$ there. For $k>2$, lattice convergence gives locally uniform absolute convergence of $G_k$, and therefore holomorphy. If $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \Gamma$, thenThe map $(m,n)\mapsto (ma+nc,mb+nd)$ permutes the nonzero integer pairs. Reindexing proves the weight-$k$ transformation law.

To compute the Fourier expansion of a normalized Eisenstein series, start from the cotangent partial-fraction expansionFor $\mathrm{Im}z>0$, the cotangent Fourier expansion is $\pi \cot (\pi z)=-\pi i-2\pi i{\sum }_{r\ge 1}{e}^{2\pi irz}$. Differentiating both normally convergent expressions $k-1$ times givesFor even $k$, the terms with $m=0$ sum to $2\zeta (k)$, and the terms with $m<0$ duplicate those with $m>0$. Substituting $z=m\tau$ in the last identity and collecting $N=mr$ givesThe rearrangement is absolutely convergent for every $|q|<1$, since the divisor function grows at most polynomially.

For completeness, the normalization follows directly from the definition of the Bernoulli numbers. Near zero, the cotangent partial-fraction expansion givesOn the other hand $\pi \cot (\pi z)=\pi i+2\pi i/(e^{2\pi iz}-1)$. Substitute $t=2\pi iz$ in the generating function of the Bernoulli numbers. The term $B_1=-1/2$ cancels $\pi i$, and the higher odd terms vanish because $t/(e^t-1)+t/2$ is even. Comparison of Laurent coefficients proves the Euler evaluation of even zeta valuesThusThis Fourier series also proves holomorphy at infinity, completing the modular form verification.

For the Ramanujan congruence modulo 691, the standard facts we use are that the modular discriminant is the weight-twelve cusp form $\Delta =q{\prod }_{n\ge 1}(1-q^n{)}^{24}={\sum }_{n\ge 1}\tau (n)q^n$, and that $S_{12}=\mathbb{C}\Delta$. The latter also follows from the valence formula for the modular group: a nonzero weight-twelve modular form has total weighted zero order one, so a cusp form whose coefficient of $q$ vanishes would have cusp order at least two and must be zero. The product makes the Ramanujan tau function integer-valued.

Write $E_k=G_k/(2\zeta (k))$. Using $B_4=-1/30$ and the supplied $B_{12}=-691/2730$, we haveBoth $E_{12}$ and $E_4^3$ have weight twelve and constant term one. Their difference is a cusp form, so is a multiple of $\Delta$. Its coefficient of $q$ is $65520/691-720=-432000/691$, which determines that multiple:The coefficients of $E_4^3$ are integers. Comparing the positive-index Fourier coefficients and reducing modulo $691$ therefore gives $65520{\sigma }_{11}(n)\equiv -432000\tau (n)$. Both numerical constants are congruent to $566$ modulo $691$, and $\gcd (566,691)=1$. Cancellation proves

Use the determinant-normalized slash operator and the usual Hecke operator normalization. A normalized eigenform is a nonzero cusp form $f={\sum }_{r\ge 1}{a}_r{q}^r$ with $a_1=1$ and $T_{n}f=\lambda (n)f$ for every $n$. We first establish the operator facts needed here, rather than assume the Hecke multiplication relations.

Integer matrices of determinant $n$ have the determinant-n matrix representatives for Hecke operators ${\gamma }_{a,b,d}=\left(\begin{array}{cc}a& b\\ 0& d\end{array}\right)$, with $ad=n$ and $0\le b<d$. Integer row operations give these representatives: the Euclidean algorithm reduces the first column to $(a,0)$, and a shear reduces $b$ modulo $d$. Right multiplication by the modular group permutes the left cosets, so $T_{n}f=n^{k/2-1}{\sum }_{ad=n}{\sum }_{b\mathrm{mod}d}f{|}_k{\gamma }_{a,b,d}$ is modular. Rational changes of coordinate preserve cusp vanishing, so it remains a cusp form. Substituting its Fourier expansion of a modular form and summing $e^{2\pi irb/d}$ givesIn particular $a_1(T_{n}f)=a_n(f)$, and the normalization gives $\lambda (n)=a_n(f)$ for every $n$.

For coprime $u,v$, applying this coefficient formula twice amounts to choosing independently a divisor of $\gcd (m,u)$ and one of $\gcd (m,v)$. Their product runs exactly once through the divisors of $\gcd (m,uv)$, with the same factor $d^{k-1}$ and coefficient index. Thus $T_u{T}_v=T_{uv}$. For a prime $p$, put $P=p^{k-1}$ and $\nu =v_p(m)$. The coefficient of $q^m$ in $T_{p^e}f$ isThe coefficient in $T_p{T}_{p^e}f$ is $A_e(pm)+P{A}_e(m/p)$, the second summand being zero if $p\nmid m$. Expanding the two finite sums and matching their endpoints gives $A_{e+1}(m)+P{A}_{e-1}(m)$ for $e\ge 1$. Equality of all coefficients proves $T_p{T}_{p^e}=T_{p^{e+1}}+p^{k-1}{T}_{p^{e-1}}$. Applying these identities to the nonzero eigenvector $f$ yields

Write $D=(2\pi i{)}^{-1}d/dz=qd/dq$ and use the Serre derivative $D_{k}f=Df-(k/12)E_{2}f$. Translation invariance of $f$ and the Eisenstein series of weight two gives $D_{k}f(z+1)=D_{k}f(z)$.

Differentiate the weight-$k$ transformation $f(-1/z)=z^{k}f(z)$. The chain rule yieldsThe assumed transformation of the Eisenstein series of weight two givesSubtracting cancels the extra term. Hence $D_{k}f(-1/z)=z^{k+2}{D}_{k}f(z)$. Since $S$ and $T=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ generate the modular group, these two transformations prove the weight-$k+2$ law for all its elements. Holomorphy on the complex upper half-plane follows from the formula.

For the Fourier expansion of a modular form $f={\sum }_{n\ge 0}{a}_n{q}^n$, differentiation gives $Df={\sum }_{n\ge 1}n{a}_n{q}^n$. The product of the convergent series for $E_2$ and $f$ likewise has no negative powers. Thus $D_{k}f$ is holomorphic at a cusp at infinity, and therefore at every cusp of the modular group. Its constant coefficient is $-k{a}_0/12$. Since $k>0$, it vanishes exactly when $a_0=0$. Consequently

First establish rational conjugation of finite-index modular subgroups without assuming that $\Gamma$ is a congruence subgroup. Multiply $\gamma$ by a positive integer to obtain an integral matrix $A$, and let $D=\det A>0$. Conjugation is unchanged by this scalar. If $h=I+DB\in \Gamma (D)$, thenThus the principal congruence subgroup $\Gamma (D)$ is contained in $H=S{L}_2(\mathbb{Z})\cap {\gamma }^{-1}S{L}_2(\mathbb{Z})\gamma$. It has finite index because reduction modulo $D$ has finite image. Inside $H$, pullback under conjugation of $\Gamma$ has relative index at most $[S{L}_2(\mathbb{Z}):\Gamma ]$. ConsequentlyThis argument does not assert that an arbitrary finite-index subgroup contains a principal congruence subgroup.

Use the determinant-normalized slash operatorThe positive real power of the determinant is used; on $S{L}_2(\mathbb{Z})$ this reduces to the usual slash operator for modular forms. The automorphy factor identity gives the right-action rule $(f{|}_k\gamma ){|}_k\eta =f{|}_k(\gamma \eta )$.

A modular form on a finite-index subgroup of integer weight $k$ is a holomorphic function on the complex upper half-plane, invariant under this weight-$k$ action of $\Gamma$, and holomorphic at a cusp at each of its cusps. A cusp of a modular group is a $\Gamma$ orbit in ${\mathbb{P}}^1(\mathbb{Q})$. If $\sigma \in S{L}_2(\mathbb{Z})$ carries infinity to its representative, choose a positive integer $h$ with $\sigma T^h{\sigma }^{-1}\in \Gamma$. Such $h$ exists by finite index. Then $f{|}_k\sigma$ is periodic and has a convergent expansion in $q_h=e^{2\pi iz/h}$ near zero; holomorphy means no negative exponents, and being a cusp form means zero constant term. Using an actual translation period avoids possible signs if a smaller width of a cusp is defined only modulo the center, particularly in odd weights.

For cusp holomorphy under rational slash operators, choose $\sigma \in S{L}_2(\mathbb{Z})$ with $\sigma \infty =\gamma \infty$, possible by completing a primitive integer pair to a determinant-one matrix. Then ${\sigma }^{-1}\gamma =\left(\begin{array}{cc}a& b\\ 0& d\end{array}\right)$, with $a/d>0$. Up to a nonzero constant factor,The imaginary part of the argument tends to infinity with that of $z$, so this remains bounded by the cusp expansion of $f{|}_k\sigma$. It tends to zero if $f$ is a cusp form. Moreover $f{|}_k\gamma$ is invariant under ${\Gamma }^{\prime }$: for $\eta \in {\Gamma }^{\prime }$, $\gamma \eta {\gamma }^{-1}\in \Gamma$ and the right-action rule applies. Finite index gives a translation period for ${\Gamma }^{\prime }$, so boundedness is a removable singularity at zero in that periodic parameter. This proves holomorphy at infinity. For every other cusp, apply the same argument to the rational matrix $\gamma \rho$, with $\rho \in S{L}_2(\mathbb{Z})$. Thus all cusp conditions hold, and

For the character twist by rational translations of a cusp form, put $B_j=\left(\begin{array}{cc}1& j/N\\ 0& 1\end{array}\right)$ and $K={\Gamma }_1(N)\cap {\Gamma }_0(N^2)$. For $\eta =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in K$, direct conjugation givesIndeed $N^2\mid c$ and $a\equiv d\equiv 1(\mathrm{mod}N)$. Every $f{|}_k{B}_j=f(z+j/N)$ is therefore $K$-invariant and vanishes at all its cusps by the preceding rational-translate argument. Their finite weighted sum is a cusp form, for every Dirichlet character:

There is, however, a missing primitivity hypothesis in the printed final expansion claim. The exact Fourier expansion of a modular form is alwaysValues of a Dirichlet character on units have modulus one, so $\chi (j{)}^{-1}=\overline{\chi (j)}$. For unit $n$, substitution gives $S_{\overline{\chi }}(n)=\chi (n)g(\overline{\chi })$, where $g$ is the Gauss sum of a Dirichlet character. For nonunit $n$, this vanishing formula requires a primitive Dirichlet character.

Here is its proof in that case. Choose a prime $p\mid (n,N)$. Primitivity supplies a unit $u\equiv 1(\mathrm{mod}N/p)$ with $\chi (u)\ne 1$: otherwise the character would factor through the surjective reduction to units modulo $N/p$. Surjectivity follows by lifting a unit and, if needed, adjusting the lift to avoid the additional prime $p$, using the Chinese remainder theorem. Multiplication by $u$ fixes $e^{2\pi inj/N}$ because $p\mid n$, but multiplies the character factor by a nontrivial constant. Hence $S_{\overline{\chi }}(n)=0$. The finite Fourier transform of a primitive Dirichlet character now gives the corrected formulaThe constant is nonzero: finite exponential orthogonality gives ${\sum }_{n\mathrm{mod}N}|S_{\overline{\chi }}(n){|}^2=N\phi (N)$, whereas the proved formula makes this $\phi (N)|g(\overline{\chi }){|}^2$. Thus $|g(\overline{\chi })|=\sqrt{N}$.

For a concrete counterexample to the printed unrestricted claim, take $N=2$, the principal Dirichlet character, and $f=\Delta$. The translation sum is $\Delta (z+1/2)={\sum }_n(-1{)}^n\tau (n)q^n$, whose $q^2$ coefficient is $-24$. Any constant multiple of the proposed odd-index-only series has $q^2$ coefficient zero. Thus the general modularity conclusion is proved, while the claimed simplification is false without the stated extra hypothesis.

For a weight-$k$ cusp form, the invariant norm of a modular form $y^{k/2}|f(z)|$, with $y=\mathrm{Im}z$, is unchanged by the modular group: $\mathrm{Im}(\gamma z)=y/|cz+d{|}^2$ and $|f(\gamma z)|=|cz+d{|}^k|f(z)|$ cancel exactly.

Every orbit meets the standard fundamental domain of the modular group $\mathcal{F}=\{z:|\mathrm{Re}z|\le 1/2,|z|\ge 1\}$, where $y\ge \sqrt{3}/2$. The Fourier expansion of a modular form at the cusp has $f(q)=qh(q)$, with $h$ holomorphic near zero, since $f$ is a cusp form. Thus $|f(x+iy)|=O(e^{-2\pi y})$ uniformly in $x$ as $y\to \infty$, and $y^{k/2}|f|$ tends to zero there. On the remaining compact part of $\mathcal{F}$ it is bounded by continuity. Invariance therefore gives

For every $y>0$, Fourier coefficient extraction givesFor $n\ge 1$, minimize the last factor by taking $y=k/(4\pi n)$. This proves the Fourier coefficient bound for a cusp formThe assertion concerns positive indices; the constant coefficient vanishes because $f$ is a cusp form.

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:

We use left multiplication by $\Gamma =S{L}_2(\mathbb{Z})$. For an integral matrix $A$ of determinant $n>0$, the Bezout identity gives a determinant-one row operation sending its first column to $(a,0{)}^t$, where $a$ is the positive gcd of that column. The resulting matrix is $\left(\begin{array}{cc}a& b\\ 0& d\end{array}\right)$ with $d=n/a>0$. Adding a multiple of the second row to the first makes $0\le b<d$.

These representatives are unique. Left multiplication by a unimodular matrix preserves the gcd of the first column, so two representatives in one orbit have the same $a$ and hence $d$. A matrix taking $(a,0{)}^t$ to itself has the form $\left(\begin{array}{cc}1& t\\ 0& 1\end{array}\right)$, so it changes $b$ by $td$; the prescribed range makes $b$ unique. Thus the determinant-n matrix representatives for Hecke operators are exactly ${\Pi }_n$. In the printed set, $0\le b<d$ already forces $d>0$, and $ad=n>0$ forces $a>0$.

For positive determinant extend the slash operator for modular forms byThe determinant factor makes this a right action: $(f{|}_{k}A){|}_{k}B=f{|}_k(AB)$. Right multiplication by $\delta \in \Gamma$ permutes the left cosets represented by ${\Pi }_n$, since it preserves the set of determinant-$n$ integral matrices. Hence $T_{n}f$ satisfies the modular transformation law. Its summands are holomorphic on the upper half-plane. For an upper-triangular representative,Substitute the Fourier expansion of a modular form. The sum over $b$ is zero unless the original index is divisible by $d$, in which case it equals $d$. Writing that index as $dr$ givesOnly nonnegative powers occur, so $T_{n}f$ is holomorphic at infinity, and all level-one cusps are equivalent to infinity. We have proved $T_{n}f\in M_k(\Gamma )$ and the Fourier coefficients of a composite-index Hecke operator formulaHere $\gcd (n,0)=n$, giving $a_0(T_{n}f)={\sum }_{a\mid n}{a}^{k-1}{a}_0(f)$. In particular cusp forms stay cusp forms. For nonzero level-one cusp forms the weight is an even integer at least twelve, so the powers $a^{k-1}$ are integers; the zero cusp space causes no exception. Thus every $T_n$ preserves integral Fourier coefficients, and closure under addition, multiplication and integer scalars provesThis is the integral Hecke algebra of level-one cusp forms.

We will also need commutativity. The coefficient formula directly givesFor the first identity, the divisors of $u$ and $v$ in the iterated coefficient sum combine uniquely into a divisor of $uv$. For the second, write a coefficient index as $p^t{r}_0$ with $p\nmid r_0$; the formula isApplying $T_p$ splits this into the two sums with shifts $t+1$ and $t-1$; their overlapping terms give exactly the stated recurrence. Since $T_1$ is the identity, induction expresses each $T_{p^r}$ as a polynomial in $T_p$, and coprime multiplicativity expresses every $T_n$ as a product of these polynomials. Distinct prime operators commute by the coprime identity. Hence all Hecke operators commute, and so do all elements of $\mathbb{T}$.

Let $\Lambda =S_k(\Gamma ,\mathbb{Z})$ and $m=\dim S_k(\Gamma )$. In the permitted basis $F_j={\Delta }^j{E}_4^{a_j}{E}_6^{b_j}$, the modular discriminant begins $q+O(q^2)$ and the normalized Eisenstein series begin $1+O(q)$, soThe matrix of $a_1,\dots ,a_m$ on this integral basis is unitriangular and has determinant one. Integer elimination therefore gives an integral basis $f_1,\dots ,f_m$ with $a_i(f_j)={\delta }_{ij}$ for $1\le i,j\le m$. Thus $a_1,\dots ,a_m$ are a $\mathbb{Z}$-basis of the dual module ${\mathrm{Hom}}_{\mathbb{Z}}(\Lambda ,\mathbb{Z})$.