We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.

We use the method of Bruinier–Raum to show that symmetric formal Fourier–Jacobi series, in the cases of norm-Euclidean imaginary quadratic fields, are Hermitian modular forms. Consequently, combining a theorem of Yifeng Liu, we deduce Kudla’s conjecture on the modularity of generating series of special cycles of arbitrary codimension for unitary Shimura varieties defined in these cases.

Let $\unicode[STIX]{x1D707}(m,n)$ (respectively, $\unicode[STIX]{x1D702}(m,n)$) denote the number of odd-balanced unimodal sequences of size $2n$ and rank $m$ with even parts congruent to $2\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$ (respectively, $0\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$) and odd parts at most half the peak. We prove that two-variable generating functions for $\unicode[STIX]{x1D707}(m,n)$ and $\unicode[STIX]{x1D702}(m,n)$ are simultaneously quantum Jacobi forms and mock Jacobi forms. These odd-balanced unimodal rank generating functions are also duals to partial theta functions originally studied by Ramanujan. Our results also show that there is a single $C^{\infty }$ function in $\mathbb{R}\times \mathbb{R}$ to which the errors to modularity of these two different functions extend. We also exploit the quantum Jacobi properties of these generating functions to show, when viewed as functions of the two variables $w$ and $q$, how they can be expressed as the same simple Laurent polynomial when evaluated at pairs of roots of unity. Finally, we make a conjecture which fully characterizes the parity of the number of odd-balanced unimodal sequences of size $2n$ with even parts congruent to $0\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$ and odd parts at most half the peak.

In this paper, we construct a generalization of the Kohnen plus space for Hilbert modular forms of half-integral weight. The Kohnen plus space can be characterized by the eigenspace of a certain Hecke operator. It can be also characterized by the behavior of the Fourier coefficients. For example, in the parallel weight case, a modular form of weight $\kappa + (1/ 2)$ with $\xi \mathrm{th} $ Fourier coefficient $c(\xi )$ belongs to the Kohnen plus space if and only if $c(\xi )= 0$ unless $\mathop{(- 1)}\nolimits ^{\kappa } \xi $ is congruent to a square modulo $4$. The Kohnen subspace is isomorphic to a certain space of Jacobi forms. We also prove a generalization of the Kohnen–Zagier formula.

We prove that, under suitable conditions, a Jacobi Poincaré series of exponential type of integer weight and matrix index does not vanish identically. For the classical Jacobi forms, we construct a basis consisting of the ‘first’ few Poincaré series, and also give conditions, both dependent on and independent of the weight, that ensure the nonvanishing of a classical Jacobi Poincaré series. We also obtain a result on the nonvanishing of a Jacobi Poincaré series when an odd prime divides the index.