Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If I have modular functions $f$ and $g$ with $f = a_{1} + a_{2}q + \cdots$ and $g = b_{1} + b_{2}a + \cdots$ both $q$-expansions, why does/how does it follow $f = g$ after checking only finitely many terms?

share|improve this question
5  
Because of finite dimensionality of the space of modular forms under consideration? –  John M Jul 1 '11 at 4:31
    
@John You might as well write that up as an answer. –  Alex B. Jul 1 '11 at 6:36
add comment

1 Answer 1

up vote 5 down vote accepted

Suppose $f$ and $g$ both have weight $k$ and level $\Gamma$. As John M notes, it is clear that there must exist some constant $N$ depending on $\Gamma$ and $k$ such that if $a_i = b_i$ for $0 \le i \le N$, then $f = g$, since the space $M_k(\Gamma)$ in which both forms live is finite-dimensional.

This doesn't help you find $N$ though. The simplest general result is the "Sturm bound", which shows that one may take $$ N = \frac{k d_\Gamma}{12}$$ where $d_\Gamma$ is the index of the image of $\Gamma$ in $\operatorname{PSL}_2(\mathbb{Z})$, which is either equal to or half of the index of $\Gamma$ in $\operatorname{SL}_2(\mathbb{Z})$ depending on whether or not $-1 \in \Gamma$. This is well explained in William Stein's free online textbook "Computing with Modular Forms".

share|improve this answer
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.