The semi-infinite Finkelberg–Mirković conjecture
Let ℓ≥h\ell\geq hℓ≥h. The category PervIu(Fl∞2)\mathrm{Perv}_{I_\mathrm{u}}(\mathcal{F}l^{\frac{\infty}{2}})PervIu(Fl2∞) has simple objects ICx∞2\mathrm{IC}_x^{\frac{\infty}{2}}ICx2∞, standard objects…