Exact formulas for traces of singular moduli of higher level modular functions

A classical observation of Deligne shows that, for any prime $p \geq 5$, the divisor polynomial of the Eisenstein series $E_{p-1}(z)$ mod $p$ is closely related to the supersingular polynomial at $p$, $$S_p(x) := \prod_{E/\bar{\mathbb{F}}_p \text{ supersingular}}(x-j(E)) \in \mathbb{F}_p[x].$$ Deuring, Hasse, and Kaneko and Zagier found other families of modular forms which also give the supersingular polynomial at $p$. In a new approach, we prove an analogue of Deligne's res...

Griffin, the second author, and Molnar studied coefficient duality for canonical bases for a broad range of spaces of weakly holomorphic modular forms, showing that the Fourier coefficients of canonical basis elements appear as negatives of Fourier coefficients for elements of a canonical basis of a related space of forms. We investigate the effect of the trace operator on this duality for modular forms for $\Gamma_0(N)$ of genus zero and show exactly when duality still holds...

Traces of singular moduli can be approximated by exponential sums of quadratic irrationals. Recently Andersen and Duke used theory of Maass forms to estimate generalized twisted traces with power-saving error bounds. We establish an asymptotic formula with effective error bounds for such traces. Our methods depend on an explicit bound for sums of Kloosterman sums on $\Gamma_0(4)$.

The mod $p$ kernel of the theta operator is the set of modular forms whose image of the theta operator is congruent to zero modulo a prime $p$. In the case of Siegel modular forms, the authors found interesting examples of such modular forms. For example, Igusa's odd weight cusp form is an element of mod 23 kernel of the theta operator. In this paper, we give some examples which represent elements in the mod $p$ kernel of the theta operator in the case of Hermitian modular fo...

In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups $\Gamma_0(N)$ and $\Gamma_1(N)$, obtaining explicit formulas in terms of class numbers for the trace of a composition of Hecke and Atkin-Lehner operators. The formulas are among the simplest in the literature, and hold without any restriction on the ind...

We show that the generating series of traces of reciprocal singular moduli is a mixed mock modular form of weight $3/2$ whose shadow is given by a linear combination of products of unary and binary theta functions. To prove these results, we extend the Kudla-Millson theta lift of Bruinier and Funke to meromorphic modular functions.

Let $f$ and $g$ be weakly holomorphic modular functions on $\Gamma_0(N)$ with the trivial character. For an integer $d$, let $\Tr_d(f)$ denote the modular trace of $f$ of index $d$. Let $r$ be a rational number equivalent to $i\infty$ under the action of $\Gamma_0(4N)$. In this paper, we prove that, when $z$ goes radially to $r$, the limit $Q_{\hat{H}(f)}(r)$ of the sum $H(f)(z) = \sum_{d>0}\Tr_d(f)e^{2\pi idz}$ is a special value of a regularized twisted $L$-function defined...

In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke operators, we derive relations of Fourier coefficients of each basis element and obtain congruences of the Fourier coefficients, which extend known congruences for traces of singular moduli.

In analogy with the classical theory of Eichler integrals for integral weight modular forms, Lawrence and Zagier considered examples of Eichler integrals of certain half-integral weight modular forms. These served as early prototypes of a new type of object, which Zagier later called a quantum modular form. Since then, a number of others have studied similar examples. Here we develop the theory in a general context, giving rise to a well-defined class of quantum modular forms...

In this mostly expository note, we prove explicit formulas for the traces of Hecke operators on spaces of cusp forms fixed by Atkin-Lehner involutions, which are suitable for efficient implementation. In addition, we correct a couple of errors in previously published formulas.