Higher order Kirillov-Reshetikhin modules for U_q(A_n^(1)), imaginary modules and monoidal categorification

DOI10.1515/CRELLE-2023-0068MaRDI QIDQ6082364zbMATH OpenOpenAlexFDO

Authors Matheus Brito, Vyjayanthi Chari

Publication date 6 November 2023

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.11731

zbMATH Keywords

higher order Kirillov-Reshetikhin moduleimaginary modulemonoidal categorification

Mathematics Subject Classification ID

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67)

Abstract: We study the family of irreducible modules for quantum affine $lie{sl}_{n+1}$ whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated to $A_m$ with $mlen$. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category $mathscr{C}^{-}$. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov--Reshetikhin module with its dual always contains an imaginary module in its Jordan--Holder series and give an explicit formula for its Drinfeld polynomial. Together with the results of cite{HL13a} this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of cite{LM18}. Finally, we use our methods to give a family of imaginary modules in type $D_4$ which do not arise from an embedding of $A_r$ with $rle3$ in $D_4$.

Review text

In this paper the authors study higher order versions of Kirillov-Reshetikhin modules (KR-modules) for a quantum loop algebra associated to a simple Lie algebra of type \(A_n\). They also study the relations between higher order KR-modules and the work on monoidal categorification of cluster algebras of \textit{D. Hernandez} and \textit{B. Leclerc} [Duke Math. J. 154, No. 2, 265--341 (2010; Zbl 1284.17010)]. The results obtained are applied to give a systematic way to construct imaginary modules, where 'imaginary', for a finite-dimensional irreducible module, means that its tensor square is not irreducible. In fact, it is shown that the tensor product of a (higher order) KR-module with its dual always contains an imaginary module in its Jordan-Hölder series.

Recommendations

• Monoidal categorification and quantum affine algebras. II
• Cluster algebras and quantum affine algebras
• Tensor products and q-characters of HL-modules and monoidal categorifications
• Categories over quantum affine algebras and monoidal categorification
• Kirillov-Reshetikhin modules of generalized quantum groups of type \(A\)

Cites work

• A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules
• A pentagon of identities, graded tensor products, and the Kirillov-Reshetikhin conjecture
• Braid group actions and tensor products
• Cluster algebras and quantum affine algebras
• Cluster algebras and snake modules
• Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras.
• Extended T-systems
• Finite-dimensional representations of quantum affine algebras
• Geometric conditions for \(\square\)-irreducibility of certain representations of the general linear group over a non-Archimedean local field
• scientific article; zbMATH DE number 4038026 (Why is no real title available?)
• scientific article; zbMATH DE number 2115422 (Why is no real title available?)
• scientific article; zbMATH DE number 793872 (Why is no real title available?)
• scientific article; zbMATH DE number 845628 (Why is no real title available?)
• scientific article; zbMATH DE number 1424474 (Why is no real title available?)
• scientific article; zbMATH DE number 1424477 (Why is no real title available?)
• Imaginary vectors in the dual canonical basis of \(U_q({\mathfrak n})\)
• La R-matrice pour les algèbres quantiques de type affine non tordu1
• Monoidal categorifications of cluster algebras of type A and D
• Path description of type B \(q\)-characters
• Promotion operator on rigged configurations of type \(A\)
• Proof of the Combinatorial Kirillov-Reshetikhin Conjecture
• Quantum affine algebras
• Quantum cluster algebras and fusion products
• Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan-Lusztig algorithm
• Quiver varieties and \(t\)-analogs of \(q\)-characters of quantum affine algebras
• Rigged configuration bijection and proof of the X = M conjecture for nonexceptional affine types
• Simplicity of heads and socles of tensor products
• Spectral characters of finite-dimensional representations of affine algebras
• Tensor products and q-characters of HL-modules and monoidal categorifications
• The Kirillov-Reshetikhin conjecture and solutions of T-systems
• Weyl modules for classical and quantum affine algebras

Cited in

(7)

• Quantum Grothendieck rings as quantum cluster algebras
• Representations of shifted quantum affine algebras and cluster algebras. I: The simply laced case
• Inflations among quantum Grothendieck rings of type A
• Alternating snake modules and a determinantal formula
• Classification of prime modules of quantum affine algebras corresponding to 2-column tableaux
• Generalized HL-modules and cluster algebras
• Imaginary modules arising from tensor products of snake modules

This page was built for publication: Higher order Kirillov-Reshetikhin modules for \(\mathbf{U}_q(A_{n}^{(1)})\), imaginary modules and monoidal categorification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6082364)