On algebraicity of vector valued Siegel modular forms (Q2366212)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On algebraicity of vector valued Siegel modular forms
scientific article

    Statements

    On algebraicity of vector valued Siegel modular forms (English)
    0 references
    0 references
    29 June 1993
    0 references
    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)\).
    0 references
    algebraicity
    0 references
    cusp forms
    0 references
    Hecke algebra
    0 references
    Eisenstein lifting
    0 references
    eigenform
    0 references
    Fourier coefficients
    0 references
    vector space of Siegel modular forms
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references