On the behavior of the colored Jones polynomial of the figure-eight knot under modular transformations

The colored Jones polynomial JK,N is an important quantum knot invariant in low-dimensional topology. In his seminal paper on quantum modular forms, Zagier predicted the behavior of JK,0(e2 πi x) under the action of SL₂(Z) on x ∈ Q. More precisely, Zagier made a prediction on the asymptotic value of the quotient JK,0(e2 πi γ(x))/ JK,0(e2 πi x) for fixed γ∈ SL₂(Z), as x → ∞ along rationals with bounded denominator. In the case of the figure-eight knot 4₁, which is the most accessible case, there is an explicit formula for J4₁,0(e2 πi x) as a sum of certain trigonometric products called Sudler products. By periodicity, the behavior of J4₁,0(e2 πi x) under the mapping x ↦ x+1 is trivial. For the second generator of SL₂(Z), Zagier conjectured that with respect to the mapping x ↦ 1/x, the quotient h(x) = log ( J4₁,0(e2 πi x) / J4₁,0(e2 πi /x)) can be extended to a function on R that is continuous at all irrationals. This conjecture was recently established by Aistleitner and Borda in the case of all irrationals that have an unbounded sequence of partial quotients in their continued fraction expansion. In the present paper we prove Zagier's continuity conjecture in full generality.