Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

RTT presentation of coideal subalgebra of quantized enveloping algebra of type CI

T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The twisted quantized enveloping algebra for the symmetric pair (sp_{2n}, gl_n) admits an R-matrix presentation with a PBW basis, and this presentation transfers to the i-quantum group of type CI and to a Poisson algebra with braid group…

desk verdict A plausible, useful extension of the RTT construction to type CI, but the two headline proofs (PBW linear independence, i-quantum group isomorphism) have local gaps that need filling before the results are established. read the letter →

arxiv 2501.13305 v1 pith:CP5M4E5I submitted 2025-01-23 math.QA math-phmath.CTmath.MP

classification math.QAmath-phmath.CTmath.MP MSC 17B3781R5017B63
keywords quantumsymmetricpaircoidealsubalgebraPBWbasisR-matrixpresentationreflectionequationi-quantumgroupPoissonalgebrabraidaction
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 constructs the twisted quantized enveloping algebra $U_q^{\mathrm{tw}}(\mathfrak{gl}_n)$ as a left coideal subalgebra of the quantized symplectic algebra $U_q(\mathfrak{sp}_{2n})$, the quantum counterpart of the symmetric pair $(\mathfrak{sp}_{2n}, \mathfrak{gl}_n)$ of type CI. The algebra is given by an R-matrix (reflection equation) presentation in terms of the matrix $S = TJT^u$, and the paper proves that ordered monomials in the $n^2$ generators $s_{ij}$, $j' \ge i > j$, form a Poincaré–Birkhoff–Witt basis. This makes the defining relations (3.2)–(3.5) complete, gives an explicit model for computations, and through an isomorphism with the $\imath$quantum group $\mathcal{U}^{\imath}$ yields a PBW basis there as well. The same matrix $S$ produces, in the limit $q \to 1$, a Poisson algebra $\mathcal{P}_n$ with an explicit bracket and a braid group action preserving it.

What carries the argument

The mechanism is the matrix $S = TJT^u$ built from the L-operator $T$ of the RTT presentation and the symmetric-pair involution matrix $J$; its entries generate $U_q^{\mathrm{tw}}(\mathfrak{gl}_n)$ and satisfy the reflection equation $RS_1R^uS_2 = S_2R^uS_1R$ together with the central relation $SD^{-1}SD = -I$, which become the defining relations (3.2)–(3.5). For the PBW theorem, the key technical device is the $\mathbb{A}$-form: dividing entries by $q-q^{-1}$ gives elements $\sigma_{ij}$ that belong to the $\mathbb{A}$-subalgebra $U_{\mathbb{A}}$ and specialize at $q=1$ to $G_{ij} = \epsilon_iF_{ij} - \epsilon_jF_{ji}$, the $\mathfrak{gl}_n$ basis of a subalgebra of $\mathfrak{sp}_{2n}$; classical PBW independence of ordered monomials in $G_{ij}$ is what the linear-independence proof rests on. For the Poisson part, the same $S$ is used in the limit $$\{a_{ij}, a_{kl}\} = \lim_{q\to 1} \frac{s_{ij}s_{kl} - s_{kl}s_{ij}}{1-q},$$ giving the explicit bracket (6.2), and the braid group action is defined by the automorphisms $\beta_k$ of $U_q^{\mathrm{tw}}(\mathfrak{gl}_n)$ inherited from [KP11].

What would settle it

For small $n$ (say $n=2$), write the relations (3.2)–(3.5) in the abstract algebra $S$, compute the Gröbner basis or the minimal syzygy among the ordered monomials, and check whether the leading term under the $(q-1)$-adic filtration of the normalized generators is nonzero; a relation whose leading term vanishes at $q=1$ would disprove Theorem 4.4. Alternatively, compute the specialized images of the ordered monomials in $U(\mathfrak{sp}_{2n})$ for $n=2$ and verify linear independence concretely.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 4.4: the abstract associative algebra generated by $s_{ij}$ for $j' \ge i > j$, subject only to the matrix relations (3.2)–(3.5), is isomorphic to the coideal subalgebra $U_q^{\mathrm{tw}}(\mathfrak{gl}_n)$ of $U_q(\mathfrak{sp}_{2n})$, and the ordered monomials $$\prod_{i=1}^{2n} s_{i1}^{k_{i1}} s_{i2}^{k_{i2}} \cdots s_{ii'}^{k_{ii'}}$$ with nonnegative powers form a basis. The spanning half is proved by a weight filtration on monomials (Lemmas 4.1–4.3); the independence half uses the $\mathbb{A}$-form of $U_q(\mathfrak{sp}_{2n})$, where normalized generators $\sigma_{ij} = \tilde{s}_{ij}/(q-q^{-1})$ reduce at $q=1$ to $G_{ij} = \epsilon_i F_{ij} - \epsilon_j F_{ji}$, elements whose ordered monomials form a classical $\mathfrak{gl}_n$ PBW basis inside $\mathfrak{sp}_{2n}$. The paper also establishes an isomorphism $U_q^{\mathrm{tw}}(\mathfrak{gl}_n) \cong \mathcal{U}^{\imath}$ (Theorem 5.2), transferring the PBW basis to the $\imath$quantum group of type CI, and constructs the Poisson algebra $\mathcal{P}_n$ with bracket (6.2) together with a braid group action (Theorems 6.6–6.7).

Load-bearing premise

The proof that the ordered monomials are independent assumes that clearing denominators and setting $q$ equal to 1 turns any nonzero relation into a nonzero relation among the corresponding classical basis monomials; the manuscript invokes this reduction without carrying it out in detail.

Editorial extensions

If this is right

  • The completeness of relations (3.2)–(3.5) means $U_q^{\mathrm{tw}}(\mathfrak{gl}_n)$ can be studied purely from its R-matrix presentation, without referring back to the ambient $U_q(\mathfrak{sp}_{2n})$.
  • Since the ordered monomials in $s_{ij}$ form a PBW basis, the algebra has the same growth and triangular decomposition features as $U(\mathfrak{gl}_n)$, a natural starting point for classifying its finite-dimensional representations.
  • Via the isomorphism of Theorem 5.2, the PBW basis gives an explicit basis of the $\imath$quantum group of type CI generated by $B_i = f_i - k_i^{-1}e_i$, a basis that differs from the one in [XY14].
  • The Poisson algebra $\mathcal{P}_n$ with bracket (6.2) is the semiclassical limit of the twisted algebra, and the braid group $\mathcal{B}_n$ acts on it by Poisson automorphisms, providing symmetries of the associated integrable structure.

Reading between the lines

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

  • The same $\mathbb{A}$-form specialization argument is likely to produce PBW bases for twisted quantized enveloping algebras attached to other BCD symmetric pairs, since the only input that changes is the classical subalgebra $\mathfrak{t}$ and its PBW basis; checking type AII for $\mathfrak{sp}_{2n}$ would test this directly.
  • Because the isomorphism with $\mathcal{U}^{\imath}$ is explicit and R-matrix in origin, a spectral parameter deformation should produce an affine $\imath$quantum group of type C in R-matrix form, analogous to the type AI case.
  • The braid group action on $\mathcal{P}_n$ could be used to seek invariant polynomials or to study the symplectic leaves of the Poisson structure; a concrete computation of the orbit of a generic point under $\mathcal{B}_n$ would reveal whether the action is faithful.
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 / 6 minor

Summary. The paper constructs, for the symmetric pair (sp_{2n}, gl_n) of type CI, a coideal subalgebra U_q^tw(gl_n) of U_q(sp_{2n}) using the RTT presentation and the reflection equation. It states defining relations for generators s_{ij}, proves a PBW basis theorem (Theorem 4.4) via an A-form approach, gives an isomorphism to the ıquantum group U^ı (Theorem 5.2), and derives a Poisson algebra P_n with an explicit braid group action (Section 6). The paper's main technical content is the spanning argument in Lemmas 4.1–4.3 and the linear independence argument in the proof of Theorem 4.4.

Significance. If the gaps identified below are repaired, the paper would provide a useful explicit RTT presentation and PBW basis for the type CI coideal subalgebra, a transparent bridge between the R-matrix and Drinfeld–Jimbo approaches to quantum symmetric pairs, and explicit formulas for a Poisson structure and braid group action. The authors work within a standard and well-motivated framework, and the explicit computations are extensive. However, the current version does not fully establish the central claims: the PBW linear independence proof is incomplete, the isomorphism to U^ı is asserted rather than proved, and the definition of the Poisson algebra in Section 6 appears to use the wrong A-form generators. These issues are local and potentially fixable, but they affect the main theorems.

major comments (3)
  1. [Theorem 4.4, proof after Eq. (4.9)] The linear independence argument assumes, without justification, that a nontrivial relation over A can be chosen with at least one coefficient nonzero at q=1. The standard filtration/(q-1)-adic specialization step is not carried out. Specifically, the paper does not prove that the ordered monomials in σ_{ij} span V_A as an A-module (Lemmas 4.1–4.3 concern spanning over C(q), not over A), nor does it show that after dividing a relation by the maximal power of (q-1) the resulting relation specializes to a nonzero relation among the PBW monomials of U(gl_n). The identification V_A ⊗_A C ≅ U(gl_n) is asserted by reference to [Le02, Sec 1] rather than proved. Without these steps, the contradiction with the classical PBW theorem does not follow, so the PBW basis theorem is not established.
  2. [Theorem 5.2] The proof does not establish that the restriction of φ to U_q^tw(gl_n) is surjective onto U^ı. The commutative diagram is asserted without verifying that the images of the generators s'_{i+1,i} satisfy the ırelations (5.1)–(5.3) or that those images generate U^ı. The sentence 'As a consequence, it follows that φ is both surjective and injective' does not follow from φ being an isomorphism of the ambient algebras. Consequently, Theorem 5.6, which transfers the PBW basis to U^ı, is unsupported without an additional argument.
  3. [Section 6, Eq. (6.1)] The A-subalgebra U'_A is defined as the A-subalgebra generated by the un-rescaled elements s_{ij} for i>j, but these elements vanish at q=1 (indeed s_{ij} = (q-q^{-1})σ_{ij}, where σ_{ij} are the regular generators used in Section 4). Hence the images of the s_{ij} in U'_A ⊗_A C are all zero, so the claimed isomorphism U'_A ⊗_A C ≅ P_n and the identification of a_{ij} with the images of s_{ij} cannot be correct. The Poisson bracket should be defined using the rescaled generators σ_{ij}; as written, the expression {a_{ij},a_{kl}} = lim_{q→1}(s_{ij}s_{kl}-s_{kl}s_{ij})/(1-q) would be zero if a_{ij} are images of s_{ij}. This affects the validity of Theorem 6.1 and Corollary 6.8.
minor comments (6)
  1. [Abstract] There is a typo: 'btween' should be 'between'.
  2. [Section 4, proof of Lemma 4.2] Several steps are justified only by 'by induction' without presenting the induction argument (e.g., the treatment of δ_{a i'} and the cases for δ_{b i'} and δ_{i j'} in Eq. (4.4)). The proof would be easier to verify if these inductions were spelled out or at least the base cases and inductive hypotheses stated.
  3. [Section 4, proof of Theorem 4.4] The notation 'the image of the above equation (4.9) in V_A ⊗_A C under the mapping ρ' is confusing because ρ was defined earlier as a homomorphism from S to U_q^tw(gl_n), not from V_A. The specialization map V_A → V_A ⊗_A C should be named and distinguished from ρ.
  4. [Theorem 3.8] There is a typo in the heading: 'eveloping' should be 'enveloping'.
  5. [Section 6, Theorem 6.1] The Poisson bracket formula (6.2) is stated without proof ('can be derived directly'). Since this is one of the paper's main new results, a sketch of the derivation from Eq. (3.11) or a reference to a similar computation would improve the paper.
  6. [Section 6, proof of Lemma 6.4] The long verification of the Serre relations for β_{n-1}(s_{n-1}) and β_{n-1}(s_n) contains several unmatched parentheses and missing line breaks that make it hard to follow; a careful editing pass is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the PBW theorem is checked against the external classical PBW basis of gl_n; the noted specialization gap is a proof-completeness issue, not a circular reduction.

full rationale

Definition 3.2 defines U_q^tw(gl_n) as the actual subalgebra of U_q(sp_2n) generated by the entries of S = TJT^u, and Proposition 3.5 derives relations (3.2)-(3.5) from the reflection equation and the RTT relations; no relation is assumed into existence as its own conclusion. Surjectivity in Theorem 4.4 sends the abstract algebra S onto that subalgebra; injectivity is anchored to an external benchmark: via (4.7)-(4.8) each sigma_ij = ~s_ij/(q-q^{-1}) specializes to G_ij = eps_i F_ij - eps_j F_j'i, and linear independence of ordered monomials in the G_ij is exactly the classical PBW theorem for gl_n, with the isomorphism gl_n congruent sp^theta_2n proved directly in Proposition 3.1 by explicit calculation. The isomorphism with the i-quantum group (Theorem 5.2) uses the external Hopf isomorphism phi of [RTF90] between the RTT and Drinfeld-Jimbo presentations; injectivity of the restriction follows from injectivity of phi, and Theorem 5.6 merely transfers the basis, with Remark 5.7 honestly noting that [XY14] already contains a PBW basis of U^i. No load-bearing self-citation: the authors' own prior work is not used for any central premise, and Remark 5.3 explicitly warns that Noumi's coideal subalgebras are not generally isomorphic to Letzter's U^i, avoiding any imported-uniqueness argument. The Poisson bracket and braid-group actions are computed directly from (3.11) and verified against the defining relations, with [MR08] cited only for the analogous type-A cases. Flagged as a proof-completeness issue, not circularity: the linear-independence proof in Theorem 4.4 (after Eq. (4.9)) assumes 'there is at least one coefficient c(k) is nonzero when evaluated at q = 1' and cites [Le02, Sec 1] for V_A tensor_A C congruent U(gl_n) without carrying out the standard (q-1)-adic filtration reduction that justifies passing to a relation with a nonzero specialization. If that reduction failed, the contradiction would not follow; however, this is an omitted technical step of a standard filtration argument, not a reduction of the claim to its own input. The target of the independence proof is the externally known PBW theorem for gl_n.

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

This is a purely algebraic paper with the formal parameter q; there are no fitted parameters, no invented physical entities, and the axioms are standard results from prior literature and classical Lie theory.

assumptions (4)
  • standard math The PBW theorem for the universal enveloping algebra of the general linear Lie algebra gl_n.
    Used in the linear-independence part of Theorem 4.4 to conclude that ordered monomials in G_{ij} are linearly independent in U(gl_n).
  • standard math The algebra isomorphism φ between the RTT presentation U_q(sp_{2n}) and the Drinfeld-Jimbo presentation U_q(sp_{2n}), as stated in Proposition 2.4 from [RTF90, Theorem 12].
    Foundation for the isomorphism with the i-quantum group in Theorem 5.2 and for translating generators.
  • domain assumption The reflection equation constants C from [NS95] satisfy the stated properties and the matrix J satisfies RJ^1 R^u J^2 = J^2 R^u J^1 R.
    Used in Section 3.2 to define S and in Lemma 3.9; these are established results from prior work, not proved in full here.
  • domain assumption The braid group action on the i-quantum group from [KP11, Theorem 3.3] can be restricted to give automorphisms of U_q^tw(gl_n) with the stated formulas.
    The braid action section refers to [KP11] for the underlying action and then verifies the formulas; the verification is computational and not fully exhaustive.

how reviews work

0 comments
Cite this review

Pith. "Pith review of RTT presentation of coideal subalgebra of quantized enveloping algebra of type CI." pith.science (2026). https://pith.science/paper/CP5M4E5I

@misc{pith2026250113305,
  author       = {Pith},
  title        = {Pith review of: RTT presentation of coideal subalgebra of quantized enveloping algebra of type CI},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CP5M4E5I}},
  note         = {Machine review of arXiv:2501.13305}
}
abstract

The pair consisting of a quantum group and its corresponding coideal subalgebra, known as a quantum symmetric pair, was developed independently by M. Noumi and G. Letzter through different approaches. The purpose of this paper is threefold. First, for symmetric pairs $(\mathfrak{sp}_{2n},\mathfrak{gl}_n)$, we construct a coideal subalgebra $U_q^{tw}(\mathfrak{gl}_n)$ of the quantized enveloping algebra of type CI using the $R$-matrix presentation, based on the work of Noumi. Second, we derive a Poincar\'e-Birkhoff-Witt(PBW) basis for $U_q^{tw}(\mathfrak{gl}_n)$ by the $\mathbb{A}$-form approach. As a consequence of the isomorphism btween $U_q^{tw}(\mathfrak{gl}_n)$ and the $\imath$quantum group $\mathcal{U}^{\imath}$, our method also yields the PBW basis for the $\imath$quantum group of type CI. Finally, as an application of the $R$-matrix presentation, we construct a Poisson algebra $\mathcal{P}_n$ associated with $U_q^{tw}(\mathfrak{gl}_n)$, and explicitly describe the action of the braid group $\mathcal{B}_n$ on the elements of $\mathcal{P}_n$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Braid group symmetries on Poisson algebras arising from quantum symmetric pairs

    math.QA 2025-07 conditional novelty 7.0 of 10

    For every finite type quantum symmetric pair, the braid group action and a PBW basis descend to the DCKP-type integral form and, via semiclassical limits, yield Poisson automorphisms and explicit Poisson brackets on t...

Reference graph

Works this paper leans on

34 extracted references · 33 canonical work pages · cited by 1 Pith paper

  1. [1]

    H. Bao, J. Kujawa, Y. Li, W. Wang, Geometric Schur duality of classical type, Transform. Groups 23 (2018), 329–389

  2. [2]

    H. Bao, W. Wang, A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs, Asterisque. 402 (2013), vii+134

  3. [3]

    A. I. Bondal, A symplectic groupoid of triangular bilinear forms and the braid group, Izv. Math. 68 (2004), 659-708

  4. [4]

    Chari, A

    V. Chari, A. Pressley, A guide to quantum groups, Cambridge University Press, (1995)

  5. [5]

    X. Chen, M. Lu, W. Wang, A Serre presentation for the quantum groups, Transform. Groups 26 (2021), 827-857

  6. [6]

    V. G. Drinfeld, Hopf algebras and the quantum Yang-Baxter equation, Dokl. Akad. Nauk SSSR. 283 (5) (1985), 1060-1064

  7. [7]

    Dubrovin, Geometry of 2D topological field theory, in Integrable Systems and Quantum Groups, eds

    B. Dubrovin, Geometry of 2D topological field theory, in Integrable Systems and Quantum Groups, eds. M. Francaviglia and S. Greco, Lect. Notes. Math. Vol. 1620 (Springer, 1996), pp. 120-348

  8. [8]

    L. D. Faddeev, N. Y. Reshetikhin, L. A. Takhtajan, Quantization of Lie groups and Lie algebras, Algebraic analysis, Academic Press, Boston, MA, 1 (1988), 129-139

Show all 34 references
  1. [9]

    Z. Fan, Y. Li, Geometric Schur duality of classical type, II, Trans. Amer. Math. Soc. Series B 2 (2015), 51-92

  2. [10]

    Kolb, Quantum Symmetric Pairs and the Reflection Equation, Algebr

    S. Kolb, Quantum Symmetric Pairs and the Reflection Equation, Algebr. Represent. Th. 11 (6) (2008), 519-544

  3. [11]

    Kolb, Quantum symmetric Kac-Moody pairs, Adv

    S. Kolb, Quantum symmetric Kac-Moody pairs, Adv. Math. 267 (2014), 395-469

  4. [12]

    S. Kolb, J. Pellegrini, Braid group actions on coideal subalgebras of quantized enveloping algebra, J. Algebra. 336 (2011), 395–416

  5. [13]

    S. Kolb, J. V. Stokman, Reflection equation algebras, coideal subalgebras, and their centres, Selecta Math. 15 (4) (2009), 621-664

  6. [14]

    L. Gow, A. Molev, Representations of twisted q-Yangians, Sel. Math-New. Ser. 16 (3) (2010), 439-499

  7. [15]

    N. Guay, V. Regelskis, Twisted Yangians for symmetric pairs of types B, C, D, Math. Z. 284 (1-2) (2016), 131-166

  8. [16]

    N. Guay, V. Regelskis, C. Wendlandt, Representations of twisted Yangians of types B, C, D: I, Sel. Math-New Ser. 23 (3) (2017), 2071-2156

  9. [17]

    N. Guay, V. Regelskis, C. Wendlandt, Representations of twisted Yangians of types B, C, D: II, Transform. Groups. 24 (4) (2019), 1015-1066

  10. [18]

    Jimbo, A q-difference analogue of U(g) and the Yang-Baxter equation, Lett

    M. Jimbo, A q-difference analogue of U(g) and the Yang-Baxter equation, Lett. Math. Phys. 10 (1) (1985), 63-69

  11. [19]

    Letzter, Symmetric pairs for quantized enveloping algebras, J.Algebra

    G. Letzter, Symmetric pairs for quantized enveloping algebras, J.Algebra. 220 (1999), 729-767

  12. [20]

    Letzter, Coideal subalgebras and quantum symmetric pairs, Math

    G. Letzter, Coideal subalgebras and quantum symmetric pairs, Math. Sci. (2002), 117-165

  13. [21]

    Letzter, Quantum symmetric pairs and their zonal spherical functions, Transform

    G. Letzter, Quantum symmetric pairs and their zonal spherical functions, Transform. Groups. 8 (2003) 261-292

  14. [22]

    Lu, Isomorphism between twisted q -Yangians and affine uantum groups: type AI, preprint, arXiv:2308.12484 (2023)

    K. Lu, Isomorphism between twisted q -Yangians and affine uantum groups: type AI, preprint, arXiv:2308.12484 (2023)

  15. [23]

    M. Lu, W. Wang, A Drinfeld type presentation of affine ıquantum groups I: split ADE type, Adv. Math. 393 (2021), 108-111

  16. [24]

    K. Lu, W. Wang, W. Zhang, Affine quantum groups and twisted Yangians in Drinfeld presentations, preprint, arXiv:2406.05067 (2024)

  17. [25]

    Molev, Representations of the Twisted Quantized Enveloping Algebra of Type Cn, Mosc

    A. Molev, Representations of the Twisted Quantized Enveloping Algebra of Type Cn, Mosc. Math. J. 6 (3) (2006), 531-551

  18. [26]

    Molev, E

    A. Molev, E. Ragoucy, Symmetries and invariants of Twisted Quantum Algebra and Associated Poisson Algebra, Rev. Math. Phys. 20 (2008), 173-198

  19. [27]

    Molev, E

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

  20. [28]

    J. E. Nelson, T. Regge, 2 + 1 quantum gravity, Phys. Lett. B 272 (1991), 213-216

  21. [29]

    J. E. Nelson, T. Regge, Invariants of 2 + 1 gravity, Comm. Math. Phys. 155 (1993), 561-568

  22. [30]

    J. E. Nelson, T. Regge, F. Zertuche, Homotopy groups and (2 + 1)-dimensional quantum de Sitter gravity, Nucl. Phys. B 339 (1990), 516-532

  23. [31]

    Noumi, Macdonald's symmetric polynomials as zonal spherical functions on quantum homogeneous spaces, Adv

    M. Noumi, Macdonald's symmetric polynomials as zonal spherical functions on quantum homogeneous spaces, Adv. Math. 123 (1996), 16-77

  24. [32]

    Noumi, T

    M. Noumi, T. Sugitani, Quantum symmetric spaces and related q-orthogonal polynomials, in: Group Theoretical Methods in Physics(ICGTMP)(Toyonaka, Japan, 1994), World Sci. Publishing. River Edge, N.J. (1995), 28-40

  25. [33]

    N. Yu. Reshetikhin, L. A. Takhtajan, L. D. Faddeev, Quantization of Lie Groups and Lie algebras, Leningrad Math. J. 1 (1990), 193-225

  26. [34]

    Y. Xu, S. Yang, PBW-deformations of quantum groups, J. Algebra. 408 (2014), 222-249

Pith tools

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