We show that the Kazhdan-Lusztig category KL_k of level-k finite-length modules with highest-weight composition factors for the affine Lie superalgebra gl(1|1)ˆ has vertex algebraic braided tensor supercategory structure, and that its full subcategory O_k^fin of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple gl(1|1)ˆ-module in KL_k has a projective cover in O_k^fin, and we determine all fusion rules involving simple and projective objects in O_k^fin. Then using Knizhnik-Zamolodchikov equations, we prove that KL_k and O_k^fin are rigid. As an application of the tensor supercategory structure on O_k^fin, we study certain module categories for the affine Lie superalgebra sl(2|1)ˆ at levels 1 and −1/2. In particular, we obtain a tensor category of sl(2|1)ˆ-modules at level −1/2 that includes relaxed highest-weight modules and their images under spectral flow.

No abstract uploaded!

We study derived categories arising from quivers with potential associated to a decorated marked surface S_Delta, in the sense taken in a paper by Qiu. We prove two conjectures from Qiu’s paper in which, under a bijection between certain objects in these categories and certain arcs in S, the dimensions of morphisms between these objects equal the intersection numbers between the corresponding arcs.

In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.