Knots, Perturbative Series and Quantum Modularity

Abstract

We introduce an invariant of a hyperbolic knot which is a map $\alpha \mapsto {\mathbf{\Phi }}_{\alpha }(h)$ from $\mathbb{Q}/\mathbb{Z}$ to matrices with entries in $\overline{\mathbb{Q}}[[h]]$ and with rows and columns indexed by the boundary parabolic ${\mathrm{SL}}_2(\mathbb{C})$ representations of the fundamental group of the knot. These matrix invariants have a rich structure: (a) their $({\sigma }_0,{\sigma }_1)$ entry, where ${\sigma }_0$ is the trivial and ${\sigma }_1$ the geometric representation, is the power series expansion of the Kashaev invariant of the knot around the root of unity ${\mathrm{e}}^{2\pi \mathrm{i}\alpha }$ as an element of the Habiro ring, and the remaining entries belong to generalized Habiro rings of number fields; (b) the first column is given by the perturbative power series of Dimofte-Garoufalidis; (c) the columns of $\mathbf{\Phi }$ are fundamental solutions of a linear $q$-difference equation; (d) the matrix defines an ${\mathrm{SL}}_2(\mathbb{Z})$-cocycle $W_{\gamma }$ in matrix-valued functions on $\mathbb{Q}$ that conjecturally extends to a smooth function on $\mathbb{R}$ and even to holomorphic functions on suitable complex cut planes, lifting the factorially divergent series $\mathbf{\Phi }(h)$ to actual functions. The two invariants $\mathbf{\Phi }$ and $W_{\gamma }$ are related by a refined quantum modularity conjecture which we illustrate in detail for the three simplest hyperbolic knots, the $4_1$, $5_2$ and $(-2,3,7)$ pretzel knots. This paper has two sequels, one giving a different realization of our invariant as a matrix of convergent $q$-series with integer coefficients and the other studying its Habiro-like arithmetic properties in more depth.

References in corpus (16)

• Three-Dimensional Quantum Gravity, Chern-Simons Theory, and the A-Polynomial
• Holomorphic Blocks in Three Dimensions
• The colored Jones function is q-holonomic
• Generalized Volume Conjecture and the A-Polynomials -- the Neumann-Zagier Potential Function as a Classical Limit of Quantum Invariant
• The virtual Haken conjecture: Experiments and examples
• Extended Bloch group and the Cheeger-Chern-Simons class
• Resurgence in complex Chern-Simons theory
• Chern-Simons theory, analytic continuation and arithmetic
• $\hat{Z}$ at large $N$: from curve counts to quantum modularity
• Proof of the volume conjecture for Whitehead chains
• On the quantum sl_2 invariants of knots and integral homology spheres
• Adjoint Reidemeister torsions from wrapped M5-branes
• Knots and Their Related $q$-Series
• Asymptotics of classical spin networks
• Hyperbolic 3-manifolds, the Bloch group, and the work of Walter Neumann
• From 3-dimensional skein theory to functions near Q

Cited by in corpus (5)

• Peacock patterns and new integer invariants in topological string theory
• Knots and Their Related $q$-Series
• On the Quantum K-Theory of the Quintic
• Limit laws of maximal Birkhoff sums for circle rotations via quantum modular forms
• Modular resurgence, $q$-Pochhammer symbols, and quantum operators from mirror curves