Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Conjecture: Let be $f$ a modular form of weight $k$ and $j$ a strictly positive integer, then the set $f,f',...,f^{(j)}$ is $\mathbb C$-linearly independent in $A$.

Is that conjecture true or false? Do you know a counterexample or a proof?

Notation: Let $\Pi=\{x+iy\in \mathbb C|y>0\}$ be the upper half-plane, $Hol(\Pi)=\{f:\Pi\to\mathbb C|f \text{ is holomorphic}\}$, $M_k:=M_k(SL_2(\mathbb Z))$ be the space of modular forms of weight $k$ for $SL_2(\mathbb Z)$, $M_*:=\bigoplus_kM_k$, and finally let $A=Span(f^{(j)}|f\in M_* \text{ and } j\in \mathbb N)$ be the subalgebra of $Hol(\Pi)$ span (over $\mathbb C$) by the elements $f^{(j)}$ with $f\in M_*$ and $j\in \mathbb N$, where $f^{(0)}=f$, $f^{(1)}=f'=\frac{1}{2\pi i}\frac{df}{dz}$,...

In advance thank you very much for your answers.


share|cite|improve this question
I already have a solution for the question. Thanks – manuel Mar 20 '13 at 19:40
Please consider posting your solution here. It will likely get some upvotes. – ˈjuː.zɚ79365 Jul 1 '13 at 4:26

Your Answer


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

Browse other questions tagged or ask your own question.