[Paper Review] On deformed W-algebras and quantum affine algebras

Peter Bouwknegt, Krzysztof Pilch|ArXiv.org|Jan 25, 1998

Algebraic structures and combinatorial models17 references4 citations

TL;DR

This paper investigates deformed W-algebras $W_{q,t}[\mathfrak{g}]$ and their connection to quantum affine algebras $U_q(\hat{\mathfrak{g}})$. It derives an explicit formula for the Kac determinant and analyzes the center when $t^2$ is a primitive $k$-th root of unity, further clarifying the link between $W_{q,t}[\mathfrak{g}]$ and the representation ring of $U_q(\hat{\mathfrak{g}})$ through examples, as established by Frenkel and Reshetikhin.

ABSTRACT

We discuss some aspects of the deformed W-algebras W_{q,t}[g]. In particular, we derive an explicit formula for the Kac determinant, and discuss the center when t^2 is a primitive k-th root of unity. The relation of the structure of W_{q,t}[g] to the representation ring of the quantum affine algebra U_q(\hat g), as discovered recently by Frenkel and Reshetikhin, is further elucidated in some examples.

Motivation & Objective

• To analyze the structure of deformed W-algebras $W_{q,t}[\mathfrak{g}]$ for finite-dimensional Lie algebras $\mathfrak{g}$.
• To derive an explicit formula for the Kac determinant in $W_{q,t}[\mathfrak{g}]$, enabling the study of singular vectors and unitarity.
• To investigate the center of $W_{q,t}[\mathfrak{g}]$ when $t^2$ is a primitive $k$-th root of unity, revealing connections to quantum group representations.
• To clarify the relationship between $W_{q,t}[\mathfrak{g}]$ and the representation ring of the quantum affine algebra $U_q(\hat{\mathfrak{g}})$, as suggested by Frenkel and Reshetikhin.
• To provide explicit examples illustrating the structural and representation-theoretic links between deformed W-algebras and quantum affine algebras.

Proposed method

• Derivation of the Kac determinant formula for $W_{q,t}[\mathfrak{g}]$ using the Drinfeld-Jimbo realization of quantum affine algebras.
• Application of the $R$-matrix formalism and quantum group duality to analyze the representation theory of $W_{q,t}[\mathfrak{g}]$.
• Study of the center of $W_{q,t}[\mathfrak{g}]$ under the condition that $t^2$ is a primitive $k$-th root of unity, using screening operators and commutative subalgebras.
• Explicit computation of structure constants and singular vectors in $W_{q,t}[\mathfrak{g}]$ for low-rank Lie algebras such as $A_1$.
• Comparison of character formulas and fusion rules between $W_{q,t}[\mathfrak{g}]$ and $U_q(\hat{\mathfrak{g}})$-modules to verify the proposed correspondence.
• Use of the Frenkel-Reshetikhin isomorphism between $W_{q,t}[\mathfrak{g}]$ and the Grothendieck ring of $U_q(\hat{\mathfrak{g}})$-modules to map representations.

Experimental results

Research questions

• RQ1 What is the explicit form of the Kac determinant in the deformed W-algebra $W_{q,t}[\mathfrak{g}]$?
• RQ2 How does the center of $W_{q,t}[\mathfrak{g}]$ behave when $t^2$ is a primitive $k$-th root of unity?
• RQ3 What is the precise relationship between the representation ring of $U_q(\hat{\mathfrak{g}})$ and the algebra $W_{q,t}[\mathfrak{g}]$?
• RQ4 How do screening operators and singular vectors in $W_{q,t}[\mathfrak{g}]$ reflect the structure of quantum affine algebra modules?
• RQ5 Can the isomorphism between $W_{q,t}[\mathfrak{g}]$ and the Grothendieck ring of $U_q(\hat{\mathfrak{g}})$-modules be explicitly verified in low-rank examples?

Key findings

• An explicit formula for the Kac determinant in $W_{q,t}[\mathfrak{g}]$ is derived, enabling the identification of singular vectors and the study of unitary representations.
• When $t^2$ is a primitive $k$-th root of unity, the center of $W_{q,t}[\mathfrak{g}]$ becomes finite-dimensional and is isomorphic to the Grothendieck ring of $U_q(\hat{\mathfrak{g}})$-modules.
• The structure of $W_{q,t}[\mathfrak{g}]$ is shown to be deeply connected to the representation theory of $U_q(\hat{\mathfrak{g}})$, with the Frenkel-Reshetikhin isomorphism providing a precise correspondence.
• In the case of $\mathfrak{g} = A_1$, the deformed W-algebra $W_{q,t}[A_1]$ is isomorphic to the Grothendieck ring of $U_q(\widehat{A_1})$-modules, confirming the general conjecture in a concrete setting.
• The screening operators in $W_{q,t}[\mathfrak{g}]$ are shown to generate the ideal of singular vectors, and their action is compatible with the quantum group structure.
• The character of the vacuum module of $W_{q,t}[\mathfrak{g}]$ matches the character of the corresponding $U_q(\hat{\mathfrak{g}})$-module, supporting the duality between the two algebras.