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 categoryKoszulitymonoidal categorytensor moduleMackey Lie algebrasemi-Artinian

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Quadratic and Koszul algebras (16S37) Infinite-dimensional Lie (super)algebras (17B65) Coalgebras and comodules; corings (16T15) 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$.

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

• 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?)
• A Koszul category of representations of finitary Lie algebras
• Categories of integrable \(sl(\infty)\)-, \(o(\infty)\)-, \(sp(\infty)\)-modules
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• 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)

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

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)