Coxeter braid complex decomposition conjecture

Let WW be a finite Coxeter group with simple reflections SS, let CϵC_\epsilon be the horizontal trace of the Rouquier complex associated with the Coxeter braid determined by ϵ{±1}S\epsilon\in\{\pm1\}^{|S|}, and let CubeW\mathrm{Cube}_W be the corresponding Coxeter Koszul complex. Let pϵp_\epsilon be the idempotent projecting to the Solomon summand indexed by ϵ\epsilon, and let ϵ+|\epsilon|_+ denote the number of positive entries. Coxeter braid decomposition conjecture. In Kb(hTr(SBim))K^b(\operatorname{hTr}(\operatorname{SBim})),

Cϵ[ϵ+]pϵhTr(CubeW).C_\epsilon[|\epsilon|_+]\simeq p_\epsilon\operatorname{hTr}(\mathrm{Cube}_W).

This is the explicit finite-Coxeter analogue of the type-AA annular Coxeter calculation and would describe the corresponding traced Rouquier complexes through Solomon idempotents. The supplied context does not provide a resolution, so the conjecture remains open here.

Sources & referencesView supporting material

Primary source

Eugene Gorsky and Paul Wedrich, “Evaluations of annular Khovanov–Rozansky homology”, arXiv:1904.04481 (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.