Remarks on the derived McKay correspondence for Hilbert schemes of points and tautological bundles (Q1751032)

Let \(X\) be a nonsingular surface over complex numbers and \(S_n\) be the symmetric group on \(n\) letters. Denote the Hilbert scheme of \(n\) points on \(X\) by \(X^{[n]}\). By a result of Haiman \(X^{[n]}\) can be identified with the fine moduli space of \(S_n\)-clusters in \(X^n\). If we denote by \(\mathcal Z \subset X^{[n]}\times X^n\) the universal family of \(S_n\)-clusters and \(X^{[n]}\overset{q}{\leftarrow} \mathcal Z \overset{p}\rightarrow X^n\) be the projections then, the derived McKay correspondence of \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] in this set up gives an equivalence of derived categories \(\Phi: D(X^{[n]})\overset{\sim}{\rightarrow} D_{S_n}(X^n)\) of (\(S_n\)-equivariant) coherent sheaves, where \(\Phi=Rp_*\circ q^*\). Scala showed that for any vector bundle \(F\) on \(X\), the image of the tautological bundle \(F^{[n]}\) on \(X^{[n]}\) under \(\Phi\) is given by an explicit complex \(\mathsf C^\bullet_F\) of (\(S_n\)-equivariant) coherent sheaves concentrated in nonnegative degrees. The paper under review studies the derived McKay correspondence above in the reverse order by means of \(\Psi=q_*^{S_n}\circ Lp^*\) (which is not the inverse of \(\Phi\)). The main result of the paper is that if one replaces \(\Phi\) by \(\Psi^{-1}\) the images of \(F^{[n]}\) and \(\bigwedge^k L^{[n]}\) where \(L\) is a line bundle are (explicitly given) sheaves (instead of complexes of sheaves). This enables the author to prove new formulas and also give simpler proofs for existing formulas for homological invariants of tautological bundles and their wedge powers.