Quantum affine vertex algebra at root of unity

TL;DR

This paper constructs quantum vertex algebras at roots of unity from quantum affine algebras, establishing a functorial correspondence with certain modules and revealing structural differences from affine vertex algebras.

Contribution

It introduces a new current algebra presentation of Lusztig's quantum affine algebra at roots of unity and constructs associated quantum vertex algebras with a functorial module correspondence.

Findings

Constructed $Z_p$-module quantum vertex algebras $V_{p, au}^ell(g)$.

Established a fully faithful functor from smooth modules to equivariant quasi-modules.

Decomposed the quantum vertex algebra into a Heisenberg part and a quiver-determined algebra.

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.