Sturm bound - order at $\infty$ for $f \in M_k(\Gamma_0({N}))$

182 Views Asked by At

Let $f \in M_k(\Gamma_0({N}))$ and $\text{ord}_{\infty}(f)>\vert \Gamma: \Gamma_0 (N) \vert \frac{k}{12}$, then $f=0$

My idea is the following. Let $L$ be the representatives of the left cosets, than

$$ g:=\prod_{\alpha \in L}{f\vert_{k\alpha^{-1}}} \; \in M_{nk}(SL2(\mathbb{Z})) $$ where $n=\vert \Gamma: \Gamma_0 (N) \vert$.

By the valence formula for modular forms in $M_k(SL2(\mathbb{Z})))$, $f$ vanishes if $\text{ord}_{\infty}(g)> \vert \Gamma: \Gamma_0 (N) \vert \frac{k}{12}$.

How do I go from here ?

Would appreciate any help.

1

There are 1 best solutions below

1
On

For $f\in M_k(G)$, $$g = \prod_{\gamma\in G\backslash SL_2(\Bbb{Z})} f|_k \gamma$$

$m= k |SL_2(\Bbb{Z})/G|$

$g^{12}$ is a weight $12 m$ modular form for the full modular group, if it has a zero of order $>m$ at $i\infty$ then $\Delta^{-m} g^{12}$ is a weight $0$ modular form, thus it is constant, and since it vanishes at $i\infty$ it is zero, ie. $g = 0$ and $f=0$.