arxiv: 2604.04666 · v1 · submitted 2026-04-06 · 🧮 math.QA · math-ph· math.MP

Recognition: no theorem link

Quantum affine vertex algebra at root of unity

Fei Kong

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:44 UTC · model grok-4.3

classification 🧮 math.QA math-phmath.MP

keywords quantum affine algebraroot of unityLusztig algebravertex algebracurrent algebra presentationquasi-modulesequivariant functordeformation

0 comments

The pith

The Lusztig big quantum affine algebra at a root of unity admits a current algebra presentation that yields Z_wp-module quantum vertex algebras and a fully faithful functor to their equivariant quasi-modules.

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

This paper gives a current algebra presentation for the Lusztig big quantum affine algebra U_ζ(ĝ) when ζ is a primitive wp-th root of unity with wp > 2r. Using the presentation, it constructs a family of Z_wp-module quantum vertex algebras V_wp,τ^ℓ(g) indexed by level ℓ. It then produces a fully faithful functor that sends the category of smooth weighted U_ζ(ĝ)-modules of level ℓ to the category of (Z_wp, χ_φ)-equivariant φ-coordinated quasi-modules for V_wp,τ^ℓ(g) and identifies the image of the functor. The constructed vertex algebra is realized as a deformation of a simpler algebra V_wp,ε^ℓ(g) that decomposes into a Heisenberg vertex algebra plus a quantum vertex algebra determined by a quiver.

Core claim

We establish a current algebra presentation of U_ζ(ĝ). Based on this presentation, we construct a Z_wp-module quantum vertex algebras V_wp,τ^ℓ(g) for each integer ℓ. Moreover, we establish a fully faithful functor from the category of smooth weighted U_ζ(ĝ)-modules of level ℓ to the category of (Z_wp, χ_φ)-equivariant φ-coordinated quasi-modules of V_wp,τ^ℓ(g), where χ_φ : Z_wp → C^× is the group homomorphism defined by s ↦ ζ^s. We also determine the image of this functor. The structure V_wp,τ^ℓ(g) is substantially different from that of affine vertex algebras. We realize V_wp,τ^ℓ(g) as a deformation of a simpler quantum vertex algebra V_wp,ε^ℓ(g) by using vertex bialgebras, and decompose V_

What carries the argument

Current algebra presentation of U_ζ(ĝ) that supports construction of the Z_wp-module quantum vertex algebra V_wp,τ^ℓ(g) and the fully faithful functor to its (Z_wp, χ_φ)-equivariant φ-coordinated quasi-modules.

If this is right

The representation theory of U_ζ(ĝ) at level ℓ becomes accessible through equivariant quasi-modules of the constructed quantum vertex algebra.
The image of the functor identifies precisely which quasi-modules arise from smooth weighted modules.
The vertex bialgebra deformation relates the root-of-unity structure to the simpler ε-version while preserving module correspondences.
The decomposition separates a Heisenberg factor from the quiver-determined quantum vertex algebra.
The construction supplies a vertex-algebraic model for the modules of quantum affine algebras at roots of unity.

Where Pith is reading between the lines

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

The functor may allow vertex-operator methods to compute characters or fusion rules for quantum affine modules at roots of unity.
The quiver component could connect to representations of quivers or related combinatorial algebras.
Relaxing wp > 2r might produce modified presentations and degenerate cases still admitting similar functors.
Varying the coordination parameter φ could generate analogous correspondences for other classes of modules.

Load-bearing premise

The assumption that wp exceeds 2r ensures the divided-power relations in the Lusztig algebra permit a current algebra presentation without extra constraints.

What would settle it

For g = sl_2 and wp = 5, compute the action of a low-dimensional smooth weighted module explicitly and check whether it matches the action on the image quasi-module under the functor.

read the original abstract

Let $\mathfrak g$ be a finite simple Lie algebra, and let $r$ denote the ratio of the square length of long roots to that of short roots. Let $\wp>2r$ be an integer and $\zeta$ a primitive $\wp$-th root of unity. Denote by $\mathcal U_\zeta(\widehat{\mathfrak g})$ the Lusztig big quantum affine algebra at root of unity defined by divided powers. In this paper, we establish a current algebra presentation of $\mathcal U_\zeta(\widehat{\mathfrak g})$. Based on this presentation, we construct a $\mathbb Z_\wp$-module quantum vertex algebras $V_{\wp,\tau}^\ell(\mathfrak g)$ for each integer $\ell$. Moreover, we establish a fully faithful functor from the category of smooth weighted $\mathcal U_\zeta(\widehat{\mathfrak g})$-modules of level $\ell$ to the category of $(\mathbb Z_\wp,\chi_\phi)$-equivariant $\phi$-coordinated quasi-modules of $V_{\wp,\tau}^\ell(\mathfrak g)$, where $\chi_\phi:\mathbb Z_\wp\to\mathbb C^\times$ is the group homomorphism defined by $s\mapsto \zeta^s$. We also determine the image of this functor. The structure $V_{\wp,\tau}^\ell(\mathfrak g)$ is substantially different from that of affine vertex algebras. We realize $V_{\wp,\tau}^\ell(\mathfrak g)$ as a deformation of a simpler quantum vertex algebra $V_{\wp,\varepsilon}^\ell(\mathfrak g)$ by using vertex bialgebras, and decompose $V_{\wp,\varepsilon}^\ell(\mathfrak g)$ into a Heisenberg vertex algebra and a more interesting quantum vertex algebra determined by a quiver.

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.

Desk Editor's Note private letter to a colleague

The paper gives a current algebra presentation for the Lusztig big quantum affine algebra at roots of unity and uses it to define a quantum vertex algebra with a fully faithful functor to its modules.

read the letter

The main takeaway is that this work supplies a current algebra presentation of U_ζ(ĝ) for wp > 2r and then builds the Z_wp-module quantum vertex algebra V_{wp,τ}^ℓ(g) together with a fully faithful functor from the smooth weighted modules of level ℓ to the corresponding equivariant quasi-modules, plus it identifies the image of that functor. It also deforms the structure to a simpler V_{wp,ε}^ℓ(g) that splits into a Heisenberg vertex algebra and a quiver-based piece via vertex bialgebras. That decomposition and the functor are the concrete new pieces that organize representations differently from standard affine vertex algebra work at roots of unity. The constructions rest on prior standard objects like the Lusztig algebra and the usual notions of smooth weighted modules, so they avoid obvious circularity. The paper lays out the overall plan clearly and notes where the new vertex algebra differs from the usual ones. The soft spot is the central step of showing the current algebra relations reproduce every Lusztig relation, including all divided powers and quantum Serre relations at the given root of unity. The abstract states the presentation but the stress-test concern is fair: without an explicit independent check that the two algebras coincide exactly for wp > 2r, the functor and its faithfulness rest on that matching. The full proofs would need to be examined to confirm no relations are missed. This is for specialists in quantum groups and vertex operator algebras who already work with roots of unity cases. A reader looking for new presentations or functors in math.QA would get value from the constructions and the decomposition. It deserves a serious referee because the claims are specific and the architecture connects two areas in a fresh way. I would send it to peer review.

Referee Report

1 major / 1 minor

Summary. The paper claims to establish a current algebra presentation of the Lusztig big quantum affine algebra U_ζ(ĝ) (with divided powers) at a primitive wp-th root of unity ζ where wp > 2r. Using this presentation, it constructs Z_wp-module quantum vertex algebras V_{wp,τ}^ℓ(g) for each integer ℓ, proves a fully faithful functor from the category of smooth weighted U_ζ(ĝ)-modules of level ℓ to the category of (Z_wp, χ_φ)-equivariant φ-coordinated quasi-modules of V_{wp,τ}^ℓ(g), and determines the image of the functor. It further realizes V_{wp,τ}^ℓ(g) as a deformation of a simpler quantum vertex algebra V_{wp,ε}^ℓ(g) via vertex bialgebras and decomposes the simpler algebra into a Heisenberg vertex algebra plus a quiver-determined quantum vertex algebra.

Significance. If the current-algebra presentation is equivalent to the standard Lusztig definition, the work supplies a new bridge between quantum affine algebras at roots of unity and quantum vertex algebra theory, yielding an explicit categorical correspondence via the fully faithful functor and image description. The deformation construction and the decomposition into Heisenberg plus quiver components are structurally novel and could enable explicit computations of representations that are difficult in the classical Lusztig presentation. These results are of interest to researchers working at the interface of quantum groups, vertex operator algebras, and integrable systems.

major comments (1)

[Current algebra presentation section] Current algebra presentation (the section establishing the generators and relations for U_ζ(ĝ)): The manuscript states a current-algebra presentation but provides no explicit verification that every Lusztig relation—including all quantum Serre relations and the relations satisfied by the divided powers E_i^{(n)}, F_i^{(n)}—continues to hold when ζ^wp = 1 and wp > 2r. Because the subsequent vertex-algebra construction, the definition of V_{wp,τ}^ℓ(g), and the proof of full faithfulness of the functor all rely on this presentation being isomorphic to the standard Lusztig algebra, the absence of such a check is load-bearing for the central claims.

minor comments (1)

[Introduction and deformation section] The relation between the deformation parameter τ and the simpler algebra V_{wp,ε}^ℓ(g) should be stated more explicitly in the introduction and in the deformation section, including how the vertex bialgebra structure induces the deformation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying the need for explicit verification of the current algebra presentation. This is a substantive point that strengthens the paper. We address it directly below and will make the corresponding revisions.

read point-by-point responses

Referee: [Current algebra presentation section] Current algebra presentation (the section establishing the generators and relations for U_ζ(ĝ)): The manuscript states a current-algebra presentation but provides no explicit verification that every Lusztig relation—including all quantum Serre relations and the relations satisfied by the divided powers E_i^{(n)}, F_i^{(n)}—continues to hold when ζ^wp = 1 and wp > 2r. Because the subsequent vertex-algebra construction, the definition of V_{wp,τ}^ℓ(g), and the proof of full faithfulness of the functor all rely on this presentation being isomorphic to the standard Lusztig algebra, the absence of such a check is load-bearing for the central claims.

Authors: We agree that the manuscript does not contain an explicit, self-contained verification that the proposed current-algebra generators and relations are equivalent to the standard Lusztig presentation of U_ζ(ĝ), including all quantum Serre relations and the relations for the divided powers E_i^{(n)}, F_i^{(n)} at a primitive wp-th root of unity with wp > 2r. The original submission introduced the presentation by stating the generators and relations and then proceeded to the vertex-algebra constructions, relying on the fact that the relations are the natural root-of-unity analogues of the known current-algebra presentations in the generic case. To remedy this, we will add a dedicated subsection (or short appendix) that verifies the equivalence. The verification will proceed by (i) recalling the standard Lusztig relations, (ii) confirming that the current-algebra relations imply the quantum Serre relations when ζ^wp = 1 and wp > 2r (using the fact that the root-of-unity quantum Serre relations reduce to the classical ones plus higher-order terms that vanish under the given bound on wp), and (iii) checking the compatibility of the divided-power elements with the current-algebra commutation relations. This addition will be placed before the construction of V_{wp,τ}^ℓ(g) so that the subsequent functor and image description rest on a fully justified isomorphism. The main theorems themselves are unaffected. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations build from standard Lusztig definitions without self-referential reduction.

full rationale

The paper claims to establish a current algebra presentation of the Lusztig big quantum affine algebra U_ζ(ĝ) as a theorem, then uses that presentation to define the vertex algebra V_{wp,τ}^ℓ(g) and the functor. No quoted equations or sections show the presentation being defined in terms of the vertex algebra or functor (no self-definitional loop). No fitted parameters are renamed as predictions. Self-citations, if present, are not load-bearing for the central claims per the provided abstract and skeptic notes; the construction remains independent of the target results. The derivation chain is self-contained against external benchmarks like the standard Lusztig algebra.

Axiom & Free-Parameter Ledger

3 free parameters · 3 axioms · 2 invented entities

The paper relies on domain assumptions from quantum group theory and introduces new algebraic objects without providing independent evidence beyond the constructions and functor.

free parameters (3)

wp
Chosen integer greater than 2r to define the root of unity order
ℓ
Integer level for the modules and vertex algebra
τ
Parameter in the quantum vertex algebra V_{wp,τ}^ℓ(g)

axioms (3)

domain assumption g is a finite simple Lie algebra
Used to define the quantum affine algebra
domain assumption Existence and properties of Lusztig's big quantum affine algebra at root of unity with divided powers
Central to the construction
standard math Standard properties of vertex algebras and quasi-modules
Background for the functor and equivariance

invented entities (2)

V_{wp,τ}^ℓ(g) no independent evidence
purpose: To serve as the quantum vertex algebra associated to the quantum affine algebra
Newly constructed in the paper
V_{wp,ε}^ℓ(g) no independent evidence
purpose: Simpler quantum vertex algebra for deformation
Introduced as base for deformation

pith-pipeline@v0.9.0 · 5612 in / 1785 out tokens · 62137 ms · 2026-05-10T19:44:06.553822+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Evaluation-type deformed modules over the quantum affine vertex algebras of type $A$
math.QA 2026-04 unverdicted novelty 7.0

The authors link suitably generalized deformed phi-coordinated modules of the quantum affine vertex algebra V^c(gl_N) to representations of U_h(gl_N) and O_h(Mat_N), showing that its center at critical level c=-N prod...

Reference graph

Works this paper leans on

42 extracted references · cited by 1 Pith paper

[1]

Arakawa, T

T. Arakawa, T. Creutzig, and K. Kawasetsu,Weight representations of affine Kac-Moody algebras and small quantum groups, Adv. Math.477(2025), Paper No. 110365, 48. MR4912833

2025
[2]

Auger, T

J. Auger, T. Creutzig, and S. Kanade,Braided tensor categories related to vertex algebras, Communications in Mathematical Physics378(2020), 219–260

2020
[3]

Beck,Braid group action and quantum affine algebras, Comm

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

1994
[4]

Butorac, N

M. Butorac, N. Jing, and S. Kožić,ℏ-adic quantum vertex algebras associated with rationalR-matrix in types B,CandD, Lett. Math. Phys.109(2019), 2439–2471

2019
[5]

Chari and A

V. Chari and A. Pressley,Quantum affine algebras at roots of unity, Representation Theory1(1997), 280– 328

1997
[6]

Chari and N

V. Chari and N. Jing,Realization of level one representations ofuq(g)at a root of unity, Duke Mathematical Journal108(2001), 183–197

2001
[7]

F. Chen, N. Jing, F. Kong, and S. Tan,Twisted quantum affinization and quantization of extended affine Lie algebras(2020)

2020
[8]

Creutzig, D

T. Creutzig, D. Ridout, and M. Rupert,A Kazhdan-Lusztig correspondence forL − 3 2 (sl3), Comm. Math. Phys.400(2023), no. 1, 639–682. MR4581484

2023
[9]

Creutzig and M

T. Creutzig and M. Rupert,Uprolling unrolled quantum groups, Commun. Contemp. Math.24(2022), no. 4, Paper No. 2150023, 27. MR4414165

2022
[10]

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, 1988, pp. 212– 216

1988
[11]

Etingof and D

P. Etingof and D. Kazhdan,Quantization of Lie bialgebras, Part V: Quantum vertex operator algebras, Selecta Math.6(2000), no. 1, 105

2000
[12]

Finkelberg,An equivalence of fusion categories, Geometric and Functional Analysis6(1996), 249–267

M. Finkelberg,An equivalence of fusion categories, Geometric and Functional Analysis6(1996), 249–267

1996
[13]

Frenkel and M

E. Frenkel and M. Mukhin,The q-characters at roots of unity, arXiv preprint math (2001)

2001
[14]

Frenkel, Y

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

1993
[15]

Frenkel and N

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

1988
[16]

Y. Z. Huang,On the applicability of logarithmic tensor category theory, 2017

2017
[17]

Jing,Quantum Kac-Moody algebras and vertex representations, Lett

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

1998
[18]

N. Jing, F. Kong, H. Li, and S. Tan,(G, χϕ)-equivariantϕ-coordinated quasi modules for nonlocal vertex algebras, J Algebra570(2021), 24–74

2021
[19]

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

2024
[20]

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

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

1994
[21]

Kazhdan and G

D. Kazhdan and G. Lusztig,Tensor structures arising from affine Lie algebras. I, J. Amer. Math. Soc.6 (1993), 905–947

1993
[22]

Kazhdan and G

D. Kazhdan and G. Lusztig,Tensor structures arising from affine Lie algebras. II, J. Amer. Math. Soc.6 (1993), 949–1011

1993
[23]

Kazhdan and G

D. Kazhdan and G. Lusztig,Tensor structures arising from affine Lie algebras. III, J. Amer. Math. Soc.7 (1994), 335–381

1994
[24]

Kazhdan and G

D. Kazhdan and G. Lusztig,Tensor structures arising from affine Lie algebras. IV, J. Amer. Math. Soc.7 (1994), 383–453

1994
[25]

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

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

2023
[26]

Kožić,ℏ-adic quantum vertex algebras in typesB,C,Dand theirϕ-coordinated modules, J

S. Kožić,ℏ-adic quantum vertex algebras in typesB,C,Dand theirϕ-coordinated modules, J. Phys. A: Math. Theor.54(2021), 485202

2021
[27]

Kožić,On the quantum affine vertex algebra associated with trigonometricR-matrix, Selecta Math

S. Kožić,On the quantum affine vertex algebra associated with trigonometricR-matrix, Selecta Math. (N. S.) 27(2021), 45

2021
[28]

Lentner,The unrolled quantum group inside Lusztig’s quantum group of divided powers, Lett

S. Lentner,The unrolled quantum group inside Lusztig’s quantum group of divided powers, Lett. Math. Phys. 109(2019), 1665–1682

2019
[29]

H. Li,Pseudoderivations, pseudoautomorphisms and simple current modules for vertex algebras, Interna- tional conference on infinite-dimensional aspects of representation theory and applications, may 18-22, 2004, university of virginia, charlottesville, virginia, 2005, pp. 55

2004
[30]

Li,Constructing quantum vertex algebras, Int

H. Li,Constructing quantum vertex algebras, Int. J. Math.17(2006), no. 04, 441–476

2006
[31]

Li,A new construction of vertex algebras and quasi-modules for vertex algebras, Adv

H. Li,A new construction of vertex algebras and quasi-modules for vertex algebras, Adv. Math.202(2006), no. 1, 232–286

2006
[32]

Li,Nonlocal vertex algebras generated by formal vertex operators, Selecta Math.11(2006), no

H. Li,Nonlocal vertex algebras generated by formal vertex operators, Selecta Math.11(2006), no. 3-4, 349

2006
[33]

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

H. Li,A smash product construction of nonlocal vertex algebras, Comm. Cont. Math.9(2007), no. 05, 605– 637

2007
[34]

Li,ℏ-adic quantum vertex algebras and their modules, Comm

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

2010
[35]

Li,ϕ-coordinated quasi-modules for quantum vertex algebras, Comm

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

2011
[36]

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

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

2013
[37]

Sun,Twisted tensor products of nonlocal vertex algebras, Journal of Algebra345(2011), no

H Li and J. Sun,Twisted tensor products of nonlocal vertex algebras, Journal of Algebra345(2011), no. 1, 266 –294

2011
[38]

Lusztig,Introduction to quantum groups, Springer Science & Business Media, 2010

G. Lusztig,Introduction to quantum groups, Springer Science & Business Media, 2010

2010
[39]

Nakajima,Quiver varieties and finite dimensional representations of quantum affine algebras, J

H. Nakajima,Quiver varieties and finite dimensional representations of quantum affine algebras, J. Amer. Math. Soc.14(2001), no. 1, 145–238

2001
[40]

Reshetikhin and A

Y. Reshetikhin and A. Semenov-Tian Shansky,Central extensions of quantum current groups, Lett. Math. Phys.19(1990), 133–142

1990
[41]

Sun,Twistors of nonlocal vertex algebras, J

J. Sun,Twistors of nonlocal vertex algebras, J. Algebra468(2016), 296–336

2016
[42]

Zhang,Vertex tensor category structure on a category of kazhdan–lusztig, N

L. Zhang,Vertex tensor category structure on a category of kazhdan–lusztig, N. Y. J. Math.14(2008), 261– 284. Email address:kongmath@hunnu.edu.cn Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University, Changsha, China 410081 76

2008