Equivariance conjecture for the instanton skein exact triangle

Let L+L_+, LL_- and L0L_0 be oriented links, with L0L_0 the resolution of a distinguished crossing, and suppose the skein exact triangle involves the module

KHI(L0)~C[U1,U2]C[U1,U2]/(U1U2).\mathit{KHI}^-(L_0)\mathrel{\widetilde{\otimes}}_{\mathbb{C}[U_1,U_2]}\mathbb{C}[U_1,U_2]/(U_1-U_2).

If L0L_0 has \ell components, let C[U1,,U1]\mathbb{C}[U_1,\dots,U_{\ell-1}] denote the polynomial ring in the variables associated to all but one component. Equivariance conjecture. There is a natural C[U1,,U1]\mathbb{C}[U_1,\dots,U_{\ell-1}]-module structure on

KHI(L0)~C[U1,U2]C[U1,U2]/(U1U2)\mathit{KHI}^-(L_0)\mathrel{\widetilde{\otimes}}_{\mathbb{C}[U_1,U_2]}\mathbb{C}[U_1,U_2]/(U_1-U_2)

so that the maps ff, gg, and hh in the skein exact triangle are C[U1,,U1]\mathbb{C}[U_1,\dots,U_{\ell-1}]-equivariant. The conjecture would strengthen the currently established graded skein exact triangle by making its maps compatible with the natural multivariable module structure; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Sudipta Ghosh and Ian Zemke, “Connected sums and directed systems in knot Floer homologies”, arXiv:2303.06491 (2024).

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.