We prove the Mirković–Vilonen conjecture: the integral local intersection cohomology groups of spherical Schubert varieties on the affine Grassmannian have no$p$-torsion, as long as$p$is outside a certain small and explicitly given set of prime numbers. (Juteau has exhibited counterexamples when$p$is a bad prime.) The main idea is to convert this topological question into an algebraic question about perverse-coherent sheaves on the dual nilpotent cone using the Juteau–Mautner–Williamson theory of parity sheaves.

In this paper, we give geometric realizations of Lusztig's symmetries. We also give projective resolutions of a kind of standard modules. By using the geometric realizations and the projective resolutions, we obtain the categorification of the formulas of Lusztig's symmetries.

In this paper, we reprove a global converse theorem of Cogdell and Piatetski-Shapiro using purely global methods.

Let $A = \bigoplus _{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra where $A_0$ is a finite-dimensional algebra whose finitistic dimension is 0. In this paper we develop a generalized Koszul theory preserving many classical results, and show an explicit correspondence between this generalized theory and the classical theory. Applications in representations of certain categories and extension algebras of standard modules of standardly stratified algebras are described.

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.