We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: A conjecture of Zagier and the value distribution of quantum modular forms

Abstract: In his influential paper on quantum modular forms, Zagier developed a conjectural framework describing the behavior of certain quantum knot invariants under the action of the modular group on their argument. More precisely, when $J_{K,0}$ denotes the colored Jones polynomial of a knot $K$, Zagier's modularity conjecture describes the asymptotics of the quotient $J_{K,0} (e^{2 \pi i \gamma(x)}) / J_{K,0}(e^{2 \pi i x})$ as $x \to \infty$ along rationals with bounded denominators, where $\gamma \in \mathrm{SL}(2,\mathbb{Z})$. This problem is most accessible for the figure-eight knot $4_1$, when the colored Jones polynomial has an explicit expression in terms of the $q$-Pochhammer symbol. Zagier also conjectured that the function $h(x) = \log (J_{4_1,0} (e^{2 \pi i x}) / J_{4_1,0}(e^{2 \pi i /x}))$ can be extended to a function on $\mathbb{R}$ which is continuous at irrationals. In the present paper, we prove Zagier's continuity conjecture for all irrationals which have unbounded partial quotients in their continued fraction expansion. In particular, the continuity conjecture holds almost everywhere on the real line. We also establish a smooth approximation of $h$, uniform over all rationals, in accordance with the modularity conjecture. As an application, we find the limit distribution (after a suitable centering and rescaling) of $\log (J_{4_1,0}(e^{2 \pi i x}))$, when $x$ ranges over all reduced rationals in $(0,1)$ with denominator at most $N$, as $N \to \infty$, thereby confirming a conjecture of Bettin and Drappeau.
Comments: 48 pages
Subjects: Number Theory (math.NT); Geometric Topology (math.GT)
MSC classes: 57K16, 11J70, 11L03, 26D05, 60F05
Cite as: arXiv:2110.07407 [math.NT]
  (or arXiv:2110.07407v1 [math.NT] for this version)

Submission history

From: Christoph Aistleitner [view email]
[v1] Thu, 14 Oct 2021 14:40:46 GMT (598kb)

Link back to: arXiv, form interface, contact.