Some remarks on tautological sheaves on Hilbert schemes of points on a surface (Q1018083)

The main subject is the Hilbert scheme \(X^{[n]}\) of \(n\) points on a smooth quasi-projective algebraic surface \(X\). The tautological sheaves on the Hilbert scheme are defined by means of the Fourier--Mukai functor. The Bridgeland--King--Reid transform of a tautological sheaf is compute as well as the same for the tensor product of tautological sheaves. Also Brion--Danila's formulas for the derived direct images of a tensor product of tautological sheaves are proven for the Hilbert-to-Chow morphism. The author obtains general formulas for the derived direct image of a tautological sheaf or for a tensor product of two of them. As an application, author gives the explicit formulas for cohomology of \(X^{[n]}\) with value in any tautological sheaf or in the tensor product of torsion-free tautological sheaves with disjoint singular loci. Relevant papers: \textit{T. Bridgeland, A. King} and \textit{M. Reid} [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)]; \textit{G. Danila} [J. Algebr. Geom. 10, No. 2, 247--280 (2001; Zbl 0988.14011)]; \textit{M. Haiman} [J. Am. Math. Soc. 14, No. 4, 941--1006 (2001; Zbl 1009.14001)]; \textit{Y. Ito} and \textit{I. Nakamura} [Proc. Japan Acad., Ser. A 72, No. 7, 135--138 (1996; Zbl 0881.14002)].