Search arXiv⌕ Search

arXiv · 2505.00799

Quantum Modular Forms and Resurgence

Abstract

In 2010, Zagier described a new phenomenon which he called quantum modularity. This connected various examples coming from disparate fields which exhibit near-modular behavior. In the fifteen years since, Zagier's philosophy has informed new developments in areas such as knot theory, 3-dimensional topology, combinatorics, and physics. More recently, the concept of holomorphic quantum modularity has emerged, pointing to a clearer structure for Zagier's original examples. These new developments suggest connections to perturbative quantum field theory, like the theory of resurgence. In 2024, Fantini and Rella proposed a means of codifying some of these connections under their program of ``modular resurgence." Inspired by their work, we unify all of the examples of quantum modular forms in Zagier's original paper under the umbrella of resurgence. In doing so, we strengthen known quantum modularity results for holomorphic Eichler integrals of half-integer weight modular forms. Our main addition to the literature is a collection of median resummation type results which show that the examples of holomorphic quantum modular forms we consider can be recovered from their asymptotics, or the asymptotics of closely related functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eleanor McSpirit, Larry Rolen. 2025-05-29. Quantum Modular Forms and Resurgence. https://arxiv.org/abs/2505.00799

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Transfer operator for the Gauss' continued fraction map. I. Structure of the eigenvalues and trace formulas

Let L be the transfer operator associated with the Gauss' continued fraction map, known also as the Gauss-Kuzmin-Wirsing operator, acting on the Banach space. In this work we prove a two-term asymptotic formula for the eigenvalues of L, show their algebraic simplicity, sign alternation pattern, and decrease in absolute value. This settles, in a stronger form, the conjectures of D. Mayer and G. Roepstorff (1988), A.J. MacLeod (1992), Ph. Flajolet and B. Vallee (1995), also supported by several other authors. Further, we find an exact series for the eigenvalues, which also gives the canonical decomposition of trace formulas due to D. Mayer (1976) and K.I. Babenko (1978). This crystallizes the contribution of each individual eigenvalue in the trace formulas.

math.NT↗

Implications of Breuil-Herzig-Hu-Morra-Schraen's conjectures on Zábrádi's functor

Let $ρ$ be a smooth $n$-dimensional representation of $\mathcal{G}_{\mathbb{Q}_p}$ over $\overline{\mathbb{F}_p}$. When $ρ$ is generic and a good conjugate, the article "Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$", by Breuil-Herzig-Hu-Morra-Schraen, introduces the notion of an admissible representation $Π$ of $\mathrm{GL}_n(\mathbb{Q}_p)$ compatible with $ρ$. In loc. cit., the five authors also question whether there exists some $Π$ compatible with $ρ$ from which Zábrádi's functor $\mathbf{V}_Δ$ recovers a specific representation $\overline{L}^{\boxtimes}(ρ)$ of $\mathcal{G}_{\mathbb{Q}_p}^{n-1}$, constructed from $ρ$. We give a range of results about how badly $\mathbf{V}_Δ(Π)$ behaves for an arbitrary $Π$ satisfying some weaker compatibilities with $ρ$. In particular, when $ρ$ is reducible and $n\geq 3$, no representation $Π$ compatible with $\widetilde{P}_ρ$ can satisfy $\mathbf{V}_Δ(Π)\simeq \overline{L}^{\boxtimes}(ρ)$.

math.NT↗

Curves of genus two with maps of every degree to a fixed elliptic curve

We show that up to isomorphism there are exactly twenty pairs $(C,E)$, where $C$ is a genus-$2$ curve over ${\mathbf C}$, where $E$ is an elliptic curve over ${\mathbf C}$, and where for every integer $n>1$ there is a map of degree $n$ from $C$ to $E$. We also show that for every genus-$2$ curve $C$, there is an integer $n$ with $1 < n \le 59$ such that there is no minimal degree-$n$ map from $C$ to an elliptic curve.

math.NT↗