The inverted Habiro-series formula for knot-complement invariants

From papers

Let KK be a knot with Alexander polynomial ΔK1\Delta_K\neq1, let FK(x,τ)F_K(x,\tau) be its knot-complement invariant, and let am(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(Sp3(K);Wν;τ)=ϵqdb(2pb)/(4p)n=0an1(K;q)=1nλn,ν(q)q2(q+1;q)Pp,b+ν(q1)+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ν;τ)=ϵqd+b(2pb)/(4p)n=0an1(K;q)=1nλn,ν(q)(1)q(+1)/2(q+1;q)Pp,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,ν(q1)\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.

Progress summary

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

Sources & referencesView supporting material

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.

Solutions 0

No solutions have been posted yet.