The Eichler–Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz–Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(\tau )=1$. More generally, we consider the singular moduli for the Hecke system of modular functions

For each $\nu \geq 0$ and $m\geq 1$, we obtain an Eichler–Selberg relation. For $\nu =0$ and $m\in \{1, 2\},$ these relations are Kaneko’s celebrated singular moduli formulas for the coefficients of $j(\tau ).$ For each $\nu \geq 1$ and $m\geq 1,$ we obtain a new Eichler–Selberg trace formula for the Hecke action on the space of weight $2 \nu +2$ cusp forms, where the traces of $j_m(\tau )$ singular moduli replace Hurwitz–Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution L-functions.

We prove the existence of a vector-valued cusp form for the full modular group for which the nth derivative of its L-function does not vanish under certain conditions. As an application, we generalize our result to Kohnen’s plus space and prove an analogous result for Jacobi forms.

Hilbert schemes are an object arising from geometry and are closely related to physics and modular forms. Recently, there have been investigations from number theorists about the Betti numbers and Hodge numbers of the Hilbert schemes of points of an algebraic surface. In this paper, we prove that Göttsche's generating function of the Hodge numbers of Hilbert schemes of $n$ points of an algebraic surface is algebraic at a CM point $\tau$ and rational numbers $z_1$ and $z_2$. Our result gives a refinement of the algebraicity on Betti numbers.

We prove that if F is a nonzero (possibly noncuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many nonzero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. Further, as an application of a variant of our result and complementing the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor L-function of a holomorphic cuspidal Siegel eigenform of degree $3$ and level $1$ .

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.

The ‘Borcherds products everywhere’ construction [Gritsenko et al., ‘Borcherds products everywhere’, J. Number Theory148 (2015), 164–195] creates paramodular Borcherds products from certain theta blocks. We prove that the $q$-order of every such Borcherds product lies in a sequence $\{C_{\unicode[STIX]{x1D708}}\}$, depending only on the $q$-order $\unicode[STIX]{x1D708}$ of the theta block. Similarly, the $q$-order of the leading Fourier–Jacobi coefficient of every such Borcherds product lies in a sequence $\{A_{\unicode[STIX]{x1D708}}\}$, and this is the sequence $\{a_{n}\}$ from work of Newman and Shanks in connection with a family of series for $\unicode[STIX]{x1D70B}$. Our proofs use a combinatorial formula giving the Fourier expansion of any theta block in terms of its germ.

For K, an imaginary quadratic field with discriminant −DK, and associated quadratic Galois character χK, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level DK and nebentypus χK via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group U(2, 2) split over K. We generalize this (under certain conditions on K and p) to the case of p-oldforms of level pDK and character χK. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space of special Hermitian Jacobi forms. We then show how to adapt this construction to lift a Hida family of modular forms to a p-adic analytic family of automorphic forms in the Maass space of level p.

We describe an implementation for computing holomorphic and skew-holomorphic Jacobi forms of integral weight and scalar index on the full modular group. This implementation is based on formulas derived by one of the authors which express Jacobi forms in terms of modular symbols of elliptic modular forms. Since this method allows a Jacobi eigenform to be generated directly from a given modular eigensymbol without reference to the whole ambient space of Jacobi forms, it makes it possible to compute Jacobi Hecke eigenforms of large index. We illustrate our method with several examples.

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 show that some q-series such as universal mock theta functions are linear sums of theta quotients and mock Jacobi forms of weight 1/2, which become holomorphic parts of real analytic modular forms when they are restricted to torsion points and multiplied by suitable powers of q. We also prove that certain linear sums of q-series are weakly holomorphic modular forms of weight 1/2 due to annihilation of mock Jacobi forms or completion by mock Jacobi forms. As an application, we obtain a relation between the rank and crank of a partition.

Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions on the Poincaré upper half-plane. Given a discrete subgroup Γ of SL(2,ℝ), automorphic pseudodifferential operators for Γ are pseudodifferential operators that are Γ-invariant, and they are closely linked to Jacobi-like forms and modular forms for Γ. We construct linear maps from the space of automorphic pseudodifferential operators and from the space of Jacobi-like forms for Γ to the cohomology space of the group Γ, and prove that these maps are compatible with the respective Hecke operator actions.

We construct vector-valued modular forms of weight 2 associated to Jacobi-like forms with respect to a symmetric tensor representation of $\Gamma$ by using the method of Kuga and Shimura as well as the correspondence between Jacobi-like forms and sequences of modular forms. As an application, we obtain vector-valued modular forms determined by theta functions and by pseudodifferential operators.

Here we develop estimates for Fourier coefficients of Siegel cusp forms. First we consider the case of Siegel modular forms for the full modular group $\Gamma_g$ having small weight (that is, weight k = g + 1). Afterwards the case of a certain subgroup $\Gamma_{g,0}(N)$ of $\Gamma_g$ is considered.

We apply Zagier's result for the traces of singular moduli to construct Borcherds products in higher level cases.