We use the dual functional realization of loop algebras to study the prime irreducible objects in the Hernandez-Leclerc category for the quantum affine algebra associated to $\mathfrak{sl}_{n+1}$. When the HL category is realized as a monoidal categorification of a cluster algebra \cite{HL10,HL13}, these representations correspond precisely to the cluster variables and the frozen variables are minimal affinizations. For any height function, we determine the classical decomposition of these representations with respect to the Hopf subalgebra $\mathbf{U}_q(\mathfrak{sl}_{n+1})$ and describe the graded multiplicities of their graded limits in terms of lattice points of convex polytopes. Combined with \cite{BCMo15} we obtain the graded decomposition of stable prime Demazure modules in level two integrable highest weight representations of the corresponding affine Lie algebra.
We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain full subcategory of finite-dimensional modules over a quantum affine algebra which is a generalization of the Hernandez-Leclerc's category $\mathcal{C}_Q$. This was previously proved in untwisted $ADE$ types by Fujita using the geometry of quiver varieties, which is not applicable in general. Our proof is purely algebraic, and so can be extended uniformly to…
In a previous paper the authors have attached to each Dynkin quiver an associative algebra. The definition is categorical and the algebra is used to construct desingularizations of arbitrary quiver Grassmannians. In the present paper we prove that this algebra is isomorphic to an algebra constructed by Hernandez-Leclerc defined combinatorially and used to describe certain graded Nakajima quiver varieties. This approach is used to get an explicit realization of the orbit closures of representations of Dynkin quivers as affine quotients.
In the paper, we establish the global basis theory for the bosonic extension $\widehat{\mathcal{A}}$ associated with an arbitrary generalized Cartan matrix. When $\widehat{\mathcal{A}}$ is of simply-laced finite type, it is isomorphic to the quantum Grothendieck ring of the Hernandez-Leclerc category over a quantum affine algebra. In this case, we show that the $(t,q)$-characters of simple modules in the Hernandez-Leclerc category correspond to the normalized global basis of $\widehat{\mathcal{A}}$.
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that its category of finite-dimensional modules is identified with a block of Hernandez-Leclerc's monoidal category $\mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(L\mathfrak{g})$ via Nakajima's homomorphism. As an application, we show that Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor gives an equivalence between the cate…
We give an interpretation of the $(q,t)$-deformed Cartan matrices of finite type and their inverses in terms of bigraded modules over the generalized preprojective algebras of Langlands dual type in the sense of Geiß-Leclerc-Schröer [Invent. math. 209 (2017)]. As an application, we compute the first extension groups between the generic kernels introduced by Hernandez-Leclerc [J. Eur. Math. Soc. 18 (2016)], and propose a conjecture that their dimensions coincide with the pole orders of the normalized $R$-matrices between the corresponding Kirillov-Reshetikhin modules.
Let $\mathscr{C}$ be the category of finite dimensional modules over the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ of a simple complex Lie algebra ${\mathfrak{g}}$. Let $\mathscr{C}^-$ be the subcategory introduced by Hernandez and Leclerc. We prove the geometric $q$-character formula conjectured by Hernandez and Leclerc in types $\mathbb{A}$ and $\mathbb{B}$ for a class of simple modules called snake modules introduced by Mukhin and Young. Moreover, we give a combinatorial formula for the $F$-polynomial of the generic kernel associated to the snake module. As an application, we sho…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C}…
We study certain monoidal subcategories (introduced by David Hernandez and Bernard Leclerc) of finite--dimensional representations of a quantum affine algebra of type $A$. We classify the set of prime representations in these subcategories and give necessary and sufficient conditions for a tensor product of two prime representations to be irreducible. In the case of a reducible tensor product we describe the prime decomposition of the simple factors. As a consequence we prove that these subcategories are monoidal categorifications of a cluster algebra of type $A$ with coefficients.
Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grothendieck ring of $\CC_Q$ is isomorphic to $\C [N]$, the coordinate ring of the unipotent group $N$ associated with $\g_0$. We apply the generalized quantum affine Schur-Weyl duality introduced in \cit…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional modules over quiver Hecke algebra of type A${}_\infty$. In particular, when the quantum affine algebra is of type A or B, the subcategory coincides with the monoidal category $\mathcal{C}_{\mathfrak{g}}^0$ introduced by Hernandez-Leclerc. As a consequence, the modules corresponding to cluster monomials are real simple modules over quantum affine algebras.
A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\inft…
We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorificat…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's category. For a duality datum $\mathcal{D}$ in $\mathcal{C}^0_{\mathfrak{g}}$, we denote by $\mathcal{F}_{\mathcal{D}}$ the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum $\mathcal{D}$ to provide the functor $\mathcal{F}_{\mathcal{D}}$ sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in $\mathcal{C}^0_{\mathfrak{g}}$, and show that all simple modules in $\mathcal{C}…
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we pr…
Inspired by a previous work of Nakajima, we consider perverse sheaves over acyclic graded quiver varieties and study the Fourier-Sato-Deligne transform from a representation theoretic point of view. We obtain deformed monoidal categorifications of acyclic quantum cluster algebras with specific coefficients. In particular, the (quantum) positivity conjecture is verified whenever there is an acyclic seed in the (quantum) cluster algebra. In the second part of the paper, we introduce new quantizations and show that all quantum cluster monomials in our setting belong to the dual canonical basis of…
We study a compatibility relationship between Qin's dominance order on a cluster algebra $\mathcal{A}$ and partial orderings arising from classifications of simple objects in a monoidal categorification $\mathcal{C}$ of $\mathcal{A}$. Our motivating example is Hernandez-Leclerc's monoidal categorification using representations of quantum affine algebras. In the framework of Kang-Kashiwara-Kim-Oh's monoidal categorification via representations of quiver Hecke algebras, we focus on the case of the category $R-gmod$ for a symmetric finite type $A$ quiver Hecke algebra using Kleshchev-Ram's classi…
Inspired by recent work of Hernandez-Leclerc and Leclerc-Plamondon we investigate the link between Nakajima's graded affine quiver varieties associated with an acyclic connected quiver Q and the derived category of Q. As Leclerc-Plamondon have shown, the points of these varieties can be interpreted as representations of a category, which we call the (singular) Nakajima category S. We determine the quiver of S and the number of minimal relations between any two given vertices. We construct a delta-functor Phi taking each finite-dimensional representation of S to an object of the derived categor…
The goal of this paper is to understand the graded limit of a family of irreducible prime representations of the quantum affine algebra associated to a simply-laced simple Lie algebra $\mathfrak{g}$. This family was introduced by David Hernandez and Bernard Leclerc in the context of monoidal categorification of cluster algebras. The graded limit of a member of this family is an indecomposable graded module for the current algebra $\mathfrak{g}[t]$; or equivalently a module for the maximal standard parabolic subalgebra in the affine Lie algebra $\widehat{\mathfrak{g}}$. In this paper we study t…
Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum Grothendieck ring $K_t(\mathfrak{g})$ of Hernandez-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors $\{\mathscr{S}_i\}_{i\in \mathbb{Z}}$ on a localization $T_N$ of the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. Under an isomorphism bet…
Motivated by a recent conjecture by Hernandez and Leclerc [arXiv:0903.1452], we embed a Fomin-Zelevinsky cluster algebra [arXiv:math/0104151] into the Grothendieck ring R of the category of representations of quantum loop algebras U_q(Lg) of a symmetric Kac-Moody Lie algebra g, studied earlier by the author via perverse sheaves on graded quiver varieties [arXiv:math/9912158]. Graded quiver varieties controlling the image can be identified with varieties which Lusztig used to define the canonical base. The cluster monomials form a subset of the base given by the classes of simple modules in R, …
In this paper, we prove one case of the conjecture given by Hernandez and Leclerc\cite{HL0}. Specifically, we give a cluster algebra structure on the Grothendieck ring of a full subcategory of the finite dimensional representations of a simply-laced quantum affine algebra $U_q(\widehat{\g})$. In the procedure, we also give a specific description of compatible subsets of type $E_{6}$. As a conclusion, for every exchange relation of cluster algebra there exists a exact sequence of the full subcategory corresponding to it.
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of the category ${\mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${\mathcal F}_{Q}…
In this paper we study the family of prime irreducible representations of quantum affine $\lie{sl}_{n+1}$ which arise from the work of D. Hernandez and B. Leclerc. These representations can also be described as follows: the highest weight is a product of distinct fundamental weights with parameters determined by requiring that the representation be minimal by parts. We show that such representations admit a BGG-type resolution where the role of the Verma module is played by the local Weyl module. This leads to a closed formula (the Weyl character formula) for the character of the irreducible r…
Inspired by recent work of Geiss-Leclerc-Schroer, we use Hom-finite cluster categories to give a good candidate set for a basis of (upper) cluster algebras with coefficients arising from quivers. This set consists of generic values taken by the cluster character on objects having the same index. If the matrix associated to the quiver is of full rank, then we prove that the elements in this set are linearly independent. If the cluster algebra arises from the setting of Geiss-Leclerc-Schroer, then we obtain the basis found by these authors. We show how our point of view agrees with the spirit of…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $\mathcal{C}_{\mathfrak{g}}$. We introduce the notion of a strong (complete) duality datum $D$ and prove that, when $D$ is strong, the induced duality functor $F_D$ sends simple modules to simple modules and preserves the invariants $Λ$ and $Λ^\infty$ introduced by the authors. We next define the reflections $\mathcal{S}_k$ and $\mathcal{S}^{-1}_k$ acting on str…
We define and construct a quantum Grothendieck ring for a certain monoidal subcategory of the category $\mathcal{O}$ of representations of the quantum loop algebra introduced by Hernandez-Jimbo. We use the cluster algebra structure of the Grothendieck ring of this category to define the quantum Grothendieck ring as a quantum cluster algebra. When the underlying simple Lie algebra is of type $A$, we prove that this quantum Grothendieck ring contains the quantum Grothendieck ring of the category of finite-dimensional representations of the associated quantum affine algebra. In type $A_1$, we ide…
We give a definition of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded $R$-modules to become a monoidal categorification of a quantum cluster algebra, where $R$ is a symmetric Khovanov-Lauda-Rouquier algebra. Roughly speaking, this criterion asserts that a quantum monoidal seed can be mutated successively in all the directions once the first-step mutations are possible. In the course of the study, we also give a proof of a conjecture of Leclerc on the product of upper global basis elements.
We consider an infinite quiver $Q(\mathfrak{g})$ and a family of periodic quivers $Q_m(\mathfrak{g})$ for a finite dimensional simple Lie algebra $\mathfrak{g}$ and $m \in \mathbb{Z}_{>1}$. The quiver $Q(\mathfrak{g})$ is essentially same as what introduced by Hernandez and Leclerc for the quantum affine algebra. We construct the Weyl group $W(\mathfrak{g})$ as a subgroup of the cluster modular group for $Q_m(\mathfrak{g})$, in a similar way as what studied by the author, Ishibashi and Oya, and study its applications to the $q$-characters of quantum non-twisted affine algebras $U_q(\hat{\mathf…
We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp. $D_{n+1}$). This results provide partial answers of conjectures of Frenkel-Hernandez on Langlands duality for finite-dimensional representation of quantum affine algebras.
We study the relation between quantum affine algebras of type A and Grassmannian cluster algebras. Hernandez and Leclerc described an isomorphism from the Grothendieck ring of a certain subcategory $\mathcal{C}_{\ell}$ of $U_q(\hat{\mathfrak{sl}_n})$-modules to a quotient of the Grassmannian cluster algebra in which certain frozen variables are set to 1. We explain how this induces an isomorphism between the monoid of dominant monomials, used to parameterize simple modules, and a quotient of the monoid of rectangular semistandard Young tableaux. Via the isomorphism, we define an element ch(T) …
We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of Geiss-Leclerc-Schroer. In addition, we prove a general result about relative 3-Calabi-Yau duality ove…
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-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 lat…
We describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a cluster character defined on the category which maps the rigid indecomposable objects to the cluster variables and the maximal rigid objects to clusters. This is proved by showing that the quotient of this category by a single projective-injective object is Geiss-Leclerc-Schroer's category Sub $Q_k$, which categorifies the coordinate ring of the big cell in thi…
To each symmetrizable Cartan matrix, we associate a finite free EI category. We prove that the corresponding category algebra is isomorphic to the algebra defined in [C. Geiss, B. Leclerc, and J. Schröer, Quivers with relations for symmetrizable Cartan matrices I: Foundations, Invent. Math. 209 (2017), 61--158], which is associated to another symmetrizable Cartan matrix. In certain cases, the algebra isomorphism provides an algebraic enrichment of the well-known correspondence between symmetrizable Cartan matrices and graphs with automorphisms.
For a complex finite-dimensional simple Lie algebra $\mathfrak{g}$, we introduce the notion of Q-datum, which generalizes the notion of a Dynkin quiver with a height function from the viewpoint of Weyl group combinatorics. Using this notion, we develop a unified theory describing the twisted Auslander-Reiten quivers and the twisted adapted classes introduced in [O.-Suh, J. Algebra, 2019] with an appropriate notion of the generalized Coxeter elements. As a consequence, we obtain a combinatorial formula expressing the inverse of the quantum Cartan matrix of $\mathfrak{g}$, which generalizes the …
Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$. When $\Cc_A$ is $\Hom$-finite, we prove that it is 2-CY and endowed with a canonical cluster-tilting object. This new class of categories contains some of the stable categories of modules over a preprojective algebra studied by Geiss-Leclerc-Schr{ö}er and by Buan-Iyama-Reiten-Scott. Our results also apply to quivers with potential. Namely, we introduce a cluste…
