Habiro's MMR expansion conjecture at roots of unity

Let KK be a knot, let JKJ_K be its colored Jones function, let ω\omega be a primitive pp-th root of unity with p1p\geq 1, and let Λ\Lambda be the source's ring containing JKJ_K. Let

γω:ΛZ[ω][[y,qω]]\gamma_\omega:\Lambda\rightarrow\mathbb Z[\omega][[y,q-\omega]]

be the natural homomorphism induced by Z[q,q1,y]Z[ω][q,q1,y]\mathbb Z[q,q^{-1},y]\subset\mathbb Z[\omega][q,q^{-1},y]. Habiro's MMR expansion conjecture.

γω(JK)=j0PK,ω(j)(x)ΔK(xp)2j+1(qω)j,\gamma_\omega(J_K)=\sum_{j\geq 0}\frac{P_{K,\omega}^{(j)}(x)}{\Delta_K(x^p)^{2j+1}}(q-\omega)^j,

for some polynomials PK,ω(j)(x)Z[ω][y]P_{K,\omega}^{(j)}(x)\in\mathbb Z[\omega][y]. The source attributes this conjecture to Habiro. Its validity is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Paul Orland, Lara San Martín Suárez, Toby Saunders-A'Court and Josef Svoboda, “Quantum Invariants and Fiberedness”, arXiv:2512.23700 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.