On algebraicity of vector valued Siegel modular forms (Q2366212)

Let \(n\) be a positive integer and let \(k\), \(\ell\) be integers. \(Sym^ \ell\) is the natural representation of \(GL(n,\mathbb{C})\) of \(Sym^ \ell(\mathbb{C}^ n)\), the \(\ell\)th symmetric tensor product of the vector space \(\mathbb{C}^ n\). A \(Sym^ \ell(\mathbb{C}^ n)\)-valued holomorphic function \(f\) on the Siegel upper half space of degree \(n\) is called a Siegel modular form of degree \(n\) and type \(\text{det}^ k\otimes Sym^ \ell\) when \(f\) satisfies certain automorphic conditions with respect to the action of \(Sp(2n,\mathbb{Z})\) through the representation \(\text{det}^ k\otimes Sym^ \ell\). Let \(M^ n_{k,\ell}\) be the \(\mathbb{C}\)-vector space of Siegel modular forms of degree \(n\) and type \(\text{det}^ k \otimes Sym^ \ell\). Let \(S^ n_{k,\ell}\) be the subspace of \(M^ n_{k,\ell}\), consisting of cusp forms. The results of the present paper are: under assumption that \(k\), \(\ell\) are even integers and \(k\geq 2n+2\), (i) \(S^ n_{k,\ell}\) has a basis consisting of forms whose Fourier coefficients lie in \(Sym^ \ell(\mathbb{Q}^ n)\), (ii) Let \(f\in S^ n_{k,\ell}\) be an eigenform of the Hecke algebra and let \(\mathbb{Q}(f)\) be the extension field of \(\mathbb{Q}\) generated by the eigenvalues on \(f\) of the Hecke algebra over \(\mathbb{Q}\). Then \(\mathbb{Q}(f)\) is a totally real number field and the degree of extension does not exceed \(\dim_ \mathbb{C} S^ n_{k,\ell}\), (iii) \(S^ n_{k,\ell}\) has an orthogonal basis consisting of eigenforms such that the Fourier coefficients of each element \(f\) lie in \(Sym^ \ell(\mathbb{Q}(f)^ n)\), (iv) Let \(m\) be an integer with \(m\geq n\) and \(k>m+n+1\), let \([ ]^ m_ n: S^ n_{k,\ell}\to M^ m_{k,\ell}\) be the Eisenstein lifting. Let \(f\in S^ n_{k,\ell}\) be an eigenform whose Fourier coefficients lie in \(Sym^ \ell(\mathbb{Q}(f)^ n)\). Then \([f]^ m_ n\) has Fourier coefficients in \(Sym^ \ell(\mathbb{Q}(f)^ m)\).