Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles (Q602052): Difference between revisions

The author studies tautological vector bundles and their tenor products over the Hilbert scheme of points on a smooth quasi-projective algebraic surface, with a particular interest in their cohomology. In section one, standard notations and preliminary results are recalled. For a smooth quasi-projective algebraic surface \(X\), let \(X^{[n]}\) be the Hilbert scheme parametrizing length-\(n\) \(0\)-dimensional closed subschemes of \(X\). It is well-known that there exists a derived equivalence \[ \Phi: \text{D}^b(X^{[n]}) \to \text{D}_{S_n}^b(X^n) \] where \(\text{D}^b(X^{[n]})\) is the derived category of bounded complexes of coherent sheaves on \(X^{[n]}\), and \(S_n\) acts on \(X^n\) by permutation. In section two, let \(L^{[n]}\) be the tautological rank-\(n\) bundle on \(X^{[n]}\) corresponding to a line bundle \(L\) on \(X\). The author identifies the image \(\Phi(L^{[n]})\) in terms of a complex \(\mathcal C_L^\bullet\) of \(S_n\)-equivariant sheaves on \(X^n\), and characterize the image \(\Phi(L^{[n]} \otimes \cdots \otimes L^{[n]})\) in terms of the hyperderived spectral sequence associated to the derived tensor products of the complex \(\mathcal C_L^\bullet\). In sections three and four, the derived direct images of \(L^{[n]} \otimes L^{[n]}\) and \(\Lambda^k L^{[n]}\) under the Hilbert-Chow morphism are obtained. In section five, the author computed the cohomology of \(X^{[n]}\) with values in \(L^{[n]} \otimes L^{[n]}\) and \(\Lambda^k L^{[n]}\).