arxiv: 2603.01390 · v4 · submitted 2026-03-02 · 🧮 math.RT

Recognition: 2 theorem links

· Lean Theorem

Duflo-Serganova fumctors and Brundan-Goodwin's parabolic inductions

Shunsuke Hirota

Authors on Pith no claims yet

Pith reviewed 2026-05-15 17:43 UTC · model grok-4.3

classification 🧮 math.RT

keywords Duflo-Serganova functorsLie superalgebrasb-Verma supermodulesW-superalgebrasSkryabin equivalenceparabolic Miura transformWhittaker coinvariantsgeneral linear Lie superalgebras

0 comments

The pith

Rank-one Duflo-Serganova functors attached to odd roots explicitly map b-Verma supermodules to graded modules for general linear Lie superalgebras.

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

The paper computes the images of b-Verma supermodules under rank-one Duflo-Serganova functors for odd roots, where the image of the superalgebra forms a graded subsuperalgebra under the principal good grading. These functors induce corresponding maps on modules for the associated W-superalgebra through the Skryabin equivalence. The computation also shows that pullbacks of tensor products of dual Verma modules for the W-superalgebra match the H0-images of the b-Verma supermodules under suitable choices of Borel subalgebras. This provides concrete links between the representation theory of Lie superalgebras and Whittaker coinvariants for W-superalgebras.

Core claim

For general linear Lie superalgebras, the rank-one Duflo-Serganova functors attached to odd roots are characterized by the condition that DS_x(g) is a graded subsuperalgebra with respect to the principal good grading. Under this condition and for suitable Borel subalgebras b, the DS images of b-Verma supermodules are computed explicitly. Via the parabolic Miura transform, the pullbacks of tensor products of (dual) Verma modules for the W-superalgebra are identified with the H0-images of these b-Verma supermodules.

What carries the argument

Rank-one DS functor DS_x attached to an odd root x, which maps b-Verma supermodules to explicit images and induces functors on W-superalgebra modules via Skryabin equivalence and the parabolic Miura transform.

If this is right

The DS images of b-Verma supermodules become explicitly describable for the chosen class of Borels.
Pullbacks of tensor products of dual Verma modules for the W-superalgebra equal the H0-images of b-Verma supermodules under the parabolic Miura transform.
The induced functors connect the Duflo-Serganova construction directly to Whittaker coinvariants for W-superalgebras.
The approach extends the known results on finite-dimensional representations to a broader class of supermodules.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The explicit images may simplify the search for composition factors or simple quotients in the superalgebra category.
The identification could allow lifting known results on W-superalgebra tensor products back to statements about DS functors.
Similar characterizations might apply to DS functors of higher rank if the grading condition can be generalized.

Load-bearing premise

The rank-one DS functors must satisfy that DS_x(g) forms a graded subsuperalgebra under the principal good grading, together with the existence of suitable Borel subalgebras b for which the explicit images hold.

What would settle it

An explicit counterexample computation showing that the DS image of a specific b-Verma supermodule fails to match the predicted graded module structure for a chosen odd root and Borel subalgebra.

read the original abstract

Duflo--Serganova functors play an important role in the representation theory of Lie superalgebras. While it is desirable to understand the images of modules under DS, little is known beyond finite-dimensional representations. For general linear Lie superalgebras, Brundan--Goodwin study the Whittaker coinvariants functor $H_{0}$ and the associated principal $W$-superalgebra. In this paper we investigate rank-one DS functors attached to odd roots, characterized by the condition that $\operatorname{DS}_{x}(\mathfrak g)\subset \mathfrak g$ is a graded subsuperalgebra with respect to the principal good grading, and the induced functors $\overline{\operatorname{DS}}$ on $W$-superalgebra module categories via the Skryabin equivalence. In particular, we explicitly compute the DS images of $\mathfrak b$-Verma supermodules (for a suitable class of Borel subalgebras $\mathfrak b$). We also observe that, via the parabolic Miura transform, the pullbacks of tensor products of (dual) Verma modules for the $W$-superalgebra can be identified with the $H_{0}$-images of $\mathfrak b$-Verma supermodules for an appropriate choice of $\mathfrak b$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives explicit DS images for b-Verma supermodules under rank-one functors and links them to W-superalgebra modules through the parabolic Miura transform.

read the letter

The main thing to know is that the paper works out concrete images of b-Verma supermodules under certain rank-one Duflo-Serganova functors for general linear Lie superalgebras and shows how those images match H0-images of the same modules via the parabolic Miura transform. This builds on Brundan-Goodwin's Whittaker coinvariants setup and uses the Skryabin equivalence to move between categories. The explicit formulas for the images under the functors characterized by the graded subsuperalgebra condition are the clearest new piece. They restrict to a suitable class of Borel subalgebras and produce direct descriptions that were not available before for these infinite-dimensional modules. The identification of pullbacks of tensor products of dual Verma modules for the W-superalgebra with the H0 side is a clean observation that organizes some of the module category structure. The paper does well by sticking to standard tools and delivering calculations instead of just existence statements. The setup with the principal good grading and the choice of Borels follows established patterns in the area, so the argument stays grounded. The soft spots are minor. The abstract leaves the full derivation steps and explicit formulas out of view, which makes it hard to spot any calculation errors without the body of the paper. The suitable class of Borels could use a few low-rank examples to make the scope clearer, but that is a presentation issue rather than a flaw in the logic. No circularity shows up in the stated claims. This is for people already working on DS functors, W-superalgebras, or parabolic induction in the superalgebra setting. A reader who knows Brundan-Goodwin and Skryabin will get the most out of the explicit results and the Miura link. It deserves a serious referee because the computations look like they could be checked and used as a reference even if the overall advance is incremental.

Referee Report

2 major / 2 minor

Summary. The paper investigates rank-one Duflo-Serganova functors attached to odd roots for general linear Lie superalgebras. These functors are characterized by the condition that DS_x(g) is a graded subsuperalgebra with respect to the principal good grading. The authors explicitly compute the images of b-Verma supermodules under these functors for a suitable class of Borel subalgebras b. They further observe that, via the parabolic Miura transform and the Skryabin equivalence, the pullbacks of tensor products of (dual) Verma modules for the associated W-superalgebra can be identified with the H_0-images of b-Verma supermodules for an appropriate choice of b, extending Brundan-Goodwin's work on Whittaker coinvariants and parabolic inductions.

Significance. If the explicit computations hold, the paper advances the representation theory of Lie superalgebras by providing concrete descriptions of DS functor images on infinite-dimensional modules (b-Verma supermodules), beyond the finite-dimensional case. The observed identification via the parabolic Miura transform links DS functors directly to module categories over W-superalgebras, potentially enabling new computations of parabolic inductions and functorial correspondences. The use of standard tools like the Skryabin equivalence and good gradings strengthens the technical foundation.

major comments (2)

[Abstract and functor definition section] Abstract and the section defining the rank-one DS functors: the characterization that DS_x(g) is a graded subsuperalgebra w.r.t. the principal good grading is stated as the defining condition, but it is unclear whether this alone determines the functor uniquely for the subsequent explicit computations of DS images on b-Verma supermodules, or if the choice of odd root x imposes further restrictions that need explicit verification.
[Section on parabolic Miura transform and identifications] The observation on the identification via parabolic Miura transform: the claim that pullbacks of tensor products of (dual) Verma modules for the W-superalgebra identify with H_0-images of b-Verma supermodules requires a precise statement of the correspondence (e.g., which specific tensor products and which b), as the suitability of b appears central to both the computation and the identification.

minor comments (2)

[Introduction and functor section] Notation for the induced functors: the bar on DS (overline{DS}) is introduced without an explicit reminder of its definition via Skryabin equivalence in the main text; adding a brief recall would improve readability.
[Computations of DS images] The class of suitable Borel subalgebras b is referenced repeatedly but not summarized in a single proposition or definition; a dedicated statement listing the conditions on b would clarify the scope of the explicit computations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. We address the major comments point by point below, indicating planned revisions where appropriate.

read point-by-point responses

Referee: [Abstract and functor definition section] Abstract and the section defining the rank-one DS functors: the characterization that DS_x(g) is a graded subsuperalgebra w.r.t. the principal good grading is stated as the defining condition, but it is unclear whether this alone determines the functor uniquely for the subsequent explicit computations of DS images on b-Verma supermodules, or if the choice of odd root x imposes further restrictions that need explicit verification.

Authors: The rank-one Duflo-Serganova functors for odd roots are defined precisely by the condition that DS_x(g) is a graded subsuperalgebra with respect to the principal good grading. For rank-one cases attached to a fixed odd root x in gl(m|n), this grading condition together with the choice of x uniquely determines the functor; no additional restrictions are imposed beyond those already encoded in the root x and the principal grading. The subsequent explicit computations of DS images on b-Verma supermodules follow directly from this characterization. We will add a clarifying remark in the definition section to make the uniqueness explicit. revision: partial
Referee: [Section on parabolic Miura transform and identifications] The observation on the identification via parabolic Miura transform: the claim that pullbacks of tensor products of (dual) Verma modules for the W-superalgebra identify with H_0-images of b-Verma supermodules requires a precise statement of the correspondence (e.g., which specific tensor products and which b), as the suitability of b appears central to both the computation and the identification.

Authors: We agree that greater precision is required. The identification holds when b is chosen as the Borel subalgebra compatible with the parabolic subalgebra defining the W-superalgebra (i.e., adapted to the good grading used in the parabolic Miura transform). In this setting, the pullback of the tensor product of a Verma module and its dual for the W-superalgebra corresponds exactly to the H_0-image of the associated b-Verma supermodule. We will revise the relevant section to state this correspondence explicitly, including the precise choice of b and the tensor products involved. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper's claims rest on explicit computations of DS images of b-Verma supermodules under a stated characterization of rank-one DS functors (DS_x(g) as graded subsuperalgebra w.r.t. principal good grading) together with identifications via the parabolic Miura transform and Skryabin equivalence. These steps invoke standard external results on W-superalgebras and equivalences without any reduction of predictions to fitted inputs, self-definitional loops, or load-bearing self-citations that collapse the argument to unverified premises. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background in Lie superalgebras, good gradings, Skryabin equivalence, and Whittaker coinvariants; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

axioms (1)

standard math Standard properties of Lie superalgebras, principal good gradings, and the Skryabin equivalence hold as in prior literature.
Invoked to define the functors and induced maps on W-superalgebra modules.

pith-pipeline@v0.9.0 · 5524 in / 1315 out tokens · 74984 ms · 2026-05-15T17:43:50.779931+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We explicitly compute the DS images of b-Verma supermodules (for a suitable class of Borel subalgebras b). We also observe that, via the parabolic Miura transform, the pullbacks of tensor products of (dual) Verma modules for the W-superalgebra can be identified with the H0-images of b-Verma supermodules
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

rank-one DS functors attached to odd roots, characterized by the condition that DSx(g) is a graded subsuperalgebra with respect to the principal good grading

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 2 internal anchors

[1]

On finite dimensional nichols algebras of diagonal type.Bulletin of Mathematical Sciences, 7:353–573, 2017

Nicol´ as Andruskiewitsch and Iv´ an Angiono. On finite dimensional nichols algebras of diagonal type.Bulletin of Mathematical Sciences, 7:353–573, 2017

work page 2017
[2]

The weyl groupoids ofsl(m|n) and osp(r|2n).Journal of Algebra, 641:795–822, 2024

Lukas Bonfert and Jonas Nehme. The weyl groupoids ofsl(m|n) and osp(r|2n).Journal of Algebra, 641:795–822, 2024

work page 2024
[3]

Principal w- algebras for gl (m— n).Algebra & Number Theory, 7(8):1849–1882, 2013

Jonathan Brown, Jonathan Brundan, and Simon Goodwin. Principal w- algebras for gl (m— n).Algebra & Number Theory, 7(8):1849–1882, 2013

work page 2013
[4]

Representations of the general linear lie superalgebra in the bgg category

Jonathan Brundan. Representations of the general linear lie superalgebra in the bgg category . InDevelopments and Retrospectives in Lie Theory: Algebraic Methods, pages 71–98. Springer, 2014

work page 2014
[5]

Whittaker coinvariants for gl (m— n).Advances in Mathematics, 347:273–339, 2019

Jonathan Brundan and Simon M Goodwin. Whittaker coinvariants for gl (m— n).Advances in Mathematics, 347:273–339, 2019

work page 2019
[6]

Shifted yangians and finite w-algebras.Advances in Mathematics, 200(1):136–195, 2006

Jonathan Brundan and Alexander Kleshchev. Shifted yangians and finite w-algebras.Advances in Mathematics, 200(1):136–195, 2006

work page 2006
[7]

Translated simple modules for lie algebras and simple supermodules for lie superalgebras

Chih-Whi Chen, Kevin Coulembier, and Volodymyr Mazorchuk. Translated simple modules for lie algebras and simple supermodules for lie superalgebras. Mathematische Zeitschrift, 297(1):255–281, 2021

work page 2021
[8]

Whittaker categories, properly stratified categories and fock space categorification for lie superalgebras.Communications in Mathematical Physics, 401(1):717–768, 2023

Chih-Whi Chen, Shun-Jen Cheng, and Volodymyr Mazorchuk. Whittaker categories, properly stratified categories and fock space categorification for lie superalgebras.Communications in Mathematical Physics, 401(1):717–768, 2023. 29

work page 2023
[9]

The brundan–kazhdan– lusztig conjecture for general linear lie superalgebras

Shun-Jen Cheng, Ngau Lam, and Weiqiang Wang. The brundan–kazhdan– lusztig conjecture for general linear lie superalgebras. 2015

work page 2015
[10]

Homological invariants in category for the general linear superalgebra.Transactions of the American Mathemat- ical Society, 369(11):7961–7997, 2017

Kevin Coulembier and Vera Serganova. Homological invariants in category for the general linear superalgebra.Transactions of the American Mathemat- ical Society, 369(11):7961–7997, 2017

work page 2017
[11]

On associated variety for Lie superalgebras

Michel Duflo and Vera Serganova. On associated variety for lie superalgebras. arXiv preprint math/0507198, 2005

work page internal anchor Pith review Pith/arXiv arXiv 2005
[12]

The duflo–serganova functor, vingt ans apr` es: M

Maria Gorelik, Crystal Hoyt, Vera Serganova, and Alexander Sherman. The duflo–serganova functor, vingt ans apr` es: M. gorelik et al.Journal of the Indian Institute of Science, 102(3):961–1000, 2022

work page 2022
[13]

American Mathematical Soc., 2020

Istv´ an Heckenberger and Hans-J¨ urgen Schneider.Hopf algebras and root sys- tems, volume 247. American Mathematical Soc., 2020

work page 2020
[14]

American Mathe- matical Society, 2021

Th Heidersdorf and Rainer Weissauer.Cohomological tensor functors on rep- resentations of the general linear supergroup, volume 270. American Mathe- matical Society, 2021

work page 2021
[15]

On classical tensor categories attached to the irreducible representations of the general linear supergroups gl (n— n)

Th Heidersdorf and Rainer Weissauer. On classical tensor categories attached to the irreducible representations of the general linear supergroups gl (n— n). Selecta Mathematica, 29(3):34, 2023

work page 2023
[16]

Odd verma’s theorem.arXiv preprint arXiv:2502.14274, 2025

Shunsuke Hirota. Odd verma’s theorem.arXiv preprint arXiv:2502.14274, 2025

work page arXiv 2025
[17]

Grothendieck rings for lie superalgebras and the duflo–serganova functor.Algebra & Number Theory, 12(9):2167–2184, 2018

Crystal Hoyt and Shifra Reif. Grothendieck rings for lie superalgebras and the duflo–serganova functor.Algebra & Number Theory, 12(9):2167–2184, 2018

work page 2018
[18]

Integrable sl (infinity)- modules and category o for gl (m— n).Journal of the London Mathematical Society, 99(2):403–427, 2019

Crystal Hoyt, Ivan Penkov, and Vera Serganova. Integrable sl (infinity)- modules and category o for gl (m— n).Journal of the London Mathematical Society, 99(2):403–427, 2019

work page 2019
[19]

Parabolic categoryOfor classical lie superalgebras

Volodymyr Mazorchuk. Parabolic categoryOfor classical lie superalgebras. InAdvances in Lie Superalgebras, pages 149–166. Springer, 2014

work page 2014
[20]

On functors associated to a simple root.Journal of Algebra, 314(1):97–128, 2007

Volodymyr Mazorchuk and Catharina Stroppel. On functors associated to a simple root.Journal of Algebra, 314(1):97–128, 2007

work page 2007
[21]

Kac–moody superalgebras and integrability.Developments and trends in infinite-dimensional Lie theory, pages 169–218, 2011

Vera Serganova. Kac–moody superalgebras and integrability.Developments and trends in infinite-dimensional Lie theory, pages 169–218, 2011

work page 2011
[22]

On rings of supersymmetric polynomials.Journal of Algebra, 517:336–364, 2019

AN Sergeev. On rings of supersymmetric polynomials.Journal of Algebra, 517:336–364, 2019

work page 2019
[23]

Nilpotent orbits and finite W-algebras

Weiqiang Wang. Nilpotent orbits and finite w-algebras.arXiv preprint arXiv:0912.0689, 2009. Shunsuke Hirota Department of Mathematics, Kyoto University Kitashirakawa Oiwake-cho, Sakyo-ku, 606-8502, Kyoto E-mail address: shun299509732@gmail.com 30

work page internal anchor Pith review Pith/arXiv arXiv 2009