Equivariance conjecture for the instanton skein exact triangle

About 3 years old · traced to

Let L+L_+, L−L_- 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]/(U1−U2).\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,…,Uℓ−1]\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,…,Uℓ−1]\mathbb{C}[U_1,\dots,U_{\ell-1}]-module structure on

KHI−(L0)⊗~C[U1,U2]C[U1,U2]/(U1−U2)\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,…,Uℓ−1]\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.

References

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.