No Arabic abstract
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-Leclercs monoidal category $mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(Lmathfrak{g})$ via Nakajimas homomorphism. As an application, we show that Kang-Kashiwara-Kims generalized quantum affine Schur-Weyl duality functor gives an equivalence between the category of finite-dimensional modules over the quiver Hecke algebra associated with $Q$ and Hernandez-Leclercs category $mathcal{C}_Q$, assuming the simpleness of some poles of normalized R-matrices for type E.
For a Dynkin quiver $Q$ of type ADE and a sum $beta$ 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-Vasserots geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclercs isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $beta$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kims generalized quantum affine Schur-Weyl duality functor. As a by-product, we verify a conjecture by Kang-Kashiwara-Kim on the simpleness of some poles of normalized R-matrices for any quiver $Q$ of type ADE.
We establish a three-parameter Schur duality between the affine Hecke algebra of type C and a coideal subalgebra of quantum affine $mathfrak{sl}_n$. At the equal parameter specializations, we obtain Schur dualities of types BCD.
We show that the equivariant hypertoric convolution algebras introduced by Braden-Licata-Proudfoot-Webster are affine quasi hereditary in the sense of Kleshchev and compute the Ext groups between standard modules. Together with the main result of arXiv:2009.03981, this implies a number of new homological results about the bordered Floer algebras of Ozsvath-Szabo, including the existence of standard modules over these algebras. We prove that the Ext groups between standard modules are isomorphic to the homology of a variant of the Lipshitz-Ozsvath-Thurston bordered strands dg algebras.
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}^{(2)}: Rep(R) rightarrow {mathcal C}_{Q}^{(2)}$, where $Rep(R)$ is the category of finite-dimensional modules over the quiver Hecke algebra $R$ of type $mathfrak{g}_{0}$ with nilpotent actions of the generators $x_k$. We show that ${mathcal F}_{Q}^{(2)}$ sends any simple object to a simple object and induces a ring isomorphism $K(Rep(R)) simeq K({mathcal C}_{Q}^{(2)})$.
We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q(mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q(mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.