The space of cusp forms on $\mathbb{H}/\Gamma_0(4)$ is finite dimensional and spanned by the Poincare series for $m \in \mathbb{Z}$:

$$ P_m \big(z; \Gamma_0(4) \big) = \sum_{\tau \in \Gamma_\infty \backslash \Gamma_0(4) } j(\tau, z)^{-2k} \, e\,\big(\,m \tau z\,\big) = \sum_{\tau \in \Gamma_\infty \backslash \Gamma_0(4) } (\pm i ) \, \frac{1}{ | \, cz + d \, |^k } \, e\,\big(\,m \tau z\,\big)$$

The theta multiplier $j(\tau, z)$ is describing how theta functions transform: $$ j(\tau, z) = \theta(\tau z)/\theta(z) = \varepsilon_d^{-1} \left( \frac{c}{d}\right) \big( cz + d \big)^{1/2} \quad\text{ with }\quad\varepsilon = \left\{ \begin{array}{cc} 1 & \text{if }d=4k+1\\ i & \text{if }d=4k-1\end{array} \right. $$

One question I have is how can the space $S_k\big(\Gamma_0(4)\big)$ be finite dimensional, when there are infinitely many Poincare series, $m \in \mathbb{Z}$. There must be infinitely many relations between the different Poincare series $P_m$.

$$ \Gamma_\infty = \left\{ \left( \begin{array}{cc} 1 & x \\ 0 & 1 \end{array} \right) : x \in \mathbb{Z} \right\} $$

Before I continue, I need to know how to write down representatives of $\Gamma_\infty \backslash \Gamma_0(4)$. Are these the same as the "cusps" of $\Gamma_0(4)$? I was able to find related questions for that:

To add to the confusion, I'd read that spaces of modular forms split into the Eistenstein and cusp parts:

$$ M_k\big(\Gamma_0(4)\big)=E_k\big(\Gamma_0(4)\big)\oplus\text{S}_k\big(\Gamma_0(4)\big) $$

and here I can get the Eisenstein series, by setting $m = 0$. If instead I was looking for Eistensin series over $SL(2, \mathbb{Z})$ the answer is in many textbooks:

$$ E(z,s) = \sum_{\Gamma_\infty\backslash \Gamma } \mathrm{Im}(\gamma z)^s = \sum_{(c,d) = 1} \frac{y^s}{ \big|cz + d \big|^{2s}} $$

and we can do this because of a Lemma; we have the bijection:

\begin{eqnarray} \Gamma_\infty \backslash \Gamma_0 &\to& \big\{ (x,y)\in \mathbb{Z}^2 /\pm 1 : \mathrm{gcd}(x,y) = 1 \big\} \\ \Gamma_\infty\left( \begin{array}{cc} a & b \\ c & d\end{array} \right) &\mapsto & \pm (c,d) \end{eqnarray}

What is the corresponding Lemma for $\Gamma_\infty \backslash \Gamma_0(4)$ ? and what are the appropriate numbers $(c,d)$ to finish writing the Poincaré series on the first line?

  • $\begingroup$ @reuns Yes for each $k \geq 0$ there are infinitely many Poincare series $P_m(z; k, \Gamma)$ but $S_k(\Gamma_0(4))$ is finite dimensional. So, there must be relations at fixed $k$ (across the various $m$). $\endgroup$
    – cactus314
    Oct 11 '17 at 16:19
  • $\begingroup$ Here you twist by a character so I meant $\Gamma_1(4)$ and $k$ integer. What are your infinitely many Poincare series ? You meant it is finite dimensional for a fixed $k$, this is because $X_1(4) = \mathbb{H}^*/\Gamma_1(4)$ is a compact Riemann surface and $M_k(\Gamma_1(4))$ is isomorphic to $\{ \frac{f}{g} \in \mathbb{C}(X_1(4)), \text{div}(\frac{f}{g})+\text{div}(g) \ge 0\}$ (whose dimension is given by Riemann Roch) for any $g \in M_k(\Gamma_1(4))$ $\endgroup$
    – reuns
    Oct 11 '17 at 16:21
  • $\begingroup$ For $\Gamma_\infty \setminus \Gamma_0(4)$ write $\displaystyle \Gamma_0 = \bigcup_{\gamma \in \Gamma_0\setminus \Gamma_0(4)} \gamma \ \Gamma_0(4)$, $\displaystyle \ \ \Gamma_\infty = \bigcup_{\alpha \in \Gamma_\infty \setminus \Gamma_0} \alpha\ \Gamma_0=\bigcup_{\alpha \in \Gamma_\infty \setminus \Gamma_0} \bigcup_{\gamma \in \Gamma_0\setminus \Gamma_0(4)} \alpha \, \gamma\ \Gamma_0(4)$ where the union are disjoints. Since $ \mathbb{H}/\Gamma_0$ has only one cusp, the cusps of $ \mathbb{H}/\Gamma_0(4)$ are elements of $\Gamma_0 \setminus \Gamma_0(4)$ $\endgroup$
    – reuns
    Oct 11 '17 at 16:28

Okay, this makes no sense. First of all, why are you using theta multipliers? This comes up in half-integral weight modular forms, not modular forms of integral weight.

Second of all, read basically anything by Iwaniec to understand what these Poincare series look like. The correct $j$ factor is $j(\gamma,z) = cz + d$ for $\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$. Then the Poincare series is \[P_m(z) = \sum_{\gamma \in \Gamma_{\infty} \backslash \Gamma_0(q)} j(\gamma,z)^{-k} e(m\gamma z).\] The Bruhat decomposition implies that $\Gamma_{\infty} \backslash \Gamma_0(q)$ has a set of representatives consisting of the identity and $\begin{pmatrix} * & * \\ c & d \end{pmatrix}$ with $c \geq 1$, $c \equiv 0 \pmod{q}$, and $d \in (\mathbb{Z}/c\mathbb{Z})^{\times}$. This allows you to find that the Fourier coefficients of $P_m(z)$; see Lemma 14.2 of Iwaniec and Kowalski.

Yes, even though there are infinitely many Poincare series, they only span a finite-dimensional space, so there are tons of linear relations between them. In fact, you can calculate their inner product directly! (This is the right-hand side of the Petersson trace formula.)

  • $\begingroup$ But seriously, just read anything by Iwaniec - "Spectral Theory of Automorphic Forms", "Topics in Classical Automorphic Forms", Chapter 14 of "Analytic Number Theory" (with Kowalski). $\endgroup$ Oct 11 '17 at 17:48
  • $\begingroup$ the paper I found uses Theta multipliers. I thought it was absurd. It's Iwaniec, too. Yes it's half-integer weight. Thanks for explaining about Bruhat decomposition. $\endgroup$
    – cactus314
    Oct 11 '17 at 18:17
  • $\begingroup$ That's for half-integral weight modular forms! $\endgroup$ Oct 11 '17 at 18:18
  • $\begingroup$ Can you explain why such a round-about definition is necessary? $\endgroup$
    – cactus314
    Oct 11 '17 at 18:19
  • $\begingroup$ For half-integral weight modular forms, the "usual" definition of a multiplier doesn't work... $\endgroup$ Oct 11 '17 at 18:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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