Smooth components on special iterated Hilbert schemes

Let $S$ be a smooth projective surface with $p_g=q=0$. We show how to use derived categorical methods to study the geometry of certain special iterated Hilbert schemes associated to $S$ by showing that they contain a smooth connected component isomorphic to $S$.


Introduction
Hilbert schemes are ubiquitous in modern algebraic geometry. But even in good situations these schemes can behave badly. This became clear with Mumford's famous example, which shows that there is an irreducible component of the Hilbert scheme of smooth irreducible curves in P 3 of degree 14 and genus 24 that is generically non-reduced, see [17]. More exactly Mumford constructs a 56-dimensional irreducible family of such curves, such that the tangent space at each point of this component has dimension 57 and proves that this family is not contained in any other irreducible family of dimension > 56.
In this note we prove that there are certain iterated Hilbert schemes which contain at least one smooth connected component. More exactly the main result of this note is: Theorem 1. Assume S is a smooth projective surface with p g = q = 0 and let S [n] be the Hilbert scheme of length n subschemes of S. Then the universal family Z in S × S [n] can be understood as a family of codimension two subschemes in S [n] with common Hilbert polynomial p(t ) classified by S such that the classifying morphism identifies S with a smooth connected component of the Hilbert scheme Hilb p(t ) (S [n] ). This theorem has its origin in a result by Lange and Newstead, who proved a similar result for curves and moduli spaces of stable vector bundles on these curves in [15]. More exactly they show that if M is a fine moduli space of stable vector bundles on a smooth projective curve C of genus g 2 with universal family U on C × M , then for any c ∈ C the vector bundle U c on M is stable. Furthermore they show that for c = c we have U c ∼ = U c . Together with a previous result by Narasimhan and Ramanan these results imply that C embeds as a smooth connected component in a moduli spaces of stable vector bundles o M .
The main input into the proof of the main result of this note is a result by Krug and Sosna which states that the integral functor Φ : D b (S) → D b (S [n] ) with kernel the universal ideal sheaf I Z is fully faithful. This result allows to reduce the computation of certain Ext-groups on S [n] to the computation of easier Ext-groups on S.
All objects in this note are defined over the field of complex numbers C.

Proof of the Main Theorem
Let S be a smooth projective surface with p g = q = 0, that is we have

Remark 2.
Around the year 1870 Max Noether posed the question if surfaces with p g = q = 0 are necessarily rational, see [2, § 3, Question 1]. By now it is known that the answer to this question is negative. In fact besides rational surfaces there is a huge class of surfaces satisfying these conditions which are not rational, most classically Enriques surfaces which have Kodaira dimension zero. But there are also surfaces of general type satisfying these conditions for example Godeaux surfaces, Campedelli surfaces or Beauville surfaces, see [1,7] for more information and examples.
In the following we denote the Hilbert scheme of length n subschemes of S by S [n] , that is we have as sets: It is well known that S [n] is smooth and that dim(S [n] ) = 2n. Using this notation we have the universal subscheme coming with the corresponding universal ideal sheaf

Remark 3.
Recall that the universal family Z is flat over S [n] . Indeed, using definition (1) one can see that the restriction of p : S × S [n] → S [n] to Z is finite and flat of degree n. But as a matter of fact Z is also flat over S due to [13, Theorem 2.1].
As we use integral functors in the following, we quickly recall their definition: let X and Y be smooth projective varieties and denote their bounded derived categories of coherent sheaves by D b (X ) and D b (Y ) respectively, then the integral functor with kernel K ∈ D b (X × Y ) is defined by where p and q are the projections X × Y → Y resp. X × Y → X , see [10, § 5].
The description of the image of an integral transform is rather easy for a skyscraper sheaf O x of a closed point x ∈ X , which we will collect as

Example 4 ([10, Examples 5.4 (vi)]).
Assume the kernel of the integral functor Φ K is in fact a coherent sheaf on X × Y flat over X , then we have for every closed point x ∈ X where the fiber K x := K |{x}×Y is considered as a sheaf on Y via the second projection {x}×Y → Y .
Interpreting the universal ideal sheaf I Z as an element in D b (S × S [n] ) (as a complex concentrated in degree zero), we can look at the integral functor with kernel given by I Z : In our case this integral functor has some very good properties. The main input into this note is the following very useful fact discovered by Krug and Sosna: Theorem 1.2]). Let S be a smooth projective surface which satisfies p g = q = 0, then the integral functor Φ is fully faithful.
As an application of Theorem 5 we have the following Corollary 6. Assume S is a smooth projective surface with p g = q = 0 then for all E , F ∈ D b (S) and i 0 there is an isomorphism

Remark 7.
There are also fully faithfulness results for universal families of moduli spaces of stable bundles of rank two and degree one on smooth projective curves of genus g 2 by Narasimhan as well as Fonarev and Kuznetsov, see [9,18,19]. Recently these results were generalized to higher rank and degree by Belmans and Mukhopadhyay as well as Lee and Moon, see [5,16]. These results can be used to give a proof of the result of Lange and Newstead in the spirit of this note.
Remark 8. By the definition of Z given in (1) we have That is, F s is the subscheme of S [n] classifying all length n subschemes containing the closed point s ∈ S in its support. Note that dim(F s ) = 2n − 2, that is F s is a subscheme of codimension two in S [n] .
Since S is integral the Hilbert polynomial of F s does not depend on s ∈ S by [11, Proposition 2.1.2], call it p(t ). We thus have a well defined classifying morphism Composing this morphism with the Plücker embedding of the Grassmannian, we get a closed embedding S [n] → P N for some N and we can pullback O P N (1) to get an ample line bundle L on S [n] .
We claim that the morphism ϕ identifies S with a smooth connected component of Hilb p(t ) (S [n] ). To see this we have to show that the morphism is injective on closed points and that for every closed point s ∈ S we have We start by picking two closed points s 1 = s 2 ∈ S and note that using equation (2) as well as Corollary 6, we get: We find, using again equation (2) and Corollary 6: Putting all results together shows dim(T [F s ] Hilb p(t ) (S [n] )) = 2 as desired.
Remark 10. Theorem 5 can be generalized in the case n = 2 to all smooth projective varieties X having the property H i (X , O X ) = 0 for i 1 (that is O X is exceptional). By [3, Theorem A] the integral functor Φ : D b (X ) → D b (X [2] ) with kernel the universal ideal sheaf I Z is also fully faithful in these cases. Thus our proof of the main result is also valid in these cases.

Remark 11.
In the case of surfaces, the proof of the main result only works for those surfaces with p g = q = 0, since for n 2 the integral functor Φ : D b (S) → D b (S [n] ) is fully faithful if and only if p g = q = 0 by [4,Theorem A]. But there are similar results for K3 surfaces as well as abelian surfaces, see [20]. In these cases the integral functor Φ is a so-called P n -functor, which again allows to reduce cohomological computations on S [n] to computations on S.