Stability of some vector bundles on Hilbert schemes of points on K3 surfaces

Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $\mathcal{E}$ on $X\times M$ can be understood as a complete flat family of stable vector bundles on $M$ parametrized by $X$, which identifies $X$ with a smooth connected component of some moduli space of stable sheaves on $M$.


Introduction
Let X be a projective K3 surface, and M a moduli space of semistable sheaves on X. By Mukai's seminal work [15], when M is smooth, it is an example of the so-called irreducible holomorphic symplectic manifolds, which are an important class of building blocks in the classification of compact Kähler manifolds with trivial first Chern class. It is then an interesting question to understand whether the moduli spaces M of semistable sheaves on M inherit any good properties from M . This paper grew out of an attempt to study this question. When dim M > 2, we cannot expect M to carry a holomorphic symplectic structure in general, because the Serre duality does not induce a non-degenerate antisymmetric pairing on the tangent space of M any more, as opposed to the case of K3 surfaces; however, some components of M may nevertheless be holomorphic symplectic.
In order to study this question, we need to classify all semistable sheaves on M with fixed Chern classes, which seems difficult in general when dim M > 2; it is even a challenging question to construct any non-trivial examples of semistable sheaves on M , due to the fact that stability is difficult to check on higher dimensional varieties in general. When M is a Hilbert scheme of points on the K3 surface X, a natural family of vector bundles on M for considering stability are the so-called tautological bundles, which were proven to be stable with respect to a suitable choice of an ample line bundle on M by Schlickewei [18], Wandel [21] and Stapleton [20]. In fact, Wandel proved that, under some mild assumptions, the connected component of the moduli space containing the tautological bundles is isomorphic to some moduli space of vector bundles on the underlying K3 surface X.
There is another way to construct examples of stable sheaves on M . Assuming that M is a fine moduli space of stable sheaves on X with a universal family E on X × M , and denoting the "wrong-way fiber" E| {x}×M by E x for each closed point x ∈ X, we can ask the following questions: • Is E also a flat family of coherent sheaves on M parametrized by X?
• If so, are the "wrong-way" fibers E x stable sheaves on M with respect to some suitable choice of an ample line bundle for every closed point x ∈ X? • If so, can we identify X with a connected component of the corresponding moduli space of stable sheaves on M ? This idea has also been explored in the literature. In [17], the authors studied some families of ideal sheaves and torsion sheaves of pure dimension 1, and obtained an affirmative answer to the above questions in these cases. A systematic study of the above questions in the case of locally free sheaves was carried out in the very interesting and inspiring thesis of Wray [22]. In order to get around the difficulty of proving stability directly, he invoked the very deep and powerful technique of Hitchin-Kobayashi correspondence to translate the stability problem to the existence of some Hermitian-Einstein metrics, which was then solved by analytic methods to give affirmative answers to the above questions.
The present paper is devoted to study the above questions, in particular the stability of wrong-way fibers E x with respect to a polarization near the boundary of the ample cone of M , in the very classical way by showing that every proper subsheaf of E x of a smaller rank has a smaller slope. We will focus on two special cases, namely a projective K3 surface X along with a Mukai vector v such that either • NS(X) = Zh with h 2 = 4k and v = (k + 1, −h, 1) for any k 1; or • NS(X) = Ze ⊕ Zf with the intersection matrix given by −2k 2k + 1 2k + 1 0 for any k 2 as well as v = (2k − 1, e + (2k − 1)f, 2k). We summarize our main results in the following theorem: Let us briefly explain how we achieved the above results. Our choices of the K3 surfaces and the Mukai vectors, as well as the explicit constructions of the moduli space M and the universal family E in the above two cases, are motivated by [10,Example 5.3.7] and [16,Theorem 1.2] respectively. In fact, in both cases, the stable sheaves on X are given by the spherical twist (or its inverse) of the ideal sheaves of k points on X around O X , hence their corresponding moduli spaces M are isomorphic to the Hilbert scheme X [k] of k points on X. To show the slope stability of the wrong-way fibers E x with respect to some ample divisor H on M , we apply the technique developed by Stapleton [20]; namely, we first prove the slope stability of E x with respect to a natural nef divisor on M by passing to the k-fold product of X, then use the openness of stability to perturb the nef divisor to a nearby ample divisor. In fact, since the perturbation argument in [20] works only for individual sheaves, we need to generalize it so as to find an ample divisor H with respect to which all E x 's are simultaneously stable. Finally, to identify X as a smooth connected component of some moduli space of stable sheaves on M , we interpret E x 's as images of some sheaves or derived objects on X under the integral functor Φ induced by the universal ideal sheaf for X [k] . By the fundamental result of Addington [1] that Φ is a P k−1 -functor, we can obtain, by computing the relevant cohomology groups, that the E x 's are distinct and the tangent space of deformations of each E x is of dimension 2, which leads immediately to the conclusion.
The text is organized in three sections. The first section gives background on integral functors, while the other two deal with the two cases mentioned above respectively. All objects in this text are defined over the field of complex numbers C.
Acknowledgement. We thank Nicolas Addington and Andrew Wray for kindly sending us [22]. We also thank Norbert Hoffmann for communicating to us Lemma 3.5. We are particularly grateful to the anonymous referee who helped to improve the presentation of the manuscript greatly, and pointed out a mistake in a previous version of Proposition 3.14. In particular, Lemmas 3.12 and 3.13 in the current version are due to the referee.

Background on spherical twists and P n -functors
Let X denote a smooth projective variety with dim(X) = d. As we will need them later, we quickly recall some facts about spherical twists and P n -functors in this section.
We note the fact that if X is a K3 surface, then any L ∈ Pic(X) is spherical.
Using spherical objects one can construct autoequivalences of D b (X) in the following way: to any object F ∈ D b (X) one can associate the following object in D b (X × X): We refer to [8, §8] for an exact description of the map F ∨ ⊠F → O ∆ and more information.
Definition 1.3. The spherical twist associated to a spherical object S ∈ D b (X) is the Fourier-Mukai transform The most important fact about the spherical twist is Proposition 1.4. Let S be a spherical object in D b (X). Then the induced spherical twist is an autoequivalence.
A proof of this proposition was given by Seidel and Thomas, see [19,Theorem 1.2]. Remark 1.5. By [8,Exercise 8.5] the effect of the spherical twist T S on an object G ∈ D b (X) can be described by the following distinguished triangle: As the spherical twist T S is an autoequivalence one can also study the inverse T −1 S . For any object G ∈ D b (X) there exists the following distinguished triangle, see [8,Remark 8.11]: [1]. We are also interested in another class of integral functors, the so-called P n -functors, which were introduced by Addington in a very general setting in [1, §4]. We will only need the following special example: Example 1.6. Let X be a K3 surface, then the integral functor Remark 1.7. The fact that the above integral functor Φ is a P k−1 -functor with the corresponding autoequivalence H = [−2] has the following useful consequence, see [2, §2.1]: for any E, F ∈ D b (X) we have an isomorphism of graded vector spaces

K3 surfaces with Picard number one
Throughout this section we assume X is a K3 surface such that NS(X) = Zh, where h is an ample class with h 2 = 4k. We denote the line bundle associated to h by O X (1) and the Hilbert scheme of length k subschemes of X by X [k] .
2.1. Explicit construction of a universal family. In this subsection we generalize [10,Example 5.3.7] to give an explicit construction of a universal family of stable vector bundles on X parametrized by the Hilbert scheme X [k] for k 1. Let h be the ample generator of NS(X) and v = (k + 1, −h, 1) ∈ H * alg (X, Z). We have the following facts: Lemma 2.1. The moduli space M h (v) of µ h -stable sheaves on X with Mukai vector v is a smooth projective variety of dimension 2k and a fine moduli space. Furthermore every point [E] ∈ M h (v) represents a locally free sheaf.
Proof. We note that every µ h -semistable sheaf E with v(E) = v is µ h -stable as ρ(X) = 1. Thus M h (v) is a smooth projective variety. We compute: and thus the second Chern class is minimal (here c 2 (E) = 3k). This minimality implies that every point [E] in M h (v) is given by a locally free sheaf E. The condition gcd(k + 1, 1) = 1 implies that M h (v) is a fine moduli space by [10, Remark 4.6.8].
The following lemma produces examples of elements in this moduli space: Proof. The standard exact sequence (1) 0 Since Z has codimension two in X, using Serre duality gives By [5,Proposition 3.7], the line bundle O X (1) is k-very ample which implies that the exact sequence of global sections attached to (1) is still exact. This implies H 1 (I Z (1)) ∼ = H 1 (O X (1)) = 0 and thus dim(H 0 (I Z (1))) = χ(I Z (1)) = k + 2.
Now if the evaluation map is not surjective, let Q := coker(ev) and pick x ∈ supp(Q). Then we have an exact sequence for a length k + 1 subscheme Z ′ containing Z.
Since I Z (1) is not globally generated at x the last exact sequence gives isomorphisms But O X (1) is k-very ample so by definition is still exact, which implies H 1 (I Z ′ (1)) = 0, a contradiction. So ev is indeed surjective and we have an exact sequence: Computing invariants shows rk(E Z ) = k + 1, c 1 (E Z ) = −h and c 2 (E Z ) = 3k, hence indeed v(E Z ) = (k + 1, −h, 1). The sheaf E Z is locally free as it is the kernel of a morphism between a locally free and a torsion free sheaf on a smooth surface. The stability of E Z follows from [23, Lemma 2.1 (2-2)].
We can globalize the construction in Lemma 2.2: let Z ⊂ X × X [k] denote the universal length k subscheme, I Z its ideal sheaf. There are projections p : Then E is p-flat and E |p −1 (Z) ∼ = E Z , which implies that E is locally free on X × X [k] by [10, Lemma 2.1.7]. Thus E defines a classifying morphism In fact we have: Proof. Looking at Remark 1.5 we see that the sheaf E Z defined by the exact seqeunce (2) is nothing but the shifted spherical twist of I Z (1) around O X , more exactly we have is a composition of autoequivalences and thus maps non-isomorphic objects to non-isomorphic objects, hence ϕ is injective on closed points. Since both X [k] and M h (v) are smooth of dimension 2k the morphism ϕ is an open embedding and thus an isomorphism as both spaces are irreducible.

2.2.
Stability of wrong-way fibers. In the above section, we explicitly constructed a universal family E, which is a locally free sheaf on X × X [k] . In this section we take the alternative point of view and consider E as a family of vector bundles on X [k] parametrized by X. A "wrong-way fiber" of E is just the restriction of E over a point x ∈ X which gives a locally free sheaf on X [k] . More precisely, we first note that by standard cohomology and base change arguments is an isomorphism. Hence is a locally free sheaf of rank k + 2 on X [k] . This implies that E is not only p-flat, but also q-flat since I Z ⊗ q * O X (1) is both p-and q-flat by [14, Theorem 2.1]. Thus we can restrict the exact sequence (3) to the fiber over a point x ∈ X and get the following description of the fiber E x := E |q −1 (x) : Before proving the stability of E x with respect to some ample class H ∈ NS(X [k] ), we recall that for any coherent sheaf F on X there is the associated coherent tautological sheaf If F is locally free of rank r then F [k] is locally free of rank kr. Also recall the well-known fact that NS( where E is the exceptional divisor of the Hilbert-Chow morphism X [k] → X (k) . In our case this reads NS(X [k] ) = Zh k ⊕ Zδ.
Proof. There is the exact sequence: and the sheaf p ). Thus, the above exact sequence can be rewritten as Using [21, Lemma 1.5] we get To compute slopes on X [k] we need the following intersection numbers, which can, for example, be found in [21, Lemma 1.10]: Lemma 2.5. For the classes h k and δ from NS(X [k] ) we have: We also recall the notations introduced in [20, §1]. The ample divisor h on X naturally induces an ample divisor where q i denotes the projection from X k to the i-th factor, as well as a semi-ample divisor h k on X [k] . Moreover, we write X k • , S k X • and X [k] • for the loci of the relevant spaces parametrizing distinct points. Then the natural map is anétale cover and j : Proposition 2.6. The vector bundle K defined in (4) is slope stable with respect to h k .
Proof. We follow the idea in the proof of [20,Theorem 1.4].
Since (−) • and σ * • (−) are exact, and j * (−) is left exact, by applying these functors to (7) we obtain an exact sequence of S k -invariant reflexive sheaves on X k as follows where ϕ is not necessarily surjective. It is clear that and we also have by [20, Lemma 1.1]. Hence the above sequence becomes where ϕ is the evaluation map on X k • . More precisely, for any set of closed points (x 1 , . . . , x n ) ∈ X k with x i = x j , the morphism of fibers can be identified as Since for any non-trivial s ∈ H 0 (O X (1)), there are always (many choices of) distinct points (x 1 , . . . x k ) ∈ X k such that (s(x 1 ), . . . , s(x k )) = (0, . . . , 0), we conclude that the map of global sections is injective. It follows by exact sequence (8) that (K) X k has no global sections, that is Note that ϕ is surjective on X k • , hence coker(ϕ) is supported on the big diagonal of X k which is of codimension 2. It follows that We claim that (K) X k has no S k -invariant subsheaf which is destabilizing with respect to h X k . Indeed, assume F is an S k -invariant subsheaf of (K) X k , then for some a ∈ Z: If a −1, then If a = 0, we choose a (not necessarily S k -invariant) non-zero stable subsheaf F ′ ⊆ F which has maximal slope with respect to h X k (e.g. one can take a stable factor in the first Harder-Narasimhan factor of F ). Without loss of generality, we can assume F and to a certain direct summand of it, such that the composition of the embedding and projection and O X k is also stable with respect to h X k , the map F ′ → O X k must be injective, and its cokernel is supported on a locus of codimension at least 2. Since both are reflexive, we must have F ′ = O X k . Therefore F , and consequently (K) X k , have non-trivial global sections. This contradicts (9).
If a 1, F would be a subsheaf of the trivial bundle H 0 (O X (1)) ⊗ O X k of positive slope. Contradiction.
Finally, assume G is a reflexive subsheaf of K. Then (G) X k is an S k -invariant reflexive subsheaf of (K) X k . By the above claim we have µ h X k ((G) X k ) < µ h X k ((K) X k ). It follows by [20, Lemma 1.2] that µ h k (G) < µ h k (K). Therefore K is slope stable with respect to h k , as desired.
Proposition 2.7. For any closed point x ∈ X, the bundle E x is slope stable with respect to h k .
Proof. By Lemma 2.4, we have c 1 (E x ) = c 1 (K) = −h k + δ. Therefore by Lemma 2.5 By the assumption and Proposition 2.6, we have the inequality which can be written as Such an integer a cannot exist. Contradiction. Hence E x is stable with respect to h k .

2.3.
A smooth connected component. In this section, we will interpret the universal sheaf E defined in (3) as a family of stable sheaves on X [k] whose base is a smooth connected component of the corresponding moduli space. We have shown above that each wrong-way fiber E x of the family E is µ h k -stable; however, it would be more preferable to establish the stability with respect to some ample class on X [k] . Although the perturbation technique in [20,Proposition 4.8] can be used to achieve this for every single E x , for our purpose we will have to extend this technique to prove that all sheaves E x are slope stable with respect to the same ample class near h k . is in the closure of U , and for every γ ∈ U , E x is stable with respect to γ for all x ∈ X.
We follow the notations in [7, Definition 3.1]. For each x ∈ X, SStab(E x ) is a convex closed set containing α. Hence the intersection is also a convex closed set containing α. We first claim that [7,Theorem 3.4] holds for all E x simultaneously; namely, we will show that for any β ∈ Mov(X [k] ) • (see [7, Definition 2.1] for the notation), there exists a number e ∈ Q + , such that (α + εβ) ∈ ∩ x∈X Stab(E x ) for any real ε ∈ [0, e].
To prove the claim, we first note that the slope c := µ β (E x ) is independent of the choice of x ∈ X. We redefine the set S in the proof of [7, Theorem 3.4] to be Since E x ⊆ K for all x ∈ X by (5), we obtain that S is a subset of which is finite by [7,Theorem 2.29], hence S is also finite. We can then use the rest of the proof of [7,Theorem 3.4] literally to conclude the claim.
We then claim that U is of full dimension r := rk N 1 (X [k] ). If not, then we have α ∈ U ⊆ L for some hyperplane L ⊂ N 1 (X [k] ) R . Since Mov(X [k] ) is of full dimension, we can choose some β ∈ Mov(X [k] ) • \ L. It follows that (α + εβ) ∈ U \ L for some small ε > 0 by the previous claim and the choice of β. Contradiction.
We define U to be the interior of U and claim that U is non-empty. Indeed, since U is of full dimension r, we can choose r + 1 points of U in general positions, which form an r-simplex. By the convexity of U , the entire simplex is in U hence any interior point of the simplex is also an interior point of U . The convexity of U follows from the convexity of U . And it is clear from the construction that α = h 2k−1 k is in the closure of U . We finally claim that every γ ∈ U is in ∩ x∈X Stab(E x ). If not, suppose that there exists some γ 0 ∈ U and some x 0 ∈ X, such that γ 0 ∈ SStab(E x 0 ) \ Stab(E x 0 ); namely, µ γ 0 (F ) = µ γ 0 (E x 0 ) for some proper subsheaf F of E x 0 . Since the slope function is linear with respect to the curve class, and µ α (F ) < µ α (E x 0 ) by Proposition 2.7, one can find a hyperplane in N 1 (X [k] ) R through γ 0 , such that µ γ (E x 0 ) − µ γ (F ) takes opposite signs for γ in the two open half-spaces separated by the hyperplane. In particular, F destabilizes E x 0 in one of the half-spaces. Since U has non-empty intersection with both half-spaces, this contradicts the condition U ⊆ SStab(E x ). Therefore we have U ⊆ ∩ x∈X Stab(E x ), as desired.
We give an alternative description of E x using the integral functor Φ from Example 1.6: Lemma 2.9. For each x ∈ X, let I x be the ideal sheaf of x ∈ X, then E x = Φ(I x (1)).
Proof. We start with the exact sequence We note that These two facts imply that by Remark 1.7. Thus the exact sequence (10) is induced by the exact sequence As K → I Sx is surjective, applying Φ to the last exact sequence shows E x = Φ(I x (1)).
We return to the main result of the section. Let H be an ample class that satisfies Theorem 2.8, and M the moduli space of µ H -stable sheaves on X [k] with the same numerical invariants as E x . Then the universal family E defines a classifying morphism (11) f : In fact the morphism f can be described as follows: Theorem 2.10. The classifying morphism (11) defined by the family E identifies X with a smooth connected component of M.
Proof. By [17, Lemma 1.6] we have to prove that f is injective on closed points and that for all x ∈ X we have dim(T [Ex] M) = 2 . Now by Lemma 2.9 we know E x = Φ(I x (1)), so for x = y we find by Remark 1.7 again. This implies f is injective on closed points. A similar computation shows we thus find dim(T [Ex] M) = 2 as desired.

K3 surfaces with Picard number two
In this section, we will consider a K3 surface X of Picard number 2, and construct a complete family of stable vector bundles on the Hilbert scheme X [k] for k 2.
3.1. The K3 surface. In this section we assume X is a K3 surface with NS(X) = Ze ⊕ Zf such that e 2 = −2k, f 2 = 0 and ef = 2k + 1 for some integer k 2. The existence of such K3 surfaces is guaranteed by [9,Corollary 14.3.1]. Since f 2 = 0, either f or −f is effective. Without loss of generality, we will assume that the divisor class f is effective, after possibly replacing the pair (e, f ) by (−e, −f ).
In this subsection we collect some helpful properties of X which will be used in the construction of some moduli spaces of stable sheaves in the next section.
Lemma 3.1. We have D 2 0 for all effective divisors on X. Especially there are no smooth curves C on X with C ∼ = P 1 .
Proof. Any irreducible curve C on S satisfies So assume C 2 = −2 and write C = me + nf . Then we have The equation C 2 = −2 translates into m(km − (2k + 1)n) = 1. This implies m = ±1 but then one can see that there is no n ∈ Z satisfying this equation. Proof. We have So h 2 > 0 as k 2. Since also hf = ef = 2k + 1 > 0 we see that h is ample by the remark after [9, Corollary 8.1.7].
A similar computation shows h 2 > 0 and hf > 0. . Furthermore h(me + nf ) ((2k − 1)(2k + 1) − k)m. Proof. Let D be an effective divisor with class me + nf . Since the claim is additive in m and n, we may assume w.l.o.g. that D is an irreducible curve C.

Corollary 3.4.
There is a surjective morphism π : X → P 1 such that all fibers are integral curves of arithmetic genus p a (C) = 1, that is X is elliptically fibered.
Proof. Since f 2 = 0 it is known that the linear system |f | induces a surjective map π : X → P 1 with π * O P 1 (1) = O X (f ). By the previous lemma the class f cannot be the sum of two effective divisors, hence all fibers C of π are integral and have p a (C) = 1.
. Assume R is a torsion quotient of I Z (e) with c 1 (R) = nf for some n 0, then H 1 (R) = 0.
Proof. The quotient defines the following exact sequence: Now K is torsion free of rank one, so its double dual K * * is locally free of rank one and the natural map K → K * * is injective and the cokernel T has finite support. Especially c 1 (T ) = 0 so c 1 (K * * ) = c 1 (K) = c 1 (I Z (e)) − c 1 (R) = e − nf and thus K * * ∼ = O X (e − nf ). The embedding K ֒→ I Z (e) induces an embedding This embedding is given by a global section of O X (nf ), that is by an effective divisor This global section is the pullback along the elliptic fibration π of a global section of O P 1 (n), with corresponding effective divisor i a i z i on P 1 , here C i = π −1 (z i ).
Denote by D ⊂ X also the corresponding closed subscheme (which maybe non-reduced, if a i 2 for some i). We get the commutative diagram on C i . The quotient O D (e)/R ′ is isomorphic to coker(α), that is to a quotient Q of O Z . By intersecting with R ′ we get a composition series for R ′ with composition factors which are kernels of a surjection O C i (e) ։ Q ′ with Q ′ of length k. Thus we have exact sequences: with a torsion free sheaf L of rank one on the integral projective curve C i of arithmetic genus one. Using χ(O C i ) = 0 and gives deg(O C i (e)) deg(L) k + 1. By [6,Proposition 4.6.] all of these composition factors have trivial H 1 . By constructing short exact sequences out of the composition series and using the induced exact sequences for H 1 , it follows H 1 (R ′ ) = 0.
As ker(β) = ker(α) ⊆ T has finite support, we also have H 1 (ker(β)) = 0. Hence 3.2. The construction of a universal family. In this subsection we want to generalize [16,Theorem 1.2]. Let h be the ample line bundle defined in Lemma 3.2, and for any integer k 2 let v = (2k − 1, h, 2k) ∈ H * alg (X, Z). We immediately have the following result: Lemma 3.6. The moduli space M h (v) of µ h -stable sheaves on X with Mukai vector v is a smooth projective variety of dimension 2k and a fine moduli space, and every point [E] ∈ M h (v) represents a locally free sheaf.
Proof. We first observe by [10,Lemma 1.2.7] is a smooth projective variety. We compute: In the following discussion, we will explicitly construct a universal family for the moduli space M h (v). We first define some integral functors. For any line bundle L on X, we define Then we consider the composition O X is the inverse of the spherical twist induced by O X . It is clear that Θ is an autoequivalence of D b (X) hence a Fourier-Mukai transform. We denote the corresponding kernel by P ∈ D b (X × X). By Remark 1.5, we have an explicit description of P by the exact triangle where ∆ : X ֒→ X × X is the diagonal embedding. The kernel P also defines a Fourier-Mukai transform in the opposite direction, which we denote by Since the kernel of each composition factor in (12), viewed as an object in D b (X × X), remains the same under the permutation of the two copies of X, it follows that , we apply Θ on the ideal sheaf I Z and define A priori E Z is a derived object on X, but we can show the following: Proof. First of all, by (12) and [8,Lemma 8.12], a standard computation of the cohomological Fourier-Mukai transform shows that v(E Z ) = (2k − 1, h, 2k).
Moreover, by (13) and the fact that , we obtain an exact triangle (15) In order to compute H * (I Z (e)), we observe by Lemma 3.3 that It follows by a long exact sequence of cohomology groups that h 0 (I Z (e)) = h 2 (I Z (e)) = 0.
Therefore the exact triangle (15) reduces to the short exact sequence where dim H 1 (I Z (e)) = rk(E Z )−1 = 2k −2. For the convenience of analyzing the stability of E Z , we rewrite the above exact triangle as We are now ready to prove that E Z , or rather E Z (−f ), is µ h -stable. We first have We want to show that we always have µ h (F ) > µ h (E Z (−f )). For this, define the torsion free sheaf F 0 as the image of the composition We get a surjection This implies that c 1 (F 0 ) is effective and we have the following commutative diagram: Case 1: rk(F 1 ) = 1. Then rk(F 0 ) = rk(F ) − 1 and F 1 ∼ = I Z (e). We conclude Using this we find: Case 2: rk(F 1 ) = 0. Now rk(F 0 ) = rk(F ). Write c 1 (F ) = me + nf . Since c 1 (F 0 ) and c 1 (F 1 ) are effective, so is their sum c 1 (F ), which by Lemma 3.3 implies, that m 0 as well as For m 1 we have So only the case m = 0 remains, i.e. c 1 (F ) = nf . We have If we can prove n rk(F ) we are done since then As c 1 (F ) = nf is the sum of the two effective divisors c 1 (F 0 ) and c 1 (F 1 ), it follows from Lemma 3.3 that c 1 (F 0 ) = n 0 f and c 1 (F 1 ) = n 1 f with n 0 , n 1 0 and n 0 + n 1 = n.
Using the elliptic fibration π : X → P 1 we have: (20) h 0 (det(F 0 )) = h 0 (O X (n 0 f )) = n 0 + 1. Define R := coker(ϕ). Then there is the exact sequence: As R has finite support, we get: The end of the induced long cohomology sequence gives: It follows from (19) by Serre duality that Since H 2 (F ′ 0 ) = 0, we apply Serre duality again and obtain from (21) that We conclude h 0 (det(F 0 )) rk(F ) + 1. Using this inequality together with (20) we get: We obtain the desired inequality between n and rk(F ), hence E Z (−f ) is stable, and so is E Z . It then follows by Lemma 3.6 that E Z is locally free.
We want to globalize the previous construction. For this we denote the universal closed subscheme of length n by Z ⊂ X × X [k] , and the universal ideal sheaf by I Z . As a kernel, I Z induces a pair of integral functors (in opposite directions): Here Φ is a P k−1 -functor, see Example 1.6.
The composition of the integral functors is still an integral functor, whose kernel E ∈ D b (X [k] × X) can be computed from P and I Z explicitly. More precisely, let π 12 , π 23 and π 13 be projections from X [k] × X × X to each pair of factors, then E = Rπ 13 * (π * 12 I Z ⊗ π * 23 P); see [8,Proposition 5.10]. We have the following property about E: which is a locally free sheaf by Theorem 3.7. It follows that E is a sheaf which is flat over In fact, E is a universal family for the fine moduli space M h (v). More precisely, we have Proof. E induces a classifying morphism Since Θ is an equivalence, we have E Z ∼ = E Z ′ for [Z] = [Z ′ ], hence ϕ is injective, hence it is an open embedding since X [k] and M h (v) are both of dimension 2k. But X [k] is projective, so ϕ is also closed. Since X [k] and M h (v) are both irreducible, ϕ must be an isomorphism.
Remark 3.10. Although it is not strictly required in our following discussion, the universal family E can in fact be given in a more explicit form similar to (17). To globalize the construction in Theorem 3.7, we apply the functor Rπ 13 * (π * 12 I Z ⊗ π * 23 (−)) to (13) and obtain . We denote the projections from X [k] × X to the two factors by p and q respectively. Then a simple calculation reduces the above exact triangle to For the consistency with the following discussion, we denote [1].
We will prove in Lemma 3.11 that H is in fact a sheaf. Therefore the exact triangle reduces to 3.3. The wrong-way fibers. In this subsection we study the wrong-way fibers of E. For any x ∈ X, we define the corresponding wrong-way fiber to be which is locally free of rank 2k − 1. As an alternative description, we consider the compo- which is also an integral functor with kernel E, in the direction opposite to Θ • Φ. Then we have The following result gives a concrete description of E x : Lemma 3.11. The locally free sheaf E x fits in an exact sequence of sheaves (22) 0 where H := Φ(O X (e))[1] is locally free, and I Sx is the ideal sheaf of we obtain an exact triangle Since Φ(O x ) = I Sx , we further apply the integral functor Φ to obtain the exact triangle where H = Φ(O X (e)) [1]. To compute H, we observe that the short exact sequence of kernels [1].
Since H i (O X (e)) = 0 for i = 1 by (16), the exact triangle (24) reduces to the short exact sequence −→ 0, which in particular implies that H is a locally free sheaf. It follows that the exact triangle (23) reduces to the short exact sequence (22).
We will require a technical result in the proof of the stability. For this purpose, we define I k X := (X k × S k X X [k] ) red to be Haiman's isospectral Hilbert scheme, and denote its projections to both factors by p and q respectively. Then the derived McKay correspondence is an equivalence, and so is Ψ −1 : Proof. We follow the above notation to denote • , then we have the commutative diagram where α, β, j and q • areétale morphisms, and p • is an isomorphism. We also have where the first equation is due to the fact that Ψ −1 is the right adjoint of Ψ. It follows that Lemma 3.13. The sheaf (H) X k fits in an exact sequence of S k -invariant locally free sheaves Moreover, every S k -invariant global section of (H) X k vanishes; namely H 0 ((H) X k ) S k = 0.
Proof. By [12, Theorem 3.6], the composition Ψ −1 • Φ : D b (X) → D b (X n ) S k agrees with the truncated universal ideal functor defined in [13, Definition 5.1], therefore we have an exact triangle where each component of δ is an evaluation map. Since H is a locally free sheaf by Lemma 3.11, it follows by Lemma 3.12 that Ψ −1 (H) = (H) X k . Hence Together with (16), the exact triangle (26) becomes the short exact sequence (25), which is the universal equivariant extension of O X k by k i=1 q * i O X (e) since δ is a collection of evaluation maps. Therefore its induced connecting map in the long exact sequence of cohomology groups We will eventually prove the stability of E x with respect to some ample class H ∈ NS(X [k] ). Similar to the previous section we have For any l ∈ NS(X) and any ample class h ∈ NS(X) we have the intersection numbers It follows by the above formulas that for any ample class h ∈ NS(X), we have However, O X (e) [k] is a subsheaf of E x with the same c 1 . For E x to be µ h k -stable, it is necessary to have eh < 0 since h 2 > 0. An easy computation shows that this condition cannot be fulfilled by the class h = e + (2k − 1)f from Lemma 3.2, so we cannot hope that E x is µ-stable with respect to the class h k induced by this h. However, for the class h = (2k)e + (2k − 1)f from Lemma 3.2, we do have Indeed, in the rest of this subsection we will prove that E x is µ-stable with respect to h k . We use the same notation as in Section 2.2 and also need the following formula: assume F is a coherent sheaf on X k with S k -invariant Chern class where c ∈ NS(X), then the intersection number [21,Lemma 1.10]. The main result of this subsection is the following Proposition 3.14. E x is µ-stable with respect to h k .
Proof. Assume that F is a reflexive subsheaf of E x of rank 1 r 2k − 2. We need to We apply the functor j * (σ * k,• ((−) • )) to (22). Since the functor is left exact, together with [20, Lemma 1.1] we obtain that It is also clear that Since ∆ is of codimension 2 in X k , we have that c 1 ((I Sx ) X k ) = 0. It follows that Moreover, we have by (25) that Therefore q * i c for some c ∈ NS(X), and We have the following two cases: If c · h −1, then we have Hence the only map from F ′ to q * i O X (e) is zero. By (27) we obtain a morphism F ′ α → (I Sx ) X k . It is clear that (I Sx ) X k is torsion free, so it is a subsheaf of its double dual (I Sx ) ∨∨ X k . We also note that the restriction of (I Sx ) X k on X k \ (∆ ∪ q −1 1 ({x}) ∪ · · · ∪ q −1 k ({x})) is the trivial line bundle, hence (I Sx ) ∨∨ X k = O X k . Therefore we have If α = 0, then the composition of both maps is non-zero, hence the stability forces Since F ′ is reflexive, the composition must be the identity map. Since (I Sx ) X k = O X k this is a contradiction. It follows that α = 0, which implies by (27) that F ′ is a subsheaf of (H) X k . By (25) and the above discussion, we can furthermore conclude that F ′ is isomorphic to a subsheaf of the trivial bundle H 1 (O X (e)) ⊗ O X k . The stability forces again that and F ′ ∼ = O X k . Moreover, since all global sections of the trivial bundle H 1 (O X (e)) ⊗ O X k in (25) are invariant under the permutation of S k , we conclude that F ′ itself is also S kinvariant, which gives a non-trivial S k -invariant global section of H X k . This contradicts Lemma 3.13, therefore (E x ) X k cannot be destabilized by any S k -invariant subsheaf, which concludes that E x is µ h k -stable.

3.4.
A smooth connected component. In this subsection, we will interpret the universal sheaf E as a family of stable sheaves on X [n] whose base is a smooth connected component of the corresponding moduli space. We have shown above that all the wrongway fibers E x of the family E are µ-stable with respect to h k . We follow the idea in Theorem 2.8 to show their µ-stability with respect to a certain ample class near h k .
Theorem 3.15. There exists some ample class H ∈ NS(X [k] ) near h k , such that E x is µ H -stable for all x ∈ X simultaneously.
Proof. The same as in Theorem 2.8, the value of c = µ β (E x ) is independent of the choice of x ∈ X. We still define S := {c 1 (F ) | F ⊆ E x for some x ∈ X such that µ β (F ) c}.
The proof of the present result is literally the same as the proof of Theorem 2.8, except that the step which shows that S is a finite set has to be modified. For this purpose we make a few auxiliary definitions. Let E ′ x = G ∨ ⊕ I Sx for each x ∈ X. We also define the set x for some x ∈ X such that µ β (F ′ ) c}. We claim that S ⊆ S ′ .
Indeed, by (22), every subsheaf F ⊆ E x is an extension of some subsheaf F 2 ⊆ I Sx by another subsheaf F 1 ⊆ G ∨ . It is then clear that F ′ = F 1 ⊕ F 2 is a subsheaf of E ′ x , and that c 1 (F ) = c 1 (F ′ ). If F destabilizes E x , then F ′ also destabilizes E ′ x , which means that every element of S is also in S ′ , as desired.
It remains to show that S ′ is finite. In fact, since for all x ∈ X, we obtain that S ′ is a subset of which is finite by [7, Theorem 2.29], hence S ′ is also finite, which further implies the finiteness of S. This concludes the proof.
Let H be an ample class that satisfies Theorem 3.15, and M the moduli space of µ Hstable sheaves on X [k] with the same numerical invariants as E x . Then the universal family E defines a classifying morphism Proof. For any pair of points x, y ∈ X, since Θ is an equivalence, we have Ext * (F x , F y ) ∼ = Ext * (O x , O y ); moreover by Remark 1.7 we have Ext * (E x , E y ) ∼ = Ext * (F x , F y ) ⊗ H * (P k−1 , C).

It is clear that
Combining the above computations we obtain Hom X [k] (E x , E y ) = 0 for any x, y ∈ X with x = y and Ext 1 X [k] (E x , E x ) ∼ = T X,x for any x ∈ X. These imply that f is injective on closed points and that dim(T [Ex] M) = 2 for all x ∈ X. The claim then follows from an argument similar to the proof of Theorem 2.10.
Remark 3.17. The stable vector bundles constructed in Theorem 2.8 as well as Theorem 3.15 are not tautological bundles as the rank of a tautological bundle is always divisible by k, but in our cases the ranks are k + 1 and 2k − 1.