Deligne categories and the periplectic Lie superalgebra

TL;DR

This paper constructs a universal tensor category for the periplectic Lie superalgebra, capturing stabilization of its finite-dimensional representations and classifying certain symmetric forms in tensor categories.

Contribution

It introduces the tensor category $Rep(01)$ as an abelian envelope of the Deligne category for the periplectic Lie superalgebra, with explicit constructions and universal properties.

Findings

Constructs $Rep(01)$ as a limit of $Rep(rakp(n))$ categories.

Describes $Rep(01)$ as representations of a periplectic supergroup in a Deligne category.

Provides a classification of tensor functors from $Rep(01)$ to other tensor categories.

Abstract

We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(\underline{P})\longrightarrow \mathcal{C}$ classify pairs $(X, \omega)$ in $\mathcal{C}$ where $\omega: X \otimes X \to \Pi \mathbf{1}$ is a non-degenerate symmetric form and $X$ not annihilated by any Schur functor. The category $Rep(\underline{P})$ is constructed in two ways. The first construction is through an explicit limit of the tensor categories $Rep(\mathfrak{p}(n))$ ($n\geq 1$) under Duflo-Serganova functors. The second construction (inspired by P. Etingof) describes $Rep(\underline{P})$ as the category of representations of a periplectic Lie supergroup in the Deligne category $\mathtt{sVect} \boxtimes Rep(\underline{GL}_t)$. An upcoming paper by the authors will give results on the abelian and tensor structure of $Rep(\underline{P})$.