Schur positivity and Kirillov-Reshetikhin modules

DOI10.3842/SIGMA.2014.058MaRDI QIDQ401234zbMATH OpenOpenAlexFDO

Authors Ghislain Fourier, David Hernandez

Publication date 26 August 2014

Published in SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.4750, http://www.emis.de/journals/SIGMA/2014/058/index.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(Q\)-systemsKirillov-Reshetikhin modulesSchur positivity

Mathematics Subject Classification ID

Symmetric functions and generalizations (05E05) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67)

Abstract: In this note, inspired by the proof of the Kirillov-Reshetikhin conjecture, we consider tensor products of Kirillov-Reshetikhin modules of a fixed node and various level. We fix a positive integer and attach to each of its partitions such a tensor product. We show that there exists an embedding of the tensor products, with respect to the classical structure, along with the reverse dominance relation on the set of partitions.

Review text

Classical Schur positivity asserts that the reverse dominance ordering on partitions of \(m\) with two parts determines, and is determined by, a positivity condition on characters of tensor products of simple \(\mathfrak{sl}_{2}\)-modules: if \(s_{m}\) denotes the character of \(V(m)\), we have NEWLINE\[NEWLINE (m_{1},m-m_{1}) \preceq (m_{2},m-m_{2}) \Leftrightarrow s_{m_{2}}s_{m-m_{2}}-s_{m_{1}}s_{m-m_{1}}\in \sum_{k\geq 0} \mathbb{Z}_{\geq 0} s_{k}. NEWLINE\]NEWLINE This is deduced from a surjective map of \(\mathfrak{sl}_{2}\)-modules NEWLINE\[NEWLINE V(m_{2})\otimes V(m-m_{2}) \twoheadrightarrow V(m_{1})\otimes V(m-m_{1}). NEWLINE\]NEWLINE Similarly, one may deduce from character identities for Kirillov-Reshetikhin modules (see for example [\textit{V. Chari} and \textit{D. Hernandez}, Contemp. Math. 506, 49--81 (2010; Zbl 1277.17009)]) for \(U_{q}(\widehat{\mathfrak{g}})\) (also called \(Q\)-systems) the existence of a surjective map of \(\mathfrak{g}\)-modules NEWLINE\[NEWLINE \mathrm{KR}(m\omega_{i})\otimes \mathrm{KR}(m\omega_{i})\twoheadrightarrow \mathrm{KR}((m+1)\omega_{i})\otimes \mathrm{KR}((m-1)\omega_{i}). NEWLINE\]NEWLINENEWLINENEWLINEThe present work brings together Schur positivity and \(Q\)-systems to prove in particular that for \((m_{1},m-m_{1}) \preceq (m_{2},m-m_{2})\) there exists of a surjective map of modules NEWLINE\[NEWLINE \mathrm{KR}(m_{2}\omega_{i})\otimes \mathrm{KR}((m-m_{2}\omega_{i})\twoheadrightarrow \mathrm{KR}(m_{1}\omega_{i})\otimes \mathrm{KR}((m-m_{1})\omega_{i}). NEWLINE\]NEWLINE Indeed, similar maps are constructed for partitions with arbitrarily many parts, corresponding to higher tensor products.

Recommendations

• Proof of the Combinatorial Kirillov-Reshetikhin Conjecture
• Tensor products of Kirillov-Reshetikhin modules and fusion products
• The Kirillov-Reshetikhin conjecture and solutions of T-systems
• Kirillov-Reshetikhin modules associated to G₂
• Kirillov-Reshetikhin conjecture: the general case

Cited in

(11)

• Embeddings of Schur functions into types \(B/C/D\)
• Elliptic quantum groups and Baxter relations
• Yangians and Baxter's relations
• Length-two representations of quantum affine superalgebras and Baxter operators
• On products of \({\mathfrak {sl}}_{n}\) characters and support containment
• A Steinberg type decomposition theorem for higher level Demazure modules
• Posets, tensor products and Schur positivity
• A note on the fusion product decomposition of Demazure modules
• Quantum affine algebras, graded limits and flags
• Existence of a new family of irreducible components in the tensor product and its applications
• A geometric approach to Feigin-Loktev fusion product and cluster relations in coherent Satake category

This page was built for publication: Schur positivity and Kirillov-Reshetikhin modules

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