The inverted Habiro-series formula for knot-complement invariants

About 5 years old · traced to

Let KK be a knot with Alexander polynomial ΔK≠1\Delta_K\neq1, let FK(x,τ)F_K(x,\tau) be its knot-complement invariant, and let a−m(K;q)a_{-m}(K;q) denote inverted Habiro coefficients. Inverted Habiro-series formula conjecture. When the inverted Habiro-series expressions yield the correct ±p\pm p surgeries on a plumbed knot, inserting a defect of highest weight νω⃗\nu\vec\omega gives

Z^b(S−p3(K);Wν;τ)=ϵqd−b(2p−b)/(4p)∑n=0∞a−n−1(K;q)∑ℓ=1nλℓn,ν(q)qℓ2(qℓ+1;q)ℓPℓp,b+ν(q−1)+p(τ),\hat Z_b(S_{-p}^3(K);W_\nu;\tau)=\epsilon q^{d-b(2p-b)/(4p)}\sum_{n=0}^{\infty}a_{-n-1}(K;q)\sum_{\ell=1}^n\lambda_\ell^{n,\nu}(q)\frac{q^{\ell^2}}{(q^{\ell+1};q)_\ell}P_\ell^{p,b+\nu}(q^{-1})+p(\tau),

when b≡ν(mod2)b\equiv\nu\pmod 2, and it is zero otherwise; similarly,

Z^b(S+p3(K);Wν;τ)=ϵq−d+b(2p−b)/(4p)∑n=0∞a−n−1(K;q)∑ℓ=1nλℓn,ν(q)(−1)ℓqℓ(ℓ+1)/2(qℓ+1;q)ℓPℓp,b+ν(q)+p(−τ),\hat Z_b(S_{+p}^3(K);W_\nu;\tau)=\epsilon q^{-d+b(2p-b)/(4p)}\sum_{n=0}^{\infty}a_{-n-1}(K;q)\sum_{\ell=1}^n\lambda_\ell^{n,\nu}(q)\frac{(-1)^\ell q^{\ell(\ell+1)/2}}{(q^{\ell+1};q)_\ell}P_\ell^{p,b+\nu}(q)+p(-\tau),

under the same parity condition, with p(τ)p(\tau) finite. Here the finite polynomials λℓn,ν(q)=λℓn,ν(q−1)\lambda_\ell^{n,\nu}(q)=\lambda_\ell^{n,\nu}(q^{-1}) are defined by the two displayed rational-function decompositions in the source. The claim extends the inverted Habiro-series surgery formulas to defect operators; it is conditional on the underlying surgery expressions being correct, and no resolution is given.

References

Primary source

Miranda C. N. Cheng, Ioana Coman, Piotr Kucharski, Davide Passaro and Gabriele Sgroi, “3d Modularity Revisited”, arXiv:2403.14920 (2025).

Additional references

2 papers in this index state this conjecture (2021–2024). The statement above is taken from the most recent of them; the others are arXiv:2106.03942.

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.