The naturality conjecture for the earring endofunctor

Let PP^* be the pillowcase, let W(P)TwB\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(NATs)\mathcal{X}(\operatorname{NAT}_s) be the hypothetical AA_\infty endofunctor induced by the immersed Lagrangian correspondence NATs\operatorname{NAT}_s. Naturality conjecture. For every curve LL not touching the top-left corner of the pillowcase, the displayed diagram commutes; equivalently,

X(NATs) ⁣:W(P)W(P)\mathcal{X}(\operatorname{NAT}_s)\colon\mathcal{W}(P^*)\longrightarrow\mathcal{W}(P^*)

restricted to W(P)TwB\mathcal{W}^\star(P^*)\simeq\operatorname{Tw}\mathcal{B} equals the endofunctor H=[II]\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.

Sources & referencesView supporting material

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.