pith. sign in

arxiv: 2605.12871 · v1 · pith:4AAEFTGYnew · submitted 2026-05-13 · 🧮 math.QA · math-ph· math.MP· math.RT

Affine Yangians as Limits of Quantum Toroidal Algebras

Luan Bezerra , Iryna Kashuba , Hongda Lin This is my paper

Pith reviewed 2026-06-30 21:36 UTC · model grok-4.3

classification 🧮 math.QA math-phmath.MPmath.RT
keywords affine Yangiansquantum toroidal algebrasassociated graded algebrasPBW basisdegeneration isomorphismKac-Moody algebrasquantum algebrascurrent algebras
0
0 comments X

The pith

The affine Yangian is isomorphic to the associated graded algebra of the quantum toroidal algebra under a canonical filtration.

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

The paper proves that for any untwisted affine Kac-Moody Lie algebra the affine Yangian Y_ℏ(g) is isomorphic as a C[ℏ]-algebra to the associated graded of the quantum toroidal algebra U_ℏ(g^tor) taken with respect to a canonical filtration. This supplies the affine version of a relation between Yangians and quantum loop algebras that was already known in the finite-dimensional setting. The isomorphism immediately yields a Poincaré-Birkhoff-Witt basis for the affine Yangian in every untwisted affine type and shows that its classical limit is the universal enveloping algebra of the polynomial current Lie algebra g[u]. A supporting result of independent interest is the construction of a PBW basis for the quantum toroidal algebra itself, obtained via a new torsion-freeness argument together with the topological Nakayama lemma.

Core claim

We establish that the affine Yangian Y_ℏ(𝔤) is isomorphic, as a ℂ[ℏ]-algebra, to the associated graded algebra of the quantum toroidal algebra U_ℏ(𝔤^tor) with respect to a canonical filtration. This holds for all untwisted affine Kac-Moody Lie algebras 𝔤 and constitutes the affine analogue of Drinfeld's conjecture. Two immediate consequences are a Poincaré-Birkhoff-Witt basis for Y_ℏ(𝔤) in every untwisted affine type and the identification of the classical limit of Y_ℏ(𝔤) with the universal enveloping algebra U(𝔤[u]) of the polynomial current Lie algebra.

What carries the argument

The canonical filtration on the quantum toroidal algebra U_ℏ(𝔤^tor) whose associated graded algebra is shown to be isomorphic to the affine Yangian Y_ℏ(𝔤).

If this is right

  • The affine Yangian admits a Poincaré-Birkhoff-Witt basis in every untwisted affine type.
  • The classical limit of the affine Yangian is the universal enveloping algebra U(g[u]) of the polynomial current Lie algebra.
  • The quantum toroidal algebra itself possesses a PBW basis constructed via torsion-freeness and the topological Nakayama lemma.

Where Pith is reading between the lines

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

  • The isomorphism supplies a route for transferring structural results from quantum toroidal algebras to affine Yangians.
  • The torsion-freeness technique developed for the toroidal algebra may be reusable for establishing bases in other filtered quantum algebras.

Load-bearing premise

The quantum toroidal algebra admits a PBW basis, which is proved by a new torsion-freeness argument and the topological Nakayama lemma.

What would settle it

An explicit check, for the affine algebra of type A_1^(1), that some defining relation of the affine Yangian fails to survive in the associated graded algebra of the toroidal algebra.

read the original abstract

We establish a degeneration isomorphism between quantum toroidal algebras and untwisted affine Yangians, valid for all untwisted affine Kac-Moody Lie algebras. Specifically, we prove that the affine Yangian $Y_\hbar(\mathfrak{g})$ is isomorphic, as a $\mathbb{C}[\hbar]$-algebra, to the associated graded algebra of the quantum toroidal algebra $U_\hbar(\mathfrak{g}^{\mathrm{tor}})$ with respect to a canonical filtration. This result constitutes the affine analogue of Drinfeld's conjecture on the relationship between Yangians and quantum loop algebras, previously established in the finite-dimensional setting by Gautam--Toledano Laredo and by Guay--Ma. As principal applications of this isomorphism, we derive two fundamental structural properties of affine Yangians: a Poincar\'e--Birkhoff--Witt (PBW) basis for $Y_\hbar(\mathfrak{g})$ in all untwisted affine types, and the identification of its classical limit as the universal enveloping algebra $U(\mathfrak{g}[u])$ of the polynomial current Lie algebra. A key ingredient of independent interest is our construction of a PBW basis for $U_\hbar(\mathfrak{g}^{\mathrm{tor}})$ itself, which relies on a new torsion-freeness argument for the quantum toroidal algebra and the topological Nakayama lemma.

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

0 major / 2 minor

Summary. The manuscript proves that for every untwisted affine Kac-Moody Lie algebra g the affine Yangian Y_ℏ(g) is isomorphic, as a ℂ[ℏ]-algebra, to the associated graded algebra of the quantum toroidal algebra U_ℏ(g^tor) with respect to a canonical filtration. The proof proceeds by establishing a PBW basis for U_ℏ(g^tor) via a new torsion-freeness argument together with the topological Nakayama lemma; the isomorphism then yields PBW bases for the affine Yangians in all untwisted types and identifies their classical limits with U(g[u]).

Significance. If the central isomorphism holds, the work supplies the affine analogue of the degeneration results of Gautam–Toledano Laredo and Guay–Ma, thereby resolving the natural extension of Drinfeld’s conjecture to the affine setting. The new torsion-freeness argument for quantum toroidal algebras is of independent interest and permits a uniform treatment across all untwisted affine types. The resulting PBW bases and classical-limit identifications are fundamental structural facts that were previously unavailable.

minor comments (2)
  1. [Introduction] The definition of the canonical filtration on U_ℏ(g^tor) is invoked throughout but is not restated in the introduction; a brief recap in §1 would improve readability.
  2. Notation for the generators of the quantum toroidal algebra occasionally differs from the conventions in the cited literature on toroidal algebras; a short comparison paragraph would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation to accept. The referee's summary accurately captures the main results on the degeneration isomorphism, the PBW bases, and the classical limit identification.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on new torsion-freeness argument

full rationale

The paper establishes the PBW basis for U_ℏ(g^tor) via a new torsion-freeness argument plus the topological Nakayama lemma, then derives the associated-graded isomorphism to Y_ℏ(g) and its consequences (PBW for the Yangian, classical limit). This chain is presented as self-contained and uniform across untwisted affine types, analogous to but independent of finite-type results by other authors. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central steps are new mathematical arguments rather than tautological or citation-dependent. The result is therefore scored as non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; no explicit free parameters, invented entities, or ad-hoc axioms are visible beyond standard domain assumptions of quantum toroidal and affine Yangian theory.

axioms (1)
  • domain assumption Existence and standard properties of quantum toroidal algebras U_ℏ(g^tor) and affine Yangians Y_ℏ(g) for untwisted affine Kac-Moody g
    The isomorphism statement presupposes these algebras are already defined and satisfy the usual relations from prior literature.

pith-pipeline@v0.9.1-grok · 5783 in / 1256 out tokens · 28839 ms · 2026-06-30T21:36:46.813336+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

36 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Braid group action and quantum affine algebras

    Beck J. Braid group action and quantum affine algebras. Commun Math Phys, 1994, 165(3): 555–568

    1994

  2. [2]

    Drinfeld Realization for Quantum Affine Orthosymplectic Superalgebras

    Bezerra L, Futorny V, Kashuba I. Drinfeld Realization for quantum affine superalgebras of type B. ArXiv: 2405.05533, 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  3. [3]

    Twisted quantum affinizations and quantization of extended affine Lie algebras

    Chen F., Jing N., Kong F., Tan S. Twisted quantum affinizations and quantization of extended affine Lie algebras. Trans. Amer. Math. Soc. 376 (2) (2023), 969-1039

    2023

  4. [4]

    From the Drinfeld realization to the Drinfeld-Jimbo presentation of affine quantum algebras: injectivity

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

    2015

  5. [5]

    Hopf algebras and the quantum Yang-Baxter equation

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

    1985

  6. [6]

    Quantum groups

    Drinfeld V G. Quantum groups. In: Proceedings of the International Congress of Mathematicians. Providence: Amer Math Soc, 1987, 798–820

    1987

  7. [7]

    A new realization of Yangians and of quantum affine algebras

    Drinfeld V G. A new realization of Yangians and of quantum affine algebras. Dokl Akad Nauk SSSR, 1987, 296(1): 13–17

    1987

  8. [8]

    Commutative Algebra

    Eisenbud D. Commutative Algebra. With a View Toward Algebraic Geometry. Grad Texts Math, 150. New York: Springer, 1995

    1995

  9. [9]

    Quantum vertex representations via finite groups and the McKay corre- spondence

    Frenkel I, Jing N, Wang W. Quantum vertex representations via finite groups and the McKay corre- spondence. Commun Math Phys, 2000, 211(2): 365–393

    2000

  10. [10]

    Yangians and quantum loop algebras

    Gautam S, Toledano Laredo V. Yangians and quantum loop algebras. Sel Math New Ser, 2013, 19(2): 271–336

    2013

  11. [11]

    Affine Yangians and deformed double current algebras in type A

    Guay N. Affine Yangians and deformed double current algebras in type A. Adv Math, 2007, 211(2): 436–484

    2007

  12. [12]

    From quantum loop algebras to Yangians

    Guay N, Ma X. From quantum loop algebras to Yangians. J Lond Math Soc, 2012, 86(3): 683–700 22 L. BEZERRA, I. KASHUBA, AND H. LIN

    2012

  13. [13]

    Coproduct for Yangians of affine Kac-Moody algebras

    Guay N, Nakajima H, Wendlandt C. Coproduct for Yangians of affine Kac-Moody algebras. Adv Math, 2018, 338: 865–911

    2018

  14. [14]

    Vertex representations for Yangians of Kac-Moody algebras

    Guay N, Regelskis V, Wendlandt C. Vertex representations for Yangians of Kac-Moody algebras. J ´Ec polytech Math, 2019, 6: 665–706

    2019

  15. [15]

    Representations of quantum affinizations and fusion product

    Hernandez D. Representations of quantum affinizations and fusion product. Transform Groups, 2005, 10(2): 163–200

    2005

  16. [16]

    Quantum toroidal algebras and their representations

    Hernandez D. Quantum toroidal algebras and their representations. Sel Math New Ser, 2009, 14(3): 701–725

    2009

  17. [17]

    Aq-difference analogue ofU(g) and the Yang-Baxter equation

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

    1985

  18. [18]

    Quantum Kac-Moody algebras and vertex representations

    Jing, N. Quantum Kac-Moody algebras and vertex representations. Lett Math Phys, 1998, 44(4): 261– 271

    1998

  19. [19]

    On Drinfeld realization of quantum affine algebras

    Jing, N. On Drinfeld realization of quantum affine algebras. In: The Monster and Lie Algebras (Colum- bus, OH, 1996). Ohio State Univ Math Res Inst Publ, 7, Berlin: de Gruyter, 1998, 195–206

    1996

  20. [20]

    Infinite-dimensional Lie algebras

    Kac V G. Infinite-dimensional Lie algebras. Cambridge: Cambridge University Press, 1985

    1985

  21. [21]

    Quantum Groups

    Kassel C. Quantum Groups. Grad Texts Math, 155. New York: Springer, 1995

    1995

  22. [22]

    Braid group action on affine Yangian

    Kodera R. Braid group action on affine Yangian. Symmetry Integr Geom Methods Appl, 2019, 15: 020

    2019

  23. [23]

    Automorphisms of quantum toroidal algebras from an action of the extended double affine braid group

    Laurie D. Automorphisms of quantum toroidal algebras from an action of the extended double affine braid group. Algebr Represent Theory, 2024, 27(6): 2067–2097

    2024

  24. [24]

    From quantum loop superalgebras to super Yangians

    Lin H, Wang Y, Zhang H. From quantum loop superalgebras to super Yangians. J Algebra, 2024, 650: 299–334

    2024

  25. [25]

    On generators and defining relations of quantum affine superalgebra Uq(bslm|n)

    Lin H, Yamane H, Zhang H. On generators and defining relations of quantum affine superalgebra Uq(bslm|n). J Algebra Appl, 2024, 23(1): 2450021

    2024

  26. [26]

    Drinfeld super Yangian of the exceptional Lie superalgebraD(2,1;λ)

    Lin H, Zhang H. Drinfeld super Yangian of the exceptional Lie superalgebraD(2,1;λ). J Pure Appl Algebra, 2025, 229: 108126

    2025

  27. [27]

    Affineıquantum groups and twisted Yangians in Drinfeld presentations

    Lu K, Wang W, Zhang W. Affineıquantum groups and twisted Yangians in Drinfeld presentations. Commun Math Phys, 2025, 406(5): 98

    2025

  28. [28]

    A Drinfeld type presentation of affineıquantum groups I: Split ADE type

    Lu M, Wang W. A Drinfeld type presentation of affineıquantum groups I: Split ADE type. Adv Math, 2021, 393: 108111

    2021

  29. [29]

    Affine Hecke algebras and their graded version

    Lusztig G. Affine Hecke algebras and their graded version. J Amer Math Soc, 1989, 2(3): 599–635

    1989

  30. [30]

    Toroidal braid group action and an automorphism of toroidal algebraU q(sln+1,tor) (n⩾2)

    Miki K. Toroidal braid group action and an automorphism of toroidal algebraU q(sln+1,tor) (n⩾2). Lett Math Phys, 1999, 47(4): 365–378

    1999

  31. [31]

    Toroidal Lie algebras and vertex representations

    Moody R, Rao S, Yokonuma T. Toroidal Lie algebras and vertex representations. Geom Dedicata, 1990, 35(1-3): 283–307

    1990

  32. [32]

    The PBW basis ofU q,q(¨gln)

    Negut A. The PBW basis ofU q,q(¨gln). Transform Groups, 2024, 29(1): 277–360

    2024

  33. [33]

    Classical limits of quantum toroidal and affine Yangian algebras

    Tsymbaliuk A. Classical limits of quantum toroidal and affine Yangian algebras. J Pure Appl Algebra, 2017, 221(10): 2633–2646

    2017

  34. [34]

    Schur duality in the toroidal setting

    Varagnolo M, Vasserot E. Schur duality in the toroidal setting. Commun Math Phys, 1996, 182(2): 469–483

    1996

  35. [35]

    Finite dimensional modules over quantum toroidal algebras

    Xia L. Finite dimensional modules over quantum toroidal algebras. Front Math China, 2020, 15(3): 593–600

    2020

  36. [36]

    The PBW theorem for affine Yangians

    Yang Y, Zhao G. The PBW theorem for affine Yangians. Transform Groups, 2020, 25(4): 1371–1385 (bezerra.luan@gmail.com)Luan Pereira Bezerra: Instituto de Ci ˆencias Exatas, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil (kashuba@sustech.edu.cn)Iryna Kashuba: Shenzhen International Center for Mathematics, Southern University of Science and Tec...

    2020