[Paper Review] Deformations of W-algebras associated to simple Lie algebras

Edward Frenkel, Nicolai Reshetikhin|ArXiv.org|Aug 4, 1997

Algebraic structures and combinatorial modelsMathematics10 references94 citations

TL;DR

This paper introduces a two-parameter deformation of W-algebras associated to arbitrary simple Lie algebras, denoted $\mathcal{W}_{q,t}(\mathfrak{g})$, via free field realizations and screening operators. It establishes explicit formulas for generators in classical types and reveals deep connections to the analytic Bethe Ansatz in quantum affine integrable models, linking $\mathcal{W}_{q,t}(\mathfrak{g})$ to transfer matrices of $U_q(\widehat{\mathfrak{g}})$, $U_t({}^L\widehat{\mathfrak{g}})$, and $U_t(\widehat{\mathfrak{g}}^\vee)$, suggesting a unified deformation of representation rings.

ABSTRACT

Deformed $\W$--algebra $\W_{q,t}(\g)$ associated to an arbitrary simple Lie algebra $\g$ is defined together with its free field realizations and the screening operators. Explicit formulas are given for generators of $\W_{q,t}(\g)$ when $\g$ is of classical type. These formulas exhibit a deep connection between $\W_{q,t}(\g)$ and the analytic Bethe Ansatz in integrable models associated to quantum affine algebras $U_q(\G)$ and $U_t(\GL)$. The scaling limit of $\W_{q,t}(\g)$ is closely related to affine Toda field theories.

Motivation & Objective

• To define a two-parameter deformation $\mathcal{W}_{q,t}(\mathfrak{g})$ of W-algebras for arbitrary simple Lie algebras $\mathfrak{g}$.
• To provide explicit free field realizations and screening operators for $\mathcal{W}_{q,t}(\mathfrak{g})$ when $\mathfrak{g}$ is of classical type.
• To establish a connection between the generators of $\mathcal{W}_{q,t}(\mathfrak{g})$ and the analytic Bethe Ansatz formulas for transfer matrices in quantum affine integrable models.
• To explore the Poisson limits of $\mathcal{W}_{q,t}(\mathfrak{g})$ and conjecture isomorphisms with centers of quantized enveloping algebras at the critical level.

Proposed method

• Define a two-parameter deformation of the Cartan matrix for each simple Lie algebra $\mathfrak{g}$.
• Construct the Heisenberg algebra $\mathcal{H}_{q,t}(\mathfrak{g})$ and introduce screening operators acting on it.
• Define $\mathcal{W}_{q,t}(\mathfrak{g})$ as the centralizer of the screening operators within $\mathcal{H}_{q,t}(\mathfrak{g})$.
• Conjecture the form of generators of $\mathcal{W}_{q,t}(\mathfrak{g})$ and derive their exchange relations from this conjecture.
• Compute the relations between screening currents and verify consistency with known algebraic structures.
• Use the deformed chiral algebra framework to formalize the operator product structure and meromorphicity conditions.

Experimental results

Research questions

• RQ1 How can a two-parameter deformation of W-algebras be consistently defined for arbitrary simple Lie algebras?
• RQ2 What is the explicit free field realization of $\mathcal{W}_{q,t}(\mathfrak{g})$ for classical Lie algebras?
• RQ3 How do the generators of $\mathcal{W}_{q,t}(\mathfrak{g})$ relate to the eigenvalues of transfer matrices in integrable models of $U_q(\widehat{\mathfrak{g}})$ and $U_t({}^L\widehat{\mathfrak{g}})$?
• RQ4 What is the structure of the Poisson algebra $\mathcal{W}_{1,t}(\mathfrak{g})$ and how does it relate to the Drinfeld-Sokolov reduction of $G((z))$?
• RQ5 Is the commutative subalgebra $\mathcal{W}'_{\epsilon,t}(\mathfrak{g})$ in the $q\to\epsilon$ limit isomorphic to the center of $U_t({}^L\widehat{\mathfrak{g}})$ at the critical level?

Key findings

• Explicit formulas for generators of $\mathcal{W}_{q,t}(\mathfrak{g})$ are provided for classical Lie algebras $A_\ell$, $B_\ell$, $C_\ell$, and $D_\ell$ via rational functions in $q$ and $t$.
• The free field realization of $\mathcal{W}_{q,t}(\mathfrak{g})$ exhibits a direct correspondence with Bethe Ansatz formulas for transfer matrices in $U_q(\widehat{\mathfrak{g}})$, $U_t({}^L\widehat{\mathfrak{g}})$, and $U_t(\widehat{\mathfrak{g}}^\vee)$.
• In the limit $q\to 1$, $\mathcal{W}_{q,t}(\mathfrak{g})$ recovers the ordinary $\mathcal{W}$-algebra associated to $\mathfrak{g}$.
• In the limit $t\to 1$, $\mathcal{W}_{q,t}(\mathfrak{g})$ becomes commutative and acquires a Poisson structure, conjectured to be isomorphic to the center of $U_q(\widehat{\mathfrak{g}})$ at the critical level.
• For $\mathfrak{g}=C_2$, the Poisson algebra $\mathcal{W}_{1,t}(C_2)$ is isomorphic to $\mathcal{W}^{t^2}(C_2)$, confirming the conjecture in this case.
• The $q\to\epsilon$ limit yields a commutative subalgebra $\mathcal{W}'_{\epsilon,t}(\mathfrak{g})$ with a Poisson structure, conjectured to be isomorphic to the center of $U_t({}^L\widehat{\mathfrak{g}})$ at the critical level.