Recursive width conjecture for torus knots

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 widthHFK^(Tp,q)\operatorname{width}\widehat{HFK}(T_{p,q}) for its width. Recursive width conjecture. If p<qp<q, then

widthHFK^(Tp,q)widthHFK^(Tp,qp)=(p1)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 widthHFK^(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 p6p\leq6, and computer computations verify it for p,q<250p,q<250; its general validity remains open.

Sources & referencesView supporting material

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.