Commutativity conjecture for instanton knot Floer differentials
Suppose K⊂S3K\subset S^3K⊂S3 is a quasi-alternating knot. Let KHI‾(−S3,K)\underline{\operatorname{KHI}}(-S^3,K)KHI(−S3,K) be the instanton knot Floer homology group, and let d+d_+d+ and d−d_-d− be maps on it.…