No Arabic abstract
We present a simple unified formula expressing the denominators of the normalized R-matrices between the fundamental modules over the quantum loop algebras of type ADE. It has an interpretation in terms of representations of the Dynkin quivers and can be proved in a unified way using the geometry of graded quiver varieties. As a by-product, we obtain a geometric interpretation of Kang-Kashiwara-Kims generalized quantum affine Schur-Weyl duality functor when it arises from a family of fundamental modules. We also study several cases when the graded quiver varieties are isomorphic to the graded nilpotent orbits of type A.
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)})$.
In this note, we prove that the universal affine vertex algebra associated with a simple Lie algebra $mathfrak{g}$ is simple if and only if the associated variety of its unique simple quotient is equal to $mathfrak{g}^*$. We also derive an analogous result for the quantized Drinfeld-Sokolov reduction applied to the universal affine vertex algebra.
We formalize some known categorical equivalences to give a rigorous treatment of smooth representations of p-adic general linear groups, as ungraded modules over quiver Hecke algebras of type A. Graded variants of RSK-standard modules are constructed for quiver Hecke algebras. Exporting recent results from the p-adic setting, we describe an effective method for construction and classification of all simple modules as quotients of modules induced from maximal homogenous data. It is established that the products involved in the RSK construction fit the Kashiwara-Kim notion of normal sequences of real modules. We deduce that RSK-standard modules have simple heads, devise a formula for the shift of grading between RSK-standard and simple self-dual modules, and establish properties of their decomposition matrix, thus confirming expectations for p-adic groups raised in a work of the author with Lapid. Subsequent work will exhibit how the presently introduced RSK construction generalizes the much-studied Specht construction, when inflated from cyclotomic quotient algebras.
We provide the localization procedure for monoidal categories by a real commuting family of braiders. For an element $w$ of the Weyl group, $mathscr{C}_w$ is a subcategory of modules over quiver Hecke algebra which categorifies the quantum unipotent coordinate algebra $A_q[mathfrak{n}(w)]$. We construct the localization $widetilde{mathscr{C}_w}$ of $mathscr{C}_w$ by adding the inverses of simple modules which correspond to the frozen variables in the quantum cluster algebra $A_q[mathfrak{n}(w)]$. The localization $widetilde{mathscr{C}_w}$ is left rigid and we expect that it is rigid.
An affine Lie algebra acts on cohomology groups of quiver varieties of affine type. A Heisenberg algebra acts on cohomology groups of Hilbert schemes of points on a minimal resolution of a Kleinian singularity. We show that in the case of type $A$ the former is obtained by Frenkel-Kac construction from the latter.