Categorification conjecture for the m-tensor quiver Schur algebra

For positive integers r1,,rmr_1,\dots,r_m with l=r1++rml=r_1+\cdots+r_m, let Sn(r)S_n(\mathbf{r}) be the pp-DG mm-tensor quiver Schur algebra

Sn(r):=ENDNHnl(λPnreλG(λ)),S_n(\mathbf{r}):={\operatorname{END}}_{\mathrm{NH}_n^l}\left(\bigoplus_{\lambda\in \mathcal{P}_n^{\mathbf{r}}}e_\lambda G(\lambda)\right),

and let Dc(Sn(r))\mathcal{D}^c(S_n(\mathbf{r})) denote its compact derived category. Write VriV_{r_i} for the corresponding Op\mathbb{O}_p-module and U˙Op(sl2)\dot{U}_{\mathbb{O}_p}(\mathfrak{sl}_2) for the idempotented quantum group. The categorification conjecture. The compact derived category Dc(Sn(r))\mathcal{D}^c(S_n(\mathbf{r})) categorifies the weight l2nl-2n subspace in the mm-fold tensor product representation

Vr1OpVr2OpOpVrmV_{r_1}\otimes_{\mathbb{O}_p}V_{r_2}\otimes_{\mathbb{O}_p}\cdots\otimes_{\mathbb{O}_p} V_{r_m}

of U˙Op(sl2)\dot{U}_{\mathbb{O}_p}(\mathfrak{sl}_2). This is the proposed categorification arising from the categorical action on the pp-DG module categories of the mm-tensor quiver Schur algebras; the excerpt provides no evidence that the conjecture has been proved or refuted.

Sources & referencesView supporting material

Primary source

Mikhail Khovanov, You Qi and Joshua Sussan, “p-DG cyclotomic nilHecke algebras”, arXiv:1711.07159 (2021).

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.