Pn -FUNCTORS AND STABILITY OF VECTOR BUNDLES ON THE

HILBERT SCHEME OF POINTS ON A K3 SURFACE

FABIAN REEDE

Abstract. Let X be a K3 surface. We prove that Addington’s Pn -functor between the

derived categories of X and the Hilbert scheme of points X [k] maps stable vector bundles
on X to stable vector bundles on X [k] , given some numerical conditions are satisfied.
arXiv:2206.04578v1 [math.AG] 9 Jun 2022

Introduction
Moduli spaces of stable sheaves on K3 surfaces are example of hyperkähler manifolds,
that is irreducible holomorphic symplectic manifolds. These are of interest as they arise in
the classification of Kähler manifolds with trivial first Chern class. It is therefore natural
to wonder if moduli spaces of stable sheaves on hyperkähler manifolds of higher dimension
also have interesting properties.
Unfortunately moduli spaces of stable sheaves on higher dimensional varieties behave
badly in general. Furthermore there are not may explicit examples of stable sheaves on
higher dimensional hyperkähler manifolds. There are the tautological bundles on the
Hilbert schemes of points on a K3 surface, see [10],[11] and [12]. A second class is given
by the ”wrong-way” fibers of a universal family of stable vector bundles on a moduli space
of stable vector bundles, see [9] and [13].
In this article we want to give a new class of stable sheaves on Hilbert schemes of points.
For this we use a result by Addington, that says that the integral functor
Φ : Db (X) → Db (X [k] )
with kernel the universal ideal sheaf IZ on X × X [k] is a Pk−1 -functor, see[1].
Our main results can be summarized as follows:
Theorem. Let X be a K3 surface with NS(X) = Zh and assume E is µh -stable locally
free sheaf with Mukai vector v = (r, h, s) such that
v(E)2
χ(E) > + (r + 1)k + 1
2
then the image of E under the integral functor Φ : Db (X) → Db (X [k] ) is a µH -stable
locally free sheaf (for some ample class H ∈ NS(X [k] )).
If furthermore v = (r, h, s) is chosen such that MX,h (v) is a fine moduli space and all
sheaves classified are locally free, then the integral functor Φ restricts to a morphism
f : MX,h (v) → M, [E] 7→ [Φ(E)]
which identifies MX,h (v) with a smooth connected component of a certain moduli space M
of stable sheaves on X [k] .
This result is in the same vein as Yoshioka’s results in [15]. There he starts with an
arbitrary K3 surface together with an isotropic Mukai vector v such that Mh (v) is also a
fine moduli space with universal family E. It is well known that Y = Mh (v) is again a
K3 surface. He then proves that the Fourier-Mukai transform ΦE : Db (X) → Db (Y ), an
equivalence in this case, preserves stability (even S-equivalence classes), given that some
numerical conditions are satisfied.

Acknowledgement. I thank Ziyu Zhang for many useful discussions surrounding stable
sheaves, derived categories and hyperkähler manifolds.
1
2 FABIAN REEDE

1. Background on Pn -functors
We start by recalling some basic facts about Pn -functors in this section.
Definition 1.1. [1, Definition 4.1] Let A and B be triangulated categories. A functor
F : A → B with adjoints L and R is called a Pn -functor if:
(a) There exists an autoequivalence H of A and an isomorphism
RF ∼
= id ⊕H ⊕ H 2 ⊕ . . . ⊕ H n .
(b) The composition
RǫF
HRF ֒→ RF RF −−→ RF
written in components
H ⊕ H 2 ⊕ . . . ⊕ H n+1 → id ⊕H ⊕ . . . ⊕ H n
has the form  
∗ ∗ ··· ∗ ∗
1 ∗ · · · ∗ ∗
 
0 1 · · · ∗ ∗ .
 .. .. . . .. .. 

. . . . .
0 0 ··· 1 ∗
(c) There is an isomorphism R ∼= H n L. If A and B both have Serre functors, this condition
n ∼
is equivalent to SB F H = F SA .
We will only focus on the case where A = D b (X) and B = D b (Y ), where X and Y
are two smooth projective varieties. Furthermore we will only consider the case where
F = ΦF is an integral functor with kernel F ∈ D b (X × Y ). In fact, we are only interested
in the case where F is actually a sheaf on X × Y and the autoequivalence is H = [−2].
In this case condition (a) can be rephrased as
RF ∼
= id ⊗H ∗ (Pn , C).
Example 1.2. Let X be a K3 surface. The integral functor
Φ : Db (X) −→ Db (X [k] ), E 7→ Rp∗ (q ∗ E ⊗ IZ ),
having the universal ideal sheaf IZ on X ×X [k] as kernel, is a Pk−1 -functor with associated
autoequivalence H = [−2], see [1, Theorem 3.1, Example 4.2(2)]. Here p : X ×X [k] → X [k]
and q : X × X [k] → X are the projections.
Remark 1.3. The fact that the integral functor Φ is a Pk−1 -functor with associated
autoequivalence H = [−2] has the following helpful consequence: for any two elements
E, F ∈ Db (X) there is an isomorphism of graded vector spaces
Ext∗X [k] (Φ(E), Φ(F )) ∼
= Ext∗X (E, F ) ⊗ H ∗ (Pk−1 , C),
see for example [2, §2.1].

2. Preservation of slope-stability for vector bundles

Throughout this article we assume that X is a K3 surface with NS(X) = Zh, where h
is a primitive ample class.
Lemma 2.1. Let E be a µh -stable vector bundle on X with Mukai vector v = (r, h, s)
such that
v(E)2
(1) χ(E) > + (r + 1)k + 1,
2
then Hi (X, E ⊗ IZ ) = 0 for i = 1, 2 and all [Z] ∈ X [k]
 Pn -FUNCTORS AND STABILITY OF VECTOR BUNDLES 3

Proof. Since Z ⊂ X is of codimension two, Serre duality shows

∨
H2 (X, E ⊗ IZ ) ∼
= Ext2X (E ∗ , IZ ) ∼
= (HomX (IZ , E ∗ )) ∼
∨
= H0 (X, E ∗ ) .
But E ∗ is also µh -stable with c1 (E ∗ ) = −h, so H0 (X, E ∗ ) = 0.
Carefully studying the proof of [7, Proposition 2.2.] shows that the inequality (1) implies
that we also have H1 (E ⊗ IZ ) = 0 for all [Z] ∈ X [k] . For the benefit of the reader we
include the main arguments for the proof:
Assume H1 (X, E ⊗ IZ ) 6= 0. By Serre duality we find
H1 (X, E ⊗ IZ ) = Ext1X (OX , E ⊗ IZ ) ∼
= Ext1X (E ∗ , IZ ) ∼
= Ext1 (IZ , E ∗ ).
Thus there is a nontrivial extension
0 E∗ G IZ 0.
Using [14, Lema 2.1] shows that G is also µh -stable with Mukai vector
v(G) = v(E ∗ ) + v(IZ ).
The Euler characteristic of a pair (F1 , F2 ) of coherent sheaves can be expressed as
2
X
χ(F1 , F2 ) = (−1)i extiX (F1 , F2 ) = − hv(F1 ), v(F2 )i .
i=0

We can now compute

χ(G, G) = − hv(G), v(G)i = − hv(E ∗ ) + v(IZ ), v(E ∗ ) + v(IZ )i
= − hv(E ∗ ), v(E ∗ )i − 2 hv(E ∗ ), v(IZ )i − hv(IZ ), v(IZ )i
= − hv(E), v(E)i + 2χ(E ∗ , IZ ) + χ(IZ , IZ )
= − hv(E), v(E)i + 2(χ(E) − rk) + (2 − 2k)
v(E)2
 
=2 − + χ(E) − (r + 1)k + 1
2
Using the inequality (1) shows that we have χ(G, G) > 4. But this implies
homX (G, G) + ext2X (G, G) > 4.
One more application of Serre duality thus gives homX (G, G) > 2. But this impossible,
since G is simple, as it is µh -stable. So we do have H1 (X, E ⊗ IZ ) = 0. 
Corollary 2.2. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s)
satisfying the inequality (1), then
χ(E) = h0 (X, E) = r + s
χ(E ⊗ IZ ) = h0 (X, E ⊗ IZ ) = r + s − rk.
We are now ready to study the image of a µh -stable locally free sheaf with Mukai vector
v = (r, h, s) under the Pk−1 -functor Φ. A priori this object is just a complex in Db (X [k] )
but in our situation we have:
Lemma 2.3. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s) satis-
fying the inequality (1), then Φ(E) is a locally free sheaf of rank r + s − rk on X [k] .
Proof. Using cohomology and base change results, the vanishing in Lemma 2.1 implies
Ri p∗ (q ∗ (E) ⊗ IZ ) = 0 for i = 1, 2.
Consequently Φ(E) = p∗ (q ∗ E ⊗ IZ ) is a sheaf. Furthermore the map
X [k] → Z, [Z] 7→ h0 (X, E ⊗ IZ )
is constant. Therefore p∗ (q ∗ E ⊗ IZ ), that is Φ(E), is indeed a locally free sheaf on X [k] .
As the fiber at a point [Z] is just H0 (X, E ⊗ IZ ) the rank follows from Corollary 2.2. 
4 FABIAN REEDE

Next we want to study the slope-stability of Φ(E). For this we recall that in our
situation we have
NS(X [k] ) = Zhk ⊕ Zδ,
where hk is the divisor on X [k] induced by the divisor h on X and 2δ is the exceptional
divisor of the Hilbert-Chow morphism X [k] → X (k) . For any coherent sheaf F on X we
denote the associated coherent tautological sheaf by
F [k] := p∗ (q ∗ F ⊗ OZ ) .
Lemma 2.4. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s) satis-
fying the inequality (1), then c1 (Φ(E)) = −hk + rδ.
Proof. By Lemma 2.3 we have R1 p∗ (q ∗ E ⊗ IZ ) = 0, thus there is an exact sequence:
(2) 0 p∗ (q ∗ E ⊗ IZ ) p∗ q ∗ E p∗ (q ∗ E ⊗ OZ ) 0
We have
p∗ q ∗ E ∼
= H0 (E) ⊗ OX [k]
and the sheaf p∗ (q ∗ E ⊗ OZ ) is by definition the tautological bundle E [k] . The exact
sequence (2) can be rewritten as

(3) 0 Φ(E) H0 (E) ⊗ OX [k] E [k] 0.

Using [12, Lemma 1.5] we get

c1 (Φ(E)) = −c1 (E [k] ) = −c1 (E)k + rδ = −hk + rδ.

We also recall the notations introduced by Stapleton in [11, §1]. The ample divisor h
on X induces the ample divisor
k
M
hX k = qi∗ h
i=1
on Xk,
where qi is the i-th projection from well as a semi-ample divisor hk on X [k] .
X k , as
[k]
We denote by X◦k , S k X◦ and X◦ the loci of the relevant spaces parametrizing distinct
points. The natural map
[k]
σ ◦ : X◦k → X◦
is an étale cover and j : X◦k → X k is an open embedding. Given a coherent sheaf F on
[k]
X [k] , we denote by F◦ the restriction of F to X◦ , and define
(F )X k = j∗ (σ ∗◦ (F◦ ))
which is a torsion free coherent sheaf on X k if F is on X [k] .
Lemma 2.5. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s) satis-
fying the inequality (1), then
H0 (X k , (Φ(E))X k ) = 0
Proof. Note that (−)◦ and σ ∗◦ (−) are exact, and j∗ (−) is left exact. Applying these functors
to (3) we obtain an exact sequence of Sk -invariant reflexive sheaves on X k :
ϕ
H0 (E) ⊗ OX [k] X k E [k] X k



(4) 0 (Φ(E))X k

where ϕ may not be surjective. Certainly we have

(H 0 (E) ⊗ OX [k] )X k = H 0 (E) ⊗ OX k ,
and also by [11, Lemma 1.1]
k
M
(E [k] )X k = qi∗ E.
i=1
 Pn -FUNCTORS AND STABILITY OF VECTOR BUNDLES 5

The above sequence can be written as

ϕ k
H0 (E) ⊗ OX k qi∗ E.
L
(5) 0 (Φ(E))X k
i=1

More accurately, ϕ is the evaluation map on X◦k : for any k-tuple (x1 , . . . , xk ) ∈ X k of
closed points with xi 6= xj , the morphism of fibers can be written as
k
M
ϕ(x1 ,...,xk ) : H 0 (E) −→ Exi
i=1
s 7−→ (s(x1 ), . . . , s(xk ))
Since for a non-trivial section s ∈ H0 (E), one can always choose a k-tuple of distinct points
(x1 , . . . xk ) ∈ X k with (s(x1 ), . . . , s(xk )) 6= (0, . . . , 0), we see that the induced map
Mk
0 0 0
H (ϕ) : H (E) −→ H ( qi∗ E)
i=1

is injective. It follows by exact sequence (5) that (Φ(E))X k has no global sections. 
Proposition 2.6. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s)
satisfying the inequality (1), then the locally free sheaf Φ(E) defined in Lemma 2.3 is slope
stable with respect to hk .
Proof. We follow the proof of [11, Theorem 1.4] and start with the exact sequence

ϕ k
H0 (E) ⊗ OX k qi∗ E
L
0 (Φ(E))X k
i=1

and note that ϕ is surjective on X◦k , hence its cokernel coker(ϕ) is supported on the big
diagonal of X k , which is of codimension 2. We get
k
X
c1 ((Φ(E))X k ) = − qi∗ h.
i=1

Now assume G is a reflexive subsheaf of Φ(E). Then (G)X k is an Sk -invariant reflexive

subsheaf of (Φ(E))X k . By [11, Lemma 1.2] we have
µhX k ((G)X k ) < µhX k ((Φ(E))X k ) ⇔ µhk (G) < µhk (Φ(E)).
It is therefore enough to prove that (Φ(E))X k has no Sk -invariant destabilizing subsheaf
(with respect to hX k ). Assume F is an Sk -invariant subsheaf, then we find:
Xk
c1 (F ) = a( qi∗ h) for some a ∈ Z.
i=1
If a 6 −1, then
2k−1 2k−1
c1 (F )hX k 6 c1 ((Φ(E))X k )hX k <0
Since 1 6 rk(F ) < rk((Φ(E))X k ), we see that µhX k (F ) < µhX k ((Φ(E))X k ). Hence F is
not destabilizing.
If a = 0, we pick a (not necessarily Sk -invariant) non-zero stable subsheaf F ′ ⊆ F that
has maximal slope with respect to hX k (for example one could take a stable factor in the
first Harder-Narasimhan factor of F ). Without loss of generality, we may assume F and
F ′ are both reflexive. Since F ′ is also a subsheaf of H 0 (E) ⊗ OX k , there is a projection
from H 0 (E) ⊗ OX k to a certain direct summand of it, such that the composition of the
embedding and projection
F ′ → H 0 (E) ⊗ OX k → OX k
is non-zero. Since
µX k (F ′ ) > µX k (F ) = 0 = µX k (OX k ),
6 FABIAN REEDE

and OX k is also stable with respect to hX k , the map F ′ → OX k must be injective, and
its cokernel is supported in codimension at least 2. Since both sheaves are reflexive, we
must have F ′ = OX k . As a result F , and consequently (Φ(E))X k , have non-trivial global
sections, a contradiction to Lemma 2.5.
If a > 1, F would be a subsheaf of the trivial bundle H 0 (E) ⊗ OX k of positive slope
which is not possible as such bundle is semistable of slope zero. 
Theorem 2.7. Let E be a locally free µh -stable sheaf with Mukai vector v = (r, h, s)
satisfying the inequality (1), then Φ(E) is a locally free µH -stable sheaf for some ample
class H ∈ NS(X [k] ) near hk .
Proof. Proposition 2.6 and [3, Theorem 2.3.1] guarantee that the assumptions in [11,
Proposition 4.8] are satisfied for Φ(E), hence Φ(E) is slope stable with respect to some
ample class H near hk by [11, Proposition 4.8]. 

3. A morphism of moduli spaces

In the last section we saw that given a locally free µh -stable sheaf E with Mukai vector
v satisfying the inequality (1), then there is an ample class H ∈ NS(X [k] ) such that Φ(E)
is a locally free µH -stable sheaf on X [k] .
In this section we want to see that in certain cases we get a morphism
MX,h (v) → M, [E] 7→ [Φ(E)]
for some moduli space M of stable sheaves on X [k] .
Let v = (r, h, s) be a Mukai vector satisfying the following conditions:
(1) v satisfies the inequality (1),
(2) all sheaves classified by MX,h (v) are locally free and
(3) the moduli space MX,h (v) is fine.
Let v = (r, h, s) be a Mukai vector that satisfies the conditions (1) and (2). Then for
every [E] ∈ MX,h (v) we know that there is an ample class H such that Φ(E) is µH -stable.
One may ask how H depends on [E]. This question is answered in the following theorem.
Theorem 3.1. Let v be a Mukai vector that satisfies conditions (1) and (2), then there is
an ample class H ∈ NS(X [k] ) such that Φ(E) is µH -stable for all [E] ∈ MX,h (v) simulta-
neously.
Proof. The proof is same as for [9, Theorem 2.8]. We just have to replace the sheaf Ex by
Φ(E) and the surface X by the moduli space MX,h (v). Then we note that the value of
c = µβ (Φ(E))
is independent of the choice of [E] ∈ MX,h (v) by Lemma 2.4.
The finiteness of the set
S := {c1 (F ) | F ⊆ Φ(E) for some [E] ∈ MX,h (v) such that µβ (F ) > c}.
can be seen as follows: using Corollary 2.2 and exact sequence (3) we see that every Φ(E)
r+s
is a subsheaf of OX [k] . Hence S is a subset of

S ′ := {c1 (F ) | F ⊆ OX
r+s
[k] such that µβ (F ) > c}.

But S ′ is finite due to [4, Theorem 2.29], so S is also finite. The rest of the proof works
unaltered. 
From now on we fix a Mukai vector v that satisfies conditions (1) − (3) and an ample
class H ∈ NS(X [k] ) that satisfies Theorem 3.1. We denote by MX [k] ,H (ΦC (v)) the moduli
space of µH -stable sheaves on X [k] with Mukai vector ΦC (v). Here
ΦC : H∗ (X, Q) → H∗ (X [k] , Q)
is the induced cohomological Fourier-Mukai transform, see [5, 5.28, 5.29].
In the following we want to give an explicit construction of the morphism
MX,h (v) → MX [k] ,H (ΦC (v)), [E] 7→ [Φ(E)] .
 Pn -FUNCTORS AND STABILITY OF VECTOR BUNDLES 7

As MX,h (v) is a fine moduli space, there is a universal family E on X × MX,h (v), flat over
MX,h (v). Since all sheaves in MX,h (v) are locally free, so is E by [6, Lemma 2.1.7]. Next
we look at the projections

X × MX,h (v) × X [k]

π12 π23
π13

X × MX,h (v) X × X [k] MX,h (v) × X [k]

and define the following sheaf on MX,h (v) × X [k] :

∗ ∗
F := π23∗ (π12 E ⊗ π13 IZ ).
As E is locally free and IZ is flat over X [k] , the sheaf π12
∗ E ⊗ π ∗ I is flat over the product
13 Z
[k]
MX,h (v) × X . Since the map
MX,h (v) × X [k] → Z, ([E], [Z]) 7→ h0 (X, E ⊗ IZ )
is constant due to Corollary 2.2, we can use cohomology and base change again to see that
F is locally free and that for every diagram
β
Y ×X X × MX,h (v) × X [k]
π1 π23

α
Y MX,h (v) × X [k]
we have
∗
α∗ π23∗ (π12 ∗
E ⊗ π13 IZ ) ∼
= π1∗ β ∗ (π12
∗ ∗
E ⊗ π13 IZ ).
Letting α = ι[E] be the inclusion of the fiber of the projection MX,h (v) × X [k] → MX,h (v)
over [E] ∈ MX,h (v), then β = j[E] is the inclusion of the fiber of the second projection
X × MX,h (v) × X [k] → MX,h (v) over [E] ∈ MX,h (v). This shows that
ι∗ F = ι∗ π23∗ (π ∗ E ⊗ π ∗ IZ ) ∼
[E] [E] 12 13 = π1∗ j ∗ (π ∗ E ⊗ π ∗ IZ ) ∼
[E] 12 = p∗ (q ∗ E ⊗ IZ ) = Φ(E).
13

Thus F is flat over MX,h (v) and the fiber of F over [E] ∈ MX,h (v) is just Φ(E).
The family F therefore induces a classifying morphism
f : MX,h (v) −→ MX [k] ,H (ΦC (v)), [E] 7−→ [Φ(E)].
The morphism f has the following property:
Theorem 3.2. The classifying morphism defined by the family F identifies MX,h (v) with
a smooth connected component of MX [k] ,H (ΦC (v)).
Proof. We have to prove two things (see [8, Lemma 1.6]):
(1) f is injective on closed points
(2) we have dim(T[Φ(E)] MX [k] ,H (ΦC (v))) = dim(T[E] MX,h (v)).
To see (1), we take [E], [F ] ∈ MX,h (v) with [E] 6= [F ]. We find
Hom [k] (Φ(E), Φ(F )) = ∼ HomX (E, F ) = 0
X
by Remark 1.3. This implies f is injective on closed points. The last equality follows from
the fact that E and F are non-isomorphic µh -stable sheaves with the same Mukai vector.
For (2): a similar computation shows
Ext1 [k] (Φ(E), Φ(E)) ∼
X = Ext1 (E, E). X

But as is well known, see for example [6, Corollary 4.5.2], there are canonical isomorphisms
T[Φ(E)] M [k] (ΦC (v)) ∼
X ,H = Ext1 [k] (Φ(E), Φ(E)) and T[E] MX,h (v) ∼
X = Ext1 (E, E). X

Thus we find dim(T[Φ(E)] MX [k] ,H (ΦC (v))) = dim(T[E] MX,h (v)) as desired. 
Example 3.3. Theorem 3.1 and Theorem 3.2 are not void, that is there are Mukai vectors
on certain K3 surfaces that satisfy conditions (1) − (3). Here we give two examples:
8 FABIAN REEDE

a) Let X be a K3 surface with NS(X) = Zh such that h2 = 50. For k = 2 the Mukai
vector v = (3, h, 8) satisfies the conditions (1) − (3): we have χ = 11. On the other
2
hand v 2 = h2 − 48 = 2 and (r + 1)k = 8 so that χ = 11 > 10 = v2 + (r + 1)k + 1.
A further computation shows v 2 + 2 = 4 < 6 = 2r so that all sheaves in MX,h (v) are
locally free by [13, Lemma 4.4.2]. As gcd(3, 8) = 1 we see that MX,h (v) is a fine moduli
space by [6, Corollary 4.6.7].
b) Let X be a K3 surface with NS(X) = Zh such that h2 = 186. Then a similar compu-
tation shows that for k = 3 then the Mukai vector v = (5, h, 18) satisfies the conditions
(1) − (3).

References
[1] Nicolas Addington. New derived symmetries of some hyperkähler varieties. Algebr. Geom., 3(2):223–
260, 2016.
[2] 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):846–865, 2016.
[3] Mark Andrea A. de Cataldo and Luca Migliorini. The hard Lefschetz theorem and the topology of
semismall maps. Ann. Sci. École Norm. Sup. (4), 35(5):759–772, 2002.
[4] Daniel Greb, Stefan Kebekus, and Thomas Peternell. Movable curves and semistable sheaves. Int.
Math. Res. Not. IMRN, 2:536–570, 2016.
[5] D. Huybrechts. Fourier-Mukai transforms in algebraic geometry. Oxford Mathematical Monographs.
The Clarendon Press, Oxford University Press, Oxford, 2006.
[6] Daniel Huybrechts and Manfred Lehn. The geometry of moduli spaces of sheaves. Cambridge Mathe-
matical Library. Cambridge University Press, Cambridge, second edition, 2010.
[7] Alina Marian, Dragos Oprea, and Rahul Pandharipande. Higher rank Segre integrals over the Hilbert
scheme of points. J. Eur. Math. Soc. (JEMS), 2021.
[8] Fabian Reede and Ziyu Zhang. Examples of smooth components of moduli spaces of stable sheaves.
arXiv e-prints, August 2019. To appear in manuscripta math.
[9] Fabian Reede and Ziyu Zhang. Stability of some vector bundles on Hilbert schemes of points on K3
surfaces. Math. Z., 301(1):315–341, 2022.
[10] Ulrich Schlickewei. Stability of tautological vector bundles on Hilbert squares of surfaces. Rend. Semin.
Mat. Univ. Padova, 124:127–138, 2010.
[11] David Stapleton. Geometry and stability of tautological bundles on Hilbert schemes of points. Algebra
Number Theory, 10(6):1173–1190, 2016.
[12] Malte Wandel. Tautological sheaves: stability, moduli spaces and restrictions to generalised Kummer
varieties. Osaka J. Math., 53(4):889–910, 2016.
[13] Andrew Wray. Moduli Spaces of Hermite-Einstein Connections over K3 Surfaces. PhD thesis, Univer-
sity of Oregon, 2020.
[14] Kōta Yoshioka. Some examples of Mukai’s reflections on K3 surfaces. J. Reine Angew. Math., 515:97–
123, 1999.
[15] Kōta Yoshioka. Stability and the Fourier-Mukai transform. II. Compos. Math., 145(1):112–142, 2009.

Institut für Algebraische Geometrie, Leibniz Universität Hannover, Welfengarten 1,

30167 Hannover, Germany
Email address: reede@math.uni-hannover.de