Construction and non-vanishing of a family of vector-valued Siegel Poincar\'e series

TL;DR

This paper constructs a spanning set for vector-valued Siegel cusp forms using Poincaré series derived from antiholomorphic discrete series representations and proves their non-vanishing under certain conditions.

Contribution

It introduces a new method to construct and demonstrate the non-vanishing of vector-valued Siegel Poincaré series for specific weights and groups.

Findings

Constructed a spanning set for Siegel cusp forms using Poincaré series.

Proved non-vanishing of these Poincaré series under certain conditions.

Extended Muić's non-vanishing criterion to this context.

Abstract

Using Poincar\'e 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_\rho(\Gamma) $ of Siegel cusp forms of weight $ \rho $ for $ \Gamma $, where $ \rho $ is an irreducible polynomial representation of $ \mathrm{GL}_n(\mathbb C) $ of highest weight $ \omega\in\mathbb Z^n $ with $ \omega_1\geq\ldots\geq\omega_n>2n $, and $ \Gamma $ is a discrete subgroup of $ \mathrm{Sp}_{2n}(\mathbb R) $ commensurable with $ \mathrm{Sp}_{2n}(\mathbb Z) $. Moreover, using a variant of Mui\'c's integral non-vanishing criterion for Poincar\'e series on unimodular locally compact Hausdorff groups, we prove a result on the non-vanishing of constructed Siegel Poincar\'e series.