Polar harmonic Maaß forms and holomorphic projection

Abstract

Recently, Mertens, Ono, and the third author studied mock modular analogues of Eisenstein series. Their coefficients are given by small divisor functions, and have shadows given by classical Shimura theta functions. Here, we construct a class of small divisor functions $σ^{\text{sm}}_{2,χ}$ and prove that these generate the holomorphic part of polar harmonic (weak) Maaß forms of weight $\frac{3}{2}$. To this end, we essentially compute the holomorphic projection of mixed harmonic Maaß forms in terms of Jacobi polynomials, but without assuming the structure of such forms. Instead, we impose translation invariance and suitable growth conditions on the Fourier coefficients. Specializing to a certain choice of characters, we obtain an identitiy between $σ^{\text{sm}}_{2,\ \text{Id}}$ and Hurwitz class numbers, and ask for more such identities. Moreover, we prove $p$-adic congruences of our small divisor functions when $p$ is an odd prime. If $χ$ is non-trivial we rewrite the generating function of $σ^{\text{sm}}_{2,χ}$ as a linear combination of Appell-Lerch sums and their first two normalized derivatives. Lastly, we offer a connection of our construction to meromorphic Jacobi forms of index $-1$ and false theta functions.

Theorems & Definitions (41)

• Theorem 1.1
• Proposition 1.2: brirozwe16
• Theorem 1.3
• Theorem 1.4: etatheta, mersthesis
• Corollary 1.5
• Corollary 1.6
• Proposition 1.7
• Theorem 1.8
• Proposition 1.9
• Definition 2.1