The Procesi bundle over the -fixed points of the Hilbert scheme of points in C² | Synapse