Abstract
Let M be a projective fine moduli space of stable sheaves on a smooth projective variety X with a universal family \({\mathcal {E}}\). We prove that in four examples, \({\mathcal {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\geqslant 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 [20, 27] that M is a fine moduli space, namely, there exist a universal vector bundle \({\mathcal {E}}\) on \(C\times M\) with the property that the fiber \({\mathcal {E}}_{C \times \{m\}}\) over a closed point \(m=[E]\in M\) is isomorphic to the bundle E itself. But one can also take a closed point \(c\in C\) and consider the fiber
which is a vector bundle on M. In [23] the authors proved that \({\mathcal {E}}_c\) is a simple bundle for every closed point \(c\in C\) and that the infinitesimal deformation map
is bijective. In fact, for all closed points \(c \in C\), the bundles \({\mathcal {E}}_c\) are stable and pairwise nonisomorphic by [5, 16].
Thus if we define \({\mathcal {M}}\) to be the moduli space of stable vector bundles on M with the same Hilbert polynomial as \({\mathcal {E}}_c\), then the classifying morphism
identifies C with a smooth connected component of \({\mathcal {M}}\), as explained in [16].
Other examples in a similar spirit appear in the pioneering work of Mukai [21, 22] 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 \({\mathcal {E}}\) on \(S \times M\). It turns out that M is also a K3 surface, and \({\mathcal {E}}\) can also be realized as a family of stable bundles on M parametrized by S.
As in the previous example, we can define \({\mathcal {M}}\) to be the moduli space of stable sheaves on M with the same Hilbert polynomial as \({\mathcal {E}}_{\{s\} \times M}\) for any closed point \(s \in S\). Mukai proved that the classifying morphism
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 \({\mathcal {E}}\) on \(X\times M\). Then

Is \({\mathcal {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 [24, 25, 28, 29]. 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 \geqslant 2\) and \(M={{\,\mathrm{Hilb}\,}}^2(X)\) is the Hilbert scheme of 2 points on X;

X is K3 surface and \(M={{\,\mathrm{Hilb}\,}}^n(X)\) is the Hilbert scheme of n points on X;

X is an abelian surface and \(M = {{\,\mathrm{Kum}\,}}_n(X)\) is the generalized Kummer variety of dimension 2n associated to X for any \(n \geqslant 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 \({\mathcal {E}}\) over X and the stability of the fibers \({\mathcal {E}}_p\) over any closed point \(p \in X\), then apply some very convenient results about \({\mathbb {P}}^n\)functors (see [1]) 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 \({\mathcal {E}}\) is torsion free (or even locally free) of higher rank. However, it could be then much more difficult to prove the stability of \({\mathcal {E}}_p\) for any closed point \(p \in X\). Moreover, the corresponding results about \({\mathbb {P}}^n\)functors are not yet known to us (see [1, Conjecture, p.2] and [2, Conjecture 2.1]).
This article consists of four sections, which are devoted to the four cases in Theorem 0.2 respectively. The notion of \({\mathbb {P}}^n\)functors will be briefly recalled in the beginning of Sect. 2, followed immediately by a list of \({\mathbb {P}}^n\)functors relevant to our discussion. All schemes are defined over the field of complex numbers \({\mathbb {C}}\).
Hilbert squares of smooth projective varieties
Let X be a smooth projective variety of dimension d, and \(M = {{\,\mathrm{Hilb}\,}}^2(X)\). We denote by \({\mathcal {Z}}\subseteq X \times M\) the universal closed subscheme and \({\mathcal {I}}_{\mathcal {Z}}\) the universal ideal sheaf on \(X \times M\). Then we have a commutative diagram
where \(\pi \) is a flat morphism.
By [8, Remark 7.2.2.], we have \({\mathcal {Z}}= {{\,\mathrm{Bl}\,}}_\Delta (X \times X)\), the blowup of \(X \times X\) along the diagonal \(\Delta \). The projection \(\tau \) can be interpreted as a composition
of the blowup b and the projection \(q_1\) to the first factor. Moreover, the group \(\Sigma _2={\mathbb {Z}}/2{\mathbb {Z}}\) acts on \({\mathcal {Z}}\) by switching the two factors, with a fixedlocus given by the exceptional divisor. By [8, Example 7.3.1(3)], \(\pi \) is the quotient of \({\mathcal {Z}}\) by \(\Sigma _2\).
For any closed point \(p \in X\), we write
Then we have the following results regarding the fibers of \(\tau \):
Lemma 1.1
We have \( S_p \cong F_p \cong {{\,\mathrm{Bl}\,}}_p(X) \), and the morphism \(\tau \) is flat.
Proof
The morphism \(\pi _{F_p}\) can be factored into a composition
hence \(\pi \) induces an isomorphism from \(F_p\) to its image \(S_p\). The canonical isomorphism \(F_p \cong {{\,\mathrm{Bl}\,}}_p(X)\) is well known. Finally, since \({\mathcal {Z}}\) and X are both smooth and the fibers \(F_p\) of \(\tau \) are irreducible of dimension d for all closed points \(p\in X\), we deduce from [18, Theorem 23.1, Corollary] that \(\tau \) is flat. \(\square \)
By the description of \(F_p\) as a blowup in Lemma 1.1, we denote the exceptional divisor by . This allows us to state the following result:
Lemma 1.2
\(\pi ^{1}(S_p)\) has simple normal crossing singularities with two irreducible components
where \(\sigma \) is the nontrivial element of \(\Sigma _2\).
Proof
This property can be verified analytically locally. Without loss of generality we assume that \(X = {\mathbb {A}}^n\), and \(p = (0, \ldots , 0) \in X\). Then \(X \times X = {\mathbb {A}}^n \times {\mathbb {A}}^n\) with coordinates \((x_1, \ldots , x_n, y_1, \ldots , y_n)\). We perform an affine change of coordinates: for each \(1 \leqslant i \leqslant n\), we write \(s_i = x_i + y_i\) and \(d_i = x_i  y_i\). Then the diagonal \(\Delta \) is given by
By (2) we have \({\mathcal {Z}}= {{\,\mathrm{Bl}\,}}_{\Delta }(X \times X)\), which is given by a mixture of affine and projective coordinates
It is covered by n affine pieces, among which the first affine piece \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)^1\) is given by \(u_1 = 1\); in other words
Then we have
We write \(F_p^1 = F_p \cap {{\,\mathrm{Bl}\,}}_\Delta (X \times X)^1\), then
Notice that \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)^1\) is \(\sigma _2\)invariant. The action of the nontrivial element \(\sigma \in \Sigma _2\) is given by
Therefore we have
and the quotient \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)^1/\Sigma _2\) is given by coordinates
where \(e_1 = d_1^2\). We write the image of \(F_p^1\) under the quotient map by
then it follows that
It is now clear that
Therefore the intersection of the two components is transverse, and given by
which gives precisely the exceptional divisor \(E_p\) in the first affine chart, namely, \(E_p \cap {{\,\mathrm{Bl}\,}}_\Delta (X \times X)^1\). The same argument also applies to all other affine charts of \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)\), which finishes the proof. \(\square \)
In the following discussion, for any closed embedding \(U\hookrightarrow V\), we denote the corresponding ideal sheaf, conormal sheaf and normal sheaf by \({\mathcal {I}}_{U/V}\), \({\mathcal {C}}_{U/V}\) and \({\mathcal {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:
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 \({\mathcal {C}}_{Z/(Y\cup Z)}\cong \alpha _{*}{\mathcal {C}}_{(Y\cap Z)/Y}\).
Proof
We obtain by the second and the third isomorphism theorems that
Therefore we obtain
as required, where the second isomorphism uses [26, Tag 02KG]. \(\square \)
In our situation we pick subvarieties \(Y=\sigma (F_p)\) and \(Z=F_p\) of \({\mathcal {Z}}\) in (3), then the morphism \(\alpha \) becomes . Lemma 1.3 immediately yields
Corollary 1.4
We have \( {\mathcal {C}}_{F_p/\pi ^{1}(S_p)} \cong \alpha _*{\mathcal {O}}_{E_p}(1) \). \(\square \)
The following result is the key to the main theorem of this section:
Lemma 1.5
If \(d \geqslant 2\), then we have \(\dim H^0(S_p, {\mathcal {N}}_{S_p/M}) = d\).
Proof
We divide the proof in two steps.
Step 1. We claim that \({\mathcal {N}}_{S_p/M}\) fits into the exact sequence
We consider the chain of closed embeddings
By [9, Proposition 16.2.7], we get the exact sequence of conormal sheaves
By Lemma 1.1, \(\tau : {\mathcal {Z}}\rightarrow X\) is flat, thus by [9, Proposition 16.2.2 (iii)] we get
Furthermore since \(S_p\hookrightarrow M\) is a regular embedding of codimension d, the sheaf \({\mathcal {C}}_{S_p/M}\) is locally free of rank d. It follows by the flatness of \(\pi : {\mathcal {Z}}\rightarrow M\) that
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
Together with (6), (7) and Corollary 1.4 we obtain the claim (4).
Step 2. We claim that
Indeed, the sheaf \(\alpha _{*}{\mathcal {O}}_{E_p}(1)=\alpha _{*}{\mathcal {O}}_{E_p}(E_p)\) admits the following resolution
Dualizing this exact sequence shows
Using \(E_p\cong {\mathbb {P}}^{d1}\) and \(d \geqslant 2\), we finally get:
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 [5, Theorem 3.6].
Lemma 1.6
Let X be a smooth projective variety of dimension d and Y a projective scheme. Assume that a morphism \(f: X \rightarrow Y\) is injective on closed points, and \(\dim T_yY = d\) for each closed point \(y \in 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_yY = d\) for each closed point \(y \in f(X)\), it follows that Y is smooth of dimension d at each closed point \(y \in f(X)\) by [10, 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 \rightarrow 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 \geqslant 2\) is isomorphic to a smooth connected component of a moduli space of stable sheaves with trivial determinants on \({{\,\mathrm{Hilb}\,}}^2(X)\), by viewing \({\mathcal {I}}_{\mathcal {Z}}\) as a family of coherent sheaves on \({{\,\mathrm{Hilb}\,}}^2(X)\) parametrized by X.
Proof
By Lemma 1.1, \({\mathcal {Z}}\) is flat over X hence \({\mathcal {I}}_{\mathcal {Z}}\) can be viewed as a flat family of sheaves on \({{\,\mathrm{Hilb}\,}}^2(X)\) parametrized by X. For each closed point \(p \in X\), let \(({\mathcal {I}}_{\mathcal {Z}})_{p}\) be the restriction of \({\mathcal {I}}_{\mathcal {Z}}\) on the fiber \(\{ p \} \times {{\,\mathrm{Hilb}\,}}^2(X)\). Then \(({\mathcal {I}}_{\mathcal {Z}})_{p}\) is the ideal sheaf \({\mathcal {I}}_{S_p}\) of the closed embedding of \(S_p\) into \({{\,\mathrm{Hilb}\,}}^2(X)\), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism
where \({\mathcal {M}}\) denotes the moduli space of stable sheaves on \({{\,\mathrm{Hilb}\,}}^2(X)\) of the class of \({\mathcal {I}}_{S_p}\) with trivial determinants. By [14, Lemma B.5.6], \({\mathcal {M}}\) is isomorphic to the Hilbert scheme of subschemes of \({{\,\mathrm{Hilb}\,}}^2(X)\) which have the same Hilbert polynomials as \(S_p\) since \(d \geqslant 2\). It is easy to see that f is injective on closed points. Indeed, for two different closed points \(p, q \in X\), \(S_p\) and \(S_q\) are different subschemes of \({{\,\mathrm{Hilb}\,}}^2(X)\) of codimension \(d \geqslant 2\), hence \({\mathcal {I}}_{S_p}\) and \({\mathcal {I}}_{S_q}\) are nonisomorphic ideal sheaves. On the other hand, for any closed point \(p \in X\), we have
Hence by Lemma 1.5, we have
Therefore we conclude by Lemma 1.6 that the morphism (9) embeds X as a smooth connected component of \({\mathcal {M}}\). \(\square \)
Hilbert schemes of points on K3 surfaces
What is particular interesting to us is the case of K3 surfaces. The technique of \({\mathbb {P}}^n\)functors allows us to obtain similar results for their Hilbert schemes of 0dimension subschemes of arbitrary length. We first recall the following notion of \({\mathbb {P}}^n\)functors and its implications.
Definition 2.1
[1, Definition 4.1] A functor \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) between triangulated categories with adjoints L and R is called a \({\mathbb {P}}^n\)functor if:

1.
There is an autoequivalence H of \({\mathcal {A}}\) such that
$$\begin{aligned} RF\cong {{\,\mathrm{id}\,}}\oplus H\oplus H^2\oplus \cdots \oplus H^n \end{aligned}$$ 
2.
The map
$$\begin{aligned} HRF \hookrightarrow RFRF \xrightarrow {R \epsilon F} RF \end{aligned}$$written in components
$$\begin{aligned} H\oplus H^2\oplus \cdots \oplus H^{n+1} \rightarrow {{\,\mathrm{id}\,}}\oplus H\oplus \cdots \oplus H^n \end{aligned}$$is of the form
$$\begin{aligned} \begin{pmatrix} * &{} * &{} \cdots &{} * &{} * \\ 1 &{} * &{} \cdots &{} * &{} * \\ 0 &{} 1 &{} \cdots &{} * &{} * \\ \vdots &{} \vdots &{} \ddots &{} \vdots &{} \vdots \\ 0 &{} 0 &{} \cdots &{} 1 &{} * \end{pmatrix} \end{aligned}$$ 
3.
We have \(R\cong H^nL\). (If \({\mathcal {A}}\) and \({\mathcal {B}}\) have Serre functors, this is equivalent to \({\mathcal {S}}_{{\mathcal {B}}}FH^n\cong F{\mathcal {S}}_{{\mathcal {A}}}\).)
More about \({\mathbb {P}}^n\)functors and examples can be found in [1, Sect. 4].
We will focus on the case where \({\mathcal {A}}=D^b(X)\) and \({\mathcal {B}}=D^b(Y)\) for two smooth projective varieties X and Y such that \(F=\Phi _{{\mathcal {F}}}\) is an integral functor with kernel \({\mathcal {F}}\in D^b(X\times Y)\). In fact, we are mostly interested in the case where \({\mathcal {F}}\) is actually a sheaf on \(X\times Y\) and the autoequivalence \(H=[2]\). In this case condition (a) can be stated as
We will use the following simple consequence under this setting
Proposition 2.2
[2, Sect. 2.1] Assume X and Y are smooth projective varieties and \({\mathcal {F}}\) is a coherent sheaf on \(X\times Y\), flat over X, such that the integral functor \(F=\Phi _{{\mathcal {F}}}\) with kernel \({\mathcal {F}}\) is a \({\mathbb {P}}^n\)functor with associated autoequivalence \(H=[2]\). Then for any closed points \(x,y\in X\) there is an isomorphism:
where \({\mathcal {F}}_x\) and \({\mathcal {F}}_y\) are fibers of \({\mathcal {F}}\) over the closed points x and y respectively. \(\square \)
The following list of \({\mathbb {P}}^n\)functors will be of interest to us:

i)
For a K3 surface S, \({{\,\mathrm{Hilb}\,}}^n(S)\) is a fine moduli space with universal ideal sheaf \({\mathcal {I}}_{{\mathcal {Z}}}\). The integral functor \(\Phi _{{\mathcal {I}}_{{\mathcal {Z}}}}:D^b(S)\rightarrow D^b({{\,\mathrm{Hilb}\,}}^n(S))\) is a \({\mathbb {P}}^{n1}\)functor with associated autoequivalence \(H=[2]\); see [1, Theorem 3.1].

ii)
Let \({{\,\mathrm{Kum}\,}}_n(A)\) be the generalized Kummer variety of an abelian surface A with universal ideal sheaf \({\mathcal {I}}_{{\mathcal {Z}}}\). For any \(n\geqslant 2\), the integral functor \(\Phi _{{\mathcal {I}}_{{\mathcal {Z}}}}:D^b(A)\rightarrow D^b({{\,\mathrm{Kum}\,}}_n(A))\) is a \({\mathbb {P}}^{n1}\)functor with associated autoequivalence \(H=[2]\); see [19, Theorem 4.1].

iii)
Let S be a K3 surface with \({{\,\mathrm{Pic}\,}}(S) = {\mathbb {Z}}[H]\) where H is an ample generator of degree \(2g2\). Assume M is the fine moduli space of stable sheaves on S of Mukai vector \((0, H, d+1g)\) for some d and \({\mathcal {U}}\) is the universal sheaf over \(S \times M\). Then the integral functor \(\Phi _{{\mathcal {U}}}: D^b(S) \rightarrow D^b(M)\) is a \({\mathbb {P}}^{g1}\)functor with associated autoequivalence \(H=[2]\); see [2, Theorem A].
We give a first application of \({\mathbb {P}}^n\)functors to our problem: let S be a K3 surface and \(M = {{\,\mathrm{Hilb}\,}}^n(S)\) for some positive integer n. Then M is a fine moduli space and the ideal sheaf \({\mathcal {I}}_{{\mathcal {Z}}}\) of the universal family \({\mathcal {Z}}\) is the universal sheaf on \(S\times M\). It is wellknown that M is an irreducible holomorphic symplectic manifold. The flatness of \({\mathcal {I}}_{{\mathcal {Z}}}\) over S follows immediately from the following result:
Lemma 2.3
[15, Theorem 2.1] For every smooth variety X and every positive integer n, the universal family \({\mathcal {Z}}\subset X\times M\) is flat over X. \(\square \)
The above result allows us to obtain a smooth component of the moduli space of stable sheaves on \({{\,\mathrm{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 \({{\,\mathrm{Hilb}\,}}^n(S)\), by viewing \({\mathcal {I}}_{\mathcal {Z}}\) as a family of coherent sheaves on \({{\,\mathrm{Hilb}\,}}^n(S)\) parametrized by S.
Proof
By Lemma 2.3, \({\mathcal {I}}_{\mathcal {Z}}\) can be viewed as a flat family of sheaves on \({{\,\mathrm{Hilb}\,}}^n(S)\) parametrized by S. For each closed point \(s \in S\), let \(({\mathcal {I}}_{\mathcal {Z}})_s\) be the restriction of \({\mathcal {I}}_{\mathcal {Z}}\) on the fiber \(\{ s \} \times {{\,\mathrm{Hilb}\,}}^n(S)\). Then \(({\mathcal {I}}_{\mathcal {Z}})_s\) is the ideal sheaf of the closed embedding of \({\mathcal {Z}}\cap (\{ s \} \times {{\,\mathrm{Hilb}\,}}^n(S))\) into \({{\,\mathrm{Hilb}\,}}^n(S)\), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism
where \({\mathcal {M}}\) denotes the moduli space of all stable sheaves on \({{\,\mathrm{Hilb}\,}}^n(S)\) of the class of \(({\mathcal {I}}_{\mathcal {Z}})_s\). For any pair of closed points \(s_0, s_1 \in S\), we obtain by [1, Theorem 3.1] and Proposition 2.2 that
In particular, when \(s_0 \ne s_1\), it follows from (11) that
which implies that (10) is injective on closed points; when \(s_0 = s_1 = s\), it follows from (11) that
which implies that
Therefore we conclude by Lemma 1.6 that the morphism (10) embeds S as a smooth connected component of \({\mathcal {M}}\), as desired. \(\square \)
Generalized Kummer varieties
In this section we apply the technique of \({\mathbb {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 \({{\,\mathrm{Hilb}\,}}^{n+1}(A)\) the Hilbert scheme parametrizing closed subschemes of A of length \(n+1\). Let the morphism \(\Sigma \) be the composition of the Hilbert–Chow morphism and the summation morphism with respect to the group law on A, namely
then the generalized Kummer variety is defined to be its zero fiber, namely
which is an irreducible holomorphic symplectic manifold. If we denote the restriction of the universal subscheme over \({{\,\mathrm{Hilb}\,}}^{n+1}(A)\) to \({{\,\mathrm{Kum}\,}}_n(A)\) by \({\mathcal {Z}}\), then we have a commutative diagram
where \(\varphi \) and \(\psi \) are the compositions of the embedding and the projections. We denote the ideal sheaf of \({\mathcal {Z}}\) in \(A \times {{\,\mathrm{Kum}\,}}_n(A)\) by \({\mathcal {I}}_{\mathcal {Z}}\). It is clear that \({\mathcal {I}}_{\mathcal {Z}}\) is flat over \({{\,\mathrm{Kum}\,}}_n(A)\) since \(\psi \) is flat. In fact, \({\mathcal {I}}_{\mathcal {Z}}\) is also flat over the other factor A.
Lemma 3.1
The universal ideal sheaf \({\mathcal {I}}_{\mathcal {Z}}\) is flat over A for any \(n \geqslant 2\).
Proof
It suffices to show that the morphism \(\varphi : {\mathcal {Z}}\rightarrow A\) is flat. First of all, we claim that the dimension of the fiber \(\varphi ^{1}(a_0)\) is \(2n2\) for any closed point \(a_0 \in A\).
On the one hand, since A is smooth, the closed point \(a_0 \in A\) is locally defined by two equations. Therefore locally near any point \(x \in \varphi ^{1}(a_0)\), the fiber \(\varphi ^{1}(a_0)\) is also defined by two equations, hence is of codimension at most 2 by Krull’s height theorem; see [17, Sect. 12.I, Theorem 18]. In other words, we have
On the other hand, we have
For any such \(\xi \), we can write the associated 0cycle \([\xi ]\) as
where \(a_0, a_1, \ldots , a_k\) are pairwise distinct closed points, and \(n_0, n_1, \ldots , n_k\) are the multiplicities. We further require \(n_1 \geqslant \cdots \geqslant n_k >0\) if \(k>0\). It is clear that
which in particular implies \(k \leqslant n\), and
which utilizes the group law on A. We call the partition of n
the type of \(\xi \). Let \(\varphi ^{1}(a_0, \vec {n})\) be the set of all closed points \(\xi \in \varphi ^{1}(a_0)\) of type \(\vec {n}\), then we have a decomposition
We then compute the dimension of \(\varphi ^{1}(a_0,\vec {n})\) for each \(\vec {n}\).
When \(k=0\), we have \(\vec {n} = (n+1)\), and for any \(\xi \in \varphi ^{1}(a_0, \vec {n})\) we have \([\xi ] = (n+1)a_0\). It is clear that such \(\varphi ^{1}(a_0, \vec {n})\) is nonempty if and only if \(a_0 \in A\) is an \((n+1)\)torsion point. When nonempty, \(\varphi ^{1}(a_0, \vec {n})\) is the punctual Hilbert scheme \({{\,\mathrm{Hilb}\,}}^{n+1}_{a_0}(A)\) which parametrizes length \((n+1)\) subschemes of A having support at only one point \(a_0\). By [13, Corollary 1], we have
for each \((n+1)\)torsion point \(a_0\) and integer \(n \geqslant 2\).
When \(k \geqslant 1\), every \(\xi \in \varphi ^{1}(a_0, \vec {n})\) corresponds to a configuration \(\{ a_1, \ldots , a_k \}\) of pairwise distinct points satisfying (14). We can choose the first \((k1)\) points freely, then \(a_k\) is uniquely determined up to \(n_k\)torsion. Hence there is a \(2(k1)\)dimensional family of configurations \(\{ a_1, \ldots , a_k \}\). For any fixed configuration, the possible scheme structures on \(\xi \) is classified by the product of punctual Hilbert schemes \({{\,\mathrm{Hilb}\,}}^{n_0}_{a_0}(A) \times \cdots \times {{\,\mathrm{Hilb}\,}}^{n_k}_{a_k}(A)\). By [13, Corollary 1] and (13), we obtain
Combining the two cases, we have by (15) that
It then follows from (12) and (17) that all fibers \(\varphi ^{1}(a_0)\) are equidimensional of dimension \(2n2\).
Moreover, since \(\psi \) is a surjective flat morphism and \({{\,\mathrm{Kum}\,}}_n(A)\) is smooth of dimension 2n, we know \({\mathcal {Z}}\) is Cohen–Macaulay of dimension 2n by [7, Corollary 18.17]. Since A is smooth, we conclude that \(\varphi : {\mathcal {Z}}\rightarrow A\) is flat by [18, Theorem 23.1, Corollary], which implies that its ideal sheaf \({\mathcal {I}}_{\mathcal {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, \(\varphi ^{1}(a_0)\) is either a smooth rational curve or a single point, depending on whether \(a_0\) is a 2torsion point of A.
The above result allows us to obtain a smooth component of the moduli space of stable sheaves on \({{\,\mathrm{Kum}\,}}_n(A)\) as follows:
Theorem 3.3
For any \(n \geqslant 2\), the abelian surface A is isomorphic to a smooth connected component of a moduli space of stable sheaves on \({{\,\mathrm{Kum}\,}}_n(A)\), by viewing \({\mathcal {I}}_{\mathcal {Z}}\) as a family of coherent sheaves on \({{\,\mathrm{Kum}\,}}_n(A)\) parametrized by A.
Proof
By Lemma 3.1, \({\mathcal {I}}_{\mathcal {Z}}\) can be viewed as a flat family of sheaves on \({{\,\mathrm{Kum}\,}}_n(A)\) parametrized by A. For each closed point \(a_0 \in A\), let \(({\mathcal {I}}_{\mathcal {Z}})_{a_0}\) be the restriction of \({\mathcal {I}}_{\mathcal {Z}}\) on the fiber \(\{ a_0 \} \times {{\,\mathrm{Kum}\,}}_n(A)\). Then \(({\mathcal {I}}_{\mathcal {Z}})_{a_0}\) is the ideal sheaf of the closed embedding of \({\mathcal {Z}}\cap (\{ a_0 \} \times {{\,\mathrm{Kum}\,}}_n(A))\) into \({{\,\mathrm{Kum}\,}}_n(A)\), hence is a stable sheaf of rank 1. Therefore we obtain an induced classifying morphism
where \({\mathcal {M}}\) denotes the moduli space of all stable sheaves on \({{\,\mathrm{Kum}\,}}_n(A)\) of the class of \(({\mathcal {I}}_{\mathcal {Z}})_{a_0}\). For any pair of closed points \(a_0, a_1 \in A\), we obtain by [19, Theorem 4.1] and Proposition 2.2 that
From here, a similar argument as in Theorem 2.4 shows that the morphism (18) embeds A as a smooth connected component of \({\mathcal {M}}\). \(\square \)
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 \({{\,\mathrm{Pic}\,}}(S) = {\mathbb {Z}}H\) where H is an ample line bundle of degree \(2g2\). Let \({\mathbb {P}}(V) \cong {\mathbb {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 \({\mathbb {P}}(V)\) is reduced and irreducible of genus g with planar singularities, hence its compactified Jacobian \({\overline{{{\,\mathrm{Jac}\,}}}}^d(C)\) is reduced and irreducible of dimension g by [3, Theorem (9)]. We denote by \({\mathcal {C}}\) the universal curve of the linear system \({\mathbb {P}}(V)\). Therefore \({\mathcal {C}}\) is a closed subscheme of \(S \times {\mathbb {P}}(V)\) and admits projections to S and \({\mathbb {P}}(V)\). All fibers of the first projection \(\tau : {\mathcal {C}}\rightarrow S\) are linear subsystems of \({\mathbb {P}}(V)\) of codimension 1.
Let M be the moduli space of stable sheaves on S with Mukai vector
We assume \(\gcd (2g2, d+1g) = 1\), then M is a smooth fine moduli space of stable torsion sheaves of pure dimension 1, hence admits a universal family \({\mathcal {U}}\). In fact, M is an irreducible holomorphic symplectic manifold. The corresponding support morphism
sends a stable sheaf to its support curve.
Alternatively, M can also be interpreted as the relative compactified Jacobian \({\overline{{{\,\mathrm{Jac}\,}}}}^d({\mathcal {C}}/{\mathbb {P}}(V))\) of the family \({\mathcal {C}}\rightarrow {\mathbb {P}}(V)\). Hence the support of the universal family \({\mathcal {U}}\) is given by
It is more convenient to consider the universal family as a sheaf on T, so we define
where \(\iota : T \hookrightarrow S \times M\) is the closed embedding. Then we have \({\mathcal {U}}\cong \iota _*{\mathcal {E}}\) by [10, Remark 7.35].
The relation among the various spaces and morphisms introduced above can be summarised in the following commutative diagram
where both squares on the left are cartesian.
Moreover, for any closed point \(s \in S\), we denote the fiber \(\psi ^{1}(s)\) by \(T_s\), with the corresponding closed embedding \(i_s: T_s \hookrightarrow T\). We also denote the pullback of \({\mathcal {E}}\) to the fiber \(T_s\) by \({\mathcal {E}}_s\), and the pullback of \({\mathcal {U}}\) to the fiber \(\{ s \} \times M\) by \({\mathcal {U}}_s\).
The following properties will be used later:
Lemma 4.1
Both T and \(T_s\) (for each closed point \(s \in S\)) are integral and Gorenstein.
Proof
We first note that \({\mathcal {C}}\), being a \({\mathbb {P}}^{g1}\)bundle bundle over S, is smooth and irreducible of dimension \(g+1\). Consequently \({\mathcal {C}}\) is integral. Moreover, since both M and \({\mathbb {P}}(V)\) are smooth, and all closed fibers of \(\eta \) are compactified Jacobians, which are integral of dimension g, the morphism \(\eta \) is flat by [18, Theorem 23.1, Corollary]. It follows that \(\varphi \) is also flat, and every closed fiber of \(\varphi \) is integral. Thus [10, Theorem 14.44] implies that the generic fiber of \(\varphi \) is also integral. Therefore T is integral of dimension \(2g+1\) by [26, Tag 0BCM]. This means T is a hypersurface in the smooth variety \(S \times M\), hence T is Gorenstein by [7, Corollary 21.19].
For any closed point \(s \in S\), the restriction of \(\varphi \) to the fibers over s is given by
The above properties of \(\varphi \) imply that \(\varphi _s\) is also flat, and that every closed fiber of \(\varphi _s\) is integral. It follows for the same reason as above that \(T_s\) is integral of dimension \(2g1\), 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 \({\mathcal {E}}\) on T is flat over S, and the sheaf \({\mathcal {E}}_s\) on \(T_s\) is stable for each closed point \(s \in S\).
Proof
We observe that the morphism \({\mathcal {C}}\rightarrow {\mathbb {P}}(V)\) (the composition of the morphisms in the middle column of (19)) is projective, flat and Gorenstein of pure dimension 1. After the base change along \(\eta \), the morphism \(\pi : T \rightarrow M\) (the composition of the morphisms in the left column of (19)) is also projective, flat and Gorenstein of pure dimension 1. Furthermore \({\mathcal {E}}\) is flat over M, and for any point \(m \in M\), the restriction of \({\mathcal {E}}\) to the fiber \(\pi ^{1}(m)\) is torsion free. It follows by [6, Corollary 2.2] that
for every \(i>0\). Since T is irreducible and Gorenstein, this implies that \({\mathcal {E}}\) is a maximal Cohen–Macaulay sheaf on T.
We have seen that \(\varphi \) and \(\tau \) are both flat morphisms, hence \(\psi \) is also a flat morphism. The closed embedding \(\{s\} \hookrightarrow S\) is a morphism of finite Tor dimension. After a flat base change along \(\psi \), we see that \(i_s: T_s \hookrightarrow T\) is also of finite Tor dimension. Since T is irreducible and Gorenstein by Lemma 4.1, [4, Lemma 2.3 (1)] implies
for every closed point \(s \in S\), where \(Li_s^*\) is the derived pullback functor. It follows by [12, Lemma 3.31] that \({\mathcal {E}}\) is flat over S.
By Lemma 4.1 we also know \(T_s\) is Gorenstein, hence is in particular Cohen–Macaulay. By [4, Lemma 2.3 (2)], \({\mathcal {E}}_s\) is also maximal Cohen–Macaulay, which by [11, Satz 6.1, a) \(\Rightarrow \) d)] implies that \({\mathcal {E}}_s\) is reflexive, and hence in particular torsion free on \(T_s\). Therefore \({\mathcal {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 \({\mathcal {U}}\) as a family of coherent sheaves on M parametrized by S.
Proof
By Lemma 4.2, we know that the sheaf \({\mathcal {U}}= \iota _*{\mathcal {E}}\) is also flat over S, and the fiber \({\mathcal {U}}_s\) is a stable sheaf on M of pure dimension \(2g1\) for each closed point \(s \in S\). Therefore \({\mathcal {U}}\) is a flat family of stable sheaves on M parametrized by S, with an induced classifying morphism given by
where \({\mathcal {M}}\) is the moduli space of all stable sheaves on M of the class of \({\mathcal {U}}_s\). For any pair of closed points \(s_0, s_1 \in S\), we obtain by [2, Theorem A] and Proposition 2.2 that
From here, a similar argument as in Theorem 2.4 shows that the morphism (20) embeds S as a smooth component of \({\mathcal {M}}\). \(\square \)
References
 1.
Addington, N.: New derived symmetries of some hyperkähler varieties. Algebraic Geom. 3(2), 223–260 (2016)
 2.
Addington, N., Donovan, W., Meachan, C.: Moduli spaces of torsion sheaves on K3 surfaces and derived equivalences. J. Lond. Math. Soc. (2) 93(3), 846–865 (2016)
 3.
Altman, A.B., Iarrobino, A., Kleiman, S.L.: Irreducibility of the compactified Jacobian. In: Real and Complex Singularities (Proceedings Ninth Nordic Summer School/NAVF Symposium Mathematics, Oslo), pp. 1–12 (1976) Sijthoff and Noordhoff, Alphen aan den Rijn (1977)
 4.
Arinkin, D.: Autoduality of compactified Jacobians for curves with plane singularities. J. Algebraic Geom. 22(2), 363–388 (2013)
 5.
Balaji, V., BrambilaPaz, L., Newstead, P.E.: Stability of the Poincaré bundle. Math. Nachr. 188, 5–15 (1997)
 6.
Burban, I., Kreußler, B.: On a relative Fourier–Mukai transform on genus one fibrations. Manuscr. Math. 120(3), 283–306 (2006)
 7.
Eisenbud, D.: Commutative Algebra: With a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)
 8.
Fantechi, B., Göttsche, L., Illusie, L., Kleiman, S.L., Nitsure, N., Vistoli, A.: Fundamental Algebraic Geometry: Grothendieck’s FGA Explained. Mathematical Surveys and Monographs, vol. 123. American Mathematical Society, Providence, RI (2005)
 9.
Grothendieck, A.: Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV. Inst. Hautes Études Sci. Publ. Math. 32, 361 (1967)
 10.
Görtz, U., Wedhorn, T.: Algebraic Geometry I: Schemes with Examples and Exercises. Advanced Lectures in Mathematics. Vieweg + Teubner, Wiesbaden (2010)
 11.
Herzog, J., Kunz, E. (eds.) Der kanonische Modul eines Cohen–MacaulayRings. Lecture Notes in Mathematics, vol. 238. Springer, Berlin (1971). Seminar über die lokale Kohomologietheorie von Grothendieck, Universität Regensburg, Wintersemester (1970/1971)
 12.
Huybrechts, D.: Fourier–Mukai Transforms in Algebraic Geometry. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford (2006)
 13.
Iarrobino, A.: Punctual Hilbert schemes. Bull. Am. Math. Soc. 78, 819–823 (1972)
 14.
Kuznetsov, A.G., Prokhorov, Y.G., Shramov, C.A.: Hilbert schemes of lines and conics and automorphism groups of Fano threefolds. Jpn. J. Math. 13(1), 109–185 (2018)
 15.
Krug, A., Rennemo, J.V.: Some ways to reconstruct a sheaf from its tautological image on a Hilbert scheme of points (2018). arXiv:1808.05931
 16.
Lange, H., Newstead, P.E.: On Poincaré bundles of vector bundles on curves. Manuscr. Math. 117(2), 173–181 (2005)
 17.
Matsumura, H.: Commutative algebra of Mathematics, volume 56 Lecture Note Series, 2nd edn. Benjamin/Cummings Publishing Co., Inc., Reading, MA (1980)
 18.
Matsumura, H.: Commutative Ring Theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1986). (Translated from the Japanese by M. Reid)
 19.
Meachan, C.: Derived autoequivalences of generalised Kummer varieties. Math. Res. Lett. 22(4), 1193–1221 (2015)
 20.
Mumford, D., Newstead, P.: Periods of a moduli space of bundles on curves. Am. J. Math. 90, 1200–1208 (1968)
 21.
Mukai, S.: Duality between \(D(X)\) and \(D({\hat{X}})\) with its application to Picard sheaves. Nagoya Math. J. 81, 153–175 (1981)
 22.
Mukai, S.: Duality of polarized \(K3\) surfaces. In: New Trends in Algebraic Geometry (Warwick, 1996), volume 264 of London Mathematical Society. Lecture Note Series, pp. 311–326. Cambridge University Press, Cambridge (1999)
 23.
Narasimhan, M.S., Ramanan, S.: Deformations of the moduli space of vector bundles over an algebraic curve. Ann. Math. 2(101), 391–417 (1975)
 24.
Schlickewei, U.: Stability of tautological vector bundles on Hilbert squares of surfaces. Rend. Semin. Mat. Univ. Padova 124, 127–138 (2010)
 25.
Stapleton, D.: Geometry and stability of tautological bundles on Hilbert schemes of points. Algebra Number Theory 10(6), 1173–1190 (2016)
 26.
The Stacks Project Authors. Stacks project. https://stacks.math.columbia.edu (2018)
 27.
Tjurin, A.N.: Analogues of Torelli’s theorem for multidimensional vector bundles over an arbitrary algebraic curve. Izv. Akad. Nauk SSSR Ser. Mat. 34, 338–365 (1970)
 28.
Wandel, M.: Stability of tautological bundles on the Hilbert scheme of two points on a surface. Nagoya Math. J. 214, 79–94 (2014)
 29.
Wandel, M.: Tautological sheaves: stability, moduli spaces and restrictions to generalised Kummer varieties. Osaka J. Math. 53(4), 889–910 (2016)
Acknowledgements
Open Access funding provided by Projekt DEAL. We are grateful to Nicolas Addington for expert advice on the application of \({\mathbb {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.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Reede, F., Zhang, Z. Examples of smooth components of moduli spaces of stable sheaves. manuscripta math. (2020). https://doi.org/10.1007/s00229020012230
Received:
Accepted:
Published:
Mathematics Subject Classification
 Primary 14F05
 Secondary 14D20
 14J60
 53C26