Kazhdan-Laumon category O, Braverman-Kazhdan Schwartz space, and the semi-infinite flag variety

We define and study an analogue of Category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in the context of Kazhdan and Laumon’s gluing construction for perverse sheaves on the basic affine space. We explicitly describe the simple objects in this category, and we show its linearized Grothendieck group is isomorphic to a natural submodule of Lusztig’s periodic Hecke module. We then provide a categorification of these results by showing that the Kazhdan-Laumon Category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is equivalent to a full subcategory of a suitably-defined category of perverse sheaves on the semi-infinite flag variety.