No abstract uploaded!

Let O_c be the category of finite-length central-charge-c modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that O_c admits vertex algebraic tensor category structure for any c∈C. Here, we determine the structure of this tensor category when c=13−6p−6/p for an integer p>1. For such c, we prove that O_c is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory O_c^0. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that O_c has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine sl_2 at levels −2+p^±1. Next, as a straightforward consequence of the braided tensor category structure on O_c together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras W(p), including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that O_c^0 is braided tensor equivalent to the PSL(2,C)-equivariantization of the category of W(p)-modules.

In\cite {21}, Boltje and Maisch found a permutation complex of Specht modules in representation theory of Hecke algebras, which is the same as the Boltje-Hartmann complex appeared in the representation theory of symmetric groups and general linear groups. In this paper we prove the exactness of Boltje-Maisch complex in the dominant weight case.

Let $G$ be a simple simply connected algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. G. Lusztig and Z. Yun, in a recent series of articles, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal local system via the procedure of {\itshape spiral inductions}. We prove a conjecture of them, stating that there is a bijection between 1) the set of simple perverse sheaves in a fixed block and 2) the set of simple modules of a block of a (trigonometric) degenerate double affine Hecke algebra (dDAHA). This is a dDAHA analogue of the Deligne--Langlands correspondence for affine Hecke algebras proven by Kazhdan--Lusztig. Our results generalise a previous work of E. Vasserot, where the perverse sheaves in the principal block were considered.

Let <i>G</i> be a semisimple adjoint group over <b>C</b> and <i></i> be the De ConciniProcesi completion of <i>G</i>. In this paper, we define a Lagrangian subvariety of the cotangent bundle of <i></i> such that the singular support of any character sheaf on <i></i> is contained in .