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

I recently asked this question on Math.StackExchange with no answer so far. So I thought maybe I can find an answer here.

Let $M(k,\Gamma_0(N))$ be a space of modular forms of weight $k$ on $\Gamma_0(N)$. Each $f \in M(k,\Gamma_0(N))$ has a Fourier expansion of the form $$ f(\tau)=\sum_{n\in \mathbb{N}}a(n)\,q^n \quad \text{where}\quad q=\mathrm{e}^{2\pi \mathrm{i}\tau} . $$

Now, let $g(\tau)$ be a function obtained from $f(\tau)$ by omitting all $a(n)$ such that $\gcd(n,N)\neq 1$, i.e. $$ g(\tau)=\sum_{\substack{n\in \mathbb{N}\\(n,N)=1}}a(n)\,q^n . $$

Question: Is $g(\tau)$ a modular form? What is its level?

Many thanks.

share|improve this question
Dear @user31009, perhaps you should wait at least a few days (instead of 20 hours) before reposting your Math.StackExchange question on MathOverflow. Quick reposting leads to duplication of effort, and is frowned upon by both communities. –  Ricardo Andrade Feb 21 '14 at 19:44
Not to mention that questions can be migrated. You can flag a question for migration by a moderator, in which case people can follow the link to the other site, and there won't be duplication. –  Ben Webster Feb 21 '14 at 20:42
I think this is a perfectly good question and should not be closed. –  GH from MO Feb 21 '14 at 23:54

3 Answers 3

up vote 3 down vote accepted

$$ g(\tau)=f(\tau)\otimes \left(\tfrac{N^2}{\cdot}\right)=\sum_{n\in \mathbb{N}}\left(\tfrac{N^2}{n}\right)a(n)\,q^n \quad \text{where}\left(\tfrac{N^2}{\cdot}\right) \text{ is the Kronecker symbol}.$$ This means that $g(\tau)$ is just the twist of $f(\tau)$ by a principle character. Indeed we have $$g(\tau)\in M(k,\Gamma_0(N^3)).$$

share|improve this answer
In fact a stronger conclusion can be drawn, see my response. –  GH from MO Feb 22 '14 at 2:17

We can express the form $g(\tau)$ as $$ g(\tau)=\sum_{d\mid N}\mu(d)\sum_{\substack{n\in\mathbb{N}\\d\mid n}} a(n)\,q^n.$$ In the notation of Atkin-Lehner (Hecke operators on $\Gamma_0(m)$, Math. Ann. 185 (1970), 134-160), the inner sum is $(f\mid U_d)\mid B_d$, which lies in $M(k,\Gamma_0(dN))$ by Lemmata 2, 6, 14 in the paper. This implies that $$ g\in M(k,\Gamma_0(N^2)). $$

share|improve this answer

The answer is yes it is a modular form. For this (and the level) see Section 3.8 of Soma Purkait's thesis.

share|improve this answer
This seems like a bit more generality than necessary - doesn't the modularity follow straightforwardly from properties of $U_p$ and $V_p$? –  S. Carnahan Feb 21 '14 at 21:15
@Carnahan: You are right, see my response. –  GH from MO Feb 21 '14 at 23:54

Your Answer


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.