The naturality conjecture for the earring endofunctor

About 6 years old · traced to

Let P∗P^* be the pillowcase, let W⋆(P∗)≃Tw⁡B\mathcal{W}^\star(P^*)\simeq\operatorname{Tw}\mathcal{B} be the indicated subcategory, and let N\mathcal{N} denote the curve-to-twisted-complex correspondence. Let X(NAT⁡s)\mathcal{X}(\operatorname{NAT}_s) be the hypothetical A∞A_\infty endofunctor induced by the immersed Lagrangian correspondence NAT⁡s\operatorname{NAT}_s. Naturality conjecture. For every curve LL not touching the top-left corner of the pillowcase, the displayed diagram commutes; equivalently,

X(NAT⁡s) ⁣:W(P∗)⟶W(P∗)\mathcal{X}(\operatorname{NAT}_s)\colon\mathcal{W}(P^*)\longrightarrow\mathcal{W}(P^*)

restricted to W⋆(P∗)≃Tw⁡B\mathcal{W}^\star(P^*)\simeq\operatorname{Tw}\mathcal{B} equals the endofunctor H=[I→I]\mathcal{H}=[\mathbf{I}\to\mathbf{I}]. The computations for the trivial tangle and a three-twist tangle provide evidence, while the general statement remains conjectural.

References

Primary source

Guillem Cazassus, Christopher M. Herald, Paul Kirk and Artem Kotelskiy, “The correspondence induced on the pillowcase by the earring tangle”, arXiv:2010.04320 (2022).

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.