Chuang–Miyachi's Koszul duality conjecture for affine category O blocks

From papers

Let e,,m>0e,\ell,m>0, let νZ(m)\nu\in\mathbb{Z}^{\ell}(m), and let Oμ,aν\mathcal{O}^{\nu}_{\mu,a} denote the block defined by

Oμ,aν=Oμν(n),n=aδ+p=1ωνpμ:ρ^e,\mathcal{O}_{\mu,a}^{\nu}=\mathcal{O}^{\nu}_{\mu}(n),\qquad n=\Bigl\langle a\delta+\sum_{p=1}^{\ell}\omega_{\nu_p}-\mu:\hat\rho_e\Bigr\rangle,

with aNa\in\mathbb{N}. Chuang–Miyachi's conjecture. The blocks Oμ,aν\mathcal{O}^{\nu}_{\mu,a} and Oν,aμ\mathcal{O}^{\mu}_{\nu,a} are Koszul and are Koszul dual to each other. This predicts a symmetry exchanging the affine parameters ee and \ell at the level of block categories; the source provides no resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Peng Shan, Michela Varagnolo and Eric Vasserot, “Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA”, arXiv:1107.0146 (2013).

Solutions 0

No solutions have been posted yet.