Pith. sign in

REVIEW 4 major objections 4 minor 28 references

Double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{M|N}$, II: Quantum currents

T0 review · 4 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read The paper proves that the double Yangian of the Lie superalgebra $\mathfrak{gl}_{M|N}$ has tableaux-indexed central series at the critical level and that its vacuum module carries an $h$-adic quantum vertex superalgebra structure.

desk verdict A genuine super-case extension of the Etingof–Kazhdan construction with real new content, but two of the three main theorems lean on deferred even-case proofs; worth refereeing, needs revision. read the letter →

arxiv 2608.12162 v1 pith:LJJ7KG4F submitted 2026-08-12 math.QA

classification math.QA MSC 17B3717B6981R12
keywords doubleYangianLiesuperalgebraquantumvertexcriticallevelcentralelementsreflectionalgebravacuummoduleYoungtableaux
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 pushes the quantum vertex algebra construction from ordinary Yangians to the Lie superalgebra $\mathfrak{gl}_{M|N}$. It constructs, for every Young tableau shape $\lambda$, a formal series $T_\lambda(u)$ in a completion of the double Yangian at critical level $c=N-M$, and proves that all of its coefficients are central. It then equips the vacuum module $V^c(\mathfrak{gl}_{M|N})$ with a unique $h$-adic quantum vertex superalgebra structure, so that restricted double-Yangian modules at level $c$ become modules for this superalgebra. Finally, restricted modules over the associated reflection algebra are shown to carry natural quasi-$V^0$-module structures. If correct, the paper provides the super analogue of the rational quantum vertex algebra construction and a supply of commuting quantities in the critical-level algebra.

What carries the argument

The central machinery is the rational $R$-matrix $R(u)$ together with its normalized form $\bar R(u)=g(u)R(u)$, the supertrace identities, and the symmetric-group fusion procedure that turns a standard Young tableau $U$ of shape $\lambda$ into an idempotent $E_U$. These ingredients define $T_\lambda(u) = \mathrm{str}_{1,\ldots,n}\,E_U\,T^+_1(u+c_1)\cdots T^+_n(u+c_n)\,T^-_n(u+c_n+\kappa)^{-1}\cdots T^-_1(u+c_1+\kappa)^{-1}$; the same $R$-matrix, through the quantum current $T(u)=T^+(u)T^-(u+hC/2)^{-1}$, gives the vertex operator map and braiding on $V^c(\mathfrak{gl}_{M|N})$.

What would settle it

Take $M=1$, $N=2$ and two odd elements of $V^c(\mathfrak{gl}_{1|2})$; expand the hexagon identity and weak associativity determined by formulas (4.11) and (4.12) as power series in $h$ and $z$, and check the coefficient of $h^3$ in the relevant matrix entries. Any nonzero remainder would refute the asserted direct extension of the even-case proof.

Watch

Extended reading notes

Core claim

The central claim is that the supersymmetric double Yangian for $\mathfrak{gl}_{M|N}$ supports the same three structures known in the even case: a family of central series in the completed critical-level algebra, indexed by partitions and defined through normally ordered products of quantum currents; a unique $h$-adic quantum vertex superalgebra structure on the vacuum module $V^c(\mathfrak{gl}_{M|N})$, with vertex operator map $Y(T^+_{[n]}(u)1,z) = T^+_{[n]}(u|z)\,T^-_{[n]}(u|z+hc/2)^{-1}$ and braiding built from the rational $R$-matrix; and a quasi-module structure on restricted reflection-algebra modules, with $Y_W(T^+_{[n]}(u)1,z)=B^+_{[n]}(u|z)_W\,B^-_{[n]}(u|z)_W^{-1}$. The proof of centrality moves the tableau idempotent $E_U$ through $R$-matrices and $T$-factors using crossing symmetry and supertrace identities; the vertex algebra part verifies the $\mathbb{Z}_2$-grading restrictions and the sign in S-locality, with the remaining axioms asserted to follow from the even case.

Load-bearing premise

The proof of the vacuum-module theorem assumes, without writing out the details, that all quantum vertex superalgebra axioms except the $\mathbb{Z}_2$-grading restrictions and the sign in S-locality follow by direct extension of the even-case proofs; if hidden sign or ordering issues appear in weak associativity, the hexagon identity, the shift condition, unitarity, or the quantum Yang-Baxter equation, the vacuum-module construction would fail.

Editorial extensions

If this is right

  • The coefficients of $T_\lambda(u)$ lie in the center of the completed critical-level double Yangian, so they act as scalars on every irreducible critical-level module.
  • Every restricted $\mathrm{DY}(\mathfrak{gl}_{M|N})$-module of level $c$ carries a module structure over the quantum vertex superalgebra $V^c(\mathfrak{gl}_{M|N})$.
  • Restricted reflection-algebra modules realize quasi-modules of $V^0(\mathfrak{gl}_{M|N})$, connecting reflection data to quantum vertex superalgebra actions.
  • At the critical level, the invariant series $T^+_\lambda(u)$ belong to the center of $V^{N-M}$, and their coefficients generate a commutative subalgebra of the dual Yangian.

Reading between the lines

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

  • If the $h$-adic super structure is valid, the central series $T_\lambda(u)$ should specialize to commuting transfer matrices in super spin-chain models with $\mathfrak{gl}_{M|N}$ symmetry, matching the known invariants in the trigonometric super case.
  • The same construction might adapt to trigonometric or elliptic $R$-matrices, producing quantum vertex superalgebras for affine super Yangians, provided the crossing-symmetry normalization survives.
  • The tableau parametrization raises the natural question of whether the coefficients of $T_\lambda(u)$ at the critical level are algebraically independent, and whether the lowest-degree coefficient recovers the super analogue of a Sugawara-type operator.
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.

Referee Report

4 major / 4 minor

Summary. The paper studies the double Yangian DY(gl_{M|N}) in its R-matrix presentation, continuing the authors' prior work. Section 3 constructs a family of formal power series T_λ(u) via the fusion procedure and the supertrace over Young tableaux, and claims (Theorem 3.3) that all their coefficients belong to the center of the completion of the double Yangian at the critical level. Section 4 defines a structure of h-adic quantum vertex superalgebra on the vacuum module V^c(gl_{M|N}), giving an explicit vertex operator map (4.11) and braiding (4.12), and identifies the critical-level central elements with the center of the vertex superalgebra. Section 5 shows that restricted modules over the reflection algebra DB(gl_{M|N}) carry a natural quasi V^0(gl_{M|N})-module structure. The results generalize the even-type-A constructions of Etingof-Kazhdan, Jing-Kozic-Molev-Yang, and Kozic to the super setting.

Significance. If the main theorems hold, the paper provides a supersymmetric counterpart of the Etingof-Kazhdan quantum vertex algebra construction in the rational R-matrix presentation, together with explicit central elements at the critical level. The explicit formulas for the central series T_λ(u) (3.14), the vertex operator map (4.11), and the braiding (4.12) are valuable, and the treatment of the supertrace identities and fusion procedure is careful. The paper also connects the construction to reflection algebras. The principal weakness is that several load-bearing proofs are deferred to even-case analogues or described as direct extensions without checking the super signs, which prevents the manuscript from being fully convincing as written.

major comments (4)
  1. The proof establishes only the commutativity of T_λ(u) with T^-_0(z), while the commutativity with T^+_0(z) is dismissed with 'Both identities can be verified by arguing as in the proof of [11, Thm. 4.4]' and only the second is presented. This is load-bearing for the central-elements claim: the super R-matrix (2.1) contains the graded permutation P, the supertrace (3.1) is graded-cyclic, and the crossing symmetry (2.4) involves the supertransposition (2.5). In the omitted T^+ identity the signs accumulate differently when moving T^+_0(z) past the product T^+_1...T^+_n (T^-_n)^{-1}...(T^-_1)^{-1}. Please provide the full derivation of the T^+ identity, or at least a step-by-step indication of how (3.11), (3.13), (3.6), and (2.4) are used in the super case; without this, Corollaries 3.4 and 3.5 and the vertex-algebra interpretation in Corollary 4.4 are not fully supported.
  2. [Section 4, Theorem 4.3(1)] The proof verifies only the Z_2-grading restrictions (4.6) and (4.7) and the sign in S-locality (4.8). The remaining axioms of Definition 4.1, namely weak associativity, shift condition, quantum Yang-Baxter equation, unitarity, and hexagon identity, are asserted to follow from the even-case proofs in [7] and [11] by direct extension. Since the vertex operator map (4.11) and braiding (4.12) involve ordered products of T^± with shifts by hc/2 and R-matrices acting on multiple tensor factors, hidden super-sign or ordering issues could invalidate those axioms. Please provide the verification of at least weak associativity and the hexagon identity in the super setting, or state precisely which steps are letter-for-letter the same as in the even case and why the Z_2-grading does not alter them.
  3. [Section 5, Theorem 5.1] The proof is deferred in full to [17, Thm. 2.7] with the remark that the computations are 'lengthy but standard'. As Theorem 5.1 is one of the paper's main results, the manuscript should contain a proof outline showing how the reflection relations and the quasi-module axioms are checked, and in particular how the grading restriction (4.9), which is claimed to be an 'immediate consequence' of the module structure over an associative superalgebra, is established.
  4. [Section 4, Theorem 4.3] The theorem statement asserts existence and uniqueness of the h-adic quantum vertex superalgebra structure, but the proof only addresses existence. Uniqueness is not demonstrated; please either prove it explicitly or state clearly that it follows from the uniqueness of the vertex operator map (4.11) and the braiding (4.12) as in the even case.
minor comments (4)
  1. [Lemma 3.2, proof] The sentence 'The first equality follows analogously' should read 'The second equality follows analogously', since the first equality of (3.13) has just been proved.
  2. [Definition 4.1(3)] The phrase 'a distinct element of V_\bar0' should be 'a distinguished element of V_\bar0'.
  3. [Section 4, proof of Theorem 4.3(1)] The claim that the C[[h]]-span of [V] is h-adically dense in V^c(gl_{M|N}) is stated without proof; a brief justification would improve the readability of the grading argument.
  4. [Abstract] The phrase 'structure of h-adic quantum vertex superalgebra' is missing the indefinite article; it should read 'an h-adic quantum vertex superalgebra'.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the super-case results are not equivalent to their inputs, but some central steps are deferred to prior self-cited even-case papers, producing gaps rather than circularity.

full rationale

No circular step of the kinds enumerated in the rubric was found. The central claims—Theorem 3.3 (centrality of the coefficients of T_λ(u) in the completed critical-level double Yangian) and Theorem 4.3 (structure of h-adic quantum vertex superalgebra on V^c(gl_{M|N}))—are not obtained by assuming those same claims. The inputs are the R-matrix presentation (2.6)–(2.7), the crossing-symmetry identities (2.4), the fusion procedure (3.8)–(3.9), the supertrace identities (3.1)–(3.6), and the even-case analogues [6,7,11,17]. Those even-case results are externally published and do not contain the Z_2-graded case; the genuinely new content lies in the graded permutation (2.1), the supertrace signs, and the sign (-1)^{ij} in S-locality (4.8). The self-citations [2,3,11,17] are to established prior theorems and proof templates, not to the target super-case statements, so they do not make the derivation circular. Two load-bearing omissions should be flagged as correctness risks, not circularity. First, in the proof of Theorem 3.3 the paper states: 'Both identities can be verified by arguing as in the proof of [11, Thm. 4.4], which is an even counterpart of this theorem. However, for completeness, we present the proof of the second identity in full detail.' Only the T^- identity is proved; the T^+ commutation required for centrality is deferred. Second, in the proof of Theorem 4.3(1) the paper says: 'These proofs directly extend to the super case, due to the same form of the vertex operator map and the braiding. Therefore, we shall only verify the requirements from Definition 4.1 which are related to Z_2-grading.' The remaining axioms are not checked in the super setting. These are incomplete extensions, not reductions of the claim to its own input. The score of 2 reflects minor self-citation dependence, not circularity.

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

No free parameters are fitted to data; M, N, c, λ, and the contents c_a are declared inputs. The paper introduces no new entities; it uses the existing notions of h-adic quantum vertex superalgebra and quasi module. The main axiomatic burden is the claim that the even-case proofs extend directly to the super setting.

assumptions (4)
  • standard math PBW theorem for DY(gl_{M|N}) giving an isomorphism U(bgl_{M|N}) to gr DY, from [2, Thm. 2.9]
    Invoked in Section 2 to describe the associated graded algebra and the subalgebras Y and Y^+; it underpins the vacuum module construction.
  • standard math Fusion procedure for the symmetric group, [20, Prop. 1.1.7]
    Used in Section 3 to obtain primitive idempotents E_U from the rational function phi(u_1,...,u_n), which is central to the definition of T_λ(u).
  • standard math Properties of the normalized R-matrix: quantum Yang-Baxter equation, unitarity, and crossing symmetry (2.4), plus existence of g(u) with g(u+M-N) = (1-u^{-2}) g(u)
    These are standard for gl_{M|N}; the supertransposition and supertrace identities (3.1)-(3.6) are proven in the text and are used throughout the central element proof.
  • ad hoc to paper Even-case results of [11] and [17] extend verbatim to the super case
    The proofs of Theorem 4.3(1) and Theorem 5.1 invoke direct extension of the Etingof-Kazhdan construction and of Kožić's quasi module theorem without re-deriving all axioms; this is the main unverified premise of the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{M|N}$, II: Quantum currents." pith.science (2026). https://pith.science/paper/LJJ7KG4F

@misc{pith2026260812162,
  author       = {Pith},
  title        = {Pith review of: Double Yangian and reflection algebras of the Lie superalgebra $\mathfrakgl_M|N$, II: Quantum currents},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LJJ7KG4F}},
  note         = {Machine review of arXiv:2608.12162}
}
abstract

In this paper, we continue our research on the double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{M|N}$. We construct families of central elements in the double Yangian for $\mathfrak{gl}_{M|N}$ at the critical level. Next, extending the Etingof-Kazhdan construction, we introduce the structure of $h$-adic quantum vertex superalgebra on the vacuum module $V^c(\mathfrak{gl}_{M|N})$ over the double Yangian of level $c\in\mathbb{C}$. Finally, we show that restricted modules over the reflection algebra of $\mathfrak{gl}_{M|N}$ are naturally equipped with the structure of quasi $V^c(\mathfrak{gl}_{M|N})$-module.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 20 canonical work pages

  1. [11]

    N. Jing, S. Koˇ zi´ c, A. Molev, F. Yang,Center of the quantum affine vertex algebra in typeA, J. Algebra496(2018), 138–186

  2. [12]

    N. Jing, M. Liu, J. Zhang,Quantum Sugawara operators inU q(bglM|N ), arXiv:2607.16627 [math.QA]

  3. [7]

    Gardini,Quantum vertex algebras, Ph.D

    M. Gardini,Quantum vertex algebras, Ph.D. thesis, Sapienza – University of Rome, 2018

  4. [17]

    Quasi modules for the quantum affine vertex algebra in type $A$

    S. Koˇ zi´ c,Quasi modules for the quantum affine vertex algebra in typeA, Comm. Math. Phys.365 (2019), 1049–1078; arXiv:1707.09542 [math.QA]

  5. [2]

    Double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{m|n}$

    L. Bagnoli, S. Koˇ zi´ c,Double Yangian and reflection algebras of the Lie superalgebraglm|n, Commun. Contemp. Math.27(2025), 2450007 (25pp); arXiv:2311.02410 [math.QA]

  6. [1]

    C. Ahn, W. M. Koo,gl(n|m)color Calogero–Sutherland models and super Yangian algebra, Phys. Lett. B365(1996), 105–112; arXiv:hep-th/9505060

  7. [3]

    A note on the quantum Berezinian for the double Yangian of the Lie superalgebra $\mathfrak{gl}_{m|n}$

    L. Bagnoli, S. Koˇ zi´ c,A note on the quantum Berezinian for the double Yangian of the Lie superalgebra glm|n, Algebr. Represent. Theory28(2025), 143–155; arXiv:2402.00487 [math.RT]

  8. [4]

    Lax pair and super-Yangian symmetry of the non-linear super-Schr\"odinger equation

    V. Caudrelier, E. Ragoucy,Lax pair and super-Yangian symmetry of the nonlinear super-Schr¨ odinger equation, J. Math. Phys.44(2003), 5706–5732; arXiv:math/0306115 [math.QA]

Show all 28 references
  1. [5]

    De Sole, M

    A. De Sole, M. Gardini, V. G. Kac,On the structure of quantum vertex algebras, J. Math. Phys.61 (2020), 011701 (29pp); arXiv:1906.05051 [math.QA]

  2. [6]

    Etingof, D

    P. Etingof, D. Kazhdan,Quantization of Lie bialgebras, V, Selecta Math. (N.S.)6(2000), 105–130; arXiv:math/9808121 [math.QA]

  3. [8]

    Gow,Gauss Decomposition of the YangianY(gl m|n), Comm

    L. Gow,Gauss Decomposition of the YangianY(gl m|n), Comm. Math. Phys.276(2007), 799–825; arXiv:math/0605219 [math.QA]

  4. [9]

    Gow,Yangians of Lie Superalgebras, University of Sydney, 2007

    L. Gow,Yangians of Lie Superalgebras, University of Sydney, 2007

  5. [10]

    Hatsuda, K

    M. Hatsuda, K. Yoshida,Classical integrability and super Yangian of superstring on AdS 5×S 5, Adv. Theor. Math. Phys.9(2005), 703–728; arXiv:hep-th/0407044

  6. [13]

    Jucys,On the Young operators of the symmetric group, Lietuvos Fizikos Rinkinys6(1966), 163–180

    A. Jucys,On the Young operators of the symmetric group, Lietuvos Fizikos Rinkinys6(1966), 163–180

  7. [14]

    G. Ju, S. Wang, K. Wu,The algebraic structure of thegl(n|m)color Calogero–Sutherland models, J. Math. Phys.39(1998), 2813–2820; arXiv:q-alg/9710005

  8. [15]

    Kong, H.-S

    F. Kong, H.-S. Li,Double Yangians and lattice quantum vertex algebras, arXiv:2509.16592v1 [math.QA]

  9. [16]

    Kong, H.-S

    F. Kong, H.-S. Li,Double Yangians and quantum vertex algebras, I, arXiv:2509.16528v2 [math.QA]

  10. [18]

    Li,ℏ-adic quantum vertex algebras and their modules, Comm

    H.-S. Li,ℏ-adic quantum vertex algebras and their modules, Comm. Math. Phys.296(2010), 475– 523; arXiv:0812.3156 [math.QA]

  11. [19]

    K. Lu, E. Mukhin,Jacobi–Trudi identity and Drinfeld functor for super Yangian, Int. Math. Res. Not. IMRN2021(2021), 16751–16810; arXiv:2007.15573 [math.QA]

  12. [20]

    Molev,Sugawara operators for classical Lie algebras, Mathematical Surveys and Monographs, vol

    A. Molev,Sugawara operators for classical Lie algebras, Mathematical Surveys and Monographs, vol. 229, American Mathematical Society, Providence, RI, 2018

  13. [21]

    A. I. Molev,Odd reflections in the Yangian associated withgl(m|n), Lett. Math. Phys.112(2022), Paper No. 8 (15pp); arXiv:2109.09462v3 [math.RT]. 16

  14. [22]

    A. I. Molev, E. Ragoucy,Representations of reflection algebras, Rev. Math. Phys.14(2002), 317– 342; arXiv:math/0107213 [math.QA]

  15. [23]

    M. L. Nazarov,Quantum Berezinian and the classical Capelli identity, Lett. Math. Phys.21(1991), 123–131

  16. [24]

    Peng,Parabolic presentations of the super YangianY(gl M|N )associated with arbitrary 01- sequences, Comm

    Y.-N. Peng,Parabolic presentations of the super YangianY(gl M|N )associated with arbitrary 01- sequences, Comm. Math. Phys.346(2016), 313–347; arXiv:1501.07378v2 [math.QA]

  17. [25]

    N. Yu. Reshetikhin, M. A. Semenov-Tian-Shansky,Central extensions of quantum current groups, Lett. Math. Phys.19(1990), 133–142

  18. [26]

    Tsymbaliuk,Shuffle algebra realizations of typeAsuper Yangians and quantum affine superalge- bras for all Cartan data, Lett

    A. Tsymbaliuk,Shuffle algebra realizations of typeAsuper Yangians and quantum affine superalge- bras for all Cartan data, Lett. Math. Phys.110(2020), 2083–2111; arXiv:1909.13732 [math.RT]

  19. [27]

    P. Xu, H. Lin, H. Zhang,The double super Yangians in type A for arbitrary0 m1n-sequences and their bosonic representations, arXiv:2608.01031 [math.RT]

  20. [28]

    Zhang,Super-Yangian double and its central extension, Phys

    Y.-Z. Zhang,Super-Yangian double and its central extension, Phys. Lett. A234(1997), 20–26; arXiv:q-alg/9703027. 17

Pith tools

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