Algebraicity of special L-values attached to Siegel–Jacobi modular forms


In this work we obtain algebraicity results on special L-values attached to Siegel–Jacobi modular forms. Our method relies on a generalization of the doubling method to the Jacobi group obtained in our previous work, and on introducing a notion of near holomorphy for Siegel–Jacobi modular forms. Some of our results involve also holomorphic projection, which we obtain by using Siegel–Jacobi Poincaré series of exponential type.


Introduction
This paper should be seen as a continuation of our earlier paper [2] on properties of the standard L-function attached to a Siegel-Jacobi modular form. Indeed, in [2] we have established various analytic properties (Euler product decomposition, analytic continuation and detection of poles) of the standard L-function attached to Siegel-Jacobi modular forms, and in this paper we turn our attention to algebraicity properties of some special L-values.
Shintani was the first person who attached an L-function to a Siegel-Jacobi modular form which is an eigenfunction of a properly defined Hecke algebra. He initiated the study of its analytic properties by finding an integral representation. His work was left unpublished, but then was took over by Murase [14,15] and Arakawa [1] who obtained results on the analytic properties of this L-function using variants of the doubling method. In our previous work [2] we extended their results to a very general setting: non-trivial level, character and a totally real algebraic number field. For this purpose we applied the doubling method to the Jacobi group, and consequently related Siegeltype Jacobi Eisenstein series to the standard L-function. This identity has a further application in the current paper.
Here the starting point of our investigation is a result of Shimura in [17] on the arithmeticity of Siegel-Jacobi modular forms. Namely, if we let S be a positive definite half-integral l by l symmetric matrix, write M n k,S for the space of Siegel-Jacobi modular forms of weight k and index S (see next section for a definition), and of any congruence subgroup, and denote by M n k,S (K) the subspace of M n k,S consisting of those functions whose Fourier expansion at infinity has Fourier coefficients in a subfield K of C, then it is shown in (loc. cit.) that M n k,S (K) = M n k,S (Q) ⊗ Q K. In particular, for a given f ∈ M n k,S and a σ ∈ Aut(C/Q) one can define the element f σ ∈ M n k,S by letting σ act on the Fourier coefficients of f .
The main result of this paper comes in two flavours: Theorem 4.6 and Theorem 7.1. Without going into too much details, it may be vaguely stated as follows. Denote by L(s, f, χ) the standard L-function attached to a Siegel-Jacobi cuspidal eigenform f ∈ M n k,S (Q), which is twisted by a Dirichlet character χ, and let Λ(s, f, χ) := L(2s − n − l/2, f, χ) where ψ S is the non-trivial quadratic character attached to the extension K S := Q( (−1) l/2 det(2S)) if K S = Q, and otherwise ψ S = 1. Then for certain integers σ and for k ≫ 0, Λ(σ/2, f, χ) π eσ < f, f > ∈ Q, for an explicit power e σ ∈ N, and where < f, f > is a Petersson inner product on the space of cuspidal Siegel-Jacobi modular forms.
In Theorem 4.6, where the cusp form f is defined over a totally real field F , we can take above any k > 2n + l + 1, but we have to assume that in the theta decomposition of f the modular forms of (half-)integral weight are all cuspidal, which we call Property A in this paper. It is very tempting to say that this last assumption always holds (see examples and remark on pages [11][12], but nevertheless it may not be so easy to check in practice. Theorem 7.1 seeks to improve this situation, and does not rely on Property A. This second theorem is obtained under a slightly weaker bound on the weight, namely k > 6n + 2l + 1, and for simplicity we prove it only for F = Q. We would like to emphasize that these two results come with very different methods, although they both base on the doubling identity. The key difficulty which forces the aforementioned assumptions is the existence of a projection from nearly holomorphic to cuspidal Siegel-Jacobi forms. In the first case this is resolved by employing the known projection from (nearly) holomorphic Siegel modular forms (see Sections 4 and 5). In the second case, modelled on the work [22] of Sturm, we study Siegel-Jacobi Poincaré series of exponential type and define the projection via the associated reproducing kernel (Section 6); this might be of independent interest. The latter approach involves also a twist in the proof, which uses the theory of CM points in the Jacobi setting.
Let us now try to put the main result of this paper in some broader context. Results of the above form for the standard L-functions of automorphic forms associated to Shimura varieties, such as Siegel and Hermitian modular forms, were obtained by many researchers, most profoundly by Shimura (see for example [20]). These results can also be understood in the general framework of Deligne's Period Conjectures for critical values of motives [7]. Indeed, according to the general Langlands conjectures, the standard L-functions of automorphic forms related to Shimura varieties can be identified with motivic L-functions, and hence the algebraicity results for the special values of the automorphic L-functions can also be seen as a confirmation of Deligne's Period Conjecture, albeit is usually hard to actually show that the conjectural motivic period agrees with the automorphic one.
Siegel-Jacobi modular forms and -in particular -the algebraicity results obtained in this paper do not fit in this framework: since the Jacobi group is not reductive, it does not satisfy the necessary properties to be associated with a Shimura variety. Nevertheless, the Jacobi group can be actually associated with a geometric object, namely with a mixed Shimura variety, as it is explained for example in [11,13]. It is thus very tempting to speculate -although we do not address this question in this paper -that the standard L-function studied here might be identified with an L-function of a mixed motive, and hence the theorem above could be seen as a confirmation of the generalization of Deligne's Period Conjecture to the mixed setting as for example stated by Scholl in [16].
We should mention here that even though in some cases one can identify the standard L-function associated to a Siegel-Jacobi form with the standard L-function associated to a Siegel modular form (see for example the remark on page 252 in [15]), this is possible under some quite restrictive conditions on both index and level of the Siegel-Jacobi form. Actually, even in the situation of classical Jacobi forms this correspondence becomes quite complicated when one considers an index different than 1 and/or nontrivial level, which is very clear for example in the work of [21].
Remark: In an earlier version of [2], which one can find on the arXiv ( [3]), we had also included the results of this paper (except the last two sections). However this had resulted in a rather long exposition, and for this reason we decided to keep the two main results of our investigations separately. Namely, [2] contains now our results towards the analytic properties of the standard L function, whereas this paper focuses on the algebraic properties.

Preliminaries
In this section we recall basic facts regarding Siegel-Jacobi modular forms of higher index and set up the notation. We follow closely our previous work [2].
Let F be a totally real algebraic number field of degree d, d the different of F , and o its ring of integers. For two natural numbers l, n, we consider the Jacobi group G := G n,l := H n,l ⋊ Sp n of degree n and index l over F : where H(F ) := H n,l (F ) := {(λ, µ, κ)1 2n ∈ G n,l (F )} is the Heisenberg group, and The group law is given by , and the identity element of G n,l (F ) is 1 H 1 2n , where 1 H := (0, 0, 0) is the identity element of H n,l (F ) (whenever it does not lead to any confusion we suppress the indices n, l). For an element g ∈ Sp n we write g = ag bg cg dg , where a g , b g , c g , d g ∈ M n . We write {σ v : F ֒→ R, v ∈ a} for the set of real embeddings of F and put F a := v∈a σ v (F ), a denoting the set of archimedean places of F . Each σ v induces an embedding G(F ) ֒→ G(R); we will write (λ v , µ v , κ v )g v for σ v (g). The group G(R) a := v∈a G(R) acts on H n,l := (H n × M l,n (C)) a component wise via cv dv . For k = (k v ) ∈ Z a := v∈a Z and a matrix S ∈ Sym l (d −1 ) we define the factor of automorphy of weight k and index S by ii) for each g ∈ G n (F ), f | k,S g admits a Fourier expansion of the form f | k,S g(τ, w) = t∈L t≥0 r∈M c(g; t, r)e a (tr (tτ ))e a (tr ( t rw)) ( * ) for some appropriate lattices L ⊂ Sym n (F ) and M ⊂ M l,n (F ), and such that S r t r t ≥ 0, i.e., this is a semi-positive definite matrix for each v ∈ a; we set We will denote the space of such functions by M n k,S (Γ, χ).  [20, page 31]. For the case of n = 1 and F a totally real field different to Q one can use the same proof but now use the Köcher principle for Hilbert modular forms (see also [4,Lemma 3.50]).
We say that f is a cusp form if in the expansion ( * ) above for every g ∈ G n (F ), we have c(g; t, r) = 0 unless S v r v t r v t v is positive definite for every v ∈ a. The space of cusp forms will be denoted by S n k,S (Γ, χ). We define Petersson inner product of Siegel-Jacobi forms f and g of weight k and level Γ under assumption that one of them is a cusp form as: where for z = (τ, w) ∈ H n,l , τ = x + iy with x, y ∈ Sym n (F a ) and w = u + iv with u, v ∈ M l,n (F a ), we set We also recall (see [1, p. 187]) that ∆ S,k (gz) = |J k,S (g, z)| −2 ∆ S,k (z) for any g ∈ G n,l (F ). In this way the inner product is independent of the group Γ.
We finish this section with a final remark. In this paper we consider the L function (see next section) attached to integral weight Siegel-Jacobi form i.e. k = (k v ) with k v ∈ Z. However some half-integral weight Siegel-Jacobi forms will arise quite naturally in the paper, and in particular theta series. That is we will have to consider weights of the form k = (k v ) with all k v ∈ 1 2 Z \ Z. In this case the definition is similar to the one given above (i.e. Definition 2.1, but one replaces j(g v , τ v ) kv in the definition of J k,S (g, z) above, with the corresponding half-integral one as for example is defined in [20, paragraph 6.10].

The standard L-function and the doubling method identity
In this section we recall some results and notation from [2] which will be necessary to establish results in the next section.
3.1. The L-function. We start by fixing some notation. For a fractional ideal b, and an integral ideal c we let For any integral ideal a of F we have defined in [2, Section 7] a Hecke operator T (a) : S n k,S (Γ) → S n k,S (Γ). We now consider a nonzero f ∈ S n k,S (Γ) such that f |T (a) = λ(a)f for all integral ideals a of F . For a Hecke character χ of F , and denoting by χ * the corresponding ideal character, we define an absolutely convergent series In [2] we proved a theorem regarding the Euler product representation of this Dirichlet series. The theorem is subject to a condition on the matrix S, which first appeared in [14, page 142], and may be stated as follows. Consider any prime ideal p of F such that (p, c) = 1 and write v for the corresponding finite place of F . We say that the lattice For any uniformiser π of F v we now set We say that the matrix S satisfies the condition M + p if L is an o v -maximal lattice with respect to the symmetric matrix 2S and L = L ′ . Theorem 3.1 (Theorem 7.1, [2]). Let 0 = f ∈ S n k,S (Γ) be such that f |T (a) = λ(a)f for all integral ideals a of F . Assume that the matrix S satisfies the condition M + p for every prime ideal p with (p, c) = 1. Then Here, for a Hecke Character ψ, we let L p (s, ψ) := 1 − ψ * (p)N (p) −s , and G p (χ, s) is a ratio of Euler factors which for almost all p is equal to one. In particular, the function L(s, f, χ) is absolutely convergent for Re(s) > n + l/2 + 1.
We note here that the Euler product expression implies that For the rest of the paper, whenever the L function attached to a Jacobi form f is considered, we will always assume that the index matrix S of f satisfies the condition M + p for every prime ideal p away from the level c of f . Let us now also remark that if we replace f with f c (z) := f (−z), the L-function remains the same: Proposition 3.2 (Proposition 7.9, [2]). Let f ∈ S n k,S (Γ) be an eigenform with f |T (a) = λ(a)f for all fractional ideals a prime to c. Then so is f c . In particular, f c |T (a) = λ(a)f c and L(s, f, χ) = L(s, f c , χ).

3.2.
Doubling method. The L-function introduced above may be also obtained via a doubling method. We chose to take Arakawa's approach [1] and considered a homomorphism The map ι A induces an embedding H m,l × H n,l ֒→ H n+m,l , z 1 × z 2 → diag[z 1 , z 2 ], defined by (τ 1 , w 1 ) × (τ 2 , w 2 ) → (diag[τ 1 , τ 2 ], (w 1 w 2 )). The doubling method suggests that computation of the Petersson inner product of a cuspidal Siegel-Jacobi modular form f on H n,l against a Siegel-type Jacobi Eisenstein series pull-backed from H n+m,l leads to an L-function associated with f . Before we state the result, we define the Jacobi Eisenstein series which was used. It will appear again in the last section (Theorem 5.5), where the question of its nearly holomorphicity will be addressed. In order to avoid excessive and unnecessary notation, we state here an adelic definition of the Eisenstein series; the interested reader is referred to [2] for a derivation of a classical definition.
Fix a weight k ∈ Z a and consider a Hecke character χ such that for a fixed integral ideal c of F we have we will also write χ c := v|c χ v . Further, let and D ∞ is a maximal compact subgroup of Sp n (R).
We define an absolutely convergent adelic Eisenstein series of Siegel type on a Jacobi group with a parabolic subgroup where P n (F ) is a Siegel subgroup of G n (F ) as follows: where φ(x, s; χ) := 0 if x / ∈ P n (A)K n and otherwise, if x = pw with p ∈ P n (A) and w ∈ K n , we set A , where p, w ∈ Sp n (A) denote symplectic parts of p, w, respectively. The classical Jacobi Eisenstein series which corresponds to E n (x, s; χ) is given by where i 0 = (i1 n , 0) a ∈ H n,l , and x ∈ v∈a G(F v ) is such that xi 0 = z; for a formula which does not involve x see [2, equation (11)].

Theorem 3.3 ([2]
). Let f ∈ S n k,S (Γ) be a Hecke eigenform whose index S satisfies the condition M + p for all prime ideals p of F coprime to c, and let E 2n (z, s; χ) be the Eisenstein series defined above. Then, there exists an ρ ∈ G(F ) such that: where G p (χ, 2s − n − l/2), and the rest of notation is as in [2, Section 6]; in particular: η n = 1 H
Remark 3.4. In fact, the results proved in [2] are more general than the ones presented above. Indeed, we worked with congruence subgroups of the form where e is an integral ideal such that c ⊂ e and e is prime to e −1 c; then where the last group is obtained by setting e = o. However, in this paper we decided to work with e = c, because for simplicity reasons we restricted the proof of our main theorem to this case.

Arithmetic properties of Siegel-Jacobi modular forms
In this section we will write f (instead of f ) for Siegel-Jacobi modular forms and use f for other types of forms.
For a congruence subgroup Γ of G(F ) and a subfield K of C we define the set c(t, r)e a (tr (tτ + t rw)), c(t, r) ∈ K}; the subspace S n k,S (Γ, K) consisting of cusp forms is defined in a similar way. Moreover, we write M n k,S (K) for the union of all spaces M n k,S (Γ, K) for all congruence subgroups Γ.
For an element σ ∈ Aut(C) and an element k = (k v ) ∈ Z a we define k σ := (k vσ ) ∈ Z a , where vσ is the archimedean place corresponding to the embedding K τv ֒→ C σ → C, if τ v is the embedding in C corresponding to the archimedean place v. Proposition 4.1. Let k ∈ Z a , and let Φ be the Galois closure of F in Q, and Φ k the subfield of Φ such that Given an f ∈ M n k,S (C), we define f * (τ, w) := e a (tr (Sw(τ − τ ) −1t w))f (τ, w) and write Q ab for the maximal abelian extension of Q. Moreover, for k ∈ 1 2 Z a such that k v − 1 2 ∈ Z for all v ∈ a we write M n k for the space of Siegel modular forms of weight k, and of any congruence subgroup, and M n k (K) for those with the property that all their Fourier coefficients at infinity lie in K (see for example [20,Chapter 2] for a detailed study of these sets).
Proposition 4.2. Let K be a field that contains Q ab and Φ as above. Then where Ω τ := t (τ 1 n ).
(2) For any element γ ∈ Sp n (F ) ֒→ G n (F ) and f ∈ M n k,S (K), we have f | k,S γ ∈ M n k,S (K). Moreover if f ∈ M n k,S (Γ, K), it follows that f |T r ∈ M n k,S (Γ, K) for any r ∈ Q(c).
Proof. If F = Q, this is [17,Proposition 3.2]. It is easy to see that the proof generalizes to the case of any totally real field. Indeed, the first part of the proof is a direct generalization of the argument used by Shimura. The second part requires the fact that the space M n k (K) is stable under the action of elements in Sp n (F ), which is true for any totally real field, as it is proved in [20,Theorem 10.7 (6)]. The last statement follows from the definition of the Hecke operator T r .
For a symmetric positive definite matrix S ∈ Sym l (F ), h ∈ M l,n (F ) and a lattice L ⊂ M l,n (F ) we define the Jacobi theta series of characteristic h by Moreover, under the above isomorphism, Remark 4.4. We remark here that the assumption of n > 1 or F = Q is needed to guarantee that the f h 's are holomorphic at the cusps, which follows from the Köcher principle. However, even in the case of F = Q and n = 1, if we take f to be of trivial level, then the f h 's are holomorphic at infinity (see for example [8, page 59]).
Proof of Theorem 4.3. The first statement is [17, Proposition 3.5] for F = Q and it easily generalizes to the case of any totally real field. We explain the statement about cusp forms.
Consider first expansions around the cusp at infinity. Fix h ∈ Λ 1 /Λ 2 and let f h (τ ) = t 2 >0 c(t 2 )e a (tr (t 2 τ )). It is known that Fourier coefficients c(t 1 , r) of a Jacobi theta series are nonzero only if 4t 1 = t rS −1 r (see [24, p. 210]). Hence, the coefficients of satisfies cuspidality condition at infinity. Now let γ be any element in Sp n (F ). The first statement in the Theorem states that for every Hence, for some cusp forms The same argument as used for the cusp at infinity implies that the functions f | k,S γ(τ, w) and This finishes the proof.
Note that the above theorem does not state that Φ −1 h∈Λ 1 /Λ 2 S n k−l/2 (K) = S n k,S (K). For this reason we make the following definition.
Property A. We say that a cusp form f ∈ S n k,S (K) has the Property A if Examples of Siegel-Jacobi forms that satisfy the Property A: (1) Siegel-Jacobi forms over a field F of class number one, and with trivial level, i.e. with c = o. Note that in this situation there is only one cusp. Then, keeping the notation as in the proof of the theorem above we need to verify that if f (τ, w) = t,r c f (t, r)e a (tr (tτ ))e a (tr ( t rw)) with 4t > t rS −1 r whenever c(t, r) = 0, then all the f h have to be cuspidal. Observe first that if h 1 , h 2 ∈ Λ 1 /Λ 2 are different, Θ 2S,Λ 2 ,h 1 (τ, w) = t,r c 1 (t, r)e a (tr (tτ ))e a (tr ( t rw)), and Θ 2S,Λ 2 ,h 2 (τ, w) = t,r c 2 (t, r)e a (tr (tτ ))e a (tr ( t rw)), then there is no r such that at the same time c 1 (t, r) = 0 and c 2 (t, r) = 0. Indeed, if it was not the case then there would be λ 1 , λ 2 ∈ Λ 2 such that r = 2S(λ 1 + h 1 ) and r = 2S(λ 2 + h 2 ), that is, λ 1 + h 1 = λ 2 + h 2 or, equivalently, h 1 − h 2 ∈ Λ 2 ; contradiction. Hence, for any given r there is a unique h ∈ Λ 1 /Λ 2 such that Θ 2S,Λ 2 ,h has a nonzero coefficient c(t, r). This means that there exists a unique h such that c f (t, r) is the Fourier coefficient of f h (τ )Θ 2S,Λ 2 ,h (τ, w) = t,r t 1 +t 2 =t c(t 1 , r)c(t 2 )e a (tr (tτ ))e a (tr ( t rw)). But then t rS −1 r < 4t = 4(t 1 + t 2 ) = t rS −1 r + 4t 2 and so t 2 > 0, which proves that f h is cuspidal.
(2) Siegel-Jacobi forms of index S such that det(2S) ∈ o × , as in this case the lattices Λ 1 and Λ 2 from Theorem 4.3 are equal.
Remark: It is tempting to claim that Property A always holds. Actually the first example above suggests a possible way of establishing it for all Jacobi forms. However in the presence of more than one cusps, and of non-trivial index [Λ 1 : Λ 2 ] one needs to understand the behavior of the theta series Θ 2S,Λ 2 ,h (τ, w) at all cusps, which seems to be quite hard in general.
Let us now explain the significance of the Property A. Recall first that we have defined a Petersson inner product < f , g > when f , g ∈ M n k,S (K) and one of them, say, f is cuspidal. If f satisfies the Property A, then we claim that Indeed, as in [24,Lemma 3.4], where A = Γ\H a n and a congruence subgroup Γ is deep enough. We obtain the claimed equality after exchanging the order of integration and summation. This can be done exactly because each f h is cuspidal, which makes each individual integral well defined.
Lemma 4.5. Assume that n > 1 or F = Q and that f ∈ S n k,S (Q) satisfies the Property A and one of the following two conditions holds: with µ ∈ Z depending on n and F in the following way: Then for any g ∈ M n k,S (Q) there exists g := q(g) ∈ S n k,S (Q) such that Proof. There is nothing to show in the case of non-parallel weight, since as it was mentioned above there is no (holomorphic) Eisenstein part in this case. In the parallel weight case, as f has the Property A, < f , g >= N (det(4S)) −n/2 It is known (see [20,Theorem 27.14]) that under the assumptions stated in (ii), there exists a projection q : In particular, if we set g := Φ −1 (( g h ) h ), we obtain the statement of the lemma. Now, fix a fractional ideal b and an integral ideal c of F , set Γ := Γ 1 (c) and let f ∈ S n k,S (Γ, Q) be a non-zero Siegel-Jacobi form. Furthermore, assume that f is an eigenfunction of the operators T (a) for all integral ideals a, and write f |T (a) = λ(a)f . We define the space We are now ready to state the main theorem of this paper on algebraic properties of Recall that the L-function L(s, f , χ) is defined only when the index matrix S of f satisfies the property M + p , as stated in Theorem 3.1.
Theorem 4.6. Assume n > 1 or F = Q, and that S satisfies the property M + p for all prime ideals p of F prime to c. Let χ be a Hecke character of F such that χ a (x) = sgn a (x) k , and 0 = f ∈ S n k,S (Γ, Q) an eigenfunction of all T (a). Set µ := min v k v and assume that Let σ ∈ Z be such that but exclude the cases where e σ = n v∈a (k v − l + σ) − de, e := n 2 + n − σ + l/2, if l ∈ 2Z and σ ≥ 2n + l/2, n 2 , otherwise.
This theorem will be proved at the end of the next section. First we need to introduce the notion of nearly holomorphic Siegel-Jacobi modular forms N n,r k,S (Γ) for r ∈ Z a .

5.
Nearly holomorphic Siegel-Jacobi modular forms and algebraicity of special L-values : H n,l → C is said to be a nearly holomorphic Siegel-Jacobi modular form (of weight k and index S) for the congruence subgroup Γ if (1) f is holomorphic with respect to the variable w and nearly holomorphic with respect to the variable τ , that is, f as a function of τ belongs to the space Actually one needs to also put the usual condition at the cusps when n = 1 and F = Q but we will later restrict ourselves to the case of n = 1 or F = Q where this condition is automatic.
We denote this space by N n,r k,S (Γ) and write N n,r k,S := Γ N n,r k,S (Γ) for the space of all nearly holomorphic Siegel-Jacobi modular forms of weight k and index S.
It follows that f ∈ N n,D k,S (Γ) has a Fourier expansion of the form for some suitable lattices L ⊂ Sym n (F ) and M ⊂ M l,n (F ), where p t,r is a polynomial function on Sym n (F a ) of total degree D ∈ Z d + . We note that if f ∈ N n,r k,S , then f * (τ, v Ω τ ) ∈ N n,r k , the space of nearly holomorphic Siegel modular forms, where recall Ω τ := t (τ 1 n ), and v ∈ M l,2n (F ). The next theorem, which has been established in [2], extends Theorem 4.3 to the nearly-holomorphic situation.
The above theorem immediately implies the following. Proof. The theorem above gives that N n,r k,S (Γ) ֒→ h N n,r k−l/2 (Γ h ) for some congruence subgroups Γ h . The spaces N n,r k−l/2 (Γ h ) are known to be finite dimensional (see [20,Lemma 14.3]).
Given an automorphism σ ∈ Aut(C) and f ∈ N n,r k,S , we define where f h ∈ N n,r k−l/2 , and f σ h is defined as in [20, page 117]. Also, for a subfield K of C, define the space N n,r k,S (K) to be the subspace of N n,r k,S such that Φ(N n,r k,S (K)) = h∈Λ 1 /Λ 2 N n k−l/2 (K). In particular, f ∈ N n,r k,S belongs to N n,r k,S (K) if and only if f σ = f for all σ ∈ Aut(C/K). Moreover, if K contains the Galois closure of F in Q and Q ab , then N n,r k,S = N n,r k,S (K) ⊗ K C as the same statement holds for N n,r k−l/2 . Similarly it follows that if f ∈ N n,r k,S (Q), then f | k,S γ ∈ N n,r k,S (Q) for all γ ∈ G(F ). At this point we also remark that for an f ∈ M n k,S the f c defined in Section 3 is nothing else than f ρ where 1 = ρ ∈ Gal(C/R), i.e., a complex conjugation.
We now define a variant of the holomorphic projection in the Siegel-Jacobi case. We define a map p : Lemma 5.4. Assume n > 1 or F = Q, and that f ∈ S n k,S satisfies the Property A, and k v − l/2 > n + r v for all v ∈ a. Then for any g ∈ N n,r k,S (Q), Proof. This follows from the fact that the above property holds for nearly holomorphic Siegel modular forms, and the fact that the Property A allows us to write the Petersson inner product of Siegel-Jacobi forms as a sum of Petersson inner products of Siegel modular forms, in a similar way as we did in the proof of Lemma 4.5.
Let us write F 1 for the Hilbert class field extension of F and denote by {ψ i } the ideal characters corresponding to the characters of Gal(F 1 /F ). We can now state a theorem regarding the nearly holomorphicity of Siegel-type Jacobi Eisenstein series. Let µ ∈ Z be such that Proof. The proof is similar to the proof of Theorem 8.3 in [2], where the analytic properties of the series D(s) were established. Indeed, the relation between the Jacobi Eisenstein series and the classical Siegel Eisenstein series (for details see [2, Section 8]) allows us to read off the near holomorphy of D(s) from the near holomorphy of the latter series, which was established in [20,Theorem 17.9].
To be more precise, in [2] (page 45 there, just before Theorem 8.2) we related the Jacobi Eisenstein series E n (z, s, χ) to a sum involving the Siegel Eisenstein series E n (τ, s − l/4; χψ S ψ i ) (with the notation as in [2]), where ψ i 's vary over all the finite unramified characters of F , that is the characters corresponding to the Hilbert class group of F . However, the normalizing factor for the Jacobi Eisenstein series D(s) is Λ n k−l/2,c (s − l/4, χψ S ) whereas for the various Siegel Eisenstein series is Λ n k−l/2,c (s − l/4, χψ S ψ i ), which of course depends on the characters ψ i .
Therefore we need to assure that the series has the same algebraic properties, i.e., whether it is defined over Q, as the normalized series Λ n k−l/2,c (µ/2 − l/4, χψ S ψ i )E n (τ, µ/2 − l/4; χψ S ψ i ), which is known (see [20,Theorem 17.9]) to be in π β N n,r k,S (Q) with the choices of β and r as in the theorem. Of course, we need to exclude the cases where the factor Λ n k−l/2,c (µ/2−l/4,χψ S ) Λ n k−l/2,c (µ/2−l/4,χψ S ψ i ) has a pole. Then it remains to check whether If the class number of F is one, ( * ) holds trivially. If it is greater than one, this should follow from the general Beilinson conjectures for motives associated to finite Hecke characters over totally real fields (see for example [16]). However since this is not known in general, in the proof below we are forced to set then the condition µ > n + l.
Recall first that for a finite Hecke character φ of F , we defined We prove the statement in ( * ) term by term for quotients of the corresponding factors in the product above. ℓ (for us, since F is totally real, only the parity of ℓ matters), then L c (ℓ, φ) ∈ π ℓd Q. Now observe that the characters χψ S and χψ S ψ i (for each i) have the same infinite type since the characters ψ i are even at all infinite places due to the fact that they correspond to the Hilbert class field extension of F (unramified also at infinity). In particular this establishes that for all i, where δ(l) is zero or one depending whether l is even or odd, and where we have used the fact that ψ 2 S = 1. Now it remains to show that for l even and µ > n + l, Lc(µ−l/2,χψ S ) Lc(µ−l/2,χψ S ψ i ) ∈ Q for all i. This condition on µ together with the assumption (ii) imply that µ ≡ k v (mod 2) for all v ∈ a. Furthermore, since ψ S is the Hecke character corresponding to the quadratic extension F ((−1) l/4 det(S) 1/2 )/F (see Theorem 3.3), l/2 has the same parity as the character ψ S . Hence the parity of µ − l/2 coincides with the parity of the characters χψ S and χψ S ψ i for all i. Lemma 5.6. Consider the embedding ∆ : H n,l × H n,l ֒→ H 2n,l , (τ 1 , w 1 ) × (τ 2 , w 2 ) → (diag[τ 1 , τ 2 ], (w 1 w 2 )).

Then the pullback
Proof. The proof of this lemma is identical to the Siegel modular form case (see [20,Lemma 24.11]). Let f ∈ N 2n,r k,S (Γ 2n , Q) for a sufficiently deep congruence subgroup Γ 2n . By [2, Lemma 10.6], we have that where g i ∈ N n,r k,S , and h i ∈ N n,r k,S , where the latter form a basis of N n,r k,S . Using now the fact that N n,r k,S = N n,r k,S (Q)⊗ Q C, we may take h i ∈ N n,r k,S (Q). Now, for any σ ∈ Aut(C/Q), Hence, g σ i (z 2 ) = g i (z 2 ) for all σ ∈ Aut(C/Q), and thus g i ∈ N n,r k,S (Q).
We can now establish a theorem which is the key result towards Theorem 4.6. We note that this kind of results are well known for the case of Siegel and Hermitian modular forms, see for example [20, Theorem 28.5 and Theorem 29.5], and our proof is inspired by the proofs of these theorems. We would like to emphasise that, as in the case of Siegel and Hermitian modular forms, a vital component of the proof is a result on the algebraic splitting of the cuspidal part from the Eisenstein part. For the case of Siegel-Jacobi modular forms this is provided by Lemma 4.5 above, and it is precisely this part that makes the Property A so important for our result.
Then for any g ∈ M n k,S (Q), Proof. By Lemma 4.5 it suffices to prove this theorem for g ∈ S n k,S (Q). Furthermore, as it was shown in [2, Section 7.4], the Hecke operators are normal and Proposition 4.2 states that the Hecke operators T (a) preserve S n k,S (Γ, Q). That is, we have a decomposition S n k,S (Γ, Q) = V (f ) ⊕ U , where U is a Q-vector space orthogonal to V (f ). Therefore, without loss of generality, we may assume that g ∈ V (f ).

Now consider a character χ of conductor
. The existence of such a character follows from the fact that G(χ, 2s − n − l/2) is the ratio of products of finitely many Euler polynomials.
We recall that iff ∈ V (f ), then so isf c ∈ V (f ) and their L-functions agree. In particular, up to some non-zero algebraic number, the identity (2) in Theorem 3.3 becomes: where, recall, η n = 1 H

−1n 1n
. Since we take µ > 2n + l + 1, and µ is equal to the smallest of the k v 's, it follows that for all v ∈ a: the last condition is possible because all k v have the same parity. Thanks to the above choice of µ we can apply Theorem 5.5 (note that the excluded cases there do not apply for µ larger than 2n + l + 1) so that Λ 2n k−l/2,c (µ/2 − l/4, χψ S )E 2n (z, µ/2; χ) ∈ π β N 2n,r k,S (Q) for some β ∈ N and r = n(k − µa).
The same then holds for k,S (Q), then by Theorem 5.2, for some E h ∈ N 2n,r k−l/2 . Further, since ρ = 1 H ρ with ρ ∈ Sp 2n (F ), we can write where by [18, page 153] we have E h | k ρ ∈ N 2n,r k−l/2 . In this way E(z, µ/2)| k,S ρ ∈ N 2n,r k,S . In particular, we can now conclude that, where f i , g i ∈ N n,r k,S (Q) by Lemma 5.6. Moreover, vol(A) = π d 0 Q × , where d 0 is the dimension of H d n since the volume of the Heisenberg part is normalized to one. Furthermore, Altogether we obtain where w := (f c | k,S η n ) c =f | k,S η −1 n ∈ S n k,S (Q). Considering the Fourier expansion of f i 's andf c , and comparing any (r, t) coefficients for which c(r, t;f c ) = c(r, t;f ) = 0, we find that for some α i,r,t ∈ Q, where the non-vanishing follows from (1), a corollary to Theorem 3.1. Setting h r,t (z 2 ) := i α i,r,t g i (z 2 ) ∈ N n,r k,S (Q), we obtain k not parallel, q • p, k parallel, and we have used the assumptions (2) and (4) in the statement of the theorem in order to be able to apply Lemma 5.4.
Sincef ∈ V (f ) was arbitrary, the forms h r,t := p 0 (h r,t | k,S η n ) ∈ S n k,S (Q) (or rather their projections to V (f )) for the various (r, t) span the space V (f ) over Q. Indeed, if we denote by S ⊂ V (f ) the Q vector space spanned by the projections of h r,t to V (f ) and if there exists anf ∈ V (f ) which is not in S then there is a form, sayf 1 ∈ V (f ) which is orthogonal to S. But then this would imply by ( * ) above that c(r, t;f 1 c ) = 0 for all (r, t). In particularf 1 = 0. Hence indeed h r,t span V (f ). Moreover we have That is, for any g ∈ V (f ) we have < g, f >∈ π δ−d 0 +β Λ(µ/2, f , χ)Q × . In particular, the same holds for g = f , and that concludes the proof.
We are now ready to give the proof of Theorem 4.6.
Proof of Theorem 4.6. We follow the same steps as in the proof of Theorem 5.7 but this time we apply Theorem 5.5 with selecting µ := σ there. Note that the restrictions on σ in conditions (i) and (ii) are the ones that make the corresponding Eisenstein series nearly holomorphic (compare with conditions in Theorem 5.5). Condition (iii) allows us to use the holomorphic projection operator. Finally, the restrictions on the minimal weight are set so that we can apply the above Theorem 5.7 on the algebraicity of the ratio of the Petersson inner products.
In exactly the same way as above we obtain for some h r,t ∈ N n k,S (Q). In particular we obtain, where p 0 := p, k not parallel, q • p, k parallel, and p 0 (h r,t (z 2 )) ∈ M k,S . Thanks to Theorem 5.7 the proof will be finished after dividing the above equality by < f , f > if we make the powers of π precise. Recall that Hence, δ = dn(n + 1)/2. However, this is also equal to the dimension of the space H d n , which we denoted by d 0 . We are then left only with β, which is provided by Theorem 5.5; namely, where e := n 2 + n − σ + l/2 if 2σ − l ∈ 2Z and σ ≥ 2n + l/2, and e := n 2 otherwise. This concludes the proof of the theorem.

Poincaré series of exponential type and holomorphic projection
Our results in the previous section were obtained under the assumption of Property A, which allowed us to obtain Lemma 4.5 and Lemma 5.4 above. The first one allowed us to split the Eisenstein series from the cuspidal part while preserving the algebraicity of the coefficients (the operator q above), and the second to define a projection from nearly holomorphic Siegel-Jacobi forms to modular forms via the known projection from Siegel modular forms of integral (when ℓ ∈ 2Z) or half-integral (when ℓ ∈ Z) weight (the operator p above). As we indicated above, Property A is known to hold in many cases, as for example in the case of non-parallel weight. However in general, it may not be so easy to check in practice. For this reason in this section we develop a different approach to the holomorphic projection, which does not rely on Property A, and projects the given nearly holomorphic form directly to a cusp form. This new approach is modelled on the one developed by Sturm [22] in the case of Siegel modular forms; and as it is there, Poincaré series play a central role. In the first part of this section we study properties of such series in the Jacobi setting.
In the next section we will apply the results of this section to obtain algebraicity results of the special L-values without assuming Property A. For simplicity we will restrict ourselves to the case of F = Q, even though the results of this section should generalize to the case of totally real fields.
We let Γ = H(Z) ⋊ Γ, equipped with a homomorphism χ, where Γ is a subgroup of Sp n (Z) of finite index. We denote by M n k,S (Γ, χ) the space of C ∞ (smooth) functions f : H n,l → C such that f | k,S g = χ(g)f for every g ∈ Γ. We further let λ Γ be the smallest positive integer for which is contained in the kernel of χ. It follows that f has a Fourier epxansion of the form A t,r (Im(τ ))e 1 λ Γ tr (tRe(τ )) e(tr ( t rw)), where L := {t ∈ 1 2 Sym n (Z) : t ii ∈ Z for all i = 1, . . . , n} and A t,r are C ∞ functions on Y n := {y ∈ M n (R) : t y = y, y > 0}.
Throughout this section we will write τ = x + iy, w = u + iv with x, y, u, v having real entries.
Proposition 6.1. The Poincaré series P t,r converges absolutely and locally uniformly on H l,n for k > n + l + 1. If k > 2n + l, then P t,r ∈ S n k,S (Γ, χ).
In order to prove this proposition, and also for further calculations, we need the following two identities: • For positive integers k, n such that k > (n − 1)/2 and for τ ∈ H n , where dt = 1≤i≤j≤n dt ij and Γ n (k) := π n(n−1)/4 n−1 j=0 Γ(k − j/2). • For a positive definite matrix S ∈ Sym l (R), R ∈ M n,l (R), A ∈ Sym n (C) and a ∈ C × , The first identity is derived in [10, Lemma 6.2], and the proof of the second one may be found in [3, Lemma 6.5].
The modularity property follows from the definition of P t,r and absolute convergence.
In order to prove cuspidality we generalise to the case of Jacobi forms the approach of [10, section III.6], where the case of Siegel Poincaré series is considered. We first note that it suffices to show that the function is bounded on H n,l (c.f. [14,Lemma 1.3]; note that this condition is independent of the level of P t,r because of strong approximation theorem).

Now let
As we will shortly show, for a fixed z 2 ∈ H n,l the series P k,S (· , z 2 ) is absolutely convergent on H n,l for k > 2n + l (and by symmetry also in other variable when z 1 is fixed); then P k,S (z 1 , z 2 ) = (C Γ,k,n,S ) −1 ( t rw 2 )).
We will establish the cuspidality of the Poincaré series P t,r (z 1 ) by showing that P k,S (z 1 , z 2 ) is cuspidal in z 1 for every fixed z 2 . We remark here that various properties of P k,S have already been studied in [1] and [23,Proposition 2]. The rest of the proof, which is implied but not written in [1], is based on the approach taken by Klingen in [10] in the case of Siegel modular forms and offers a slightly different way of proving the cuspidality of P k,S than [23]; for this reason we have decided to include it.
Similarly to the proof of [10, Proposition 2 and its Corollary], the rest of the proof is based on the comparison between the above series and the function defined on H n,l × H n,l ; if k > 2n + l, then by [23, Lemma 3 and Lemma 1. (2)] the defining integral is finite for any z 1 ,ẑ 2 ∈ H n,l . Moreover, similarly to [10, page 80], for any compact subset K ⊂ H n,l there exists a constant c(K) > 0 such that for (z 1 ,ẑ 2 ) ∈ H n,l × K.
In order to proceed we recall from [1, p. 192-193] Hence, for g = (λ, µ, 0)g ∈ Γ we have We now fix aẑ 2 and write C for the constant c(K) appearing in equation (9) above, for some compact set K ∋ẑ 2 . By triangle inequality, The finiteness follows again from [23, Lemma 3], and thus proves absolute convergence of P k,S (z 1 ,ẑ 2 ) (because what we really bound here is the series of absolute values of the consecutive terms of P k,S (z 1 ,ẑ 2 )).
In fact, a closer look at the proof of [23, Lemma 3] reveals that if ξ ∈ G n,l (R) is such that ξ(i1 n , 0) = (τ 1 , w 1 ) and c k,S > 0 is a constant as in [23, p. 716], then where J k,S (ξ, (i1 n , 0)) = ∆ S,k ((i1 n , 0)) 1/2 ∆ S,k (z 1 ) −1/2 = (det y 1 ) −k/2 exp(2πtr (S[v 1 ]y −1 1 )) and the integral, now independent of z 1 , is explicitly computed in the remaining part of the proof and turns out to be finite if k > 2n + l. This proves that for every fixedẑ 2 the function (det y 1 ) k/2 exp(−2πtr (S[v 1 ]y −1 1 ))|P k,S (z 1 ,ẑ 2 )| is bounded on H n,l , and hence P k,S (z 1 ,ẑ 2 ) is a cusp form in the z 1 variable. From the discussion above on the relation between P k,S and P t,r it follows that the Poincaré series P t,r is a cusp form.
Corollary 6.2. For k > 2n + l, for every z 2 ∈ H n,l , the function · e − 1 λ Γ tr (tτ 2 ) e(−tr ( t rw 2 )) = C −1 Γ,k,n,SC Γ,k,n,S P k,S ((τ 1 , w 1 ), (−τ 2 ,w 2 )), where P k,S is defined in (8), is absolutely and uniformly convergent in z 1 on compact subsets of H n,l and defines a cusp form in S n k,S (Γ, χ). The use of constant (10) C Γ,k,n,S := vol(Γ\H n,l ) −1 det(2S) −n/2 Γ n k − n + l + 1 2 π λ Γ n(n+l+1)/2−nk will be justified in Theorem 6.4.(a). Moreover, for any f ∈ S n k,S (Γ, χ): Proof. The first statement is a direct consequence of the proof of Proposition 6.1. In particular, K(z 1 , z 2 ) can be given by two formulas indicated above. The second equality implies that, up to a constant and appearance of χ, it coincides with the function studied in [23,Proposition 2]. From this it is not difficult to see that the formula for the inner product remains valid in our setting. In fact, this formula naturally comes out in the proof of Theorem 6.4 below, where we carry out more general computations. Remark 6.3. It seems to us that for convergence reasons the series K(z 1 , z 2 ), when written using the formula (8) for P k,S , should be defined as a sum which is taken only over g ∈ Z l \Γ, and not over all g ∈ Γ as in [23]. Our definition coincides also with the one used by [1]. Corollary 6.2 implies that K(z 1 , z 2 ) is the reproducing kernel for S n k,S (Γ, χ). This means that in fact where {f 1 , . . . , f d } is an orthonormal basis for S n k,S (Γ, χ). As a consequence, for any f ∈ M n k,S (Γ, χ), as long as the sum is finite. The finiteness condition will follow if we assume that f is of bounded growth. We define this notion as follows: We say that a function f : H n,l → C is of bounded growth, and we write f ∈ B n k,S (Γ) if the integral is finite for every pair (t, r) ∈ 1 2 Sym n (Z) × M l,n (Z), with t > 0 and 4t − λ Γ S −1 [r] > 0. Here X n := {x ∈ M n (R) : t x = x, |x i,j | ≤ λ Γ /2 for all i, j}, U n := {u ∈ M l,n (R) : |u i,j | ≤ 1/2 for all i, j}; if it does not lead to confusion, we will omit the subscripts n in X n , U n and Y n . We recall here that ∆ S,k (z) = det(y) k e −4πtr (S[v]y −1 ) and dz = (det y) −(l+n+1) dxdydudv, where τ = x + iy and w = u + iv, and we remark that where F Γ is a fundamental domain for Γ.
We will be writing B n k,S for the union of B n k,S (Γ) over all congruence subgroups Γ. Our definition should be seen as a generalisation of the notion of bounded growth introduced by Sturm in [22] in the case of Siegel modular forms.
We are now ready to state the main result of this section. The following Theorem (except the statement (b)) is a generalization of [22, Proposition 1 and Theorem 1] to the Jacobi setting.
Proof. First we compute the inner product of f and P t,r : where the interchange of integration and summation is justified by the bounded growth assumption. Further, since and Y M l,n (R) we obtain a finite quantity If f ∈ S n k,S (Γ, χ) with Fourier coefficientsc(t, r), then A t,r (y) =c(t, r)e −2πtr (ty)/λ Γ . As we have seen above, f is of bounded growth and by applying identity (6) we obtain Hence Hol(f ) = f , which provides another proof of the second statement in Corollary 6.2.
Furthermore, for any g ∈ S n k,S (Γ, χ), If f ∈ N n,D k,S (Γ, χ) is a nearly holomorphic Jacobi form, then we can also explicitly evaluate the integral over Y (c.f. [6, eq. (2.165), p. 89]). Now A t,r (y) = p t,r (y −1 )e −2πtr (ty)/λ Γ , where p t,r (y −1 ) is a polynomial of total degree D in the entries of y −1 . Since y −1 = (det y) −1 t Adj(y) with Adj(y) denoting the adjoint of y, we can replace each homogeneous polynomial of degree d occurring in p t,r (y −1 ) by (det y) −d R d t,r (y), where R d t,r (y) is a polynomial in y ij , 1 ≤ i ≤ j ≤ n, of homogeneous degree d(n − 1).
We adjust it further to R t,r (y) := D d=0 (det y) D−d R d t,r (y) = (det y) D p t,r (y −1 ). Then, as long as k > n + l 2 + D, and δ ij denotes Dirac delta.
We can now derive the following important corollary from the calculation done above. Proof. This follows immediately from the Theorem above. Indeed, if we write then the polynomials p t,r (y −1 ) have algebraic coefficients. Since k > n + l 2 + D, 2 ) is a rational multiple of √ π for any m ∈ N. Then by Theorem 6.4 (b) above, Hol(f ) has Fourier expansion with coefficients in Q since (in the notation of the Theorem) R t,r − ∂ ∂y det(y) −k+D+(n+l+1)/2 y=h ∈ Q, as h = 4t − λ Γ S −1 [r] > 0 is a symmetric positive definite matrix with rational entries for all (t, r).
We conclude this section with another Corollary of Theorem 6.4, which we will use in the next section. Namely, if the nearly holomorphic Siegel-Jacobi form has a particular kind of Fourier expansion, then the required bound on the weight k can be improved. Corollary 6.6. Let f ∈ N n,D k,S (Γ, χ, Q) ∩ B n k,S (Γ) and assume that D = m n for some m ∈ Z + . Assume further that for some polynomials Q t,r (y) ∈ Q[y ij ], that is, the polynomials in the entries of y, with algebraic coefficients. Then Hol(f ) ∈ S n k,S (Γ, χ, Q) if k > max{n + l 2 + m, 2n + l}.
Proof. This follows from the proof of Theorem 6.4 (b) after observing that in the notation used there, A t,r (y) = det(y) −m Q t,r (y)e −2πtr (ty)/λ Γ . In particular the relevant integrals are of the form and thus we can evaluate it using the formula in [6, eq. (2.165), p. 89] directly, without the need to apply the transformation involving the adjoint of y; that is, it suffices to assume that k > n + l 2 + m to obtain that it is equal to The corollary now follows by observing that we still have which concludes the proof.
Remark 6.7. The construction of holomorphic projection by Sturm [22], which we extended to the Siegel-Jacobi setting in Theorem 6.4, was generalized by Courtieu and Panchishkin in [6,Theorem 2.16]. Under a weaker growth condition, which they call "of moderate growth", they were able to define a projection to holomorphic (not necessarily cuspidal) Siegel modular forms. It seems that a similar extension is possible in the Siegel-Jacobi setting, and one could introduce there a notion of moderate growth.
One of the reasons we haven't pursue this here is that the crucial difficulty to derive any applications lies in establishing which functions are actually of the required growth. Therefore we content ourselves with the case which already provides the necessary tool for our purposes.
In the next section, Lemma 7.3 provides a sufficient condition for bounded growth of certain C ∞ functions, which is then verified in Proposition 7.4 in case of nearly holomorphic Siegel-Jacobi Eisenstein series.

Algebraicity results without assuming Property A
In this last part we use the theory developed in the previous section to obtain algebraicity results without assuming Property A. In particular, the aim is to establish the following theorem, whose proof will be concluded in the end of the section. We note that in comparison to Theorem 4.6, the bound on k is slightly weaker. This is because we need to ensure that the growth condition is met, in order to be able to apply the holomorphic projection discussed above. As it was mentioned in the introduction, the main tool to establish the theorem below is the doubling identity of Theorem 3.3, however the approach for proving the algebraicity of the ratio of the Petersson inner products is different (compare the proofs of Theorem 5.7 above with Theorem 7.9 below). Finally, as we indicated above, we restrict ourselves to the case of F = Q, but we expect that our results could be extended to totally real fields (see also Remark 7.5 below).
We fix a fractional ideal b and an integral ideal c of Q, and write Γ for the congruence subgroup introduced in section 3.
First, in a few steps, we will establish the range for s in which the Eisenstein series E 2n | k,S ρ(z, s, χ) is of bounded growth.
Lemma 7.2. Let g ∈ M n k,S (Γ ′ , ψ) be a Jacobi form of weight k ∈ 1 2 Z for some congruence subgroup Γ ′ and character ψ. Then there exists a positive real constant c 1 such that where λ j are the eigenvalues of y. Here we write τ = x + iy and w = u + iv.
We now consider any z. We pick a γ such that γz ∈ Ω. Then , where we have written γ(τ, w) = (τ 1 , w 1 ). By [22,Proposition 2] there is a constant c 0 such that where λ j are the eigenvalues of y. From the description of Ω, we may take v 1 = λy 1 where λ ∈ M l,n (R) with |λ ij | ≤ 1, that is, But this last expression is bounded for y 1 ∈ Ω since y 1 > ǫ1 n for some ǫ > 0 and λ ij take values in a compact set. Hence, in fact, there is a constant c 1 ∈ R + such that and hence we obtain our claim by using φ(z) = det(y) k/2 e −2πtr (y −1 S[v]) |g(z)|.
for all ǫ > 0, where λ j = λ j (y) are the eigenvalues of the symmetric matrix y > 0.
Proof. By Lemma 7.2, a sufficient condition on the bounded growth of h(z) can be given by finiteness of the following integral: for all ǫ > 0, where we recall that λ j = λ j (y) are the eigenvalues of the symmetric matrix y > 0. This is similar to the condition of Sturm for a weight k − l/2 nearly holomorphic form multiplied by a holomorphic modular form of weight l/2 (compare with the proof of [22,Corollary 2]). There is however a difference in the power of the determinant. In [22] we have k − (n + 1) and in our case we have k − l/2 − (n + 1).
Proposition 7.4. With notation as in section 3, Proof. We write Γ ′ for the congruence subgroup of the Eisenstein series E 2n (z, s, χ).
As it was shown in [2, Section 8], generalizing a previous result of Heim in [9, Theorem 3.6], the Eisenstein series E 2n (z, s, χ) can be expressed as the trace from a congruence subgroup Γ 1 ⊂ Γ ′ of some finite index m of a form E 2n k−l/2 (τ, s − l/4)θ(τ, w), where E 2n k−l/2 (τ, s − l/4) is a Siegel type Eisenstein series of weight k − l/2, and θ(τ, w) a theta series in M l/2,S ; that is, where the sum is over a set of representatives γ i ∈ Γ ′ /Γ 1 . From this we obtain If we write γ i and ρ for the Siegel part of γ i and ρ respectively, we see that the growth of the series E 2n k−l/2 (τ, s − l/4)| k γ i ρ, for each γ i , is bounded by the growth of the series where the sum is over all coprime matrices c, d ∈ M 2n (Z). This growth of this series was studied by Sturm in [22]. Strictly speaking Sturm considers integral weight series, namely the case of k − l/2 ∈ Z, however since we are actually interested in the absolute value |H k−l/2 (z, s)| his result is valid also for the case of k − l/2 ∈ 1 2 Z, by using the fact, see [20,Theorem A.2.4 (2)], that the absolute value of the half-integral factor of automorphy is equal to the square root of the absolute value of integral one, i.e |h(γ, z)| = |j(γ, z)| 1/2 , in the notation of [20]. For more on how the results of Sturm can be extended to the case of half-integral Siegel modular forms we refer to [12]. Furthermore we note that the statements in [22] are valid for any congruence subgroup and hence in particular valid for the groups ρ −1 γ −1 i Γ ′ γ i ρ. We can now use Lemma 7.3 above to establish the range where the Eisenstein series is of bounded growth. For this we need to modify slightly the range obtained by Sturm in [22,Corollary 2] to accommodate for the small difference in the exponent of the determinant observed in the condition of bounded growth in the proof of Lemma 7.3. Following the proof of [22,Corrolary 2] we see that the bounds are Remark 7.5. In order to extend the results of this section to the case of totally real field, one needs to extend [22,Corollary 2] to the case of totally real fields. We have not attempted doing this.
. Moreover, the Fourier coefficients of G are of the form det(y) −D/2n P (y), where P ∈ Q[y ij ] is a polynomial of degree at most D.
Proof. The first statement of the Lemma is already contained in Proposition 7.4 and Theorem 5.5. The new information is the nature of the Fourier coefficients of G, which a priory are the polynomials (with algebraic coefficients and of degree at most D) in the entries of y −1 . We have seen in the above proposition that up to a constant the Eisenstein series G(z) is of the form In particular, it is enough to establish the statement for the nearly holomorphic Siegel modular forms E 2n k−l/2 (τ, µ/2 − l/4)| k−l/2 γ i ρ, where γ i and ρ denote the Siegel part of γ i and ρ, respectively. It is well known that the Eisenstein series E 2n k−l/2 (τ, µ/2 − l/4) are of the form δ k−µ 2 µ−l/2 E 2n µ−l/2 (τ ), where E 2n µ−l/2 (τ ) are holomorphic and δ k−µ 2 µ−l/2 are the Shimura-Maass differential operators (see for example [6, page 135] for l ∈ 2Z and [20, pages 145-146] for any l ∈ Z). Moreover, if a nearly holomorphic modular form is obtained by such operators from a holomorphic modular form, then the coefficients of its Fourier expansion are of the form det(y) −(k−µ)/2 P (y) where P is a polynomial in the entries of y of degree at most 2n(k − µ)/2 (see [6, page 106]). Moreover, the operators δ r m have the property (see [6, page 116] for m ∈ Z and [20, Paragraph 14.14] for m ∈ Z + 1 2 ) that δ r m (f | m γ) = (δ r m f )| m+2r γ for a Siegel modular form f of weight m and any γ ∈ Sp 2n (R). In particular, E 2n k−l/2 (τ, µ/2 − l/4)| k−l/2 γ i ρ = δ k−µ 2 µ−l/2 E 2n µ−l/2 (τ ) | k−l/2 γ i ρ = δ k−µ 2 µ−l/2 E 2n µ−l/2 (τ )| µ−l/2 γ i ρ , which proves that the Fourier coefficients of E 2n k−l/2 (τ, µ/2 − l/4)| k−l/2 γ i ρ are of the required form.
The next Lemma shows that the pullback ∆ * defined in Lemma 5.6 preserves the bounded growth property.
Lemma 7.7. Let f ∈ B 2n k,S and let g(z 1 , z 2 ) := ∆ * (f ). Then g is of bounded growth in both variables z 1 and z 2 . If moreover f ∈ N 2n,r k,S for some r ∈ N, then we may write g(z 1 , z 2 ) = m i=1 g i (z 1 )h i (z 2 ), where g i , h i ∈ B n k,S ∩ N n,r k,S .
Proof. We first prove that the growth condition is satisfied for g(z 1 , z 2 ) both for z 1 and z 2 . Since the argument is symmetric we may keep z 2 fixed and consider the function g(z 1 ) := g(z 1 , z 2 ). Let Γ ′ be the congruence subgroup for g(z 1 ) and λ Γ ′ the associated constant. We need to show that for any (t, r) with t ∈ 1 2 Sym n (Z) half-integral and where 1 D (z 2 ) is the indicator function of the set D. Now let K be the smallest value of the continuous function ∆ S,k (z 2 ) det(y 2 ) −(l+n+1) on D. Then the last integral is larger or equal to M K D h(z 2 )dx 2 dy 2 dv 2 du 2 .
Since h is unbounded on D, the last integral is undefined and hence so is I (note that all the integrands are positive valued), which is in contradiction with (⋆). Since (t, r) were selected arbitrarily, we conclude that this holds for any pair (t, r) and hence g(z 1 , z 2 ) is of bounded growth in z 1 for all z 2 . A symmetric argument establishes also the bounded growth in the z 2 variable.
For the last statement of the lemma we use an argument similar to the proof [20,Lemma 24.11]. We first observe that if f is additionally nearly holomorphic, then g is both of bounded growth and nearly holomorphic in z 1 and z 2 . Since the space of nearly holomorphic Siegel-Jacobi forms (of a given level) is of finite dimension (Corollary 5.3), so is the linear subspace of the nearly holomorphic functions of bounded growth. If {g i : i = 1, . . . , m} forms a basis of such functions, then for any fixed z 2 we may write g(z 1 , z 2 ) = m i=1 g i (z 1 )h i (z 2 ) for some complex numbers h i (z 2 ). We can find enough values of z 1 , say a 1 , . . . , a m such that the linear system g(a j , z 2 ) = m i=1 g i (a j )h i (z 2 ), j = 1, . . . , m, with the unknowns h i (z 2 ) is non-singular, and hence solving for the h i (z 2 ) we see that they have the same properties (of being bounded and nearly holomorphic) as the g(a j , z 2 ).
As we have seen in section 5, f i * ∈ N n,D k (Q), and thus by [20,Paragraph 14.4], P −1 f i * (ω) ∈ Q, which in turn implies that g ω,v ∈ N n,D k,S (Q). On the other hand, G(z 1 , z 2 ) is the diagonal restriction of a series with Fourier expansion of the form det(y) −D/2n t,r Q t,r (y)e(tr t λ Γ ′ τ + t rw ), where Q t,r ∈ Q[y ij ] are polynomials of degree at most D and λ Γ ′ is the constant determined by the level of G.
We can now establish the analogue of Theorem 5.7 without assuming Property A. Its proof is different from the one of Theorem 5.7, since instead of using Fourier expansion to characterize Siegel-Jacobi forms, we use their values at CM points. This allows us to take the lower bound for k as small as possible. The main issue with the first approach is that if one writes, with the notation above, G(z 1 , z 2 ) = i f i (z 1 )g i (z 2 ) then we do not know whether the f i , g i ∈ N n,D k,S have Fourier coefficients of the form det(y) −D/2n P (y), which would allow us to take a smaller bound for k when we apply the holomorphic projection (cf. Corollaries 6.5 and 6.6). We note here that a similar idea (evaluation at CM points) was used in [20, section 29] on results of non-splitting unitary groups to compensate for the lack of Fourier expansion in the classical sense. Theorem 7.9. Assume n > 1, and let 0 = f ∈ S n k,S (Γ, Q) be an eigenfunction of T (a) for all integral ideals a with (a, c) = 1. Assume that k > 6n + 2l + 1 and that the matrix S satisfies the condition M + p for every prime ideal p of Q coprime to c. Then for any g ∈ S n k,S (Q), < f , g > < f , f > ∈ Q.
Proof. As we argued in the proof of Theorem 5.7, thanks to the decomposition S n k,S (Γ, Q) = V (f ) ⊕ U , where U is a Q-vector space orthogonal to V (f ), we may assume, without loss of generality, that g ∈ V (f ). We now select µ ∈ k + 2Z such that k − l 2 − 2n > µ 2 > 2n + 1 + l/2 2 .