= Solution
Because $f$ is a modular function that is holomorphic on $\mathfrak h$, it has a Laurent expansion
$$
f(\tau)=\sum_{n\geq-N}a_nq^n
$$
with a finite principal part at infinity. The <Hecke operator on modular forms> acts on this expansion by
$$
T_pf=\sum_n\left(a_{pn}+p^{k-1}a_{n/p}\right)q^n.
$$
If $N>0$ and $a_{-N}\ne0$, the term $p^{k-1}f(p\tau)$ shows that $T_pf$ has pole order $pN$. Inductively, $T_p^rf$ has pole order $p^rN$ with nonzero leading coefficient. Functions with distinct pole orders are <linearly independent>, so
$$
f,T_pf,T_p^2f,\ldots
$$
would span an infinite-dimensional vector space. This contradicts the hypothesis. Hence $N=0$, and $f$ is holomorphic at infinity. Together with its assumed holomorphy on $\mathfrak h$, this proves that $f$ is a modular form, as asserted by the <finite Hecke orbit criterion for holomorphy at a cusp>.
Back to article page
