Universal tensor categories generated by dual pairs (Q2231007)

The Mackey Lie algebra \(\mathfrak{g}=\mathfrak{gl}^M(V,V_*)\), corresponding to the nondegenerate paring \(V_*\otimes V\rightarrow\mathbb{C}\) of countable-dimensional complex vector spaces \(V\) and \(V_*\), consists of \(\varphi\in\text{End}(V)\) for which the space \(V_*\) is stable under the dual endomorphism \(\varphi^*\in \text{End}(V^*)\). The authors consider a symmetric \(\mathbb{C}\)-linear monoidal abelian tensor category, which is not necessarily rigid. They study the tensor Grothendieck category \(\mathbb{T}\) generated by the \(\mathfrak{g}\)-modules \(V\), \(V_*\) and their algebraic duals \(V^*\) and \(V^*_*\), where the trivial module \(\mathbb{C}\) is no longer injective in \(\mathbb{T}\). The authors describe the injective hull \(I\) of \(\mathbb{C}\) in \(\mathbb{T}\), and show that the category \(\mathbb{T}\) is Koszul. In addition, they prove that \(I\) is endowed with a natural structure of commutative algebra. They then define another category \(_I\mathbb{T}\) of objects in \(\mathbb{T}\) which are free as \(I\)-modules. The main result is that the category \({}_I\mathbb{T}\) is also Koszul, and moreover that \({}_I\mathbb{T}\) is universal among abelian \(\mathbb{C}\)-linear tensor categories generated by two objects \(X\), \(Y\) with fixed subobjects \(X'\hookrightarrow X\), \(Y'\hookrightarrow Y\) and a pairing \(X\otimes Y\rightarrow \mathbf{1}\) where \(\mathbf{1}\) is the monoidal unit. They conclude by discussing the orthogonal and symplectic analogues of the categories \(\mathbb{T}\) and \({}_I\mathbb{T}\).