Related papers: Lusztig sheaves and integrable highest weight modu…

We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the…

The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when…

Given any symmetric Cartan datum, Lusztig has provided a pair of key lemmas to construct the perverse sheaves over the corresponding quiver and the functions of irreducible components over the corresponding preprojective algebra…

We construct a weak categorification of the quantum toroidal algebra action on the Grothendieck group of moduli space of stable (or framed) sheaves over an algebraic surface, which is constructed by Schiffmann-Vasserot and Negu\c{t}. The…

Let $G$ be a connected complex reductive algebraic group with Lie algebra $\mathfrak{g}$. The Lusztig--Vogan bijection relates two bases for the bounded derived category of $G$-equivariant coherent sheaves on the nilpotent cone…

We give a new interpretation of representation theory of the finite-dimensional half-integer weight modules over the queer Lie superalgebra $\mathfrak{q}(n)$. It is given in terms of Brundan's work of finite-dimensional integer weight…

We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in…

Let G be a simple algebraic group over the complex numbers. Let N be the cone of nilpotent elements in the Lie algebra of G. Let K_{G x C^*}(N) denote the Grothendieck group of the category of G x C^*-equivariant coherent sheaves on N. In…

We describe a conjectural approach to obtaining canonical bases of the Hecke algebra at $q=1$ via continuous quadratic optimization. We focus on Specht modules $S^\lambda$ and proper cones inside $S^\lambda$ that are invariant under the…

In this article we consider the general definition of Lustig sheaves for arbitrary quivers, possibly carrying loops. We answer a conjecture raised by Lusztig asking if the more "simple" Lusztig perverse sheaves are enough to span the whole…

Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of…

Let $V(\Lambda_i)$ (resp., $V(-\Lambda_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(\Lambda_i)\otimes V(-\Lambda_j)$ is filtered by submodules…

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…

Let $\mathbf{U}$ be a quantum group of symmetric type. We introduce the {\it thickening realization} to realize (a suitable approximation of) the tensor product ${^{\omega}\Lambda_{\lambda_1}}\otimes \Lambda_{\lambda_2}$ of a simple…

We give the crystal structure of the Grothendieck group $G_0(R)$ of irreducible modules over the quiver Hecke algebra $R$ constructed in \cite{TW2023}. This leads to the categorification of the crystal $B(\infty)$ of the quantum Borcherds…

Let Q be an affine quiver of type A. Let C be the associated generalized Cartan matrix. Let U^- be the negative part of the quantized enveloping algebra attached to C. In terms of perverse sheaves on the moduli space of representations of a…

Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(\Lambda)$ be the integrable highest weight $U_q(\g)$-module with highest weight $\Lambda$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^\Lambda$ provides…

In math.RT/0205144 we observed that, on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of finite characteristic with a given (generalized) regular central character can be…

The level l Fock space admits canonical bases G_e and G_\infty. They correspond to U_{v}(hat{sl}_{e}) and U_{v}(sl_{\infty})-module structures. We establish that the transition matrices relating these two bases are unitriangular with…

Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a…