PERVERSE SHEAVES AND THE COHOMOLOGY OF HILBERT SCHEMES OF SMOOTH ALGEBRAIC-SURFACES
PERVERSE SHEAVES AND THE COHOMOLOGY OF HILBERT SCHEMES OF SMOOTH ALGEBRAIC-SURFACES
复制标题
DOI:
10.1007/bf01445104
复制
发表时间:
1993-06-01
影响因子:
1.4
通讯作者:
SOERGEL, W
中科院分区:
文献类型:
--
作者:
GOTTSCHE, L;SOERGEL, W
For any algebraic variety (ie a separated scheme of finite type) X/C let X (C) denote the set of closed points with its analytic topology. To any smooth algebraic surface S/C and n= 1, 2,... one may associate the n'th Hilbert scheme S [n] parametrizing closed zero-dimensional subschemes of length n of S (cf.[Gr, F]). It is known that S tn] is smooth of dimension 2n (cf. IF, Theorem 2.4]). We want to show how the singular cohomology H~ Q) of the Hilbert scheme can be computed from the singular cohomology H*(S (C), Q) of the surface itself. In Sect. 6 we will in a similar way compute the singular cohomology of higher order Kummer varieties. To give at least the result for Hilbert schemes, we have to introduce some notations. Let P (n) be the set of partitions of n. We write cu E P (n) as n---c~ 1 9 1+...+ c~. r and put] c~[=~ ai. Let~ q (n) be the n'th symmetric power of S. It is well known (cf.[Mac]) how to calculate H~ Q) from H~ Q), namely as the invariants of the symmetric group~ n permuting the factors of H'(S (C), Q)| with suitable signs. For c~ E P (n) we put S ('~): S (al)•...• 6'('~'). A first approximation of our main result is the following.