Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 27 / 1 / a / Solution

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