For each integer $t$ a tensor category $\mathcal{V}_t$ is constructed, such that exact tensor functors $\mathcal{V}_t\rightarrow \mathcal{C}$ classify dualizable $t$-dimensional objects in $\mathcal{C}$ not annihilated by any Schur functor. This… Click to show full abstract
For each integer $t$ a tensor category $\mathcal{V}_t$ is constructed, such that exact tensor functors $\mathcal{V}_t\rightarrow \mathcal{C}$ classify dualizable $t$-dimensional objects in $\mathcal{C}$ not annihilated by any Schur functor. This means that $\mathcal{V}_t$ is the “abelian envelope” of the Deligne category $\mathcal{D}_t=\operatorname{Rep}(GL_t)$. Any tensor functor $\operatorname{Rep}(GL_t)\longrightarrow \mathcal{C}$ is proved to factor either through $\mathcal{V}_t$ or through one of the classical categories $\operatorname{Rep}(GL(m|n))$ with $m-n=t$. The universal property of $\mathcal{V}_t$ implies that it is equivalent to the categories $\operatorname{Rep}_{\mathcal{D}_{t_1}\otimes \mathcal{D}_{t_2}}(GL(X),\epsilon )$, ($t=t_1+t_2$, $t_1$ not an integer) suggested by Deligne as candidates for the role of abelian envelope.
               
Click one of the above tabs to view related content.