The knot-independence conjecture for the essential instanton Floer summand

Let (Y^,K^)(\widehat{Y},\widehat{K}) satisfy the hypotheses of the source's torsion spinc^c decomposition theorem, and let K^Y^\widehat{K}'\subset\widehat{Y} be another knot satisfying the analogous conditions. Assume

[K^]=[K^]H1(Y^).[\widehat{K}]=[\widehat{K}']\in H_1(\widehat{Y}).

Let I+(Y^,K^)\mathcal{I}_+(\widehat{Y},\widehat{K}) denote the essential component associated with the pair. Knot-independence conjecture. There is a grading-preserving isomorphism

I+(Y^,K^)I+(Y^,K^)\mathcal{I}_+(\widehat{Y},\widehat{K})\cong\mathcal{I}_+(\widehat{Y},\widehat{K}')

up to a Zq\mathbb{Z}_q grading shift. The conjecture asserts that the decomposition of I(Y^)I^{\sharp}(\widehat{Y}) is independent of the choice of knot representing the relevant homology class. The source says that this independence is not known.

Sources & referencesView supporting material

Primary source

Zhenkun Li and Fan Ye, “Instanton Floer homology, sutures, and Heegaard diagrams”, arXiv:2010.07836 (2021).

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.