Given a non-holomorphic SaitoKurokawa lift we construct a preimage under the vector-valued lowering operator. In analogy with the case of harmonic weak elliptic Maaß forms, this preimage allows for a natural decomposition into a meromorphic and a non-holomorphic part. In this way every harmonic weak Siegel Maaß form gives rise to a Siegel mock modular form.
Siegel mock modular forms Harish-Chandra and (g, K)-modules Holomorphic parts of Fourier expansions
MSC Primary 11F37 MSC Secondary 11F46, 11F70, 22E50M ORE than 10 years ago Zwegers [Zwe02], and Bruinier and Funke [BF04] independently found definitions of harmonic weak Maaß forms. Zwegers focused on mock theta functions whose modular properties had been a long standing miracle since Ramanujan came up with them in 1920 in his death bed letter. Bruinier and Funke were inspired by the Kudla program and they used harmonic weak Maaß forms to describe dualities between theta lifts. Both approaches to harmonic weak Maaß forms together produced a rich and novel research area, leading to the resolution of vital conjectures in combinatorics, topology, and many other fields-see, for example, [Ono09] for an overview and [BO06; BO10a; DIT11; DMZ12] for some of the applications. In this paper, we suggest an extension of the concept of harmonic weak Maaß forms to the case of Siegel modular forms of genus 2, by building up on the ideas of [BF04].In order to state some defining formulas, we let τ = x + i y ∈ H be a variable in the Poincaré upper half plane and 0 ≤ k an even integer. Analytic aspects of the theory of harmonic weak Maaß forms have been dominated by two facts. First, the weight-k hyperbolic Laplace operator ∆ k can be written as a composi-Second, the ξ-operator gives rise to a short exact sequence of the space ! M k of weakly holomorphic modular forms, the space S 2−k of cusp forms, and the space S k of harmonic weak Maaß forms whose image under ξ k is a cusp form.This sequence puts the operator ξ k into the center of the theory. One can define harmonic weak Maaß forms as the modular preimages of weakly holomorphic modular forms of weight 2 − k under ξ k . Note that the ξ-operator is essentially the Maaß lowering operator L. Concretely, we haveHarmonic weak Siegel Maaß forms that we study in this paper are vector-valued. Recall that every complex representation of GL 2 (C) can be viewed as a weight for genus 2 Siegel modular forms. The classical case of weight k modular forms corresponds to the representation detIn our case of genus 2 Siegel modular forms, every complex, irreducible representation of GL 2 (C) can be written as a (tensor) product det k sym l where sym l is the l -th symmetric power representation of GL 2 (C). It is necessary to introduce vector-valued Siegel modular forms, because the above target space S 2−k of ξ k will be replaced by SK S (2) det −k/2 sym k : space of non-holomorphic Saito-Kurokawa lifts of weight k cusp forms.We revisit the non-holomorphic Saito-Kurokawa lift in Section 1. Note that non-holomorphic Saito-Kurokawa li...