pith. sign in

arxiv: 2405.06587 · v9 · submitted 2024-05-10 · 🧮 math.QA

The Ding-Frenkel Isomorphism Theorem for two-parameter quantum affine algebra U_(r,s)mathcal(widehat{mathfrak{so}_(2n+1)})

Pith reviewed 2026-05-24 01:33 UTC · model grok-4.3

classification 🧮 math.QA
keywords two-parameter quantum affine algebrasDing-Frenkel isomorphismDrinfeld realizationRLL realizationYang-BaxterizationGauss decompositionquantum Lyndon basesminimal affinization
0
0 comments X

The pith

Algebraic proof establishes the Ding-Frenkel isomorphism between Drinfeld and RLL realizations for the two-parameter quantum affine algebra of type B_n.

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

The paper proves that the Drinfeld realization and the RLL realization of the two-parameter quantum affine algebra U_{r,s}(widehat{so_{2n+1}}) are isomorphic. It starts from the braided R-matrix coming from finite-dimensional weight modules, builds quantum Lyndon bases for the FRT presentation, and then applies Yang-Baxterization in the affine setting. Only one of the resulting spectral-parameter R-matrices satisfies the required intertwining property with the minimal affinization; Gauss decomposition of its generating matrices then produces the RLL form, from which the isomorphism follows algebraically. A reader would care because the result equates two standard presentations that appear in different parts of quantum group theory and integrable systems.

Core claim

From the theory of finite-dimensional weight modules we obtain the basic braided R-matrix of U_{r,s}(so_{2n+1}). For its FRT presentation we achieve two word-formation methods of quantum Lyndon bases whose bracketing rules are regulated by the RLL-formalism and elucidate their distribution rule within the triangular L-matrix. In the affine setting we derive two spectral-parameter-dependent R-matrices through Yang-Baxterization, select the one that satisfies the intertwining property with respect to the minimal affinization, obtain the RLL realization through Gauss decompositions, and thereby establish an algebraic proof of the Ding-Frenkel isomorphism between the Drinfeld realization and the

What carries the argument

Gauss decomposition of the generating matrices obtained from the single Yang-Baxterized R-matrix that satisfies the intertwining property with the minimal affinization.

If this is right

  • The Drinfeld-Jimbo presentation is isomorphic to the FRT presentation for the finite-dimensional algebra.
  • The RLL realization of the affine algebra is constructed explicitly from the selected R-matrix via Gauss decomposition.
  • Quantum Lyndon bases exist with bracketing rules fixed by the RLL formalism and are distributed inside the triangular L-matrix according to a definite rule.
  • The Ding-Frenkel isomorphism holds between the Drinfeld realization and the RLL realization.

Where Pith is reading between the lines

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

  • The same selection criterion on Yang-Baxterized R-matrices may produce RLL realizations for other two-parameter quantum affine algebras of classical type.
  • The quantum Lyndon bases constructed here could be used to produce explicit PBW-type bases for representations of the affine algebra.
  • The algebraic route via Gauss decomposition may make certain calculations in integrable systems more tractable than direct use of the Drinfeld presentation.
  • The method supplies a template that could be tested on the two-parameter deformations of other affine Lie algebras.

Load-bearing premise

Exactly one of the two Yang-Baxterized R-matrices satisfies the intertwining property with the minimal affinization and produces the correct RLL realization.

What would settle it

An explicit check that the proposed map between generators fails to preserve the defining relations of either realization, or that both R-matrices satisfy the intertwining property to the same degree.

read the original abstract

From the theory of finite-dimensional weight modules, we get the basic braided $R$-matrix $\widehat R$ of $U_{r, s}(\mathfrak{so}_{2n+1})$. For its FRT presentation $U(\widehat R)$, we achieve two word-formation methods of quantum Lyndon bases (whose bracketing rules are regulated by the $RLL$-formalism) and elucidate their distribution rule within the triangular $L$-matrix. Consequently, we contribute an algebraic proof for establishing an isomorphism between the Drinfeld-Jimbo presentation and the FRT presentation. In the affine setting, we first derive two spectral parameter-dependent $R$-matrices through the Yang-Baxterization. Next, we select the only one that satisfies the intertwining property with respect to the minimal affinization. Accordingly, we obtain the $RLL$ realization of $U_{r, s}(\widehat{\mathfrak{so}_{2n+1}})$ through the Gauss decompositions of the generating matrices. Finally, we contribute an algebraic proof to the Ding-Frenkel Isomorphism Theorem between the Drinfeld realization and the $RLL$ realization.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to obtain the basic braided R-matrix of the two-parameter quantum algebra U_{r,s}(so_{2n+1}) from finite-dimensional weight modules, construct quantum Lyndon bases for its FRT presentation U(R̂), and give an algebraic proof of the isomorphism between the Drinfeld-Jimbo and FRT realizations. In the affine setting it derives two spectral-parameter R-matrices by Yang-Baxterization, selects the unique one that intertwines the minimal affinization, obtains the RLL realization of U_{r,s}(sô_{2n+1}) by Gauss decomposition of the generating matrices, and supplies an algebraic proof of the Ding-Frenkel isomorphism between the Drinfeld realization and this RLL realization.

Significance. If the derivations are completed, the work supplies an algebraic verification of the Ding-Frenkel theorem in the two-parameter affine case, extending the correspondence between Drinfeld and RLL realizations to a setting with two deformation parameters and thereby strengthening the structural theory of quantum affine algebras of type B.

major comments (1)
  1. [Affine setting paragraph] Affine setting (abstract and the paragraph beginning “In the affine setting”): the manuscript asserts that exactly one of the two Yang-Baxterized R-matrices satisfies the intertwining property with respect to the minimal affinization, yet supplies neither an explicit computation of the intertwining relation nor a reference to a prior result that would justify the selection. Because the subsequent Gauss decomposition and the identification of the RLL realization rest on this choice, the gap is load-bearing for the claimed Ding-Frenkel isomorphism.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a load-bearing gap in the affine-setting argument. We address the single major comment below.

read point-by-point responses
  1. Referee: [Affine setting paragraph] Affine setting (abstract and the paragraph beginning “In the affine setting”): the manuscript asserts that exactly one of the two Yang-Baxterized R-matrices satisfies the intertwining property with respect to the minimal affinization, yet supplies neither an explicit computation of the intertwining relation nor a reference to a prior result that would justify the selection. Because the subsequent Gauss decomposition and the identification of the RLL realization rest on this choice, the gap is load-bearing for the claimed Ding-Frenkel isomorphism.

    Authors: We agree that the current text does not contain an explicit verification of the intertwining relation for either Yang-Baxterized R-matrix, nor does it cite a prior result that would justify the selection. This omission leaves the choice of R-matrix insufficiently supported. In the revised manuscript we will add a self-contained computation (in the affine-setting section) that explicitly checks the action on the minimal affinization and shows that only one of the two R-matrices satisfies the required intertwining identity; the other fails on a concrete weight vector. With this addition the subsequent Gauss decomposition and the algebraic proof of the Ding-Frenkel isomorphism will rest on a fully justified choice. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from external module theory and Yang-Baxter equation

full rationale

The abstract and described chain derive two R-matrices via Yang-Baxterization, select the one satisfying the intertwining property for the minimal affinization, then obtain the RLL realization via Gauss decomposition and prove the Ding-Frenkel isomorphism algebraically. No quoted step equates a claimed prediction or isomorphism to a fitted parameter, self-definition, or load-bearing self-citation by construction. The selection is presented as determined by an external property rather than imposed by the result itself. The paper is therefore self-contained against the benchmarks in the enumerated patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on the existence of a braided R-matrix coming from finite-dimensional weight modules and on the standard properties of the Yang-Baxter equation; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Finite-dimensional weight modules yield a basic braided R-matrix for U_{r,s}(so_{2n+1})
    First sentence of the abstract.
  • standard math Yang-Baxter equation holds for the constructed R-matrices
    Implicit in the Yang-Baxterization step described in the abstract.

pith-pipeline@v0.9.0 · 5752 in / 1433 out tokens · 31507 ms · 2026-05-24T01:33:07.044573+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. $RLL$-realization of two-parameter quantum affine algebra in type $C_n^{(1)}$

    math.QA 2024-05 unverdicted novelty 5.0

    Provides an explicit correspondence between Drinfeld current and FRT RLL presentations of the two-parameter quantum affine algebra U_{r,s}(C_n^{(1)}).

Reference graph

Works this paper leans on

73 extracted references · 73 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Bai,Two-parameter quantum groups of type E-series, restricted two-parameter quantum groups of type D, Ph.D

    X. Bai,Two-parameter quantum groups of type E-series, restricted two-parameter quantum groups of type D, Ph.D. Thesis, East China Normal University, 2006

  2. [2]

    Beck, Convex bases of PBW type for quantum affine algebras.Comm

    J. Beck, Convex bases of PBW type for quantum affine algebras.Comm. Math. Phys.165 (1994), no. 1, 193––199

  3. [3]

    —, Braid group action and quantum affine algebras,Comm. Math. Phys.165 (3) (1994), 555—568

  4. [4]

    Benkart, S

    G. Benkart, S. Witherspoon, Two-parameter quantum groups and Drinfel’d doubles,Algebra Represent. Theory 7 (2004), 261—286

  5. [5]

    Math.237 (2004), 65—92

    —, Representations of two-parameter quantum groups and Schur-Weyl duality, In:Hopf algebras, Lecture Notes in Pure and Appl. Math.237 (2004), 65—92

  6. [6]

    Bergeron, Y

    N. Bergeron, Y. Gao, N. Hu, Drinfel’d doubles and Lusztig’s symmetries of two-parameter quantum groups,J. Algebra301 (2006), 378—405

  7. [7]

    —, Representations of two-parameter quantum orthogonal and symplectic groups,AMS/IP Stud. Adv. Math. 39 (2007), 1—21

  8. [8]

    J. S. Birman, H. Wenzl, Braids, link polynomials and a new algebra,Trans. Amer. Math. Soc., 313 (1) (1989), 249—273

  9. [9]

    Brown, Ken R

    Ken A. Brown, Ken R. Goodearl,Lectures on Algebraic Quantum Groups, Basel, Boston, Berlin, Birkh¨ auser, 2002. THE DING-FRENKEL ISOMORPHISM THEOREM FORU r,s( \so2n+1) AND BEYOND 65

  10. [10]

    Brundan, A

    J. Brundan, A. Kelshchev, Parabolic presentations of the YangianY(gl n),Comm. Math. Phys.254 (2005), 191—220

  11. [11]

    Chari, A

    V. Chari, A. Pressley, Quantum affine algebras,Comm. Math. Phys., 142 (2) (1991), 261—283

  12. [12]

    Proc 16, Amer

    —, Quantum affine algebras and their representations, Representations of groups (Banff, AB, 1994), CMS Conf. Proc 16, Amer. Math. Soc., Providence, RI, (1995), 59—78

  13. [13]

    Cheng, M

    Y. Cheng, M. Ge, and K. Xue, Yang-Baxterization of braid group representations,Comm. Math. Phys., 136 (1991), 195—208

  14. [14]

    Damiani, Drinfeld realization of affine quantum algebras: the relations,Publ

    I. Damiani, Drinfeld realization of affine quantum algebras: the relations,Publ. Res. Inst. Math. Sci.48 (3) (2012), 661—733

  15. [15]

    —, From the Drinfeld realization to the Drinfeld-Jimbo presentation of affine quantum algebras: injectivity, Publ. Res. Inst. Math. Sci.51 (1) (2015), 131—171

  16. [16]

    Ding, I.B

    J. Ding, I.B. Frenkel, Isomorphism of two realizations of quantum affine algebraU q( [gl(n)),Comm. Math. Phys. 156 (1993), 277—300

  17. [17]

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

  18. [18]

    —, A new realization of Yangians and quantized affine algebras,Sov. Math. Dokl.36 (1988), 212—216

  19. [19]

    Faddeev, N

    L. Faddeev, N. Reshetikhin, L. Takhtajan, Quantization of Lie groups and Lie algebras, in: Yang-Baxter Equations and Integrable Systems, in:Advanced Series in Mathematical Physics, vol. 10, 299—309, World Scientific, Singapore, 1989

  20. [20]

    J.1 (1) (1990), 193—225

    —, Quantization of Lie groups and Lie algebras,Algebra and Analysis (Russian)1 (1) (1989), 118—206; translation inLeningrad Math. J.1 (1) (1990), 193—225

  21. [21]

    G. Feng, N. Hu, R. Zhuang, Another admissible quantum affine algebra of typeA (1) 1 with quantum Weyl group,J. Geom. Phys.165 (2021), Paper No. 104218, 16 pp

  22. [22]

    Frenkel, N

    I. Frenkel, N. Jing, Vertex representations of quantum affine algebras.Proc. Nat. Acad. Sci. U.S.A., 85 (24) (1988), 9373—9377

  23. [23]

    Frenkel, N

    I. Frenkel, N. Reshetikhin, Quantum affine algebras and holonomic difference equations,Comm. Math. Phys. 146 (1992), 1—60

  24. [24]

    Y. Gao, N. Hu, H. Zhang, Two-parameter quantum affine algebra of typeG (1) 2 , Drinfeld realization and vertex representation,J. Math. Phys.56 (1) (2015), 011704, 27 pp

  25. [25]

    M. Ge, Y. Wu, K. Xue, Explicit trigonometric Yang-Baxterization,Internat. J. Modern. Phys. A.6 (1991), 3735—3779

  26. [26]

    Gelfand, S

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

  27. [27]

    Hernandez, B

    D. Hernandez, B. Leclerc, Cluster algebras and quantum affine algebras,Duke Math. J., 154(2) (2010), 265— 341

  28. [28]

    Hernandez, H

    D. Hernandez, H. Oya, Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan-Lusztig algorithmAdv. Math., 347 (2019), 192–272

  29. [29]

    N. Hu, N. Jing, X. Zhong,RLL-realization and its Hopf superalgebra structure ofU p,q( \gl(m|n)),J. Math. Phys.65 (12) (2024), Paper No. 123501, 18 pp

  30. [30]

    N. Hu, Y. Pei, Notes on 2-parameter quantum groups, (I),Sci. China Ser. A51 (2008), 1101—1110, arXiv:math.QA/0702298

  31. [31]

    Algebra40 (2012), 3202—3220

    —, Notes on two-parameter quantum groups, (II),Comm. Algebra40 (2012), 3202—3220

  32. [32]

    N. Hu, M. Rosso, H. Zhang, Two-parameter affine quantum groupU r,s(bsln), Drinfeld realization and quantum affine Lyndon basis,Comm. Math. Phys.278 (2008), 453—486

  33. [33]

    N. Hu, X. Wang, Convex PBW-type Lyndon bases and restricted two-parameter quantum groups of typeG 2, Pacific J. Math. 241 (2) (2009), 243—273

  34. [34]

    —, Convex PBW-type Lyndon bases and restricted two-parameter quantum groups of typeB,J. Geom. Phys. 60 (2010), 430—453

  35. [35]

    N. Hu, X. Xu, Novel isoclasses of one-parameter exotic small quantum groups originating from a two-parameter framework,Bulletin des Sciences Math´ ematiques206 (2026), Paper No. 103738, 20 pp

  36. [36]

    N. Hu, X. Xu, R. Zhuang,RLL-realization of two-parameter quantum affine algebra of typeB (1) n , arXiv:2405.06587

  37. [37]

    N. Hu, H. Zhang, Generating Functions withτ-Invariance and Vertex Representations of Quantum Affine AlgebrasU r,s(bg) (I): Simply-laced Cases, arXiv: 1401.4925

  38. [38]

    Algebra459 (2016), 43—75

    —, Two-parameter quantum affine algebra of typeC (1) n , Drinfeld realization and vertex representation,J. Algebra459 (2016), 43—75

  39. [39]

    N. Hu, R. Zhuang, A novel quantum affine algebra of typeA (1) 1 and its PBW basis,Hopf algebras, tensor categories and related topics, 153—170, Contemp. Math., 771, Amer. Math. Soc., 2021

  40. [40]

    Jacobson,Basic Algebra II, W.H.Freeman and Company, New York, 1989

    N. Jacobson,Basic Algebra II, W.H.Freeman and Company, New York, 1989

  41. [41]

    Jantzen,Lectures on Quantum Groups, New York: AMS, 1991

    J. Jantzen,Lectures on Quantum Groups, New York: AMS, 1991

  42. [42]

    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 (1985), 63—69

  43. [43]

    —, QuantumR-matrix for the generalized Toda system,Comm. Math. Phys.102 (1986), 537—547

  44. [44]

    Jing, Twisted vertex representations of quantum affine algebras,Invent

    N. Jing, Twisted vertex representations of quantum affine algebras,Invent. Math.102(1990), 663–690. 66 HU, XU, AND ZHUANG

  45. [45]

    N. Jing, M. Liu,R-matrix realization of two-parameter quantum groupU r,s(gln),Comm. Math. Stat., 2 (2014), 211—230

  46. [46]

    Algebra488 (2017), 1—28

    —,R-matrix realization of two-parameter quantum affine algebraU r,s(bgln),J. Algebra488 (2017), 1—28

  47. [47]

    N. Jing, M. Liu, A. Molev, Isomorphism between the R-matrix and Drinfeld presentations of Yangian in types B, CandD,Comm. Math. Phys., 361 (3) (2018), 827–872

  48. [48]

    043, 49 pp

    —, Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typesBandD, SIGMA16 (2020), Paper No. 043, 49 pp

  49. [49]

    —, Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typeC,J. Math. Phys.61 (3) (2020), 031701, 41 pp

  50. [50]

    —, Two-parameter twisted quantum affine algebras,J. Math. Phys.57 (2016), 091702, 42 pp

  51. [51]

    N. Jing, X. Zhang, M. Liu,R-matrix presentation of quantum affine algebra in typeA (2) 2n−1,Front. Math.18 (3) (2023), 513—564

  52. [52]

    Kac,Infinite Dimensional Lie Algebras, 3rd verion, Cambridge University Press, Cambridge, 1990

    V. Kac,Infinite Dimensional Lie Algebras, 3rd verion, Cambridge University Press, Cambridge, 1990

  53. [53]

    Kashiwara, M

    M. Kashiwara, M. Kim, S.J. Oh, E. Park, Monoidal categorification and quantum affine algebras,Compos. Math., 156(5) (2020), 1039—1077

  54. [54]

    Math., 236(2) (2024), 837—924

    —, Monoidal categorification and quantum affine algebras II,Invent. Math., 236(2) (2024), 837—924

  55. [55]

    V. K. Kharchenko, A combinatorial approach to the quantification of Lie algebras,Pacific J. Math., 203 (1) (2002), 191–233

  56. [56]

    Klimyk, K

    A. Klimyk, K. Schmudgen,Quantum Groups and Their Representations, Springer-Verlag, Berlin, 1997

  57. [57]

    T. Y. Lam,A First Course in Noncommutative Rings (Second Edition), Springer-Verlag, New York, 2001

  58. [58]

    Y. Li, N. Hu, The Green rings of the 2-rank Taft algebra and its two relatives twisted,J. Algebra410 (2014), 1—35

  59. [59]

    Liashyk, S

    A. Liashyk, S. Pakuliak, On theR-matrix realization of the quantum loop algebra, the case ofU q(D(2) n ),J. Math. Phys.65 (12) (2024), Paper No. 121703, 34 pp

  60. [60]

    Lusztig, Modular representations and quantum groups,Contemp

    G. Lusztig, Modular representations and quantum groups,Contemp. Math.82(1989), 59–77

  61. [61]

    —, Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra,J. Amer. Math. Soc., 3(1990), 257–296

  62. [62]

    Montgomery,Hopf Algebras and Their Actions on Rings, CBMS Conf

    S. Montgomery,Hopf Algebras and Their Actions on Rings, CBMS Conf. Math. Publ., vol. 82, Amer. Math. Soc., Providence, 1993

  63. [63]

    Reshetikhin, M

    N. Reshetikhin, M. Semenov-Tian-Shanski, Central extensions of quantum current groups,Lett. Math. Phys. 19 (1990), 133—142

  64. [64]

    Rosso, Lyndon words and universalR-matrices, Lecture at M.S.R.1., 1999

    M. Rosso, Lyndon words and universalR-matrices, Lecture at M.S.R.1., 1999

  65. [65]

    —, Lyndon bases and the multiplicative formula forR-matrices, 2002 (preprint)

  66. [66]

    Takeuchi, A two-parameter quantization ofGL(n),Proc

    M. Takeuchi, A two-parameter quantization ofGL(n),Proc. Japan Acad. Ser. A66 (1990), 112—114

  67. [67]

    Wenzl, Quantum groups and subfactors of typeB,C, andD,Comm

    H. Wenzl, Quantum groups and subfactors of typeB,C, andD,Comm. Math. Phys., 133 (2) (1990), 383—432

  68. [68]

    X. Wu, H. Lin, H. Zhang,R-matrix presentation of quantum affine superalgebra for typeosp(2m+ 1|2n), SIGMA Symmetry Integrability Geom. Methods Appl.20 (2024), Paper No. 105, 38 pp

  69. [69]

    Xu,The structure and classification of new Hopf algebras originated from two-parameter quantum groups, Master Thesis, East China Normal University, March 8, 2023

    X. Xu,The structure and classification of new Hopf algebras originated from two-parameter quantum groups, Master Thesis, East China Normal University, March 8, 2023

  70. [70]

    Zhang,Drinfeld realizations, quantum affine Lyndon bases and vertex representations of two paremeter quantum affine algebras, Ph.D

    H. Zhang,Drinfeld realizations, quantum affine Lyndon bases and vertex representations of two paremeter quantum affine algebras, Ph.D. Thesis, East China Normal University, 2007

  71. [71]

    Zhang, N

    H. Zhang, N. Jing, Drinfeld realization of twisted quantum affine algebras,Comm. Algebra35 (2007), 3683— 3698

  72. [72]

    Zhong, N

    X. Zhong, N. Hu, N. Jing,RLL-realization of two-parameter quantum affine algebra in typeC (1) n ,J. Algebra Appl., 2650117 (2026), 37 pp

  73. [73]

    Zhuang, N

    R. Zhuang, N. Hu, X. Xu,RLL-realization of two-parameter quantum affine algebra in typeD (1) n ,Pacific J. Math.329 (2) (2024), 357—395. School of Mathematical Sciences, MOE-KLMEA & SH-KLPMMP, East China Normal University, MinHang Campus, DongChuan Road 500, Shanghai 200241, PR China Email address:nhhu@math.ecnu.edu.cn School of Mathematical Sciences, MOE...