Tensor product of the Fock representation with its dual and the Deligne category

Vera Serganova

REVIEW 2 major objections 5 minor 10 references

Tensor product of the Fock representation with its dual and the Deligne category

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every integer t, the Fock representation tensored with its shifted dual has a unique decreasing filtration with known simple quotients; every nonzero submodule is one of its members.

desk verdict A genuinely new structural theorem about F^∨_t⊗F, proved via heavy but legitimate categorification machinery; the main argument is sound, though there is a patchable indexing bug and some terse combinatorial steps. read the letter →

arxiv 1908.11509 v1 pith:K3PQMV6C submitted 2019-08-30 math.RT

Vera Serganova This is my paper · ORCID

classification math.RT MSC 17B6517B10

keywords sl(∞)-modulesFockrepresentationDelignecategoryabelianenvelopecategorificationtranslationfunctorsGL(m|n)supergroupstiltingobjects

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a complete structural description of the sl(∞)-module R obtained by tensoring the basic Fock representation F with its shifted dual F∨_t. The claim is that R has a unique infinite decreasing filtration R = R0 ⊃ R1 ⊃ ⋯ with zero intersection, whose successive quotients are the explicit simple modules S_{k+t,k} for t ≥ 0, or S_{k,k−t} for t < 0; moreover every non-zero submodule of R is one of the R_k. This matters because R is a natural and repeatedly occurring representation, and the result says its submodule lattice is just a chain: no incomparable submodules exist and the simple layers are known. The proof obtains the filtration by categorifying R as the complexified Grothendieck group of the abelian envelope of the Deligne category Rep(GL_t), where translation functors implement the sl(∞)-action and DS functors to supergroup categories produce the kernels that cut out the layers.

What carries the argument

The load-bearing device is the categorification of R by the abelian envelope V_t of the Deligne category Rep(GL_t): an abelian category whose complexified Grothendieck group is isomorphic to R as an sl(∞)-module, with the Chevalley generators realised by translation functors E_a, F_a, defined as generalized eigenspaces of tensoring with V_t or V_t^*. On this category act the DS functors DS_{m,n}: V_t → Rep GL(m|n) for m − n = t; they are symmetric monoidal and induce linear maps ds_{m,n} on Grothendieck groups. The map ds_{m,n} is a homomorphism of sl(∞)-modules, and the paper shows the quotients ker ds_{m−1,n−1}/ker ds_{m,n} are exactly the simple modules S_{m,n}, so the kernels of the ds maps are the filtration layers. The other main input is the socle filtration of J_{m|n} = K_red[Rep GL(m|n)]_C, which identifies the projective classes inside the kernel of the next DS map, and the contraction-map description of the simples S_{m,n}.

What would settle it

Take t = 0 and, following the paper's recipe, set R_1 = ker ds_{0,0} and R_2 = ker ds_{1,1}; compute the character of the quotient R_1/R_2 from explicit bases of F∨_0 ⊗ F. The theorem predicts this character equals that of S_{1,1}; if it differs, or if a nonzero submodule of R other than these kernels appears, the central claim fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1. For each integer t, the sl(∞)-module R = F∨_t ⊗ F carries an infinite decreasing filtration R = R_0 ⊃ R_1 ⊃ ⋯ with ∩_k R_k = 0 and successive quotients R_k/R_{k+1} ≅ S_{k+t,k} for t ≥ 0, or S_{k,k−t} for t < 0. Moreover every non-zero submodule of R is equal to R_r for some r ≥ 0, so the filtration is the whole submodule lattice. The simple modules S_{p,q} are the kernels of contraction maps on exterior powers, and they are the same modules that appear as socles of the indecomposable modules Λ^pV∨ ⊗ Λ^qV. The proof identifies R with the complexified Grothendieck group K[V_t]_C of the abelian envelope of the Deligne category Rep(GL_t), where translation functors give the sl(∞)-action and the DS functors DS_{m,n}: V_t → Rep GL(m|n) induce maps ds_{m,n} whose kernels are the layers R_k.

Load-bearing premise

The result rests on the imported theorem that for integral t there is an abelian envelope of the Deligne category whose complexified Grothendieck group is isomorphic to F∨_t ⊗ F, with translation functors matching the sl(∞)-action; if that categorification or the compatibility of the DS functors with the action were wrong, the identified filtration need not be the true submodule lattice.

Editorial extensions

If this is right

The module F∨_t ⊗ F has a unique infinite composition series: its nonzero submodules are linearly ordered as R_0 ⊃ R_1 ⊃ ⋯, so no submodule lies outside the chain.
The simple layers are explicit: S_{k+t,k} for t ≥ 0 and S_{k,k−t} for t < 0, so every subquotient's character is known from the characters of these kernels of contraction maps.
The categorification yields a block decomposition of V_t into blocks indexed by weights of R; in positive and negative blocks, categorical dimensions of standard objects are given by explicit products of factorials.
In each positive/negative block there is a unique tilting object of nonzero categorical dimension, namely the one that is simultaneously standard and simple.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the categorification is sound, the theorem says the subobject lattice of F∨_t ⊗ F is a well-order of type ω; this is an unusual form of rigidity for an infinite-dimensional representation and would rule out direct-sum decompositions or non-comparable submodules.
The same DS-functor mechanism could be tested on finite exterior-power modules Λ^aV∨ ⊗ Λ^bV, where kernels of contraction maps might also describe the submodule lattice; the paper only treats the infinite tensor product.
The dimension formulas for standard and tilting objects in V_t may give closed supercharacter formulas in the stable range of GL(m|n), because the DS functors preserve categorical dimension; comparing the two sides for small m, n would be a direct check.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper does what it says: it pins down the submodule structure of F^∨_t⊗F and uses it to compute dimensions of standard and tilting objects in the abelian envelope of the Deligne category. The main theorem (unique decreasing filtration with simple layers, and every submodule being one of the R_k) is new and, modulo the imported categorification, the proof is coherent. It is a solid extension of the Entova-Aizenbud–Serganova–Hinich program rather than a breakthrough, but it is real progress on a basic module in sl(∞)-representation theory.

The proof strategy is clear and mostly convincing: the DS functors produce kernels whose successive quotients are the desired simples (Corollary 4.4), and Lemma 4.5 shows the filtration is exhaustive. The submodule rigidity argument in the second half of Theorem 1.1 is elegant, using the direct limit over the l^+_s and the known socle filtration from [PS]. I found no circularity: the categorification theorem from [E] and the socle results from [HPS] are used as black boxes, not re-proven, but they are established results and the author is upfront about the dependence.

Now the soft spots, in proportion. First, there is a genuine indexing issue: the definition R_k := ker d_{k+t−1,k−1} for k=0 gives d_{t−1,−1}, but Rep GL(t−1|−1) does not exist. The intended fix is clearly R_0 = R and the displayed formula for k ≥ 1. This is patchable but as written it is formally wrong and a referee should catch it. Second, the proof of Theorem 1.1(2) is sketched: “a simple computation shows” and “passing to the direct limit” hide a fair amount of work. A referee will want more detail there. Third, Section 5, especially Proposition 5.9, is terse to the point of assertion; the dimension formulas may well be correct, but the combinatorial arguments are not fully laid out. The dependence on [E] Theorem 3.6(4) is the least secure input, but I see no reason to doubt it, and the paper’s internal logic would be unaffected except in the unlikely event of an off-by-one or sign error there.

Who is this for? People working on infinite-rank Lie algebras, Deligne categories, and categorification. It deserves a serious referee: a good specialist can check the imports and clean up the terse parts. I would recommend engaging with it, with a request for revision on the indexing and exposition.

Verdict: send to peer review, not desk reject.

Referee Report

2 major / 5 minor

Summary. The paper studies the sl(∞)-module R = F∨_t ⊗ F, the tensor product of the basic Fock representation with its shifted dual, for an integer t. The main result, Theorem 1.1, asserts that R has an infinite decreasing filtration R = R_0 ⊃ R_1 ⊃ ... with trivial intersection, whose successive quotients are the simple modules S_{k+t,k} (for t ≥ 0) or S_{k,k-t} (for t < 0), and that every non-zero submodule of R coincides with one of the R_k. The proof uses the categorification of R as the complexified Grothendieck group of the abelian envelope V_t of the Deligne category Rep GL_t, together with the DS functors DSm|n : V_t → Rep GL(m|n) for m-n = t. The filtration is realized by kernels of the induced maps dsm|n. A second part of the paper computes dimensions of standard and tilting objects in blocks of V_t and proves structural results about blocks.

Significance. If correct, the main theorem gives a complete, explicit description of the submodule lattice of a natural and nontrivial sl(∞)-module, as a chain with known simple layers. This is a clean structural result that connects representation theory of sl(∞) with Deligne categories and supergroup representation theory. The proof strategy is conceptually appealing: it uses a categorical action and the DS functors to reduce a purely representation-theoretic question about an infinite-dimensional module to finite-length Grothendieck groups of supergroups. The paper is careful to cite the heavy external inputs, and the internal chain from Theorem 3.6(4) through Lemma 2.4, Corollary 4.4, and Lemma 4.5 is clear and does not appear circular. The dimensional computations in Section 5 are a useful additional contribution. The paper would be a valuable addition to the literature once the issues described below are addressed.

major comments (2)

[Section 4, proof of Theorem 1.1(1)] The definition R_k := ker d_{k+t-1,k-1} for t ≥ 0 (and the analogous formula for t < 0) is used for all k ≥ 0, but for k = 0 it requires the functor DS_{t-1,-1} from V_t to Rep GL(t-1|-1), which is not defined because the supergroup GL(t-1|-1) has a negative number of odd coordinates. This leaves the first quotient R_0/R_1 ≅ S_{t,0} (or S_{0,-t}) without proof. The authors should either set R_0 = R and prove the first layer separately, or explicitly restrict the displayed formula to k ≥ 1 and supply an independent argument for the first layer. This is a load-bearing point for Theorem 1.1(1), not merely a typo.
[Section 4, proof of Theorem 1.1(2)] The passage from the description of submodules of each R^+_s to the conclusion about submodules of R is too terse. The sentence "Passing to the direct limit for s → -∞ we obtain that every submodule of R^+_s is generated by v(p) for some p ≥ 0" conflates R^+_s with R; after passing to the direct limit one obtains statements about R, not R^+_s. More importantly, the argument does not explicitly justify that the generators v(p_s) for the submodules M^+_s stabilize as s → -∞, nor that R_r is exactly the submodule generated by v(r). A more detailed direct-limit argument is needed to make the proof of part (2) complete.

minor comments (5)

[Lemma 4.3(2)] In the proof of Lemma 4.3(2), the phrase "we obtain X_P = {0}" should read "we obtain X_P = ∅", since X_P is a set of elements y in the Lie superalgebra for which DS_y P ≠ 0, and the argument shows that no such non-zero y exists.
[Section 4, proof of Theorem 1.1(2)] In the sentence "Passing to the direct limit for s → -∞ we obtain that every submodule of R^+_s is generated by v(p) for some p ≥ 0", the object R^+_s should be replaced by R; as written the statement does not make sense after taking the direct limit.
[Proposition 5.7] In the formula for t < 0, the exponent contains a sum ∑_{i=1}^t a_i, but t is negative; this should presumably be ∑_{i=1}^{-t} a_i, consistent with the -t terms in the highest weight ν(θ) described in Lemma 5.3.
[Throughout] The abstract contains the typo "abelain" instead of "abelian", and Remark 3.4 writes "Apriori" instead of "A priori". These should be corrected.
[Section 5, equation (5.2)] The notation "dim M" for categorical dimension and "sdim" for superdimension is used without a prior definition; a brief reminder that the categorical dimension is preserved by the symmetric monoidal functor DSm|n would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the filtration theorem is a genuine consequence of prior categorification and DS-functor theorems, not a restatement of its inputs.

full rationale

The derivation chain is linear and non-circular. Theorem 1.1 is proved by transporting the problem to K[V_t]_C via the isomorphism f from [E, Thm 3.6(4)] and then studying kernels of the DS-induced maps ds_{m|n}. The isomorphism is an independent parameter-free theorem; it does not assert the filtration or the submodule lattice. The filtration layers are computed as Ker ds_{m-1|n-1}/Ker ds_{m|n} in Corollary 4.4, using Lemma 4.3 (spanning and linear independence of ds[T(λ)]) and Proposition 2.2 from [HPS] (socle filtration of J_{m|n}), neither of which presumes the target result. Lemma 4.5 establishes the trivial intersection by injectivity of ds_{m|n} on finite levels. The submodule-lattice claim in Theorem 1.1(2) is proved separately by a direct-limit argument reducing to the known submodule description of Λ^p V∨⊗Λ^q V in [PS], not by assuming the desired chain. Several imported theorems come from papers co-authored by the author ([EHS], [HPS], [DS]), but they are prior, parameter-free results with stated assumptions; they are not citations to the present conclusion, and none defines R in terms of the claimed filtration. Hence no self-definitional, fitted-input, uniqueness-import, or ansatz-smuggling circularity is present.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

No free parameters or invented entities appear: all constants are fixed mathematical inputs (t, m, n, weights). The argument rests on a chain of prior theorems ([E], [EHS], [HPS], [HR], [B], [PS], [DS], [CW]); these are parameter-free derivations with external benchmarks, so the central claim is not fitted. The most load-bearing imported premise is the categorification isomorphism from [E] (Theorem 3.6(4)).

assumptions (10)

standard math sl(∞) is the A∞ Kac-Moody algebra; F and F∨_t have the semi-infinite wedge realizations with the described bases.
Section 1 definitions; all later computations use these realizations.
domain assumption Brundan's theorem: J_{m|n} := K_red[Rep GL(m|n)]⊗C is an sl(∞)-module and the subspace Λ^{m|n} generated by Kac module classes is isomorphic to Λ^m V∨⊗Λ^n V.
Theorem 2.1, quoted from [B]; provides the target module for ds_{m,n}.
domain assumption Socle filtration of J_{m|n}: soci/soci−1 ≅ S_{m−i+1|n−i+1}; the socle is spanned by projective classes.
Proposition 2.2, quoted from [HPS]; directly used in Corollary 4.4.
domain assumption DS_x commutes with translation functors and its Grothendieck kernel is Λ^{m|n}.
Lemma 2.4, cited to [HPS, Lemma 32] and [HR]; gives ds_{m,n} as an sl(∞)-homomorphism.
domain assumption For integral t, the abelian envelope V_t with functors DS_{m,n} exists; restriction of DS_x to Rep^k GL(m|n) is an equivalence for m,n >> k.
Lemmas 3.2 and 3.3, from [EHS]; defines the categorifying category and the ds_{m,n} maps.
domain assumption Categorification: K[V_t]_C is isomorphic to F∨_t⊗F with [V(λ)] ↦ w_{λ•}⊗u_{λ◦}.
Theorem 3.6(4), quoted from [E]; the main identification that lets kernels describe the filtration.
domain assumption Projective criterion via DS: if the set of x with DS_x P ≠ 0 is trivial, then P is projective.
Used in Lemma 4.3(2), cited to [DS]; critical for identifying Im ds_{m,n} ∩ Ker ds_x.
domain assumption Penkov-Styrkas classification: submodules of Λ^a V∨⊗Λ^b V are socle layers; their socle is generated by contraction-kernel vectors.
Used in proof of Theorem 1.1(2) via [PS]; controls submodules of R_s^+.
domain assumption Combinatorial description of multiplicities [V(λ):L(μ)] and block decomposition from [E].
Used in Section 5 (Theorem 5.2, Proposition 5.9) to compute dimensions and identify the unique tilting object per block.
standard math Weyl dimension formula for GL(|t|) superdimensions.
Used in Lemma 5.3(2) to compute the factor q(θ).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Tensor product of the Fock representation with its dual and the Deligne category." pith.science (2026). https://pith.science/paper/K3PQMV6C

@misc{pith2026190811509,
  author       = {Pith},
  title        = {Pith review of: Tensor product of the Fock representation with its dual and the Deligne category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K3PQMV6C}},
  note         = {Machine review of arXiv:1908.11509}
}

read the original abstract

We describe the structure of the tensor product of the basic Fock representation of sl(\infty) with its shifted dual. More precisely we prove that this tensor product has a unique decreasing filtration with simple quotients. We use the categorification of this representation via translation functors in the abelain envelope of the Deligne category GL(t) for integral t. We also compute dimensions of standard and tilting objects in this abelian envelope.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 9 canonical work pages

[1]

Brundan, Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl (m|n) , J

J. Brundan, Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl (m|n) , J. Amer. Math. Soc. 16 (2003), no. 1, 185--231

work page 2003
[2]

Deligne's category Rep(GL_\delta) and representations of general linear supergroups

J. Comes, B. Wilson, Deligne's category Rep (GL_ ) and representations of general linear supergroups , Represent. Theory 16 (2012), 568--609; arXiv:1108.0652

work page Pith review arXiv 2012
[3]

Deligne, J.S

P. Deligne, J.S. Milne, Tannakian Categories , Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Math. 900 (1982), 101--228

work page 1982
[4]

Duflo, V

M. Duflo, V. Serganova, On associated variety for Lie superalgebras, arXiv:Math/0507198

arXiv
[5]

Entova-Aizenbud, Categorical actions on Deligne's categories, J

I. Entova-Aizenbud, Categorical actions on Deligne's categories, J. of Algebra 504 (2018), 391--431

work page 2018
[6]

Deligne categories and the limit of categories $Rep(GL(m|n))$

I. Entova-Aizenbud, V. Serganova, V. Hinich, Deligne categories and the limit of categories (GL(m|n)) , to appear in IMRN; arXiv:1511.07699

work page Pith review arXiv
[7]

9, 2167--2184

Crystal Hoyt, Shifra Reif, Grothendieck rings for L ie superalgebras and the D uflo-- S erganova functor , Algebra Number Theory 12 (2018), no. 9, 2167--2184

work page 2018
[8]

Journal LMS, DOI:10.112/jlms.12176

Crystal Hoyt, Ivan Penkov, Vera Serganova, Integrable sl ( ) -modules and the category O for gl (m|n) . Journal LMS, DOI:10.112/jlms.12176

work page

Show all 10 references

[9]

Penkov, K

I. Penkov, K. Styrkas, Tensor representations of infinite-dimensional root-reductive Lie algebras , in Developments and Trends in Infinite-Dimensional Lie Theory, Progr. Math. 288 , Birkh\"auser (2011), 127--150

2011
[10]

Y. M. Zou, Categories of finite-dimensional weight modules over type I classical Lie superalgebras, J. of Algebra, 180 (1996),459--482

1996

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Brundan, Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl (m|n) , J

J. Brundan, Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl (m|n) , J. Amer. Math. Soc. 16 (2003), no. 1, 185--231

work page 2003

[2] [2]

Deligne's category Rep(GL_\delta) and representations of general linear supergroups

J. Comes, B. Wilson, Deligne's category Rep (GL_ ) and representations of general linear supergroups , Represent. Theory 16 (2012), 568--609; arXiv:1108.0652

work page Pith review arXiv 2012

[3] [3]

Deligne, J.S

P. Deligne, J.S. Milne, Tannakian Categories , Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Math. 900 (1982), 101--228

work page 1982

[4] [4]

Duflo, V

M. Duflo, V. Serganova, On associated variety for Lie superalgebras, arXiv:Math/0507198

arXiv

[5] [5]

Entova-Aizenbud, Categorical actions on Deligne's categories, J

I. Entova-Aizenbud, Categorical actions on Deligne's categories, J. of Algebra 504 (2018), 391--431

work page 2018

[6] [6]

Deligne categories and the limit of categories $Rep(GL(m|n))$

I. Entova-Aizenbud, V. Serganova, V. Hinich, Deligne categories and the limit of categories (GL(m|n)) , to appear in IMRN; arXiv:1511.07699

work page Pith review arXiv

[7] [7]

9, 2167--2184

Crystal Hoyt, Shifra Reif, Grothendieck rings for L ie superalgebras and the D uflo-- S erganova functor , Algebra Number Theory 12 (2018), no. 9, 2167--2184

work page 2018

[8] [8]

Journal LMS, DOI:10.112/jlms.12176

Crystal Hoyt, Ivan Penkov, Vera Serganova, Integrable sl ( ) -modules and the category O for gl (m|n) . Journal LMS, DOI:10.112/jlms.12176

work page