A Koszul category of representations of finitary Lie algebras

Abstract

We find for each simple finitary Lie algebra g a category Tg of integrable modules in which the tensor product of copies of the natural and conatural modules is injective. The objects in Tg can be defined as the finite length absolute weight modules, where by absolute weight module we mean a module which is a weight module for every splitting Cartan subalgebra of g. The category Tg is Koszul in the sense that it is antiequivalent to the category of locally unitary finite-dimensional modules over a certain direct limit of finite-dimensional Koszul algebras. We describe these finite-dimensional algebras explicitly. We also prove an equivalence of the categories To(∞) and Tsp(∞) corresponding respectively to the orthogonal and symplectic finitary Lie algebras o(∞), sp(∞).