Tensor-product compatibility conjecture for Koszul complexes and twisted modules

Let SnS_n be the symmetric group, let RR be the polynomial ring used to define the complexes KrK_r, and let Aw\mathcal{A}_w be the dg algebra whose modules are being considered. For a reflection r=(i,j)r=(i,j), let

Kr=Kij=[R(1)xixjR(1)]K_r=K_{ij}=[R(-1)\xrightarrow{x_i-x_j}\underline{R}(1)]

be the associated Koszul complex. Let XX be an Aw\mathcal{A}_w-module for wSnw\in S_n. Tensor-product compatibility conjecture. For any reflection rr, there should be a weak equivalence of Awr\mathcal{A}_{wr}-modules

XRKrKwrw1RX.X\otimes_R K_r\cong K_{wrw^{-1}}\otimes_R X.

The statement is presented as an expected compatibility and is not needed or proved in the paper. It concerns how tensoring with the Koszul complex associated to a reflection interacts with the twisted module structure.

Sources & referencesView supporting material

Primary source

Eugene Gorsky, Matthew Hogancamp and Anton Mellit, “Tautological classes and symmetry in Khovanov-Rozansky homology”, arXiv:2103.01212 (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.