Abstract
We investigate Poincaré series, where we average products of terms of Fourier series of realanalytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general, this is not the case. The main point of this paper is the study of Siegel–Poincaré series of degree 2 attached to products of terms of Fourier series of harmonic Siegel–Maass forms and holomorphic Siegel modular forms. We establish conditions on the convergence and nonvanishing of such Siegel–Poincaré series. We surprisingly discover that these Poincaré series are almost holomorphic Siegel modular forms, although the product of terms of Fourier series of harmonic Siegel–Maass forms and holomorphic Siegel modular forms (in contrast to the elliptic case) is not almost holomorphic. Our proof employs tools from representation theory. In particular, we determine some constituents of the tensor product of HarishChandra modules with walls.
Modular forms have a rich history with many beautiful applications in different sciences. Restricting our attention to cusp forms, we can distinguish two classes of modular forms, which behave drastically differently: Maass cusp forms and almost holomorphic modular forms. Almost holomorphic forms modular forms were introduced independently by Shimura [31] and Kaneko and Zagier [20]. Shimura initiated their study, because of their special arithmetic properties. Kaneko and Zagier’s paper was stimulated by Dijkgraaf [7], who conjectured a relation between almost holomorphic modular forms and numbers of topologically inequivalent branched covers of an elliptic curve. Research on the latter aspect has been particularly successful, establishing connections to Kac–Moody algebras and related representation theoretic objects [4, 9].
Poincaré series play a major role in the theory of automorphic forms (for example, see [5, 8, 10] among many others). It is not difficult to construct almost holomorphic Poincaré series by observing that almost holomorphic modular forms vanish under a power of the lowering operator \(L := 2 i y^2 \partial _{\overline{\tau }}\), where throughout \(\tau =x+iy\in \mathbb {H}\). Specifically, the elliptic Poincaré series \(\sum _\gamma (y^{d} e^{2 \pi i\, n\tau }) \big _k\, \gamma \) converges for \(n, d \in \mathbb {Z}\), \(n>0\), \(k>2\), \(0 \le d < \frac{k}{2}  1\), and it is almost holomorphic, since L is equivariant with respect to the usual slash action \(_k\) and \(L^{d+1} (y^{d} e^{2 \pi i\, n\tau })=0\). Slightly more general, if \(s\in \mathbb {C}\), then Selberg’s [29] Poincaré series \(\sum _\gamma \left( ( y^s ) \cdot ( e^{2 \pi i\, n \tau } ) \right) \big _k\, \gamma \) corresponds to a product of terms of Fourier series. The factor \(y^s\) is the 0th term of the Fourier series of a (weight 0) Eisenstein series, and the factor \(e^{2 \pi i\, n \tau }\) is a term of Fourier series of a (weight k) holomorphic modular form. In general, if the product of two terms of Fourier series is not almost holomorphic, then the associated Poincaré series is not almost holomorphic either, provided that it is nonzero. We discuss two examples in more detail in Sect. 1.2.
Siegel modular forms impact many different areas of mathematics: Algebraic and arithmetic geometry, invariant theory, representation theory, quantum theory, and conformal field theory, for example. Almost holomorphic Siegel modular forms were recently classified in [13, 26], and they play an important role in the context of mirror symmetry in [13].
The purpose of this paper is to construct almost holomorphic Siegel–Poincaré series of degree 2, where we average products of terms of Fourier series of (harmonic) Siegel–Maass forms, but where these products are not almost holomorphic themselves. More specifically, in (3.3) we define the Siegel–Poincaré series
where k, \(\ell \) are positive even integers, T, \(T'\) are positive definite and symmetric \(2\times 2\) matrices, and where \(\Psi _k(T;Z)\) and \(\Phi _\ell (T';Z)\) are the Tth and \(T'\)th terms of Fourier series of a weight k harmonic Siegel–Maass form (as in [6, 27]) and weight \(\ell \) holomorphic Siegel modular form, respectively. We apply an estimate of [30] to prove that \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) converges for all \(\ell \) large enough. Moreover, we employ a result of [17] to show that \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) does not vanish identically for all \(\ell \) large enough. The following theorem is our main result.
Assume the generalized Ramanujan conjecture for \(\mathrm {GL}_{4}\). The function \(\Psi _k(T;Z) \cdot \Phi _\ell (T';Z)\) is not almost holomorphic. If \(\ell \ge 6 + 2b  k\), where \(b > 0\) is defined in (3.4), then \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) converges and is almost holomorphic.
Remark
(1)
Poincaré series are the starting point for Kuznetsovtype [18] trace formulas. It would be interesting to determine the Fourier series coefficients and the spectral decomposition of \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) to discover a novel Kuznetsovtype trace formula for Siegel modular forms.

(2)
It is possible to define \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) for indefinite T. One can show that these Poincaré series converge for sufficiently large \(\ell \) and that they are almost holomorphic. However, unfolding the Petersson scalar product against an arbitrary almost holomorphic Siegel modular form yields that they vanish identically.
The paper is organized as follows: In Sect. 1, we illustrate how almost holomorphic Poincaré series arise in the setting of elliptic modular forms. In Sect. 2, we review realanalytic Siegel modular forms. In particular, we recall the notions of almost holomorphic Siegel modular forms and harmonic Siegel–Maass forms. In Sect. 3, we define the Siegel–Poincaré series \(\mathbb P^{(2)}_{k,\ell ;T,T'}\), and we determine conditions on its convergence and nonvanishing. In Sect. 4, we prove Theorem I using tools from real representation theory: The Poincaré series \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) yields a cuspidal automorphic representation for \(\mathrm {PGSp}_n\). The \((\mathfrak {g},K)\)module attached to its component at the infinite place embeds into the tensor product of two HarishChandra modules generated by \(\Psi _k\) and \(\Phi _\ell \). This puts severe restrictions on \((\mathfrak {g},K)\)modules arising in our context. Specifically, we employ Muić’s [25] study of decompositions of generalized principal series to control HarishChandra parameters of \((\mathfrak {g},K)\)modules that have “walls” in their Ktype support. In addition, \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) gives rise to a scalar Ktype. Consequently, we can invoke Arthur’s [2] endoscopic classification of representations of \(\mathrm {Sp}_{2}(\mathbb {R})\) to narrow down possibilities to holomorphic (limits of) discrete series.
Poincaré series for elliptic modular forms
We consider cuspidal Poincaré series in the case of elliptic modular forms to demonstrate possible phenomena and to explain available tools to investigate such series. From the introduction, recall the almost holomorphic Poincaré series attached to the function
Note that \(\phi _{k[d]}\) does not depend on k. Nevertheless, we also include it in the notation to indicate that it is a typical term of a weight k almost holomorphic modular form. If \(d=0\), then we write \(\phi _{k}(n; \tau ) := \phi _{k[0]}(n; \tau )\).
To define elliptic Poincaré series, set \(\Gamma ^{(1)}_{\infty } := \big \{ \pm {\left( {\begin{matrix} 1 &{} b \\ 0 &{} 1\end{matrix}}\right) },\, b\in \mathbb {Z}\big \}\), and recall the elliptic slash action \((f _k\, \gamma )(\tau ) := (c \tau + d)^{k} f(\frac{a \tau + b}{c \tau + d})\) for \(f :\, \mathbb {H}\rightarrow \mathbb {C}\), \(k \in \mathbb {Z}\), and \(\gamma = {\left( {\begin{matrix} a &{} b \\ c &{} d \end{matrix}}\right) } \in \mathrm {SL}_{2}(\mathbb {Z})\). Products of almost holomorphic functions are almost holomorphic. Hence, it is trivial that the Poincaré series
is almost holomorphic, provided that it converges, which is the case if \(k + \ell > 2 + 2d\). In the next two sections, we will demonstrate that analogous Poincaré series are, in general, not almost holomorphic.
Poincaré series that are not almost holomorphic
Consider a typical term of the nonholomorphic part of a weight k harmonic weak Maass form:
where \(\Gamma \) is the usual incomplete gamma function. Note that \(\widetilde{\psi }_k(n;\,\cdot \,)\) decays rapidly toward infinity, but the Poincaré series \(\sum _\gamma \widetilde{\psi }_k(n;\tau ) \big _k \gamma \) does not converge, due to its behavior as \(y \rightarrow 0\). For the remainder of this section, let \(\ell \in \mathbb {Z}\) such that \(k + \ell > 2\), in which case the Poincaré series
converges.
Our main tool in this paper—see Sect. 4—is the theory of HarishChandra modules (i.e., real representation theory). We will apply it to the case of elliptic modular forms in Sect. 1.4. Guided by the emphasis of real representation theory on linear differential operators, we consider the lowering operator L instead of Bruinier and Funke’s [3] \(\xi \)operator. The \(\xi \)operator and L map smooth functions on \(\mathbb {H}\) to smooth functions on \(\mathbb {H}\), and are defined by
where \(\partial _{\overline{\tau }}\,f = \partial f \big /\partial \overline{\tau }\) and \(\partial _{\tau }\,f = \partial f \big /\partial \tau \)
. The space \(\mathbb M^{(1)}_k\) of harmonic Maass forms is mapped by \(\xi _k\) to \(\textit{M}^{(1)}_{2k}\), the space of holomorphic modular forms. Equivalently, it is mapped by \(L_k\) to \(y^{2k} \overline{\textit{M}}^{(1)}_{2k}\), which is the space of antiholomorphic modular forms of antiholomorphic weight \(2k\) normalized by \(y^{2k}\) to holomorphic weight \(k2\). Terms of Fourier series are related by the formula \(L_k \left( \widetilde{\psi }_k(n; \tau ) \right) = (4 \pi n)^{1k}\, \widetilde{\phi }_{k2}(n;\tau )\) with
The image of \(\widetilde{\mathbb P}^{(1)}_{k,\ell ;n,m}\) under \(mL_k\) is therefore a scalar multiple of
For simplicity, we focus on \(m > n\). In the next section, we find that neither \(\widetilde{\textit{P}}^{(1)}_{k,\ell ;n,m}\) nor \(\widetilde{\mathbb P}^{(1)}_{k,\ell ;n,m}\) is almost holomorphic.
Spectral decomposition of Poincaré series
It is an important and nontrivial task to find the spectral decomposition of an automorphic form. The spectrum of the weight k hyperbolic Laplace operator on \(L^2(\mathrm {SL}_{2}(\mathbb {Z}) \backslash \mathbb {H},\, _k)\) consists of four different contributions: (1) Eisenstein series \(E_{k,s}\) with spectral parameter \(s = 1/2 + it\), \(t \in \mathbb {R}\). (2) The residual spectrum, which arises from unary theta series. (3) Almost holomorphic and almost antiholomorphic cusp forms. (4) Proper Maass cusp forms. The Poincaré series that we consider are all cuspidal, and so Eisenstein series do not occur in their spectral decomposition. Furthermore, the residual spectrum occurs only for halfintegral weight, and therefore, it does not contribute to the weights that we treat. Consequently, Parseval’s equation implies that if f is one of the Poincaré series, then
where \(g_j\) runs through a (finite) complete orthonormal set of almost holomorphic and antiholomorphic modular forms, and \(u_j\) runs through an (infinite) complete orthonormal set of proper Maass cusp forms.
We now show that \(\widetilde{\textit{P}}^{(1)}_{k,\ell ;n,m}\) in (1.6) and \(\widetilde{\mathbb P}^{(1)}_{k,\ell ;n,m}\) in (1.4) are not almost holomorphic. More precisely, we show that both have spectral expansions with infinite support. The relation
allows us to examine only \(\widetilde{\textit{P}}^{(1)}_{k,\ell ;n,m}\).
To exhibit the spectral decomposition, suppose that u is a Maass cusp form with spectral parameter s with \(Re(s) > \frac{1}{2}\). Without loss of generality, we can raise its weight to weight \(k\,{+}\,\ell \), such that its spectral parameter with respect to the weight \(k+\ell \) Laplace operator is \(s  (k+\ell )/2\). The Fourier series expansion of u has the form
where \(W_{\mu ,\nu }\) denotes the usual WWhittaker function. We unfold the Petersson scalar product of the Poincaré series \(\widetilde{\textit{P}}^{(1)}_{k,\ell ; n,m}\) against u, and obtain by 7.621.3 of [11] that \(\langle u,\, \widetilde{\textit{P}}^{(1)}_{k,\ell ;n,m} \rangle \) equals
The hypergeometric series evaluated at 0 equals 1. The gamma factors do not vanish, and all Maass cusp forms with \(c(u;\,m  n) \ne 0\) contribute to the spectral expansion of f. By Theorem 1.2 of [12], there are infinitely many such Maass cusp forms.
Almost holomorphic Poincaré series
In this section, we suggest another Poincaré series that is almost holomorphic. In light of what we discuss in Sect. 1.4, it is natural to replace \(\widetilde{\psi }_k\) by
It is a term of the Fourier series of an “antiharmonic” Maass form in \(y^{k} \overline{\mathbb M}^{(1)}_{k}\), which is a space of functions that are mapped by the raising operator
to holomorphic modular forms of weight \(k+2\).
Define the Poincaré series
which converges if \(\ell  k > 2\). Observe that
where p is a polynomial of degree k. Applying the lowering operator \(k+1\) times annihilates this product, i.e., \(\mathbb P^{(1)}_{k,\ell ;n,m}\) is almost holomorphic.
Finally, it is easy to see that \(\textit{P}^{(1)}_{k[d],\ell ; n, m}\) [defined in (1.2)] is in the kernel of \(L^{d+1}\), i.e., it is also almost holomorphic.
HarishChandra modules
The spectral decomposition of an automorphic form implies a decomposition of the associated HarishChandra module. Vice versa, one can deduce from the decomposition of the HarishChandra module attached to an automorphic form which parts of the spectrum contribute to its spectral expansion. In particular, it is possible to infer from the HarishChandra module alone whether an automorphic form is almost holomorphic. In this section, we give some details and examples. A precise statement in the case of automorphic forms for \(\mathrm {Sp}_{2}(\mathbb {R})\) is presented in Sect. 4.
We reconsider the spectral decomposition of the Poincaré series \(\textit{P}^{(1)}_{k[d],\ell ; n, m}\) and \(\mathbb P^{(1)}_{k,\ell ; n,n'}\) in light of HarishChandra modules. The Poincaré series in (1.4) cannot be completely analyzed, and their \((\mathfrak {g},K)\)modules are not HarishChandra modules. An excellent treatment of HarishChandra modules can, for example, be found in [15, 32]. To accommodate the classically inclined reader, we suggest a rather simple schematic way of thinking of HarishChandra modules in terms of lowering and raising operators, but for simplicity we suppress details on the correspondence of HarishChandra modules and the \(\mathbb {C}[\textit{L},\textit{R}]\)modules that we employ in this section. We will be more precise in Sect. 4, when we discuss the case of \(\mathrm {Sp}_{2}(\mathbb {R})\).
Given an even weight k and a function f, we study the action of \(\mathbb {C}[\textit{L}, \textit{R}]\) where \(\textit{L}\) and \(\textit{R}\) are abstract lowering operators on the pair (f, k). The action is precisely given by \(\textit{L}\, (f,k) = (\textit{L}_k\, (f), k2)\) and \(\textit{R}\, (f,k) = (\textit{R}_k\, (f), k+2)\), where \(\textit{L}_k\) and \(\textit{R}_k\) are the usual lowering and raising operators, as before given by
By viewing the second component of (f, k) as a grading, it makes sense to speak of the graded module \(\mathbb {C}[\textit{L}, \textit{R}]\, f\), and study for which k its kth graded component is nonzero. We are further interested in the action of the lowering and raising operators on the graded components of \(\mathbb {C}[\textit{L}, \textit{R}]\, (f,k)\). We illustrate the typical behavior on the function \(y^s\) with \(s \in \mathbb {C}\). We clearly have \(\textit{L}_k\, (y^s) = s y^{s+1}\) and \(\textit{R}_k\, (y^s) = (s+k) y^{s1}\). If \(s = 0\) or \(s = k\), then \(y^s\) vanishes under \(\textit{L}_k\) or \(\textit{R}_k\), respectively. Rewriting this in terms of pairs (f, k), we find that \(\textit{L}(y^s, 0) = ( s y^{s+1}, 2)\) and \(\textit{R}(y^s, 0) = (s y^{s1}, 2)\).
We now exhibit the behavior of terms of the Fourier series in (1.1), (1.3), (1.5), and (1.7) under lowering and raising operators. For any n, we have \(\textit{L}(\phi _k(n;\tau ), k) = 0\), and no power of \(\textit{R}\) annihilates \((\phi _k(n;\tau ), k)\). The situation for \(\psi _k(n;\tau ), k)\) is similar. We have \(\textit{L}^{k+1} (\psi _k(n;\tau ), k) = (0, k2)\). In addition, \(\textit{L}\textit{R}(\psi _k(n;\tau ), k) = 0\). The behavior of \(\widetilde{\phi }_k\) and \(\widetilde{\psi }\) is analogous.
We now introduce a schematic way to describe these modules. Every graded component which is nonzero corresponds to a filled circle. Graded components that are zero correspond to (small) circles. Both are placed on a line to emphasize the \(2\mathbb {Z}\)grading. We further encircle one dot that corresponds to the graded component, which we are focusing on. For example, in the case of \((y^{d},0)\) we would encircle the 0th graded component, and when considering \((\phi _k,k)\) we encircle the kth one. Finally, we separate \(\mathbb {C}[\textit{R},\textit{L}]\)submodules by vertical lines decorated with an arrow. It means that applying the lowering operator (if the arrow points rightwards) or the raising operator (if the arrow points leftwards) applied to this graded component equals zero. In addition, we insert vertical dashed lines to indicate the relation to walls in socalled principal series representations. Here are diagrams for \(\phi _{k[d]}\), \(\psi _k\), \(\widetilde{\phi }_k\), and \(\widetilde{\psi }_k\).
We now come back to the spectral decomposition of Poincaré series. We illustrate our approach in the first case \(\textit{P}_{k[d],\ell ;n,m}\). It is central for the more general discussion in Sect. 4 to decompose the action of lowering operators and raising operators into two parts according to the following analogue to the Leibniz product rule.
An analogous formula holds for the raising operator. Applying both formulas iteratively yields that
The tensor product of (f, k) and \((g,\ell )\) is defined as \((fg, k+\ell )\), which is in accordance with the product \(f_k\,\gamma \cdot g_\ell \,\gamma = (fg)_{k+\ell }\,\gamma \).
With this machinery, we can now read off an upper bound for the support of the graded module \(\mathbb {C}[\textit{L}, \textit{R}]\, \left( \textit{P}_{k[d],\ell ;n,m},\, k + \ell \right) \). We have already given diagrams for the left and right tensor component that correspond to it. All nonzero graded components are 1dimensional, and we find that the weights of the nonzero graded components in the tensor product are at least \(k2d+\ell \).
As a last step, we use the classification of HarishChandra modules for \(\mathrm {SL}_{2}(\mathbb {R})\): (Limits of) holomorphic discrete series are the only HarishChandra admissible modules which have a lowest weight. Therefore, the HarishChandra module attached to \(\textit{P}_{k[d],\ell ;n,m}\) is a (finite) direct sum of (limits of) holomorphic discrete series. Graded components of such discrete series correspond to almost holomorphic modular forms, and this proves again what we have already observed in Sect. 1.3: The Poincaré series \(\textit{P}_{k[d],\ell ;n,m}\) decomposes as a finite sum of almost holomorphic modular forms.
The inconclusive cases To analyze the Poincaré series in (1.4) and (1.6), we have to consider the tensor product of the \(\mathbb {C}[\textit{L},\textit{R}]\)modules generated by \(\widetilde{\phi }_k\) and \(\phi _\ell \), and by \(\widetilde{\psi }_k\) and \(\phi _\ell \), respectively. These tensor products are supported on all weights and all weight spaces are infinite dimensional. Thus, we cannot deduce anything definite. Nevertheless, this at least suggests that infinitely many Maass cusp forms appear in the spectral decomposition, which is what we verified directly in Sect. 1.2.
Realanalytic Siegel modular forms
We start by introducing necessary notation to define Siegel modular forms. Let \(I = I^{(2)}\) be the \(2 \times 2\) identity matrix, \(\Gamma := \Gamma ^{(2)} := \mathrm {Sp}_{2}(\mathbb {Z})\) be the symplectic group of degree 2 over \(\mathbb {Z}\), \(\mathbb {H}^{(2)}\) be the Siegel upper half space of degree 2, and let \(Z = X+iY \in \mathbb {H}^{(2)}\) be a typical variable. If \(M = {\left( {\begin{matrix} A &{} B \\ C &{} D \end{matrix}}\right) } \in \Gamma \) and \(Z \in \mathbb {H}^{(2)}\), then
Furthermore, if \(F:\, \mathbb {H}^{(2)} \rightarrow \mathbb {C}\) and if \(k \in \mathbb {Z}\), then
for all \(M={\left( {\begin{matrix} A &{} B\\ C &{} D\end{matrix}}\right) } \in \Gamma \).
Definition 2.1
A holomorphic (degree 2) Siegel modular form of weight k on \(\Gamma \) is a holomorphic function \(F :\, \mathbb {H}^{(2)} \rightarrow \mathbb {C}\) such that, for all \(M \in \Gamma \), \(F\big _k\,M = F\).
Almost holomorphic Siegel modular forms
Almost holomorphic Siegel modular forms were introduced by Shimura [31]. In degree 2, they were classified in [13, 26]. Write \(Z = (z_{ij})\) and set \(\partial _{\overline{Z}} := \left( \frac{1}{2}(1 + \delta _{ij}) \partial _{\overline{z_{ij}}} \right) \) to define the lowering operator
By the dth power of \(\textit{L}\), we mean its dth tensor power.
Definition 2.2
An almost holomorphic (degree 2) Siegel modular form of weight k and depth d on \(\Gamma \) is a realanalytic function \(F :\, \mathbb {H}^{(2)} \rightarrow \mathbb {C}\) satisfying the following conditions:

(1)
For all \(M \in \Gamma \), \(F\big _k\,M = F\).

(2)
We have that \(\textit{L}^{d+1}(F) = 0\).
Harmonic Siegel–Maass forms
In [6], we introduced a certain space of harmonic (skew) Siegel–Maass forms, and we proved a connection of this space to the space of harmonic skewMaass–Jacobi forms. In particular, we answered a question of Kohnen [16] on how skewholomorphic Jacobi forms are related to realanalytic Siegel modular forms. We now introduce the \((\alpha ,\beta )\)slash action and the corresponding matrixvalued Laplace operator to recall the definition of harmonic (skew) Siegel–Maass forms in [6].
If \(F :\, \mathbb {H}^{(2)} \rightarrow \mathbb {C}\), and if \(\alpha , \beta \in \mathbb {C}\) such that \(\alpha \beta \in \mathbb {Z}\), then
for all \(M={\left( {\begin{matrix} A &{} B\\ C &{} D\end{matrix}}\right) } \in \Gamma \). If \(\beta =0\), we have \(\left( F \big _\alpha \, M \right) (Z) = \left( F \big _{(\alpha ,\,\beta )}\,M \right) (Z)\). As before, write \(Z=(z_{ij})\) and set \(\partial _{Z} := \left( \frac{1}{2}(1 + \delta _{ij}) \partial _{z_{ij}} \right) \) to define the Laplace operator
which is equivariant with respect to the action in (2.3) (see [24] for details). For the remainder, assume that \(\kappa \) is an odd integer such that \(\kappa \not \in \{1,3\}\).
Definition 2.3
A harmonic (skew) Siegel–Maass form of weight \(\kappa \) on \(\Gamma \) is a realanalytic function \(F :\, \mathbb {H}^{(2)} \rightarrow \mathbb {C}\) satisfying the following conditions:

(1)
For all \(M\in \Gamma \), \(F\,_{\left( \frac{1}{2},\,\kappa \frac{1}{2} \right) }\, M = F\).

(2)
We have that \(\Omega _{\frac{1}{2}, \kappa \frac{1}{2}}(F) = 0\).

(3)
We have that \(F(Z) \le c \, \mathrm {tr}(Y)^a\) for some \(a,c>0\) as \(\mathrm {tr}(Y) \rightarrow \infty \).
Let \(\mathbb M^\mathrm {sk}_\kappa \) denote the space of such harmonic Siegel–Maass forms of weight \(\kappa \).
Remark 2.4
In [6], we only focused on (skew) Siegel–Maass forms of type \(\left( \frac{1}{2}, \kappa \frac{1}{2} \right) \), in order to establish links to the spaces of skewMaass–Jacobi forms (if \(\kappa <0\)) and skewholomorphic Jacobi forms (if \(\kappa >3\)). Nevertheless, many results of [6] extend to “holomorphic weights,” which are more natural from a representation theoretic perspective. In fact, if \(F \in \mathbb M^\mathrm {sk}_\kappa \), then the form \(\mathrm {det}(Y)^{\kappa  1 /2} F(Z)\) has weight \(k:=1\kappa \), i.e., it is invariant under (2.1) with \(k = 1  \kappa \), where k is an even integer such that \(k \not \in \{0, 2\}\). For convenience, we set
Let \(\Gamma _{\infty } := \Gamma ^{(2)}_{\infty } := \big \{{\left( {\begin{matrix} A &{} B \\ 0 &{} D \end{matrix}}\right) } \in \Gamma \, \big \}\). Recall Maass’ [23, 24] nonholomorphic Eisenstein series
and also the Poincaré–Eisenstein series
Then, \(P_{\kappa ,s} = \mathrm {det}(Y)^s E_{s + 1 /2, s + \kappa  1 /2}\), and in [6], we stated the following fact.
Proposition 2.5
If \(s=0\) (\(\kappa >3\)) or \(s=\frac{3}{2} \kappa \) (\(\kappa <0\)), then \(P_{\kappa ,s} \in \mathbb M^\mathrm {sk}_\kappa \). In other words, we have
We end this section with a remark on terms of the Fourier series of harmonic Siegel–Maass forms.
Remark 2.6
In [6], we determined Fourier series expansions of harmonic Siegel–Maass forms: For any nondegenerate, symmetric, halfintegral \(2 \times 2\) matrix T there exist functions \(\Psi _k(T;\, Z)\) such that the Tth term of the Fourier series of any \(F \in \mathbb M_k\) is given by
The ideas in the proof of Proposition 4.6 can be used to show that for \(k < 2\), \(\Psi _k(T;Z) = 0\) for positive definite T.
Realanalytic Siegel–Poincaré series
In this section, we define Poincaré series attached to products of terms of Fourier series of holomorphic Siegel modular forms and harmonic Siegel–Maass forms. Recall from Proposition 2.5 that \(\mathrm {det}(Y) E_{1+k,1} \in \mathbb M_k\). We can use its Fourier series to define \(\Psi _k(T;Z)\) in Remark 2.6.
If \(Re(\alpha )\), \(Re(\beta )>\frac{1}{2}\), then (see [24]) the terms of the Fourier series of the Eisenstein series \(E_{\alpha , \beta }\) are, up to scalar multiples, given by
where
For the remainder, let T be positive definite, which we denote by \(T > 0\). Set
and for \(T' > 0\) and positive even integers k and \(\ell \) define the Poincaré series
where \(\Delta \) is the subgroup of \(\Gamma \) defined by
Observe that \(\Phi _k (T; Z+B) = \Phi _k (T; Z)\) and \(\Psi _\ell (T';Z+B)=\Psi _\ell (T';Z)\), and one finds that \( P^{(2)}_{k,\ell ;\, T, T'}\) is well defined.
Convergence
We determine the convergence of \( P^{(2)}_{k,\ell ;\, T, T'}(Z)\) by comparing it to the Poincaré series
which converges absolutely and uniformly on compact subsets of \(\mathbb {H}^{(2)}\) for even integers \(k' \ge 6\) (see, for example, Proposition 3 on page 85 of [14]).
Consider \(\mathrm {det}(Y)\, h_{k+1,1}(T;\, Y)\), where \(T > 0\) and \(Y>0\). Let \(0<\lambda _1\le \lambda _2\) be the eigenvalues of TY. Then \(\mathrm {det}(TY)=\lambda _1\lambda _2\), \(\mathrm {tr}(TY)=\lambda _1+\lambda _2\), and \(\lambda _1\ge \frac{\mathrm {det}(TY)}{\mathrm {tr}(TY)}\).
Shimura [30] studied a function \(\omega (g,h;\alpha ,\beta )\), which is closely related to (3.1). Specifically, if \(g=2\pi Y\), \(h=T\), \(\alpha =k+1\), and \(\beta =1\), then
Shimura established an estimate for \(\omega \), which implies that there exist constants \(a,b>0\) (depending on \(\alpha \) and \(\beta \), i.e., on k) such that
where \(c:=a \, 2^{1+2k} \mathrm {det}(T)^{k  b + 1 /2}\). Note that \(\mathrm {tr}(TY)^b\, e^{2\pi \, \mathrm {tr}(TY)} \le d e^{\pi \, \mathrm {tr}(TY)}\) for some constant \(d>0\). Thus,
and one finds that \( P^{(2)}_{k,\ell ;\, T, T'}(Z)\) in (3.3) is dominated by
with \(\widetilde{T} := T+T' > 0\). We conclude that \(P^{(2)}_{k,\ell ;\, T, T'}(Z)\) converges absolutely and uniformly on compact subsets of \(\mathbb {H}^{(2)}\) if \(\ell +k2b\ge 6\).
Nonvanishing
In this section, we show that \(\lim _{\ell \rightarrow \infty } P^{(2)}_{k,\ell ;\, T, T'}(iy_0 I)>0\) for some \(y_0>1\), which implies that \(\mathbb P^{(2)}_{k,\ell ;T,T'}\) does not vanish identically for all \(\ell \) large enough. We apply the following lemma of Kowalski, Saha, and Tsimerman [17], where \(U(y_0)\) stands for some neighborhood of \(i y_0 I\) (\(y_0>0\)).
Lemma 3.1
([17]) There exists a real number \(y_0 > 1\) such that for any \(\left( {\begin{matrix} A &{} B \\ C &{} D \end{matrix}}\right) \in \Gamma \) with \(C \ne 0\) and for all \(Z \in U(y_0)\), we have \(\mathrm {det}(CZ+D)>1\).
Let \(M=\left( {\begin{matrix} A &{} B \\ C &{} D \end{matrix}}\right) \in \Gamma \). Suppose that \(C\not =0\). Choose \(y_0>1\) as in Lemma 3.1 and consider \(Z=i y_0 I\). Then \(\mathrm {det}(CZ+D)>1\), and if \(T > 0\), then
Recall that (3.6) is a majorant of (3.3), which converges for all \(\ell \ge 6k+2b\), and we find that
Finally, suppose that \(C=0\). Then \(D = \,{}^\mathrm {t}{A}^{1}\). Moreover, we factor out by \(\Delta \), and hence, we may (and do) assume that \(B=0\). If \(M=\left( {\begin{matrix} A &{} 0 \\ 0 &{} \,{}^\mathrm {t}A^{1} \end{matrix}}\right) \) and again \(Z=i y_0 I\), then
Thus,
which is positive (k and \(\ell \) are even), where again \(\widetilde{T} := T+T' > 0\). In particular,
\((\mathfrak {g},K)\)modules generated by Poincaré series
Throughout this section, we focus on \((\mathfrak {g},K)\)modules for \(G := \mathrm {Sp}_{2}(\mathbb {R})\). We diverge from the classical notation \(M \in \mathrm {Sp}_{2}(\mathbb {R})\) in favor of the representation theoretic notation \(g \in G\). Recall the realization of the symplectic group as
with maximal compact subgroup
where \(\mathrm {U}_{2}(\mathbb {R})\) are the \(\mathbb {R}\)points of the unitary group \(\mathrm {U}_{2}\) attached to the quadratic extension \(\mathbb {C}/\mathbb {R}\), which as an algebraic group is defined over \(\mathbb {R}\).
Irreducible representations of \(\mathrm {U}_{2}(\mathbb {R})\) are isomorphic to \(\mathrm {det}^k \mathrm {sym}^\ell := \mathrm {det}^k \otimes \mathrm {sym}^\ell \) for some \(k \in \mathbb {Z}\), \(\ell \in \mathbb {Z}_{\ge 0}\). This is the classical way of denoting weights for Siegel modular forms. In the context of realanalytic representation theory, it is more common to parametrize irreducible Krepresentations by integers \(a,b \in \mathbb {Z}\) subject to the condition that \(a \ge b\). This notion stems from the action of the center of \(\mathfrak {k}\) (the complexified Lie algebra of K) on a representation. Translation between the two conventions is straightforward: The pair (a, b) corresponds to \(\mathrm {det}^b \mathrm {sym}^{ba}\), while the weight \(\mathrm {det}^k \mathrm {sym}^\ell \) corresponds to \((k+\ell ,k)\).
A \((\mathfrak {g},K)\)module is a simultaneous \(\mathfrak {g}\) and Kmodule with compatibility relations imposed on them. A precise definition can be found in Section 3.3.1 of [32]. One invariant of \((\mathfrak {g},K)\)modules is the set of nontrivial Ktypes (i.e., irreducible Krepresentations). A \((\mathfrak {g},K)\)module \(\varpi \) viewed as a Krepresentation can be decomposed as a direct sum of irreducibles. We say that a Ktype \(\pi _K\) occurs in \(\varpi \) if \(\dim \, {\mathop {\mathrm {Hom}}}_K(\pi _K, \varpi ) > 0\). If the multiplicity in \(\varpi \) of all \(\pi _K\)’s is finite, then \(\varpi \) is called a HarishChandra module. The invariant that we will primarily encounter is the set of Ktypes that occur in a \((\mathfrak {g},K)\)module.
The Ktypes in \((\mathfrak {g},K)\)modules for \(\mathrm {Sp}_{2}(\mathbb {R})\) can be displayed by a halfgrid in 2 dimensions. A typical such grid looks as follows, where we have marked Ktypes that occur by a filled circle, and those that do not occur by an empty circle.
We say that a HarishChandra module \(\varpi \) has a vertical wall in the direction of \(\leftarrow \) or \(\rightarrow \), if there exists \(a_0 \in \mathbb {Z}\) such that every Ktype with highest weight (a, b) that occurs in \(\varpi \) satisfies \(a \le a_0\) or \(a \ge a_0\), respectively. Horizontal walls in the direction of \(\uparrow \) and \(\downarrow \) can be defined analogously.
\((\mathfrak {g},K)\)modules associated with modular forms
Section 2 of [33] gives an account of the connection between modular forms and HarishChandra modules. Weights are finite dimensional, holomorphic representations \(\sigma \) of \(\mathrm {GL}_{2}(\mathbb {C})\). Their representation space is denoted by \(V(\sigma )\). Given a weight \(\sigma \) and a smooth function \(F :\, \mathbb {H}^{(2)} \rightarrow V(\sigma )\), we can attach a function \(\mathrm {A}_{\mathbb {R},\sigma }(F) := \mathrm {A}_\mathbb {R}(F)\) on \(\mathrm {G}(\mathbb {R}) = \mathrm {Sp}_{2}(\mathbb {R})\):
From \(\mathrm {A}_\mathbb {R}(F)\), one constructs the vector space \(\overline{\mathrm {A}}_{\mathbb {R},\sigma }(F)(g)\) that is spanned by its coordinates. This space under right translation by K is isomorphic to the dual \(\sigma ^\vee \) of \(\sigma \). The action of \(\mathfrak {g}\) on this space generates a \((\mathfrak {g},K)\)module that we denote by \(\varpi (F)\). If F is an automorphic form or a term of the Fourier series of a modular form, then \(\varpi (F)\) is a HarishChandra module.
Recall the compatibility of covariant differential operators acting on F and the \(\mathfrak {g}\)action on \(\varpi (F)\) that is stated and the end of Section 2.2 of [33] in terms of the following two commutative diagrams.
This compatibility allows us to pass back and forth between the classical description of covariant differential operators acting on modular forms and the representation theoretic perspective.
Lemma 4.1
Let \(c :\, \mathbb {H}^{(2)} \rightarrow V(\sigma )\) be smooth function such that the Poincaré series
is locally absolutely convergent. Then, there is an inclusion \(\varpi (P_c) \hookrightarrow \varpi (c)\).
Proof
This is an immediate consequence of viewing Poincaré series as intertwining maps from a suitable principal series to the automorphic spectrum. It can also be seen directly, by checking that
\(\square \)
Lemma 4.2
Given two smooth functions \(c_1 :\, \mathbb {H}^{(2)} \rightarrow V(\sigma _1)\) and \(c_2 :\, \mathbb {H}^{(2)} \rightarrow V(\sigma _2)\), then there is an inclusion \(\varpi (c_1 \cdot c_2) \hookrightarrow \varpi (c_1) \otimes \varpi (c_2)\).
Proof
This is a rephrasing of the Leibniz rule for differentials. \(\square \)
The tensor products of \((\mathfrak {g},K)\)modules
Proposition 4.3
Let \(\varpi _1\) and \(\varpi _2\) be HarishChandra modules. If \(\varpi _1\) has a vertical wall in the direction of \(\rightarrow \) and \(\varpi _2\) has a horizontal wall in the direction of \(\uparrow \), then the tensor product \(\varpi _1 \otimes \varpi _2\) has a vertical wall in the direction of \(\rightarrow \). If \(\varpi _1\) has a vertical wall in the direction of \(\leftarrow \) and \(\varpi _2\) has a horizontal wall in the direction of \(\downarrow \), then the tensor product \(\varpi _1 \otimes \varpi _2\) has a horizontal wall in the direction of \(\downarrow \).
Proof
We prove the first case and leave the second one to the reader. Let \(a_0\) and \(b'_0\) be such that \(a \ge a_0\) if (a, b) occurs in \(\varpi _1\) and \(b' \ge b'_0\) if \((a',b')\) occurs in \(\varpi _2\). Let (a, b) and \((a',b')\) be arbitrary Ktypes in \(\varpi _1\) and \(\varpi _2\). Then by the ClebschGordan rules, their tensor product contains Ktypes of weight \((a'',b'')\) with \(a'' + b'' = a + a' + b + b'\) and \(\max (ab,a'b')  \min (ab,a'b') \le a''b'' \le ab + a'b'\).
Adding these two, we find that
If \(ab \ge a'  b'\), then this equals \(2 (a + b') \ge 2 (a_0 + b'_0)\). Otherwise, it equals \(2 (a' + b)\) which is greater than \(2 (a + b') \ge 2(a_0 + b'_0)\), because \(a'b' \ge a  b\). \(\square \)
HarishChandra modules with walls
Proposition 4.4
Assume the generalized Ramanujan conjecture for \(\mathrm {GL}_{4}\). Let \(\varpi \) be an irreducible, cuspidal, automorphic representation, with HarishChandra module \(\varpi _\infty \) at the infinite place. If \(\varpi _\infty \) has a vertical or horizontal wall, and if \(\varpi _\infty \) contains a scalar Ktype, then \(\varpi _\infty \) is a holomorphic or antiholomorphic (limit of) discrete series.
Proof
We first show that the HarishChandra parameters \((s_1,s_2)\) of \(\varpi _\infty \) are integral. The Langlands classification [15] exhausts irreducible HarishChandra modules as irreducible quotients of induced representations. We use [25] to determine their Ktypes. We adopt Muić’s notation. Equations (9.3–9.5) of [25] allow us to focus on the induced representations
with nonintegral HarishChandra parameter. The first representation is irreducible by Lemma 9.1 of [25]. The remaining ones are irreducible by Theorem 12.1 of [25]. Hence, it suffices to check Ktypes of induced representations that occur in (4.2), which was done in Section 6 of [25]. This shows that \(s_1, s_2 \in \mathbb {Z}\).
Assume that \(\varpi _\infty \) is tempered. Among the (limits of) discrete series, only the holomorphic ones contain scalar Ktypes. To show that no other tempered representation can occur, observe that tempered representations that are not (limits of) discrete series are fully induced from discrete series attached to the Levi factor of a parabolic subgroup by Knapp and Zuckerman [19]. Section 9 of [25] lists the nontempered constituents of inductions of discrete series, and this reduces us to the HarishChandra parameter (0, 0). By Corollary 5.2 of [25], the induced representation \(1 \times 1 \rtimes 1\) is irreducible. Lemma 6.1 reveals that it has no walls. The principal series
contains Ktypes \((k',k')\) for odd \(k'\) only.
Assume that \(\varpi _\infty \) is nontempered. Then by the generalized Ramanujan conjecture for \(\mathrm {GL}_{4}\) and by Arthur’s endoscopic classification [2], the only nontempered contributions to the automorphic spectrum are lifts of (1) Soudry type, (2) Saito–Kurokawa type, (3) Howe–Piatetski–Shapiro type, or (4) onedimensional type. For a detailed explanation, see [1]. Local components at the infinite places can be determined via the local Langlands correspondence for reductive groups over the reals, which was established in [21]. Sections 1 and 2 of [28] summarize both results briefly. For Soudry type lifts, we apply Lemma 6.1 of [25] to discover that no scalar Ktypes occur. The holomorphic Saito–Kurokawa lift does contain scalar Ktypes. At the infinite place, it is a holomorphic discrete series. A Saito–Kurokawa lift with integral HarishChandra parameter that is not a holomorphic discrete series contains no scalar Ktype by Lemmas 6.1 and 9.2 of [25]. The Howe–Piatetski–Shapiro type corresponds to the Langlands quotient of the Borel subgroup. In the case of integral HarishChandra parameters, it contains no scalar Ktype by, again, Lemma 6.1 and 9.2 of [25]. This also applies to the onedimensional type. This establishes the claim. \(\square \)
Proof of the main theorem
Before we investigate Poincaré series, we recall two results about their Fourier series:
Proposition 4.5
Let \(c :\, \mathbb {H}^{(2)} \rightarrow V(\sigma )\) be a holomorphic function. Then \(\varpi (c)\) has a horizontal wall in the direction of \(\uparrow \). Moreover, \(\varpi (\Psi _k(T;Z))\) has a vertical wall in the direction of \(\rightarrow \), where \(\Psi _k(T;Z)\) is defined in (3.2).
Proof
The first statement is classical and follows from the description of holomorphic discrete series. The second one is a direct consequence of Proposition 4.1 of [33], or alternatively can be extracted from [22].
Proposition 4.6
There is no \(d \in \mathbb {Z}_{\ge 0}\) such that
vanishes.
Proof
Since \(\textit{L}(\Phi _\ell (T;\,\cdot \,) = 0\), we have
Using the equivariance
we can focus on the case that \(\Psi _k(T;\,\cdot \,)\) is a nonvanishing term of the Fourier series of an Eisenstein series. We then obtain an embedding of the HarishChandra module \(\varpi _k\) generated by that Eisenstein series into the generalized Whittaker model \(W_{k,T}\) associated with \(\Psi _k(T;\,\cdot \,)\) (which, in fact, is a Bessel model). Using the decomposition series of principal series given in [22], we find that the Ktypes \((k+2a,k)\) occur in \(\varpi _k\) for all \(a \ge 0\). Moreover, all Ktypes in \(\varpi _k\) occur with multiplicity at most 1. Let \(\pi \) be the projection of the weight (i.e., \(\mathrm {GL}_{2}(\mathbb {C})\)representation) \(\mathrm {det}^k (\mathrm {sym}^2)^d\) to \(\mathrm {det}^k \mathrm {sym}^{2d}\). Our argument shows that
generates the Ktype \((k+2d,k)\) of the image of \(\varpi _k\) in \(W_{k,T}\). In particular, it does not vanish. \(\square \)
Proof of Theorem I
By Sect. 3, the Poincaré series \(P^{(2)}_{k,\ell ;T,T'}\) is a realanalytic cusp form. We have to show that it vanishes under some tensor power of the lowering operator \(\textit{L}\). By the connection of modular forms and \((\mathfrak {g},K)\)modules, elaborated on in Sect. 4.1, it suffices to show that \(\varpi \left( P^{(2)}_{k,\ell ;T,T'} \right) \) is a finite sum of holomorphic (limits of) discrete series.
Cuspidality implies that \(\varpi \left( P^{(2)}_{k,\ell ;T,T'} \right) \) is a direct sum of irreducibles. The theorem is proved if we show that any of its irreducible subquotients is a holomorphic (limit of) discrete series.
Lemma 4.1 asserts that we can restrict on the codomain of
and Lemma 4.2 allows us to further reduce our considerations to
where \(\Phi _\ell (T';Z)\) is viewed as a function from \(\mathbb {H}^{(2)}\) to \(V(\mathrm {det}^\ell )\).
Proposition 4.5 guarantees that the first tensor factor has a horizontal wall, and the second one has a vertical wall. Consequently, we can apply Proposition 4.3. It implies that \(\varpi _{k,\ell ;T,T'}\) has a vertical wall in the direction of \(\rightarrow \). If it occurs in \(\varpi \left( P^{(2)}_{k,\ell ;T,T'} \right) \), then it contains a scalar Ktype. Hence, it is a holomorphic discrete series by Proposition 4.4. This completes the proof. \(\square \)
Acknowledgements
The research of Kathrin Bringmann was supported by the Alfried Krupp Prize for Young University Teachers of the Krupp foundation, and the research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP/20072013)/ERC Grant Agreement No. 335220—AQSER. Olav K. Richter was partially supported by Simons Foundation Grant #200765. Martin WesterholtRaum was partially supported by Vetenskapsrådet Grant 201504139.
References
 1.
Arthur, J.: Automorphic Representations of GSp(4). Contributions to Automorphic Forms, Geometry, and Number Theory. Johns Hopkins University Press, Baltimore (2004)
 2.
Arthur, J.: The Endoscopic Classification of Representations, vol. 61. American Mathematical Society Colloquium Publications Orthogonal and Symplectic Groups. American Mathematical Society, Providence (2013)
 3.
Bruinier, J.H., Funke, J.: On two geometric theta lifts. Duke Math. J. 125(1), 45–90 (2004)
 4.
Bloch, S., Okounkov, A.: ‘The character of the infinite wedge representation. Adv. Math. 149(1), 1–60 (2000)
 5.
Bringmann, K., Ono, K.: The \(f(q)\) mock theta function conjecture and partition ranks. Invent. Math. 165(2), 243–266 (2006)
 6.
Bringmann, K., Raum, M., Richter, O.K.: Kohnen’s limit process for realanalytic Siegel modular forms. Adv. Math. 231(2), 1100–1118 (2012)
 7.
Dijkgraaf, R.: Mirror symmetry and elliptic curves. In: Dijkgraaf, R., Faber , C., van der Geer, G. (eds.) The Moduli Space of Curves (Texel Island, 1994), Vol. 129. Progress in Mathematics. Birkhäuser Boston, Boston (1995)
 8.
Duke, W., Imamoğlu, Ö., Tóth, Á.: Cycle integrals of the \(j\)function and mock modular forms. Ann. Math. 173(2), 947–981 (2011)
 9.
Eskin, A., Okounkov, A., Pandharipande, R.: The theta characteristic of a branched covering. Adv. Math. 217(3), 873–888 (2008)
 10.
Fay, J.D.: Fourier coefficients of the resolvent for a Fuchsian group. J. Reine Angew. Math. 293(294), 143–203 (1977)
 11.
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products, 7th edn. Elsevier/Academic Press, Amsterdam (2007)
 12.
Jasmin Matz, N.T.: SatoTate Equidistribution for Families of HeckeMaass Forms on \(\text{SL}(n, {\mathbb{R}})/\text{ SO }(n)\). arXiv:1505.07285 (2015)
 13.
Klemm, A., Poretschkin, M., Schimannek, T., WesterholtRaum, M.: Direct Integration for Genus Two Mirror Curves. arXiv:1502.00557 (2015)
 14.
Klingen, H.: Introductory Lectures on Siegel Modular Forms, vol. 20. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1990)
 15.
Knapp, A.W.: Representation Theory of Semisimple Groups. Princeton Landmarks in Mathematics. An overview based on examples, Reprint of the 1986 original. Princeton University Press, Princeton (2001)
 16.
Kohnen, W.: Jacobi Forms and Siegel Modular Forms: Recent Results and Problems. Enseign. Math. 39(2), 121–136 (1993)
 17.
Kowalski, E., Saha, A., Tsimerman, J.: A note on Fourier coefficients of Poincaré series. Mathematika 57(1), 31–40 (2011)
 18.
Kuznecov, N.V.: The Petersson conjecture for cusp forms of weight zero and the Linnik conjecture. Sums of Kloosterman sums. Math. USSRSb 39(3), 299–442 (1981)
 19.
Knapp, A.W., Zuckerman, G.: Classification of irreducible tempered representations of semisimple Lie groups. Proc. Natl. Acad. Sci. USA 73(7), 2178–2180 (1976)
 20.
Kaneko, M., Zagier, D.B.: A generalized Jacobi theta function and quasimodular forms. In: Dijkgraaf, R., Faber , C., van der Geer, G. (eds.) The Moduli Space of Curves (Texel Island, 1994), Vol. 129. Progress in Mathematics. Birkhäuser Boston, Boston (1995)
 21.
Langlands, R.P.: On the classification of irreducible representations of real algebraic groups. In: Sally, P.J., Vogan, D.A. (eds.) Representation Theory and Harmonic Analysis on Semisimple Lie Groups, Vol. 31. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (1989)
 22.
Lee, S.T.: Degenerate principal series representations of \(\text{ Sp } (2n, { R})\). Compos. Math. 103(2), 123–151 (1996)
 23.
Maass, H.: Die Differentialgleichungen in der Theorie der Siegelschen Modulfunktionen. Math. Ann. 126, 44–68 (1953)
 24.
Maass, H.: Siegel’s Modular Forms and Dirichlet Series. Lecture Notes in Mathematics, vol. 216. Springer, Berlin (1971)
 25.
Muić, G.: Intertwining operators and composition series of generalized and degenerate principal series for \(\text{ Sp } (4, \mathbb{R})\). Glas. Mat. Ser. III 44(2), 349–399 (2009)
 26.
Pitale, A., Saha, A., Schmidt, R.:Lowest Weight Modules of \(\text{ Sp }_{4} (\mathbb{R})\) and Nearly Holomorphic Siegel Modular Forms. arXiv:1501.00524 (2015)
 27.
Raum, M.: Dual weights in the theory of harmonic Siegel modular forms. PhD thesis. University of Bonn (2012)
 28.
Schmidt, R.: Packet Structure and Paramodular Forms. Trans. Amer. Math. Soc. (to appear)
 29.
Selberg, A.: On the estimation of Fourier coefficients of modular forms. In: Proceedings of Symposia in Pure Mathematics, Vol. VIII. American Mathematical Society, Providence, RI (1965)
 30.
Shimura, G.: Confluent hypergeometric functions on tube domains. Math. Ann. 260(3), 269–302 (1982)
 31.
Shimura, G.: Nearly holomorphic functions on Hermitian symmetric spaces. Math. Ann. 278(1–4), 1–28 (1987)
 32.
Wallach, N.: Real Reductive Groups. I, Vol. 132. Pure and Applied Mathematics. Academic Press, Boston (1988)
 33.
WesterholtRaum, M.: Harmonic Weak Siegel Maaß Forms I. arXiv:1510.03342 (2015)
Author information
Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bringmann, K., Richter, O.K. & WesterholtRaum, M. Almost holomorphic Poincaré series corresponding to products of harmonic Siegel–Maass forms. Res Math Sci 3, 30 (2016). https://doi.org/10.1186/s406870160080y
Received:
Accepted:
Published:
Keywords
 Almost holomorphic modular forms
 Siegel modular forms
 HarishChandra modules
Mathematics Subject Classification
 Primary 11F46
 Secondary 11F30
 11F37
 11F70