Integrality of Eisenstein liftings (Q1178760)

For \(n,k\in\mathbb{Z}_{>0}\), let \(M^ n_ k\) (resp. \(S^ n_ k\)) be the \(\mathbb{C}\)-vector space of holomorphic Siegel (resp. cusp) forms of weight \(k\) with respect to \(\Gamma_ n:=Sp(n,\mathbb{Z})=Sp_{2n}(\mathbb{Z})\). For \(r\in\mathbb{Z}\) such that \(0\leq r\leq n\), let \(\Delta_{n,r}\) be the subgroup of \(\Gamma_ n\) consisting of all \(M\in\Gamma_ n\) whose entries in the first \(n+r\) columns and last \(n-r\) rows vanish. For \(f\in S^ r_ k\) with \(k\) even \(>0\), the Langlands-Klingen type Eisenstein series is defined by: \[ [f]^ n_ r(Z,s)=\sum_{M: \Delta_{n,r}\setminus\Gamma_ n} \left({\det(\text{Im}(M\langle Z\rangle)) \over \text{Im}(M\langle Z\rangle^*)}\right)^ s f(M\langle Z\rangle^*)j(M,Z)^{-k}.\tag{1} \] When \(f\) is an eigenform for the Hecke algebra, then the standard \(L\)-function \(L(s,f,\underline{\text{St}})\) is attached to \(f\) [cf. \textit{S. Böcherer}, J. Reine Angew. Math. 362, 146-168 (1985; Zbl 0565.10025)]. Under the condition for weight \(k\), \[ \text{(a) }k\equiv 0\pmod 2\text{ and }k>(n+r+3)/2,\quad\text{ or (b) }k\equiv 0\pmod 4\text{ and } k\geq r,\tag{2} \] \(L(s,f,\underline{\text{St}})\) is holomorphic at \(s=k-r\). Moreover, under the nonvanishing condition \[ L(k- r,f,\underline{\text{St}})\neq 0\text{ if }k>r, \qquad L'(0,f,\underline{\text{St}})\neq 0\text{ if } k=r.\tag{3} \] on the value of this \(L\), \([f]^ n_ r(Z,s)\) is holomorphic in \(s\) at \(s\)=0, and \([f]^ n_ r(Z)=[f]^ n_ r(Z,0)\) is an eigenform belonging to \(M^ n_ k\). The form \([f]^ n_ r(Z)\) is expanded to \[ [f]^ n_ r(Z)=\sum_{T\geq 0}a(T,[f]^ n_ r)\exp(2\pi i\;\text{trace}(TZ)). \] Here \(T\) runs over all symmetric positive semi-definite semi-integral matrices of size \(n\). Let \(f\in S^ r_ k\) be an eigenform, and \(\mathbb{Q}(f)\) be a totally real number field generated by the eigenvalues of Hecke operators over \(\mathbb{Q}\) on \(f\). The main result of the present paper is to give an explicit domain of values of the Fourier coefficients \(a(T,[f]^ n_ r)\) for positive definite \(T^{(n)}\). The description of the domain contains a special value of \(L(s,f,\underline{\text{St}})\) at \(s=k-r\), a product of the values of the Gamma function, a power of \(\pi\), the reduced denominators and numerators of some Bernoulli numbers, and the indices connected with the ring of integers in \(\mathbb{Q}(f)\). However, the full details will appear elsewhere.