paper

Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles

arXiv:0710.3072 · doi:10.1215/00127094-2009-050

Abstract

Let a smooth quasi-projective algebraic surface, a line bundle on . Let the Hilbert scheme of points on and the tautological bundle on naturally associated to the line bundle on . We explicitely compute the image $\bkrh(L^{[n]})$ of the tautological bundle for the Bridgeland-King-Reid equivalence $\bkrh : \B{D}^b(X^{[n]}) \ra \B{D}^b_{\perm_n}(X^n)$ in terms of a complex $\comp{\mc{C}}_L$ of $\perm_n$-equivariant sheaves in $\B{D}^b_{\perm_n}(X^n)$. We give, moreover, a characterization of the image $\bkrh(L^{[n]} \tens ... \tens L^{[n]})$ in terms of of the hyperderived spectral sequence associated to the derived -fold tensor power of the complex $\comp{\mc{C}}_L$. The study of the $\perm_n$-invariants of this spectral sequence allows to get the derived direct images of the double tensor power and of the general -fold exterior power of the tautological bundle for the Hilbert-Chow morphism, providing Danila-Brion-type formulas in these two cases. This yields easily the computation of the cohomology of with values in $L^{[n]} \tens L^{[n]}$ and .

41 pages; revised version, exposition improved

Cited by in corpus (20)