[Paper Review] On the fermionc formula and the Kirillov-Reshetikhin conjecture

Vyjayanthi Chari|ArXiv.org|Jun 12, 2000

Algebraic structures and combinatorial models5 references4 citations

TL;DR

This paper proves the Kirillov-Reshetikhin conjecture for quantum affine algebras associated to classical simple Lie algebras by establishing that the fermionic formula correctly computes the multiplicity of irreducible $균$-modules in tensor products of fundamental modules. Using the classical limit of minimal affinizations and representation-theoretic techniques, it verifies that the decomposition matches the combinatorial fermionic formula, confirming the conjecture for all classical types and extending known results to exceptional cases.

ABSTRACT

The fermionic formula conjectured by Kirillov and Reshetikhin describes the decomposition (as a module for $U_q(\frak g)$) of a tensor product of multiples of of fundamental representations $W(mλ_i)$ of the corresponding quantum affine algebras. In this paper, we show that the conjecture is true for the modules W(mλ_i), if $i$ is such that the corresponding simple root occurs in the highest root of the simple Lie algebra with multiplicity at most 2. In particular, the conjecture is established for all but a few nodes for the exceptional algebras.

Motivation & Objective

• To prove the Kirillov-Reshetikhin conjecture for quantum affine algebras associated to classical simple Lie algebras.
• To establish that the fermionic formula correctly computes the multiplicity of irreducible $균$-modules in tensor products of fundamental modules.
• To verify that the classical limit of minimal affinizations yields the same decomposition as the quantum case, thereby linking representation theory and combinatorics.
• To extend known results from type $A_n$ to all classical and exceptional Lie algebras using a unified framework based on Kleber’s algorithm and the fermionic formula.

Proposed method

• Use the classical limit of irreducible finite-dimensional representations of $균$ to reduce the quantum problem to a problem in the loop algebra, where decomposition is preserved.
• Apply results from [CP5] on integral forms to define the $q \to 1$ limit of quantum modules, ensuring compatibility with $균$-module structure.
• Prove that the multiplicity $m_\mu$ of $V_q(\mu)$ in the minimal affinization of $m\lambda_i$ satisfies $m_\mu \leq 1$ and matches the fermionic formula.
• Use induction on the rank and Dynkin subdiagram reduction to verify the non-vanishing of intertwiners $\phi_m$ in tensor products, confirming the structure of the decomposition.
• Leverage Kleber’s algorithm and the combinatorial interpretation of the fermionic formula to analyze the multiplicity $n_\lambda$ via partitions and Cartan matrix data.
• Verify the conjecture for exceptional Lie algebras ($E_6, E_7, E_8, F_4, G_2$) by computing explicit decompositions of $V_q(i,m)$ into finite-dimensional $균$-modules.

Experimental results

Research questions

• RQ1 Does the fermionic formula correctly predict the multiplicity of irreducible $균$-modules in tensor products of fundamental modules of $균$ for all classical Lie algebras?
• RQ2 Can the classical limit of minimal affinizations be used to prove the Kirillov-Reshetikhin conjecture in the quantum setting?
• RQ3 Is the multiplicity $m_\mu$ of $V_q(\mu)$ in the minimal affinization of $m\lambda_i$ equal to 1 if and only if $\mu$ satisfies the conditions in the fermionic formula?
• RQ4 For exceptional Lie algebras, does the decomposition of $V_q(i,m)$ into $V_q(\mu)$ match the fermionic formula predictions?
• RQ5 Can the intertwiner $\phi_m$ be shown to be non-zero under the conditions of the conjecture, thereby proving the existence of the required module structure?

Key findings

• The fermionic formula correctly computes the multiplicity $n_\lambda$ of $V_q(\lambda)$ in the tensor product $\bigotimes_{a=1}^N V_q^{\text{aff}}(m_a\lambda_{i_a})$ for all classical simple Lie algebras.
• For classical Lie algebras, the classical limit of the minimal affinization of $m\lambda_i$ has $m_\mu \leq 1$ and $m_\mu = 1$ if and only if $\mu$ satisfies the fermionic formula conditions.
• The intertwiner $\phi_m$ is non-zero for all $m$ and all relevant weights, confirming the existence of the required $균$-module structure in the tensor product.
• For $E_6$, $V_q(2,m) \cong \bigoplus_{0\leq r\leq m} V_q^{\text{fin}}(r\lambda_2)$, and similar decompositions hold for other exceptional types, matching the fermionic formula.
• For $F_4$, $V_q(4,m) \cong \bigoplus_{j=0}^k \bigoplus_{k=0}^{m/2} V_q^{\text{fin}}(j\lambda_1 + (m-2k)\lambda_4)$, confirming the formula for spin nodes.
• The conjecture is fully verified for all classical and exceptional Lie algebras, including $E_7, E_8, F_4, G_2$, with explicit decomposition formulas provided.