Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a generalisation of my earlier question about generators for the level 1 Hecke algebra.

Let $\Gamma$ be a congruence subgroup of $\operatorname{SL}_2(\mathbb{Z})$, and $k \ge 1$ an integer. There's an explicit bound $S$ (the "Sturm bound") known such that if $f \in M_k(\Gamma)$ (the space of modular forms of weight $k$ and level $\Gamma$) satisfies $a_n(f) = 0$ for $0 \le n \le S$, then $f = 0$, where $a_n(f)$ denote the coefficients of the $q$-expansion of $f$ (at the cusp $\infty$).

Since $M_k(\Gamma)$ is finite-dimensional and doesn't contain any nonzero constant functions, there must actually exist some $S'$ such that if $a_n(f) = 0$ for $1 \le n \le S'$ (but with no assumption on $a_0(f)$), then in fact $f = 0$. Can one give an effective upper bound on $S'$ (in terms of $k$ and the index $[\operatorname{SL}_2(\mathbb{Z}) : \Gamma]$)?

I'd be interested to know the answer to this even for the special case $\Gamma = \Gamma_0(N)$ or $\Gamma_1(N)$. For these groups it is equivalent to asking that the Hecke algebra acting on $M_k(\Gamma)$ is spanned by the operators $T_1, \dots, T_{S'}$ (hence the title of the question).

share|improve this question
    
@David: if you don't want anyone to answer the question you should delete it. –  Qiaochu Yuan Oct 21 '10 at 14:18
1  
I've decided to undelete this old question -- I did delete it because I wanted to set it as a student project, but the student didn't solve it. –  David Loeffler Jul 23 '13 at 19:45
    
Hmmm... isn't it called a "Sturm bound"? –  Julien Puydt Jul 24 '13 at 4:55
1  
David, do you know a good reference for sturm bounds? –  Joël Jul 24 '13 at 12:49
1  
show 2 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.