REVIEW 3 major objections 5 minor 27 references
For the split orthogonal and symplectic pairs of types BI, CI and DI, the reflection-equation and current presentations of twisted Yangians describe one and the same algebra.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 01:21 UTC pith:YS4ZEDOB
load-bearing objection Solid, high-value algebra paper that probably proves the intended isomorphism, but the Serre identities (5.67)/(5.70) are asserted rather than derived — that is the spot a referee should push on. the 3 major comments →
Twisted Yangians of types BI, CI, DI and Drinfeld type current relations
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the special twisted Yangian for the split symmetric pairs of types BI, CI and DI, defined via the R-matrix presentation, is isomorphic to the twisted Yangian in the current (Drinfeld-type) presentation. The isomorphism is built from a Gaussian decomposition of the generating matrix in the new transposed presentation, producing Drinfeld series b_i(u) and h_i(u) whose relations are verified inductively through quasi-determinantal embeddings into lower-rank twisted Yangians. Theorem 5.13 states these current relations in closed form; Lemma 5.14 shows that coefficient extraction recovers the known current presentation; Corollary 5.15 identifies the two algebras, resolvi
What carries the argument
The transposed presentation: the generating matrix S(u) is required to satisfy a twisted reflection equation R(u−v) S_1(u) R'(κ−u−v) S_2(v) = S_2(v) R'(κ−u−v) S_1(u) R(u−v), obtained from the established presentation by the substitution S(u) ↦ A S(u) J A^t. This form makes the Gaussian decomposition S(u) = F(u) D(u) E(u) interact naturally with the reflection equation, and the resulting quasi-determinantal embeddings ψ_m : X^tw(g_{N−2m}) → X^tw(g_N) permit an inductive derivation of the current relations. The Serre relations are organised around a single building block x_ij(v,u) together with the symmetrising bracket {f(u)}_u := f(u) + f(−u), replacing the more cumbersome lower-order correct
Load-bearing premise
The load-bearing premise is that the two long Serre-type commutator identities (5.67) and (5.70) are correct, even though they are stated without a displayed proof and are not recoverable from other results in the paper; a sign or coefficient error there would change the Serre relations and break the main isomorphism.
What would settle it
Evaluate identity (5.67) in the fundamental representation of X^tw(o_7) given in Appendix A: expand both sides as Laurent series in u, v, w, q and compare a low-order coefficient, for example the coefficient of u^{-1} v^{-2} w^{-1} q^0. Any nonzero difference would disprove the Serre relation and hence the asserted isomorphism.
If this is right
- The R-matrix and current presentations define the same algebra in split types BI, CI and DI, so results proved in either presentation transfer to the other.
- The Serre relations can be written in closed current form with no separate lower-order correction terms, governed by one building block x_ij(v,u).
- The extended twisted Yangian decomposes as a tensor product of the current twisted Yangian with a polynomial ring in countably many central variables.
- Poincaré–Birkhoff–Witt bases exist in the current generators for both the special and extended twisted Yangians.
- The coideal coproduct on the low current modes is explicit: the generator b_{i,0} is primitive modulo positive root degree, while Δ(h_{i,1}) contains explicit cross-terms.
Where Pith is reading between the lines
- The transposed presentation is likely to serve as a template for obtaining closed current presentations of twisted Yangians for other symmetric pairs, and possibly for twisted super-Yangians, where such presentations are not yet settled.
- The same Gaussian-decomposition strategy may yield a q-analogue for affine ı quantum groups of split BCFG type, giving closed current Serre relations in place of the correction terms currently present there.
- The two unproved Serre-type identities can be tested directly in the fundamental representation; a successful check in low-rank cases would substantially increase confidence in the structural proof.
- The tensor decomposition implies that the representation theory of the extended twisted Yangian reduces to central characters together with the special twisted Yangian, which may simplify future classification problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies twisted Yangians associated with the split symmetric pairs of types BI, CI and DI. It introduces a new 'transposed presentation' of the extended twisted Yangian X^tw(g_N), governed by the twisted reflection equation (2.19), and then derives Drinfeld-type current presentations entirely inside the R-matrix presentation. The main theorem (Theorem 5.13) asserts that the special twisted Yangian SY^tw(g_N) is isomorphic to the abstract algebra Y(g_N) generated by currents b_i(u), h_i(u) with relations (5.105)–(5.110). Corollary 5.15 identifies Y^ı(g_N) in the Drinfeld presentation of [Lu26a, LWZ25b] with SY^tw(g_N), thereby resolving, for the split types BI, CI and DI, the isomorphism conjecture of Lu–Wang–Zhang. Corollary 5.16 gives the analogous presentation of X^tw(g_N) and a tensor-product decomposition with a polynomial ring in central variables; further byproducts are PBW bases and coideal coproduct formulas. The proof strategy combines Gaussian decomposition, quasi-determinantal embeddings to reduce to low-rank subalgebras, coefficient extraction, and filtered/graded dimension comparison.
Significance. If the main theorem is correct, this is a substantial result: it gives the first direct R-matrix derivation of Drinfeld-type current relations for the twisted Yangians of split types B, C and D and settles a conjecture in the literature. The paper also provides a useful closed form for the Serre relations, and the structural byproducts — the extended decomposition X^tw(g_N) ≅ Y^ı(g_N) ⊗ C[t_0,t_1,...], PBW bases, and coideal coproduct — are natural and valuable. The proof architecture is plausible: many statements are reduced to low-rank cases anchored in published work, and the injectivity argument via associated graded algebras is coherent. A notable strength is the explicit fundamental representation recorded in Lemma A.1, which in principle allows direct numerical checking of the lengthy identities. However, the paper does not actually carry out such a check, and the decisive Serre-type identities are left unproven at the critical point. The manuscript would be a significant contribution once those computations are supplied or rigorously verified.
major comments (3)
- [Proposition 5.10, eqs. (5.67), (5.70), App. C] The load-bearing identities (5.67) and (5.70) are asserted rather than demonstrated. The proof explicitly works out (5.66) and (5.71) and then states that (5.67) and (5.70) 'are obtained similarly; only the computations are much lengthier'. Appendix C lists the expanded forms of the left-hand sides in (C.1)–(C.4), but it does not show that these enormous expressions simplify to the compact right-hand sides with x(u,v) and y(u,v) given by (5.68)–(5.69) and (5.72)–(5.73). These identities are not decorative: via Lemma 5.14 they become, respectively, the Serre relations (5.109)–(5.110), and coefficient extraction from (5.110) yields the finite Serre relation (5.118) that is part of the Drinfeld presentation of [Lu26a, Def. 2.7]. A sign, scalar, or spectral-parameter error in (5.67) or (5.70) would change (5.118) and could break the isomorphism of Corollary 5.15. Since no machine-verified co
- [§2.4, Eq. (2.19)] The transposed presentation is introduced as a new presentation of X^tw(g_N,G), but its equivalence with the established presentation of [GR16] is justified in one sentence: 'Relations (2.11) and (2.12) imply that the mapping S(u) ↦ A S(u) J A^t ... defines an isomorphism'. This is a load-bearing point, because all subsequent Gaussian-decomposition and current-relation computations are performed in the transposed presentation. The existence and explicit form of the matrix A, and the verification that the substitution transforms (2.19) into the [GR16] reflection equation, should be written out, including the behaviour of the symmetry and unitarity relations (2.21)–(2.22) under this substitution. Without this, the identification of the computed algebra with the original R-matrix twisted Yangian — and hence with [GR16] in Corollary 5.15 — rests on an unproved equivalence.
- [Lemma 5.14, coefficient extraction for (5.116)–(5.118)] The coefficient extraction in Lemma 5.14 is stated very tersely for the Serre relations. In particular, clearing denominators and comparing coefficients of 'w^2 v u^{-1}' to obtain (5.117), and of 'q^3 w^2 v u^{-1}' to obtain (5.118), requires that all other contributions vanish after symmetrization. This is plausible and mechanical, but because these finite relations are part of the defining presentation of Y^ı(g_N), the extraction should be documented more explicitly, or at least verified by a computer-algebra script. The current presentation does not make it possible for a reader to check the extraction without redoing a substantial calculation.
minor comments (5)
- [§2.8, proof of Prop. 2.2] The proof frequently says that an identity holds 'up to an overall scalar factor' and then compares the scalar factors on both sides. The equalities in (2.51) and (2.55) should state explicitly that the same scalar factor appears, and that it is nonzero in the formal Laurent series setting.
- [Appendix C] The evaluated commutators (C.1)–(C.4) are enormous. Even after the missing simplification is supplied, it would be helpful to include the reduction strategy or an electronic supplementary file, since hand-checking these expressions is impractical.
- [Remark 5.19] There is a typo: 'for every spit and quasi-split twisted Yangian' should be 'split'.
- [§2.7, §5.4] The basis descriptions in §2.7 and the definitions of the Drinfeld generators in (5.90)–(5.91) are dense and use several case distinctions. A small table separating the three types BI, CI, DI would improve readability and reduce the chance of misreading the index conventions.
- [Appendix D, Eq. (D.1)] The sandwich formula (D.1) should specify the convention for transposition in the second factor t_{jb}(κ/2−u), since the paper deliberately distinguishes ordinary transpose from twisted transpose; a short clarification would prevent ambiguity.
Circularity Check
No significant circularity found: the Drinfeld-type relations are verified inside the R-matrix presentation and then compared with an independently defined algebra.
full rationale
The central derivation is not circular. The Drinfeld series (5.90)–(5.91) are defined in terms of Gaussian generators of the R-matrix presentation, and the current relations (5.105)–(5.110) of Theorem 5.13 are verified directly in X^tw(g_N) through Lemmas 5.1, 5.6–5.8, Proposition 5.9, and Proposition 5.10. Lemma 5.14 extracts coefficients from these verified identities and identifies them with the abstract defining relations of the Drinfeld algebra Y^ı(g_N) of [Lu26a, Def. 2.7]; no parameter is fitted and the target relations are not assumed as inputs. Injectivity is proved by comparing associated graded algebras, using independent PBW theorems for both the R-matrix side and the Drinfeld side ([GR16] and [LWZ25b]), rather than by assuming the isomorphism under proof. The self-citations to [GR16] supply definitions, embeddings, and PBW bases, but the load-bearing reduction—from current relations to Drinfeld coefficient relations—does not collapse into those citations. The unproved Serre identities (5.67) and (5.70) are a computational gap, not a circular step: they are asserted as lengthy computations and are not defined as the target Serre relations, and Appendix C provides expanded forms that could be independently checked. Accordingly, no circular step satisfying the review criteria was identified.
Axiom & Free-Parameter Ledger
free parameters (2)
- p(u) pre-factor in the central series c(u) (5.18) =
(u−1/4)(u−κ) / (u(u−κ+1/4)) for o_{2n+1}; 1 otherwise
- Normalization constants of the rank-n Drinfeld series b_n(u), h_n(u) (5.91) =
b_n prefactors 1 (o_{2n+1}), 1/√−2 (sp_{2n}), 1 (o_{2n}); h_n prefactors (u−1/4)/(u−1/2), −1, 1
axioms (7)
- standard math The R-matrix R(u) = I − u^{−1}P − (κ−u)^{−1}Q satisfies the quantum Yang–Baxter equation (2.10) and the crossing identities (2.11)–(2.13).
- standard math Gaussian decomposition theorem [GGRW05, Thm. 4.96]: the generating matrix admits a unique decomposition S(u) = F(u)D(u)E(u).
- standard math Sylvester's theorem for quasi-determinants (iterated Gaussian elimination).
- domain assumption Low-rank isomorphisms of §4: X^tw(sp2) ≅ X^+(gl2), X^tw(o3) ≅ X^+(gl2), and X^tw(o4) embeds into X^+(gl2) ⊗ X^+(gl2).
- domain assumption Graded isomorphisms gr SY^tw(g_N) ≅ U(g_N[x]^ρ) and gr X^tw(g_N) ≅ U(g_N[x]^ρ) ⊗ C[ζ_0, ζ_1, ...] with explicit maps (2.30)–(2.31).
- domain assumption PBW theorem and filtration for the Drinfeld presentation Y^ı(g_N): its associated graded algebra is U(g^ı), the enveloping algebra of the twisted current algebra, with root vectors b^ı_{α,r} and h^ı_{i,2r+1} forming a basis ([LWZ25b, Thm. 4.12, Cor. 4.13]; [Lu26a]).
- ad hoc to paper Evenness of the Drinfeld h-series: h_i(u) = h_i(−u) for all 1 ≤ i ≤ n (Lemma 5.11).
invented entities (1)
-
Transposed presentation of X^tw(g_N, G), governed by the twisted reflection equation (2.19)
independent evidence
read the original abstract
We study twisted Yangians associated with the split symmetric pairs of types BI, CI and DI. We introduce a new presentation of these algebras, which we call the transposed presentation, governed by a twisted reflection equation that interacts naturally with the Gaussian decomposition of the generating matrix. Working entirely within the $R$-matrix presentation, we derive Drinfeld-type current presentations of the special twisted Yangian $SY^{\mathrm{tw}}(\mathfrak{g}_N)$ and of the extended twisted Yangian $X^{\mathrm{tw}}(\mathfrak{g}_N)$, in which the Serre relations are stated in a closed current form. Extracting coefficients recovers the Drinfeld presentation due to Lu. As a consequence, we establish the isomorphism between the $R$-matrix and Drinfeld presentations of these twisted Yangians conjectured by Lu, Wang and Zhang. As a byproduct, we obtain a tensor product decomposition of $X^{\mathrm{tw}}(\mathfrak{g}_N)$ into the twisted Yangian in the Drinfeld presentation and a polynomial ring in countably many central variables. We also obtain Poincar\'e-Birkhoff-Witt bases in the Drinfeld generators and describe the coideal coproduct on the low Drinfeld modes.
Reference graph
Works this paper leans on
-
[1]
D. Arnaudon, A. Molev, E. Ragoucy, On the R -matrix realization of Yangians and their representations , Ann. Henri Poincar\'e 7 (2006), 1269--1325, arXiv:math/0511481
Pith/arXiv arXiv 2006
-
[2]
S. Belliard, V. Regelskis, Drinfeld J presentation of twisted Yangians , SIGMA 13 (2017), 011, 35 pp., arXiv:1401.2143
Pith/arXiv arXiv 2017
-
[3]
Gelfand, S
I. Gelfand, S. Gelfand, V. Retakh, R. Wilson, Quasideterminants , Adv. Math. 193 (2005), 56--141
2005
-
[4]
N. Guay, V. Regelskis, Twisted Yangians for symmetric pairs of types B, C, D , Math. Z. 284 (2016), 131--166, doi:10.1007/s00209-016-1649-2
-
[5]
N. Guay, V. Regelskis, C. Wendlandt, Twisted Yangians of small rank , J. Math. Phys. 57 , 041703 (2016), doi:10.1063/1.4947112
-
[6]
N. Guay, V. Regelskis, C. Wendlandt, Representations of twisted Yangians of types B, C, D: I , Sel. Math. New Ser. 23 (2017), no. 3, 2071--2156, doi:10.1007/s00029-017-0306-x
-
[7]
N. Guay, V. Regelskis, C. Wendlandt, Representations of twisted Yangians of types B, C, D: II , Transform. Groups 24 (2019), no. 4, 1015--1066, doi:10.1007/s00031-019-09514-x
-
[8]
N. Guay, V. Regelskis, C. Wendlandt, Equivalences between three presentations of orthogonal and symplectic Yangians , Lett. Math. Phys. (2019) 109:327, arXiv:1706.05176
Pith/arXiv arXiv 2019
-
[9]
N. Jing, M. Liu, A. Molev, Isomorphism between the R -matrix and Drinfeld presentations of Yangian in types B , C and D , Comm. Math. Phys. 361 (2018), 827--872, arXiv:1705.08155
Pith/arXiv arXiv 2018
-
[10]
N. Jing, M. Liu, A. Molev, Isomorphism between the R -matrix and Drinfeld presentations of quantum affine algebra: type C , J. Math. Phys. 61 (2020), no. 3, 031701, 41 pp., arXiv:1903.00204
Pith/arXiv arXiv 2020
-
[11]
N. Jing, M. Liu, A. Molev, Isomorphism between the R -matrix and Drinfeld presentations of quantum affine algebra: types B and D , SIGMA 16 (2020), 043, 49 pp., arXiv:1911.03496
Pith/arXiv arXiv 2020
-
[12]
K. Lu, Y.-N. Peng, L. Tappeiner, L. Topley, W. Wang, Shifted twisted Yangians and finite W-algebras of classical type , arXiv:2505.03316
-
[13]
Lu, Isomorphism between twisted q -Yangians and affine quantum groups: type AI , Int
K. Lu, Isomorphism between twisted q -Yangians and affine quantum groups: type AI , Int. Math. Res. Not. IMRN 2024 (2024), no. 24, 14519--14542, arXiv:2308.12484
Pith/arXiv arXiv 2024
-
[14]
Lu, Minimalistic presentation and coideal structure of twisted Yangians , Comm
K. Lu, Minimalistic presentation and coideal structure of twisted Yangians , Comm. Math. Phys. 407 (2026), no. 1, 15, doi:10.1007/s00220-026-05615-3
-
[15]
Lu, Twisted super Yangians of quasi-split type A , preprint (2026), available at https://kanglumath.github.io/writings/Twisted_super_Yangians_of_quasi-split_type_A.pdf
K. Lu, Twisted super Yangians of quasi-split type A , preprint (2026), available at https://kanglumath.github.io/writings/Twisted_super_Yangians_of_quasi-split_type_A.pdf
2026
-
[16]
M. Lu, W. Wang, A Drinfeld type presentation of affine quantum groups I: split ADE type , Adv. Math. 393 (2021), 108111, 46 pp., arXiv:2009.04542
Pith/arXiv arXiv 2021
-
[17]
K. Lu, W. Wang, W. Zhang, A Drinfeld type presentation of twisted Yangians , Represent. Theory 29 (2025), 838--870, arXiv:2308.12254
arXiv 2025
-
[18]
K. Lu, W. Wang, W. Zhang, Affine quantum groups and twisted Yangians in Drinfeld presentations , Comm. Math. Phys. 406 (2025), no. 5, 98, arXiv:2406.05067
Pith/arXiv arXiv 2025
-
[19]
K. Lu, W. Zhang, A Drinfeld type presentation of twisted Yangians of quasi-split type , Comm. Contemp. Math. (2025), article no. 2650001, doi:10.1142/S021919972650001X, arXiv:2408.06981
arXiv 2025
-
[20]
N. J. MacKay, Rational K -matrices and representations of twisted Yangians , J. Phys. A 35 (2002), 7865--7876, arXiv:math/0205155
Pith/arXiv arXiv 2002
-
[21]
Molev, M
A. Molev, M. Nazarov, G. Olshanski, Yangians and classical Lie algebras , Russ. Math. Surv. 51 (1996), no. 2, 205--282
1996
-
[22]
Molev, Yangians and Classical Lie Algebras , Math
A. Molev, Yangians and Classical Lie Algebras , Math. Surveys Monogr. 143 , Amer. Math. Soc., Providence, RI, 2007
2007
-
[23]
A. Molev, E. Ragoucy, Representations of reflection algebras , Rev. Math. Phys. 14 (2002), no. 3, 317--342, arXiv:math/0107213
Pith/arXiv arXiv 2002
-
[24]
A. Molev, E. Ragoucy, P. Sorba, Coideal subalgebras in quantum affine algebras , Rev. Math. Phys. 15 (2003), 789--822, arXiv:math/0208140
Pith/arXiv arXiv 2003
-
[25]
G. I. Olshanski, Twisted Yangians and infinite-dimensional classical Lie algebras , in: Quantum Groups (Leningrad, 1990), Lecture Notes in Math. 1510 , Springer, Berlin, 1992, pp. 104--119
1990
-
[26]
E. K. Sklyanin, Boundary conditions for integrable quantum systems , J. Phys. A 21 (1988), no. 10, 2375--2389
1988
-
[27]
Zhang, A Drinfeld type presentation of affine quantum groups II: split BCFG type , Lett
W. Zhang, A Drinfeld type presentation of affine quantum groups II: split BCFG type , Lett. Math. Phys. 112 (2022), no. 5, 89, arXiv:2102.03203
Pith/arXiv arXiv 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.