Universal tensor categories generated by dual pairs

DOI10.1007/S10485-021-09640-2MaRDI QIDQ2231007zbMATH OpenOpenAlexFDO

Authors Alexandru Chirvasitu, Ivan Penkov

Publication date 29 September 2021

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2008.11179

zbMATH Keywords

Grothendieck categoryKoszulityMackey Lie algebramonoidal categorysemi-Artiniantensor module

Mathematics Subject Classification ID

Quadratic and Koszul algebras (16S37) Coalgebras and comodules; corings (16T15) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Infinite-dimensional Lie (super)algebras (17B65) Abelian categories, Grothendieck categories (18E10) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Let $V_{\ast }otimesVightarrowmathbbC$ be a non-degenerate pairing of countable-dimensional complex vector spaces $V$ and $V_{\ast }$. The Mackey Lie algebra $mathfrakg=mathfrak{gl}^M(V,V_{\ast })$ corresponding to this paring consists of all endomorphisms $varphi$ of $V$ for which the space $V_{\ast }$ is stable under the dual endomorphism $varph{i}^{\ast }:V^{\ast }ightarrow{V}^{\ast }$. We study the tensor Grothendieck category $mathbbT$ generated by the $mathfrakg$-modules $V$, $V_{\ast }$ and their algebraic duals $V^{\ast }$ and $V_{\ast }^{\ast }$. This is an analogue of categories considered in prior literature, the main difference being that the trivial module $mathbbC$ is no longer injective in $mathbbT$. We describe the injective hull $I$ of $mathbbC$ in $mathbbT$, and show that the category $mathbbT$ is Koszul. In addition, we prove that $I$ is endowed with a natural structure of commutative algebra. We then define another category ${}_{I}mathbbT$ of objects in $mathbbT$ which are free as $I$-modules. Our main result is that the category ${}_{I}mathbbT$ is also Koszul, and moreover that ${}_{I}mathbbT$ is universal among abelian $mathbbC$-linear tensor categories generated by two objects $X$, $Y$ with fixed subobjects $X^{\prime }hookrightarrowX$, $Y^{\prime }hookrightarrowY$ and a pairing $XotimesYightarrowextextbf1$ where extbf{1} is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories $mathbbT$ and ${}_{I}mathbbT$.

Review text

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}\).

Recommendations

• Representation categories of Mackey Lie algebras as universal monoidal categories
• Ordered tensor categories and representations of the Mackey Lie algebra of infinite matrices
• Three results on representations of Mackey Lie algebras
• Dual pairs and tensor categories of modules over Lie algebras \(\widehat{gl}_{\infty}\) and \({\mathcal W}_{1+\infty}\)
• Tensor representations of Mackey Lie algebras and their dense subalgebras

Cites work

• A Koszul category of representations of finitary Lie algebras
• Categories of integrable sl()-, o()-, sp()-modules
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• scientific article; zbMATH DE number 3425823 (Why is no real title available?)
• scientific article; zbMATH DE number 4200368 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 3598617 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 2242607 (Why is no real title available?)
• Koszul Duality Patterns in Representation Theory
• On Infinite-Dimensional Linear Spaces
• Ordered tensor categories and representations of the Mackey Lie algebra of infinite matrices
• Representation categories of Mackey Lie algebras as universal monoidal categories
• Semiperfect coalgebras
• Stability patterns in representation theory
• Symmetric functions and Hall polynomials. With contributions by A. V. Zelevinsky
• Tensor Representations of Classical Locally Finite Lie Algebras
• Tensor representations of Mackey Lie algebras and their dense subalgebras
• Three results on representations of Mackey Lie algebras

Cited in

(8)

• Ordered tensor categories and representations of the Mackey Lie algebra of infinite matrices
• Poincaré duality isomorphisms in tensor categories
• A universal rigid abelian tensor category
• Level-rank duality via tensor categories
• Three results on representations of Mackey Lie algebras
• Tensor representations of Mackey Lie algebras and their dense subalgebras
• Topological semiinfinite tensor (super)modules
• Representations of large Mackey Lie algebras and universal tensor categories

This page was built for publication: Universal tensor categories generated by dual pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2231007)