On Procesi bundles (Q2509867): Difference between revisions

Let \(\Gamma_1 \subset \mathrm{SL}_2(\mathbb{C})\) be a finite subgroup. Then \(\Gamma_n=S_n \rtimes \Gamma_1^n\) naturally acts on \(V=\mathbb{C}^{2n}\) by linear symplectomorphisms. The quotient \(X_0=V/\Gamma_n\) has an \(\mathbb{C}^*\)-action by dilations and admits a symplectic \(\mathbb{C}^*\)-equivariant resolution of singularities \(\pi:X\to X_0\). The Procesi bundles on \(X\) is \(\mathbb{C}^*\)-equivariant vector bundle \(\mathcal{P}\) together with a \(\mathbb{C}^*\)-equivariant isomorphism of \(\mathbb{C}\)-algebras \(\mathrm{End}(\mathcal{P})\cong \mathbb{C}[V]\# \Gamma_n\), and such that \(\mathrm{Ext}^i(\mathcal{P},\mathcal{P})=0\) for \(i>0\). Two Procesi bundles are equivalent if they are isomorphic \(\mathbb{C}^*\)-equivariantly and the induce automorphism of \(\mathbb{C}[V]\# \Gamma_n\) is inner. \(\mathcal{P}\) is called normalized if \(\mathcal{P}^{\Gamma_n}=\O_X\). It is known that Procesi bundles always exist. When \(n=1\) the Procesi bundles are completely known, and due to the work of \textit{M. Kapranov} and \textit{E. Vasserot} [Math. Ann. 316, No. 3, 565--576 (2000; Zbl 0997.14001)] they are the same as rank \(\Gamma_1\) tautological bundles on the resolutions. If \(\Gamma_1=\{1\}\) then \(X\) is the Hilbert scheme of \(n\) points on \(\mathbb{C}^2\). In this case the Procesi bundles cannot be the same as the tautological bundles. In this case Haiman constructs a Procesi bundle \(\mathcal{P}\) and proves that \(\mathcal{P}^{S_{n-1}}\) is the same as the tautological bundle on the Hilbert scheme. The paper under review describes all Procesi bundles when \(X\) is obtained by Hamiltonian reduction. Conjecturally, all the resolutions of \(X_0\) are obtained this way. In this case \(X\) depends on a stability parameter denoted by \(\theta.\) The first main result of the paper under review proves that there are exactly \(2|W|\) nonequivalent normalized Procesi bundles on \(X^\theta\), where \(W\) is the Weyl group of the Dynkin diagram of \(\Gamma_1\). The second main result proves that for any generic \(\theta\) there is a normalized Procesi bundle \(\mathcal{P}\) on \(X^\theta\) that depends only on the chamber of \(\theta\) and such that \(\mathcal{P}^{\Gamma_{n-1}}\) is the tautological bundle of \(X^\theta\). The proof of the main results are based on deformation arguments and a connection of the Procesi bundles with the symplectic reflection algebras.