Weakly-filtered endomorphism algebra conjecture

About 3 years old · traced to

Let E0E_0 and E1E_1 be the objects appearing in the surgery-formula construction, and let End⁡wFil(β0E0⊕β1E1)\operatorname{End}_{w\mathrm{Fil}}(\beta_0^{E_0}\oplus\beta_1^{E_1}) denote the endomorphism space satisfying the weakly-filtered conditions, including morphisms from β1E1\beta_1^{E_1} to β0E0\beta_0^{E_0}. Consider its chiral and UU-adic topologies, and let K\mathcal{K} and K\mathfrak{K} be the corresponding algebras. Weakly-filtered endomorphism algebra conjecture. For both the chiral and UU-adic topologies, the space End⁡wFil(β0E0⊕β1E1)\operatorname{End}_{w\mathrm{Fil}}(\beta_0^{E_0}\oplus\beta_1^{E_1}) is an A∞A_\infty-algebra. Furthermore, it is A∞A_\infty-homotopy equivalent to either K\mathcal{K} in the chiral case or K\mathfrak{K} in the UU-adic case. This conjecture asserts that allowing the additional weakly-filtered morphisms does not change the relevant A∞A_\infty-homotopy type; the source gives no evidence of a resolution, so it remains open.

References

Primary source

Ian Zemke, “A general Heegaard Floer surgery formula”, arXiv:2308.15658 (2023).

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.