Abstract
We proof a Garrett–Böcherer decomposition of a vector-valued Siegel Eisenstein series \(E_{l,0}^2\) of genus 2 transforming with the Weil representation of \({\text {Sp}}_2({\mathbb {Z}})\) on the group ring \({\mathbb {C}}[(L'/L)^2]\). We show that the standard zeta function associated to a vector-valued common eigenform f for the Weil representation can be meromorphically continued to the whole s-plane and that it satisfies a functional equation. The proof is based on an integral representation of this zeta function in terms of f and \(E_{l,0}^2\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Vector-valued modular forms transforming with the Weil representation play a prominent role in the theory of Borcherds products, see e. g. [3] or [5]: The weakly holomorphic forms of this type serve as input to the celebrated Borcherds lift, which maps them to meromorphic modular forms on orthogonal groups whose zeroes and poles are supported on special divisors and which possess an infinite product expansion. This lift has many important applications in geometry, algebra and in the theory of Lie algebras. Since their prominent appearance in the works of Borcherds and Bruinier, a lot of research regarding this type of modular forms has been done. Among other things, a theory of newforms has been developed [6]. In [9] the foundations of a theory of Hecke operators was laid. The Fourier coefficients of Eisenstein series were calculated in [8] and the analytic properties of their non-holomorphic versions were studied in detail in [27]. Also, several relations between these modular forms and scalar-valued modular forms have been established (see e. g. [25]). One important part of the theory of modular forms that has not yet been addressed (to the best of my knowledge) is their relation to L-functions. We can find in the literature several ways to associate an L-function to a modular form (see e. g. [2, 4, 21]). Such L-functions are central objects in number theory and are studied extensively in several aspects, among them their analytic properties. The present paper can be seen as a contribution to these investigations. Its main objective is to examine the analytic properties of a certain L-function of a vector-valued Hecke eigenform. The results of this paper, in particular the analytic properties of the considered L-function, have some important applications. For instance, they can be employed to generalize the currently existing results on the surjectivity of the Borcherds lift and the injectivity of the Kudla-Millson theta lift along the lines of [7]. As an interesting application, it should be possible to generalize classification results on reflective modular forms using the Jacobi forms approach as discussed in [28]. This is subject of a forthcoming paper by the author.
To describe the main results more closely, we introduce some notation (see Section 2 for more details). Let L be a non-degenerate even lattice of type \((b^+, b^-)\) and level N, equipped with a bilinear form and associated quadratic form q. By \(L'\) we denote the dual lattice of L. We assume further that the rank and the signature \({\text {sig}}(L)=b^+-b^-\) of L is even. The Weil representation \(\rho _{L,1}\) associated to L is a unitary representation of \(\Gamma _1 = {\text {SL}}_2({\mathbb {Z}})\) on the group ring \({\mathbb {C}}[L'/L]\),
For reasons which will become apparent later we need a more general Weil representation \(\rho _{L,n}\) of the symplectic group \(\Gamma _n = {\text {Sp}}_n({\mathbb {Z}})\) on the group ring \({\mathbb {C}}[(L'/L)^n]\) (cf. Definition 3.1 in Sect. 3).
Now let \(l\in {\mathbb {Z}}\) be even. A holomorphic function \(f: {\mathbb {H}}\rightarrow {\mathbb {C}}\) is called a vector-valued modular form of weight l and type \(\rho _{L,1}\) for the group \(\Gamma _1\) if
for all \(\gamma = \left( {\begin{matrix} a &{} b \\ c &{} d\end{matrix}}\right) \in \Gamma \), and f is holomorphic at the cusp \(\infty \). The space of all such functions is denoted with \(M_l(\rho _{L,1})\). For the subspace of cusp forms we write \(S_l(\rho _{L,1})\). For the details see Sect. 4.
As already mentioned above, in [9] a Hecke operator T(M) for \(M\in GL_2^+({\mathbb {Q}})\) was introduced by the action of a suitable Hecke algebra. Based on this definition, it is possible to recover the main results of the classical Hecke theory. In particular, it is proved that \(S_l(\rho _{L,1})\) possesses a basis of common Hecke eigenforms of all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \) for all \(d\in {\mathbb {N}}\) coprime to the level N of L. For such an eigenform we have
for \((d,N)=1\). The authors in [9] proposed to associate to f an L-function of the form
L-functions of this type were considered in many places in the literature (cf. for example [1, 2] or [4]). It was suggested in [9] to establish the usual analytic properties, that is, the meromorphic continuation to the whole complex s-plane and a functional equation of \(L^N(s,f)\) by means of a variant of the doubling method ([2, 13] or [21]). This was the starting point of the present paper. Its main content is the proof of the meromorphic continuation and a functional equation of a modified version of \(L^N(s,f)\).
More precisely, we assume that there is a common Hecke eigenform f for all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \), \(d\in {\mathbb {N}}\). This assumption is justified if a multiplicity one theorem (see e. g. [18], § 4.6) is in place. The question under what conditions such a theorem for vector-valued modular forms for the Weil representation holds was investigated in [30]. It turns out that a multiplicity one theorem is valid if the Weil representation decomposes into irreducible subrepresentations, each subrepresentation occurring with multiplicity one. In Remark 6.1 we discuss in more detail under what circumstances \(\rho _{L,1}\) allows such a decomposition. Under these assumptions we assign to f the L-function
which we call according to [1] a standard zeta function.
To study the analytic properties of (1.1), we develop a doubling method along the lines of [2] and [13], tailored to the vector-valued setting. Note that there are papers addressing this topic for vector-valued Siegel modular forms [14, 15]. However, our approach deals with \(\rho _{L,1}\) as representation requiring methods specifically adapted to this representation, causing several technical difficulties along the way. By restriction to the diagonal, the doubling method connects a Siegel Eisenstein series of genus \(n+m\) with Siegel Eisenstein series of genus n and m and certain Poincaré series. In our setting we obtain the following pullback formula:
Theorem 1.1
Let \(d\in {\mathbb {Z}}\) be a positive integer, \(D=\left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \) and \(E_{l,0}^{2*}\) be as in Definition 4.3. Then for all \(\tau , \zeta \in {\mathbb {H}}\)
Here \(E_{l,0}^{2*}\) is the non-holomorphic vector-valued Siegel Eisenstein series of type \(\rho ^*_{L,2}\), \({\mathscr {P}}^+_L\) means a certain vector-valued Poincaré series attached to the discriminant form \((L'/L)^2\) (analogous to the Poincaré series in [2] - see Defitinition 4.8) and \(E_{l,0}^{1*}\) is the non-holomorphic vector-valued Eisenstein series of type \(\rho ^*_{L,1}\), where \(\rho ^*_{L,n}\) denotes the dual representation of \(\rho _{L,n}\). Finally, \(\displaystyle g_d(L)\) is a Gauss sum associated to the quadratic form q on L defined by
and \(\displaystyle g(L)=g_1(L)\).
Based on this theorem, Theorems 4.10 and 6.2, we are able to calculate a Rankin–Selberg type integral depending on the Siegel Eisenstein series \(E_{l,0}^{2}\) and an eigenform f and to thereby express it in terms of Z(s, f) along the lines of [7] (see Theorem 6.4 for details). The analytic properties of \(E_{l,0}^2\) with respect to s can then be transferred to Z(s, f). Note that for the Siegel Eisenstein series \(E_{l,0}^n\) of genus n and type \(\rho _{L,n}\) these properties were established in [27]. The functional equation for \(E_{l,0}^n\) is rather complicated. Corollary 4.6 specializes it to the case \(n=2\), leading to a quite clean formula.
We finish this section with an overview of the subsequent sections: After some notations and preliminaries, we introduce in Sect. 3 the Weil representation \(\rho _{L,n}\) for the Siegel modular group \({\text {Sp}}_n({\mathbb {Z}})\). We prove several relations between \(\rho _{L,2}\) and \(\rho _{L,1}\), which are vital for the pullback formula above. The following section deals with vector-valued Siegel modular forms with respect to \(\rho _{L,n}\), the Eisenstein series \(E_{l,0}^n\) and certain vector-valued Poincaré series, the main ingredients of the above stated formulas. After some general remarks, we switch to the case \(n=1\) and give a brief account to Hecke operators and explain how to extend their definition to double cosets \(\Gamma _1\left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \Gamma _1\) if d is not coprime to the level N. The second part of this section defines and studies the Eisenstein series \(E_{l,0}^n\). In particular, we prove a functional equation for \(n=2\) and explain how to assign to \(E_{l,0}^n\) a value on the Siegel lower half space, which is a necessary technical detail to deduce the main theorems of the paper. Finally, two vector-valued Poincaré series are introduced, one of them analogous to a series introduced in [2], the other related to the first. The main results here are the reproducing formulas in Theorem 4.10. In Sect. 5 we derive the Garrett–Böcherer pullback formula in our setting. The proof follows the one of [13]. In each relevant step the corresponding calculations for \(\rho _{L,2}\) have to be included, causing several technical difficulties. The last section then collects all results established before and presents the desired analytic properties of Z(s, f).
2 Notation and preliminaries
We use the symbol e(x), \(x\in {\mathbb {C}}\), as an abbreviation for \(e^{2\pi ix}\). As usual, by \({\overline{z}}\) we mean the conjugate complex number of z. In this paper, n, m are always natural numbers. For any ring R, \(M_{m,n}(R)\), \(R^n\) and \({\text {Sym}}_n(R)\) are the set of \(m\times n\) matrices, the set of row vectors of size n and the set of symmetric matrices in \(M_{n,n}(R)\). We write \(1_n\) and \(0_n\) for the unit matrix and zero matrix of size n, respectively. Moreover, by \(A^t\) and \({\text {tr}}(A)\) we denote the transposed matrix and the trace of A. Also, for any matrix \(S\in {\text {Sym}}_n({\mathbb {R}})\) we write \(S>0\) (resp. \(S\ge 0)\) if S is positive definite (resp. positive semi-definite). By \({\text {Sp}}_n\) we denote the symplectic group of genus n. We use the symbol \(\Gamma _n\) for \({\text {Sp}}_n({\mathbb {Z}})\). In particular, we have \(\Gamma _1 = {\text {SL}}_2({\mathbb {Z}})\). For \(N\in {\mathbb {N}}\)
is the principal congruence subgroup of \(\Gamma _n\). The subgroups
where \(0\le r\le n\) and \(*_1\in M_{r,r}({\mathbb {Z}}), *_2\in M_{r,n-r}({\mathbb {Z}}), *_3\in M_{n-r,r}({\mathbb {Z}}),\) and \(*_4\in M_{n-r,n-r}({\mathbb {Z}})\) are part of the definition of Siegel Eisenstein series. As special cases we have \(\Gamma _{n,n} = \Gamma _n\) and
Later on, we will use the symbol \(\Gamma _\infty \) for \(\Gamma _{1,0}\).
Further, by \(\Gamma _1\left( {\begin{matrix} 0 &{} d^{-1} \\ d &{} 0\end{matrix}}\right) \) we mean the subgroup
where d is a positive integer. Note that \(\Gamma _1\left( {\begin{matrix} 0 &{} d^{-1} \\ d &{} 0\end{matrix}}\right) \) is isomorphic to
and as a consequence, \(\Gamma _1\left( {\begin{matrix} 0 &{} d^{-1} \\ d &{} 0\end{matrix}}\right) \backslash \Gamma _1 \cong \Gamma _1(d)\backslash \Gamma _1\). The isomorphism is given by
It is immediate that \(\ell \) is an involution.
The group \(\Gamma _m\times \Gamma _n\) can be embedded into \(\Gamma _{n+m}\) by the map
Via \(\iota _{m,n}\) we can embed \(\Gamma _m\) and \(\Gamma _n\) into \(\Gamma _{n+m}\):
Denote with \({\mathbb {H}}_n=\{\tau \in M_{n,n}({\mathbb {C}})\; | \; \tau ^t = \tau \; \text { and } {\text {Im}}(\tau )> 0\}\) the Siegel upper half space of genus n. It is well known that the group \(\Gamma _n\) acts on \({\mathbb {H}}_n\) by
If \(n=1\), \({\mathbb {H}}_n= {\mathbb {H}}_1\) specializes to the usual upper half plane \({\mathbb {H}}\). Moreover, \({\mathbb {H}}\times {\mathbb {H}}\) can be embedded into \({\mathbb {H}}_2\) by
Let \(g', g=\left( {\begin{matrix} a &{} b \\ c &{} d\end{matrix}}\right) \in {\text {Sp}}_n({\mathbb {R}})\) and \(\tau \in \mathbb {H}_n\). In order to define Siegel modular forms, we also need an automorphy factor \(j_n\): We set
The automorphy factor satisfies the usual cocycle relation
According to [12], Satz 1.4, we have the following identity
which yields
For later purposes we introduce the function
and denote with |A| the order of any finite set A. As usual, we utilize the symbol (c, d) for the greatest common divisor of the integers c and d.
3 The Weil representation
In this section we introduce a finite dimensional representation \(\rho _{L,n}\) of the symplectic modular group \(\Gamma _n\). It is isomorphic to a subrepresentation of the Weil representation (see e. g. [27], Sect. 3.3) as defined originally in [29]. We then specialize to the cases of \(n=2\) and \(n=1\) and study some relations between \(\rho _{L,2}\) and \(\rho _{L,1}\), which will be crucial for the Garret-Böcherer decomposition of the vector-valued Siegel Eisenstein series \(E_{l,0}^2\).
The following notation will be used this way throughout the whole paper: Let L be a lattice of rank m equipped with a symmetric \({\mathbb {Z}}\)-valued bilinear form \((\cdot ,\cdot )\) such that the associated quadratic form
takes values in \({\mathbb {Z}}\). We assume that m is even, L is non-degenerate and denote its type by \((b^+,b^-)\) and its signature \(b^+-b^-\) by \({\text {sig}}(L)\). Note that \({\text {sig}}(L)\) is also even. We stick with these assumptions on L for the rest of this paper unless we state it otherwise. Further, let
be the dual lattice of L. Since \(L\subset L'\), the elementary divisor theorem implies that \(L'/L\) is a finite group. The modulo 1 reduction of both, the bilinear form \((\cdot , \cdot )\) and the associated quadratic form q, defines a \({\mathbb {Q}}/{\mathbb {Z}}\)-valued bilinear form \((\cdot ,\cdot )\) with corresponding \({\mathbb {Q}}/{\mathbb {Z}}\)-valued quadratic form q on \(L'/L\). For any two elements \(\mu ,\nu \in (L'/L)^n\) we define
It can be easily verified that
defines a \({\mathbb {Q}}/{\mathbb {Z}}\)-valued bilinear form on \((L'/L)^n\) with associated quadratic form
We call \(((L'/L)^n,{\text {tr}}(\mu ,\nu ))\) a finite quadratic module or a discriminant form. Furthermore, we call the discriminant form \((L'/L, (\cdot ,\cdot ))\) anisotropic, if \(q(\mu ) = 0\) holds only for \(\mu =0\).
The Weil representation \(\rho _{L,n}\) is a representation on the group ring \({\mathbb {C}}[(L'/L)^n]\). We denote its standard basis by \(\{{\mathfrak {e}}_{\lambda }\}_{\lambda \in (L'/L)^n}\). The standard scalar product on \({\mathbb {C}}[(L'/L)^n]\) is given by
As \(\Gamma _n\) is generated by the matrices
where \(b\in {\text {Sym}}_n({\mathbb {Z}})\), it is sufficient to define \(\rho _{L,n}\) by the action on these generators. Note that we will use these symbols in the case \(n=1\) without the subscript n. Clearly, T(b) is equal to \(T^b\) in this case, where T is the matrix \(\begin{pmatrix}1 &{} 1\\ 0&{}1\end{pmatrix}\in \Gamma _1\).
Definition 3.1
The representation \(\rho _{L,n}\) of \(\Gamma _n\) on \({\mathbb {C}}[(L'/L)^n],\) defined by
is called Weil representation.
Remark 3.2
-
(1)
The action of
$$\begin{aligned} m_n(a) = \begin{pmatrix} a &{} 0 \\ 0 &{} (a^{-1})^t \end{pmatrix}\in \Gamma _n \end{aligned}$$(3.7)with \(a\in {\text {GL}}_n({\mathbb {Z}})\) via the Weil representation will be needed later on. It is given by
$$\begin{aligned} \rho _{L,n}(m_n(a)){\mathfrak {e}}_\lambda = \chi _V(\det (a)){\mathfrak {e}}_{\lambda a^{-1}}, \end{aligned}$$(3.8)where \(\chi _V(\det (a)) = \det (a)^{{\text {sig}}(L)/2}\), see [31], Def. 2.2. For further details, e. g. regarding the connection of \(\rho _{L,n}\) to the Weil representation in [29], see [31] or [27], p. 10.
-
(ii)
We denote by N the level of the lattice L. It is the smallest positive integer such that \(Nq(\lambda )\in {\mathbb {Z}}\) for all \(\lambda \in L'\). One can prove that the Weil representation \(\rho _{L,n}\) is trivial on \(\Gamma _n(N)\), the principal congruence subgroup of level N, cf. [23], Theorem 2.4. Therefore, \(\rho _{L,n}\) factors through the finite group
$$\begin{aligned} \Gamma _n/\Gamma _n(N)\cong {\text {Sp}}_n({\mathbb {Z}}/N{\mathbb {Z}}). \end{aligned}$$ -
(iii)
We denote by \(\rho ^*_{L,n}\) the dual representation of \(\rho _{L,n}\). Since the Weil representation is unitary, we obtain \(\rho ^*_{L,n}\) from \(\rho _{L,n}\) just by replacing the quadratic module \(((L'/L)^n,{\text {tr}}(\cdot ,\cdot ))\) with \(((L'/L)^n,-{\text {tr}}(\cdot ,\cdot ))\). Therefore, any result involving \(\rho _{L,n}\) carries over to \(\rho ^*_{L,n}\). Since \(\rho _{L,n}\) is unitary with respect to \(\langle \cdot , \cdot \rangle _n\), its dual representation \(\rho ^*_{L,n}\) is equal to the complex conjugate of \(\rho _{L,n}\) (interpreted as matrices), that is,
$$\begin{aligned} \rho ^*_{L,n}(g) = \rho ^{-1}_{L,n}(g) = \overline{\rho _{L,n}(g)} \end{aligned}$$for all \(g\in \Gamma _n\). In particular,
$$\begin{aligned} \rho ^*_{L,n}(g){\mathfrak {e}}_\lambda&= \sum _{\mu \in (L'/L)^n}\langle {\mathfrak {e}}_\lambda ,\rho ^*_{L,n}(g){\mathfrak {e}}_\mu \rangle _{n}{\mathfrak {e}}_\mu = \sum _{\mu \in (L'/L)^n}\overline{\langle {\mathfrak {e}}_\lambda ,\rho _{L,n}(g){\mathfrak {e}}_\mu \rangle }_{n}{\mathfrak {e}}_\mu . \end{aligned}$$ -
(iv)
There is an isomorphism on \(\Gamma _n\):
$$\begin{aligned} \gamma \mapsto {\widetilde{\gamma }} = \left( {\begin{matrix} -1_n &{} 0 \\ 0 &{} 1_n\end{matrix}}\right) \gamma \left( {\begin{matrix} -1_n &{} 0 \\ 0 &{} 1_n\end{matrix}}\right) . \end{aligned}$$(3.9)For the generators of \(\Gamma _n\) we have
$$\begin{aligned} \widetilde{S_n} = S_n^{-1} \text { and } \widetilde{T_n(b)} = T_n(b)^{-1}. \end{aligned}$$Since the map (3.9) is an isomorphism, it follows immediately that
$$\begin{aligned} \rho _{L,n}({\widetilde{\gamma }}){\mathfrak {e}}_\lambda = \rho _{L,n}^{-1}(\gamma )= \rho ^*_{L,n}(\gamma ) \end{aligned}$$(3.10)for any \(\gamma \in \Gamma _n\), where the last equation is due to part iii) of this remark.
We now concentrate on the special cases \(n=1\) and \(n=2\). It is well known that \(\rho _{L,2}\) and \(\rho _{L,1}\) are closely related. To describe this relation more explicitly for some elements of \(\Gamma _n\), we first recall some facts from [10], p. 647 and [26], Sect. 5, which relate the group rings \({\mathbb {C}}[(L'/L)^2]\) and \({\mathbb {C}}[L'/L]\) and as a consequence \(\rho _{L,2}\) and \(\rho _{L,1}\): The map
defines an isomorphism, which induces an isomorphism of the representations \(\rho _{L,2}\) and \(\rho _{L,1}\otimes \rho _{L,1}\). It is also a known fact that we can equip \({\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L]\) with an inner product by
It is then easily checked that the scalar product (3.12) coincides with (3.4) and the map (3.11) becomes an isometry.
Finally, note that \({\mathbb {C}}[L'/L]\) can be embedded into \({\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L]\) and therefore into \({\mathbb {C}}[(L'/L)^2]\) via the map
The image of \({\mathbb {C}}[L'/L]\) with respect to this map is isomorphic to \({\mathbb {C}}[L'/L]\).
Using the formulas in (3.6) and the isomorphism (3.11), we can express \(\rho _{L,2}\) on the generators of \(\Gamma _2\) explicitly in terms of \(\rho _{L,1}\).
Lemma 3.3
We have the following relation between \(\rho _{L,2}\) and \(\rho _{L,1}\) on the generators of \(\Gamma _2\) and \(\Gamma _1\), respectively:
where \(\left( {\begin{matrix} a_1 &{} 0 \\ 0 &{} a_2\end{matrix}}\right) \in {\text {Sym}}_2({\mathbb {Z}})\). Clearly, an analogous formula holds for \(S_2^{-1}\).
Proof
These identities can be checked by a straightforward computation involving the formulas (3.6) for \(n=2\) and \(n=1\) and the isomorphism (3.11). \(\square \)
The results of the next lemma will be crucial in the proof of a Garret-Böcherer decomposition of the Siegel Eisenstein series \(E_{l,0}^2\). By identifying \({\mathbb {C}}[(L'/L)^2]\) with \({\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L]\) they provide formulas that link \(\rho _{L,2}(\gamma ^{\uparrow })\) and \(\rho _{L,2}(\gamma ^{\downarrow })\) with \(\rho _{L,1}(\gamma )\).
Lemma 3.4
The following formulas for the Weil representation \(\rho _{L,2}\) hold:
-
(i)
$$\begin{aligned} \rho _{L,2}(S^{\uparrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)}=\rho _{L,1}(S){\mathfrak {e}}_{\lambda _1}\otimes {\mathfrak {e}}_{\lambda _2}, \end{aligned}$$(3.15)$$\begin{aligned} \rho _{L,2}(S^{\downarrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)} = {\mathfrak {e}}_{\lambda _1}\otimes \rho _{L,1}(S){\mathfrak {e}}_{\lambda _2}, \end{aligned}$$(3.16)$$\begin{aligned} \rho _{L,2}(T^{\uparrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)} = \rho _{L,1}(T){\mathfrak {e}}_{\lambda _1}\otimes {\mathfrak {e}}_{\lambda _2}, \end{aligned}$$(3.17)
and
$$\begin{aligned} \rho _{L,2}(T^{\downarrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)} = {\mathfrak {e}}_{\lambda _1}\otimes \rho _{L,1}(T){\mathfrak {e}}_{\lambda _2}. \end{aligned}$$(3.18) -
(ii)
For any \(\gamma \in {\text {SL}}_2({\mathbb {Z}})\) we have
$$\begin{aligned} \rho _{L,2}(\gamma ^{\uparrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)}= \rho _L(\gamma ){\mathfrak {e}}_{\lambda _1}\otimes {\mathfrak {e}}_{\lambda _2} \end{aligned}$$(3.19)and
$$\begin{aligned} \rho _{L,2}(\gamma ^{\downarrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)} = {\mathfrak {e}}_{\lambda _1}\otimes \rho _L(\gamma ){\mathfrak {e}}_{\lambda _2}. \end{aligned}$$(3.20)
Proof
-
(i)
For arbitrary \(a\in {\text {Sym}}_2({\mathbb {Z}})\) we use the notation
$$\begin{aligned} U_2(a) = \begin{pmatrix} 1_2 &{} 0 \\ a &{} 1_2 \end{pmatrix}\in \Gamma _2. \end{aligned}$$(3.21)One can easily verify the decomposition
$$\begin{aligned}&S^{\uparrow }= U_2(b)T_2(-b)U_2(b) \text { and }\\&S^{\downarrow }= U_2(c)T_2(-c)U_2(c), \end{aligned}$$where \(b=\left( {\begin{matrix} 1 &{} 0 \\ 0 &{} 0\end{matrix}}\right) \) and \(c=\left( {\begin{matrix} 0 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \). The matrix \(U_2(a)\) can be written as a product of the generators (3.5)
$$\begin{aligned} U_2(a) = S_2T_2(-a)S_2^{-1} \end{aligned}$$and therefore
$$\begin{aligned} S^{\uparrow } = S_2T_2(-b)S_2^{-1}T_2(-b)S_2T_2(-b)S_2^{-1},\quad S^{\downarrow } = S_2T_2(-c)S_2^{-1}T_2(-c)S_2T_2(-c)S_2^{-1}. \end{aligned}$$If we employ the identities (3.14) successively for all constituents of the decompositions above, (3.6) applied to \(T_2(-b)\) and \(T_2(-c)\), and the bilinearity of the tensor product, we may transfer the evaluation of \(\rho _{L,2}(S^{\uparrow })\) to the evaluation of \(\rho _{L,1}\) on the corresponding elements in \(\Gamma _1\):
$$\begin{aligned} \begin{aligned} \rho _{L,2}(S^{\uparrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)}&= \rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda _1}\otimes \rho _{L,1}(SS^{-1}SS^{-1}){\mathfrak {e}}_{\lambda _2}\\&=\rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda _1}\otimes {\mathfrak {e}}_{\lambda _2} \end{aligned} \end{aligned}$$(3.22)and accordingly
$$\begin{aligned} \begin{aligned} \rho _{L,2}(S^{\downarrow }){\mathfrak {e}}_{(\lambda _1,\lambda _2)}&=\rho _{L,1}(SS^{-1}SS^{-1}){\mathfrak {e}}_{\lambda _1} \otimes \rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda _2} \\&={\mathfrak {e}}_{\lambda _1}\otimes \rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda _2}. \end{aligned} \end{aligned}$$(3.23)We can further simplify the expressions above by means of [17], Lemma 4.6. It states for integers a, d satisfying \(ad\equiv 1\bmod {N}\) that
$$\begin{aligned} \rho _{L,1}(ST^dS^{-1}T^aST^d){\mathfrak {e}}_\lambda = \frac{g_{d}(L)}{g(L)}{\mathfrak {e}}_{d\lambda }, \end{aligned}$$where
$$\begin{aligned} g_d(L) = \sum _{\lambda \in L'/L}e(dq(\lambda )) \end{aligned}$$(3.24)is a Gauss sum (explaining the notation \(g_d\)) attached to the quadratic form q and \(g(L) = g_1(L)\). If we apply this result for \(a=d=-1\), we obtain
$$\begin{aligned} \rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda } = \frac{e\left( \frac{{\text {sig}}(L)}{8}\right) }{\sqrt{|L'/L|}}\sum _{\mu \in L'/L}e((\mu ,\lambda ))\frac{g_{-1}(L)}{g(L)}{\mathfrak {e}}_{-\mu }. \end{aligned}$$By Milgram’s formula,
$$\begin{aligned} g(L) = \sqrt{|L'/L|}e({\text {sig}}(L)/8), \end{aligned}$$we have
$$\begin{aligned} e({\text {sig}}(L)/8)\frac{g_{-1}(L)}{g(L)}&= e(-{\text {sig}}(L)/8), \end{aligned}$$which implies
$$\begin{aligned} \rho _{L,1}(ST^{-1}S^{-1}T^{-1}ST^{-1}S^{-1}){\mathfrak {e}}_{\lambda } = \rho _{L,1}(S){\mathfrak {e}}_\lambda . \end{aligned}$$The identities (3.17) and (3.18) are due to Lemma 3.3 and the fact that
$$\begin{aligned} T^{\uparrow } = T_2(b) \text { and } T^{\downarrow } = T_2(c), \end{aligned}$$where b, c have same meaning as before in the proof.
-
(ii)
This follows easily from the fact that the embeddings (2.6) and (2.7) are group homomorphisms combined with the corresponding formulas for the generators S and T of \(\Gamma _1\).
\(\square \)
We end this section with the evaluation of the Weil representation \(\rho _{L,2}\) on the element \(U_2(D)\in \Gamma _2\), where D is equal to \(\left( {\begin{matrix} 0 &{} d \\ d &{} 0\end{matrix}}\right) \) and d is a positive integer. This evaluation will also contribute to the proof of a Garret-Böcherer decomposition of the Siegel Eisenstein series \(E_{l,0}^2\).
Lemma 3.5
Let \(d\in {\mathbb {N}}\), \(D=\left( {\begin{matrix} 0 &{} d \\ d &{} 0\end{matrix}}\right) \in {\text {Sym}}_2({\mathbb {Z}})\) and \(U_2(D)\in \Gamma _2\) defined as in (3.21).
Then
Proof
Clearly, \(U_2(D)^{-1} = U_2(-D)=S_2T_2(D)S_2^{-1}\). A straightforward calculation using Lemma 3.3 and (3.6) yields
The sum over \(\mu _1\) is equal to \(|L'/L|\) if \(\nu _1=d\mu _2+\lambda _1\) and 0 otherwise. Hence,
as claimed. \(\square \)
4 Vector-valued Siegel modular forms and Eisenstein series
One major goal of the present paper is to study the analytic properties of the standard zeta function of a certain vector-valued modular form of type \(\rho _{L,1}\) (a common eigenform of all Hecke operators \(T(m^2)\)). The main tool in this regard is the Garret-Böcherer decomposition of a non-holomorphic vector-valued Siegel Eisenstein series \(E_{l,0}^2\). In this section we provide the necessary background to prove the Garret-Böcherer decomposition and to define and study the aforementioned standard zeta function. To this end, we collect some facts about vector-valued Siegel modular forms of type \(\rho _{L,n}\) and introduce the non-holomorphic vector-valued Siegel Eisenstein series \(E_{l,0}^n\) transforming with \(\rho _{L,n}\), which plays a key role in determining the analytic properties of the standard zeta function. As a matter of fact, the zeta function inherits these properties from \(E_{l,0}^2\), which is the reason we state and discuss them in some detail in this section. We follow [31] and [27].
4.1 Vector-valued Siegel modular forms of type \(\rho _{L,n}\)
Let \(l\in {\mathbb {Z}}\). For \(f:{\mathbb {H}}_n\longrightarrow {\mathbb {C}}[(L'/L)^n]\) and \(g\in \Gamma _n\) we define the usual Petersson slash operator by
The Petersson slash operator applied to the dual Weil representation \(\rho ^*_{L,n}\) will be denoted with \(\mid ^{n*}_{l,L}\). For \(n=1\) we drop the superscript and subscript n and simply write \(j(g,\tau )\), \(\mid _{l,L}\) or \(\mid _{l,L}^*\).
Definition 4.1
Let \(l\in {\mathbb {Z}}\). A function \(f:{\mathbb {H}}_n\longrightarrow {\mathbb {C}}[(L'/L)^n]\) is called a Siegel modular form of weight l with respect to \(\Gamma _n\) and \(\rho _{L,n}\) if
-
i)
f is holomorphic on \({\mathbb {H}}_n\),
-
ii)
\(f\mid ^{n}_{l,L}g = f\;\) for all \(g \in \Gamma _n\),
-
iii)
f has a Fourier expansion of the form
$$\begin{aligned} f(\tau ) = \sum _{\lambda \in (L'/L)^n}\sum _{\begin{array}{c} t\in \Lambda _n\\ t+Q[\lambda ]\ge 0 \end{array}}a(\lambda , t+ Q[\lambda ])e({\text {tr}}((t+Q[\lambda ])\tau )){\mathfrak {e}}_\lambda , \end{aligned}$$(4.1)where \(\Lambda _n\) is the set of half-integral \((n\times n)\)-matrices.
We denote the space of these modular forms with \(M_{l}(\rho _{L,n})\). Note that the vanishing condition on the Fourier coefficients iii) is automatically fulfilled for \(n\ge 2\) by the Koecher principle. Moreover, if \(a(\lambda , t+Q[\lambda ]) = 0\) for all \(t\in \Lambda _n\) with \(t+Q[\lambda ] = 0\), then f is called a cusp form. We use the notation \(S_l(\rho _{L,n})\) for the subspace of all cusp forms.
Remark 4.2
-
(i)
We could have defined the modular forms in Definition 4.1 also for half integral weight l. The following argument shows that \(M_{l}(\rho _{L,n})=\{0\}\) if the condition
$$\begin{aligned} 2l\equiv {\text {sig}}(L)\bmod {2} \end{aligned}$$(4.2)is not satisfied. For \(e_n = {\text {diag}}(-1,1,\dots ,1)\in {\text {GL}}_n({\mathbb {Z}})\) and \(f\in M_l(\rho _{L,n})\) by (3.8) we have
$$\begin{aligned} f(\tau ) = (f\mid ^{n}_{l,L}m_n(e_n))(\tau ) = (-1)^{-l}(-1)^{{\text {sig}}(L)/2}f(\tau ) \end{aligned}$$for all \(\tau \in {\mathbb {H}}_n\), where \(m_n(e_n)\) is given by (3.7). Thus 2l and \({\text {sig}}(L)\) must either be both even or odd if f is a non-trivial form in \(M_l(\rho _{L,n})\). Since we have assumed that the rank of L is even, so is the signature \({\text {sig}}(L)\) and therefore there are only non-trivial integral weight modular forms.
-
(ii)
Since \(\rho _{L,n}\) is trivial on \(\Gamma _n(N)\), it follows directly from Definition 4.1 that the component functions \(f_\lambda \) of \(f = \sum _{\lambda \in (L'/L)^n}f_\lambda {\mathfrak {e}}_\lambda \) are Siegel modular forms of weight l for \(\Gamma _n(N)\).
4.1.1 Petersson scalar product and Hecke operators
For \(f, g\in M_l(\rho _{L,n})\), one of which is a cusp form, we define the Petersson scalar product of f and g analogously to [5], Sect. 1.2.2., by
Here \(d\mu _n(\tau ) = \det (y)^{-n-1} dx dy\) with \(\tau = x+iy\) is the usual symplectic volume element and \(\langle \cdot ,\cdot \rangle _n\) is given in (3.4). If \(n=1\), we omit the subscript n. The same arguments as in [5] show that the integral (4.3) is well-defined.
Let \(D= \left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \), \(D'= \left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \) and \(R_d=\left( {\begin{matrix} d &{} 0 \\ 0 &{} d\end{matrix}}\right) \). We now briefly describe the definition of Hecke operators \(T(D')\) and T(D) on \(M_l(\rho _{L,1})\) (to the best of my knowledge there is no theory of Hecke operators for \(M_l(\rho _{L,n})\) known, although it might be developed in a similar manner). We follow [9]. All details can be found therein. According to our assumptions on L, we only need to consider the case of even signature. Recall that N is the level of L. We have to distinguish between the cases \((d,N)=1\) and \((d,N)>1\).
Let
If d is coprime to N, (D, 1) and \((D',d)\) belong to the group
We identify \(\Gamma _1\) with a subgroup of \({{\mathcal {Q}}}(N)\) via the map \(\gamma \mapsto (\gamma ,1)\). In [9] an extension of \(\rho _{L,1}\) to the group \({{\mathcal {Q}}}(N)\) is introduced. The condition that the determinant of any element of this group is coprime to the level is crucial. Based on this extension, we now define Hecke operators in terms of the Hecke algebra given by the pair of groups \(({{\mathcal {Q}}}(N), \Gamma _1)\). For any \((g,r)\in {{\mathcal {Q}}}(N)\) and \(f\in M_l(\rho _{L,1})\) we set
Instead of T(D, 1) and \(T(D',d)\) we write T(D) and \(T(D')\), respectively. Taking [9], (3.5), into account, it can be easily verified that \(\rho _{L,1}(D)\) and \(\rho _{L,1}(D')\) are connected via
This immediately yields a relation between T(D) and \(T(D')\):
Replacing \(\rho _{L,1}\) with its dual representation gives the corresponding relation
If \((d,N)>1\), D and \(D'\) do not belong to \({{\mathcal {Q}}}(N)\) and the Weil representation cannot be extended to a suitable subgroup of \({\text {GL}}_2^+({\mathbb {Q}})\) as before. However, it can be extended to the double coset \(\Gamma _1D'\Gamma _1\) in the following way ([9], Sect. 5):
and for \(\delta = \gamma D'\gamma '\in \Gamma _1D'\Gamma _1\) we put
Note that (4.10) is compatible with the definition of \(\rho _{L,1}\) in the case of \((d,N)=1\) (see [9], Lemma 3.6). It can be shown (see [9], Sect. 5) that (4.11) is independent of the decomposition of \(\delta \). With these definitions in mind, we define the Hecke operator \(T(D')\) exactly as in (4.6). In order to define the operator T(D), we set in consistency with [9], (3.5)
Accordingly, we define
Since the \(\rho _{L,1}^{-1}(D)\) and \(\rho _{L,1}^{-1}(D')\) differ just by a constant factor,
together with (4.11) defines an action of the double coset \(\Gamma _1D\Gamma _1\). Again, we find that the relation (4.8) holds.
Finally, note that the analogous identity to (5.5) in [9] also holds for D. It can easily be confirmed that
for any \({\mathfrak {a}},{\mathfrak {b}}\in {\mathbb {C}}[L'/L]\).
If d is coprime to N, one can show that \(\frac{g(L)}{g_d(L)}\) is real and thus T(D) is self-adjoint with respect to \((\cdot , \cdot )_1\). If \((d,N)>1\), it is in general not true that \(\frac{g(L)}{g_d(L)}\) is a real number. In fact, it can be shown that it is an 8-th root of unity (see [24], Sect. 3 , for these assertions). In this case, in light of [9], Theorem 5.6, we may only conclude that
holds, where
In both cases T(D) preservers the space \(S_l(\rho _{L,1})\).
4.2 Vector-valued Eisenstein series
Eisenstein series and Poincaré series are important examples of the vector-valued Siegel modular forms in Definition 4.1. In this subsection we introduce non-holomorphic versions of these series and study the analytic properties of the real-analytic Eisenstein series \(E_{l,0}^n\) for \(\Gamma _n\) transforming with \(\rho _{L,n}\).
Definition 4.3
Let \(l\in 2{\mathbb {Z}},\; l\ge n+1,\) satisfy the condition \(2l+{\text {sig}}(L)\equiv 0\bmod {4}.\) For \(\tau \in {\mathbb {H}}_n\) and \(s\in {\mathbb {C}}\) we define by
a vector-valued non-holomorphic Siegel Eisenstein series of weight l transforming with \(\rho _{L,n}\).
Remark 4.4
-
(i)
From the formulas (3.6), (3.8) and the assumption \(2l\equiv -{\text {sig}}(L)\bmod {4}\) follows that \(\det ({\text {Im}}(\tau ))^s{\mathfrak {e}}_0\) is \(\Gamma _{n,0}\)-invariant with respect to the slash operator.
-
(ii)
From [27], Lemma 3.14, it follows that \(E_{l,0}^n(\tau ,s)\) converges absolutely for all \(\tau \in {\mathbb {H}}_n\) and all \(s\in {\mathbb {C}}\) with \({\text {Re}}(s) > \frac{n+1-l}{2}\). The usual argument then shows that \(E_{l,0}^n\) is, with respect to \(\mid _{l,L}\), a \(\Gamma _n\)-invariant real-analytic function. In particular for \(l>n+1\), \(\tau \mapsto E_{l,0}^n(\tau ,0)\) is a vector-valued Siegel modular form in \(M_{l}(\rho _{L,n})\).
-
(iii)
Although \(E_{l,0}^n\) is defined on \({\mathbb {H}}_n\), we can also assign to \(E_{l,0}^n(-\tau )\), \(\tau \in {\mathbb {H}}_n\), a meaningful value: To this end, let \(E_{l,0}^{n*}\) be the Eisenstein series in Definition 4.3 with respect to the dual Weil representation \(\rho ^*_{L,n}\). Then, since \(\gamma \mapsto {\widetilde{\gamma }}\) is an isomorphism preserving \(\Gamma _{n,0}\), we have that
$$\begin{aligned} E_{l,0}^{n*}(\tau ,s)= \det ({\text {Im}}(\tau ))^s\sum _{\gamma \in \Gamma _{n,0}\backslash \Gamma _n}|j_n({\widetilde{\gamma }},\tau )|^{-2s}j_n({\widetilde{\gamma }},\tau )^{-l}\rho _{L,n}^{*-1}({\widetilde{\gamma }}){\mathfrak {e}}_0, \end{aligned}$$where \({\widetilde{\gamma }}\) is given by (3.9). Clearly, \(j_n({\widetilde{\gamma }},\tau ) = j_n(\gamma ,-\tau )\) and by Remark 3.2, iv),
$$\begin{aligned} \rho _{L,n}^{*-1}({\widetilde{\gamma }}) = \rho _{L,n}^{-1}(\gamma ). \end{aligned}$$Therefore, we put
$$\begin{aligned} \begin{aligned}&E_{l,0}^n(-\tau ,s) = \left( (-1)^n\right) ^{s}E_{l,0}^{n*}(\tau ,s) \text { and }\\&E_{l,0}^n({\overline{\tau }},s) = \left( (-1)^n\right) ^{s}E_{l,0}^{n*}(-{\overline{\tau }},s). \end{aligned} \end{aligned}$$(4.18)With the same arguments
$$\begin{aligned} \begin{aligned}&E_{l,0}^{n*}(-\tau ,s) = ((-1)^n)^{s}E_{l,0}^{n}(\tau ,s) \text { and }\\&E_{l,0}^{n*}({\overline{\tau }},s) = ((-1)^n)^{s}E_{l,0}^{n}(-{\overline{\tau }},s) \end{aligned} \end{aligned}$$(4.19)is justified.
The analytic properties of \(E_{l,0}^{n}\) with respect to s were investigated in [27]. The functional equation of \(E_{l,0}^{n}\) for general n is quite complicated, yet for \(n=2\) it is much simpler and quite clean. To avoid the summary of the extensive notation in [27], we refer for the most part to [27] and content ourselves with the recapitulation of as much material as needed to understand the statement of the analytic properties of \(E_{l,0}^n\). (Note that there is a misprint in [27] regarding the set
Incorrectly, n is given there as the upper bound for the indices \(i_j\). Whenever the indices \(i_j\) appear in the original paper, n should be replaced by \(k-1\) as the upper bound for \(i_j\).)
Afterwards, we specialize to the case of \(n=2\) and present the corresponding result and proof for \(E_{l,0}^2\).
We start with the notation which is needed for the transformation behaviour regarding the primes p dividing \(|L'/L|\): By \(S_n\) we mean the symmetric group acting on \(I=\{1,\dots ,n\}\) and \(\sigma \) is an element of \(S_n\). Moreover, \(I=I_0\cup \dots \cup I_s\) denotes a partition of I into disjoint \(\sigma \)-stable subsets. Depending on \(\sigma \) and \(0\le r \le s\) we have the basic quantities
They are part of several further quantities. We list here two of them: for a positive integer \(k\le n\) we put
where n(0) and n(i) are integers depending on \(\sigma \) and which are specified in [27], (3.38). The terms in (4.21) appear as argument of the local zeta function
with \(s_0=\frac{m}{2}-\frac{n+1}{2}\). Apart from these local zeta functions the two quantities
contribute to the functional equation of \(E_{l,0}^{n}\). For their definition we refer to [27], p. 184. Note that the parameter k in the symbol \(\Delta _p(\sigma ,q,k)\) is missing in [27], which could give the impression that it does not depend on this parameter. This is in fact not the case and the reason why we add it here.
Now we consider the contribution of the primes to the functional equation coprime to \(|L'/L|\). These primes are collected in the set \(P=\{q \text { prime }\; |\; q\not \mid |L'/L|\}\). For each such prime we put
and form the products
Here \(L_p(s,\chi _{V,p}))\) means the local L-function given by \((1-\chi _{V,p}(p)p^{-s})\) and \(\chi _{V,p}\) is a character given by the local Hilbert symbol (see e. g. [27], Lemma 3.4. for the details). The constant \(\xi (s,n,k,P)\) then gathers the contribution of the places belonging to the primes \(p\in P\) and the archimedian place:
where \(\alpha = \frac{1}{2}(s+\frac{n+1}{2}+l)\) and \(\beta =\frac{1}{2}(s+\frac{n+1}{2}-l)\) and \(\Gamma _n(s)\) is the Gamma function of degree n (see e. g. [2], p. 152).
We are now ready to state the analytic properties of \(E_{l,0}^{n}\).
Theorem 4.5
[27, Theorem 3.16] Let \(E_{l,0}^{n}(\tau ,s)\) be the Eisenstein series as in Definition 4.3 with respect to \(\rho _{L,n}\). Then \(E_{l,0}^{n}(\tau ,s)\) has a meromorphic continuation in s to the whole complex plane. If \(L'/L\) is anisotropic and \(|L'/L|\) odd, it satisfies the functional equation
where \(\sigma \) runs over all elements in \(S_n\) with \(\sigma ^2={\text {id}}\), \(I_0\cup \cdots \cup I_s\) over all \(\sigma \)-stable decompositions of I and k from zero to \(s+1\). In this formula we interpret any occurring sum or product with lower index bigger than the upper index to be zero or one, respectively.
As a corollary we phrase now the corresponding theorem for the case \(n=2\). To this end, we introduce some quantities, which comprise the contribution of the primes p dividing \(|L'/L|\): We write \(S_2 = \{{\text {id}}, \sigma \}\) and use the symbol \(I_0\) in two ways. On the one hand, it means \(I_0=\{1,2\}\) if the partition of I consists only of \(I_0\). On the other hand, it means \(I_0= \{1\}\) if the partition of I is of the form \(I=I_0\cup I_1 = \{1\}\cup \{2\}\). Further, by \((L'/L)_p\) we mean the p-component of \(L'/L\). For \(\tau \in S_2\), any (\(\tau \)-stable) decomposition \(I'\) of \(I=\{1,2\}\) and \(k\in \{0,1,2\}\) we give explicit expressions for
For \(k=1\) and \(k=2\) we have to distinguish the cases \((L'/L)_p\cong ({\mathbb {Z}}/p{\mathbb {Z}})^2\) and \((L'/L)_p\cong {\mathbb {Z}}/p{\mathbb {Z}}\). In the latter case we have \(K_p(\tau ,I',k) = 0\) for all listed quantities in (4.29). Therefore, the following identities hold only for \((L'/L)_p\cong ({\mathbb {Z}}/p{\mathbb {Z}})^2\).
Corollary 4.6
Let \(E_{l,0}^{2}(\tau ,s)\) be the Eisenstein series as in Definition 4.3 with respect to \(\rho _{L,2}\). Then \(E_{l,0}^{2}(\tau ,s)\) has a meromorphic continuation in s to the whole complex plane. If \(L'/L\) is anisotropic and \(|L'/L|\) odd, it satisfies the functional equation
Here
with the same meaning as above and
Proof
As indicated before, for the statement of Corollary 4.6 we have to calculate \(K_p(\tau ,I',k)\) in (4.27) for all \(\tau \in S_2\), any \(\tau \)-stable partition \(I'\) of \(I=\{1,2\}\) and all \(k\in \{0,1,2\}\). Since \(\Delta _p(\tau ,q,0) = 1\) and the product \(\prod _{j=1}^0(D_{p,j}(2s-\frac{3}{2})-1)\) is empty and thus equal to 1, we have
By the definition of \(\Delta _p(\tau ,q,0)\), this identity holds for both possible cases of \((L'/L)_p\). The expressions for \(K_p(\tau ,I',0)\) in (4.28) can be verified by a direct but tedious calculation. Again, the definition of \(\Delta _p(\tau ,q,k)\) for \(k=1,2\) yields \(K_p(\tau ,I',k)=0\) for all \(\tau \in S_2\), all partitions \(I'\) of I and \((L'/L)_p\cong {\mathbb {Z}}/p{\mathbb {Z}}\). It remains to confirm the equations in (4.29). This is also a straightforward but tedious calculation. For all these computations we have to take the convention in Theorem 4.5 into account. \(\square \)
Remark 4.7
Note that by Remark 3.18 in [27] the functional equation (4.30) remains valid for the Eisenstein series \(E_{l,0}^{2*}\).
Since the case \(n=2\) lies mainly in our interest, we stick with it for the rest of this section and introduce now a vector-valued analogue of the Poincaré series in [2], Sect. 2.2, and a related Poincaré series. To this end, let \({{\mathcal {H}}} = {\mathbb {H}}\cup {\mathbb {H}}^-\), where \({\mathbb {H}}^-\) is the lower complex half-plane.
Definition 4.8
Let \(d\in {\mathbb {Z}}\) be a positive integer, \(D=\left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \in {\text {GL}}_2({\mathbb {Q}})^+\), \(l\in {\mathbb {N}}\) and \(s\in {\mathbb {C}}\) with \({\text {Re}}(s) > \frac{3-l}{2}\).
-
(i)
\(P_{l}:{\mathbb {H}}\times {\mathbb {H}}\rightarrow {\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L]\) is defined by
$$\begin{aligned} P_{l}(\tau ,\zeta ,s)=\sum _{\lambda \in L'/L}\sum _{\gamma \in \Gamma _1}\det \left( {\text {Im}}\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) \right) ^s(\tau +\zeta )^{-l}|\tau +\zeta |^{-2s}{\mathfrak {e}}_\lambda \otimes {\mathfrak {e}}_\lambda \mid _{l,L} \gamma _{(\tau ,1)}, \nonumber \\ \end{aligned}$$(4.31)where the subscript \((\tau ,1)\) means that \(\gamma \) acts on the first component and with respect to the variable \(\tau \). We further define a variant of \(P_l\), which occurs in the course of the present paper. It already appeared in slightly less general scalar-valued form in Poincaré’s work (see [16]). \(P_l^+:{{\mathcal {H}}}\times {{\mathcal {H}}}\rightarrow {\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L]\) with
$$\begin{aligned} P^+_{l}(\tau ,\zeta ,s)=\sum _{\lambda \in L'/L}\sum _{\gamma \in \Gamma _1}\det \left( {\text {Im}}\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) \right) ^s(\tau -\zeta )^{-l}|\tau -\zeta |^{-2s}{\mathfrak {e}}_\lambda \otimes {\mathfrak {e}}_\lambda \mid _{l,L} \gamma _{(\tau ,1)}. \nonumber \\ \end{aligned}$$(4.32) -
(ii)
Associated to \(P_{l}\) and its variant we define
$$\begin{aligned} \begin{aligned} {\mathscr {P}}_l:{\mathbb {H}}\times {\mathbb {H}}\rightarrow {\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L],\quad {\mathscr {P}}_l(\tau ,\zeta ,D,s)= \sum _{M\in \Gamma _1\backslash \Gamma _1D\Gamma _1}P_{l}(\tau ,\zeta ,s)\mid _{l,L}^*M_{(\zeta ,2)}, \end{aligned} \nonumber \\ \end{aligned}$$(4.33)where the subscript \((\zeta ,2)\) indicates that M acts on the second component and with respect to the variable \(\zeta \) and \(\rho ^*_{L,1}\). Corresponding to \(P_l^+\) we put
$$\begin{aligned} \begin{aligned}&{\mathscr {P}}^+_l:{{\mathcal {H}}}\times {{\mathcal {H}}}\rightarrow {\mathbb {C}}[L'/L]\otimes {\mathbb {C}}[L'/L],\quad {\mathscr {P}}^+_l(\tau ,\zeta ,D,s) \\&= \sum _{M\in \Gamma _1\backslash \Gamma _1D\Gamma _1}P^+_{l}(\tau ,\zeta ,s)\mid _{l,L}^*M_{(\zeta ,2)}. \end{aligned} \end{aligned}$$(4.34)
Remark 4.9
-
(i)
The series \(P_l\) can be understood as vector-valued version of the Poincaré series \(P_r^k(Z,W,g,s)\) introduced in [2], Sect. 2.2. It can also be interpreted as the non-holomorphic variant of the series \(h_{\beta ,n}\) defined in [22], Def. 5.1. In terms of the coefficients of \(\rho _{L,1}\) the component function \(P_{l}(\tau ,\zeta ,s)_\mu \) can be written as
$$\begin{aligned} \det \left( {\text {Im}}\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) \right) ^s \sum _{\gamma \in \Gamma _1}\left\langle \rho _{L,1}^{-1}(\gamma ){\mathfrak {e}}_\lambda ,{\mathfrak {e}}_\mu \right\rangle j(\gamma ,\tau )^{-l}|j(\gamma ,\tau )|^{-2s}(\gamma \tau +\zeta )^{-l}|\gamma \tau +\zeta |^{-2s}. \nonumber \\ \end{aligned}$$(4.35)Since \(\rho _{L,1}\) factors through the finite group \({\text {SL}}_2({\mathbb {Z}}/N{\mathbb {Z}})\), the coefficient \(\rho _{\lambda ,\mu }^{-1}(\gamma )\) is bounded on \(\Gamma _1\). Thus, for matters of convergence of (4.35) it suffices to study the scalar-valued Poincaré series
$$\begin{aligned} \det \left( {\text {Im}}\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) \right) ^s \sum _{\gamma \in \Gamma _1}j(\gamma ,\tau )^{-l}|j(\gamma ,\tau )|^{-2s}(\gamma \tau +\zeta )^{-l}|\gamma \tau +\zeta |^{-2s}, \end{aligned}$$which is exactly the series \(P_1^l(Z,W,g,s)\) in [2], Sect. 2.2, for \(g\in \Gamma _1\). It follows from [2], Sec. 2.2, that each component function of \(P_{l}(\tau ,\zeta ,s)_\mu \) is absolutely and uniformly convergent for all \(s\in {\mathbb {C}}\) with \({\text {Re}}(s) > \frac{3-l}{2}\) on any product \(V_1(\delta )\times V_1(\delta )\), where
$$\begin{aligned} V_1(\delta ) = \{z = x+iy\in {\mathbb {H}}\; |\; y\ge \delta \text { and } x^2\le \frac{1}{\delta }\} \end{aligned}$$with \(\delta >0\), and thereby represents a real-analytic function on \({\mathbb {H}}^2\). Thus, the usual argument shows that \(P_l\) transforms under the action of \(\Gamma _1\) with respect to the variable \(\tau \) like a vector-valued modular form of weight l and type \(\rho _{L,1}\). Since the sum \(\sum _{M\in \Gamma _1\backslash \Gamma _1 D \Gamma _1}\) is finite, the same holds for the Poincaré series \({\mathscr {P}}_l\). In terms of the function \(\varphi _{l,s}\) (see (2.9)), we may write \({\mathscr {P}}_{l}\) in the following more explicit form
$$\begin{aligned} \begin{aligned}&\sum _{\lambda \in L'/L}\sum _{M\in \Gamma _1\backslash \Gamma _1 D \Gamma _1}\\&\times \sum _{\gamma \in \Gamma _1}\det \left( {\text {Im}}\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) \right) ^s\varphi _{l,s}\Big (j(\gamma ,\tau )j(M,\zeta )(\gamma \tau +M\zeta )\Big )\rho _{L,1}^{-1}(\gamma ){\mathfrak {e}}_\lambda \otimes \rho _{L,1}^{*-1}(M){\mathfrak {e}}_\lambda . \end{aligned} \end{aligned}$$(4.36) -
(ii)
The series \(P_l^+\) has similar properties as \(P_l\). More specifically, it converges absolutely and uniformly on compact subsets of \({{\mathcal {H}}}\times {{\mathcal {H}}}\). It is thereby real-analytic on \({{\mathcal {H}}}\times {{\mathcal {H}}}\), leaving out possible poles. Indeed, if \(\tau ,\zeta \) are both in the upper or lower half-plane, \(P_l^+\) has a pole at \(\tau = \zeta \). In all other cases no poles can occur. Also, the usual argument shows that \(P_l^+\) transforms with respect to \(\tau \in {\mathbb {H}}\) like a vector-valued modular form. If \(\tau \) is an element of \({\mathbb {H}}\), the aforementioned statements can be deduced from Theorem 3A and Section 3C in Section V of [16]. If \(\tau \in {\mathbb {H}}^-\) and \(\zeta \in {\mathbb {H}}\), \(P_l^+\) inherits the analytic properties of \(P_l\). To be specific, by employing the same argument as in (i), we may estimate each of the component functions of \(P_l^+\) by
$$\begin{aligned} \sum _{\gamma \in \Gamma _1}|j(\gamma ,\tau )|^{-2s-l}|(\gamma \tau -\zeta )|^{-l-2s}&= \sum _{\gamma \in \Gamma _1}|j(\gamma ,-z)|^{-2s-l}|(\gamma (-z)-\zeta )|^{-l-2s}\\&= \sum _{\gamma \in \Gamma _1}|j({\widetilde{\gamma }},z)|^{-2s-l}|({\widetilde{\gamma }}z+\zeta )|^{-l-2s}, \end{aligned}$$where we replaced \(\tau \in {\mathbb {H}}^-\) with \(-z\), \(z \in {\mathbb {H}}\), and used the fact that \(\gamma (-z) = -({\widetilde{\gamma }}z)\). The latter sum is up to a constant nothing else but an estimate of the series (4.35). If \(\tau , \zeta \) are both in \({\mathbb {H}}^-\), the same reasoning as before shows that \(P_l^+\) is bounded by
$$\begin{aligned} \sum _{\gamma \in \Gamma _1}|j({\widetilde{\gamma }},z)|^{-2s-l}\big |({\widetilde{\gamma }}z+\zeta )\big |^{-l-2s} \end{aligned}$$with \(z\in {\mathbb {H}}\) and \(\zeta \in {\mathbb {H}}^-\). This is up to a constant an estimate of \(P^+_{l|{\mathbb {H}}\times {\mathbb {H}}^-}\). Again, in all considered cases the Poincaré series \({\mathscr {P}}_l^+\) shares the same properties as \(P_l^+\).
The following theorem provides some further properties of \(P_l^+\) and \({\mathscr {P}}_l^+\), which will be vital later on.
Theorem 4.10
Let \(l\in {\mathbb {N}}\) and \(s\in {\mathbb {C}}\) with \({\text {Re}}(s)>\frac{3-l}{2}\), \(f\in S_l(\rho _{L,1})\) and
-
(i)
Then we have
$$\begin{aligned} \sum _{\lambda \in L'/L}\left( \int _{\Gamma _1\backslash {\mathbb {H}}}\bigg \langle f(\tau )\otimes {\mathfrak {e}}_\lambda ,P^+_l(\tau ,{\overline{\zeta }},{\overline{s}})\bigg \rangle _2{\text {Im}}(\tau )^ld\mu (\tau )\right) {\mathfrak {e}}_\lambda = (-1)^{-s}C(l,s)f(\zeta ) \nonumber \\ \end{aligned}$$(4.38)for all \(\zeta \in {\mathbb {H}}\).
-
(ii)
Let \(D = \left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \in {\text {GL}}_2({\mathbb {Q}})^+\) and T(D) the Hecke operator defined in Sect. 4.1.1. Then
$$\begin{aligned}&\sum _{\lambda \in L'/L}\left( \int _{\Gamma _1\backslash {\mathbb {H}}}\bigg \langle f(\tau )\otimes {\mathfrak {e}}_\lambda ,{\mathscr {P}}^+_l(\tau ,{\overline{\zeta }},D,{\overline{s}})\bigg \rangle _2{\text {Im}}(\tau )^ld\mu (\tau )\right) {\mathfrak {e}}_\lambda \nonumber \\&= (-1)^{-s}C(l,s)\bigg (f\mid _{l,L}T(D)\bigg )(\zeta ) \end{aligned}$$(4.39)for all \(\zeta \in {\mathbb {H}}\).
Proof
(i): It can easily be confirmed by direct calculation using the relation (3.12) that
The last expression shows that the integral in (4.38) as Petersson scalar product \((\cdot ,\cdot )_1\) is well-defined since f is a cusp form and \(P^+_l\) transforms like a modular form in \(M_l(\rho _{L,1})\) with respect to \(\tau \). Using (4.40), the left-hand side of (4.38) becomes
which can be seen as non-holomorphic version of the kernel operator \(K_1\) defined in [22], Definition 5.3. To prove the stated assertion, we may use the same unfolding trick as laid out in the proof of Theorem 5.6 in [22]. In doing so, we obtain
Since each component of f is a cusp form for \(\Gamma (N)\), the latter integral in (4.42) can be evaluated explicitly by means of the proposition in [2], Sect. 2.2:
for any \(\zeta \in {\mathbb {H}}\).
(ii): Similar to (i) we have
Thus, as before,
Unfolding the latter integral and applying (4.43) subsequently, yields
The right-hand side of (4.46) is nothing else than \((-1)^{-s}C(l,s) (f\mid _{l,L}T(D))(\zeta )\). \(\square \)
5 Garrett–Böcherer decomposition of vector-valued Siegel Eisenstein series
In this section we present a decomposition of the Siegel Eisenstein series \(E^2_{l,0}\) in terms of \(E^1_{l,0}\) and the Poincaré series \({\mathscr {P}}^+_l\). Such a decomposition was developed by Garrett [13] and Böcherer [2] for scalar-valued holomorphic and non-holomorphic Siegel Eisenstein series, respectively. It is based on an explicit system of representatives of \(\Gamma _{n+m,0}\backslash \Gamma _{n+m}/\iota _{n+m}(\Gamma _m\times \Gamma _n)\) determined by Garrett (see (2.5) for the definition of \(\iota _{n,m}\)). Since we are dealing with the same groups for \(n=m=1\), we may use Garrett’s results. They become considerably easier in this special case, so we summarize them here in the following two theorems. Subsequently, we will use these theorems to state and prove our vector-valued version of the Garrett–Böcherer decomposition.
Theorem 5.1
A complete set of representatives for the double coset \(\Gamma _{2,0}\backslash \Gamma _2/\iota _{1,1}(\Gamma _1\times \Gamma _1)\) is given by
where
Let \(g_d\in {\mathscr {M}}_i,\; d\in {\mathbb {N}}_0\). Tailored to the case \(n=m=1\) the theorem in [13], §3, specifies a complete set of left coset representatives of \(\Gamma _{2,0}\backslash \Gamma _{2,0}\; g_d\; l_{1,1}(\Gamma _1\times \Gamma _1).\)
Theorem 5.2
Let \(d\in {\mathbb {N}}_0,\; r\in \{0,1\}\) and \(g_d\in {\mathscr {M}}_r\). Then a complete set of representatives of the \(\Gamma _{2,0}\)-left cosets in \(\Gamma _{2,0}\; g_d\;l_{1,1}(\Gamma _1\times \Gamma _1)\) is given by
Note that we use the convention that \(\Gamma _0= \{1_2\}\) and accordingly \(\Gamma _0\left( {\begin{matrix} 0 &{} d \\ d^{-1} &{} 0\end{matrix}}\right) \backslash \Gamma _0 = \{1_2\}\). We also have that \(\Gamma _{1,1}\backslash \Gamma _1 = \{1_2\}\).
Based on these theorems a vector-valued variant of the pullback formula in [13, Sect. § 5], and [2], involving the Siegel Eisenstein series (4.17), can be given.
Theorem 5.3
Let \(d\in {\mathbb {Z}}\) be a positive integer, \(D=\left( {\begin{matrix} d &{} 0 \\ 0 &{} d^{-1}\end{matrix}}\right) \) and \(E_{l,0}^{2*}\) be defined as in Definition 4.3. Then for all \(\tau , \zeta \in {\mathbb {H}}\)
Remark 5.4
Since \(E_{l,0}^{2}\) is absolutely and uniformly convergent on compact subsets of \({\mathbb {H}}^2\), the same holds for any subseries occurring on the right-hand side of (5.3). In particular, \(\sum _{d\in {\mathbb {N}}}\frac{g_d(L)}{g(L)}d^{-l-2s}{\mathscr {P}}^+_l(-\tau ,\zeta ,D,s)\) is normally convergent for \({\text {Re}}(s)> \frac{3-l}{2}\).
Proof
of Theorem 5.3: The proof is an adaption of the one given in [13]. All steps concerning the factor of automorphy \(j_2\) carry over immediately. The parts in \(E_{l,0}^{2*}\) coming from the Weil representation \(\rho _{L,2}^*\) have to be treated separately.
According to Theorems 5.1 and 5.2 we have
Note that we have replaced the left cosets over \(\Gamma _1\left( {\begin{matrix} 0 &{} d^{-1} \\ d &{} 0\end{matrix}}\right) \backslash \Gamma _1\) with \(\Gamma _1(d)\backslash \Gamma _1\). This amounts to replace M with \(\ell (M)\) (see Sect. 2 for the notation), which only alters the order of summation but not the whole expression. We consider both of the summands above separately.
Starting with the first summand, note that a by direct computation we find
For the part involving the Weil representation \(\rho _{L,2}^*\) we exploit (3.19) and (3.20) and infer that
If we insert the right-hand side of (5.5) and (5.6), we may write in terms of (2.9)
For the second summand of (5.4), a straightforward calculation, using the cocycle relation of \(j_2\) twice, yields
On the other hand, by means of Lemma 3.4 and 3.5 we have
The transformation \(\gamma \mapsto S^{-1}{\widetilde{\gamma }}\) (see (3.9) for the definition of \({\widetilde{\gamma }}\)) leaves the sum over \(\gamma \in \Gamma _1\) and therefore the latter summand of (5.4) invariant. The subsequent calculations can be easily verified
Taking (5.7) and (3.6) into account, the corresponding calculations on the level of the Weil representation yield
For the second equation we have additionally used (3.10).
With (4.13) in mind we may then rewrite the last expression in the form
Putting together the rearrangements above, we obtain
\(\square \)
6 Standard zeta function of an eigenform
In [9], p. 251, it was proposed to associate a zeta function
to a common eigenform f of all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) ,\; (d,N)=1\), where
In this section we study the analytic properties of a slightly different zeta function. Attached to an eigenform f of all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \), we define
In consistency with [2] the zeta function Z(s, f) can be viewed as the standard zeta function of f.
Remark 6.1
-
(i)
As was already stated in [9], Z(s, f) converges for \({\text {Re}}(s)\) sufficiently large. We obtain this result as a by-product of the subsequent studies of the analytic properties of Z(s, f).
-
(ii)
Under certain assumptions on the discriminant form one can prove the existence of a common eigenform of all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) ,\; d\in {\mathbb {N}}\). This is possible if a multiplicity one theorem for \(S_l(\rho _{L,1})\) holds. In [30], Theorem 41, conditions for the validity of such a theorem are stated. These conditions depend heavily on the decomposition of the Weil representation \(\rho _{L,1}\) into irreducible subrepresentations. The multiplicities of these subrepresentations encode the dimension of the common eigenspace for a set of eigenvalues \(\lambda _d\) for all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) ,\; (d,N)=1\). If all occurring irreducible subrepresentations have multiplicity one, the same holds for the before mentioned dimension of common eigenspaces. The decomposition of \(\rho _{L,1}\) into irreducible subrepresentations is well known, see e.g. [19, 20]. Among other things, it depends on the structure of the discriminant form \(L'/L\). If for example each p-group of \(L'/L\) consists of a single Jordan block of the form \(({\mathbb {Z}}/p^\lambda {\mathbb {Z}}, \frac{rx^2}{p^\lambda })\), \(\rho _{L,1}\) decomposes into irreducible subrepresentations of multiplicity one.
6.1 Analytic properties of Z(s, f)
In this section we will prove that Z(s, f) can be continued meromorphically to the whole complex s-plane. Also, we are able to establish a functional equation of Z(s, f) under the assumption that the discriminant form \(L'/L\) is anisotropic. The proof is an adaption of the corresponding result in [2] to the vector-valued setting. A first step is the following theorem.
Theorem 6.2
Let \(f\in S_l(\rho _{L,1})\) be a cusp form with Fourier expansion
Then for \(\frac{l}{2} + {\text {Re}}(s)>1\) we have
Here \(E_{l,0}^{1*}(-\tau ,{\overline{s}})\) and \(E_{l,0}^{1*}({\overline{\zeta }},{\overline{s}})\) are defined by (4.19).
Proof
Similar to (4.40) and (4.44) a straightforward calculation using the relation (3.12) gives
Replacing this with the integrand in (6.2), we find that the integral in (6.2) is equal to
The integral in (6.3) is the Petesson scalar product of f and \(E_{l,0}^1\). As such, it is well-defined. For its evaluation we adapt the calculations in the proof of [5], Proposition 1.5, to our situation. The usual unfolding argument (see the proof of Thm. 5.6 in [22]) yields
Inserting the Fourier expansion of \(f_0\) into the last integral, we find
\(\square \)
In order to study the analytic properties of the standard zeta function, we express it basically as a Petersson scalar product of f with the restricted Eisenstein series \(E_{l,0}^2(\left( {\begin{matrix} \tau &{} 0 \\ 0 &{} \zeta \end{matrix}}\right) ,s)\). This approach is weĺl known and has been applied in several settings, see e. g. [1, 2] or [4].
Let \(f\in S_l(\rho _{L,1})\) be a cusp form and \(E_{l,0}^{2}\) be the Eisenstein series as in Definition 4.3. For \(\zeta \in {\mathbb {H}}\) and \(l+2{\text {Re}}(s)>3\) we form a vector-valued version of a Rankin–Selberg type integral
Remark 6.3
In view of Theorem 5.3 we may write the integral in (6.4) in the form
It follows from Remark 5.4, (4.45) and (6.3) that the integral in (6.4) is well-defined.
The pullback formula (5.3) combined with Theorem 6.2 and Theorem 4.10 gives rise to the before mentioned integral formula of the standard zeta function of a common Hecke eigenform f.
Theorem 6.4
Let \(l\in 2{\mathbb {Z}}\), \(l\ge 3\), satisfy \(2l+{\text {sig}}(L)\equiv 0\bmod {4}\). Let \(f\in S_l(\rho _{L,1})\) and \(E_{l,0}^{2}\) the Eisenstein series in Definition 4.3. If \(l+2{\text {Re}}(s)>3\), then, for any \(\zeta \in {\mathbb {H}}\),
where \(\displaystyle K(l,s)= \frac{e({\text {sig}}(L)/8)}{|L'/L|^{1/2}}(-1)^{-s}C(l,s)\) and C(l, s) is specified in (4.37). Moreover, if f is a common eigenform of all Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \), the right-hand side of the above identity coincides with
Proof
This is routine work. We have just to collect the results we established before and put them together. Equation (6.5) in Remark 6.3 combined with Theorems 6.2 and 4.10 allows us to replace the left-hand side of the above stated identity by
Employing the relation (4.8) afterwards, gives the desired result. \(\square \)
We are now in a position to prove a result concerning the analytic properties of Z(s, f). Corollary 4.6 together with (6.6) gives us the means to transfer the analytic properties of \(E_{l,0}^2\) to the standard zeta function. We use the same notation as in Corollary 4.6.
Theorem 6.5
Let \(l\in 2{\mathbb {Z}},\, l\ge 3\), satisfy \(2l+{\text {sig}}(L)\equiv 0\bmod {4}\) and \(f\in S_l(\rho _{L,1})\) a common eigenform of the Hecke operators \(T\left( {\begin{matrix} d^2 &{} 0 \\ 0 &{} 1\end{matrix}}\right) \). Then the Dirichlet series Z(s, f) can be continued meromorphically to the entire complex s-plane. If additionally \(L'/L\) is anisotropic and \(|L'/L|\) odd, then
satisfies the following functional equation
Proof
First, we note that
where the last equation is due to (4.19). Clearly, this identity holds for each component function of \(E_{l,0}^{2}\):
for any \(\mu \in (L'/L)^2\). From this follows the first assertion.
For the functional equation we make use of the fact that (4.30) is valid for each component function of \(E_{l,0}^{2}\), which we can immediately read off the proof of Theorem 3.16 of [27] and [10], Sect. 2.2 on pp. 641 and 642. Taking this into account, we obtain the claimed functional equation. \(\square \)
References
Arakawa, T.: Jacobi Eisenstein series and a basis problem for Jacobi forms. Comment. Math. Univ. St. Paul. 43(2), 181–216 (1994)
Böcherer, S.: Über die Funktionalgleichung automorpher \(L\)-Funktionen zur Siegelschen Modulgruppe. J. Reine Angew. Math. 362, 146–168 (1985)
Borcherds, R.: Automorphic forms with singularities on Grassmannians. Inven. Math. 132, 491–562 (1998)
Bouganis, T., Marzec, J.: On the analytic properties of the standard \(L\)-function attached Siegel-Jacobi modular forms. Dok. Math. 24, 2613–2684 (2019)
Bruinier, J.H.: Borcherds Products on \(O(2,l)\) and Chern Classes of Heegner Divisors, Lecture notes in mathematics 1728 (2002)
Bruinier, J.H.: On the converse theorem for Borcherds Products. J. Algebra 397, 315–342 (2014)
Bruinier, J.H., Funke, J.: On the injectivity of the Kudla-Millson lift and surjectivity of the Borcherds lift. In: Lepowski, J., McKay, J., Tuite, M. (eds.) Moonshine - The First Quarter Century and Beyond. Cambridge University Press, Cambridge (2010)
Bruinier, J., Kuss, M.: Eisenstein series attached to lattices and modular forms on orthogonal groups. Manuscripta Math. 106, 443–459 (2001)
Bruinier, J.H., Stein, O.: The Weil representation and Hecke operators for vector valued modular forms. Math. Z. 264, 249–270 (2010)
Bruinier, J.H., Yang, T.: Faltings heights of CM cycles and derivatives of \(L\)-functions. Invent. Math. 177, 631–681 (2009)
Bruinier, J.H., Ehlen, S., Freitag, E.: Lattices with many Borchers products. Math. Comp. 85(300), 1953–1981 (2016)
Freitag, E.: Siegelsche Modulfunktionen Grundlehren der Mathematischen Wissenschaften. Springer, Berlin (1983)
Garret, P.: Pullbacks of Eisenstein series, Applications in Automorphic Forms of Several Variables, Taniguchi Symposium, Katata 1983, Birkhäuser (1984)
Kozima, N.: Garret’s pullback formula for vector-valued Siegel modular forms. J. Number Theory 128 (2008)
Kozima, N.: Standard \(L\)-functions attached to vector valued Siegel modular forms. Kodai Math. J. 23, 255–265 (2000)
Lehner, J.: Discontinous Groups and Automorphic Functions, Mathematical Surveys, Number VIII. American Mathematical Society, Providence (1964)
McGraw, W.: The Rationality of vector valued modular forms associated with the Weil representation. Math. Ann. 326, 105–122 (2003)
Miyake, T.: Modular Forms. Springer, New York (1989)
Nobs, A.: Die irreduziblen Darstellungen \(_2(_p)\), insbesondere \(_2(_2)\). Math. Ann. 229, 113–133 (1977)
Nobs, A., Wolfahrt, J.: Die irreduziblen Darstellungen der Gruppen \(_2(_p)\), insbesondere \(_2(_2)\), II. Teil. Comment. Math. Helvetici 39, 491–526 (1976)
Piatetski-Shapiro, I., Rallis, S.: \(L\)-functions for Classical Groups. Lecture Notes in Mathematics, vol. 1254. Springer, Berlin (1987)
Raulf, N., Stein, O.: A trace formula for Hecke operators on vector-valued modular forms. Glasg. Math. J. 59(1), 143–165 (2017)
Runge, B.: Theta functions and Siegel-Jacobi forms. Acta Math. 175, 165–196 (1995)
Scheithauer, N.: The Weil representation of \(_2()\) and some applications. IMNR 2009(8), 1488–1545 (2009)
Scheithauer, N.: Some constructions of modular forms for the Weil representation of \(_2()\). Nagoya Math. J. 220, 1–43 (2015)
Schwagenscheidt, M., Völz, F.: Lifting newforms to vector-valued modular forms for the Weil representation. Int. J. Number Theory 11, 2199–2219 (2015)
Stein, O.: Analytic properties of Eisenstein series and standard \(L\)-functions. Nagoya Math. J. 244, 163–203 (2021)
Wang, H.: Reflective modular forms: a Jacobi forms approach. IMRN 2021(3), 2081–2107 (2021)
Weil, A.: y Sur certains groupes d’ operateurs unitaires. Acta Math. 111, 143–211 (1964)
Werner, F.: Vector valued Hecke theory. Ph. D. thesis, Technische Universität Darmstadt (2014)
Zhang, W.: Modularity of generating functions of special cycles on Shimura varieties, Ph. D. thesis, Columbia University (2009)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Stein, O. On analytic properties of the standard zeta function attached to a vector-valued modular form. Res. number theory 8, 86 (2022). https://doi.org/10.1007/s40993-022-00368-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-022-00368-z
Keywords
- Vector-valued modular forms for the Weil representation
- Standard zeta function
- Garret-Böcherer decomposition