## EXAMPLES OF SMOOTH COMPONENTS OF MODULI SPACES OF STABLE SHEAVES

FABIAN REEDE AND ZIYU ZHANG

Abstract. Let M be a projective fine moduli space of stable sheaves on a smooth projective variety X with a universal family E . We prove that in four examples, E can be realized as a complete flat family of stable sheaves on M parametrized by X , which identifies X with a smooth connected component of some moduli space of stable sheaves on M .

## Introduction

Background. The starting point of the article is a classical result on the moduli space of stable vector bundles on curves. Let C be a smooth complex projective curve of genus g /greaterorequalslant 2. We denote the moduli space of stable vector bundles on C of rank n with a fixed determinant line bundle L d of degree d by M .

If n and d are coprime, then it is known by [MN68, Tju70] that M is a fine moduli space, namely, there exist a universal vector bundle E on C × M with the property that the fiber E| C ×{ m } over a closed point m = [ E ] ∈ M is isomorphic to the bundle E itself. But one can also take a closed point c ∈ C and consider the fiber

$$\mathcal { E } _ { c } \coloneqq \mathcal { E } | _ { \{ c \} \times M },$$

which is a vector bundle on M . In [NR75] the authors proved that E c is a simple bundle for every closed point c ∈ C and that the infinitesimal deformation map

$$T _ { c } C \longrightarrow \text{Ext} _ { M } ^ { 1 } ( \mathcal { E } _ { c }, \mathcal { E } _ { c } )$$

is bijective. In fact, for all closed points c ∈ C , the bundles E c are stable and pairwise non-isomorphic by [BBPN97, LN05].

Thus if we define M to be the moduli space of stable vector bundles on M with the same Hilbert polynomial as E c , then the classifying morphism

↦

$$f \colon C \longrightarrow \mathcal { M }, \ \ c \longmapsto [ \mathcal { E } _ { c } ]$$

identifies C with a smooth connected component of M , as explained in [LN05].

Other examples in a similar spirit appear in the pioneering work of Mukai [Muk81, Muk99] on abelian varieties and K3 surfaces. In the case of K3 surfaces, Mukai considered a general polarized K3 surface S of a certain degree, along with a 2dimensional fine moduli space M of stable vector bundles of rank at least 2 on S , admitting a universal family E on S × M . It turns out that M is also a K3 surface, and E can also be realized as a family of stable bundles on M parametrized by S .

As in the previous example, we can define M to be the moduli space of stable sheaves on M with the same Hilbert polynomial as E| { }× s M for any closed point s ∈ S . Mukai proved that the classifying morphism

↦

$$f \colon S \longrightarrow \mathcal { M }, \ \ s \longmapsto [ \mathcal { E } | _ { \{ s \} \times M } ]$$

is in fact an isomorphism. In other words, S can be identified with the entire moduli space of stable sheaves on M with some fixed Chern classes.

Main result. Motivated by the above examples, one can formulate the following question under a more general setting:

Question 0.1. Let X be a smooth projective variety and M a projective fine moduli space of stable sheaves on X with universal family E on X × M . Then

- · Is E also a flat family of stable sheaves on M parametrized by X ?
- · If so, does the classifying map embed X as a smooth connected component of some moduli space of stable sheaves on M ?

A positive answer to the above question, especially when X is of low dimension and M is of higher dimension, would be interesting from two perspectives. First of all, examples of stable sheaves on higher dimensional varieties (in particular on higher dimensional irreducible holomorphic symplectic manifolds) are in general difficult to construct. One important class of examples are the tautological bundles on Hilbert schemes, which were studied in [Sch10, Wan14, Wan16, Sta16]. Question 0.1 provides another natural approach for finding new examples. Secondly, moduli spaces of stable sheaves on higher dimensional varieties are in general badly behaved. A positive answer to Question 0.1 would allow us to identify some nicely behaved components of such moduli spaces, and at the same time give an explicit description of a complete family of stable sheaves over these components.

In this article, we consider Question 0.1 in some of the first cases:

Theorem 0.2 (Theorems 1.7, 2.4, 3.3, 4.3) . Question 0.1 has a positive answer in the following cases:

- · X is a smooth projective variety of dimension d /greaterorequalslant 2 and M = Hilb ( 2 X ) is the Hilbert scheme of 2 points on X ;
- · X is K3 surface and M = Hilb ( n X ) is the Hilbert scheme of n points on X ;
- · X is an abelian surface and M = Kum ( n X ) is the generalized Kummer variety of dimension 2 n associated to X for any n /greaterorequalslant 2 ;
- · X is a K3 surface of Picard rank 1 and M is some fine moduli space of stable torsion sheaves of pure dimension 1 on X .

Our proof in the first of the above cases will be completely elementary. In all other cases, the moduli space M is in fact an irreducible holomorphic symplectic manifold, and our proof will be divided into two steps: we first establish the flatness of E over X and the stability of the fibers E p over any closed point p ∈ X , then apply some very convenient results about P n -functors (see [Add16]) to conclude that X is in fact a component of some moduli space of stable sheaves on M .

It would be much more interesting to study Question 0.1 in more general settings, especially when X and M have trivial canonical classes and E is torsion free (or even locally free) of higher rank. However, it could be then much more difficult to prove the stability of E p for any closed point p ∈ X . Moreover, the corresponding results about P n -functors are not yet known to us (see [Add16, Conjecture, p.2] and [ADM16, Conjecture 2.1]).

This article consists of four sections, which are devoted to the four cases in Theorem 0.2 respectively. The notion of P n -functors will be briefly recalled in the beginning of § 2, followed immediately by a list of P n -functors relevant to our discussion. All schemes are defined over the field of complex numbers C .

Acknowledgement. We are grateful to Nicolas Addington for expert advice on the application of P n -functors, and to Andreas Krug for communicating to us Lemma 3.1, as well as to Benjamin Schmidt for helpful conversations. We thank the referee for carefully reading the manuscript and many helpful comments for improvements.

## 1. Hilbert squares of smooth projective varieties

Let X be a smooth projective variety of dimension d , and M = Hilb ( 2 X ). We denote by Z ⊆ X × M the universal closed subscheme and I Z the universal ideal sheaf on X × M . Then we have a commutative diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00368v2-figure-3a5eabd0-70de-4bb4-a47f-8adaf329caac.jpg)

where π is a flat morphism.

By [FGI + 05, Remark 7.2.2.], we have Z = Bl ∆ ( X × X ), the blow-up of X × X along the diagonal ∆. The projection τ can be interpreted as a composition

$$\tau \colon \mathcal { Z } = \text{Bl} _ { \Delta } ( X \times X ) \stackrel { b } { \longrightarrow } X \times X \stackrel { q _ { 1 } } { \longrightarrow } X$$

of the blow-up b and the projection q 1 to the first factor. Moreover, the group Σ = 2 Z / 2 Z acts on Z by switching the two factors, with a fixed-locus given by the exceptional divisor. By [FGI + 05, Example 7.3.1(3)], π is the quotient of Z by Σ . 2

For any closed point p ∈ X , we write

$$F _ { p } \coloneqq \tau ^ { - 1 } ( p ) \subseteq \mathcal { Z } \text{ \ and \ } S _ { p } \coloneqq \pi ( F _ { p } ) \subseteq M.$$

Then we have the following results regarding the fibers of τ :

Lemma 1.1. We have S p ∼ = F p ∼ = Bl ( p X ) , and the morphism τ is flat.

Proof. The morphism π | F p can be factored into a composition

$$\pi | _ { F _ { p } } \colon F _ { p } \longleftrightarrow \{ p \} \times M \stackrel { \cong } { \longrightarrow } M,$$

hence π induces an isomorphism from F p to its image S p . The canonical isomorphism F p ∼ = Bl ( p X ) is well known. Finally, since Z and X are both smooth and the fibers

F p of τ are irreducible of dimension d for all closed points p ∈ X , we deduce from [Mat86, Theorem 23.1, Corollary] that τ is flat. /square

By the description of F p as a blow-up in Lemma 1.1, we denote the exceptional divisor by E ↪ p α -→ F p , then E p ∼ = P d -1 . This allows us to state the following result:

Lemma 1.2. π -1 ( S p ) has simple normal crossing singularities with two irreducible components

$$\pi ^ { - 1 } ( S _ { p } ) = F _ { p } \cup \sigma ( F _ { p } ) \ \ s u c h \ t h a t \ \ F _ { p } \cap \sigma ( F _ { p } ) = E _ { p }$$

where σ is the non-trivial element of Σ 2 .

Proof. This property can be verified analytically locally. Without loss of generality we assume that X = A n , and p = (0 , · · · , 0) ∈ X . Then X × X = A n × A n with coordinates ( x , 1 · · · , x n , y 1 , · · · , y n ). We perform an affine change of coordinates: for each 1 /lessorequalslant i /lessorequalslant n , we write s i = x i + y i and d i = x i -y i . Then the diagonal ∆ is given by

$$\Delta = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, \cdots, d _ { n } ) \ | \ d _ { 1 } = \cdots = d _ { n } = 0 \}.$$

By (2) we have Z = Bl ∆ ( X × X ), which is given by a mixture of affine and projective coordinates

$$\text{Bl} _ { \Delta } ( X \times X ) = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, \cdots, d _ { n }, [ u _ { 1 } \colon \cdots \colon u _ { n } ] ) \ | \ [ d _ { 1 } \colon \cdots \colon d _ { n } ] = [ u _ { 1 } \colon \cdots \colon u _ { n } ] \}.$$

It is covered by n affine pieces, among which the first affine piece Bl ∆ ( X × X ) 1 is given by u 1 = 1; in other words

$$\text{Bl} _ { \Delta } ( X \times X ) ^ { 1 } & = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, \cdots, d _ { n }, u _ { 2 }, \cdots u _ { n } ) \ | \ d _ { i } = u _ { i } d _ { 1 } \text{ for } 2 \leqslant i \leqslant n \} \\ & = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \}.$$

Then we have

$$q _ { 1 } ^ { - 1 } ( p ) & = \{ ( x _ { 1 }, \cdots, x _ { n }, y _ { 1 }, \cdots, y _ { n } ) \ | \ x _ { 1 } = \cdots = x _ { n } = 0 \} \\ & = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, \cdots, d _ { n } ) \ | \ s _ { i } + d _ { i } = 0 \text{ for } 1 \leqslant i \leqslant n \}.$$

We write F 1 p = F p ∩ Bl ∆ ( X × X ) 1 , then

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ F _ { p } ^ { 1 } & = \left \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } + d _ { 1 } = 0 \\ s _ { i } + u _ { i } d _ { 1 } = 0 \text{ for } 2 \leqslant i \leqslant n \end{array} \right \} \\ & = \left \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } + d _ { 1 } = 0 \\ s _ { i } = u _ { i } s _ { 1 } \text{ for } 2 \leqslant i \leqslant n \end{array} \right \}. \\ \text{Notice that $Bl_{A}(X\times X)^{1}$ is $\sigma_{2}$-invariant.} \text{   The  action of the non-trivial element} \\ \quad - \, \varsigma \cdot \cdot \cdot \cdot \end{array}$$

∣ Notice that Bl ∆ ( X × X ) 1 is σ 2 -invariant. The action of the non-trivial element σ ∈ Σ 2 is given by

↦

$$g \colon ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \longmapsto ( s _ { 1 }, \cdots, s _ { n }, - d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ).$$

Therefore we have

$$g ( F _ { p } ^ { 1 } ) = \left \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } - d _ { 1 } = 0 \\ s _ { i } = u _ { i } s _ { 1 } \text{ for } 2 \leqslant i \leqslant n \end{array} \, \right \} \\ \text{and the quotient Bl} _ { \Delta } ( X \times X ) ^ { 1 } / \Sigma _ { 2 } \text{ is given by coordinates}$$

∣ and the quotient Bl ∆ ( X × X ) 1 / Σ 2 is given by coordinates

$$\text{Bl} _ { \Delta } ( X \times X ) ^ { 1 } / \Sigma _ { 2 } = \{ ( s _ { 1 }, \cdots, s _ { n }, e _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \}$$

where e 1 = d 2 1 . We write the image of F 1 p under the quotient map by

$$S _ { p } ^ { 1 } \coloneqq S _ { p } \cap \text{Bl} _ { \Delta } ( X \times X ) ^ { 1 } / \Sigma _ { 2 },$$

then it follows that

It is now clear that

$$S _ { p } ^ { 1 } = \left \{ ( s _ { 1 }, \cdots, s _ { n }, e _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } ^ { 2 } = e _ { 1 } \\ s _ { i } = u _ { i } s _ { 1 } \text{ for } 2 \leqslant i \leqslant n \end{array} \right \}. \\ \text{It is now clear that } \quad \text{$t$} \quad \text{$t$} \quad \text{$t$} \quad \text{$t$} \quad \text{$t$} \quad \text{$t$}$$

$$\pi ^ { - 1 } ( S _ { p } ^ { 1 } ) & = \left \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } + d _ { 1 } = 0 \\ s _ { i } = u _ { i } s _ { 1 } \text{ for } 2 \leqslant i \leqslant n \end{array} \right \} \\ & \cup \left \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \, \Big | \, \begin{array} { c } s _ { 1 } - d _ { 1 } = 0 \\ s _ { i } = u _ { i } s _ { 1 } \text{ for } 2 \leqslant i \leqslant n \end{array} \right \} \\ & = F _ { p } ^ { 1 } \cup \sigma ( F _ { p } ^ { 1 } ).$$

Therefore the intersection of the two components is transverse, and given by

$$F _ { p } ^ { 1 } \cap \sigma ( F _ { p } ^ { 1 } ) = \{ ( s _ { 1 }, \cdots, s _ { n }, d _ { 1 }, u _ { 2 }, \cdots, u _ { n } ) \ | \ s _ { 1 } = \cdots = s _ { n } = d _ { 1 } = 0 \}$$

which gives precisely the exceptional divisor E p in the first affine chart, namely, E p ∩ Bl ∆ ( X × X ) 1 . The same argument also applies to all other affine charts of Bl ∆ ( X × X ), which finishes the proof. /square

In the following discussion, for any closed embedding U ↪ → V , we denote the corresponding ideal sheaf, conormal sheaf and normal sheaf by I U/V , C U/V and N U/V respectively. Now we consider two smooth closed subvarieties Y and Z of a smooth variety, which fit in the following commutative diagram of closed embeddings:

$$\begin{array} {$$

where the intersection and the union are scheme theoretic. The following lemma will be required in our next result:

Lemma 1.3. In the situation of (3) , we have C Z/ Y ( ∪ Z ) ∼ = α ∗ C ( Y ∩ Z /Y ) .

Proof. We obtain by the second and the third isomorphism theorems that

$$\dots \cdots \cdots \cdots \cdots \cdots \cdots \$$

Therefore we obtain

$$\mathcal { C } _ { Z / ( Y \cup Z ) } = j ^ { *$$

$$\mathcal { C } _ { Z / ( Y \cup Z ) } & = j ^ {$$

as required, where the second isomorphism uses [Sta18, Tag 02KG]. /square

In our situation we pick subvarieties Y = σ F ( p ) and Z = F p of Z in (3), then the morphism α becomes E ↪ p α -→ F p . Lemma 1.3 immediately yields

Corollary 1.4. We have C F /π p -1 ( S p ) ∼ = α ∗ O E p (1) .

The following result is the key to the main theorem of this section:

$$\text{Lemma $1.5$. $IF $d\geqslant 2$,$$

Proof. We divide the proof in two steps.

Step 1. We claim that N S /M p fits into the exact sequence

$$0 \longrightarrow \mathcal { O } _ { F _ { p } } ^ { \diamond d } \longrightarrow ( \pi | _ { F _ { p } } ) ^ { * } \mathcal { N } _ { S _ { p } / M } \longrightarrow \mathcal { E } x t _ { F _ { p } } ^ { 1 } ( \alpha _ { * } \mathcal { O } _ { E _ { p } } ( 1 ), \mathcal { O } _ { F _ { p } } ) \longrightarrow 0.$$

We consider the chain of closed embeddings

$$F _ { p } \stackrel { \iota } { \longleftrightarrow } \pi ^ { - 1 } ( S _ { p } ) \longleftrightarrow \mathcal { Z }.$$

By [Gro67, Proposition 16.2.7], we get the exact sequence of conormal sheaves

$$\iota ^ { * } \mathcal { C } _ { \pi ^ { - 1 } ( S _ { p } ) / \mathcal { Z } } \longrightarrow \mathcal { C } _ { F _ { p } / \mathcal { Z } } \longrightarrow \mathcal { C } _ { F _ { p } / \pi ^ { - 1 } ( S _ { p } ) } \longrightarrow 0.$$

By Lemma 1.1, τ : Z → X is flat, thus by [Gro67, Proposition 16.2.2 (iii)] we get

$$\mathcal { C } _ { F _ { p } / \mathcal { Z } } = ( \tau | _ { F _ { p } } ) ^ { * } \mathcal { C } _ { \{ p \} / X } = ( \tau | _ { F _ { p } } ) ^ { * } \mathcal { O } _ { \{ p \} } ^ { \oplus d } = \mathcal { O } _ { F _ { p } } ^ { \oplus d }.$$

Furthermore since S p ↪ → M is a regular embedding of codimension d , the sheaf C S /M p is locally free of rank d . It follows by the flatness of π : Z → M that

$$\iota ^ { * } \mathcal { C } _ { \pi ^ { - 1 } ( S _ { p } ) / \mathcal { Z } } = \iota ^ { * } ( \pi | _ { \pi ^ { - 1 } ( S _ { p } ) } ) ^ { * } \mathcal { C } _ { S _ { p } / M } = ( \pi | _ { F _ { p } } ) ^ { * } \mathcal { C } _ { S _ { p } / M }$$

is also locally free of rank d . Therefore the first two terms in (5) are locally free sheaves of rank d and the third one is by Corollary 1.4 torsion with support E p . It follows that the first arrow in (5) is injective. By dualizing (5) we obtain

$$0 \longrightarrow \mathcal { N } _ { F _ { p } / \mathcal { Z } } \longrightarrow ( \pi | _ { F _ { p } } ) ^ { * } \mathcal { N } _ { S _ { p } / M } \longrightarrow \mathcal { E } x t ^ { 1 } _ { F _ { p } } ( \mathcal { C } _ { F _ { p } / \pi ^ { - 1 } ( S _ { p } ) }, \mathcal { O } _ { F _ { p } } ) \longrightarrow 0.$$

Together with (6), (7) and Corollary 1.4 we obtain the claim (4).

Step 2. We claim that

$$H ^ { 0 } ( F _ { p }, \mathcal { E } x t _ { F _ { p } } ^ { 1 } ( \alpha _ { * } \mathcal { O } _ { E _ { p } } ( 1 ), \mathcal { O } _ { F _ { p } } ) ) = 0.$$

Indeed, the sheaf α ∗ O E p (1) = α ∗ O E p ( -E p ) admits the following resolution

$$0 \longrightarrow \mathcal { O } _ { F _ { p } } ( - 2 E _ { p } ) \longrightarrow \mathcal { O } _ { F _ { p } } ( - E _ { p } ) \longrightarrow \alpha _ { * } \mathcal { O } _ { E _ { p } } ( - E _ { p } ) \longrightarrow 0$$

Dualizing this exact sequence shows

$$\mathcal { E } x t _ { F _ { p } } ^ { 1 } ( \alpha _ { * } \mathcal { O } _ { E _ { p } } ( - E _ { p } ), \mathcal { O } _ { F _ { p } } ) = \alpha _ { * } \mathcal { O } _ { E _ { p } } ( 2 E _ { p } ) = \alpha _ { * } \mathcal { O } _ { E _ { p } } ( - 2 ).$$

Using E p ∼ = P d -1 and d /greaterorequalslant 2, we finally get:

$$H ^ { 0 } ( F _ { p }, \mathcal { E } x t ^ { 1 } _ { F _ { p } } ( \alpha _ { * } \mathcal { O } _ { E _ { p } } ( 1 ), \mathcal { O } _ { F _ { p } } ) ) = H ^ { 0 } ( F _ { p }, \alpha _ { * } \mathcal { O } _ { E _ { p } } ( - 2 ) ) = H ^ { 0 } ( E _ { p }, \mathcal { O } _ { E _ { p } } ( - 2 ) ) = 0.$$

We conclude the proof by combining the long exact sequence in cohomology associated to (4) and the vanishing result (8). /square

The following lemma is the main source for finding components of moduli spaces. The proof follows literally from [BBPN97, Theorem 3.6].

/square

Lemma 1.6. Let X be a smooth projective variety of dimension d and Y a projective scheme. Assume that a morphism f : X → Y is injective on closed points, and dim T Y y = d for each closed point y ∈ f ( X ) . Then f is an isomorphism from X to a connected component of Y .

Proof. Since X is complete, f ( X ) is a closed subvariety of Y of dimension d . Since dim T Y y = d for each closed point y ∈ f ( X ), it follows that Y is smooth of dimension d at each closed point y ∈ f ( X ) by [GW10, Theorem 6.28], hence f ( X ) must be a smooth irreducible component of Y , which is also a connected component of Y . Finally, since f : X → f ( X ) is a morphism between smooth projective varieties and bijective on closed points, it is an isomorphism by Zariski's Main Theorem. /square

Combining the above results, we can now give our first main result:

Theorem 1.7. Any smooth projective variety X of dimension d /greaterorequalslant 2 is isomorphic to a smooth connected component of a moduli space of stable sheaves with trivial determinants on Hilb ( 2 X ) , by viewing I Z as a family of coherent sheaves on Hilb ( 2 X ) parametrized by X .

Proof. By Lemma 1.1, Z is flat over X hence I Z can be viewed as a flat family of sheaves on Hilb ( 2 X ) parametrized by X . For each closed point p ∈ X , let ( I Z ) p be the restriction of I Z on the fiber { } × p Hilb ( 2 X ). Then ( I Z ) p is the ideal sheaf I S p of the closed embedding of S p into Hilb ( 2 X ), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism

↦

$$f \colon X \longrightarrow \mathcal { M }, \ \ p \longmapsto [ \mathcal { I } _ { S _ { p } } ]$$

where M denotes the moduli space of stable sheaves on Hilb ( 2 X ) of the class of I S p with trivial determinants. By [KPS18, Lemma B.5.6], M is isomorphic to the Hilbert scheme of subschemes of Hilb ( 2 X ) which have the same Hilbert polynomials as S p since d /greaterorequalslant 2. It is easy to see that f is injective on closed points. Indeed, for two different closed points p, q ∈ X S , p and S q are different subschemes of Hilb ( 2 X ) of codimension d /greaterorequalslant 2, hence I S p and I S q are non-isomorphic ideal sheaves. On the other hand, for any closed point p ∈ X , we have

$$T _ { [ \mathcal { I } _ { S _ { p } } ] } \mathcal { M } \cong \text{Hom} _ { \text{Hilb} ^ { 2 } ( X ) } ( \mathcal { I } _ { S _ { p } }, \mathcal { O } _ { S _ { p } } ) \cong H ^ { 0 } ( S _ { p }, \mathcal { N } _ { S _ { p } / \text{Hilb} ^ { 2 } ( X ) } ).$$

Hence by Lemma 1.5, we have

$$\dim T _ { [ \mathcal { I } _ { S _ { p } } ] } \mathcal { M } = d.$$

Therefore we conclude by Lemma 1.6 that the morphism (9) embeds X as a smooth connected component of M . /square

## 2. Hilbert schemes of points on K3 surfaces

What is particular interesting to us is the case of K3 surfaces. The technique of P n -functors allows us to obtain similar results for their Hilbert schemes of 0-dimension subschemes of arbitrary length. We first recall the following notion of P n -functors and its implications.

Definition 2.1. [Add16, Definition 4.1] A functor F : A → B between triangulated categories with adjoints L and R is called a P n -functor if:

- (a) There is an autoequivalence H of A such that

$$R F \cong \text{id} \oplus H \oplus H ^ { 2 } \oplus \dots \oplus H ^ { n }$$

- (b) The map

$$H R F \hookrightarrow R F R F \stackrel { R \epsilon F } { \longrightarrow } R F$$

written in components

$$H \oplus H ^ { 2 } \oplus \dots \oplus H ^ { n + 1 } \to \text{id} \oplus H \oplus \dots \oplus H ^ { n }$$

is of the form

- (c) We have R ∼ = H L n . (If A and B have Serre functors, this is equivalent to S B FH n ∼ = F S A .)

$$\begin{pmatrix} * & * & \cdots & * & * \\ 1 & * & \cdots & * & * \\ 0 & 1 & \cdots & * & * \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ 0 & 0 & \cdots & 1 & * \end{pmatrix}$$

More about P n -functors and examples can be found in [Add16, § 4].

We will focus on the case where A = D X b ( ) and B = D Y b ( ) for two smooth projective varieties X and Y such that F = Φ F is an integral functor with kernel F ∈ D X b ( × Y ). In fact, we are mostly interested in the case where F is actually a sheaf on X × Y and the autoequivalence H = [ -2]. In this case condition (a) can be stated as

$$R F \cong \text{id} \otimes H ^ { * } ( \mathbb { P } ^ { n }, \mathbb { C } ).$$

We will use the following simple consequence under this setting

Proposition 2.2. [ADM16, § 2.1] Assume X and Y are smooth projective varieties and F is a coherent sheaf on X × Y , flat over X , such that the integral functor F = Φ F with kernel F is a P n -functor with associated autoequivalence H = [ -2] . Then for any closed points x, y ∈ X there is an isomorphism:

$$\text{Ext} ^ { * } _ { Y } ( \mathcal { F } _ { x }, \mathcal { F } _ { y } ) \cong \text{Ext} ^ { * } _ { X } ( \mathcal { O } _ { x }, \mathcal { O } _ { y } ) \otimes H ^ { * } ( \mathbb { P } ^ { n }, \mathbb { C } ),$$

where F x and F y are fibers of F over the closed points x and y respectively. /square

The following list of P n -functors will be of interest to us:

- i) For a K3 surface S , Hilb n ( S ) is a fine moduli space with universal ideal sheaf I Z . The integral functor Φ I Z : D S b ( ) → D b (Hilb n ( S )) is a P n -1 -functor with associated autoequivalence H = [ -2]; see [Add16, Theorem 3.1].
- ii) Let Kum ( n A ) be the generalized Kummer variety of an abelian surface A with universal ideal sheaf I Z . For any n /greaterorequalslant 2, the integral functor Φ I Z : D A b ( ) → D b (Kum ( n A )) is a P n -1 -functor with associated autoequivalence H = [ -2]; see [Mea15, Theorem 4.1].
- iii) Let S be a K3 surface with Pic( S ) = Z [ H ] where H is an ample generator of degree 2 g -2. Assume M is the fine moduli space of stable sheaves on S of Mukai vector (0 , H, d +1 -g ) for some d and U is the universal sheaf over S × M . Then the integral functor Φ U : D S b ( ) → D M b ( ) is a P g -1 -functor with associated autoequivalence H = [ -2]; see [ADM16, Theorem A].

We give a first application of P n -functors to our problem: let S be a K3 surface and M = Hilb n ( S ) for some positive integer n . Then M is a fine moduli space and the ideal sheaf I Z of the universal family Z is the universal sheaf on S × M . It is well-known that M is an irreducible holomorphic symplectic manifold. The flatness of I Z over S follows immediately from the following result:

Lemma 2.3. [KR18, Theorem 2.1] For every smooth variety X and every positive integer n , the universal family Z ⊂ X × M is flat over X . /square

The above result allows us to obtain a smooth component of the moduli space of stable sheaves on Hilb n ( S ) as follows:

Theorem 2.4. For any positive integer n , the K3 surface S is isomorphic to a smooth connected component of a moduli space of stable sheaves on Hilb n ( S ) , by viewing I Z as a family of coherent sheaves on Hilb n ( S ) parametrized by S .

Proof. By Lemma 2.3, I Z can be viewed as a flat family of sheaves on Hilb n ( S ) parametrized by S . For each closed point s ∈ S , let ( I Z ) s be the restriction of I Z on the fiber { } × s Hilb n ( S ). Then ( I Z ) s is the ideal sheaf of the closed embedding of Z ∩ ( { } × s Hilb n ( S )) into Hilb n ( S ), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism

↦

$$f \colon S \longrightarrow \mathcal { M }, \ \ s \longmapsto [ ( \mathcal { I } _ { \mathcal { Z } } ) _ { s } ]$$

where M denotes the moduli space of all stable sheaves on Hilb n ( S ) of the class of ( I Z ) . s For any pair of closed points s , s 0 1 ∈ S , we obtain by [Add16, Theorem 3.1] and Proposition 2.2 that

$$\text{Ext} _ { \text{Hib} ^ { n } ( S ) } ^ { * } \left ( ( \mathcal { I } _ { \mathcal { Z } } ) _ { s _ { 0 } }, ( \mathcal { I } _ { \mathcal { Z } } ) _ { s _ { 1 } } \right ) & \cong \text{Ext} _ { S } ^ { * } ( \mathcal { O } _ { s _ { 0 } }, \mathcal { O } _ { s _ { 1 } } ) \otimes H ^ { * } ( \mathbb { P } ^ { n - 1 }, \mathbb { C } ). \quad \quad ( 1 1 ) \\ \text{In particular, when } s _ { 0 } \neq s _ { 1 }, \text{it follows from } ( 1 1 ) \text{ that }$$

In particular, when s 0 = s 1 , it follows from (11) that

/negationslash

$$\text{Hom} _ { \text{Hilb} ^ { n } ( S ) } \left ( ( \mathcal { I } _ { \mathcal { Z } } ) _ { s _ { 0 } }, ( \mathcal { I } _ { \mathcal { Z } } ) _ { s _ { 1 } } \right ) \cong \text{Hom} _ { S } ( \mathcal { O } _ { s _ { 0 } }, \mathcal { O } _ { s _ { 1 } } ) = 0, \\ \text{implies that } ( 10 ) \text{ is injective on closed points; when } s _ { 0 } = s _ { 1 } = s, \text{ it}$$

which implies that (10) is injective on closed points; when s 0 = s 1 = s , it follows from (11) that which implies that

$$\begin{array} { c } \bullet \\ & \text{Ext} ^ { 1 } _ { \text{Hilb} ^ { n } ( S ) } \left ( ( \mathcal { I } _ { \mathcal { Z } } ) _ { s }, ( \mathcal { I } _ { \mathcal { Z } } ) _ { s } \right ) \cong \text{Ext} ^ { 1 } _ { S } ( \mathcal { O } _ { s }, \mathcal { O } _ { s } ), \\ \text{that} \end{array}$$

$$\dim T _ { [ ( \mathcal { I } _ { \mathcal { Z } } ) _ { s } ] } \mathcal { M } = \dim T _ { s } S = 2.$$

Therefore we conclude by Lemma 1.6 that the morphism (10) embeds S as a smooth connected component of M , as desired. /square

## 3. Generalized Kummer varieties

In this section we apply the technique of P n -functors to study a component of the moduli space of stable sheaves on generalized Kummer varieties.

Let A be an abelian surface and Hilb n +1 ( A ) the Hilbert scheme parametrizing closed subschemes of A of length n + 1. Let the morphism Σ be the composition of the Hilbert-Chow morphism and the summation morphism with respect to the group law on A , namely

$$\Sigma \, \colon \text{Hilb} ^ { n + 1 } ( A ) \longrightarrow \text{Sym} ^ { n + 1 } ( A ) \longrightarrow A,$$

then the generalized Kummer variety is defined to be its zero fiber, namely

$$K \text{um} _ { n } ( A ) \coloneqq \Sigma ^ { - 1 } ( 0 ),$$

which is an irreducible holomorphic symplectic manifold. If we denote the restriction of the universal subscheme over Hilb n +1 ( A ) to Kum ( n A ) by Z , then we have a commutative diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00368v2-figure-a0cf33d4-c5ea-48b6-9883-87f234e3bf01.jpg)

where ϕ and ψ are the compositions of the embedding and the projections. We denote the ideal sheaf of Z in A × Kum ( n A ) by I Z . It is clear that I Z is flat over Kum ( n A ) since ψ is flat. In fact, I Z is also flat over the other factor A .

Lemma 3.1. The universal ideal sheaf I Z is flat over A for any n /greaterorequalslant 2 .

Proof. It suffices to show that the morphism ϕ : Z → A is flat. First of all, we claim that the dimension of the fiber ϕ -1 ( a 0 ) is 2 n -2 for any closed point a 0 ∈ A .

On the one hand, since A is smooth, the closed point a 0 ∈ A is locally defined by two equations. Therefore locally near any point x ∈ ϕ -1 ( a 0 ), the fiber ϕ -1 ( a 0 ) is also defined by two equations, hence is of codimension at most 2 by Krull's height theorem; see [Mat80, § 12.I, Theorem 18]. In other words, we have

$$\dim \varphi ^ { - 1 } ( a _ { 0 } ) \geqslant 2 n - 2.$$

On the other hand, we have

$$\varphi ^ { - 1 } ( a _ { 0 } ) & = \{ ( a _ { 0 }, \xi ) \in A \times K \text{um} _ { n } ( A ) \ | \ a _ { 0 } \in \text{Supp} ( \xi ) \} \\ & \cong \{ \xi \in K \text{um} _ { n } ( A ) \ | \ a _ { 0 } \in \text{Supp} ( \xi ) \}.$$

For any such ξ , we can write the associated 0-cycle [ ξ ] as

$$[ \xi ] = \sum _ { i = 0 } ^ { k } n _ { i } a _ { i },$$

where a , a 0 1 , · · · , a k are pairwise distinct closed points, and n , n , 0 1 · · · , n k are the multiplicities. We further require n 1 /greaterorequalslant · · · /greaterorequalslant n k &gt; 0 if k &gt; 0. It is clear that

$$\sum _ { i = 0 } ^ { k } n _ { i } = n + 1$$

which in particular implies k /lessorequalslant n , and

$$\sum _ { i = 0 } ^ { k } n _ { i } a _ { i } = 0 \in A$$

which utilizes the group law on A . We call the partition of n

$$\vec { n } = ( n _ { 0 }, n _ { 1 }, \cdots, n _ { k } )$$

the type of ξ . Let ϕ -1 ( a , /vector 0 n ) be the set of all closed points ξ ∈ ϕ -1 ( a 0 ) of type /vector n , then we have a decomposition

$$\varphi ^ { - 1 } ( a _ { 0 } ) = \bigsqcup _ { \vec { n } } \varphi ^ { - 1 } ( a _ { 0 }, \vec { n } ).$$

We then compute the dimension of ϕ -1 ( a , /vector 0 n ) for each /vector n .

When k = 0, we have /vector n = ( n +1), and for any ξ ∈ ϕ -1 ( a , /vector 0 n ) we have [ ξ ] = ( n +1) a 0 . It is clear that such ϕ -1 ( a , /vector 0 n ) is non-empty if and only if a 0 ∈ A is an ( n +1)-torsion point. When non-empty, ϕ -1 ( a , /vector 0 n ) is the punctual Hilbert scheme Hilb n +1 a 0 ( A ) which parametrizes length ( n +1) subschemes of A having support at only one point a 0 . By [Iar72, Corollary 1], we have

$$\dim \varphi ^ { - 1 } ( a _ { 0 }, \vec { n } ) = n \leqslant 2 n - 2$$

for each ( n +1)-torsion point a 0 and integer n /greaterorequalslant 2.

When k /greaterorequalslant 1, every ξ ∈ ϕ -1 ( a , /vector 0 n ) corresponds to a configuration { a , 1 · · · , a k } of pairwise distinct points satisfying (14). We can choose the first ( k -1) points freely, then a k is uniquely determined up to n k -torsion. Hence there is a 2( k -1)dimensional family of configurations { a , 1 · · · , a k } . For any fixed configuration, the possible scheme structures on ξ is classified by the product of punctual Hilbert schemes Hilb n 0 a 0 ( A ) ×··· × Hilb n k a k ( A ). By [Iar72, Corollary 1] and (13), we obtain

$$\ddots \L a _ { 0 } \wedge \wedge \wedge \cdots \L a _ { k } & \wedge \cdots \L a _ { k } \wedge \cdots \L a _ { J } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \cdots \L a _ { \mu } \\ \dim \varphi ^ { - 1 } ( a _ { 0 }, \vec { n } ) & = 2 ( k - 1 ) + \sum _ { i = 0 } ^ { k } ( n _ { i } - 1 ) \\ & = 2 ( k - 1 ) + ( n + 1 ) - ( k + 1 ) \\ & = n + k - 2 \leqslant 2 n - 2. \\ \vdots \cdots \L a _ { \mu } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon$$

Combining the two cases, we have by (15) that

$$\dim \varphi ^ { - 1 } ( a _ { 0 } ) \leqslant 2 n - 2.$$

It then follows from (12) and (17) that all fibers ϕ -1 ( a 0 ) are equidimensional of dimension 2 n -2.

Moreover, since ψ is a surjective flat morphism and Kum n ( A ) is smooth of dimension 2 n , we know Z is Cohen-Macaulay of dimension 2 n by [Eis95, Corollary 18.17]. Since A is smooth, we conclude that ϕ : Z → A is flat by [Mat86, Theorem 23.1, Corollary], which implies that its ideal sheaf I Z is flat over A , as desired. /square

Remark 3.2. It is easy to see that the statement of Lemma 3.1 fails for n = 1, due to the failure of (16). In fact, in such a case, ϕ -1 ( a 0 ) is either a smooth rational curve or a single point, depending on whether a 0 is a 2-torsion point of A .

The above result allows us to obtain a smooth component of the moduli space of stable sheaves on Kum n ( A ) as follows:

Theorem 3.3. For any n /greaterorequalslant 2 , the abelian surface A is isomorphic to a smooth connected component of a moduli space of stable sheaves on Kum ( n A ) , by viewing I Z as a family of coherent sheaves on Kum ( n A ) parametrized by A .

Proof. By Lemma 3.1, I Z can be viewed as a flat family of sheaves on Kum n ( A ) parametrized by A . For each closed point a 0 ∈ A , let ( I Z ) a 0 be the restriction of I Z

on the fiber { a 0 }× Kum ( n A ). Then ( I Z ) a 0 is the ideal sheaf of the closed embedding of Z∩ { ( a 0 }× Kum ( n A )) into Kum n ( A ), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism

↦

$$f \colon A \longrightarrow \mathcal { M }, \ \ a _ { 0 } \longmapsto [ ( \mathcal { I } _ { \mathcal { Z } } ) _ { a _ { 0 } } ]$$

where M denotes the moduli space of all stable sheaves on Kum n ( A ) of the class of ( I Z ) a 0 . For any pair of closed points a , a 0 1 ∈ A , we obtain by [Mea15, Theorem 4.1] and Proposition 2.2 that

$$\text{Ext} ^ { * } _ { \text{Kum} _ { n } ( A ) } \left ( ( \mathcal { I } _ { \mathcal { Z } } ) _ { a _ { 0 } }, ( \mathcal { I } _ { \mathcal { Z } } ) _ { a _ { 1 } } \right ) \cong \text{Ext} ^ { * } _ { A } ( \mathcal { O } _ { a _ { 0 } }, \mathcal { O } _ { a _ { 1 } } ) \otimes H ^ { * } ( \mathbb { P } ^ { n - 1 }, \mathbb { C } ). \\ \text{From here. a similar argument as in Theorem 2.4 shows that the morphism (18)}$$

From here, a similar argument as in Theorem 2.4 shows that the morphism (18) embeds A as a smooth connected component of M . /square

## 4. Moduli spaces of pure sheaves on K3 surfaces

In this section we extend our discussion to the fine moduli spaces of stable sheaves of pure dimension 1 on a K3 surface of Picard number 1.

Let S be a K3 surface with Pic( S ) = Z H where H is an ample line bundle of degree 2 g -2. Let P ( V ) = ∼ P g be the complete linear system of H where V = H 0 ( S, H ). Since S has Picard number 1, every curve C in the linear system P ( V ) is reduced and irreducible of genus g with planar singularities, hence its compactified Jacobian Jac ( d C ) is reduced and irreducible of dimension g by [AIK77, Theorem (9)]. We denote by C the universal curve of the linear system P ( V ). Therefore C is a closed subscheme of S × P ( V ) and admits projections to S and P ( V ). All fibers of the first projection τ : C → S are linear subsystems of P ( V ) of codimension 1.

Let M be the moduli space of stable sheaves on S with Mukai vector

$$v = ( 0, H, d + 1 - g ).$$

We assume gcd(2 g -2 , d + 1 -g ) = 1, then M is a smooth fine moduli space of stable torsion sheaves of pure dimension 1, hence admits a universal family U . In fact, M is an irreducible holomorphic symplectic manifold. The corresponding support morphism

$$\eta \, \colon M \longrightarrow \mathbb { P } ( V )$$

sends a stable sheaf to its support curve.

Alternatively, M can also be interpreted as the relative compactified Jacobian Jac ( d C / P ( V )) of the family C → P ( V ). Hence the support of the universal family U is given by

$$T \coloneqq \text{Supp} ( \mathcal { U } ) = \mathcal { C } \times _ { \mathbb { P } ( V ) } M.$$

It is more convenient to consider the universal family as a sheaf on T , so we define

$$\mathcal { E } \coloneqq \iota ^ { * } \mathcal { U }$$

where ι : T ↪ → S × M is the closed embedding. Then we have U ∼ = ι ∗ E by [GW10, Remark 7.35].

The relation among the various spaces and morphisms introduced above can be summarised in the following commutative diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00368v2-figure-4a3dac64-1dec-4c37-bd94-254a9d0700d7.jpg)

where both squares on the left are cartesian.

Moreover, for any closed point s ∈ S , we denote the fiber ψ -1 ( s ) by T s , with the corresponding closed embedding i s : T s ↪ → T . We also denote the pullback of E to the fiber T s by E s , and the pullback of U to the fiber { } × s M by U s .

The following properties will be used later:

Lemma 4.1. Both T and T s (for each closed point s ∈ S ) are integral and Gorenstein.

Proof. We first note that C , being a P g -1 -bundle bundle over S , is smooth and irreducible of dimension g + 1. Consequently C is integral. Moreover, since both M and P ( V ) are smooth, and all closed fibers of η are compactified Jacobians, which are integral of dimension g , the morphism η is flat by [Mat86, Theorem 23.1, Corollary]. It follows that ϕ is also flat, and every closed fiber of ϕ is integral. Thus [GW10, Theorem 14.44] implies that the generic fiber of ϕ is also integral. Therefore T is integral of dimension 2 g +1 by [Sta18, Lemma 0BCM]. This means T is a hypersurface in the smooth variety S × M , hence T is Gorenstein by [Eis95, Corollary 21.19].

For any closed point s ∈ S , the restriction of ϕ to the fibers over s is given by

$$\varphi _ { s } \colon T _ { s } \longrightarrow \mathbb { P } ^ { g - 1 }.$$

The above properties of ϕ imply that ϕ s is also flat, and that every closed fiber of ϕ s is integral. It follows for the same reason as above that T s is integral of dimension 2 g -1, hence is a hypersurface in the smooth variety M , which implies that T s is also Gorenstein. /square

Now we turn to properties of the universal sheaf:

Lemma 4.2. The sheaf E on T is flat over S , and the sheaf E s on T s is stable for each closed point s ∈ S .

Proof. We observe that the morphism C → P ( V ) (the composition of the morphisms in the middle column of (20)) is projective, flat and Gorenstein of pure dimension 1. After the base change along η , the morphism π : T → M (the composition of the morphisms in the left column of (20)) is also projective, flat and Gorenstein of pure dimension 1. Furthermore E is flat over M , and for any point m ∈ M , the

restriction of E to the fiber π -1 ( m ) is torsion free. It follows by [BK06, Corollary 2.2] that

$$\mathcal { E } x t _ { T } ^ { i } ( \mathcal { E }, \mathcal { O } _ { T } ) = 0$$

for every i &gt; 0. Since T is irreducible and Gorenstein, this implies that E is a maximal Cohen-Macaulay sheaf on T .

We have seen that ϕ and τ are both flat morphisms, hence ψ is also a flat morphism. The closed embedding { } → s ↪ S is a morphism of finite Tor dimension. After a flat base change along ψ , we see that i s : T s ↪ → T is also of finite Tor dimension. Since T is irreducible and Gorenstein by Lemma 4.1, [Ari13, Lemma 2.3 (1)] implies

$$L i _ { s } ^ { * } \mathcal { E } = i _ { s } ^ { * } \mathcal { E }$$

for every closed point s ∈ S , where Li ∗ s is the derived pullback functor. It follows by [Huy06, Lemma 3.31] that E is flat over S .

By Lemma 4.1 we also know T s is Gorenstein, hence is in particular Cohen-Macaulay. By [Ari13, Lemma 2.3 (2)], E s is also maximal Cohen-Macaulay, which by [HK71, Satz 6.1, a) ⇒ d)] implies that E s is reflexive, and hence in particular torsion free on T s . Therefore E s is stable since it is of rank 1. /square

The above result allows us to obtain again a smooth component of the moduli space of stable sheaves on M as follows:

Theorem 4.3. Under the assumptions in the present section, the K3 surface S is isomorphic to a smooth connected component of a moduli space of stable sheaves on M , by viewing U as a family of coherent sheaves on M parametrized by S .

Proof. By Lemma 4.2, we know that the sheaf U = ι ∗ E is also flat over S , and the fiber U s is a stable sheaf on M of pure dimension 2 g -1 for each closed point s ∈ S . Therefore U is a flat family of stable sheaves on M parametrized by S , with an induced classifying morphism given by

↦

$$f \colon S \longrightarrow \mathcal { M }, \ \ s \longmapsto [ \mathcal { U } _ { s } ]$$

where M is the moduli space of all stable sheaves on M of the class of U s . For any pair of closed points s , s 0 1 ∈ S , we obtain by [ADM16, Theorem A] and Proposition 2.2 that

$$\text{Ext} _ { M } ^ { * } ( \mathcal { U } _ { s _ { 0 } }, \mathcal { U } _ { s _ { 1 } } ) \cong \text{Ext} _ { S } ^ { * } ( \mathcal { O } _ { s _ { 0 } }, \mathcal { O } _ { s _ { 1 } } ) \otimes H ^ { * } ( \mathbb { P } ^ { g - 1 }, \mathbb { C } ).$$

From here, a similar argument as in Theorem 2.4 shows that the morphism (20) embeds S as a smooth component of M . /square

## References

[Add16] Nicolas Addington. New derived symmetries of some hyperk¨ ahler varieties. Algebr. Geom. , 3(2):223-260, 2016.

[ADM16] Nicolas Addington, Will Donovan, and Ciaran Meachan. Moduli spaces of torsion sheaves on K3 surfaces and derived equivalences. J. Lond. Math. Soc. (2) , 93(3):846865, 2016.

[AIK77]

Allen B. Altman, Anthony Iarrobino, and Steven L. Kleiman. Irreducibility of the compactified Jacobian. In Real and complex singularities (Proc. Ninth Nordic Summer School/NAVF Sympos. Math., Oslo, 1976) , pages 1-12. Sijthoff and Noordhoff, Alphen aan den Rijn, 1977.

| [Ari13]    | Dima Arinkin. Autoduality of compactified Jacobians for curves with plane singularities. J. Algebraic Geom. , 22(2):363-388, 2013.                                                                                                                                                             |
|------------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BBPN97]   | Vikraman Balaji, Leticia Brambila-Paz, and Peter E. Newstead. Stability of the Poincar´ e bundle. Math. Nachr. , 188:5-15, 1997.                                                                                                                                                               |
| [BK06]     | Igor Burban and Bernd Kreußler. On a relative Fourier-Mukai transform on genus one fibrations. Manuscripta Math. , 120(3):283-306, 2006.                                                                                                                                                       |
| [Eis95]    | David Eisenbud. Commutative algebra: With a view toward algebraic geometry , volume 150 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995.                                                                                                                                    |
| [FGI + 05] | Barbara Fantechi, Lothar G¨ttsche, o Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli. Fundamental algebraic geometry: Grothendieck's FGA explained , vol- ume 123 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2005.              |
| [Gro67]    | Alexander Grothendieck. ´ El´ments e de g´om´trie e e alg´brique. e IV. ´ Etude locale des sch´mas e et des morphismes de sch´mas e IV. Inst. Hautes ´ Etudes Sci. Publ. Math. , 32:361, 1967.                                                                                                 |
| [GW10]     | Ulrich G¨rtz o and Torsten Wedhorn. Algebraic geometry I: Schemes with examples and exercises . Advanced Lectures in Mathematics. Vieweg + Teubner, Wiesbaden, 2010.                                                                                                                           |
| [HK71]     | J¨rgen u Herzog and Ernst Kunz, editors. Der kanonische Modul eines Cohen-Macaulay- Rings . Lecture Notes in Mathematics, Vol. 238. Springer-Verlag, Berlin-New York, 1971. Seminar ¨ber u die lokale Kohomologietheorie von Grothendieck, Universit¨t a Regensburg, Wintersemester 1970/1971. |
| [Huy06]    | Daniel Huybrechts. Fourier-Mukai transforms in algebraic geometry . Oxford Mathe- matical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006.                                                                                                                              |
| [Iar72]    | Anthony Iarrobino. Punctual Hilbert schemes. Bull. Amer. Math. Soc. , 78:819-823, 1972.                                                                                                                                                                                                        |
| [KPS18]    | Alexander G. Kuznetsov, Yuri G. Prokhorov, and Constantin A. Shramov. Hilbert schemes of lines and conics and automorphism groups of Fano threefolds. Jpn. J. Math. , 13(1):109-185, 2018.                                                                                                     |
| [KR18]     | Andreas Krug and Jørgen Vold Rennemo. Some ways to reconstruct a sheaf from its tautological image on a Hilbert scheme of points, 2018. arXiv:1808.05931.                                                                                                                                      |
| [LN05]     | Herbert Lange and Peter E. Newstead. On Poincar´ e bundles of vector bundles on curves. Manuscripta Math. , 117(2):173-181, 2005.                                                                                                                                                              |
| [Mat80]    | Hideyuki Matsumura. Commutative algebra , volume 56 of Mathematics Lecture Note Series . Benjamin/Cummings Publishing Co., Inc., Reading, Mass., second edition, 1980.                                                                                                                         |
| [Mat86]    | Hideyuki Matsumura. Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid.                                                                                                    |
| [Mea15]    | Ciaran Meachan. Derived autoequivalences of generalised Kummer varieties. Math. Res. Lett. , 22(4):1193-1221, 2015.                                                                                                                                                                            |
| [MN68]     | David Mumford and Peter Newstead. Periods of a moduli space of bundles on curves. Amer. J. Math. , 90:1200-1208, 1968.                                                                                                                                                                         |
| [Muk81]    | Shigeru Mukai. Duality between D ( X ) and D ( ˆ X ) with its application to Picard sheaves. Nagoya Math. J. , 81:153-175, 1981.                                                                                                                                                               |
| [Muk99]    | Shigeru Mukai. Duality of polarized K 3 surfaces. In New trends in algebraic geometry (Warwick, 1996) , volume 264 of London Math. Soc. Lecture Note Ser. , pages 311-326. Cambridge Univ. Press, Cambridge, 1999.                                                                             |
| [NR75]     | Mudumbai S. Narasimhan and Sundararaman Ramanan. Deformations of the moduli space of vector bundles over an algebraic curve. Ann. Math. (2) , 101:391-417, 1975.                                                                                                                               |
| [Sch10]    | Ulrich Schlickewei. Stability of tautological vector bundles on Hilbert squares of sur- faces. Rend. Semin. Mat. Univ. Padova , 124:127-138, 2010.                                                                                                                                             |
| [Sta16]    | David Stapleton. Geometry and stability of tautological bundles on Hilbert schemes of points. Algebra Number Theory , 10(6):1173-1190, 2016.                                                                                                                                                   |
| [Sta18]    | The Stacks Project Authors. Stacks Project . https://stacks.math.columbia.edu , 2018.                                                                                                                                                                                                          |

| [Tju70]   | Andre˘ ı N. Tjurin. Analogues of Torelli's theorem for multidimensional vector bundles over an arbitrary algebraic curve. Izv. Akad. Nauk SSSR Ser. Mat. , 34:338-365, 1970.   |
|-----------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Wan14]   | Malte Wandel. Stability of tautological bundles on the Hilbert scheme of two points on a surface. Nagoya Math. J. , 214:79-94, 2014.                                           |
| [Wan16]   | Malte Wandel. Tautological sheaves: stability, moduli spaces and restrictions to gener- alised Kummer varieties. Osaka J. Math. , 53(4):889-910, 2016.                         |

Institut f¨r Algebraische Geometrie, Leibniz Universit¨t Hannover, Welfengarten u a 1, 30167 Hannover, Germany

E-mail address : reede@math.uni-hannover.de

Institut f¨r Algebraische Geometrie, Leibniz Universit¨t Hannover, Welfengarten u a 1, 30167 Hannover, Germany

Current address : Institute of Mathematical Sciences, ShanghaiTech University, 393 Middle Huaxia Road, 201210 Shanghai, P.R.China

E-mail address : zhangziyu@shanghaitech.edu.cn
Fabian Reede Ziyu Zhang
Examples of smooth components of moduli spaces of stable sheaves
Let M be a projective fine moduli space of stable sheaves on a smooth
projective variety X with a universal family E. We prove that in four examples,
E can be realized as a complete flat family of stable sheaves on M parametrized
by X, which identifies X with a smooth connected component of some moduli space
of stable sheaves on M.