Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
Let $U_q'({\mathfrak {g}})$ be a quantum affine algebra with an indeterminate $q$ , and let $\mathscr {C}_{\mathfrak {g}}$ be the category of finite-dimensional integrable $U_q'({\mathfrak {g}})$ -modules. We write $\mathscr {C}_{\mathfrak {g}}^0$ for the monoidal subcategory of $\mathscr {C}_{\mathfrak {g}}$ introduced by Hernandez and Leclerc. In this paper, we associate a simply laced finite-type root system to each quantum affine algebra $U_q'({\mathfrak {g}})$ in a natural way and show that the block decompositions of $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $\mathcal {W}$ (respectively $\mathcal {W} _0$ ) arising from simple modules of $\mathscr {C}_{\mathfrak {g}}$ (respectively $\mathscr {C}_{\mathfrak {g}}^0$ ) by using the invariant $\Lambda ^\infty$ introduced in previous work by the authors. The groups $\mathcal {W}$ and $\mathcal {W} _0$ have subsets $\Delta$ and $\Delta _0$ determined by the fundamental representations in $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ , respectively. We prove that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ is an irreducible simply laced root system of finite type and that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} , \Delta )$ is isomorphic to the direct sum of infinite copies of $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ as a root system.
Let $U_q'({\mathfrak {g}})$ be a quantum affine algebra with an indeterminate $q$ , and let $\mathscr {C}_{\mathfrak {g}}$ be the category of finite-dimensional integrable $U_q'({\mathfrak {g}})$ -modules. We write $\mathscr {C}_{\mathfrak {g}}^0$ for the monoidal subcategory of $\mathscr {C}_{\mathfrak {g}}$ introduced by Hernandez and Leclerc. In this paper, we associate a simply laced finite-type root system to each quantum affine algebra $U_q'({\mathfrak {g}})$ in a natural way and show that the block decompositions of $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $\mathcal {W}$ (respectively $\mathcal {W} _0$ ) arising from simple modules of $\mathscr {C}_{\mathfrak {g}}$ (respectively $\mathscr {C}_{\mathfrak {g}}^0$ ) by using the invariant $\Lambda ^\infty$ introduced in previous work by the authors. The groups $\mathcal {W}$ and $\mathcal {W} _0$ have subsets $\Delta$ and $\Delta _0$ determined by the fundamental representations in $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ , respectively. We prove that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ is an irreducible simply laced root system of finite type and that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} , \Delta )$ is isomorphic to the direct sum of infinite copies of $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ as a root system.
For any simply-laced type simple Lie algebra $$\mathfrak {g}$$ g and any height function $$\xi $$ ξ adapted to an orientation Q of the Dynkin diagram of $$\mathfrak {g}$$ g , Hernandez–Leclerc introduced a certain category $$\mathcal {C}^{\le \xi }$$ C ≤ ξ of representations of the quantum affine algebra $$U_q(\widehat{\mathfrak {g}})$$ U q ( g ^ ) , as well as a subcategory $$\mathcal {C}_Q$$ C Q of $$\mathcal {C}^{\le \xi }$$ C ≤ ξ whose complexified Grothendieck ring is isomorphic to the coordinate ring $$\mathbb {C}[\textbf{N}]$$ C [ N ] of a maximal unipotent subgroup. In this paper, we define an algebraic morphism $${\widetilde{D}}_{\xi }$$ D ~ ξ on a torus $$\mathcal {Y}^{\le \xi }$$ Y ≤ ξ containing the image of $$K_0(\mathcal {C}^{\le \xi })$$ K 0 ( C ≤ ξ ) under the truncated q-character morphism. We prove that the restriction of $${\widetilde{D}}_{\xi }$$ D ~ ξ to $$K_0(\mathcal {C}_Q)$$ K 0 ( C Q ) coincides with the morphism $$\overline{D}$$ D ¯ recently introduced by Baumann–Kamnitzer–Knutson in their study of equivariant multiplicities of Mirković–Vilonen cycles. This is achieved using the T-systems satisfied by the characters of Kirillov–Reshetikhin modules in $$\mathcal {C}_Q$$ C Q , as well as certain results by Brundan–Kleshchev–McNamara on the representation theory of quiver Hecke algebras. This alternative description of $$\overline{D}$$ D ¯ allows us to prove a conjecture by the first author on the distinguished values of $$\overline{D}$$ D ¯ on the flag minors of $$\mathbb {C}[\textbf{N}]$$ C [ N ] . We also provide applications of our results from the perspective of Kang–Kashiwara–Kim–Oh’s generalized Schur–Weyl duality. Finally, we use Kashiwara–Kim–Oh–Park’s recent constructions to define a cluster algebra $$\overline{\mathcal {A}}_Q$$ A ¯ Q as a subquotient of $$K_0(\mathcal {C}^{\le \xi })$$ K 0 ( C ≤ ξ ) naturally containing $$\mathbb {C}[\textbf{N}]$$ C [ N ] , and suggest the existence of an analogue of the Mirković–Vilonen basis in $$\overline{\mathcal {A}}_Q$$ A ¯ Q on which the values of $${\widetilde{D}}_{\xi }$$ D ~ ξ may be interpreted as certain equivariant multiplicities.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.