In algebraic geometry, Procesi bundles are vector bundles of rank
on certain symplectic resolutions of quotient singularities, particularly on the Hilbert scheme of
points in the complex plane.
[1] They play a fundamental role in geometric representation theory and were crucial in Mark Haiman's proof of the n!
theorem and Macdonald positivity conjecture, and were named after Italian mathematician Claudio Procesi.
denote the Hilbert scheme of n points in the complex plane
, which provides a resolution of singularities of the quotient
is the symmetric group of degree
A Procesi bundle
-equivariant vector bundle of rank
is the smash product algebra) of
The isomorphism ensures that each fiber of
is naturally the regular representation of
[1] More generally, for a finite subgroup
, Procesi bundles can be defined on symplectic resolutions of
[1] Procesi bundles provide a derived McKay equivalence between the derived category of coherent sheaves on
For one distinguished Procesi bundle
coincide with the tautological bundle on
, there are exactly two normalized (meaning
) Procesi bundles which are dual to each other.
[2] The first construction of a Procesi bundle was given by American mathematician Mark Haiman in his proof of the n!
theorem, using intricate combinatorial methods.
[3] Alternative constructions were later developed by Roman Bezrukavnikov and Dmitry Kaledin using quantization in positive characteristic,[4] and by Victor Ginzburg using D-modules and the Hotta-Kashiwara construction.
[5] Belarusian-American mathematician Ivan Losev provided significant further developments in the theory of Procesi bundles, including a complete classification of Procesi bundles on Hamiltonian reductions,[1] and an inductive construction showing how Procesi bundles relate to nested Hilbert schemes.
[2] His work established that there are exactly two normalized Procesi bundles on any given symplectic resolution obtained by Hamiltonian reduction.
As a result of their use in the proof of the n!
theorem, Procesi bundles have also found important applications in the proof of the Macdonald positivity conjecture,[3] the study of rational Cherednik algebras and their representations, and understanding derived equivalences for symplectic quotient singularities.