Construction and non-vanishing of a family of vector-valued Siegel Poincaré series

Abstract

Using Poincaré series of $ K $-finite matrix coefficients of integrable antiholomorphic discrete series representations of $ \mathrm{Sp}_{2n}(\mathbb R) $, we construct a spanning set for the space $ S_ρ(Γ) $ of Siegel cusp forms of weight $ ρ$ for $ Γ$, where $ ρ$ is an irreducible polynomial representation of $ \mathrm{GL}_n(\mathbb C) $ of highest weight $ ω\in\mathbb Z^n $ with $ ω_1\geq\ldots\geqω_n>2n $, and $ Γ$ is a discrete subgroup of $ \mathrm{Sp}_{2n}(\mathbb R) $ commensurable with $ \mathrm{Sp}_{2n}(\mathbb Z) $. Moreover, using a variant of Muić's integral non-vanishing criterion for Poincaré series on unimodular locally compact Hausdorff groups, we prove a result on the non-vanishing of constructed Siegel Poincaré series.