[Paper Review] Quantum Affine Algebras and their Representations

Vyjayanthi Chari, Andrew Pressley|ArXiv.org|Nov 18, 1994

Algebraic structures and combinatorial modelsMathematics5 references115 citations

TL;DR

This paper establishes a highest weight classification for finite-dimensional irreducible representations of quantum affine algebras, analogous to Cartan's classification for finite-dimensional simple Lie algebras. It introduces a parametrization using tuples of polynomials with constant term 1, and determines the structure of minimal affinizations—key representations for constructing solutions to the quantum Yang-Baxter equation with spectral parameters.

ABSTRACT

We prove a highest weight theorem classifying irerducible finite--dimensional representations of quantum affine algebras and survey what is currently known about the structure of these representations.

Motivation & Objective

• To provide a highest weight classification of finite-dimensional irreducible representations of quantum affine algebras, extending Cartan's classification for finite-dimensional Lie algebras.
• To understand the structure of these representations as modules over the quantum group Uq(g), particularly through their decomposition under Uq(g).
• To characterize minimal affinizations of finite-dimensional irreducible Uq(g)-modules, which are essential for constructing solutions to the quantum Yang-Baxter equation with spectral parameters.
• To determine when such minimal affinizations are irreducible as Uq(g)-modules and to give explicit parametrizations of their defining polynomials.
• To analyze the Uq(g)-module structure of fundamental representations of Uq(ˆg), especially in non-simply-laced types (B, C, D, E, F, G).

Proposed method

• Adopt a highest weight approach analogous to Cartan's classification, using rank(g)-tuples of polynomials with constant coefficient 1 to parametrize irreducible representations.
• Use the Drinfel'd-Jimbo quantum group construction to define Uq(ˆg) as a Hopf algebra associated to an untwisted affine Lie algebra ˆg.
• Leverage the existence of a 1-parameter family of automorphisms τu on Uq(ˆg) to construct R-matrices depending on spectral parameters u, v.
• Apply the condition that V(u)⊗V(v) ≅ V(v)⊗V(u) and irreducibility of triple tensor products to ensure solutions to the spectral parameter quantum Yang-Baxter equation.
• Employ the canonical intertwiner I(u,v) and define R(u,v) = σI(u,v) to obtain solutions to the QYBE with spectral parameters.
• Use the embedding Uq(g) ↪ Uq(ˆg) to analyze the Uq(g)-module structure of irreducible Uq(ˆg)-modules via restriction.

Experimental results

Research questions

• RQ1 How can the finite-dimensional irreducible representations of quantum affine algebras be classified in a manner analogous to Cartan's classification for finite-dimensional Lie algebras?
• RQ2 What conditions on polynomial tuples P define minimal affinizations of finite-dimensional irreducible Uq(g)-modules?
• RQ3 Under what conditions is a minimal affinization irreducible as a Uq(g)-module?
• RQ4 How does the Uq(g)-module structure of fundamental representations V(λi,1) of Uq(ˆg) decompose, particularly in non-simply-laced types?
• RQ5 What is the precise parametrization of the defining polynomials for minimal affinizations in types B, C, D, E, F, and G?

Key findings

• Finite-dimensional irreducible representations of Uq(ˆg) are parametrized by rank(g)-tuples of polynomials in one variable with constant term 1, generalizing Cartan's classification.
• Minimal affinizations of finite-dimensional irreducible Uq(g)-modules exist and are unique up to equivalence when the highest weight is dominant integral.
• For type A, minimal affinizations are irreducible as Uq(g)-modules and are parametrized by q-segments of length λ(i) and center ai satisfying specific ratio conditions involving q-exponents.
• For non-simply-laced types (B, C, F), minimal affinizations are parametrized by qi-segments with centers satisfying product or inverse product conditions on ratios ai/aj.
• In type D or E, when the fundamental weight at the trivalent node i0 is non-zero, minimal affinizations are unique if one of the three A-type subdiagrams Ir has zero weight, and there are exactly three minimal affinizations otherwise.
• The Uq(g)-structure of fundamental representations V(λi,1) is explicitly determined: for type A or C, V(λi,1) ≅ V(λi); for type Bn or Dn+1, it decomposes as a direct sum of V(λi−2j) for j from 0 to [i/2]; and for E6, E7, E8, F4, G2, specific decompositions involving trivial and fundamental representations are given.