Compatibility of \(t\)-structures for quantum symplectic resolutions (Q333134)

Many non-commutative algebras of recent interest (spherical subalgebras of deformed preprojective algebras, cyclotomic Cherednik algebras, wreath product symplectic reflection algebras) naturally appear as quantum Hamiltonian reductions of the ring of differential operators on a smooth complex affine variety \(W\) with an action of a complex Lie group \(G\). By microlocalization one sees that such algebras are often the global sections of certain sheaves of algebras. The reduction depends on a character \(c\) of the Lie algebra \(\mathfrak g\) of \(G\), and the main result gives a combinatorial effectively computable condition on \(c\) for a vanishing theorem for the global sections functor, and exactness of its global sections. The result extends the Beilinson-Bernstein localization theorem in geometric representation theory, and prior work for special cases, including Kashiwara-Rouqier's for Cherednik algebras. More precisely, let \(\chi:G\to\mathbb G_m\) be a group character. In the relevant cases \(\chi\) determines a finite effectively computable set \(KN\) of \(1\)-parameter subgroups of a fixed maximal torus, the Kashiwara-Ness subgroups. For each \(\beta\in KN\) the authors define numerical shift \(\mathfrak{shift}(\beta)\) and a subset \(I(\beta)\subset\mathbb{Z}_{\geq0}\), so that if \(c(\beta)\not\in\mathfrak{shift}(\beta)+I(\beta)\) then any \(c\)-twisted \(G\)-equivariant \(\mathcal{D}\)-module with unstable singular support is in the kernel of quantum Hamiltonian reduction. It follows that if \(\mathfrak{X}\) is the GIT quotient with a natural quantization \(\mathcal{W}_{\mathfrak{X}}(c)\) then the functor of global sections on quasicoherent \(\mathcal{W}_{\mathfrak{X}}(c)\)-modules is exact. As an application of the computational effectiveness, the authors derive the exactness for the quantization of the Hilbert scheme \((\mathbb{C})^{[n]}\), which is a spherical type \(A\) Cherednik algebra.