Abstract:We introduce an invariant of a hyperbolic knot which is a map $\alpha\mapsto \boldsymbol{\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 ${\rm 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 ${\rm e}^{2\pi{\rm 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 $\boldsymbol{\Phi}$ are fundamental solutions of a linear $q$-difference equation; (d) the matrix defines an ${\rm 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 $\boldsymbol{\Phi}(h)$ to actual functions. The two invariants $\boldsymbol{\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.

Tangle Equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals

Hard Unknots and Collapsing Tangles

Non-hyperbolic solutions to tangle equations involving composite links

A determinant formula of the Jones polynomial for a family of braids

JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture

Closed 4-braids and the Jones unknot conjecture

Perturbed Traceless SU(2) Character Varieties of Tangle Sums

Tangle analysis of difference topology experiments: applications to a Mu protein-DNA complex

Jones polynomials from matrix elements of tangles in a pseudounitary representation

Conway Rational Tangles and the Thompson Group

Braiding for quantum 𝑔𝑙₂ at roots of unity

Knots, Perturbative Series and Quantum Modularity

Torus knots, the A-polynomial, and SL(2,C)

The Number of Closed Essential Surfaces in Montesinos Knots with Four Rational Tangles

Quantum fundamental group of knot and its $SL_2$ representation

Signatures of TQFTs and trace fields of two-bridge knots

Obstructing two-torsion in the rational knot concordance group

Slopes for Pretzel Knots

Triangular dissections, aperiodic tilings and Jones algebras

Positroids, knots, and $q,t$-Catalan numbers

Rational Q-systems at Root of Unity I. Closed Chains