---
title: 'Limit Categories: From Deligne to Stable Envelopes'
url: https://www.emergentmind.com/topics/limit-categories
type: topic
---

# Limit Categories: From Deligne to Stable Envelopes

For each integer \(t\), the paper constructs a tensor category \(V_t\) that plays the role of an abelian envelope for the Deligne category \(D_t=\operatorname{Rep}(GL_t)\). The point of departure is that \(D_t\) is the Karoubian rigid symmetric monoidal category generated by one dualizable object \(X_t\) of categorical dimension \(t\); when \(t\notin \mathbb Z\), \(D_t\) is semisimple abelian, but when \(t\in\mathbb Z\), it is only Karoubian and not abelian. The category \(V_t\) is constructed from the stable behavior of the categories \(\operatorname{Rep}(\mathfrak{gl}(m|n))\) with fixed superdimension \(m-n=t\), and it is characterized by a universal property for dualizable \(t\)-dimensional objects not annihilated by any Schur functor [1511.07699].

## 1. The Deligne category at integral parameter

The Deligne category \(D_t=\operatorname{Rep}(GL_t)\) is the universal Karoubian rigid symmetric monoidal category generated by a dualizable object of dimension \(t\). For \(t\notin\mathbb Z\), this already has the expected abelian and semisimple behavior. For \(t\in\mathbb Z\), however, \(D_t\) is not abelian, so it cannot by itself serve as the target for the usual Tannakian-style classification of tensor-functorial realizations of a \(t\)-dimensional object.

The category \(V_t\) is introduced precisely to repair that failure. It is an abelian tensor category equipped with a fully faithful symmetric monoidal embedding
\[
I:D_t\to V_t,
\]
and it is universal among faithful symmetric monoidal realizations of \(D_t\). In this sense, \(V_t\) is the “abelian envelope” of the Deligne category.

The paper’s conceptual claim is not merely that \(V_t\) is an abstract enlargement of \(D_t\). Rather, it is built so as to retain the stable tensor-combinatorial information common to the classical categories \(\operatorname{Rep}(GL(m|n))\) with \(m-n=t\), while discarding the Schur-vanishing relations that are specific to finite superdimension.

## 2. Construction from stable finite tensor-degree pieces

The construction begins with the tensor categories \(\operatorname{Rep}(\mathfrak{gl}(m|n))\) for pairs \((m,n)\) satisfying \(m-n=t\). Inside each such category, the paper considers the filtration by full abelian subcategories
\[
\operatorname{Rep}^k(\mathfrak{gl}(m|n)),
\]
where \(\operatorname{Rep}^k(\mathfrak{gl}(m|n))\) consists of subquotients of finite direct sums of mixed tensor powers
\[
T^{p,q}:=V^{\otimes p}\otimes (V^*)^{\otimes q},\qquad p+q\le k,
\]
with \(V=\mathbb C^{m|n}\) the standard representation.

The stabilization mechanism is the Duflo–Serganova homology functor. For a rank-one odd nilpotent \(x\in\mathfrak{gl}(m|n)\), one has
\[
H:\operatorname{Rep}(\mathfrak{gl}(m|n))\to \operatorname{Rep}(\mathfrak{gl}(m-1|n-1)),
\]
sending a module \(M\) to \(M_x=\ker x/\operatorname{im}x\). Theorem 7.1.1 proves that if
\[
4k<\min(m,n),
\]
then
\[
H:\operatorname{Rep}^k(\mathfrak{gl}(m|n))\xrightarrow{\sim}\operatorname{Rep}^k(\mathfrak{gl}(m-1|n-1))
\]
is an equivalence. Thus, for fixed \(k\), the categories \(\operatorname{Rep}^k(\mathfrak{gl}(m|n))\) become canonically identified once \(m,n\) are sufficiently large with difference \(t\) [1511.07699].

This stable range allows the definition
\[
V_t^k:=\varprojlim \operatorname{Rep}^k(\mathfrak{gl}(m|n)),
\]
and then
\[
V_t:=\varinjlim_k V_t^k.
\]
The paper states explicitly that “\(V_t\) should be seen as an inverse limit of the system \((\operatorname{Rep}(\mathfrak{gl}(m|n)),H)\),” but the construction is carried out through the stabilized finite stages \(V_t^k\). The tensor structure on \(V_t\) is induced from tensor products on the finite-rank categories, and \(V_t\) contains a distinguished object, also denoted \(V_t\), obtained as the inverse limit of the standard modules \(\mathbb C^{m|n}\), with
\[
\dim(V_t)=t.
\]

## 3. The embedding \(D_t\to V_t\) and the abelian-envelope theorem

Because \(D_t\) is generated by one dualizable object \(X_t\) of dimension \(t\), the distinguished object \(V_t\in V_t\) determines a canonical symmetric monoidal functor
\[
I:D_t\to V_t,\qquad X_t\mapsto V_t.
\]
Proposition 8.1.2 proves that \(I\) is fully faithful. This gives the basic structural relation: \(D_t\) sits inside \(V_t\) as a full rigid symmetric monoidal subcategory.

The formal abelian-envelope statement is given by Theorems 9.2.1 and 9.2.2. For any tensor category \(A\), composition with \(I\) induces an equivalence
\[
\operatorname{Fun}^{ex}(V_t,A)\xrightarrow{\sim}\operatorname{Fun}^{faith}(D_t,A),
\]
where the left-hand side is the category of exact symmetric monoidal \(\mathbb C\)-linear functors \(V_t\to A\), and the right-hand side is the category of faithful symmetric monoidal \(\mathbb C\)-linear functors \(D_t\to A\). Equivalently, \(I:D_t\to V_t\) is an initial object in the relevant \(2\)-category of faithful symmetric monoidal functors out of \(D_t\) [1511.07699].

The proof is categorical but rests on two representation-theoretic inputs extracted from the construction. Proposition 8.4.1 shows that every object \(M\in V_t\) admits a presentation
\[
T'\twoheadrightarrow M\hookrightarrow T'',
\]
with \(T',T''\) in the image of \(D_t\). Proposition 8.6.1 states that for any epimorphism
\[
M\twoheadrightarrow M'
\]
in \(V_t\), there exists a nonzero \(Z\in D_t\) such that
\[
M\otimes I(Z)\to M'\otimes I(Z)
\]
splits; a similar statement holds for monomorphisms. Together with the full faithfulness of \(I\), these properties give the formal hypotheses needed for the universality theorem.

## 4. Schur-generic objects and the dichotomy with \(\operatorname{Rep}(GL(m|n))\)

The paper’s classification theorem is formulated in terms of Schur functors. If \(X\) is a dualizable object of integral dimension \(t\) in a tensor category \(\mathcal T\), there is a canonical symmetric monoidal functor
\[
F_X:D_t\to \mathcal T.
\]
Lemma 11.1.1 proves that \(F_X\) is faithful if and only if \(X\) is not annihilated by any Schur functor; explicitly, for every partition \(\lambda\), one must have
\[
S^\lambda(X)\neq 0.
\]

This yields the first branch of the classification: if \(X\) is not annihilated by any Schur functor, then \(F_X\) uniquely factors through
\[
I:D_t\hookrightarrow V_t
\]
and extends to an exact symmetric monoidal functor
\[
V_t\to \mathcal T,\qquad V_t\mapsto X.
\]

The second branch is the supergroup case. Theorem 11.1.2 states that if \(X\) is annihilated by some Schur functor, then there exists a unique pair \(m,n\in\mathbb Z_+\) with \(m-n=t\) such that \(F_X\) factors through
\[
D_t\to \operatorname{Rep}(\mathfrak{gl}(m|n)),
\]
and gives an exact symmetric monoidal functor
\[
\operatorname{Rep}(\mathfrak{gl}(m|n))\to \mathcal T
\]
sending the standard representation \(\mathbb C^{m|n}\mapsto X\) [1511.07699].

Accordingly, every symmetric monoidal realization of the Deligne generator of integral dimension \(t\) lands either in the stable envelope \(V_t\) or in one of the finite supergroup representation categories \(\operatorname{Rep}(GL(m|n))\) with \(m-n=t\). The paper describes this as the “prime spectrum” of \(D_t\): \(V_t\) corresponds to the faithful realization, while the \(\operatorname{Rep}(GL(t+i|i))\) yield an infinite descending chain of proper kernels.

## 5. Internal representation theory of \(V_t\)

The category \(V_t\) is not only universal; it also has a detailed stable highest-weight structure. Simple objects are indexed by all bipartitions \(\lambda\), extending the stable parametrization visible in large \(\operatorname{Rep}(\mathfrak{gl}(m|n))\). For each \(k\), the finite stage \(V_t^k\) is a highest weight category with duality whose standard objects are \(V_t(\lambda)\) with \(|\lambda|\le k\). Projective objects exist in each \(V_t^k\), although \(V_t\) itself has no projectives or injectives globally.

Block decomposition is described using infinite weight diagrams \(d_\lambda\). Lemma 8.3.3 gives
\[
V_t=\bigoplus_\chi V_t^\chi,
\]
with
\[
L_t(\lambda),L_t(\mu)\text{ in the same block }\iff \overline d_\lambda=\overline d_\mu.
\]
This is the stable analogue of block theory for the finite supergroup categories.

The paper also constructs translation functors
\[
\overline T_{\theta,\chi}(M)=(M\otimes V_t)^\theta,\qquad
\overline T_{\theta,\chi}^*(M)=(M\otimes V_t^*)^\theta,
\]
and proves compatibility with specialization:
\[
F_{m,n}\circ \overline T_{\theta,\chi}=T_{\theta,\chi}\circ F_{m,n},\qquad
F_{m,n}\circ \overline T_{\theta,\chi}^*=T_{\theta,\chi}^*\circ F_{m,n}.
\]
This is one of the main ways the paper shows that \(V_t\) captures stable block-theoretic and highest-weight behavior.

A related ingredient is the exact symmetric monoidal functor
\[
\Phi:\mathbb T_{\mathfrak g}\to V_t
\]
from the infinite-rank category for \(\mathfrak g=\mathfrak{gl}(\infty|\infty)\). Lemma 8.1.4 states that \(\Phi\) sends the simple objects \(\widetilde V(\lambda)\) of \(\mathbb T_{\mathfrak g}\) to the standard objects \(V_t(\lambda)\) of \(V_t\). The specialization functors
\[
F_{m,n}:V_t\to \operatorname{Rep}(\mathfrak{gl}(m|n))
\]
satisfy
\[
F_{m,n}(V_t)=\mathbb C^{m|n},
\qquad
F_{m,n}\circ I:D_t\to \operatorname{Rep}(\mathfrak{gl}(m|n)),
\]
and Proposition 8.4.1 implies that these \(F_{m,n}\) are full [1511.07699].

## 6. Deligne’s proposed envelope and the limit interpretation

The paper also identifies \(V_t\) with the categories proposed by Deligne as candidate abelian envelopes. If
\[
t=t_1+t_2,\qquad t_1\notin \mathbb Z,
\]
and
\[
\mathcal T=D_{t_1}\otimes D_{t_2},
\qquad
X=V_{t_1}\boxtimes \mathbf 1 \oplus \mathbf 1\boxtimes V_{t_2},
\]
then Corollary 11.3.2 gives a canonical equivalence
\[
V_t \xrightarrow{\sim} \operatorname{Rep}_{D_{t_1}\otimes D_{t_2}}(GL(X),\epsilon)
\]
carrying \(V_t\) to \(X\). Thus the category obtained by stabilization of \(\operatorname{Rep}(GL(m|n))\) agrees with Deligne’s abstractly proposed envelope.

From the perspective of stable representation theory, \(V_t\) is the canonical abelian tensor category interpolating the representation categories \(\operatorname{Rep}(GL(m|n))\) with fixed \(m-n=t\). The paper is explicit that it is not a naive inverse limit of the whole categories, because the homology functors are not exact globally. Rather, it is built from the stable inverse limits of the bounded tensor-degree subcategories \(\operatorname{Rep}^k(\mathfrak{gl}(m|n))\), where exactness and equivalence do hold.

This construction solves the precise defect of \(D_t\) at integral parameter. The Deligne category remains the universal rigid Karoubian category generated by a \(t\)-dimensional dualizable object, but \(V_t\) is the universal abelian tensor category that retains the stable information common to sufficiently large \(\operatorname{Rep}(GL(m|n))\) while classifying exactly the Schur-generic realizations of dimension \(t\) [1511.07699].

Source: https://www.emergentmind.com/topics/limit-categories