Pith. sign in

REVIEW 3 major objections 5 minor 18 references

Graded representations of current Lie superalgebras $\mathfrak{sl}(1|2)[t]$

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Every Chari-Venkatesh module of sl(1|2)[t] sits in a short exact sequence whose kernel is filtered by shifted CV modules, implying it is isomorphic to a fusion product of generalized Kac modules.

desk verdict The super POPs and graded character formula are genuinely new and checkable, but the short exact sequence section rests on a concrete range typo in Proposition 4 that makes the paper's main structural theorem unproven as written. read the letter →

arxiv 2506.01134 v1 pith:XOQQRFJO submitted 2025-06-01 math.RT

Shushma Rani , Divya Setia This is my paper
classification math.RT MSC 16S3017B0517B1017B3517B6517B6717B7005E10
keywords currentLiesuperalgebrassl(1|2)[t]Chari-VenkateshmoduleslocalWeylgeneralizedKacfusionproductssuperpartitionoverlaypatternsgradedcharacters
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

The paper studies finite-dimensional graded representations of the current Lie superalgebra sl(1|2)[t]. It aims to prove structural decomposition results for the family of Chari-Venkatesh (CV) modules: each CV module fits into a short exact sequence whose kernel is generated by a single monomial and admits an explicit filtration by shifted CV modules. From this structural result, the paper derives that every CV module is isomorphic to a fusion product of generalized Kac modules, for arbitrary distinct evaluation parameters. In support of this program, it also introduces a combinatorial parametrization of local Weyl module bases called super POPs and derives a closed graded character formula for the local Weyl module.

What carries the argument

The machinery is a combination of a distinguished $\mathfrak{sl}_{2,\alpha_2}$ subalgebra and a set of combinatorial partition operations. Because the $\alpha_2$ root vectors inside $\mathfrak{sl}(1|2)$ obey the same relations as in the current algebra $\mathfrak{sl}_2[t]$, the paper invokes the reduction from the current-algebra literature to replace the defining CV relations by monomial equations $y_2(r,s)v_\xi = 0$ for $s > kr + \xi_{k+1} + \cdots + \xi_n$. The partition operations, moving one box to form $\xi^+$ and passing to $\xi^-$, $(\hat{\xi})^-$, $(\tilde{\xi})^-$, organize the cyclic kernel into a filtration with shifted CV subquotients. Lemma 3 supplies the Leibniz identities that let $Y_2(r,s)$-relations be pushed past the odd-root monomials $(y_2 \otimes t^j)^k$, $(x_1 \otimes t^a)$, and $(y_3 \otimes t^b)$, the step where the superalgebra structure actually matters.

What would settle it

Compute $\dim \ker \varphi$ for $\xi = (2,1)$ directly from the defining relations of $V(\xi)$ or from the basis in [2]; the theorem predicts $\dim \ker \varphi = 8$ with filtration subquotients of dimensions $4,4,4,4$, so any other total or subquotient profile would falsify the main theorem. Alternatively, test the Leibniz identity of Lemma 3(ii) with explicit $3\times3$ supermatrices on a small grade; an extra bracket term involving the odd vectors would break the kernel filtration.

Watch

Extended reading notes

Core claim

The central discovery is a short exact sequence of $\mathfrak{g}[t]$-modules $0 \to \ker \varphi \to V(\xi) \to V(\xi^+) \to 0$ for each Chari-Venkatesh module $V(\xi)$, where $\xi^+$ is obtained from the partition $\xi$ by moving one box from the last part, with $\ell$ the first index with $\xi_\ell = \xi_{n-1}$. The kernel is the cyclic submodule generated by $(y_2 \otimes t^n)^{\xi_n} v_\xi$, and it has an explicit filtration whose subquotients are shifted CV modules attached to derived partitions $\xi^-$, $(\hat{\xi})^-$, $(\tilde{\xi})^-$, and, in the equal-tail case, two further variants, with grade shifts $\tau_s$ for $s = n\xi_n$. A dimension count using the known dimensions of generalized Kac modules forces the surjective maps in the filtration to be isomorphisms, giving $\dim V(\xi) = 4^{n+1}\xi_0\cdots\xi_n$ and, as Corollary 2, the $\mathfrak{g}[t]$-module isomorphism $V(\xi) \cong K(a_0,\xi_0)^{z_0} * \cdots * K(a_n,\xi_n)^{z_n}$ for distinct $z_0,\dots,z_n$ and $a_0+\cdots+a_n = \lambda_1$. The paper also establishes that super POPs biject with the known basis of the local Weyl module and yield the graded character formula of Proposition 3.

Load-bearing premise

The load-bearing premise is that the $\mathfrak{sl}_{2,\alpha_2}$ reduction arguments from the current-algebra setting transfer unchanged to the superalgebra $\mathfrak{sl}(1|2)[t]$, even though odd root vectors $y_1,y_3,x_1,x_3$ are present; if that transfer fails, the monomial relations and Leibniz identities behind the kernel filtration collapse.

Editorial extensions

If this is right

  • Every Chari-Venkatesh module $V(\xi)$ has dimension $4^{n+1}\xi_0\cdots\xi_n$, exactly the product of the dimensions of the generalized Kac modules in the fusion product.
  • The fusion product $K(a_0,\xi_0)^{z_0} * \cdots * K(a_n,\xi_n)^{z_n}$ is independent of the choice of distinct evaluation parameters, since it is isomorphic to $V(\xi)$.
  • The kernel filtration yields a new proof of the character and basis formulas for $V(\xi)$ that were previously obtained by direct computation in [2].
  • Combining the upper bound from the filtration with the known lower bound from surjections to fusion products pins down $\dim V(\xi)$ exactly.

Reading between the lines

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

  • If the $\mathfrak{sl}_{2,\alpha_2}$ transfer can be made fully rigorous, the same filtration argument should yield Demazure-type flags for CV modules and, by analogy with the current-algebra case, a proof of the Feigin–Loktev fusion-product conjecture for these superalgebra modules.
  • The super POP construction is likely to extend to other basic classical Lie superalgebras that contain a distinguished $\mathfrak{sl}_2$ subalgebra, giving combinatorial bases and graded character formulas for their local Weyl modules.
  • A concrete check of Lemma 3's Leibniz identities in small grades would settle whether the main theorem survives without the transfer assumption; a single nonzero odd-vector bracket would pinpoint the failure.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies finite-dimensional graded modules for the current Lie superalgebra sl(1|2)[t]. It introduces 'super POPs' and proves (Theorem 2) that super POPs with bounding data n = ψ(h2) parametrize the basis of the local Weyl module W(ψ) obtained in [2]. From this parametrization and from the [2] basis it derives a closed graded character formula for W(ψ) (Proposition 3, Corollary 1). The main new structural claim concerns Chari-Venkatesh modules V(ξ): for a partition ξ = (ξ0 ≥ ... ≥ ξn) of λ2 and ξ = (λ1, ξ), the paper constructs (Theorem 4) a short exact sequence 0 → Ker φ → V(ξ) → V(ξ+) → 0, identifies Ker φ as the cyclic submodule generated by (y2 ⊗ t^n)^{ξn} vξ, and shows that Ker φ has a filtration by shifted CV modules. From the dimension consequences it concludes (Corollary 2) that V(ξ) is isomorphic to a fusion product of generalized Kac modules, and hence that the fusion product is independent of the evaluation parameters.

Significance. If the main theorems are correct, the paper makes a useful contribution: the graded character formula for local Weyl modules is new for sl(1|2)[t], the super-POP parametrization is explicit and checkable, and a short exact sequence with a filtration by CV modules is precisely the kind of structural result that has led to Demazure-type and Feigin-Loktev results in the current Lie algebra setting. The bijection in Theorem 2 is constructive and the dimension argument in Section 4.6 gives a concrete route to the fusion-product isomorphism. These strengths are real and should be credited. However, the central proof as written contains load-bearing gaps, detailed below, so the manuscript needs substantial revision before these results can be accepted.

major comments (3)
  1. [§4.1, Proposition 4 and Eq. (4.2)] Proposition 4 is false as stated. Take λ2 = 3 and ξ = (2,1), so ξ1 = 1 and the range 1 ≤ r ≤ ξ1−1 in (4.2) is empty; Proposition 4 would then identify V(ξ) with W(λ). However, the defining relations (4.1) with k = 1 give (x2 ⊗ t)^s (y2 ⊗ 1)^{1+s} vξ = 0 for all s > 1, and Lemma 2 reduces this to y2(1,s)vξ = 0 for all s > 1, in particular y2(1,2)vξ = (y2 ⊗ t^2)vξ = 0. At the same time, Proposition 2(a) shows that (y2 ⊗ t^2)wλ is a nonzero basis element of W(λ). Hence the displayed presentation cannot be the kernel of W(λ) → V(ξ). This matters because Lemma 4 and the proofs in §4.4–4.5 use (4.2) to locate Ker φ, for example in Lemma 4 the sentence 'Using (4.2), we have y2(ξn, nξn)v_{ξ+} = 0'. The error is likely a simple range typo (the range 1 ≤ r ≤ ξ0 would contain the relations used), but the statement and all subsequent arguments must be corrected.
  2. [§4.1, Lemma 3, Eq. (4.3)] The proof of Lemma 3(ii) appears to contain a sign error. With the super bracket of §2.1, [y1,y2] = −y3, so already for k = 0, r = 1, s = 0 equation (4.3) should read (y1 ⊗ t^b)Y2(1,0) = Y2(1,0)(y1 ⊗ t^b) − (y3 ⊗ t^b), not with the plus sign shown. The subsequent deductions in parts (ii)–(iv) rely on canceling the first and third terms of (4.3); with the sign corrected the conclusion may still follow, but as written the identity is false. Moreover, part (iv) also uses [x3,y2] = x1 and [x1,y3] = y2, and the displayed equalities in its proof sweep the extra terms from commuting odd vectors past the sl2,α2 triple under the assumptions without a full verification. Since Lemma 3 is used to prove well-definedness of φ1, φ2 and φ3 in Theorem 4, this is a load-bearing gap.
  3. [§4.1 and §4.4–4.5, transfer principle for sl2,α2] The transfer principle stated at the start of §4.1 ('For root α2, we have a copy of sl2,α2 in sl(1|2). Thus, [14, Section 2.3, 2.4] holds in our case') is asserted, not proved. The root-α2 copy inside sl(1|2) is not closed under the bracket with the odd root spaces: [y1,y2] = −y3, [x3,y2] = x1, and [x1,y3] = y2. Consequently, relations for sl2,α2 modules do not automatically give relations in modules for sl(1|2)[t]; every commutation of a relation with x1,x3,y1,y3 must be checked. Lemma 3 is precisely that check and it is currently not correct. In addition, the proofs in §4.4–4.5 repeatedly assert existence of the maps φi by 'similar arguments' or 'it is easy to prove' (for example, φ2 and φ3 in part (i), and φ4 and φ5 in part (ii)); these are not routine in the super setting. Until these verifications are supplied, Theorem 4 and Corollary 2 are not proved.
minor comments (5)
  1. [§3.6, proof of Theorem 2] In the reverse map, 's(A) = n + ℓ' should read 's(A) = k + ℓ'; as written the bound on the GT pattern is inconsistent with the definition of s(A).
  2. [§4.1, Proposition 4] The notation '|(ξtr)(r)|' is undefined and confusing: the paper defines (ξ)(r) = ∑_{j=1}^r ξ_j, but the transpose entry should be (ξ^tr)(r) = ∑_{j=1}^r ξ^tr_j, and no absolute value is needed.
  3. [§2.5] There are several typographical slips: 'infinte-dimensional' (p. 2), 'Lie superagebra' (p. 4), and the abstract's lowercase 'lie superalgebras' should be corrected.
  4. [§4.2 and Theorem 4(ii)] The symbol 'd(ˆξ)−' is used without definition, and the statement of Theorem 4(ii) has an unclosed parenthesis in 'τsV(fξn−1((˜ξ)−)'; these should be fixed.
  5. [Lemma 4] The displayed equation 'Ker ϕ = { y2(r, ...)vξ : ξn ≤ r ≤ ξn−1 }' is missing set braces and should read 'the submodule generated by ...'; the intended meaning is clear but the notation should be made precise.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the SES and fusion-product proof are derived from external cited results and an independent dimension argument, not from their own conclusions.

full rationale

The paper's derivation is not circular. Theorem 2 explicitly treats super POPs as a reparametrization of the [2] basis and proves that the attached monomials coincide with the [2] monomials; Proposition 3 is a direct degree sum over that basis, so there is no fitted input or renamed prediction. For the CV-module half, Definition 4, Lemma 2, and Proposition 5 are quoted from [2], and Proposition 4 is adapted from [14]; these are external sources, not self-citations, and the proof of Lemma 4 uses the defining relations rather than the fusion isomorphism. The dimension argument is a standard surjection-plus-upper-bound: (4.14) supplies the lower bound from the external [2] surjection onto the fusion product, the filtration maps constructed in Sections 4.4 and 4.5 give the upper bound inductively using Proposition 1, and equality then upgrades the surjections to isomorphisms. The self-citations [12] and [18] occur only in the introduction as context and are not load-bearing. A caveat belongs to correctness rather than circularity: Proposition 4's range 1≤r≤ξ1−1 appears inconsistent with Lemma 2 (e.g. ξ=(2,1) makes the range empty), but this is an internal presentation error, not a reduction of the theorem to its own assumption.

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

The paper rests on the established local Weyl module and CV module theory of sl(1|2)[t] from [2], on the sl2,α2 current algebra machinery of [7,14], and on Garland's identity. No free parameters or new postulated entities are introduced. The main assumption is that the sl2,α2 arguments transfer unchanged to the super setting.

assumptions (4)
  • domain assumption The basis of the local Weyl module W(ψ) from [2, Corollary 3.9] (Proposition 2 here) is valid.
    The super POPs bijection (Theorem 2) and the graded character formula (Proposition 3) take this basis as their starting point.
  • domain assumption The surjection V(ξ) ↠ K(a0,ξ0)^{z0} ∗ ⋯ ∗ K(an,ξn)^{zn} from [2, Proposition 4.4] (Proposition 5 here) exists for sl(1|2)[t].
    Used in Section 4.6 to obtain the lower bound dim V(ξ) ≥ 4^{n+1}ξ0⋯ξn, which the dimension argument needs.
  • domain assumption The sl2,α2 current algebra results of [14, Sections 2.3-2.4] and [7] hold when transferred to the sl2 subalgebra of sl(1|2)[t].
    Invoked before Proposition 4; the reduction of CV relations and the Leibniz identities in Lemma 3 depend on this.
  • standard math Garland's identity (Lemma 1) from [11] as reformulated in [6].
    Used in Lemma 2 and throughout Section 3 to relate Y2(r,s) and y2(r,s).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Graded representations of current Lie superalgebras $\mathfrak{sl}(1|2)[t]$." pith.science (2026). https://pith.science/paper/XOQQRFJO

@misc{pith2026250601134,
  author       = {Pith},
  title        = {Pith review of: Graded representations of current Lie superalgebras $\mathfraksl(1|2)[t]$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XOQQRFJO}},
  note         = {Machine review of arXiv:2506.01134}
}
abstract

This paper is the study of finite-dimensional graded representations of current lie superalgebras $\mathfrak{sl}(1|2)[t]$. We define the notion of super POPs, a combinatorial tool to provide another parametrization of the basis of the local Weyl module given in [2]. We derive the graded character formula of local Weyl module for $\mathfrak{sl}(1|2)[t]$. Furthermore, we construct a short exact sequence of Chari-Venkatesh modules for $\mathfrak{sl}(1|2)[t]$. As a consequence, we prove that Chari-Venkatesh modules are isomorphic to the fusion of generalized Kac modules.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [2]

    Local Weyl modules and fusion products for the current superalgebra sl(1|2)[t]

    Matheus Brito, Lucas Calixto, and Tiago Macedo. Local Weyl modules and fusion products for the current superalgebra sl(1|2)[t]. J. Algebra, 604:224–256, 2022

    work page 2022

  2. [1]

    Weyl modules and Weyl functors for Lie superal- gebras

    Irfan Bagci, Lucas Calixto, and Tiago Macedo. Weyl modules and Weyl functors for Lie superal- gebras. Algebr. Represent. Theory, 22(3):723–756, 2019

    work page 2019

  3. [3]

    Weyl modules for Lie superalgebras

    Lucas Calixto, Joel Lemay, and Alistair Savage. Weyl modules for Lie superalgebras. Proc. Amer. Math. Soc., 147(8):3191–3207, 2019

    work page 2019

  4. [4]

    BGG reciprocity for current algebras

    Vyjayanthi Chari and Bogdan Ion. BGG reciprocity for current algebras. Compos. Math. , 151(7):1265–1287, 2015

    work page 2015

  5. [5]

    Weyl, Demazure and fusion modules for the current algebra of slr+1

    Vyjayanthi Chari and Sergei Loktev. Weyl, Demazure and fusion modules for the current algebra of slr+1. Adv. Math., 207(2):928–960, 2006

    work page 2006

  6. [6]

    Weyl modules for classical and quantum affine algebras

    Vyjayanthi Chari and Andrew Pressley. Weyl modules for classical and quantum affine algebras. Represent. Theory, 5:191–223, 2001

    work page 2001

  7. [7]

    Demazure modules, fusion products and Q-systems

    Vyjayanthi Chari and Rajendran Venkatesh. Demazure modules, fusion products and Q-systems. Commun. Math. Phys. , 333(2):799–830, 2015

    work page 2015

  8. [8]

    Feigin and S

    B. Feigin and S. Loktev. On generalized Kostka polynomials and the quantum Verlinde rule. In Differential topology, infinite-dimensional Lie algebras, and applications , volume 194 of Amer. Math. Soc. Transl. Ser. 2 , pages 61–79. Amer. Math. Soc., Providence, RI, 1999

    work page 1999

Show all 18 references
  1. [9]

    Weyl modules for osp(1, 2) and nonsymmetric Macdonal polynomials

    Evgeny Feigin and Ievgen Makedonskyi. Weyl modules for osp(1, 2) and nonsymmetric Macdonal polynomials. Math. Res. Lett. , 24(3):741–766, 2017

    2017

  2. [10]

    Fourier and P

    G. Fourier and P. Littelmann. Weyl modules, Demazure modules, KR-modules, crystals, fusion products and limit constructions. Adv. Math., 211(2):566–593, 2007

    2007

  3. [11]

    The arithmetic theory of loop algebras

    Howard Garland. The arithmetic theory of loop algebras. J. Algebra, 53(2):480–551, 1978. 26 SHUSHMA RANI AND DIVYA SETIA

    1978

  4. [12]

    Graded Character Formula for Fusion Products of Ir- reducible Modules and Littlewood-Richardson Coefficients in Type A2

    Tanusree Khandai and Shushma Rani. Graded Character Formula for Fusion Products of Ir- reducible Modules and Littlewood-Richardson Coefficients in Type A2. arXiv e-prints , page arXiv:2303.03337, March 2023

    2023 arXiv

  5. [13]

    Representations of Lie superalgebras with fusion flags

    Deniz Kus. Representations of Lie superalgebras with fusion flags. Int. Math. Res. Not. IMRN , (17):5455–5485, 2018

    2018

  6. [14]

    Graded Representations of Current Algebras

    Kayla Murray. Graded Representations of Current Algebras. Ph.d. dissertation, University of Cali- fornia, Riverside, 2018. ProQuest ID: Murray ucr 0032D 13346, Merritt ID: ark:/13030/m5jh8j22

    2018

  7. [15]

    Tensor products of Kirillov-Reshetikhin modules and fusion products

    Katsuyuki Naoi. Tensor products of Kirillov-Reshetikhin modules and fusion products. Int. Math. Res. Not. IMRN , (18):5667–5709, 2017

    2017

  8. [16]

    K. N. Raghavan, B. Ravinder, and Sankaran Viswanath. On Chari-Loktev bases for local Weyl modules in type A. J. Combin. Theory Ser. A , 154:77–113, 2018

    2018

  9. [17]

    Demazure modules, Chari-Venkatesh modules and fusion products

    Bhimarthi Ravinder. Demazure modules, Chari-Venkatesh modules and fusion products. SIGMA Symmetry Integrability Geom. Methods Appl. , 10:Paper 110, 10, 2014

    2014

  10. [18]

    Filtration of tensor product of local Weyl modules for sln+1[t]

    Divya Setia, Shushma Rani, and Tanusree Khandai. Filtration of tensor product of local Weyl modules for sln+1[t]. J. Algebraic Combin. , 2025. Department of Mathematics, Indian Institute of Science, Bangalore, 560012, India. Email address : shushmarani@iisc.ac.in, shushmarani9...

    2025

Pith tools

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