arxiv:alg-geom/ v1 21 Mar 1996

Transcription

1 AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically closed field k. For any natural number n let H n denote the Hilbert scheme parameterizing finite subschemes of S of length n. It is smooth and projective of dimension 2n. Let P S be a point and let M n (P) H n be the closed reduced subvariety consisting of points which correspond to subschemes with support at P. Briançon proved that M n (P) is an irreducible variety of dimension n, see [2]. Denote by M n = P S M n (P) H n the subvariety whose points correspond to subschemes with support in just one point. We may map M n to S by sending a point of M n to the point where the corresponding subscheme is supported. The fiber of this map over a point P being the variety M n (P), we see that M n is irreducible of dimension n +. The subvarieties M n and M n (P) are of complementary codimensions, and hence the product of their rational equivalence classes (or dual cohomology classes, if k is the field of complex numbers) defines an intersection number H n [M n ] [M n (P)]. The main content of this note is the computation of that number. The result is:.. Theorem. H n [M n ] [M n (P)] = ( ) n n. One reason, pointed out to us by H. Nakajima, to be interested in these intersection numbers is the following. In case k = C is the field of complex numbers, Göttsche [5] computed the generating series m,n=0 dim Hm (H n,q)t n u m and showed that it may be expressed in terms of classical modular forms. These forms are closely related to the trace of some standard representations of respectively the infinite Heisenberg algebra and the infinite Clifford algebra. In [6] Nakajima defined a representation of a product of these algebras, indexed over Date: Mathematics Subject Classification. 4C7, 4C05. Key words and phrases. Punctual Hilbert scheme, intersection numbers. Copyright c 996 G. Ellingsrud and S. A. Strømme. All rights reserved.

2 2 GEIR ELLINGSRUD AND STEIN ARILD STRØMME H (S,Q), on the space m,n=0 Hm (H n,q). He completely described this representation up to the determination of a series of universal constants c n for n =, 2,..., universal in the sense that they do not depend on the surface. He also proved that c n = H n [M n ] [M n (P)]. Hence we have.2. Theorem. The Nakajima constants are given by c n = ( ) n n. 2. Proof of the main theorem The proof will be an inductive argument comparing the number c n with c n+. To make this comparison, we shall make use of the incidence variety, i.e., the closed, reduced subscheme of H n H n+ given by H n,n+ = {(ξ, η) ξ η}. It is known that H n,n+ is smooth and irreducible of dimension 2n + 2 (there are several proofs of this, see for example [3] or [7]). There are obvious maps f : H n,n+ H n and g: H n,n+ H n+ induced by the projections. There is also a natural map q: H n,n+ S sending a pair (ξ, η) to the unique point where ξ and η differ. Let Z n H n S be the universal subscheme. It is finite and flat over H n of rank n. Let π n : Z n H n denote the restriction of the projection. Furthermore, let H n H n denote the open dense subset parameterizing local complete intersection subschemes, and put Z n = πn H n. In the next section we will prove the following results, which shed light on the maps g and f. 2.. Proposition. The map g: H n,n+ H n+ factors naturally as g = π n+ ψ, where ψ: H n,n+ Z n+ is canonically isomorphic to P(ω Zn+ ). In particular, ψ is birational and an isomorphism over Z n+, and g is generically finite of degree n Proposition. The map φ = (f, q): H n,n+ H n S is canonically isomorphic to the blowing up of H n S along Z n. In particular, over Z n, the map φ is a P -bundle. It follows that the fibers of f over local complete intersection subschemes ξ H n are given as f (ξ) = S(ξ), the surface S blown up along ξ. (This is also easy to see directly.) The locus of pairs (ξ, η) H n,n+ where ξ and η have the same support is a divisor in H n,n+ which we denote by E. This is nothing but the exceptional divisor of the blowup morphism φ. On the fiber of f over a local complete intersection ξ, it restricts to the exceptional divisor of S(ξ). Let M n,n+ = (g M n+ ) red. We need the following strengthening of Briançon s result, also to be proved in the next section.

3 INTERSECTION NUMBER FOR PUNCTUAL HILBERT SCEHEME Proposition. M n,n+ is irreducible, and g maps it birationally to M n+. In particular, all the M n are irreducible, and the complete intersection subschemes form a dense open subset of M n. Using the three propositions above, we have sufficient information to carry out the intersection computation. Let us summarize the situation in the following commutative diagram, where B n = ρ(m n,n+ ): M n,n+ B n E ρ Z n j H n,n+ φ=(f,q) i H n S π n pr M n H n H n γ=(g,q) H n+ S pr Lemma. g [M n+ ] = (n + ) [M n,n+ ] in A n (H n,n+ ). pr 2 Proof. Since g M n+ is a multiple structure on M n,n+ by definition, and the codimensions of M n+ and M n,n+ are the same, g [M n+ ] = l [M n,n+ ] for some integer l. Now use that g [M n,n+ ] = [M n+ ] (by proposition 2.3) and the projection formula to get (n + )[M n+ ] = g g [M n+ ] = g (l [M n,n+ ]) = l [M n+ ], proving that l = n Lemma. [E] f [M n ] = n [M n,n+ ] in A n (H n,n+ ). Proof. Consider first [M n,n+ ] E A n+2 (E). Let h = π n ρ: E H n. Since M n,n+ is the support of h M n and its codimension in E equals codim(m n, H n ), we have that h [M n ] = l [M n,n+ ] E where l is the multiplicity of h M n at the generic point η of M n,n+. By proposition 2.2, ρ is a smooth at η, so l equals also the multiplicity of πn M n at the generic point ρ(η) of B n. But observing that B n maps isomorphically to M n, a similar argument as in the proof of lemma 2.4 shows that πn [M n] = n [B n ], hence l = n. We have shown that h [M n ] = n [M n,n+ ] E in A n+2 (E). Apply j and the projection formula to get n [M n,n+ ] = j h [M n ] = j j f [M n ] = [E] f [M n ]. S Combining the two lemmas above, we get (2.) n + g [M n+ ] = n [E] f [M n ] A n (H n,n+ ),

4 4 GEIR ELLINGSRUD AND STEIN ARILD STRØMME and exactly parallel reasoning shows that also (2.2) n + g [M n+ (P)] = n [E] f [M n (P)] A n+2 (H n,n+ ). We are now ready to prove theorem.. Let F be a general fiber of f, for example corresponding to a reduced subscheme ξ. Clearly, f [M n ] f [M n (P)] = c n [F]. It is easy to see that F [E]2 = n, and we get the following computation: c n+ n + = [M n+ ][M n+ (P)] n + H n+ = H n,n+ n + g [M n+ ] n + g [M n+ (P)] (proj. formula) = H n,n+ n [E]f [M n ] n [E]f [M n (P)] ((2.) and (2.2)) = c n n 2 [E]2 = c n n. F Now since trivially c =, theorem. follows by induction. 3. The geometry of the incidence variety The aim of this section is to prove propositions 2., 2.2, and 2.3 above. Some of the content of this section may be found in [4], but for the benefit of the reader we reproduce it here. Consider a nested pair of subschemes (ξ, η) H n,n+, and let P = q(ξ, η) S be the point where they differ. There are natural short exact sequence on S: (3.) (3.2) 0 I η I ξ k(p) 0 0 k(p) O η O ξ 0. The first of these shows that the fiber φ (ξ, P) is naturally identified with the projective space P(I ξ (P)). Dualizing (3.2) we arrive at another exact sequence (3.3) 0 ω ξ ω η k(p) 0, and this shows that the fiber γ (η, P) maps naturally to P(ω η (P)). Dualizing again we see that (3.2) and hence ξ can be reconstructed from the right half of (3.3), so the map is an isomorphism. It follows from (3.) that (3.4) dim k I ξ (P) dim k I η (P).

5 INTERSECTION NUMBER FOR PUNCTUAL HILBERT SCEHEME 5 (If F is a coherent sheaf, F(P) means F k(p).) Note also that for any pair (ξ, P) H n S, we have (3.5) dim k I ξ (P) = + dim k ω ξ (P), most easily seen using a minimal free resolution of the local ring O ξ,p over O S,P. The sequences (3.) and (3.3) can be naturally globalized to the relative case of families of subschemes and points. This way one easily proves proposition 2., as well as the following lemma: 3.. Lemma. Let I n denote the sheaf of ideals of Z n in O Hn S. Then there is an isomorphism H n,n+ P(I n ) such that φ corresponds to the tautological mapping P(I n ) H n S. We shall prove that the map φ: H n,n+ H n S is the blow up of H n S along the universal subscheme Z n, by proving a general proposition on blowing up codimension two subschemes, and later verify its hypotheses in the case at hand. Let W be any irreducible algebraic scheme and Z W a subscheme of codimension 2 whose ideal we denote by I W. We assume that O Z is of local projective dimension 2 over O W. For any integer i let W i = {w W dim k I W (w) = i}. Let W be the blow up of W along Z. There is an obvious map from W to P(I) due to the fact that IO W is invertible. We shall see that under certain conditions this map is an isomorphism. (See also [, Prop. 9].) 3.2. Proposition. With the above hypothesis (a) Suppose that codim W i i for all i 2. Then P(I) is irreducible and isomorphic to W. (b) If furthermore Z is irreducible and codim W i i + for i 3, then the exceptional divisor E is irreducible. Proof. The assumption on the local projective dimension gives an exact sequence (3.6) 0 A M B I 0 where A and B are vector bundles on W whose ranks are p and p + respectively, for some integer p. Locally the map M is given by a (p+) p-matrix of functions on W, and the ideal I is locally generated by its maximal minors. The sequence (3.6) induces a natural inclusion P(I) P(B). In fact, letting ε: P(B) W be the structure map and τ : ε B O P(B) () the tautological quotient, P(I) is defined in P(B) as the vanishing locus of the map τ M.

6 6 GEIR ELLINGSRUD AND STEIN ARILD STRØMME Consequently, any irreducible component of P(I) has dimension at least equal to dim(w). Let φ: P(I) W be the structure map. Over W i, the map φ is a P i -bundle. Hence by the assumption in (a), we have dim φ W i (dim W i) + (i ) < dim W for all i 2. It follows that φ (W Z) is dense in P(I), which is therefore irreducible. To see that P(I) is isomorphic to the blow up, we remark that it follows from the resolution (3.6) that IO P(I) is an invertible ideal. This gives a map from P(I) to W, which over φ (W Z) is an inverse to the map from W to P(I) given above. As both spaces are irreducible, the two maps are inverses to each other. Under the assumption in (b), it follows similarly that φ W 2 is dense in the exceptional locus φ Z, as all φ W i are of strictly lower dimension if i 3. To finish the proof of proposition 2.2, we shall verify the conditions in proposition 3.2 for Z = Z n and W = H n S. Let W i,n be the set of points (ξ, P) H n S such that the ideal I Zn needs exactly i generators at (ξ, P). Equivalently, (3.7) W i,n = {(ξ, P) H n S dim k I ξ (P) = i}. We shall show by induction on n that codim(w i,n, H n S) 2i 2, or equivalently, that dim W i,n 2n + 4 2i for all i, n. For n = this is evidently satisfied for all i. Assume that the inequality holds for a given n, and all i. Then it follows that dim φ W j,n (2n + 4 2j) + (j ) = 2n + 3 j 2n + 4 i for all j i. By (3.4), γ W i,n+ φ W i,n φ W i,n φ W i+,n. The fibers of γ over W i,n+ are (i 2)-dimensional. Hence dim W i,n+ + (i 2) = dim γ W i,n+ 2n + 4 i and hence dim W i,n+ 2(n + ) + 4 2i, as was to be shown. Since 2i 2 i for i 2 and 2i 2 i + for i 3, the proof of proposition 2.2 is now complete. Note that we have also proved that the exceptional divisor E is irreducible.

7 INTERSECTION NUMBER FOR PUNCTUAL HILBERT SCEHEME 7 Proof of proposition 2.3. The only hard part is to show that M n,n+ is irreducible. We will apply proposition 3.2 in the case where W = M n (P) S and Z = Z n W. As this intersection is proper, the condition on local projective dimension still holds in this case. Put W i,n = W i,n W. Similar reasoning as in the last proof gives the inequality codim(w i,n, W) i + for all n and i 3. Now note that the exceptional divisor φ Z is nothing but M n,n+, which is therefore irreducible by proposition 3.2. References [] L. L. Avramov. Complete intersections and symmetric algebras. J. of Algebra, 73: , 98. [2] J. Briançon. Description de Hilb n C{x, y}. Invent. Math., 4:45 89, 977. [3] J Cheah. The cohomology of smooth nested Hilbert schemes of points. PhD thesis, University of Chicago, 994. [4] G. Ellingsrud. Irreducibility of the punctual Hilbert scheme of a surface. Unpublished. [5] L. Göttsche. The Betti numbers of the Hilbert scheme of points on a smooth projective surface. Math. Ann., 286:93 207, 990. [6] M. Nakajima. Heisenberg Algebra and Hilbert schemes of points on a projective surface. Duke e-print alg-geom/ [7] A. Tikhomirov. On Hilbert schemes and flag varieties of points on algebraic surfaces. Preprint. Mathematical Institute, University of Oslo, P. O. Box 053, N 036 Oslo, Norway address: ellingsr@math.uio.no Mathematical Institute, University of Bergen, Allég 55, N 5007 Bergen, Norway address: stromme@mi.uib.no