Let be a smooth complex variety with the action of a connected reductive group . Adapting Teleman’s stratification approach to a microlocal context, we prove a vanishing theorem for the functor of -invariant sections—that is, of quantum Hamiltonian reduction—for -equivariant twisted -modules on . As a consequence, when is affine we establish a sufficient combinatorial condition for exactness of the global sections functors of microlocalization theory. When combined with the derived equivalence results of our recent work, this gives precise criteria for “microlocalization of representation categories” in the spirit of Kashiwara–Rouquier and many other authors.
"Compatibility of -structures for quantum symplectic resolutions." Duke Math. J. 165 (13) 2529 - 2585, 15 September 2016. https://doi.org/10.1215/00127094-3619684