Diagrammatics for real supergroups
arXiv:2301.01414 · doi:10.5802/art.7
Abstract
We introduce two families of diagrammatic monoidal supercategories. The first family, depending on an associative superalgebra, generalizes the oriented Brauer category. The second, depending on an involutive superalgebra, generalizes the unoriented Brauer category. These two families of supercategories admit natural superfunctors to supercategories of supermodules over general linear supergroups and supergroups preserving superhermitian forms, respectively. We show that these superfunctors are full when the superalgebra is a central real division superalgebra. As a consequence, we obtain first fundamental theorems of invariant theory for all real forms of the general linear, orthosymplectic, periplectic, and isomeric supergroups. We also deduce equivalences between monoidal supercategories of tensor supermodules over the real forms of a complex supergroup.
62 pages; v2: published version with some typos corrected
References in corpus (10)
- A survey of graphical languages for monoidal categories
- Monoidal supercategories
- A basis theorem for the affine oriented Brauer category and its cyclotomic quotients
- The marked Brauer category
- The first fundamental theorem of invariant theory for the orthosymplectic super group
- Frobenius Heisenberg categorification
- Foundations of Frobenius Heisenberg categories
- A basis theorem for the degenerate affine oriented Brauer-Clifford supercategory
- Twisted Frobenius extensions of graded superrings
- Affine oriented Frobenius Brauer categories