Quantum affine vertex algebra at root of unity

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 $ζ$ a primitive $\wp$-th root of unity. Denote by $\mathcal U_ζ(\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_ζ(\widehat{\mathfrak g})$. Based on this presentation, we construct a $\mathbb Z_\wp$-module quantum vertex algebras $V_{\wp,τ}^\ell(\mathfrak g)$ for each integer $\ell$. Moreover, we establish a fully faithful functor from the category of smooth weighted $\mathcal U_ζ(\widehat{\mathfrak g})$-modules of level $\ell$ to the category of $(\mathbb Z_\wp,χφ)$-equivariant $φ$-coordinated quasi-modules of $V{\wp,τ}^\ell(\mathfrak g)$, where $χφ:\mathbb Z\wp\to\mathbb C^\times$ is the group homomorphism defined by $s\mapsto ζ^s$. We also determine the image of this functor. The structure $V_{\wp,τ}^\ell(\mathfrak g)$ is substantially different from that of affine vertex algebras. We realize $V_{\wp,τ}^\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.

• The paper presents a novel current algebra presentation of Lusztig’s divided-power quantum affine algebras at roots of unity, detailing explicit OPE relations.
• It introduces enlarged generator sets that encode cyclic translations and divided-power structures, overcoming challenges posed by non-semisimplicity.
• A key result is a functorial correspondence linking smooth quantum affine modules to equivariant φ‐coordinated modules of the constructed quantum vertex algebras.

Quantum Affine Vertex Algebras at Roots of Unity: Current Algebra Presentations and Module Correspondence

Introduction and Context

The paper "Quantum affine vertex algebra at root of unity" (2604.04666) presents a systematic construction and structural analysis of quantum vertex algebras associated with Lusztig's divided-power quantum affine algebras $\mathcal U_\zeta(\widehat{\mathfrak g})$ at roots of unity. The work addresses the lack of a current algebraic description for these algebras, and develops a machinery for relating their module categories to those of quantum vertex algebras constructed over cyclic groups. The motivation is to parallel the well-established formal deformation theory at generic $q$ with the much less regular, yet algebraically richer, case at roots of unity, and to systemically relate module theory of quantum affine algebras to vertex operator algebraic constructions.

Structural Results and Algebraic Presentations

The crucial technical innovation is a presentation of $\mathcal U_\zeta(\widehat{\mathfrak g})$—the big quantum affine algebra at a $\wp$-th root of unity $\zeta$—by explicit current operators realizing operator product expansion (OPE) relations between Drinfeld currents, Cartan fields, and divided power generators. The main difficulties arise from the non-semisimplicity intrinsic to the root of unity case, the necessity to incorporate divided powers, and the ill-definedness of exponentiating certain current relations, in particular, the $\Psi^\pm_i(z)$ fields, in quantum vertex algebra context.

By analyzing the OPEs and their root of unity specializations, an enlarged set of generators is introduced, accommodating both the required "divided power" structure and the failure of analytic continuation heuristics that occur in "formal" quantizations. These extra generators correspond to shifts of basic fields under the action of the finite cyclic group $\mathbb Z_\wp$, and their algebraic inter-relations are encoded in formal relations involving difference operators, reflecting the modular periodicity at the root of unity.

Quantum Vertex Algebra Construction

Utilizing the revised current algebra presentation, the paper constructs, for each level $\ell \in \mathbb Z$ and parameter $\tau \in \mathfrak T$, a $\mathbb Z_\wp$-equivariant quantum vertex algebra $q$0. This quantum vertex algebra is defined by generators corresponding to the current fields and their cyclic translates, together with relations encoding OPEs, Heisenberg commutator structure, quantum Serre relations, and new cyclicity/periodicity constraints that mirror those in the Lusztig quantum group.

A critical structural observation is that, contrasting with the generic $q$1 (deformation) case, the quantum vertex algebras at root of unity cannot be viewed simply as deformations of their classical (affine vertex algebra) counterparts: their generator sets and combinatorics differ substantially. In particular, relations such as the defining relation for $q$2 do not exponentiate meaningfully as vertex algebra elements, requiring an expanded algebraic framework—nonlocal vertex algebras and the theory of $q$3-coordinated modules.

Functorial Correspondence and Equivariant $q$4-Coordinated Modules

A main result is the construction of a fully faithful functor from the category of smooth, weighted $q$5-modules of fixed level $q$6 to the category of $q$7-equivariant $q$8-coordinated quasi-modules of $q$9. This functor is realized by mapping modules to spaces acted upon via evaluation of quantum vertex algebra generators at appropriate shifted arguments, intertwining the cyclic symmetry and the quantum group module structure.

The relation between the functor and the explicit current algebra presentation ensures that module-theoretic features such as smoothness, weight decomposition, and level constraints are preserved. The functor's image is characterized by natural conditions on the action of the cyclic group and the compatibility with the quantum vertex algebra's central and Heisenberg subalgebra actions.

Deformation and Internal Structure

An important structural result is that $\mathcal U_\zeta(\widehat{\mathfrak g})$0 itself can be realized as a "deformation" of a more fundamental object, $\mathcal U_\zeta(\widehat{\mathfrak g})$1, via a suitable vertex bialgebra $\mathcal U_\zeta(\widehat{\mathfrak g})$2 and a smash product construction (generalizing constructions of vertex algebras from their symmetry bialgebras). Furthermore, $\mathcal U_\zeta(\widehat{\mathfrak g})$3 is explicitly decomposed as a tensor product of a Heisenberg vertex algebra (built from cyclic translates of Cartan currents) and a quantum vertex algebra defined via a quiver presentation, capturing the additional nontrivial commutator structure induced by the quiver diagram associated to the underlying Lie algebra.

This decomposition is a strong algebraic result: it shows that while the root of unity case is structurally more complicated, the complexity is controlled and admits a reduction to known, "tractable" subalgebras. The quiver part captures the essential combinatorics of the divided-power Serre relations and the cyclic symmetry, and opens the way for further investigation into "quiver" quantum vertex algebras.

Implications and Open Directions

Practically, these results provide an explicit and computable bridge between the representation theory of Lusztig's quantum affine algebras at roots of unity and the theory of quantum vertex algebras. This bridges two frameworks that are central to categorical and conformal-field-theoretic approaches—in particular, the study of module tensor categories (in the sense of Kazhdan-Lusztig and their sequels), soliton equations, and quantum integrable systems.

Theoretically, the demonstration that current algebra presentations and quantum vertex algebra techniques apply at roots of unity, and the functorial correspondence between modules, suggest that much of the modern toolkit for CFT and quantum algebraic geometry can be extended (with necessary algebraic modifications) to the root of unity world where fusion, modularity, and logarithmic phenomena play a central role.

Future directions include the exploration of the tensor category structure for these quantum vertex algebras, classification of their simple, projective, and indecomposable modules, and the examination of connections to module categories and invariants arising in logarithmic conformal field theory. Additionally, an analysis of the deformation theory and connections to the theory of quantum double and quantum character varieties is suggested by the explicit bialgebraic and quiver algebra decompositions.

Conclusion

This work offers a comprehensive and technically refined construction of root of unity quantum affine vertex algebras, highlighting both the necessity of augmented current presentations and the fruitful interplay between quantum group representation theory and vertex algebra techniques. The presented functorial equivalences, structural decompositions, and algebraic formulations clarify longstanding connections and provide an extensible algebraic backbone for further advances in the representation theory of quantum groups at roots of unity and the mathematical framework underlying logarithmic CFT.