REVIEW 5 major objections 5 minor 1 cited by
The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations
T0 review · 5 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For every $0^m1^n$ parity sequence, the double super Yangian has two matching presentations and explicit level-1 boson modules.
desk verdict Solid extension of double super Yangian technology to all parity sequences, but the central isomorphism proof rests on a one-sentence transfer of a PBW independence argument; worth refereeing, but the gaps need to be filled. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing tools are: (1) the Gauss decomposition of the generating matrix $T^\pm(u)$ into quasideterminantal series ('Gaussian generators') $k_i^\pm(u)$, $e_j^\pm(u)$, $f_j^\pm(u)$, which yields the Drinfeld currents; (2) a PBW-type basis with a new total order, whose associated graded algebra is the enveloping algebra of the affine Lie superalgebra $\widehat{\mathfrak{gl}}^s_{m|n}$; (3) the quantum Berezinian, a multiplicative power series in the center that separates the $\mathfrak{gl}$ and $\mathfrak{sl}$ double super Yangians.
What would settle it
Compute the determinant of the linear map from R-matrix monomials to the ordered PBW monomials for a non-standard sequence such as $s=1010$ at low order in $h$; a nontrivial kernel would refute Lemma 3.6. Alternatively, plug the bosonic assignment of Theorem 8.2 into the Serre relation (4.62) for a sequence with $|\alpha_i|=1$ and check that the coefficient of every non-symmetric monomial vanishes.
Extended reading notes
Core claim
The paper's central claim is that for fixed $(m,n)$ and any parity sequence $s$, the R-matrix double super Yangian $\mathrm{DY}_h(\mathfrak{gl}^s_{m|n})$ is isomorphic to the Drinfeld-current algebra generated by the coefficients of $k_i^\pm(u)$, $e_j^\pm(u)$, $f_j^\pm(u)$ with the relations of Theorem 4.10; the analogous isomorphism holds for $\mathrm{DY}_h(\mathfrak{sl}^s_{m|n})$ using currents $H_i^\pm(u)$, $E_i(u)$, $F_i(u)$ with the relations of Lemma 7.5. The proof routes through a PBW-type basis for the R-matrix algebra, its classical limit to $U(\widehat{\mathfrak{gl}}^s_{m|n})$, and the Gauss decomposition of the generator matrix into quasideterminants. It then produces level-1 modu
Load-bearing premise
The PBW linear-independence argument is taken from the standard-parity case and assumed to transfer unchanged to every parity sequence and to the new generator ordering; that transfer is not proved in detail and is load-bearing for the classical-limit and isomorphism theorems.
Editorial extensions
If this is right
- For any fixed $(m,n)$, the double super Yangians for different parity sequences $s$ are isomorphic, so odd reflections do not produce new algebras.
- The Drinfeld presentation is available for arbitrary $s$, making current-based methods such as Bethe ansatz and vertex-operator constructions applicable for any parity sequence.
- The quantum Berezinian gives central elements and, for $m\neq n$, a tensor decomposition $\mathrm{DY}_h(\mathfrak{gl}^s_{m|n}) \cong Z \otimes \mathrm{DY}_h(\mathfrak{sl}^s_{m|n})$.
- The explicit level-1 bosonic modules give concrete infinite-dimensional representations for all $\mathfrak{gl}$ and $\mathfrak{sl}$ double super Yangians in type A for every parity sequence.
Reading between the lines
- The same PBW-transfer strategy may prove analogous presentation isomorphisms for double super Yangians of orthosymplectic type with arbitrary parity data; this extension is not stated in the paper.
- In the specialization $h\to 0$, the level-1 bosonic modules should recover standard level-1 modules of the affine Lie superalgebra $\widehat{\mathfrak{gl}}^s_{m|n}$; a character comparison would test this consequence.
- The $h$-shifts inside the quantum Berezinian suggest a link to shifted Yangian structures, where the shift parameters are determined by the parity sequence; the paper does not discuss this.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces double super Yangians DY_h(gl^s_{m|n}) and DY_h(sl^s_{m|n}) attached to arbitrary 0^m1^n parity sequences s, and claims three main results: (i) an explicit isomorphism between the R-matrix presentation and a Drinfeld-type current presentation of DY_h(gl^s_{m|n}); (ii) a quantum Berezinian construction that yields the R-matrix presentation of DY_h(sl^s_{m|n}) and its equivalence with a Drinfeld presentation; (iii) explicit level-1 bosonic Fock representations of both algebras. The proofs follow the strategy of Yang–Jing for type A double Yangians and Gow/Peng for super Yangians with arbitrary parity sequences. The main technical engine is a Poincaré–Birkhoff–Witt type basis for DY_h(gl^s_{m|n}) (Theorem 3.7) and the resulting classical-limit isomorphism (Proposition 3.9), which are then used to prove injectivity of the Drinfeld-to-R-matrix map in Theorem 5.1.
Significance. If the results are correct, the paper resolves the isomorphism problem between R-matrix and Drinfeld presentations for type A double super Yangians for all parity sequences, extending the standard-sequence results of Bagnoli–Kožić and Zhang. It also provides concrete bosonic modules, which are valuable for applications in representation theory and mathematical physics. The paper is well organized and the overall strategy is coherent. Its main strengths are the explicit Gauss-decomposition formulas, the uniform treatment of all parity sequences, and the explicit formulas for the quantum Berezinian and the level-1 bosonization. However, several load-bearing steps are either asserted without proof or outsourced to unpublished/non-verifiable references; these gaps need to be addressed before the results can be considered established.
major comments (5)
- [§3.2, Lemma 3.6] Linear independence of the set B is dispatched with the sentence: "the proof of linear independence in [3, Theorem 2.6] does not depend on the generator ordering or the parity sequence." This is a load-bearing assertion: Theorem 3.7 (PBW basis), Proposition 3.9 (classical limit isomorphism), and the injectivity part of Theorem 5.1 all rely on it. Moreover, Remark 3.8 explicitly states that the total order used here differs from that in [3] even for the standard sequence, so the transfer is not a mere restatement. The order (j−i, i, r) is new, and the signs d_i are precisely what varies with s. Please supply a full proof of linear independence for this ordering and parity sequence, or alternatively prove injectivity by transporting the standard-sequence PBW basis through Lemma 3.4.
- [§4.3.3, Lemma 4.9 / Theorem 4.10] Theorem 4.10 lists relations for all i, including the non-adjacent relations (4.56) and (4.60) and the Serre relations (4.61) and (4.62). The proof for N≥4 only verifies relations between the two endpoint sets {k_1,e_1,f_1} and {k_N,e_{N-1},f_{N-1}} and then asserts that induction and Lemma 4.5 give the rest. The embedding argument is not written out; in particular, Lemma 4.9 proves the Serre relation (4.39) only for a single i. If any of the relations in Theorem 4.10 is not actually implied by the checked cases, then dDY_h(gl^s_{m|n}) in Theorem 5.1 may be strictly larger than the image of DY_h(gl^s_{m|n}), breaking the claimed isomorphism. Please spell out the induction/embedding procedure for every family of relations.
- [§7, Lemmas 7.2 and 7.4; Proposition 7.3] Section 7 relies on the authors' unpublished preprint [38] for several key statements: Lemma 7.2 is proved by reference to [38, Lemma 4.4], Lemma 7.4 by reference to [38, Lemma 4.7], and Proposition 7.3 follows the argument of [38]. Since [38] is not publicly available, the referee cannot verify these steps. These lemmas are load-bearing for the entire construction of DY_h(sl^s_{m|n}) and its R-matrix presentation. Please either include full proofs in the paper or replace the references to [38] with a published source or with an appendix containing the needed results.
- [§7, Theorem 7.6] The injectivity of φ: dDY_h(sl^s_{m|n}) → DY_h(sl^s_{m|n}) is dismissed with "The same arguments as in the proof of Theorem 5.1 show that φ is also injective." Those arguments require a PBW-type spanning set for dDY_h(sl^s_{m|n}) and linear independence of the corresponding ordered monomials inside DY_h(sl^s_{m|n}). The paper does not construct such a basis for the sl-type algebra, nor does it prove that the currents H_i, E_i, F_i admit an ordered monomial basis in the subalgebra DY_h(sl^s_{m|n}). Without this, the claimed isomorphism in Theorem 7.6 is not established. Please provide the missing basis argument.
- [§8.1, Theorem 8.2] The proof of Theorem 8.2 explicitly verifies only the relation (4.57) among the currents, and ends with "The remaining relations in Theorem 4.10 follow by similar calculations." To define a module over DY_h(gl^s_{m|n}), all relations (4.48)–(4.63) must be checked, including the k–X commutations (4.52)–(4.56), the mixed X^+–X^- relation (4.63), and the Serre relations (4.61)–(4.62). The associated operator product expansions are nontrivial and sign-sensitive because of the parity sequence. Please include the full set of checks, or at least the key OPEs, so that the Fock-space module structure is actually proven.
minor comments (5)
- [Abstract and throughout] The notation "0^m1^n--sequence" in the abstract and in Section 2 is typeset inconsistently (e.g., "0m1n--sequences" in the abstract). Use a consistent math mode notation.
- [Definition 6.4] The text says "Given a 01–sequence s = ..."; it should say "Given a 0^m1^n-sequence s = ..." for clarity.
- [Eq. (4.16) and (4.63)] The delta symbol δ(v/u) is used before being defined in the same line. It would help to define it just before first use, e.g., in the N=2 subsection.
- [Lemma 3.4] The proof of independence of the parity sequence is short but correct; however, it would be helpful to state explicitly that the permutation σ is chosen so that d_{σ(i)} = d_i, since this is what makes the relabeling preserve the R-matrix relations.
- [Remark 8.1] The remark that brackets are ordinary is useful, but it would be even clearer to say explicitly that the super signs in the commutation relations of the Drinfeld currents are already encoded in the relations being verified, and the bosonic operators are even.
Circularity Check
No significant circularity: the main gl isomorphism is proved through PBW bases anchored in an external published theorem, and the sl construction uses a same-author preprint only for a minor, easily checkable lemma. The load-bearing gaps flagged by the skeptic are correctness risks, not circular reductions.
full rationale
The paper's central claim, Theorem 5.1, is an isomorphism between the R-matrix and Drinfeld presentations of DY_h(gl^s_{m|n}). The proof is not circular: the Drinfeld algebra dDY_h(gl^s_{m|n}) is defined by the relations of Theorem 4.10, which are derived directly from the R-matrix Gaussian generators; surjectivity comes from the Gauss decomposition, and injectivity from the existence of ordered monomial bases for both dDY_h(gl^s_{m|n}) and DY_h(gl^s_{m|n}). The only suspicious link is Lemma 3.6, where linear independence is asserted by transferring [3, Theorem 2.6] 'since the proof of linear independence in [3, Theorem 2.6] does not depend on the generator ordering or the parity sequence.' This is a load-bearing unproved assertion: the PBW basis built on it is used in Proposition 3.9 and then in Theorem 5.1. However, [3] is an external published paper by Bagnoli and Kozić, not a self-citation, and the paper is not using its own conclusion as an input. If the transfer fails, the proof would be incorrect, but that is a correctness risk, not circularity. The sl-case construction in Section 7 cites the authors' own unpublished preprint [38]: 'Following the approach of [38]' and Lemma 7.2's proof is 'identical to that of [38, Lemma 4.4].' This is a self-citation, but it is not equivalent to the theorem being proved; Lemma 7.2 is a straightforward consequence of the automorphism μ_{g±} defined in Definition 7.1, and the generation lemma (Lemma 7.4) and the isomorphism theorem (Theorem 7.6) are given with arguments in the text. Thus the self-citation is minor and not load-bearing in the sense of making the central claim reduce to the cited preprint. No parameter fitting, no renamed known result, and no uniqueness imported from the authors occur. Overall the derivation is self-contained enough that the only circularity score warranted is a low one reflecting the minor self-citation and the unproved external transfer, not a finding of circular reasoning.
Assumptions & free parameters
assumptions (4)
- standard math The R-matrix R(u) = 1 + u^{-1} h P satisfies Yang-Baxter and unitarity in the super setting (Section 3.1).
- domain assumption The leading principal minors of T^±(u) are invertible, so the Gauss decomposition in (4.2) holds (Section 4.1).
- domain assumption The linear-independence proof in [3, Theorem 2.6] transfers unchanged to arbitrary generator orderings and parity sequences (Lemma 3.6).
- domain assumption The injective homomorphisms φ_{p|q} and ψ_{p|q} exist as embeddings between double super Yangians, following [33, Lemma 4.1] (Section 4.2).
invented entities (2)
-
Double super Yangian DY_h(gl^s_{m|n}) for arbitrary 0^m1^n sequence s
-
Double super Yangian DY_h(sl^s_{m|n}) for arbitrary s
Cite this review
Pith. "Pith review of The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations." pith.science (2026). https://pith.science/paper/OPCNUBTD
@misc{pith2026260801031,
author = {Pith},
title = {Pith review of: The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations},
year = {2026},
howpublished = {\url{https://pith.science/paper/OPCNUBTD}},
note = {Machine review of arXiv:2608.01031}
}
abstract
In this paper, we introduce the double super Yangian $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ associated with any fixed $0^{m}1^{n}$--sequence $\mathfrak{s}$. First, we establish an explicit isomorphism between the Drinfeld and R--matrix presentations of $\mathrm{DY}_{h}(\mathfrak{gl}^{\mathfrak{s}}_{m|n})$. We then generalize the notion of the quantum Berezinian to $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$, and employ it to construct the R--matrix presentation of $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ and prove that it is isomorphic to the Drinfeld presentation. As an application, we present level--1 bosonic representations for $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ in terms of their Drinfeld current generators.
Forward citations
Cited by 1 Pith paper
-
Double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{M|N}$, II: Quantum currents
The authors extend the Etingof-Kazhdan quantum vertex algebra construction and the critical-level central element construction from the double Yangian of gl_M to the Lie superalgebra gl_{M|N}.
Reference graph
Works this paper leans on
-
[3]
L. Bagnoli, S. Koˇ zi´ c, Double Yangian and reflection algebras of the Lie superalgebra glm|n, Commun. Contemp. Math.27(2) (2025), Paper No. 2450007, 25. 27
work page 2025
-
[38]
P. Xu, H. Lin, H. Zhang, Isomorphism between theR-matrix and Drinfeld presentations of quantum affine superalgebra for typeA, preprint
-
[2]
L. Bagnoli, S. Koˇ zi´ c, A note on the quantum Berezinian for the double Yangian of the Lie superalgebragl m|n, Algebr. Represent. Theory28(1) (2025) 143–155
work page 2025
-
[1]
D. Arnaudon, J. Avan, N. Cramp´ e, L. Frappat, E. Ragoucy, R–matrix presentation for super-YangiansY(osp(m|2n)), J. Math. Phys.44(2003), 302–308
work page 2003
-
[4]
J. Brundan, A. Kleshchev, Parabolic presentations of the YangianY(gl n), Comm. Math. Phys.254(1) (2005), 191–220
work page 2005
- [5]
- [6]
-
[7]
Drinfeld, Hopf algebras and the quantum Yang-Baxter equation, Dokl
V.G. Drinfeld, Hopf algebras and the quantum Yang-Baxter equation, Dokl. Akad. Nauk SSSR283(5) (1985) 1060-1064
work page 1985
Show all 42 references
-
[8]
V. G. Drinfeld, Quantum groups, Proceedings of the International Congress of Mathe- maticians, Vol. 1, 2 (Berkeley, Calif., 1986), Amer. Math. Soc., Providence, RI, (1987), 798–820
1986
-
[9]
Drinfeld, A new realization of Yangians and of quantum affine algebras, Dokl
V.G. Drinfeld, A new realization of Yangians and of quantum affine algebras, Dokl. Akad. Nauk SSSR296(1) (1987) 13-17
1987
-
[10]
X. M. Ding, B. Y. Hou, B. Yuan Hou, L. Zhao, Free boson representation of DY h(glN )k, J. Math. Phys.39(4) (1998), 2273–2289
1998
-
[11]
Frenkel, E
E. Frenkel, E. Mukhin, Combinatorics ofq-characters of finite-dimensional representa- tions of quantum affine algebras, Comm. Math. Phys.216(1) (2001), 23–57
2001
-
[12]
I. B. Frenkel, N. Jing, Vertex representations of quantum affine algebras, Proc. Nat. Acad. Sci. U.S.A.85(24) (1988), 9373–9377
1988
-
[13]
I. B. Frenkel, N. Y. Reshetikhin, Quantum affine algebras and holonomic difference equations, Comm. Math. Phys.146(1) (1992), 1–60
1992
-
[14]
Frenkel, N
E. Frenkel, N. Reshetikhin, Quantum affine algebras and deformations of the Virasoro andW-algebras, Comm. Math. Phys.178(1) (1996), 237–264
1996
-
[15]
Faddeev, N
L. Faddeev, N. Reshetikhin, L. Takhtajan, Quantization of Lie groups and Lie algebras, Leningrad Math. J.1(1) (1990), 193–225
1990
-
[16]
Gelfand, S
I. Gelfand, S. Gelfand, V. Retakh, R.L. Wilson, Quasideterminants, Adv. Math.193(1) (2005), 56-141
2005
-
[17]
Gow, Gauss decomposition of the YangianY(gl m|n), Comm
L. Gow, Gauss decomposition of the YangianY(gl m|n), Comm. Math. Phys.276(3) (2007), 799–825
2007
-
[18]
Iohara, Bosonic representations of Yangian doubleDY ℏ(g) withg=gl N ,sl N , J
K. Iohara, Bosonic representations of Yangian doubleDY ℏ(g) withg=gl N ,sl N , J. Phys. A29(15) (1996), 4593–4621
1996
-
[19]
Jimbo, Aq-difference analogue ofU(g) and the Yang-Baxter equation, Lett
M. Jimbo, Aq-difference analogue ofU(g) and the Yang-Baxter equation, Lett. Math. Phys.10(1) (1985) 63-69
1985
-
[20]
N. Jing, M. Liu, A. Molev, Isomorphism between theR-matrix and Drinfeld presenta- tions of Yangian in typesB,CandD, Comm. Math. Phys.361(3) (2018), 827–872
2018
-
[21]
N. Jing, F. Yang, M. Liu, Yangian doubles of classical types and their vertex represen- tations, J. Math. Phys.61(5) (2020), 051704, 39
2020
-
[22]
Kac, Lie superalgebras, Adv
V.G. Kac, Lie superalgebras, Adv. Math.26(1977), 8–96. 28
1977
-
[23]
Khoroshkin, Central extension of the Yangian double, Alg´ebre non commutative, groupes quantiques et invariants (Reims, 1995), S´emin
S. Khoroshkin, Central extension of the Yangian double, Alg´ebre non commutative, groupes quantiques et invariants (Reims, 1995), S´emin. Congr., vol. 2, Soc. Math. France, Paris, (1997), 119–135
1995
-
[24]
Koˇzi´c, Commutative operators for double Yangian DY(sln), Glas
S. Koˇzi´c, Commutative operators for double Yangian DY(sln), Glas. Mat. Ser. III53(73) (2018), 97–113
2018
-
[25]
Lu, A note on odd reflections of super Yangian and Bethe ansatz, Lett
K. Lu, A note on odd reflections of super Yangian and Bethe ansatz, Lett. Math. Phys. 112(2) (2022), Paper No. 29, 26
2022
-
[26]
Leites, M
D. Leites, M. Saveliev, V. Serganova, Embeddings ofosp(N/2) and the associated non- linear supersymmetric equations, Group theoretical methods in physics, Vol. I (Yurmala, 1985), VNU Sci. Press, Utrecht (1986) 255-297
1985
-
[27]
H. Lin, H. Zhang, Representations of Quantum Affine General Linear Superalgebras at Arbitrary 01-Sequences, arXiv preprint, arXiv:2511.02393
-
[28]
Molev, Odd reflections in the Yangian associated withgl(m|n), Lett
A. Molev, Odd reflections in the Yangian associated withgl(m|n), Lett. Math. Phys. 112(1) (2022), Paper No. 8, 15
2022
-
[29]
Molev, A Drinfeld-type presentation of the orthosymplectic Yangians, Algebr
A. Molev, A Drinfeld-type presentation of the orthosymplectic Yangians, Algebr. Rep- resent. Theory27(1) (2024), 469–494
2024
-
[30]
Molev, M
A. Molev, M. Nazarov, G. Ol’shanskii, Yangians and classical Lie algebras, Russ. Math. Surv.51(2) (1996), 205–282
1996
-
[31]
Musson, Lie superalgebras and enveloping algebras, Grad
I.M. Musson, Lie superalgebras and enveloping algebras, Grad. Stud. Math.,131Amer- ican Mathematical Society, Providence, RI, (2012), xx+488 pp
2012
-
[32]
Nazarov, Quantum Berezinian and the classical Capelli identity, Lett
M. Nazarov, Quantum Berezinian and the classical Capelli identity, Lett. Math. Phys. 21(2) (1991), 123–131
1991
-
[33]
Peng, Parabolic presentations of the super YangianY(gl M|N ) associated with arbi- trary 01-sequences, Comm
Y. Peng, Parabolic presentations of the super YangianY(gl M|N ) associated with arbi- trary 01-sequences, Comm. Math. Phys.346(1) (2016) 313–347
2016
-
[34]
N. Y. Reshetikhin, Quasitriangular Hopf algebras and invariants of links, Leningrad Math. J.1(2) (1990), 491–513
1990
-
[35]
Reshetikhin, V
N. Reshetikhin, V. G. Turaev, Invariants of 3-manifolds via link polynomials and quan- tum groups, Invent. Math.103(3) (1991), 547-597
1991
-
[36]
V. O. Tarasov, The structure of quantumL-operators for theR-matrix of theXXZ- model, Teoret. Mat. Fiz.61(2) (1984), 163–173
1984
-
[37]
Tsymbaliuk, Shuffle algebra realizations of typeAsuper Yangians and quantum affine superalgebras for all Cartan data, Lett
A. Tsymbaliuk, Shuffle algebra realizations of typeAsuper Yangians and quantum affine superalgebras for all Cartan data, Lett. Math. Phys.110(8) (2020), 2083–2111
2020
-
[39]
F. Yang, N. Jing, Center of the Yangian double in typeA, Sci. China Math.67(9) (2024), 1957–1988
2024
-
[40]
Yamane, On defining relations of affine Lie superalgebras and affine quantized uni- versal enveloping superalgebras, Publ
H. Yamane, On defining relations of affine Lie superalgebras and affine quantized uni- versal enveloping superalgebras, Publ. Res. Inst. Math. Sci.35(3) (1999), 321–390. 29
1999
-
[41]
Y. Xu, R. B. Zhang, Drinfeld realizations and vertex operator representations of quan- tum affine superalgebras, arXiv:1802.09702
-
[42]
Zhang, Super-Yangian double and its central extension, Phys
Y. Zhang, Super-Yangian double and its central extension, Phys. Lett. A234(1) (1997), 20–26. 30
1997
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.