Habiro's MMR expansion conjecture at roots of unity

About 1 year old · traced to

Let KK be a knot, let JKJ_K be its colored Jones function, let ω\omega be a primitive pp-th root of unity with p≥1p\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,q−1,y]⊂Z[ω][q,q−1,y]\mathbb Z[q,q^{-1},y]\subset\mathbb Z[\omega][q,q^{-1},y]. Habiro's MMR expansion conjecture.

γω(JK)=∑j≥0PK,ω(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.

References

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.