Related papers: Lusztig sheaves and integrable highest weight modu…
Let $V$ be a finite-dimensional positively-graded vector space. Let $b \in V \otimes V$ be a homogeneous element whose rank is $\text{dim}(V)$. Let $A=TV/(b)$, the quotient of the tensor algebra $TV$ modulo the 2-sided ideal generated by…
This paper studies classical weight modules over the $\imath$quantum group $\mathbf{U}^{\imath}$ of type AI. We introduce the notion of based $\mathbf{U}^{\imath}$-modules by generalizing the notion of based modules over the quantum groups.…
Let U be the quantum group associated to a Lie algebra of type A_n. The negative part U^- of U has a canonical basis B defined by Lusztig and Kashiwara, with favourable properties. We show how the spanning vectors of the cones defined by…
Let $Q$ be a finite quiver without loops and $\mathcal{Q}_{\alpha}$ be the Lusztig category for any dimension vector $\alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology…
In this paper, we study the structures of Schur algebra and Lusztig algebra associated to partial flag varieties of affine type D. We show that there is a subalgebra of Lusztig algebra and the quantum groups arising from this subalgebras…
Our investigation in the present paper is based on three important results. (1) In [12], Ringel introduced Hall algebra for representations of a quiver over finite fields and proved the elements corresponding to simple representations…
We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and…
In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to…
We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant…
For p>3 a prime, and g>2 an integer, we use Topological Quantum Field Theory (TQFT) to study a family of p-1 highest weight modules L_p(lambda) for the symplectic group Sp(2g,K) where K is an algebraically closed field of characteristic p.…
In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories. Let $\mathscr{C}$ be an indecomposable multifusion category and…
Let $G$ be a connected reductive complex algebraic group, and $E$ a complex elliptic curve. Let $G_E$ denote the connected component of the trivial bundle in the stack of semistable $G$-bundles on $E$. We introduce a complex analytic…
The paper is devoted to the generalization of Lusztig's q-analog of weight multiplicities to the Lie superalgebras gl(n,m) and spo(2n,M). We define such q-analogs K_{lambda,mu}(q) for the typical modules and for the irreducible covariant…
We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…
Let $\tilde{\mathfrak{g}}$ be the affine Lie algebra of type $A_{2l}^{(2)}$. The integrable highest weight $\tilde{\mathfrak{g}}$-module $L(k\Lambda_0)$ called the standard $\tilde{\mathfrak{g}}$-module is realized by a tensor product of…
The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special…
Let $\fg$ be any untwisted affine Kac-Moody algebra, $\mu$ any fixed complex number, and $\wt\fg(\mu)$ the corresponding toroidal extended affine Lie algebra of nullity two. For any $k$-tuple $\bm{\lambda}=({\lambda}_1, \cdots,…
Let $\Oq(G)$ be the algebra of quantized functions on an algebraic group $G$ and $\Oq(B)$ its quotient algebra corresponding to a Borel subgroup $B$ of $G$. We define the category of sheaves on the "quantum flag variety of $G$" to be the…
It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…
We realize the $\mathrm{GL}_n(\mathbb{C})$-modules $S^k(S^m(\mathbb{C}^n))$ and $\Lambda^k(S^m(\mathbb{C}^n))$ as spaces of polynomial functions on $n\times k$ matrices. In the case $k=3$, we describe explicitly all the…