-
Towards interpolating categories for equivariant map algebras
Authors:
Saima Samchuck-Schnarch
Abstract:
Using the language of string diagrams, we define categorical generalizations of modules for map algebras $\mathfrak{g} \otimes A$ and equivariant map algebras $(\mathfrak{g} \otimes A)^Γ$, where $\mathfrak{g}$ is a Lie algebra, $A$ is a commutative associative algebra, and $Γ$ is an abelian group acting on $\mathfrak{g}$ and $A$. After establishing some properties of these modules, we present seve…
▽ More
Using the language of string diagrams, we define categorical generalizations of modules for map algebras $\mathfrak{g} \otimes A$ and equivariant map algebras $(\mathfrak{g} \otimes A)^Γ$, where $\mathfrak{g}$ is a Lie algebra, $A$ is a commutative associative algebra, and $Γ$ is an abelian group acting on $\mathfrak{g}$ and $A$. After establishing some properties of these modules, we present several examples of how our definitions can applied in various diagrammatic categories. In particular, we use the oriented Brauer category OB to construct a candidate interpolating category for the categories of $\mathfrak{gl}_n \otimes k[t]$-modules.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Affine Frobenius Brauer Categories
Authors:
Saima Samchuck-Schnarch
Abstract:
We define the affine Frobenius Brauer category $\mathcal{AB}(A, -^\star)$ associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie superalgebras defined over $A$. The case where $A$ is the base field recovers the known action of the affine Brauer category on categori…
▽ More
We define the affine Frobenius Brauer category $\mathcal{AB}(A, -^\star)$ associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie superalgebras defined over $A$. The case where $A$ is the base field recovers the known action of the affine Brauer category on categories of supermodules for orthogonal and symplectic Lie algebras. The definition and associated action of $\mathcal{AB}(A, -^\star)$ are both novel when $A$ is e.g. the quaternions $\mathbb{H}$, a finite group algebra, a zigzag superalgebra, or a truncated polynomial algebra. Finally, we state a conjecture for bases of hom-spaces in $\mathcal{AB}(A, -^\star)$ and outline a potential proof strategy.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Diagrammatics for real supergroups
Authors:
Saima Samchuck-Schnarch,
Alistair Savage
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…
▽ More
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.
△ Less
Submitted 11 June, 2025; v1 submitted 3 January, 2023;
originally announced January 2023.