Semistable sheaves may have two–, one– or zero–dimensional support. Stability in the first case was defined by Maruyama and Gieseker, the generalisation to pure sheaves of arbitrary dimension is due to Simpson. In the rest of the paper we exclude once for all the case of zerodimensional sheaves as being wellknown: if the Mukai vector is
$v=(0,0,a)$
then
${M}_{v}\sim ={S}^{a}X$
, the symmetric product of
$X$
, and the HilbertChow morphism
${Hilb}^{a}\left(X\right)\to {M}_{v}$
provides a symplectic resolution.
2.3 General assumptions.
An element
${v}_{0}\in {H}^{even}(X,\mathbb{Z})$
is primitive if it is not an integral multiple of another lattice element. Given a nontrivial element
$v\in {H}^{even}(X,\mathbb{Z})$
we may always decompose it as
$v=m{v}_{0}$
with a primitive element
${v}_{0}$
and a multiplicity
$m\in \mathbb{N}$
. Throughout this article we assume that
${v}_{0}=({r}_{0},{c}_{0},{a}_{0})$
has the following properties:
$(*)$
$\{\begin{array}{c}\text{Either}{r}_{0}>0\text{and}{c}_{0}\in NS\left(X\right)\text{,}\\ \text{or}{r}_{0}=0\text{,}{c}_{0}\in NS\left(X\right)\text{is effective, and}{a}_{0}\ne 0\text{;}\\ \text{}\langle {v}_{0},{v}_{0}\rangle \ge 2\text{.}\end{array}$
The results of this paper suggest to distinguish systematically between the following three cases for a Mukai vector
$v$
satisfying assumptions
$(*)$
:

(A)
$m=1$
.

(B)
$m=2$
and
$\langle {v}_{0},{v}_{0}\rangle =2$
.

(C)
$m\ge 3$
, or
$m=2$
and
$\langle {v}_{0},{v}_{0}\rangle \ge 4$
.
2.4 General ample divisors.
The significance of
$(*)$
lies in the fact that one has the notion of a
$v$
–general ample divisor
$H$
: there is a systems of hyperplanes in the ample cone of
$X$
, called
$v$
–walls, that is countable but locally finite for torsion free sheaves ([
13]
, ch. 4C) and finite for torsion sheaves ([
27]
, sec. 1.4.) with the following property: if
$H$
is
$v$
–general, i.e. if
$H$
is not contained in any
$v$
–wall, then for every direct summand
${E}^{\prime}$
of a polystable sheaf
$E$
with
$v\left(E\right)=v$
one has
$v\left({E}^{\prime}\right)\in \mathbb{Q}v\left(E\right)$
.
Let
$H$
be a
${v}_{0}$
–general ample divisor and consider the following assertions:
$$\begin{array}{cc}(**)& \text{}{M}_{{v}_{0}}\text{is nonempty.}\end{array}$$  
$$\begin{array}{cc}(***)& \text{}{M}_{{v}_{0}}\text{is irreducible.}\end{array}$$  
Yoshioka shows in [
27]
, Thm 0.1 and Thm 8.1, that
$(*)$
implies
$(**)$
and
$(***)$
except when
$X$
is a K3 surface,
${r}_{0}=0$
and
${c}_{0}$
is not ample. Moreover he has communicated to us an unpublished note that fills this gap, so that
$(**)$
and
$(***)$
are consequences of
$(*)$
. An essential technique in Yoshioka’s work is the deformation of the underlying surface; the arguments are rather involved. For the irreducibility part
$(***)$
we give a new and direct proof, based on an old and beautiful idea of Mukai, see Theorem 4.1 .
2.5 Elements of the construction of moduli spaces.
We need to recall some basic elements of the construction machinery of moduli spaces of sheaves following the approach of Simpson [
26]
(see also [
13]
, ch. 4). Let
$v$
be a Mukai vector satisfying
$(*)$
and let
${P}_{v}$
denote the corresponding Hilbert polynomial. Choose a sufficiently large integer
$k=k\left(v\right)$
and put
$N={P}_{v}\left(k\right)$
,
$\mathcal{\mathscr{H}}:={\mathcal{O}}_{X}(kH{)}^{\oplus N}$
. Then there is a closed subscheme
$R\subset {Quot}_{X,H}(\mathcal{\mathscr{H}},P)$
with the following property: a closed point
$$[q:\mathcal{\mathscr{H}}\to E]\in R$$
is stable or semistable with respect to the canonical
$PGl\left(N\right)$
–action and the corresponding linearisation of the determinant line bundle on
$R$
if and only if
$q$
induces an isomorphism
${\mathbb{C}}^{N}\to {H}^{0}(X,E(kH\left)\right)$
and if
$E$
is stable or semistable, respectively. Let
${R}^{s}\subset {R}^{ss}\subset R$
denote the open subsets of stable and semistable points, respectively. Then
$${R}^{ss}//PGl\left(N\right))\sim ={M}_{v}\text{and}{R}^{s}//PGl(N)\sim ={M}_{v}^{s}.$$
Let
$\pi :{R}^{ss}\to {M}_{v}$
denote the quotient map. The orbit of a point
$[q:\mathcal{\mathscr{H}}\to E]$
is closed in
${R}^{ss}$
if and only if
$E$
is polystable. In that case, the stabiliser subgroup of
$\left[q\right]$
in
$PGl\left(N\right)$
is canonically isomorphic to
$PAut\left(E\right)=Aut\left(E\right)/{\mathbb{C}}^{*}$
. Moreover, by Luna’s slice theorem there is a
$PAut\left(E\right)$
–invariant subscheme
$S\subset {R}^{ss}$
, containing
$\left[q\right]$
, such that the canonical morphisms
$$(PGl(N)\times S)//PAut\left(E\right)\to {R}^{ss}\text{and}S//PAut\left(E\right)\to M$$
are etale. The Zariski tangent space
${T}_{\left[q\right]}S$
is isomorphic to
${Ext}^{1}(E,E)$
.
2.6 Local description.
The completion of the local ring
${\mathcal{O}}_{S,\left[q\right]}$
has the following deformation theoretic description:
Let
$\mathbb{C}\left[{Ext}^{1}\right(E,E\left)\right]$
denote the ring of polynomial functions on
${Ext}^{1}(E,E)$
and let
$A:=\mathbb{C}\left[{Ext}^{1}\right(E,E){]}^{\wedge}$
denote its completion at the maximal ideal
$\mathfrak{M}$
of functions vanishing at
$0$
. There is a trace map
$tr:{Ext}^{2}(E,E)\to {H}^{2}\left({\mathcal{O}}_{X}\right)$
. We denote its kernel by
${Ext}^{2}(E,E{)}_{0}$
. The automorphism group
$Aut\left(E\right)$
naturally acts on
${Ext}^{1}(E,E)$
and
${Ext}^{2}(E,E{)}_{0}$
by conjugation. Since the scalar multiples of the identity act trivially we actually have an action of the projective automorphism group
$PAut\left(E\right)=Aut\left(E\right)/{\mathbb{C}}^{*}$
. There is a linear map
$$\kappa :{Ext}^{2}(E,E{)}_{0}^{*}\u27f6\mathbb{C}[{Ext}^{1}(E,E){]}^{\wedge},$$
the socalled Kuranishi map, with the following properties:

1.
$\kappa $
is
$PAut\left(E\right)$
–equivariant.

2.
Let
$I$
be the ideal generated by the image of
$\kappa $
. Then there are isomorphisms of complete rings
$${\widehat{\mathcal{O}}}_{S,\left[q\right]}\sim =A/I\text{and}{\widehat{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim =(A/I{)}^{PAut\left(E\right)}.$$

3.
For every linear form
$\phi \in {Ext}^{2}(E,E{)}_{0}^{*}$
one has, for
$e\in {Ext}^{1}(E,E)$
,
$$\kappa \left(\phi \right)\left(e\right)=\frac{1}{2}\phi (e\cup e)+\text{higher order terms in}e.$$
2.7 Passage to the normal cone.
Let
$J\subset \mathbb{C}\left[{Ext}^{1}\right(E,E\left)\right]$
denote the ideal generated by the image of the quadratic part of
$\kappa $
:
$${\kappa}_{2}:{Ext}^{2}(E,E{)}_{0}^{*}\u27f6{S}^{2}{Ext}^{1}(E,E{)}^{*},\phi \mapsto (e\mapsto \frac{1}{2}\phi (e\cup e\left)\right)$$
Then
$J$
is the ideal of the nullfibre
$F={\mu}^{1}\left(0\right)$
of the morphism
$$\mu :{Ext}^{1}(E,E)\u27f6{Ext}^{2}(E,E{)}_{0},\mu (e)=\frac{1}{2}(e\cup e).$$
The ideals
$I\subset \mathbb{C}\left[{Ext}^{1}\right(E,E){]}^{\wedge}$
and
$J\subset \mathbb{C}\left[{Ext}^{1}\right(E,E\left)\right]$
are related as follows.
The graded ring
$grA$
associated to the
$\mathfrak{m}$
adic filtration on
$A=\mathbb{C}\left[{Ext}^{1}\right(E,E){]}^{\wedge}$
is canonically isomorphic to
$\mathbb{C}\left[{Ext}^{1}\right(E,E\left)\right]$
. For any ideal
$\mathfrak{a}\subset A$
let
$in(\mathfrak{a})\subset grA$
denote the ideal generated by the leading terms
$in\left(f\right)$
of all elements
$f\in \mathfrak{a}$
. Then property 3 of the Kuranishi–map says that
$$J\subset in\left(I\right).$$
Hence there is the following chain of inequalities:
$$\begin{array}{c}\begin{array}{ccc}dim\left(F\right)& =& dim(grA)/J\\ & \ge & dim(grA)/in\left(I\right)=dimgr(A/I)=dim(A/I)\\ & \ge & dim{Ext}^{1}(E,E)dim{Ext}^{2}(E,E{)}_{0},\end{array}\end{array}$$ 
(2.1)

where the last inequality comes from the fact that
$A$
is regular of dimension
$=dim{Ext}^{1}(E,E)$
and
$I$
is generated by
$dim{Ext}^{2}(E,E{)}_{0}$
elements.
We need to describe
$\mu $
in greater detail; the resulting description is similar to Nakajima’s construction of the socalled quiver varieties [
22]
. Write
$$\begin{array}{c}E{=}^{s}{\oplus}_{i=1}{W}_{i}\otimes {E}_{i}\end{array}$$ 
(2.2)

with pairwise nonisomorphic stable sheaves
${E}_{i}$
and vector spaces
${W}_{i}$
of dimension
${n}_{i}$
. Let
${W}_{ij}:=Hom({W}_{i},{W}_{j})$
and
${V}_{ij}:={Ext}^{1}({E}_{i},{E}_{j})$
. Then
$$End\left(E\right)={\oplus}_{i}{W}_{ii},{Ext}^{1}(E,E)={\oplus}_{i,j}{W}_{ij}\otimes {V}_{ij},{Ext}^{2}(E,E)={\oplus}_{i}{W}_{ii}.$$
The automorphism group
$$Aut\left(E\right)={\prod}_{i}Aut\left({W}_{i}\right)\sim ={\prod}_{i}Gl\left({n}_{i}\right)=:G\left(n\right)$$
acts on
${Ext}^{1}(E,E)$
by conjugation on the first factor in each direct summand. By SerreDuality, the pairing
$${V}_{ij}\otimes {V}_{ji}\to \mathbb{C},e\otimes {e}^{\prime}\mapsto tr({e}^{\prime}\cup e)$$
is nondegenerate and antisymmetric. This yields a symplectic form
$\omega $
on
${Ext}^{1}(E,E)$
such that
${W}_{ij}\otimes {V}_{ij}$
and
${W}_{ab}\otimes {V}_{ab}$
are perpendicular, unless
$i=b$
and
$j=a$
, in which case
$$\omega :({W}_{ij}\otimes {V}_{ij})\otimes ({W}_{ji}\otimes {V}_{ji})\u27f6\mathbb{C},\omega (A\otimes e,{A}^{\prime}\otimes {e}^{\prime})=tr\left({A}^{\prime}A\right)tr({e}^{\prime}\cup e).$$
Moreover, the quadratic map
$\mu :{Ext}^{1}(E,E)\to {Ext}^{2}(E,E{)}_{0}$
is given by
$$\begin{array}{c}\mu \left({\sum}_{ij}{\sum}_{k}{A}_{ij}^{k}\otimes {e}_{ij}^{k}\right)={\sum}_{ij}{\sum}_{k,\ell}{A}_{ij}^{k}{A}_{ji}^{\ell}tr\left({e}_{ij}^{k}{e}_{ji}^{\ell}\right).\end{array}$$ 
(2.3)

2.8 Strategy
In general we do not know how to compute the Kuranishi map explicitly. However, the explicit description of the quadratic part
$\mu $
given above allows for a detailed study of the fibre
$F:={\mu}^{1}\left(0\right)\subset {Ext}^{1}(E,E)$
. The passage from
$\kappa $
to
$\mu $
corresponds to the passage from the local ring
${\widehat{\mathcal{O}}}_{S,\left[q\right]}$
to the coordinate ring
${\mathcal{O}}_{F}$
of its tangent cone.
In section
3 we show that under certain hypotheses the fibre
$F$
is an irreducible normal complete intersection which is, in case (C), regular in codimension
$\le 3$
and state consequences for the local rings
${\mathcal{O}}_{{R}^{ss},\left[q\right]}$
of points
$\left[q\right]$
in closed orbits of
${R}^{ss}$
.
Section
4 contains a basic irreducibility result for moduli spaces of sheaves on a K3 or abelian surface.
In section
5 it is proved — under the hypothesis that the ample divisor is
$v$
–general — that the moduli space
$M$
is a nonempty irreducible normal variety of expected dimension, and that it is locally factorial in case (C). As an application we show in section 6 that in case (C) the moduli space does not admit a symplectic resolution.
3 Symplectic reduction
3.1 The symplectic momentum map.
Let
$U$
be a smooth affine algebraic variety over
$\mathbb{C}$
endowed with a symplectic form
$\omega $
. Let
$G$
be a reductive group that acts on
$U$
preserving
$\omega $
. This action induces an infinitesimal action of the Lie algebra
$\mathfrak{g}$
of
$G$
, i.e. a homomorphism of Lie algebras
$\mathfrak{g}\to \Gamma (U,{T}_{U})$
. We denote the vector field corresponding to
$A\in \mathfrak{g}$
at
$x\in U$
by
${A}_{x}$
.
A momentum map for the action is a
$G$
equivariant morphism
$\mu :U\to {\mathfrak{g}}^{*}$
with the property that
$d{\mu}_{x}\left(\xi \right)\left(A\right)=\omega (\xi ,{A}_{x})$
for all
$x\in U$
and
$\xi \in {T}_{x}U$
. If a momentum map exists, it is unique up to an additive constant in
$({\mathfrak{g}}^{*}{)}^{G}$
.
Let
$\mu :U\to {\mathfrak{g}}^{*}$
be a momentum map with nullfibre
$F:={\mu}^{1}\left(0\right)$
.
Lemma 3.2.
— Let
$x\in F$
be a point with stabiliser subgroup
$H\subset G$
.
Then the image of
$d{\mu}_{x}:{T}_{x}U\to {\mathfrak{g}}^{*}$
is
$(\mathfrak{g}/\mathfrak{h}{)}^{*}={\mathfrak{h}}^{\perp}$
, where
$\mathfrak{h}\subset \mathfrak{g}$
denotes the Lie algebra of
$H$
. In particular, if
$H$
is finite then
$d{\mu}_{x}$
has maximal rank and
$F$
is regular at
$x$
of dimension
$dim\left(U\right)dim\left(G\right)$
.

Proof.
The image
$d{\mu}_{x}$
annihilates
$A\in \mathfrak{g}$
if and only if
$\omega (\xi ,{A}_{x})=0$
for all
$\xi \in {T}_{x}U$
, i.e. if
${A}_{x}$
is perpendicular to
${T}_{x}U$
with respect to
$\omega $
. As
$\omega $
is nondegenerate, this is equivalent to saying that
${A}_{x}$
vanishes, hence is a tangent vector to the stabiliser subgroup
$H$
. □
Lemma 3.3.
— Let
$\mu :U\to {\mathfrak{g}}^{*}$
be a momentum map with nullfibre
$F$
.
Let
$Z\subset F$
be the closed subset of points with nonfinite stabiliser group.
Let
$d=dimUdim\mathfrak{g}$
.

1.
If
$dim\left(Z\right)\le d1$
, then
$F$
is a reduced complete intersection of dimension
$d$
.

2.
If
$dim\left(Z\right)\le d2$
, then
$F$
is normal.

Proof.
Every irreducible component of
$F$
must have dimension
$\ge d$
since
$F$
is cut out by
$dim\mathfrak{g}$
equations. By Lemma 3.2 ,
$F$
has dimension
$d$
in each point
$x\in F\backslash Z$
.
If
$dimZ<d$
, then
$F\backslash Z$
is dense in
$F$
and every irreducible component has precisely dimension
$d$
. Hence
$F$
is a complete intersection and in particular CohenMacaulay ([
2]
, Cor. III 4.5). Since
$F\backslash Z$
is smooth,
$F$
in addition satisfies condition
${R}_{0}$
and is therefore reduced ([
2]
, Prop. VII 2.2). If in addition
$dim\left(Z\right)\le d2$
, then
$F$
is regular in codimension 1 and normal by Serre’s criterion ([
2]
, Cor. VII 2.13). □
3.4 The key estimate.
We want to apply the lemma to the following particular situation, that arises in the study of local rings of the moduli space of sheaves.
Setup: Let
${W}_{1},\dots ,{W}_{s}$
be a sequence of vector spaces,
$s\ge 1$
. The dimensions
${n}_{i}=dim\left({W}_{i}\right)$
form the components of a vector
$n\in {\mathbb{N}}_{0}^{s}$
. Furthermore, let
${W}_{ij}=Hom({W}_{i},{W}_{j})$
. There is a natural symmetric pairing
$${W}_{ij}\otimes {W}_{ji}\to \mathbb{C},(A,B)\mapsto tr\left(BA\right).$$
Moreover, let
${V}_{ij}$
,
$1\le i,j\le s$
, be vector spaces, equipped with nondegenerate pairings
$${\omega}_{ij}:{V}_{ij}\otimes {V}_{ji}\to \mathbb{C},$$
that are skewsymmetric in the sense that
${\omega}_{ij}(e,{e}^{\prime})={\omega}_{ji}({e}^{\prime},e)$
. Then the vector space
$U\left(n\right):={\oplus}_{i,j}{W}_{ij}\otimes {V}_{ij}$
carries a natural symplectic form
$\omega $
with the property that
${W}_{ij}\otimes {V}_{ij}$
is perpendicular to all
${W}_{ab}\otimes {V}_{ab}$
,
$(a,b)\ne (j,i)$
and
$$\omega :\left({W}_{ij}\otimes {V}_{ij}\right)\otimes \left({W}_{ji}\otimes {V}_{ji}\right)\u27f6\mathbb{C},(A\otimes e)\otimes ({A}^{\prime}\otimes {e}^{\prime})\mapsto tr\left({A}^{\prime}A\right){\omega}_{ij}(e,{e}^{\prime}).$$
In the following arguments the vector spaces
${V}_{ij}$
are fixed and chosen once for all, whereas the sequence of vector spaces
${W}_{i}$
can be replaced by appropriate subspaces etc. We will argue by induction over the dimension vector
$n$
as an element in the monoid
${\mathbb{N}}_{0}^{s}$
. Most objects defined below will therefore be indexed by
$n$
, like the space
$U\left(n\right)$
above, even if this is not quite accurate as they really depend on the spaces
${W}_{i}$
.
The group
$G\left(n\right)={\prod}_{i}Aut\left({W}_{i}\right)$
acts on
$U\left(n\right)$
by conjugation on the first factors in the decomposition. The subgroup of scalars
${\mathbb{C}}^{*}\subset G\left(n\right)$
acts trivially. Let
$PG\left(n\right):=G\left(n\right)/{\mathbb{C}}^{*}$
. The action of
$PG\left(n\right)$
on
$U\left(n\right)$
preserves the symplectic structure. The moment map for the action is
$$\begin{array}{ccc}\mu \left(n\right):U\left(n\right)& \u27f6& \mathfrak{p}\mathfrak{g}(n{)}^{*}\simeq Ker\left({\oplus}_{i}gl\left({n}_{i}\right)\to tr\mathbb{C}\right),\end{array}$$  
$$\begin{array}{ccc}{\sum}_{i,j,k}{A}_{ij}^{\left(k\right)}{v}_{ij}^{\left(k\right)}& \mapsto & {\sum}_{k,\ell}{\sum}_{i,j}{A}_{ij}^{\left(k\right)}{A}_{ji}^{(\ell )}tr({v}_{ij}^{\left(k\right)}\cup {v}_{ji}^{(\ell )})\end{array}$$  
Let
$F\left(n\right):=\mu \left(n{)}^{1}\right(0)\subset U(n)$
denote the nullfibre of the moment map. The structure of
$F\left(n\right)$
depends only on
$n$
and the dimensions
${d}_{ij}:=dim\left({V}_{ij}\right)$
. Let
$D$
denote the matrix
$\left({d}_{ij}\right)$
and let
$a:=min\{{d}_{ij}2{\delta}_{ij}\}$
.
Proposition 3.5.
— Assume that
$a\ge 2$
. Then
$F\left(n\right)$
is an irreducible normal complete intersection of dimension
$d:={n}^{t}(DI)n+1$
. Moreover,
$F\left(n\right)$
is regular in codimension
$\le 3$
with the possible exception of the two cases

1.
$n=(1,1)$
,
${d}_{12}=2$
, and

2.
$n=\left(2\right)$
,
${d}_{11}=4$
.

Proof.
1. Since
$dim\left(U\right(n\left)\right)={\sum}_{i,j}{n}_{i}{n}_{j}{d}_{ij}$
and since the range of
$\mu $
has dimension
${\sum}_{i}{n}_{i}{n}_{i}1$
, the expected dimension of
$F\left(n\right)$
is
$$d={\sum}_{i,j}{n}_{i}{n}_{j}{d}_{ij}{\sum}_{i}{n}_{i}{n}_{i}+1={n}^{t}(DI)n+1.$$
Also,
$F\left(n\right)$
is a cone and hence connected. By Lemma 3.3 , it suffices to show that the locus
$Z$
of points in
$F\left(n\right)$
with nontrivial stabiliser in
$PG\left(n\right)$
has dimension
$\le d4$
in general and
$\le d3$
in the two exceptional cases. This will be done by induction on the dimension vector
$n\in {\mathbb{N}}_{0}^{s}$
.
The induction starts with
$n=(0,\dots ,1,\dots ,0)$
, in which case the statement is trivial. So let
$n\in {\mathbb{N}}_{0}^{s}$
be an arbitrary element and assume that the proposition holds for all
${n}^{\prime}\in {\mathbb{N}}_{0}^{s}$
such that
$0<{\sum}_{i}{n}_{i}^{\prime}<{\sum}_{i}{n}_{i}$
.
2. We can analyse
$Z$
as follows: Let
$g\in G\left(n\right)$
,
$g/\in {\mathbb{C}}^{*}$
, and consider the corresponding fixed point locus
$F(n{)}^{g}$
. The image
$G\left(n\right)F(n{)}^{g}$
of the morphism
$\phi :G\left(n\right)\times F(n{)}^{g}\to F(n)$
,
$({g}^{\prime},x)\mapsto {g}^{\prime}x$
, consists of all points
$y\in F$
whose stabiliser subgroup
$G(n{)}_{y}$
contains an element conjugate to
$g$
. Suppose that
$H\subset G\left(n\right)$
is a subgroup that stabilises the fixed point set
$F(n{)}^{g}$
. Then we can bound the dimension of the fibres of
$\phi $
by
$dim\left(H\right)$
. It follows that
$dim\left(G\right(n\left)F\right(n{)}^{g})\le dimF(n{)}^{g}+dimG\left(n\right)dimH$
. In the following we will describe a finite set of elements
$g$
such that
$Z$
is covered by the corresponding sets
$G\left(n\right)F(n{)}^{g}$
and such that for each
$g$
one has
$dim\left(G\right(n\left)F\right(n{)}^{g})\le d3$
or
$\le d4$
. This gives the desired bound for
$dim\left(Z\right)$
.
3. Let
$g=({g}_{1},\dots ,{g}_{s})\in G\left(n\right)$
,
$g/\in {\mathbb{C}}^{*}$
. We distinguish three cases: 3.1. Case:
$g$
is semisimple. For each
$\lambda \in \mathbb{C}$
consider the eigenspaces
${W}_{i}\left(\lambda \right)\subset {W}_{i}$
of
${g}_{i}$
, and let
${n}_{i}\left(\lambda \right)=dim\left({W}_{i}\right(\lambda \left)\right)$
,
$n\left(\lambda \right)=\left({n}_{i}\right(\lambda ){)}_{i}$
. Then
$n={\sum}_{\lambda}n\left(\lambda \right)$
. There is a decomposition
$$U(n{)}^{g}={\oplus}_{\lambda}U(n\left(\lambda \right)),U(n\left(\lambda \right))={\oplus}_{ij}Hom({W}_{i}\left(\lambda \right),{W}_{j}\left(\lambda \right))\otimes {V}_{ij}.$$
Moreover, the restriction of the momentum map to the fixed point locus splits into a product of momentum maps for each
$U\left(n\right(\lambda \left)\right)$
:
$$\mu \left(n\right){}_{U(n{)}^{g}}={\prod}_{\lambda}\mu \left(n\right(\lambda \left)\right),\mu \left(n\right(\lambda \left)\right):U\left(n\right(\lambda \left)\right)\u27f6\mathfrak{p}\mathfrak{g}\left(n\right(\lambda ){)}^{*}.$$
It follows that
$$F(n{)}^{g}={\prod}_{\lambda}F(n\left(\lambda \right)\left)\text{with}F\right(n\left(\lambda \right))=\mu (n\left(\lambda \right){)}^{1}\left(0\right).$$
By induction, we have
$$dim\left(F\right(n{)}^{g})={\sum}_{\lambda}dim(F\left(n\right(\lambda \left)\right)={{\sum}_{\lambda}}^{\prime}\left(n\left(\lambda {)}^{t}\right(DI\left)n\right(\lambda )+1\right),$$
where
${\sum}^{\prime}$
indicates that we only sum over all
$\lambda $
with
$n\left(\lambda \right)\ne 0$
.
Next,
$U(n{)}^{g}$
is stabilised by
$H={\prod}_{\lambda}G\left(n\right(\lambda \left)\right)$
, a subgroup in
$G\left(n\right)$
of codimension
${n}^{t}n{\sum}_{\lambda}n\left(\lambda {)}^{t}n\right(\lambda )$
. We obtain the following upper bound for the dimension of
$G\left(n\right)F(n{)}^{g}$
:
$$dim\left(G\right(n\left)F\right(n{)}^{g})\le {{\sum}_{\lambda}}^{\prime}\left(n\left(\lambda {)}^{t}\right(D2I\left)n\right(\lambda )+1\right)+{n}^{t}n.$$
Note that
$\nu :=\left\right\{\lambda \leftn\right(\lambda )\ne 0\}\ge 2$
, since
$g/\in {\mathbb{C}}^{*}$
. The difference of
$dim\left(G\right(n\left)F\right(n{)}^{g})$
to the expected dimension of
$F\left(n\right)$
is therefore bounded below by
$$\begin{array}{ccc}\Delta & :=& \left({n}^{t}(D2I)n+1\right){{\sum}_{\lambda}}^{\prime}\left(n\left(\lambda {)}^{t}\right(D2I\left)n\right(\lambda )+1\right)\end{array}$$  
$$\begin{array}{ccc}& =& {\sum}_{\lambda \ne \mu}n\left(\lambda {)}^{t}\right(D2I\left)n\right(\mu )(\nu 1)\end{array}$$  
$$\begin{array}{ccc}& \ge & 2\nu (\nu 1)(\nu 1)=(2\nu 1)(\nu 1)\ge 3.\end{array}$$  
Clearly,
$\Delta \ge 4$
for
$\nu \ge 3$
. Assume that
$\nu =2$
, say with the distinct eigenvalues
$\lambda $
and
${\lambda}^{\prime}$
. Then
$$\Delta \ge 2{\sum}_{i,j}{n}_{i}\left({\lambda}^{\prime}\right){n}_{j}\left({\lambda}^{\prime \prime}\right)({d}_{ij}2{\delta}_{ij})1\ge 2a{\sum}_{i}{n}_{i}\left({\lambda}^{\prime}\right){\sum}_{i}{n}_{i}\left(\lambda \right)1.$$
Thus
$\Delta =3$
implies
$a=2$
and
${\sum}_{i}{n}_{i}\left(\lambda \right)=1={\sum}_{i}{n}_{i}\left({\lambda}^{\prime}\right)$
. Hence there are only the following exceptional cases:

1.
$s=1$
,
$n=2$
,
${d}_{11}=2+2{\delta}_{11}=4$
, or

2.
$s=2$
,
$n=(1,1)$
and
${d}_{12}={d}_{21}=2$
.
If a point
$f\in F\left(n\right)$
is fixed by a semisimple element, it is also fixed by a whole subtorus
$T\subset G\left(n\right)$
. Up to a conjugation, there is only a finite number of such subtori
${T}_{i}\subset G\left(n\right)$
. Choosing an element
${g}_{i}\in {T}_{i}$
in each of these subtori, we see that the union of all sets
$G\left(n\right)F(n{)}^{g}$
,
$g$
semisimple, is covered by the finite union of all sets
$G\left(n\right)F(n{)}^{{g}_{i}}$
.
3.2.
Case:
$g$
is unipotent. We may write
$g=1+h$
, with a nonzero nilpotent element
$h=({h}_{1},\dots ,{h}_{s})\in {\oplus}_{i}End\left({W}_{i}\right)$
. Let
${K}_{i}^{(\ell )}:=ker\left({h}_{i}^{\ell}\right)\subset {W}_{i}$
and
${m}_{i}(\ell ):=dim{K}_{i}^{(\ell )}$
for all
$\ell \in {\mathbb{N}}_{0}$
. There is a filtration
$$0={K}_{i}^{\left(0\right)}\subset {K}_{i}^{\left(1\right)}\subset \dots ={W}_{i}.$$
For each level
$\ell >0$
we choose a graded complement
${W}_{i}^{(\ell )}$
to
$h{K}_{i}^{(\ell +1)}+{K}_{i}^{(\ell 1)}$
in
${K}^{(\ell )}$
and let
${n}_{i}^{(\ell )}=dim{W}_{i}^{(\ell )}$
. (We note that this is an instance of the socalled JacobsonMorozovDeligne filtration associated to a nilpotent element, see [
8,1.6]
; the spaces
${W}_{i}^{(\ell )}$
are the primitive subspaces with respect to an
$s{l}_{2}$
triple containing
$h$
.) Suppose that
$A=\left({A}_{ij}\right)\in {\oplus}_{ij}Hom({W}_{i},{W}_{j})$
commutes with
$h$
. Then
${A}_{ij}$
is completely determined by its value on the spaces
${W}_{i}^{(\ell )}$
,
$\ell \in \mathbb{N}$
, and conversely, any value of
${A}_{ij}:{W}_{i}^{(\ell )}\to {K}_{j}^{(\ell )}$
can be prescribed. The composition with the canonical projection
${K}_{j}^{(\ell )}\to {W}_{j}^{(\ell )}$
defines a homomorphism
${A}_{ij}^{(\ell )}:{W}_{i}^{(\ell )}\u27f6{W}_{j}^{(\ell )}$
, and the map
$$\Phi :{\left({\oplus}_{ij}Hom({W}_{i},{W}_{j})\right)}^{g}\u27f6{\oplus}_{\ell}\left({\oplus}_{ij}Hom({W}_{i}^{(\ell )},{W}_{j}^{(\ell )})\right),\left({A}_{ij}\right)\mapsto \left({A}_{ij}^{(\ell )}\right),$$
is a ring homomorphism. Let
$${\Phi}_{V}:U(n{)}^{g}={\left({\oplus}_{i,j}{W}_{ij}\otimes {V}_{ij}\right)}^{g}\u27f6{\oplus}_{\ell}U({n}^{(\ell )})={\oplus}_{\ell}{\oplus}_{i,j}Hom({W}_{i}^{(\ell )},{W}_{j}^{(\ell )})\otimes {V}_{ij}$$
be analogously defined. Then
${\Phi}_{V}\left(F\right(n{)}^{g})\subset {\prod}_{\ell}F({n}^{(\ell )})$
, and the fibres of
${\Phi}_{V}$
have dimension
${\sum}_{\ell}{{n}^{(\ell )}}^{t}D({m}^{(\ell )}{n}^{(\ell )})$
. By induction, this yields the bound
$$\begin{array}{ccc}dim\left(F\right(n{)}^{g})& \le & {\sum}_{\ell}dim\left(F\right(n(\ell ))+dim(ker\left({\Phi}_{V}\right))\end{array}$$  
$$\begin{array}{ccc}& =& {{\sum}_{\ell}}^{\prime}\left({{n}^{(\ell )}}^{t}(DI){n}^{(\ell )}+1\right)+{\sum}_{\ell}{{n}^{(\ell )}}^{t}D({m}^{(\ell )}{n}^{(\ell )}),\end{array}$$  
where
${\sum}^{\prime}$
signifies summation over all
$\ell $
with
${n}^{(\ell )}\ne 0$
. Moreover, the centraliser
$H\subset G\left(n\right)$
of
$g$
is an open subset in
$${\left({\oplus}_{i}End\left({W}_{i}\right)\right)}^{g}\sim ={\oplus}_{\ell}{\oplus}_{i}Hom({W}_{i}^{(\ell )},{K}_{i}^{(\ell )})$$
and therefore has dimension
$dim\left(H\right)={\sum}_{\ell}{{n}^{(\ell )}}^{t}{m}^{(\ell )}$
. Connecting these pieces of information we obtain
$$\begin{array}{ccc}dim\left(G\right(n\left)F\right(n{)}^{g})& \le & dim\left(F\right(n{)}^{g})+dim(G\left(n\right))dim(H)\end{array}$$  
$$\begin{array}{ccc}& \le & {{\sum}_{\ell}}^{\prime}\left({{n}^{(\ell )}}^{t}(DI){n}^{(\ell )}+1\right)+{\sum}_{\ell}{{n}^{(\ell )}}^{t}D({m}^{(\ell )}{n}^{(\ell )})\end{array}$$  
$$\begin{array}{ccc}& & +{n}^{t}n{\sum}_{\ell}{{n}^{(\ell )}}^{t}{m}^{(\ell )}.\end{array}$$  
The difference of the last expression to the expected dimension of
$F\left(n\right)$
is
$$\Delta :=\left[{n}^{t}(DI)n{n}^{t}n+1\right]{{\sum}_{\ell}}^{\prime}\left[{{n}^{(\ell )}}^{t}(DI){m}^{(\ell )}{{n}^{(\ell )}}^{t}{n}^{(\ell )}+1\right].$$
Note that the two bracketed expressions are not quite symmetric to each other due to the presence of
${m}^{(\ell )}$
instead on
${n}^{(\ell )}$
. We can get rid of
$n$
and
${m}^{(\ell )}$
due to the relations
$${m}^{(\ell )}={\sum}_{k}{n}^{\left(k\right)}min\{k,\ell \},n={\sum}_{k}{n}^{\left(k\right)}k,$$
and can rewrite the bound
$\Delta $
in terms of the
${n}^{\left(k\right)}$
as follows:
$$\Delta ={\sum}_{\ell ,k}{{n}^{\left(k\right)}}^{t}(DI){n}^{(\ell )}\left(k\ell min\{k,\ell \}\right){\sum}_{k,\ell}{{n}^{\left(k\right)}}^{t}{n}^{(\ell )}k\ell +{{\sum}_{k}}^{\prime}\left({{n}^{\left(k\right)}}^{t}{n}^{\left(k\right)}1\right)+1$$
Reorganise the sum in collecting those terms that contain
${n}^{\left(1\right)}$
:
$$\begin{array}{ccc}\Delta =1+\left[1+2{{n}^{\left(1\right)}}^{t}{\sum}_{k\ge 2}\left((k1)(D2I)I\right){n}^{\left(k\right)}\right]+{{\sum}_{k\ge 2}}^{\prime}\left({{n}^{\left(k\right)}}^{t}{n}^{\left(k\right)}1\right)& & \end{array}$$  
$$\begin{array}{ccc}& & +{\sum}_{k,\ell \ge 2}{{n}^{\left(k\right)}}^{t}\left((k\ell min\{k,\ell \left\}\right)(D2I)min\{k,\ell \}I\right){n}^{(\ell )}\end{array}$$  
Here the second summand
$[\dots ]$
appears only if
${n}^{\left(1\right)}\ne 0$
. Note that there always is at least one index
$k\ge 2$
with
${n}^{\left(k\right)}\ne 2$
, since
$h\ne 0$
. This shows that all summands in the last expression for
$\Delta $
are nonnegative.
The minimal contribution of a nonzero vector
${n}^{\left(k\right)}$
,
$k\ne 2$
, to
$\Delta $
is
$$k\left(\right(k1)a1){\left({\sum}_{i}{n}_{i}^{\left(k\right)}\right)}^{2}\ge 2.$$
Thus we always have
$\Delta \ge 3$
, and even better:
$\Delta \ge 4$
in all cases except
$$a=2,{n}^{\left(2\right)}=\left(1\right),{n}^{\left(k\right)}=0\text{for all}k\ne 2.$$
In this case
$s=1$
,
$n=\left(2\right)$
, and
${d}_{11}=4$
, which is the same exceptional case as before.
As in the semisimple case, the union of all sets
$G\left(n\right)F(n{)}^{g}$
,
$g$
unipotent, is covered by a finite number of such sets. In fact, this is even easier to see: up to conjugation there are only finitely many different nilpotent elements
$h$
and hence only finitely many different subschemes
$G\left(n\right)F(n{)}^{1+h}\subset Z$
.
3.3. Case:
$g\in G\left(n\right)\backslash {\mathbb{C}}^{*}$
arbitrary. Consider the multiplicative Jordan decomposition
$g=su$
, where
$s$
is semisimple,
$u$
is unipotent and
$s$
and
$u$
commute. Any endomorphism that commutes with
$g$
also commutes with
$s$
and
$u$
. This implies that
$F(n{)}^{g}\subset F(n{)}^{s}\cap F(n{)}^{u}$
, so that the general case is covered by 3.1. and 3.2. above. □
3.6 Return from the normal cone
Let
${v}_{0}\in {H}^{even}(X,\mathbb{Z})$
be a primitive Mukai vector satisfying
$(*)$
. Let
$v=m{v}_{0}$
for some multiplicity
$m\in \mathbb{N}$
. We keep the notation introduced earlier.
Proposition 3.7.
— Let
$H$
be an arbitrary ample divisor. Let
$E={\oplus}_{i=1}^{s}{E}_{i}^{\oplus {n}_{i}}$
be a polystable sheaf whose stable direct summands
${E}_{i}$
satisfy the condition
$$\begin{array}{c}v\left({E}_{i}\right)\in \mathbb{N}{v}_{0}\end{array}$$ 
(3.1)

Consider a point
$[q:\mathcal{\mathscr{H}}\to E]\in {R}^{ss}$
and a slice
$S\subset {R}^{ss}$
to the orbit of
$\left[q\right]$
as above. Then
${\mathcal{O}}_{S,\left[q\right]}$
is a normal complete intersection domain of dimension
$$dim{Ext}^{1}(E,E)dim{Ext}^{2}(E,E{)}_{0}=1+{\sum}_{i,j}{n}_{i}(dim{Ext}^{1}({E}_{i},{E}_{j}){\delta}_{ij}){n}_{j},$$
that has property
${R}_{3}$
in all cases except the following two:

1.
$s=1$
,
${n}_{1}=2$
,
$dim{Ext}^{1}({E}_{1},{E}_{1})=4$
,

2.
$s=2$
,
${n}_{1}={n}_{2}=1$
,
$dim{Ext}^{1}({E}_{1},{E}_{2})=2$
.

Proof.
Recall the notation introduced in sections 2.6 and 2.7 . By Proposition 3.5 ,
$F={\mu}^{1}\left(0\right)=Spec(grA/J)$
is a normal complete intersection variety of dimension
$$\begin{array}{ccc}dim\left(F\right)& =& 1+{\sum}_{i,j}{n}_{i}(dim{Ext}^{1}({E}_{i},{E}_{j}){\delta}_{ij}){n}_{j}\end{array}$$  
$$\begin{array}{ccc}& =& dim{Ext}^{1}(E,E)dim{Ext}^{2}(E,E{)}_{0}.\end{array}$$  
Therefore, we must have equality at all places in inequality 2.1 . Furthermore, since
$F=Spec(grA/J)$
is reduced and irreducible, the equality of dimensions implies
$J=in\left(I\right)$
. It follows that
$$gr\left({\widehat{\mathcal{O}}}_{S,\left[q\right]}\right)=gr(A/I)=grA/in\left(I\right)=\Gamma (F,{\mathcal{O}}_{F})$$
is a normal complete intersection. In particular,
$gr\left({\widehat{\mathcal{O}}}_{S,\left[q\right]}\right)$
is CohenMacaulay, hence satisfies
${S}_{k}$
for all
$k\in \mathbb{N}$
. Unless we are in the two exceptional cases,
$gr\left({\widehat{\mathcal{O}}}_{S,\left[q\right]}\right)$
is smooth in codimension 3. Now remark that
$gr\left({\widehat{\mathcal{O}}}_{S,\left[q\right]}\right)=gr\left({\mathcal{O}}_{S,\left[q\right]}\right)$
([1] , 10.22) and then use the following proposition which shows that
${\mathcal{O}}_{S,\left[q\right]}$
itself is a normal complete intersection which, unless we are in the two exceptional cases, satisfies
${R}_{3}$
. □
Proposition 3.8.
— Let
$B$
be a noetherian local ring with maximal ideal
$\mathfrak{m}$
and residue field
$B/\mathfrak{m}\sim =\mathbb{C}$
. Let
$grB$
denote the graded ring associated to the
$\mathfrak{m}$
adic filtration of
$B$
. Then
$dim\left(B\right)=dim(grB)$
, and if
$grB$
is an integral domain or normal or a complete intersection then the same is true for
$B$
. Moreover if
$grB$
satisfies
${R}_{k}$
and
${S}_{k+1}$
for some
$k\in \mathbb{N}$
then
$B$
satisfies
${R}_{k}$
.

Proof.
The assertion about integrality and normality is Krull’s theorem (see [20] (17.D) Thm 34). The assertions about complete intersections and the property
${R}_{k}$
are due to Cavaliere and Niesi ([6] , Theorems 3.4 and 3.13). □
Lemma 3.9.
— The assumption 3.1 in Proposition 3.7 is satisfied in any of the following two situations:

1.
$H$
is
$v$
–general.

2.
$E={E}_{0}^{\oplus m}$
for some stable sheaf
${E}_{0}$
with
$v\left({E}_{0}\right)={v}_{0}$
.
The exceptions of Proposition 3.7 are met in case (B) only, i. e. if
$\langle {v}_{0},{v}_{0}\rangle =2$
and
$m=2$
.

Proof.
Under the assumption that
$H$
is
$v$
–general one has
$v\left({E}_{j}\right)={r}_{j}{v}_{0}$
for some
${r}_{j}\in \mathbb{N}$
and all direct summands
${E}_{j}$
of
$E$
. Then
$dim{Ext}^{1}({E}_{i},{E}_{j})={r}_{i}{r}_{j}\langle {v}_{0},{v}_{0}\rangle \ge 2$
.
Thus Proposition
3.7 applies. □
Proposition 3.10.
— 1. Let
$H$
be a
$v$
–general ample divisor. Then
${R}^{ss}$
is normal and locally a complete intersection of dimension
$\langle v,v\rangle +1+{N}^{2}$
.
In case (C) it has property
${R}_{3}$
and hence is locally factorial.
2. Suppose that
$E={E}_{0}^{\oplus m}$
for some stable sheaf
${E}_{0}$
with
$v\left({E}_{0}\right)={v}_{0}$
.
Let
$H$
be an arbitrary ample divisor. In case (C), there is an open neighbourhood
$U$
of
$\left[E\right]\in {M}_{v}$
such that
${\pi}^{1}\left(U\right)\subset {R}^{ss}$
is locally factorial of dimension
$\langle v,v\rangle +1+{N}^{2}$
.

Proof.
1. Let
$\left[q\right]\in {R}^{ss}$
be a point with closed orbit, and let
$S\subset {R}^{ss}$
be a
$PAut\left(E\right)$
–equivariant subscheme as in subsection 2.5 . By Lemma 3.9 and Proposition 3.7 , the local ring
${\mathcal{O}}_{S,\left[q\right]}$
is a normal complete intersection that has property
${R}_{3}$
in case (C). But being normal or locally a complete intersection or having property
${R}_{k}$
are open properties [EGA IV 19.3.3, 6.12.9]. Hence there is an open neighbourhood
$U$
of
$\left[q\right]$
in
$S$
that is normal, locally a complete intersection, and has property
${R}_{3}$
in case (C). The natural morphism
$PGl\left(N\right)\times S\to {R}^{ss}$
is smooth. Therefore every closed orbit in
${R}^{ss}$
has an open neighbourhood that is normal, locally a complete intersection, and has property
${R}_{3}$
in case (C). Finally, every
$PGl\left(N\right)$
–orbit of
${R}^{ss}$
meets such an open neighbourhood. It follows that
${R}^{ss}$
is normal, locally a complete intersection. In case (C),
${R}^{ss}$
is regular in codimension 3 and hence locally factorial due to the following theorem of Grothendieck. 2. The second assertion follows analogously. □
Theorem 3.11.
(Grothendieck [
12]
Exp. XI Cor. 3.14) — Let
$B$
be noetherian local ring. If
$B$
is a complete intersection and regular in codimension
$\le 3$
, then
$B$
is factorial.
4 A basic irreducibility result
The following theorem generalises a beautiful result of Mukai [
21]
.
Theorem 4.1.
— Let
$X$
be a projective K3 or abelian surface with an ample divisor
$H$
. Let
${M}_{v}$
be the moduli space of semistable sheaves associated to a vector
$v\in {H}^{even}(X,\mathbb{Z})$
. Suppose that
$Y\subset {M}_{v}$
is a connected component parametrising stable sheaves only. Then
${M}_{v}=Y$
.

Proof.
1. Since all points in
$Y$
correspond to stable sheaves,
$Y$
is smooth of expected dimension
$dim\left(Y\right)=2+\langle v,v\rangle $
. Fix a point
$\left[F\right]\in Y$
and suppose that there is a point
$\left[G\right]\in {M}_{v}\backslash Y$
. We shall exploit a beautiful old idea of Mukai [21] : assume for a moment that there were a universal family
$\mathbb{F}\in \text{Coh}(Y\times X)$
. Let
$p:Y\times X\to Y$
and
$q:Y\times X\to X$
be the projections. We may then compare the relative Extsheaves
${Ext}_{p}^{\bullet}({q}^{*}F,\mathbb{F})$
and
${Ext}_{p}^{\bullet}({q}^{*}G,\mathbb{F})$
. Since
$F$
and
$G$
are numerically equal on
$X$
, the same is true for the classes of the Extsheaves according to the GrothendieckRiemannRoch theorem. This will lead to a contradiction.
2. In general, there is no universal family, but the following construction will be sufficient:
Lemma 4.2.
— There is a smooth projective variety
${Y}^{\prime}$
that parametrises a family
$\mathbb{F}$
of stable sheaves on
$X$
with Mukai vector
$v$
such that the classifying morphism
$f:{Y}^{\prime}\to Y$
is surjective, generically finite, and etale over a neighbourhood of
$\left[F\right]$
.

Proof.
Let
${R}^{\prime}:=Y{\times}_{{M}_{v}}{R}^{ss}$
. Then
${R}^{\prime}\to Y$
is a
$PGl\left(N\right)$
–principal fibre bundle, locally trivial in the etale topology. Moreover, there is a universal epimorphism
${\mathcal{O}}_{{R}^{\prime}}\u22a0\mathcal{\mathscr{H}}\to {\mathbb{F}}^{\prime}$
. We form the quotient
$P:=({\mathbb{P}}^{N1}\times {R}^{\prime})//Gl\left(N\right)$
. Then
$P$
is a smooth projective variety, and the natural morphism
$P\to Y$
is locally a product in the etale topology with fibres isomorphic to
${\mathbb{P}}^{N1}$
. The center
${\mathbb{C}}^{*}\subset Gl\left(N\right)$
acts trivially on the family
${\mathcal{O}}_{{\mathbb{P}}^{N1}}(1)\u22a0{\mathbb{F}}^{\prime}$
. Therefore, this sheaf descends to a family
${\mathbb{F}}_{P}$
on
$P\times X$
. Let
$L$
be a very ample line bundle on
$P$
. Choose a linear subspace
$Z\subset \mathbb{P}\left({H}^{0}\right(P,L\left)\right)$
of codimension
$N1$
in such a way that
${Y}^{\prime}:=Z\cap P$
is smooth and
$f:{Y}^{\prime}\to Y$
is etale over a neighbourhood of
$\left[F\right]$
. Finally, let
$\mathbb{F}:={\mathbb{F}}_{P}{}_{{Y}^{\prime}\times X}$
. □
3. Let
$f:{Y}^{\prime}\to Y$
and
$\mathbb{F}$
be chosen as in the lemma and let
$p:{Y}^{\prime}\times X\to {Y}^{\prime}$
and
$q:{Y}^{\prime}\times X\to X$
denote the two projections. Moreover, let
${f}^{1}\left(\right[F\left]\right)=\{{p}_{1},\dots ,{p}_{n}\}$
.
As
$G$
represents a point in
$M\backslash Y$
and hence is not isomorphic to any of the stable sheaves
$E$
,
$\left[E\right]\in Y$
, one has
$Hom(G,E)=0={Ext}^{2}(G,E)$
for all
$\left[E\right]\in Y$
.
It follows that
${Ext}_{p}^{0}({q}^{*}G,\mathbb{F})$
and
${Ext}_{p}^{2}({q}^{*}G,\mathbb{F})$
vanish and that
$W:={Ext}_{p}^{1}({q}^{*}G,\mathbb{F})$
is a locally free sheaf on
${Y}^{\prime}$
of rank
$\langle v,v\rangle =dim\left(Y\right)2$
.
If
$G$
is replaced by
$F$
the situation gets more complicated as the dimension of the Extgroups jumps on the fibre
$T$
. There is a complex of locally free
${\mathcal{O}}_{{Y}^{\prime}}$
–sheaves
$$\begin{array}{c}0\u27f6{A}^{0}\to \alpha {A}^{1}\to \beta {A}^{2}\u27f60\end{array}$$ 
(4.1)

with the property that
${Ext}_{{p}_{{}_{S}}}^{i}({t}_{{}_{X}}^{*}{q}^{*}G,{t}_{X}^{*}\mathbb{F})\sim ={h}^{i}\left({t}^{*}\right({A}^{\bullet}\left)\right)$
for every base change
$$\begin{array}{c}\begin{array}{ccccc}S\times X& \to {t}_{X}& {Y}^{\prime}\times X& \to q& X\\ {p}_{S}\downarrow & & p\downarrow \\ S& \to t& {Y}^{\prime}.\end{array}\end{array}$$ 
(4.2)

Lemma 4.3.
— The degeneracy locus of
$\alpha $
and
$\beta $
is the union of the reduced points
${p}_{1},\dots ,{p}_{n}$
. Moreover,
$rk\alpha \left({p}_{i}\right)=rk{A}^{0}1$
and
$rk\beta \left({p}_{i}\right)=rk{A}^{2}1$
for
$i=1,\dots ,n$
.

Proof.
For all
$\left[E\right]\in Y$
,
$E\nsim =F$
, one has
$Hom(F,E)=0={Ext}^{2}(F,E)$
. This implies that
$\alpha $
and
$\beta $
have maximal rank on
${Y}^{\prime}\backslash \{{p}_{1},\dots ,{p}_{n}\}$
. Moreover,
$Hom(F,F)=\mathbb{C}={Ext}^{2}(F,F)$
, and this gives the second assertion of the lemma. It remains to show that the degeneracy locus is reduced. Recall that tangent vectors in
${T}_{\left[F\right]}Y$
correspond bijectively to elements
$\gamma \in {Ext}^{1}(F,F)$
. Let
${F}_{\gamma}$
be the infinitesimal extension of
$F$
over
$Spec\mathbb{C}\left[\varepsilon \right]$
corresponding to
$\gamma $
. The extension
$$\begin{array}{c}0\u27f6F\to \varepsilon {F}_{\gamma}\u27f6F\u27f60\end{array}$$ 
(4.3)

induces a long exact sequence
$$\u27f6{Ext}^{i}(F,F)\u27f6{Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{i}(F\otimes \mathbb{C}[\varepsilon ],{F}_{\gamma})\u27f6{Ext}^{i}(F,F)\to \partial {Ext}^{i+1}(F,F)\u27f6$$
where the boundary operator is given by
$\partial \left(e\right)=\gamma \cup e$
. Now
$\gamma \cup :\mathbb{C}=End(F,F)\to {Ext}^{1}(F,F)$
is clearly injective, and
$\gamma \cup :{Ext}^{1}(F,F)\to {Ext}^{2}(F,F)$
is surjective since the symplectic form on
${Ext}^{1}(F,F)$
is nondegenerate. It follows that
${Ext}^{0}(F,F)\sim ={Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{0}(F\otimes \mathbb{C}[\varepsilon ],{F}_{\gamma})$
and
${Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{2}(F\otimes \mathbb{C}[\varepsilon ],{F}_{\gamma})\sim ={Ext}^{2}(F,F)$
. If the degeneracy locus of
$\alpha $
resp.
$\beta $
were not reduced, the corresponding
$Ext$
groups should be bigger than
$\mathbb{C}$
for at least one
$\gamma $
. The calculation shows that this is not the case. □
4. Let
$\sigma :Z\to Y$
denote the blowup of
$Y$
in
$\left[F\right]$
with exceptional divisor
$D$
and similarly
$\phi :{Z}^{\prime}\to {Y}^{\prime}$
the blowup of
${Y}^{\prime}$
in all points
${p}_{i}$
with corresponding exceptional divisors
${D}_{i}$
.
$$\begin{array}{c}\begin{array}{ccccccc}D& \subset & Z& \leftarrow g& {Z}^{\prime}& \supset & {D}_{i}\\ \downarrow & & \sigma \downarrow & & \phi \downarrow & & \downarrow \\ \left[F\right]& \in & Y& \leftarrow f& {Y}^{\prime}& \ni & {p}_{i}\end{array}\end{array}$$ 
(4.4)

According to the lemma, the degeneracy locus of both
${\phi}^{*}\left(\alpha \right)$
and
${\phi}^{*}\left(\beta \right)$
is precisely the smooth divisor
${D}^{\prime}={D}_{1}\cup \dots \cup {D}_{n}$
. Therefore these maps factor as follows:
$$\begin{array}{c}{\phi}^{*}{A}^{0}\subset {{A}^{\prime}}^{0}\to {\alpha}^{\prime}{\phi}^{*}{A}^{1}\to {\beta}^{\prime}{{A}^{\prime}}^{2}\subset {\phi}^{*}{A}^{2},\end{array}$$ 
(4.5)

where
${{A}^{\prime}}^{0}$
and
${{A}^{\prime}}^{2}$
are locally free,
${\alpha}^{\prime}$
and
${\beta}^{\prime}$
are homomorphisms of maximal rank. Moreover, the line bundles
$L:={\phi}^{*}{A}^{2}/{{A}^{\prime}}^{2}$
and
$M:={{A}^{\prime}}^{0}/{\phi}^{*}{A}^{0}$
on
${D}^{\prime}$
are characterised by the canonical isomorphisms
$$L\otimes {\mathcal{O}}_{{D}^{\prime}}\sim ={Ext}_{{D}^{\prime}}^{2}({q}^{*}F,{\mathcal{O}}_{D}\u22a0\mathbb{F}{}_{{f}^{1}\left(\right[F\left]\right)\times X})\sim ={Ext}^{2}(F,F){\otimes}_{\mathbb{C}}{\mathcal{O}}_{{D}^{\prime}}$$
and
$${Tor}_{1}^{{\mathcal{O}}_{{Z}^{\prime}}}(M,{\mathcal{O}}_{{D}^{\prime}})\sim ={Ext}_{{D}^{\prime}}^{0}({q}^{*}F,{\mathcal{O}}_{D}\u22a0\mathbb{F}{}_{{f}^{1}\left(\right[F\left]\right)\times X})\sim =Hom(F,F){\otimes}_{\mathbb{C}}{\mathcal{O}}_{{D}^{\prime}},$$
implying
$$\begin{array}{c}L\sim {=}^{n}{\oplus}_{i=1}{\mathcal{O}}_{{D}_{i}}\text{and}M\sim {=}^{n}{\oplus}_{i=1}{\mathcal{O}}_{{D}_{i}}\left({D}_{i}\right).\end{array}$$ 
(4.6)

5. Let
${W}^{\prime}$
denote the middle cohomology of the complex
$$0\u27f6{{A}^{\prime}}^{0}\to {\alpha}^{\prime}{\phi}^{*}{A}^{1}\to {\beta}^{\prime}{{A}^{\prime}}^{2}\u27f60.$$
${W}^{\prime}$
is locally free of rank
$dimY2$
. We obtain the following equation of Chern classes in
${H}^{*}({Z}^{\prime},\mathbb{Z})$
:
$$\begin{array}{c}{\phi}^{*}c({A}^{1}{A}^{0}{A}^{2})=c({W}^{\prime}+ML).\end{array}$$ 
(4.7)

On the other hand, as
$c\left(F\right)=c\left(G\right)$
in
${H}^{*}(X,\mathbb{Z})$
, the GrothendieckRiemannRoch Theorem yields the following identity in
${H}^{*}({Y}^{\prime},\mathbb{Z})$
:
$$\begin{array}{c}c({A}^{1}{A}^{0}{A}^{2})=c\left({Ext}_{p}^{\bullet}\right({q}^{*}F,\mathbb{F}\left)\right)=c\left({Ext}_{p}^{\bullet}\right({q}^{*}G,\mathbb{F}\left)\right)=c\left(W\right).\end{array}$$ 
(4.8)

Combining 4.7 and 4.8 , we conclude that
$$\begin{array}{c}c\left({W}^{\prime}\right)={\phi}^{*}c\left(W\right)\cdot c(LM)\in {H}^{*}({Z}^{\prime},\mathbb{Z})\end{array}$$ 
(4.9)

Moreover,
$$c(LM){=}^{n}{\prod}_{i=1}\frac{c\left({\mathcal{O}}_{{D}_{i}}\right)}{c\left({\mathcal{O}}_{{D}_{i}}\right({D}_{i}\left)\right)}{=}^{n}{\prod}_{i=1}\frac{1}{c\left({\mathcal{O}}_{{Z}^{\prime}}\right({D}_{i}\left)\right)c\left({\mathcal{O}}_{{Z}^{\prime}}\right({D}_{i}\left)\right)}=1+{\sum}_{k=1}^{\infty}{\sum}_{i=1}^{n}{D}_{i}^{2k}.$$
The product of any cohomology class in
${H}^{*}({Y}^{\prime},\mathbb{Z})$
of positive degree with any of the classes
${D}_{i}$
is zero. It follows that
$${c}_{2k}\left({W}^{\prime}\right)={\phi}^{*}{c}_{2k}\left(W\right)+{\sum}_{i=1}^{n}{D}_{i}^{2k}\text{for all}k>0.$$
The key point now is that both
$W$
and
${W}^{\prime}$
are vector bundles of rank
$dim\left(Y\right)2$
, so that the Chern classes
${c}_{dim\left(Y\right)}\left(W\right)$
and
${c}_{dim\left(Y\right)}\left({W}^{\prime}\right)$
vanish (cf. [19] , Lemma 4).
We get the contradiction
$$0={\sum}_{i=1}^{n}{D}_{i}^{dim\left(Y\right)}=n.$$
This finishes the proof of Theorem 4.1 . □
Theorem 4.4.
— Let
${v}_{0}$
be a primitive Mukai vector satisfying condition
$(*)$
and
$(**)$
. Let
$v=m{v}_{0}$
and let
$H$
be a
$v$
–general ample divisor. Then
${M}_{v}$
is a normal irreducible variety of dimension
$2+\langle v,v\rangle $
.
This theorem is due to Yoshioka [28] in the case of torsion free sheaves. Using the local information obtained in Proposition 3.10 , the basic irreducibility result of Theorem 4.1 , we can give a simple direct proof.

Proof.
By Proposition 3.10 ,
${R}^{ss}$
is normal. As a GITquotient of a normal scheme,
${M}_{v}$
is also normal. If
$m=1$
, all points in
${M}_{v}={M}_{{v}_{0}}$
correspond to stable sheaves and hence
${M}_{v}$
is smooth. By Theorem 4.1 ,
${M}_{{v}_{0}}$
is irreducible. By
$(**)$
,
${M}_{{v}_{0}}$
is nonempty.
Assume now that
$m\ge 2$
and that the assertion of the theorem has been proved for all moduli spaces
${M}_{{m}^{\prime}{v}_{0}}$
,
$1\le {m}^{\prime}<m$
. For any decomposition
$m={m}^{\prime}+{m}^{\prime \prime}$
with
$1\le {m}^{\prime}\le {m}^{\prime \prime}$
, consider the morphism
$$\phi ({m}^{\prime},{m}^{\prime \prime}):{M}_{{m}^{\prime}{v}_{0}}\times {M}_{{m}^{\prime \prime}{v}_{0}}\u27f6{M}_{m{v}_{0}},\left(\right[{E}^{\prime}],[{E}^{\prime \prime}\left]\right)\mapsto [{E}^{\prime}\oplus {E}^{\prime \prime}],$$
and let
$Y({m}^{\prime},{m}^{\prime \prime})\subset {M}_{v}$
denote its image. The subschemes
$Y({m}^{\prime},{m}^{\prime \prime})$
,
$1\le {m}^{\prime}\le {m}^{\prime \prime}$
, are the irreducible components of the strictly semistable locus of
${M}_{v}$
.
Since all
$Y({m}^{\prime},{m}^{\prime \prime})$
are irreducible by induction and intersect in the points of the form
$\left[{E}_{0}^{\oplus m}\right]$
,
$\left[{E}_{0}\right]\in {M}_{{v}_{0}}$
, the strictly semistable locus is connected. Since
${M}_{v}$
is normal, the connected components are irreducible. In particular, there is exactly one component that meets the strictly semistable locus. Theorem 4.1 excludes the possibility of a component that does not meet the strictly semistable locus. □
5 Factoriality of moduli spaces
Proposition 5.1.
— Let
${v}_{0}$
be a primitive Mukai vector satisfying
$(*)$
.
Let
$v=m{v}_{0}$
for some
$m\in {\mathbb{N}}_{0}$
. Assume that

–
either
$E={E}_{0}^{\oplus m}$
, for some
${E}_{0}$
stable with
$v\left({E}_{0}\right)={v}_{0}$
, and
$H$
is arbitrary,

–
or
$E$
is arbitrary polystable with
$v\left(E\right)=v$
, and
$H$
is
$v$
–general.
Assume further that case (C) applies. Then
${M}_{v}$
is locally factorial at
$\left[E\right]$
if and only if the isotropy subgroup
$PGl(N{)}_{\left[q\right]}\sim =PAut(E)$
of any point
$\left[q\right]$
in the closed orbit in
${\pi}^{1}\left(\right[E\left]\right)\subset {R}^{ss}$
acts trivially on the fibre
$L\left(\right[q\left]\right)$
for every
$PGl\left(N\right)$
linearised line bundle
$L$
on an invariant open neighbourhood of the orbit of
$\left[q\right]$
.

Proof.
This is Drezet’s Theoreme A [10] . In Drezet’s situation the Quot scheme
${R}^{ss}$
is smooth. However, all his arguments go through under the weaker hypothesis that
${R}^{ss}$
is locally factorial in a
$PGl\left(N\right)$
–equivariant open neighbourhood of the closed orbit in the fibre
${\pi}^{1}\left(\right[E\left]\right)$
. But this is true under the given hypothesis due to Proposition 3.10 □
Corollary 5.2.
— Let
${E}_{0}$
be a stable sheaf with Mukai vector
$v\left({E}_{0}\right)={v}_{0}$
satisfying
$(*)$
and assume that
$v=m{v}_{0}$
satisfies (C). Then
${M}_{v}$
is locally factorial at
$\left[{E}_{0}^{\oplus m}\right]$
.

Proof.
The isotropy subgroup of any point
$\left[q\right]$
in the closed orbit in
${\pi}^{1}\left(\right[{E}_{0}^{\oplus m}\left]\right)\subset {R}^{ss}$
is isomorphic to
$PGl\left(m\right)$
and therefore has no nontrivial characters. Hence the action of
$PGl\left(m\right)$
on
$L\left(\right[q\left]\right)$
is necessarily trivial (notations as in Proposition 5.1 ). □
Theorem 5.3.
— Let
${v}_{0}$
be a primitive Mukai vector satisfying
$(*)$
and
$(**)$
. Assume that
$v=m{v}_{0}$
,
$m\in \mathbb{N}$
, satisfies (C) and let
$H$
be a
$v$
–general ample divisor. Then
${M}_{v}$
is locally factorial.

Proof.
Let
$\left[E\right]\in {M}_{v}$
be an arbitrary point that is represented by the polystable sheaf
$E={\oplus}_{i=1}^{s}{E}_{i}^{\oplus {n}_{i}}$
, and let
$[q:\mathcal{\mathscr{H}}\to E]$
be a point in the closed orbit in
${\pi}^{1}\left(\right[E\left]\right)\subset {R}^{ss}$
. Since
$H$
is
$v$
–general, the Mukai vectors of the stable direct summands
${E}_{i}$
have the form
$$v\left({E}_{i}\right)={m}_{i}{v}_{0},{m}_{i}\in \mathbb{N},{\sum}_{i=1}^{s}{m}_{i}{n}_{i}=m.$$
We repeat the construction in section 2.5 for each of the Mukai vectors
${m}_{i}{v}_{0}$
,
$i=1,\dots ,s$
. Note that we can choose a sufficiently large integer
$k$
that works for all Mukai vectors simultaneously. Let
${P}_{i}\left(z\right)={m}_{i}\langle {v}_{0},v\left({\mathcal{O}}_{X}\right(zH)\rangle $
,
${N}_{i}={P}_{i}\left(k\right)$
and
${\mathcal{\mathscr{H}}}_{i}={\mathcal{O}}_{X}(kH{)}^{\oplus {N}_{i}}$
. Then
$N={\sum}_{i}{n}_{i}{N}_{i}$
and
$\mathcal{\mathscr{H}}={\oplus}_{i}{\mathcal{\mathscr{H}}}_{i}^{\oplus {n}_{i}}$
. Moreover there are parameter spaces
${R}_{i}^{ss}\subset {Quot}_{X,H}({\mathcal{\mathscr{H}}}_{i},{P}_{i})$
with
$PGl\left({N}_{i}\right)$
actions and quotient maps
${\pi}_{i}:{R}_{i}^{ss}\to {M}_{{m}_{i}{v}_{0}}$
. Finally there is a canonical map
$$\Phi :{\prod}_{i}{R}_{i}^{ss}\u27f6{R}^{ss},{\left([{\mathcal{\mathscr{H}}}_{i}\to {F}_{i}]\right)}_{i}\mapsto \left[\mathcal{\mathscr{H}}={\oplus}_{i}{\mathcal{\mathscr{H}}}_{i}^{\oplus {n}_{i}}\to {\oplus}_{i}{F}_{i}^{\oplus {n}_{i}}\right].$$
Let
$Z$
denote the image of
$\Phi $
. It has the following properties:

$\bullet $
By Theorem 4.4 , the moduli spaces
${M}_{{m}_{i}{v}_{0}}$
are irreducible. It follows that the schemes
${R}_{i}^{ss}$
and
$Z$
are irreducible, too.

$\bullet $
$Z$
contains the point
$\left[q\right]$
and as well a point
$[{q}^{\prime}:\mathcal{\mathscr{H}}\to {E}_{0}^{\oplus m}]$
for some stable sheaf
${E}_{0}$
with
$v\left({E}_{0}\right)={v}_{0}$
.

$\bullet $
The group
$G:=\left({\prod}_{i}Gl\left({n}_{i}\right)\right)/{\mathbb{C}}^{*}\subset PGl\left(N\right)$
fixes
$Z$
pointwise. It equals the stabiliser subgroup of
$\left[q\right]$
and is contained in the stabiliser subgroup of
$\left[{q}^{\prime}\right]$
.
Now let
$L$
be a
$PGl\left(N\right)$
–linearised line bundle on
${R}^{ss}$
. The group
$G$
acts on
$L{}_{Z}$
with a locally constant character, which must in fact be constant, since
$Z$
is connected.
Moreover, the action is trivial at the point
$\left[{q}^{\prime}\right]$
according to the proof of Corollary 5.2 . Thus the character is trivial everywhere on
$Z$
and in particular at
$\left[q\right]$
. According to Drezet’s criterion (Proposition 5.1 ),
${M}_{v}$
is locally factorial at
$\left[E\right]$
. □
Remark 5.4.
It is also known that the moduli space of semistable torsion free sheaves on the projective plane is locally factorial by the work of Drezet [
9]
. However it may be false for other surfaces as has been observed by Le Potier: the moduli space
${M}_{{\mathbb{P}}^{1}\times {\mathbb{P}}^{1}}(2,0,2)$
is not locally factorial at the point represented by
$\mathcal{O}(1,1)\oplus \mathcal{O}(1,1)$
(see [
10]
, p. 106).
6 Symplectic resolutions
Let
${v}_{0}$
be a primitive Mukai vector satisfying
$(*)$
and
$(**)$
. Let
$v=m{v}_{0}$
and let
$H$
be a
$v$
–general divisor. Recall that the following three cases are possible:

(A)
$m=1$
.

(B)
$m=2$
and
$\langle {v}_{0},{v}_{0}\rangle =2$
.

(C)
$m\ge 3$
, or
$m=2$
and
$\langle {v}_{0},{v}_{0}\rangle \ge 4$
.
In case (A) the moduli space
${M}_{v}$
consists only of stable sheaves. It is irreducible and smooth of dimension
$2+\langle v,v\rangle $
. Mukai [
21]
has defined a symplectic structure on
${M}_{v}$
.
Proposition 6.1.
— Assume that
$m\ge 2$
. The singular locus
${M}_{v,sing}$
of
${M}_{v}$
is nonempty and equals the semistable locus. The irreducible components of
${M}_{v,sing}$
correspond to integers
${m}^{\prime}$
,
$1\le {m}^{\prime}\le m/2$
, and have codimension
$2{m}^{\prime}(m{m}^{\prime})\langle {v}_{0},{v}_{0}\rangle 2$
, respectively. In particular,
$codim{M}_{v,sing}=2$
in case (B) and
$\ge 4$
in case (C).

Proof.
Recall the varieties
$Y({m}^{\prime},{m}^{\prime \prime})$
introduced in the proof of Theorem 4.4 . The union of the
$Y({m}^{\prime},{m}^{\prime \prime})$
is the strictly semistable locus. The maps
$$\phi ({m}^{\prime},{m}^{\prime \prime}):{M}_{{m}^{\prime}{v}_{0}}\times {M}_{{m}^{\prime \prime}{v}_{0}}\to Y({m}^{\prime},{m}^{\prime \prime})$$
are finite and surjective, hence
$$\begin{array}{ccc}codim\left(Y\right({m}^{\prime},{m}^{\prime \prime}\left)\right)& =& 2+{m}^{2}\langle {v}_{0},{v}_{0}\rangle (2+{{m}^{\prime}}^{2}\langle {v}_{0},{v}_{0}\rangle )(2+{{m}^{\prime \prime}}^{2}\langle {v}_{0},{v}_{0}\rangle )\end{array}$$  
$$\begin{array}{ccc}& =& 2{m}^{\prime}{m}^{\prime \prime}\langle {v}_{0},{v}_{0}\rangle 2.\end{array}$$  
Clearly, the codimension 2 is attained only if
${m}^{\prime}={m}^{\prime \prime}=1$
and
$\langle {v}_{0},{v}_{0}\rangle =2$
, which is case (B). As
${M}_{v}$
is smooth in all stable points, it remains to show that the strictly semistable points are really singular. For this it suffices to show that
${M}_{v}$
is singular at a generic point
$[E={E}^{\prime}\oplus {E}^{\prime \prime}]\in Y({m}^{\prime},{m}^{\prime \prime})$
, where
${E}^{\prime}$
and
${E}^{\prime \prime}$
are stable sheaves with
$v\left({E}^{\prime}\right)={m}^{\prime}{v}_{0}$
and
$v\left({E}^{\prime \prime}\right)={m}^{\prime \prime}{v}_{0}$
. In this case,
$PAut\left(E\right)\sim ={\mathbb{C}}^{*}$
,
${Ext}^{2}(E,E{)}_{0}\sim =\mathbb{C}$
, and the Kuranishi map
${Ext}^{2}(E,E{)}_{0}\to \mathbb{C}[{Ext}^{1}(E,E){]}^{\wedge}$
is completely described by an invariant function
$f\in \mathbb{C}\left[{Ext}^{1}\right(E,E){]}^{\wedge}$
. It follows, that
$${\widehat{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim ={\left(\mathbb{C}\left[{Ext}^{1}\right(E,E){]}^{\wedge}\right)}^{{\mathbb{C}}^{*}}/\left(f\right).$$
Now
${\mathbb{C}}^{*}$
acts on the four summands of
$${Ext}^{1}(E,E)={Ext}^{1}({E}^{\prime},{E}^{\prime})\oplus {Ext}^{1}({E}^{\prime},{E}^{\prime \prime})\oplus {Ext}^{1}({E}^{\prime \prime},{E}^{\prime})\oplus {Ext}^{1}({E}^{\prime \prime},{E}^{\prime \prime})$$
with weights
$0$
,
$1$
,
$1$
, and
$0$
. It follows that
$${Ext}^{1}(E,E)//{\mathbb{C}}^{*}={Ext}^{1}({E}^{\prime},{E}^{\prime})\times C\times {Ext}^{1}({E}^{\prime \prime},{E}^{\prime \prime}),$$
where
$C\subset M(d,\mathbb{C})$
is the cone of matrices of rank
$\le 1$
and
$$d=dim{Ext}^{1}({E}^{\prime},{E}^{\prime \prime})={m}^{\prime}{m}^{\prime \prime}\langle {v}_{0},{v}_{0}\rangle \ge 2.$$
Since the quotient of a singular local ring by a nonzero divisor cannot become regular,
${\widehat{\mathcal{O}}}_{{M}_{v},\left[E\right]}$
is singular. □
Theorem 6.2.
— Suppose that
$v$
belongs to case (C). Then
${M}_{v}$
is a locally factorial symplectic variety of dimension
$2+\langle v,v\rangle $
. The singular locus is nonempty and has codimension 4. All singularities are symplectic, but there is no open neighbourhood of a singular point in
${M}_{v}$
that admits a projective symplectic resolution.

Proof.
We have already seen that
${M}_{v}$
is a locally factorial variety. Mukai [21] constructed a nondegenerate 2form on
${M}_{v}^{s}$
. This form is closed even if
${M}_{v}^{s}$
is not projective ([13] Prop. 10.3.2). By Flenner’s theorem [11] this form extends to any resolution of the singularities of
${M}_{v}$
. Hence the singularities are symplectic in the sense of Beauville [5] . Now let
$\left[E\right]\in {M}_{v}$
be a singular point and let
$U\subset {M}_{v}$
be an open neighbourhood of
$\left[E\right]$
. A projective symplectic resolution of
$U$
is a projective resolution
$\sigma :{U}^{\prime}\to U$
of the singularities of
$U$
such that the restriction of the symplectic form on
${M}_{v}^{s}$
to
${U}^{reg}$
extends to a symplectic form on
${U}^{\prime}$
. In such a case the morphism
$\sigma $
would have to be semismall according to a result of Kaledin, [14] Lemma 2.11. As the singular locus of
$U$
has codimension
$\ge 4$
according to Proposition 6.1 , the exceptional locus of
$\sigma $
has codimension
$\ge 2$
in
${U}^{\prime}$
. On the other hand
${\mathcal{O}}_{{M}_{v},\left[E\right]}$
is factorial by Theorem 5.3 . This implies that the exceptional locus must be a divisor (see [7] no. 1.40 p. 28). □
Remark 6.3.
— 1) The completion of a factorial local ring is not factorial in general. The local rings of the moduli spaces of type (C) provide nice examples of this phenomenon. Pushing the arguments in the previous proof a bit further, one sees that
$${\widehat{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim =\mathbb{C}\left[{Ext}^{1}\right({E}^{\prime},{E}^{\prime})\oplus {Ext}^{1}({E}^{\prime \prime},{E}^{\prime \prime}){]}^{\wedge}\widehat{\otimes}B,$$
where
$B$
is the completed coordinate ring of the cone
${C}_{0}\subset C\subset M(d,\mathbb{C})$
of traceless matrices of rank
$\le 1$
, with
$d\ge 4$
. But
${\widehat{\mathcal{O}}}_{{M}_{v},\left[E\right]}$
cannot be factorial: the vertex of
${C}_{0}$
is an isolated singularity of codimension
$\ge 6$
, and there are two small symplectic resolutions
${T}^{*}\mathbb{P}\left({Ext}^{1}\right({E}^{\prime},{E}^{\prime \prime}\left)\right)\to {C}_{0}\leftarrow {T}^{*}\mathbb{P}\left({Ext}^{1}\right({E}^{\prime \prime},{E}^{\prime}\left)\right)$
. We see that in this case
${\mathcal{O}}_{M,\left[E\right]}$
is factorial due to Theorem 5.3 , but
${\widehat{\mathcal{O}}}_{M,\left[E\right]}$
is not. Geometrically, what happens is this: an irreducible Weil divisor becomes reducible after completion; while the whole thing still is a Cartier divisor, some of its newly acquired irreducible components need not be.
2) On the other hand, for polystable sheaves
${E}_{0}^{\oplus m}$
with
${E}_{0}$
stable and
$v\left({E}_{0}\right)$
satisfying
$(*)$
, the completed local ring
${\widehat{\mathcal{O}}}_{{M}_{v},\left[{E}_{0}^{\oplus m}\right]}$
is factorial. In fact, the proof of proposition 3.7 shows that
${\widehat{\mathcal{O}}}_{S,\left[q\right]}$
is factorial. Moreover, the stabiliser is isomorphic to
$PGl\left(m\right)$
hence has no nontrivial characters. Under these conditions one can show that the invariant ring
$({\widehat{\mathcal{O}}}_{S,\left[q\right]}{)}^{PGl\left(m\right)}\simeq {\widehat{\mathcal{O}}}_{{M}_{v},\left[{E}_{0}^{\oplus m}\right]}$
is also factorial.
References

M. Atiyah, I. Macdonald, Introduction to Commutative Algebra, AddisonWesley.

A. Altman, S. Kleiman, Introduction to Grothendieck Duality Theory. Lecture Notes in Mathematics 146. Springer Verlag 1970.

A. Beauville, Varietes Kahleriennes dont la premiere classe de Chern est nulle. J. Differential Geom. 18 (1983), 755 – 782.

A. Beauville, Arnaud, R. Donagi, La variete des droites d’une hypersurface cubique de dimension 4. C. R. Acad. Sci., Paris, Ser. I 301 (1985), 703 – 706.

A. Beauville, Symplectic singularities. Invent. math. 139 (2000), 541 – 549.

M. P. Cavaliere, G. Niesi, On Serre’s conditions in the form ring of an ideal. J. Math. Kyoto Univ. 21 (1981) 537 – 546.

O. Debarre, Higher dimensional algebraic geometry. Universitext Springer Verlag 2001.

P. Deligne, La conjecture de Weil, II. Inst. Hautes E’tudes Sci. Publ. Math. No. 52 (1980), 137–252.

J.M. Drezet, Groupe de Picard des varietes de modules de faisceaux semistables sur
${\mathbb{P}}_{\mathbb{C}}^{2}$
. Annales de l’institut Fourier, 38 no. 3 (1988)

J.M. Drezet, Points non factoriels des varietes de modules de faisceaux semistables sur une surface rationnelle. J. reine angew. Math. 413 (1991), 99 – 126.

H. Flenner, Extendability of differential forms on nonisolated singularities. Invent. math. 94 (1988), 317 – 326.

A. Grothendieck, Cohomologie locale des faisceaux coherents et Theoremes de Lefschetz locaux et globaux. Seminaire de Geometrie Algebrique du BoisMarie 1962 (SGA 2). NorthHolland Publishing Company Amsterdam 1968.

D. Huybrechts, M. Lehn, The Geometry of Moduli Spaces of Sheaves. Aspects of Mathematics E 31. Vieweg Verlag 1997.

D. Kaledin, Symplectic resolutions from the Poisson point of view. To appear in: J. reine angewandte Math. math.AG/0310186.

Y. Kiem, On the existence of a symplectic desingularisation of some moduli spaces of sheaves on a K3 surface. To appear in Comp. Math.

Y. Kiem, J. Choy, Nonexistence of crepant resolution of moduli space of sheaves on a K3 surface.

D. Kaledin, M. Lehn, Local structure of hyperkahler singularities in O’Grady’s examples. math.AG/0405575.

M. Lehn, Ch. Sorger, La singularite de O’Grady. math.AG/0504182.

E. Markman, Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces. J. reine angew. Math. 544 (2002), 61 – 82

H. Matsumura, Commutative Algebra. W. A. Benjamin 1970.

S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface. Invent. math. 77 (1984), 101 – 116.

H. Nakajima, Instantons on ALE spaces, quiver varieties, and KacMoodyalgebras. Duke Math. J. 76 (1994), 365 – 416.

K. O’Grady, Desingularized moduli spaces of sheaves on a K3, J. reine angew. Math. 512 (1999), 49 – 117.

K. O’Grady, A new sixdimensional irreducible symplectic variety. J. Algebraic Geom. 12 (2003), 435 – 505.

A. Rapagnetta, Topological invariants of O’Grady’s six dimensional irreducible symplectic variety. math.AG/0406026.

C. Simpson, Moduli of representations of the fundamental group of a smooth projective variety I. Publ. Math. IHES 79 (1994), 47 – 129.

K. Yoshioka, Moduli Spaces of stable sheaves on abelian surfaces. Mathem. Ann. 321 (2001), 817 – 884.

K. Yoshioka, Twisted stability and FourierMukai Transform. Comp. Math. 138 (2003), 261 – 288.
Dmitry Kaledin, Independent University of Moscow, B. Vlassievski per. 11, Moscow, 119002, Russia Email address : kaledin@mccme.ru Manfred Lehn, Fachbereich Physik, Mathematik und Informatik, Johannes Gutenberg–Universitat Mainz, D55099 Mainz, Germany Email address : lehn@mathematik.unimainz.de Christoph Sorger, Laboratoire de Mathematiques Jean Leray (UMR 6629 du CNRS), Universite de Nantes, 2, Rue de la Houssiniere, BP 92208, F44322 Nantes Cedex 03, France Email address : christoph.sorger@univnantes.fr