Another realization of the category of modules over the small quantum group (Q1865289)

Let \({\mathfrak g}\) be a semisimple simply connected Lie algebra, and let \(U_l\) be the associated quantum group with divided powers, where \(l\) is an even order root of unity. Let \(u_l\) be the corresponding small quantum group. The authors prove that the category of \(u_l\)-modules is naturally equivalent to the category of \(U_l\)-modules which satisfy the Hecke eigen-condition with respect to representations lifted by means of the quantum Frobenius map \(U_l\rightarrow U(\check{\mathfrak g})\), where \(\check{\mathfrak g}\) is the Langlands dual Lie algebra. This result is used to describe the regular block \(u_l\text{-mod}_0\) of the category of \(u_l\)-modules in terms of perverse sheaves on the enhanced affine flag variety satisfying the Hecke eigen-condition.