How do the rings of level $N$ quasi-modular forms related to the rings of modular forms? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T00:56:45Z http://mathoverflow.net/feeds/question/79577 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/79577/how-do-the-rings-of-level-n-quasi-modular-forms-related-to-the-rings-of-modular How do the rings of level $N$ quasi-modular forms related to the rings of modular forms? Simon Rose 2011-10-31T02:48:37Z 2011-11-03T16:06:40Z <p>It is well known that the graded algebra $\mathcal{M}(1)$ of Modular forms for $\Gamma = PSL_2(\mathbb{Z})$ is the polynomial algebra $$\mathcal{M}(1) = \mathbb{C}[E_4, E_6]$$ where $E_4$ and $E_6$ are the Eisenstein series of weights 4 and 6, respectively. It is also true that, while $E_2 = -\frac{1}{24} + \sum_{k=1}^\infty \sigma(k) q^k$, the Eisenstein series of weight 2 is not modular, it is <em>quasi</em>-modular, and satisfies a similar transformation law. Moreover, the graded algebra $\mathcal{QM}(1)$ of quasi-modular forms is given by $$\mathcal{QM}(1) = \mathcal{M}(1)[E_2] = \mathbb{C}[E_2, E_4, E_6].$$</p> <p>What can be said about quasi-modular forms for congruence subgroups of $\Gamma$? Is it still the case that, if we denote by $\mathcal{M}(N)$ and $\mathcal{QM}(N)$ the algebras of modular (resp. quasi-modular) forms for, say $\Gamma(N)$ (or perhaps $\Gamma_0(N)$, etc), that we can write $$\mathcal{QM}(N) = \mathcal{M}(N)[E_2]?$$ If not, is there some way of determining generators for $\mathcal{QM}(N)$ over $\mathcal{M}(N)$, say for even small values of $N$ ($N = 2, 4$ are of interest to me)?</p> <p>If this is not known, are there at least dimension formulae? </p> http://mathoverflow.net/questions/79577/how-do-the-rings-of-level-n-quasi-modular-forms-related-to-the-rings-of-modular/79945#79945 Answer by Ram Murty for How do the rings of level $N$ quasi-modular forms related to the rings of modular forms? Ram Murty 2011-11-03T16:06:40Z 2011-11-03T16:06:40Z <p>Dear Simon: Your assertion is right. Let $\Gamma$ be a subgroup of finite index in $SL_2(Z)$. Then any quasi-modular form for $\Gamma$ can be written uniquely as a polynomial in $E_2$ with coefficients which are modular forms for $\Gamma$. This is proved in a paper by Kaneko and Zagier, A generalized Jacobi theta function and quasi-modular forms in The Moduli Space of Curves, Progress in Math., Vol. 129, Birkhauser, 1995, pp. 165-172. Hope this helps.</p> <p>Ram Murty</p>