pith. sign in

arxiv: 2602.01130 · v2 · submitted 2026-02-01 · 🧮 math.RT · math.QA

A new new coproduct on quantum loop algebras

Andrei Negu\c{t} This is my paper

Pith reviewed 2026-05-16 08:44 UTC · model grok-4.3

classification 🧮 math.RT math.QA
keywords quantum loop algebrascoproductDrinfeld-Jimborepresentation theoryR-matricestensor productsquantum affine algebras
0
0 comments X

The pith

A coproduct is defined on general quantum loop algebras that reduces to the Drinfeld-Jimbo coproduct on U_q(ĝ).

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

Quantum loop algebras generalize the usual quantum affine algebras and appear in settings such as Kac-Moody affinizations, K-theoretic Hall algebras, and BPS algebras for Calabi-Yau threefolds. The paper constructs a single coproduct on this entire family of algebras. The construction is required to agree exactly with the classical Drinfeld-Jimbo coproduct whenever the algebra is U_q of the loop algebra of a simple Lie algebra. The new operation is then applied to define tensor products of modules and to produce R-matrices, giving a uniform language for the representation theory of all these algebras at once.

Core claim

We define a coproduct on general quantum loop algebras, which coincides with the Drinfeld-Jimbo coproduct in the particular case of U_q(ĝ). We investigate the consequences of our construction for the representation theory of quantum loop algebras, particularly for tensor products of modules and R-matrices.

What carries the argument

The newly introduced coproduct, defined so that it is compatible with the algebra multiplication and coassociative on arbitrary quantum loop algebras.

Load-bearing premise

A single coproduct can be written down for every quantum loop algebra while automatically satisfying coassociativity and compatibility with the existing multiplication.

What would settle it

An explicit calculation on one concrete example, such as the K-theoretic Hall algebra of a small quiver, in which the proposed coproduct fails to be coassociative or fails to be an algebra homomorphism.

read the original abstract

Quantum loop algebras generalize $U_q(\widehat{\mathfrak{g}})$ for simple Lie algebras $\mathfrak{g}$, and they include examples such as quantum affinizations of Kac-Moody Lie algebras, K-theoretic Hall algebras of quivers, and BPS algebras for toric Calabi-Yau threefolds. In the present paper, we define a coproduct on general quantum loop algebras, which coincides with the Drinfeld-Jimbo coproduct in the particular case of $U_q(\widehat{\mathfrak{g}})$ . We investigate the consequences of our construction for the representation theory of quantum loop algebras, particularly for tensor products of modules and R-matrices.

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 / 1 minor

Summary. The manuscript defines a coproduct on general quantum loop algebras (including quantum affinizations of Kac-Moody algebras, K-theoretic Hall algebras of quivers, and BPS algebras) that is asserted to coincide with the Drinfeld-Jimbo coproduct on the special case U_q(ĝ). It then examines consequences for the representation theory, in particular tensor products of modules and R-matrices.

Significance. A verified, uniform coproduct construction that preserves coassociativity and algebra compatibility across these presentations would supply a common algebraic framework for studying representations and integrable structures in several currently separate families of quantum loop algebras.

major comments (1)
  1. [Introduction / §2 (definition of Δ)] The abstract and introduction assert that the proposed coproduct satisfies coassociativity and is an algebra homomorphism with respect to the defining relations of a general quantum loop algebra, yet no explicit formulas for the action on generators, no verification that the images of the extra Serre-type or loop-parameter relations remain compatible, and no proof of (Δ ⊗ id)Δ = (id ⊗ Δ)Δ are supplied. These checks are load-bearing for the central claim.
minor comments (1)
  1. [§1] Notation for the general quantum loop algebra generators and relations should be introduced with explicit comparison to the Drinfeld-Jimbo presentation before the coproduct is defined.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. The central claim of the paper is the construction of a uniform coproduct on general quantum loop algebras that reduces to the Drinfeld-Jimbo coproduct in the classical case. We address the referee's major comment below and will strengthen the exposition accordingly in the revised version.

read point-by-point responses

  1. Referee: [Introduction / §2 (definition of Δ)] The abstract and introduction assert that the proposed coproduct satisfies coassociativity and is an algebra homomorphism with respect to the defining relations of a general quantum loop algebra, yet no explicit formulas for the action on generators, no verification that the images of the extra Serre-type or loop-parameter relations remain compatible, and no proof of (Δ ⊗ id)Δ = (id ⊗ Δ)Δ are supplied. These checks are load-bearing for the central claim.

    Authors: We thank the referee for identifying this gap in the presentation. The coproduct Δ is defined on the generators in §2, but the explicit formulas and the verifications of compatibility with the Serre-type relations and loop-parameter relations were not written out in full detail, nor was a complete proof of coassociativity provided. In the revised manuscript we will insert (i) explicit formulas for Δ(e_i), Δ(f_i), Δ(h_i) and the action on the loop elements, (ii) a direct check that these images satisfy all defining relations of the general quantum loop algebra, and (iii) a self-contained proof of coassociativity by computing both (Δ ⊗ id)Δ and (id ⊗ Δ)Δ on the generators and verifying equality. These additions will be placed in a new subsection of §2 so that the central claim is fully rigorous. revision: yes

Circularity Check

0 steps flagged

Coproduct defined explicitly as extension of Drinfeld-Jimbo case; no reduction to inputs by construction

full rationale

The paper presents an explicit definition of a coproduct on general quantum loop algebras that is stated to coincide with the known Drinfeld-Jimbo coproduct on U_q(ĝ). This is a direct construction on generators, with consequences for representations, tensor products, and R-matrices investigated afterward. No self-definitional loop appears (the coproduct is not defined using its own properties), no fitted parameters are relabeled as predictions, and no load-bearing self-citation chain is invoked to justify the central definition or its compatibilities. The derivation chain begins with an independent definition rather than reducing to prior fitted data or unverified extension by fiat; any verification of coassociativity or algebra homomorphism properties for the general case would constitute separate proof steps outside the definition itself. This is the standard non-circular pattern for introducing a new algebraic structure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior definition of quantum loop algebras and on the existence of a coproduct satisfying standard coalgebra axioms for that class.

axioms (1)
  • domain assumption Quantum loop algebras carry a standard Hopf algebra structure or compatible algebra and coalgebra operations from prior literature.
    The paper assumes the general framework of quantum loop algebras as already established.

pith-pipeline@v0.9.0 · 5397 in / 1025 out tokens · 38560 ms · 2026-05-16T08:44:43.438661+00:00 · methodology

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

45 extracted references · 45 canonical work pages

  1. [1]

    Beck J.,Braid group action and quantum affine algebras, Comm. Math. Phys. 165 (1994), no. 3, 555-568

    work page 1994

  2. [2]

    Cao Y., Okounkov A., Zhou Y., Zhou Z.,Stable envelopes for critical loci, arχiv:2512.23929

    work page arXiv

  3. [3]

    Cao Y., Okounkov A., Zhou Y., Zhou Z.,Shifted quantum groups via critical stable en- velopes, arχiv:2601.01518

    work page arXiv

  4. [4]

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

    work page 1995

  5. [5]

    Damiani I.,A basis of type Poincar´ e–Birkhoff–Witt for the quantum algebra ofsl2, Journal of Algebra 161 (1993), 291-310

    work page 1993

  6. [6]

    Damiani I.,LaR-matrice pour les alg` ebres quantiques de type affine non tordu, Ann. Sci. ´Ecole Norm. Sup. 31 (1998), no. 4, 493-523

    work page 1998

  7. [7]

    Drinfeld V.,Hopf algebras and the quantum Yang-Baxter equation, Soviet Math. Dokl. 32 (1985), 254-258

    work page 1985

  8. [8]

    Drinfeld V.,A new realization of Yangians and of quantum affine algebras, Soviet Math. Dokl. 36 (1988), no. 2, 212-216

    work page 1988

  9. [9]

    Groups 5 (2000), no

    Enriquez B.,On correlation functions of Drinfeld currents and shuffle algebras, Transform. Groups 5 (2000), no. 2, 111-120

    work page 2000

  10. [10]

    Enriquez B., Khoroshkin S., Pakuliak S.,Weight functions and Drinfeld currents, Com- mun. Math. Phys. 276, 691–725 (2007)

    work page 2007

  11. [11]

    Feigin B., Hashizume K., Hoshino A., Shiraishi J., Yanagida S.,A commutative algebra on degenerateCP 1 and Macdonald polynomials, J. Math. Phys. 50 (2009), no. 9, 095215, 42 pp

    work page 2009

  12. [12]

    Feigin B., Jimbo M., Miwa T., Mukhin E.,Finite type modules and Bethe ansatz for quantum toroidalgl 1, Comm. Math. Phys. 356 (2017), no. 1, 285-327

    work page 2017

  13. [13]

    Henri Poincar´ e 18, (2017) 2543-2579

    Feigin B., Jimbo M., Miwa T., Mukhin E.,Finite Type Modules and Bethe Ansatz Equa- tions, Ann. Henri Poincar´ e 18, (2017) 2543-2579

    work page 2017

  14. [14]

    Feigin B., Odesskii A.,Quantized moduli spaces of the bundles on the elliptic curve and their applications, NATO Sci. Ser. II Math. Phys. Chem., 35, 123-137, Kluwer Acad. Publ., Dordrecht, 2001

    work page 2001

  15. [15]

    Feigin B., Tsymbaliuk A.,Bethe subalgebras ofU q(bgln)via shuffle algebras, Sel. Math. New Ser. 22, 979-1011 (2016)

    work page 2016

  16. [16]

    Finkelberg M., Tsymbaliuk A.,Multiplicative slices, relativistic Toda and shifted quantum affine algebras, Progr. Math. 330 (2019), 133-304

    work page 2019

  17. [17]

    Frenkel E., Hernandez D.,Baxter’s relations and spectra of quantum integrable models, Duke Math. J. 164 (2015), no. 12, 2407-2460

    work page 2015

  18. [18]

    Frenkel E., Reshetikhin N.,Theq-characters of representations of quantum affine algebras and deformations ofW-Algebras, in Recent Developments in Quantum Affine Algebras and related topics, Contemp. Math. 248 (1999), 163-205

    work page 1999

  19. [19]

    Groups 10, no

    Hernandez D.,Representations of quantum affinizations and fusion product, Transfor. Groups 10, no. 2 (2005), 163-200

    work page 2005

  20. [20]

    Hernandez D.,Drinfeld coproduct, quantum fusion tensor category and applications, Proc. Lond. Math. Soc. vol. 95, no. 3 (2007), 567-608

    work page 2007

  21. [21]

    Hernandez D.,Representations of shifted quantum affine algebras, Int. Math. Res. Not. 13 (2023), 11035-11126

    work page 2023

  22. [22]

    Hernandez D., Jimbo M.,Asymptotic representations and Drinfeld rational fractions, Comp. Math. 2012; 148(5):1593-1623. A NEW NEW COPRODUCT ON QUANTUM LOOP ALGEBRAS 51

    work page 2012

  23. [23]

    Hernandez D., Negut, A.,Borel and shifted categoryO, in preparation

    work page

  24. [24]

    Jimbo M.,Aq-analogue ofU(g)and the Yang-Baxter equation, Lett. Math. Phys. 10 (1985), 63-69

    work page 1985

  25. [25]

    Khoroshkin S., Tolstoy V.,The universalR-matrix for quantum untwisted affine Lie al- gebras, Funct. Anal. Appl. 26 (1) (1992) 69-71

    work page 1992

  26. [26]

    Kirillov A., Reshetikhin N.,q-Weyl group and a multiplicative formula for universalR- matrices, Commun. Math. Phys. 134 (2) (1990) 421-431

    work page 1990

  27. [27]

    Levendorsky S., Soibelman Ya.,Some applications of the quantum Weyl groups, J. Geom. Phys. 7 (2) (1990) 241-254

    work page 1990

  28. [28]

    Levendorsky S., Soibelman Ya., Stukopin V.,The quantum Weyl group and the universal quantumR-matrix for affine Lie algebraA (1) 1 , Lett. Math. Phys. 27 (4) (1993) 253-264

    work page 1993

  29. [29]

    Negut, A.,The shuffle algebra revisited, Int. Math. Res. Not. IMRN 2014, no. 22, 6242- 6275

    work page 2014

  30. [30]

    Reine Angew

    Negut, A.,Quantum loop groups for symmetric Cartan matrices, J. Reine Angew. Math. (2026)

    work page 2026

  31. [31]

    Negut, A.,Shuffle algebras for quivers andR-matrices, J. Inst. Math. Jussieu 22 (2023), no. 6, 2583-2618

    work page 2023

  32. [32]

    Reine Angew

    Negut, A.,Shuffle algebras for quivers and wheel conditions, J. Reine Angew. Math. 795 (2023), 139-182

    work page 2023

  33. [33]

    Groups 29 (2024), 277-360

    Negut, A.,The PBW basis ofU q,¯q(¨gln), Transform. Groups 29 (2024), 277-360

    work page 2024

  34. [34]

    Negut, A.,A tale of two shuffle algebras, Sel. Math. New Ser. 30, no. 4, 62 (2024)

    work page 2024

  35. [35]

    Negut, A.,Reduced quiver quantum toroidal algebras, J. Inst. Math. Jussieu 24 (2025), no. 2, 341-369

    work page 2025

  36. [36]

    Negut, A.,Quantum loop groups for arbitrary quivers, From representation theory to math- ematical physics and back, Contemp. Math. 817 (2025), 287-324

    work page 2025

  37. [37]

    Negut, A.,Quantum loop groups andK-theoretic stable envelopes, Proc. Lond. Math. Soc. 130 (2025), Issue 5

    work page 2025

  38. [38]

    Negut, A.,CategoryOfor quantum loop algebras, arχiv:2501.00724

    work page arXiv

  39. [39]

    Negut, A.,Characters of quantum loop algebras, arχiv:2503.17518

    work page arXiv

  40. [40]

    Negut, A., Sala F., Schiffmann O.,Shuffle algebras for quivers as quantum groups, Math. Ann. 391 (2025), no. 2, 2981-3021

    work page 2025

  41. [41]

    439 (2024), 109482, 69 pp

    Negut, A., Tsymbaliuk A.,Quantum loop groups and shuffle algebras via Lyndon words, Adv.Math. 439 (2024), 109482, 69 pp

    work page 2024

  42. [42]

    Okounkov A., Smirnov A.,Quantum difference equation for Nakajima varieties, Invent. Math. 229, 1203-1299 (2022)

    work page 2022

  43. [43]

    theorem and the universal R-matrix forU hsl(N+ 1), Commun

    Rosso M.,An analogue of P.B.W. theorem and the universal R-matrix forU hsl(N+ 1), Commun. Math. Phys. 124 (2) (1989) 307-318

    work page 1989

  44. [44]

    Zhang H.,Theta series for quantum loop algebras and Yangians, Comm. Math. Phys. 405 (2024), no. 10, Paper No. 230, 68 pp

    work page 2024

  45. [45]

    ´Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Lausanne, Switzerland Simion Stoilow Institute of Mathematics (IMAR), Bucharest, Romania Email address:andrei.negut@gmail.com

    Zhu T.,Maulik-Okounkov quantum loop groups and Drinfeld double of preprojective K- theoretic Hall algebras, arχiv:2511.02161. ´Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Lausanne, Switzerland Simion Stoilow Institute of Mathematics (IMAR), Bucharest, Romania Email address:andrei.negut@gmail.com

    work page arXiv