Recursive width conjecture for torus knots

About 9 years old · traced to

Let Tp,qT_{p,q} denote the torus knot associated to positive coprime integers pp and qq, and let HFK^(Tp,q)\widehat{HFK}(T_{p,q}) be its knot Floer homology. Write width⁡HFK^(Tp,q)\operatorname{width}\widehat{HFK}(T_{p,q}) for its width. Recursive width conjecture. If p<qp<q, then

width⁡HFK^(Tp,q)−width⁡HFK^(Tp,q−p)=⌊(p−1)24⌋.\operatorname{width}\widehat{HFK}(T_{p,q})-\operatorname{width}\widehat{HFK}(T_{p,q-p})=\left\lfloor\frac{(p-1)^2}{4}\right\rfloor.

Together with the base case width⁡HFK^(T1,q)=1\operatorname{width}\widehat{HFK}(T_{1,q})=1 and the symmetry Tp,q=Tq,pT_{p,q}=T_{q,p}, this would recursively determine the width for every torus knot. The conjecture is known for q≡±1(modp)q\equiv\pm1\pmod p and for p≤6p\leq6, and computer computations verify it for p,q<250p,q<250; its general validity remains open.

References

Primary source

Kaitian Jin, Adam M. Lowrance, Eli Polston and Yanjie Zheng, “On the Turaev genus of torus knots”, arXiv:1703.02506 (2017).

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.