The knot-independence conjecture for the essential instanton Floer summand

At least 5 years old · documented by

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.

References

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.