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
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.
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
- 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.
Referee Report
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)
- [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
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
-
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
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
axioms (2)
- domain assumption Finite-dimensional weight modules yield a basic braided R-matrix for U_{r,s}(so_{2n+1})
- standard math Yang-Baxter equation holds for the constructed R-matrices
Forward citations
Cited by 1 Pith paper
-
$RLL$-realization of two-parameter quantum affine algebra in type $C_n^{(1)}$
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
-
[1]
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
work page 2006
-
[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
work page 1994
-
[3]
—, Braid group action and quantum affine algebras,Comm. Math. Phys.165 (3) (1994), 555—568
work page 1994
-
[4]
G. Benkart, S. Witherspoon, Two-parameter quantum groups and Drinfel’d doubles,Algebra Represent. Theory 7 (2004), 261—286
work page 2004
-
[5]
—, Representations of two-parameter quantum groups and Schur-Weyl duality, In:Hopf algebras, Lecture Notes in Pure and Appl. Math.237 (2004), 65—92
work page 2004
-
[6]
N. Bergeron, Y. Gao, N. Hu, Drinfel’d doubles and Lusztig’s symmetries of two-parameter quantum groups,J. Algebra301 (2006), 378—405
work page 2006
-
[7]
—, Representations of two-parameter quantum orthogonal and symplectic groups,AMS/IP Stud. Adv. Math. 39 (2007), 1—21
work page 2007
-
[8]
J. S. Birman, H. Wenzl, Braids, link polynomials and a new algebra,Trans. Amer. Math. Soc., 313 (1) (1989), 249—273
work page 1989
-
[9]
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
work page 2002
-
[10]
J. Brundan, A. Kelshchev, Parabolic presentations of the YangianY(gl n),Comm. Math. Phys.254 (2005), 191—220
work page 2005
- [11]
-
[12]
—, Quantum affine algebras and their representations, Representations of groups (Banff, AB, 1994), CMS Conf. Proc 16, Amer. Math. Soc., Providence, RI, (1995), 59—78
work page 1994
- [13]
-
[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
work page 2012
-
[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
work page 2015
- [16]
-
[17]
V. G. Drinfeld, Hopf algebras and the quantum Yang-Baxter equation,Dokl. Akad. Nauk SSSR283 (5) (1985), 1060–1064
work page 1985
-
[18]
—, A new realization of Yangians and quantized affine algebras,Sov. Math. Dokl.36 (1988), 212—216
work page 1988
-
[19]
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
work page 1989
-
[20]
—, 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
work page 1989
-
[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
work page 2021
-
[22]
I. Frenkel, N. Jing, Vertex representations of quantum affine algebras.Proc. Nat. Acad. Sci. U.S.A., 85 (24) (1988), 9373—9377
work page 1988
-
[23]
I. Frenkel, N. Reshetikhin, Quantum affine algebras and holonomic difference equations,Comm. Math. Phys. 146 (1992), 1—60
work page 1992
-
[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
work page 2015
-
[25]
M. Ge, Y. Wu, K. Xue, Explicit trigonometric Yang-Baxterization,Internat. J. Modern. Phys. A.6 (1991), 3735—3779
work page 1991
-
[26]
I. Gelfand, S. Gelfand, V. Retakh, R. Wilson, Quasideterminants,Adv. Math.193 (1)(2005), 56—141
work page 2005
-
[27]
D. Hernandez, B. Leclerc, Cluster algebras and quantum affine algebras,Duke Math. J., 154(2) (2010), 265— 341
work page 2010
-
[28]
D. Hernandez, H. Oya, Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan-Lusztig algorithmAdv. Math., 347 (2019), 192–272
work page 2019
-
[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
work page 2024
- [30]
-
[31]
—, Notes on two-parameter quantum groups, (II),Comm. Algebra40 (2012), 3202—3220
work page 2012
-
[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
work page 2008
-
[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
work page 2009
-
[34]
—, Convex PBW-type Lyndon bases and restricted two-parameter quantum groups of typeB,J. Geom. Phys. 60 (2010), 430—453
work page 2010
-
[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
work page 2026
-
[36]
N. Hu, X. Xu, R. Zhuang,RLL-realization of two-parameter quantum affine algebra of typeB (1) n , arXiv:2405.06587
work page internal anchor Pith review Pith/arXiv arXiv
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
-
[38]
—, Two-parameter quantum affine algebra of typeC (1) n , Drinfeld realization and vertex representation,J. Algebra459 (2016), 43—75
work page 2016
-
[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
work page 2021
-
[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
work page 1989
-
[41]
Jantzen,Lectures on Quantum Groups, New York: AMS, 1991
J. Jantzen,Lectures on Quantum Groups, New York: AMS, 1991
work page 1991
-
[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
work page 1985
-
[43]
—, QuantumR-matrix for the generalized Toda system,Comm. Math. Phys.102 (1986), 537—547
work page 1986
-
[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
work page 1990
-
[45]
N. Jing, M. Liu,R-matrix realization of two-parameter quantum groupU r,s(gln),Comm. Math. Stat., 2 (2014), 211—230
work page 2014
-
[46]
—,R-matrix realization of two-parameter quantum affine algebraU r,s(bgln),J. Algebra488 (2017), 1—28
work page 2017
-
[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
work page 2018
-
[48]
—, Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typesBandD, SIGMA16 (2020), Paper No. 043, 49 pp
work page 2020
-
[49]
—, Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typeC,J. Math. Phys.61 (3) (2020), 031701, 41 pp
work page 2020
-
[50]
—, Two-parameter twisted quantum affine algebras,J. Math. Phys.57 (2016), 091702, 42 pp
work page 2016
-
[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
work page 2023
-
[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
work page 1990
-
[53]
M. Kashiwara, M. Kim, S.J. Oh, E. Park, Monoidal categorification and quantum affine algebras,Compos. Math., 156(5) (2020), 1039—1077
work page 2020
-
[54]
—, Monoidal categorification and quantum affine algebras II,Invent. Math., 236(2) (2024), 837—924
work page 2024
-
[55]
V. K. Kharchenko, A combinatorial approach to the quantification of Lie algebras,Pacific J. Math., 203 (1) (2002), 191–233
work page 2002
- [56]
-
[57]
T. Y. Lam,A First Course in Noncommutative Rings (Second Edition), Springer-Verlag, New York, 2001
work page 2001
-
[58]
Y. Li, N. Hu, The Green rings of the 2-rank Taft algebra and its two relatives twisted,J. Algebra410 (2014), 1—35
work page 2014
-
[59]
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
work page 2024
-
[60]
Lusztig, Modular representations and quantum groups,Contemp
G. Lusztig, Modular representations and quantum groups,Contemp. Math.82(1989), 59–77
work page 1989
-
[61]
—, Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra,J. Amer. Math. Soc., 3(1990), 257–296
work page 1990
-
[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
work page 1993
-
[63]
N. Reshetikhin, M. Semenov-Tian-Shanski, Central extensions of quantum current groups,Lett. Math. Phys. 19 (1990), 133—142
work page 1990
-
[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
work page 1999
-
[65]
—, Lyndon bases and the multiplicative formula forR-matrices, 2002 (preprint)
work page 2002
-
[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
work page 1990
-
[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
work page 1990
-
[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
work page 2024
-
[69]
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
work page 2023
-
[70]
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
work page 2007
- [71]
- [72]
-
[73]
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...
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.