Frenkel–Gaitsgory's affine Beilinson–Bernstein localization conjecture at the critical level
Frenkel–Gaitsgory's main conjecture. The induced functor
MathDB