pith. sign in

arxiv: 2509.16528 · v2 · submitted 2025-09-20 · 🧮 math.QA

Double Yangians and quantum vertex algebras, I

Fei Kong , Haisheng Li This is my paper

Pith reviewed 2026-05-18 16:02 UTC · model grok-4.3

classification 🧮 math.QA
keywords double Yangianquantum vertex algebrageneralized Cartan matrixvacuum modulemodule category isomorphismcurrent presentation
0
0 comments X

The pith

For any symmetrizable generalized Cartan matrix the associated double Yangian has a universal vacuum module carrying a natural weak quantum vertex algebra structure.

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

The paper defines an algebra called the centrally extended double Yangian, written hat DY(A), for every symmetrizable generalized Cartan matrix A and supplies a new current presentation for it. It then builds the universal vacuum module V_A(ell) at any complex level ell. The central result is that this module carries a natural hbar-adic weak quantum vertex algebra structure. It also establishes that the category of restricted hat DY(A)-modules of level ell is isomorphic to the category of modules over the vertex algebra on V_A(ell). A sympathetic reader would care because the result supplies a direct dictionary between representations of these two families of algebras.

Core claim

For any symmetrizable generalized Cartan matrix A, we introduce an algebra hat{DY}(A), which is essentially the centrally extended double Yangian when A is of finite type, and we give a new field (current) presentation of hat{DY}(A). Among the main results, for any ell in C we construct a universal vacuum hat{DY}(A)-module V_A(ell) of level ell, prove that there exists a natural hbar-adic weak quantum vertex algebra structure on V_A(ell), and give an isomorphism between the category of restricted hat{DY}(A)-modules of level ell and the category of V_A(ell)-modules.

What carries the argument

The hbar-adic weak quantum vertex algebra structure on the universal vacuum module V_A(ell), which encodes the double Yangian action via vertex operators and yields the module-category isomorphism.

Load-bearing premise

The generalized Cartan matrix A must be symmetrizable so that the algebra hat{DY}(A) and its modules can be defined.

What would settle it

An explicit symmetrizable matrix A together with a level ell for which the vacuum module V_A(ell) fails to satisfy the axioms of an hbar-adic weak quantum vertex algebra, or for which the stated category isomorphism does not hold, would disprove the main claim.

read the original abstract

For any symmetrizable generalized Cartan matrix $A$, we introduce an algebra $\widehat{\mathcal{DY}}(A)$, which is essentially the centrally extended double Yangian when $A$ is of finite type, and we give a new field (current) presentation of $\widehat{\mathcal{DY}}(A)$. Among the main results, for any $\ell\in \mathbb C$ we construct a universal vacuum $\widehat{\mathcal{DY}}(A)$-module $\mathcal{V}_A(\ell)$ of level $\ell$, prove that there exists a natural $\hbar$-adic weak quantum vertex algebra structure on $\mathcal{V}_A(\ell)$, and give an isomorphism between the category of restricted $\widehat{\mathcal{DY}}(A)$-modules of level $\ell$ and the category of $\mathcal{V}_A(\ell)$-modules.

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

2 major / 2 minor

Summary. The paper introduces the algebra hat{DY}(A) for any symmetrizable generalized Cartan matrix A via a new current presentation, constructs the universal vacuum module V_A(ℓ) of level ℓ, proves that V_A(ℓ) carries a natural ħ-adic weak quantum vertex algebra structure, and establishes an equivalence of categories between the restricted hat{DY}(A)-modules of level ℓ and the V_A(ℓ)-modules.

Significance. If the central claims hold, the work provides a systematic generalization of double Yangian constructions and their links to quantum vertex algebras beyond finite-type cases. The explicit current presentation, the ħ-adic vacuum module, and the category isomorphism are load-bearing contributions that could enable vertex-algebraic techniques for studying representations of these algebras. The manuscript ships direct verifications of relations using symmetrizability, which is a strength.

major comments (2)
  1. [§3] §3 (or the section defining hat{DY}(A)): the new current presentation is asserted to recover the centrally extended double Yangian for finite-type A, but an explicit comparison map or verification that the defining relations match the standard ones is needed to confirm the generalization is faithful.
  2. [§4–5] The proof of the ħ-adic weak quantum vertex algebra structure on V_A(ℓ) (likely §4–5): the locality axiom must be checked explicitly in the ħ-adic topology; without a displayed estimate or convergence argument for the commutator of vertex operators, it is unclear whether the structure is well-defined for arbitrary symmetrizable A.
minor comments (2)
  1. Notation: ħ and hbar appear interchangeably; adopt a single symbol throughout and clarify its role in the topology.
  2. [Introduction] The abstract states the category isomorphism but does not indicate whether the functors are explicitly constructed or only shown to exist; a brief outline in the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (or the section defining hat{DY}(A)): the new current presentation is asserted to recover the centrally extended double Yangian for finite-type A, but an explicit comparison map or verification that the defining relations match the standard ones is needed to confirm the generalization is faithful.

    Authors: We agree that an explicit comparison strengthens the presentation of the generalization. In the revised manuscript we will add, in Section 3, a direct isomorphism between our current presentation of hat{DY}(A) and the standard centrally extended double Yangian for finite-type A, together with a verification that the defining relations coincide under this map. revision: yes

  2. Referee: [§4–5] The proof of the ħ-adic weak quantum vertex algebra structure on V_A(ℓ) (likely §4–5): the locality axiom must be checked explicitly in the ħ-adic topology; without a displayed estimate or convergence argument for the commutator of vertex operators, it is unclear whether the structure is well-defined for arbitrary symmetrizable A.

    Authors: The proof of the locality axiom in Sections 4 and 5 is carried out inside the ħ-adic completion and uses symmetrizability of A to control the relevant series. To address the request for greater explicitness we will insert, in the revised version, a displayed estimate together with a short convergence argument for the commutator of the vertex operators that holds uniformly for symmetrizable generalized Cartan matrices. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces new definitions for the algebra hat{DY}(A) and the module V_A(ℓ), then proves the quantum vertex algebra structure and category isomorphism by direct verification of relations using the symmetrizability assumption. These steps are constructive and self-contained; no derivation reduces by construction to fitted inputs, self-citations, or prior ansatzes from the same authors. The central claims rest on explicit constructions and axiom checks rather than renaming or self-referential loops.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the standard definition of symmetrizable generalized Cartan matrices and the existence of a suitable current presentation; no free parameters are fitted to data, and the new algebra and module are introduced as the main objects.

axioms (1)
  • domain assumption A is a symmetrizable generalized Cartan matrix
    This is the input data used to define the algebra hat{DY}(A) at the outset.
invented entities (2)
  • hat{DY}(A) no independent evidence
    purpose: Centrally extended double Yangian algebra
    Newly defined algebra with a current presentation.
  • V_A(ℓ) no independent evidence
    purpose: Universal vacuum module of level ℓ
    Constructed module equipped with the vertex algebra structure.

pith-pipeline@v0.9.0 · 5663 in / 1359 out tokens · 45172 ms · 2026-05-18T16:02:15.892977+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    Butorac, N

    M. Butorac, N. Jing, and S. Ko z i\' c , -adic quantum vertex algebras associated with rational R -matrix in types B , C and D , Lett. Math. Phys. 109 (2019), 2439–2471

    work page 2019

  2. [2]

    Bakalov and V

    B. Bakalov and V. Kac, Field algebras, Internat. Math. Res. Notices 3 (2003), 123--159

    work page 2003

  3. [3]

    Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc

    R. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc. Natl. Acad. Sci. USA 83 (1986), 3068--3071

    work page 1986

  4. [4]

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

    work page 2023

  5. [5]

    Ding and I

    J. Ding and I. Frenkel, Isomorphism of two realizations of quantum affine algebra U _q( gl (n) ) . Commun. Math. Phys. , 156 (1993), 277--300

    work page 1993

  6. [6]

    Ding and S

    J. Ding and S. Khoroshkin, Weyl group extension of quantized current algebras, Transform. Groups , 5 (2000), 35--59

    work page 2000

  7. [7]

    Drinfeld, A new realization of Yangians and quantized affine algebras, Soviet Math

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

    work page 1988

  8. [8]

    Etingof and D

    P. Etingof and D. Kazhdan, Quantization of Lie bialgebras, V: Quantum vertex operator algebras, Selecta Math. (N.S.) 6 (2000), 105--130

    work page 2000

  9. [9]

    Frenkel, Y

    I. Frenkel, Y. Huang, and J. Lepowsky, On Axiomatic Approaches to Vertex Operator Algebras and Modules , Memoirs of the Amer. Math. Soc., Vol. 104, 1993

    work page 1993

  10. [10]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster , volume 134, Pure and Applied Mathematics , Academic Press, New York, 1988

    work page 1988

  11. [11]

    Garland, The arithmetic theory of loop algebras, J

    H. Garland, The arithmetic theory of loop algebras, J. Algebra 53 (1978), 480--551

    work page 1978

  12. [12]

    N. Jing, F. Kong, H.-S. Li, and S. Tan, ( G , _ ) -equivariant -coordinated quasi modules for nonlocal vertex algebras, J. Algebra 570 (2021), 24--74

    work page 2021

  13. [13]

    N. Jing, F. Kong, H.-S. Li, and S. Tan, Deforming vertex algebras by vertex bialgebras, Commun. Contemp. Math., 26 (2024), 2250067

    work page 2024

  14. [14]

    N. Jing, F. Kong, H.-S. Li, and S. Tan, Twisted quantum affine algebras and equivariant -coordinated modules for quantum vertex algebras, arXiv: 2212.01895 [math.QA]; submitted for publication

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    N. Jing, M. Liu, and A. Molev, Isomorphism between the R -matrix and D rinfeld presentations of quantum affine algebra: T ype B and D . SIGMA , 16 (2020), 043

    work page 2020

  16. [16]

    N. Jing, M. Liu, and A. Molev, Isomorphism between the R -matrix and D rinfeld presentations of quantum affine algebra: T ype C . J. Math. Phys. , 61 (2020), 031701

    work page 2020

  17. [17]

    N. Jing, F. Yang, and M. Liu, Yangian doubles of classical types and their vertex representations, J. Math. Phys. 61 (2020), 051704

    work page 2020

  18. [18]

    Iohara, Bosonic representations of Yangian double, J

    K. Iohara, Bosonic representations of Yangian double, J. Phys. A 29 (1996), 4593

    work page 1996

  19. [19]

    Kac, Infinite dimensional Lie algebras , Cambridge University Press, 1994

    V. Kac, Infinite dimensional Lie algebras , Cambridge University Press, 1994

    work page 1994

  20. [20]

    Kassel, Quantum Groups, GTM 155 , Springer-Verlag, New York, 1995

    C. Kassel, Quantum Groups, GTM 155 , Springer-Verlag, New York, 1995

    work page 1995

  21. [21]

    S. M. Khoroshkin, Central extension of the Yangian double, Alg\`ebre non commutative, groupes quantiques et invariants ( R eims, 1995) (1997), 119--135

    work page 1995

  22. [22]

    Kong, Quantum affine vertex algebras associated to untwisted quantum affinization algebras, Commun

    F. Kong, Quantum affine vertex algebras associated to untwisted quantum affinization algebras, Commun. Math. Phys. 402 (2023), 2577–2625

    work page 2023

  23. [23]

    Ko z i\' c

    S. Ko z i\' c . On the quantum affine vertex algebra associated with trigonometric R -matrix. Selecta Math. (N. S.) , 27 (2021),45

    work page 2021

  24. [24]

    Ko z i\' c

    S. Ko z i\' c . -adic quantum vertex algebras in types B , C , D and their -coordinated modules. J. Phys. A: Math. Theor. , 54 (2021), 485202

    work page 2021

  25. [25]

    Lepowsky and H.-S

    J. Lepowsky and H.-S. Li, Introduction to Vertex Operator Algebras and Their Representations , Prog. Math 227 , Birkh\" a user, Boston, 2004

    work page 2004

  26. [26]

    Li, Axiomatic G_ 1 -vertex algebras, Commun

    H.-S. Li, Axiomatic G_ 1 -vertex algebras, Commun. Contemp. Math. 5 (2003), 1--47

    work page 2003

  27. [27]

    Li, Nonlocal vertex algebras generated by formal vertex operators, Selecta Math

    H.-S. Li, Nonlocal vertex algebras generated by formal vertex operators, Selecta Math. (N.S.) 11 (2005), 349--397

    work page 2005

  28. [28]

    Li, Constructing quantum vertex algebras, Int

    H.-S. Li, Constructing quantum vertex algebras, Int. J. Math. 17 (2006), 441--476

    work page 2006

  29. [29]

    Li, A smash product construction of nonlocal vertex algebras, Commun

    H.-S. Li, A smash product construction of nonlocal vertex algebras, Commun. Contemp. Math. 9 (2007), 605--637

    work page 2007

  30. [30]

    Li, -adic quantum vertex algebras and their modules, Commun

    H.-S. Li, -adic quantum vertex algebras and their modules, Commun. Math. Phys. 296 (2010), 475--523

    work page 2010

  31. [31]

    Li, -coordinated quasi-modules for quantum vertex algebras, Commun

    H.-S. Li, -coordinated quasi-modules for quantum vertex algebras, Commun. Math. Phys. 308 (2011), 703--741

    work page 2011

  32. [32]

    Li, G -equivariant -coordinated quasi modules for quantum vertex algebras, J

    H.-S. Li, G -equivariant -coordinated quasi modules for quantum vertex algebras, J. Math. Phys. 54 (2013), 051704

    work page 2013

  33. [33]

    H.-S. Li, S. Tan, Q. Wang, Ding-Iohara algebras and quantum vertex algebras, J. Algebra 511 (2018), 182-214

    work page 2018

  34. [34]

    Varagnolo, M and E

    M. Varagnolo, M and E. Vasserot,, Double-loop algebras and the Fock space, Invent. Math. , volume 133 (1998),133--159,

    work page 1998