Isomorphisms among quantum Grothendieck rings and propagation of positivity

Abstract

Let ($\mathfrak{g},\mathsf{g})$ be a pair of complex finite-dimensional simple Lie algebras whose Dynkin diagrams are related by (un)folding, with $\mathsf{g}$ being of simply-laced type. We construct a collection of ring isomorphisms between the quantum Grothendieck rings of monoidal categories ${\mathcal{C}}_{\mathfrak{g}}$ and ${\mathcal{C}}_{\mathsf{g}}$ of finite-dimensional representations over the quantum loop algebras of $\mathfrak{g}$ and $\mathsf{g}$ respectively. As a consequence, we solve long-standing problems : the positivity of the analogs of Kazhdan-Lusztig polynomials and the positivity of the structure constants of the quantum Grothendieck rings for any non-simply-laced $\mathfrak{g}$. In addition, comparing our isomorphisms with the categorical relations arising from the generalized quantum affine Schur-Weyl dualities, we prove the analog of Kazhdan-Lusztig conjecture (formulated in [H., Adv. Math., 2004]) for simple modules in remarkable monoidal subcategories of ${\mathcal{C}}_{\mathfrak{g}}$ for any non-simply-laced $\mathfrak{g}$, and for any simple finite-dimensional modules in ${\mathcal{C}}_{\mathfrak{g}}$ for $\mathfrak{g}$ of type ${\mathrm{B}}_n$. In the course of the proof we obtain and combine several new ingredients. In particular we establish a quantum analog of $T$-systems, and also we generalize the isomorphisms of [H.-Leclerc, J. Reine Angew. Math., 2015] and [H.-O., Adv. Math., 2019] to all $\mathfrak{g}$ in a unified way, that is isomorphisms between subalgebras of the quantum group of $\mathsf{g}$ and subalgebras of the quantum Grothendieck ring of ${\mathcal{C}}_{\mathfrak{g}}$.

arXiv commentv3: minor revision, 68 pages, Lemma 3.12 and Lemma 8.3 corrected, to appear in Crelle's journal

References in corpus (28)

• Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras
• T-systems and Y-systems in integrable systems
• Cluster algebras and quantum affine algebras
• Cluster structures on quantum coordinate rings
• Quantum Grothendieck rings and derived Hall algebras
• Asymptotic representations and Drinfeld rational fractions
• Deformations of W-algebras associated to simple Lie algebras
• Triangular bases in quantum cluster algebras and monoidal categorification conjectures
• Quivers with relations for symmetrizable Cartan matrices I : Foundations
• A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules
• On minimal affinizations of representations of quantum groups
• Simplicity of heads and socles of tensor products
• Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras
• Quantum Unipotent Subgroup and dual canonical basis
• On Level Zero Representations of Quantized Affine Algebras
• Monoidal categorification and quantum affine algebras
• Coulomb branches of quiver gauge theories with symmetrizers
• Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras II
• Q-data and representation theory of untwisted quantum affine algebras
• Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan-Lusztig algorithm
• Categorical relations between Langlands dual quantum affine algebras: Exceptional cases
• Geometric realization of Dynkin quiver type quantum affine Schur-Weyl duality
• Twisted and folded Auslander-Reiten quivers and applications to the representation theory of quantum affine algebras
• Graded quiver varieties and singularities of normalized R-matrices for fundamental modules
• Perverse sheaves and quantum Grothendieck rings
• Equivalence between module categories over quiver Hecke algebras and Hernandez-Leclerc's categories in general types
• Symmetric quiver Hecke algebras and R-matrices of Quantum affine algebras IV
• PBW theory for quantum affine algebras

Cited by in corpus (6)

• Monoidal categorification and quantum affine algebras
• The $(q,t)$-Cartan matrix specialized at $q=1$
• $t$-quantized Cartan matrix and R-matrices for cuspidal modules over quiver Hecke algebras
• Equivalence between module categories over quiver Hecke algebras and Hernandez-Leclerc's categories in general types
• Equivariant multiplicities via representations of quantum affine algebras
• Inflations among quantum Grothendieck rings of type A