Pith. sign in

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 →

arxiv 2607.14692 v1 pith:YS4ZEDOB submitted 2026-07-16 math.QA math-phmath.MPmath.RT

Twisted Yangians of types BI, CI, DI and Drinfeld type current relations

classification math.QA math-phmath.MPmath.RT MSC 17B37
keywords twisted Yangianssymmetric pairscurrent presentationR-matrix presentationGaussian decompositionreflection equationSerre relationsPBW bases
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper tries to prove that, for twisted Yangians attached to the split symmetric pairs of types BI, CI and DI, two standard presentations—the R-matrix/reflection-equation presentation and the current generating-series presentation—are isomorphic. To make the comparison tractable, it introduces a new 'transposed' presentation governed by a twisted reflection equation, which interacts cleanly with the Gaussian decomposition of the generating matrix. Working entirely in the R-matrix picture, the paper derives current relations in closed form, packaging the intricate Serre relations into a single building block. Extracting coefficients from these closed relations recovers the previously proposed current presentation, thereby confirming a conjecture that the two presentations define the same algebra. If correct, the paper also yields a tensor decomposition of the extended twisted Yangian into a current twisted Yangian times a polynomial ring, Poincaré–Birkhoff–Witt bases, and an explicit description of the coideal coproduct on low current modes.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

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

  • 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.

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

Referee Report

3 major / 5 minor

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)
  1. [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. [§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.
  3. [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)
  1. [§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.
  2. [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.
  3. [Remark 5.19] There is a typo: 'for every spit and quasi-split twisted Yangian' should be 'split'.
  4. [§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.
  5. [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

0 steps flagged

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

2 free parameters · 7 axioms · 1 invented entities

The central claim rests on prior structural results, not on fitted data. (1) The Gaussian decomposition theorem of [GGRW05] converts the generating matrix into triangular × diagonal × triangular series. (2) The low-rank isomorphisms of §4, adapted from [GRW16], seed the inductive verification. (3) The graded isomorphisms gr SY^tw ≅ U(g_N[x]^ρ) and gr X^tw ≅ U(g_N[x]^ρ) ⊗ C[ζ_0, ζ_1, ...] from [GR16] underpin the injectivity proofs. (4) The PBW theorem and filtration for the Drinfeld presentation Y^ı(g_N) from [LWZ25b] and [Lu26a] fix the size of the target algebra. Inputs (2) and (3) are the author's own prior work; (4) is the work of the group whose conjecture is being proved; all are published and structurally independent of the present theorem, so the reliance burden is real but not equation-level circularity. Two normalization choices — the p(u) factor in the central series and the b_n/h_n prefactors — are fixed by hand to match the target presentations; neither is fitted to data and neither forces the isomorphism. No genuinely free parameters or invented physical entities enter.

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
    A rational factor chosen by hand so that the symmetry relation (2.23) is equivalent to c(u) = 1. It is a normalization convenience, not fitted to data, and it drops out of the isomorphism statements.
  • 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
    Chosen so that coefficient extraction reproduces the target presentations of [Lu26a, LWZ25b] with their published constants (c = 4, 1, 2 in low ranks) and so h_n = h_n(−u) holds. Fixed by the matching condition, hence a coordinate choice rather than a tunable parameter; it does not by itself force the isomorphism.
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).
    Background of Yangian theory on which both the R-matrix and Drinfeld presentations are built; used in §2.3 and in the matrix manipulations of Proposition 2.2.
  • standard math Gaussian decomposition theorem [GGRW05, Thm. 4.96]: the generating matrix admits a unique decomposition S(u) = F(u)D(u)E(u).
    Invoked in §3.1 to define the Gaussian series f_{ji}(u), d_i(u), e_{ij}(u) through quasi-determinants; every Drinfeld generator of §5.4 is built from these series.
  • standard math Sylvester's theorem for quasi-determinants (iterated Gaussian elimination).
    Used in Corollary 2.4 to iterate the embedding ψ_m^{(N)} from rank N−2m into rank N; without it the reduction to low-rank subalgebras in §5 collapses.
  • 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).
    Base cases of the inductive verification of the current relations; the proofs are sketches adapting [GRW16], and Theorems 4.3, 4.6, 4.9 (rank-one current presentations with c = 4, 1, 2) rest on them. These are prior published results of the same research group.
  • 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).
    From [GR16, Cor. 5.3]; used to prove injectivity of the embedding ψ_1^{(N)} (Prop. 2.2) and in the graded comparison that yields injectivity of Ξ_N in Theorem 5.13, Step 2.
  • 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]).
    Fixes the size of the target algebra in the injectivity arguments of Theorem 5.13 (Step 2) and Corollary 5.16 (Step 3); the present paper uses it as a black box. If it were false or secretly depended on the conjecture under test, the injectivity proof would fail.
  • ad hoc to paper Evenness of the Drinfeld h-series: h_i(u) = h_i(−u) for all 1 ≤ i ≤ n (Lemma 5.11).
    Needed so the h-series depend only on the odd generators h_{i,2r+1}, making coefficient extraction in Lemma 5.14 match [Lu26a, Def. 2.7]. The i = n case is justified from the low-rank theorems (4.3, 4.6, 4.9), which rest on the largely unshown low-rank computations.
invented entities (1)
  • Transposed presentation of X^tw(g_N, G), governed by the twisted reflection equation (2.19) independent evidence
    purpose: A gauge-reformulated reflection equation (S(u) ↦ A S(u) J A^t relative to [GR16]) that interacts more transparently with Gaussian decomposition; the device that makes direct derivation of the Drinfeld-type relations feasible.
    Reformulates a known algebra rather than postulating new structure: it is asserted (one sentence, §2.4) to be isomorphic to the established presentation of [GR16], reduces to the known X^+(gl2) algebras in the low-rank cases of §4, and admits the explicit fundamental representation of Appendix A; its defining relations (2.20) are checkable directly.

pith-pipeline@v1.3.0-alltime-deepseek · 57562 in / 28080 out tokens · 240095 ms · 2026-08-02T01:21:32.553892+00:00 · methodology

0 comments
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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 4 canonical work pages

  1. [1]

    Arnaudon, A

    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

  2. [2]

    Belliard, V

    S. Belliard, V. Regelskis, Drinfeld J presentation of twisted Yangians , SIGMA 13 (2017), 011, 35 pp., arXiv:1401.2143

  3. [3]

    Gelfand, S

    I. Gelfand, S. Gelfand, V. Retakh, R. Wilson, Quasideterminants , Adv. Math. 193 (2005), 56--141

  4. [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. [5]

    N. Guay, V. Regelskis, C. Wendlandt, Twisted Yangians of small rank , J. Math. Phys. 57 , 041703 (2016), doi:10.1063/1.4947112

  6. [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. [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. [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

  9. [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

  10. [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

  11. [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

  12. [12]

    Lu, Y.-N

    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. [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

  14. [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. [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

  16. [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

  17. [17]

    K. Lu, W. Wang, W. Zhang, A Drinfeld type presentation of twisted Yangians , Represent. Theory 29 (2025), 838--870, arXiv:2308.12254

  18. [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

  19. [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

  20. [20]

    N. J. MacKay, Rational K -matrices and representations of twisted Yangians , J. Phys. A 35 (2002), 7865--7876, arXiv:math/0205155

  21. [21]

    Molev, M

    A. Molev, M. Nazarov, G. Olshanski, Yangians and classical Lie algebras , Russ. Math. Surv. 51 (1996), no. 2, 205--282

  22. [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

  23. [23]

    Molev, E

    A. Molev, E. Ragoucy, Representations of reflection algebras , Rev. Math. Phys. 14 (2002), no. 3, 317--342, arXiv:math/0107213

  24. [24]

    Molev, E

    A. Molev, E. Ragoucy, P. Sorba, Coideal subalgebras in quantum affine algebras , Rev. Math. Phys. 15 (2003), 789--822, arXiv:math/0208140

  25. [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

  26. [26]

    E. K. Sklyanin, Boundary conditions for integrable quantum systems , J. Phys. A 21 (1988), no. 10, 2375--2389

  27. [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