1991 Mathematics Subject Classification. Primary 14J60; Secondary 14D20, 14J28, 32J27.The first author has been partially supported by CRDF Award RM1-2354-MO02 and the “cooperation franco-russe en mathematiques” du CNRS .
<ph f="ecbx">Singular symplectic moduli spaces</ph>

### D. Kaledin, M. Lehn, and Ch. Sorger

Dmitry Kaledin, Independent University of Moscow, B. Vlassievski per. 11, Moscow, 119002, Russia E-mail address : kaledin@mccme.ru Manfred Lehn, Fachbereich Physik, Mathematik und Informatik, Johannes Gutenberg–Universitat Mainz, D-55099 Mainz, Germany E-mail address : lehn@mathematik.uni-mainz.de Christoph Sorger, Laboratoire de Mathematiques Jean Leray (UMR 6629 du CNRS), Universite de Nantes, 2, Rue de la Houssiniere, BP 92208, F-44322 Nantes Cedex 03, France E-mail address : christoph.sorger@univ-nantes.fr
• Abstract. Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces found by O’Grady. Consequently, since singular moduli space that do not belong to these exceptional cases have singularities in codimension $\ge 4$  they do no admit projective symplectic resolutions.

1 Introduction

How to construct irreducible holomorphic symplectic manifolds? Except for the variety of Beauville and Donagi [4all known examples arise from moduli spaces of semistable sheaves on a K3 or abelian surface.
For every element $v$  in the Mukai lattice ${H}^{even}\left(X,\mathbb{Z}\right)$  of a polarised K3 or abelian surface $\left(X,H\right)$  there is an associated moduli space ${M}_{v}$  that parametrises polystable sheaves $E$  with Mukai vector $v=v\left(E\right):=ch\left(E\right)\sqrt{td\left(X\right)}$  . If $H$  and $v$  are chosen to the effect that no strictly semistable sheaves exist, i.e. every semistable sheaf is automatically stable, then ${M}_{v}$  is a projective holomorphically symplectic manifold due to Mukai [21.
In the opposite case, ${M}_{v}$  is singular and one may ask whether ${M}_{v}$  at least admits a projective symplectic resolution. This question has been raised and successfully answered in two cases by O’Grady [23, 24, leading to two new deformation classes of irreducible holomorphic symplectic manifolds.
In this paper we give a complete answer to O’Grady’s question for general ample divisors $H$  and moduli spaces whose expected dimension $2+〈v,v〉$  is $\ge 4$  . The answer depends essentially only on the divisibility of the Mukai vector $v\in {H}^{even}\left(X,\mathbb{Z}\right)$  and the dimension of the moduli space. We may write $v=m{v}_{0}$  with a primitive Mukai vector ${v}_{0}=\left(r,c,a\right)$  and a multiplicity $m\in \mathbb{N}$  . Suppose for simplicity that $r>0$  , and let $H$  denote a $v$  –general ample divisor. Then every semistable sheaf $E$  with Mukai vector $v\left(E\right)={v}_{0}$  is stable, and a necessary and sufficient condition for the existence of $E$  is that $c\in NS\left(X\right)$  and that $〈{v}_{0},{v}_{0}〉\ge -2$  .
There are five principal cases to distinguish:
1) If $〈{v}_{0},{v}_{0}〉=-2$  , then Mukai has shown that ${M}_{{v}_{0}}$  consists of a single point $\left[{E}_{0}\right]$  only. As the expected dimension of the moduli space ${M}_{m{v}_{0}}$  is negative for $m>0$  there are no stable sheaves in this case, and it follows by induction that any semistable sheaf must be of the form ${E}_{0}^{\oplus m}$  . Hence ${M}_{v}$  is a single point as well.
2) If $〈{v}_{0},{v}_{0}〉=0$  , the moduli space ${M}_{{v}_{0}}$  is again a K3 surface or an abelian surface if $X$  is K3 or abelian due to beautiful results of Mukai. It turns out that any semistable sheaf $E$  with $v\left(E\right)=m{v}_{0}$  is $S$  -equivalent to a direct sum $E={E}_{1}\oplus \dots \oplus {E}_{m}$  with stable sheaves $\left[{E}_{i}\right]\in {M}_{{v}_{0}}$  . It follows that ${M}_{v}={S}^{m}\left({M}_{{v}_{0}}\right)$  . Thus the moduli spaces are singular in codimension 2, but admit symplectic resolutions in terms of the Hilbert scheme ${Hilb}^{m}\left({M}_{{v}_{0}}\right)\to {M}_{v}$  .
3) Assume now that $〈{v}_{0},{v}_{0}〉\ge 2$  . Due to the combined efforts of many authors, with important steps taken by Mukai, Huybrechts, O’Grady and Yoshioka, one finally has the following result [27: ${M}_{{v}_{0}}$  is a smooth symplectic variety that is deformation equivalent to ${Hilb}^{1+\frac{1}{2}〈{v}_{0},{v}_{0}〉}\left(X\right)$  , if $X$  is a K3-surface, and to ${Pic}_{0}\left(X\right)×{Hilb}^{\frac{1}{2}〈{v}_{0},{v}_{0}〉}$  , if $X$  is an abelian surface.
Assume in addition that $m\ge 2$  . The main result of this article implies that one has to further distinguish the following two cases: 4) Let $〈{v}_{0},{v}_{0}〉=2$  and $m=2$  . The moduli spaces ${M}_{K3}\left(2;0,4\right)$  and ${M}_{Ab}\left(2;0,2\right)$  studied by O’Grady [23, 24and Rapagnetta [25fall into this class. The moduli space ${M}_{v}$  has dimension $10$  , its singular locus has codimension 2 and is in fact isomorphic to ${S}^{2}{M}_{{v}_{0}}$  . As shown in [18, the symplectic desingularisations constructed by O’Grady exist for all Mukai vectors in this class and can be obtained by blowing-up the reduced singular locus.
5) In all other cases our main result states:
Theorem A If either $m\ge 2$  and $〈{v}_{0},{v}_{0}〉>2$  or $m>2$  and $〈{v}_{0},{v}_{0}〉\ge 2$  , then ${M}_{m{v}_{0}}$  is a locally factorial singular symplectic variety.
As an immediate application one obtains:
Theorem B Under the hypotheses of Theorem A, ${M}_{m{v}_{0}}$  does not admit a proper symplectic resolution.
Under some technical hypotheses theorems A and B hold as well for semistable torsion sheaves (see the main text). Partial results for Theorem B in the case $m=2$  have been obtained previously by two of us [17, and, independently and with different methods, by Kiem and Choy [15, 16.
We note that our approach is rather general; our main technical result, Proposition  3.5 , is essentially a linear-algebraic fact. Therefore, we expect that results similar to Theorem A and B might hold in other situations with similar geometry – in particular, for the moduli spaces of flat connections on an algebraic curve. In fact, Proposition  3.5 is a statement about quiver varieties of H. Nakajima [22, although the numerical data corresponding to our quivers are specifically excluded from consideration in [22(which is not surprising as one of the results of [22is that any quiver variety considered there does admit a symplectic resolution). Thus our approach and our Proposition  3.5 might be used wherever one finds quiver varieties of the same type.
Acknowledgements: The moment when Grothendieck’s theorem on factoriality was shown to us by Duco van Straten turned around our approach to the problem.
We thank him as well as Stefan Bauer, Daniel Huybrechts and Joseph Le Potier for many helpful discussions.
Many authors have worked on moduli of sheaves on K3 and abelian surfaces ever since the seminal work of Mukai. The most general results for our purposes have been obtained by Yoshioka [27. We refer to the textbook [13and Yoshioka’s paper for further references and general information on semistable sheaves and their moduli spaces.

2 Notation and conventions, plan of the paper

2.1 The underlying surface.

Throughout this article $X$  will denote a complex projective K3 or abelian surface with a fixed symplectic structure, i.e. an isomorphism ${H}^{2}\left(X,{\mathcal{O}}_{X}\right)\sim =\mathbb{C}$  , and a fixed ample divisor $H$  .
The even integral cohomology ${H}^{even}\left(X,\mathbb{Z}\right)$  is equipped with a pairing $〈v,w〉:=-{\int }_{X}v{w}^{\vee },$  where ${w}^{\vee }=\left(-1{\right)}^{i}w$  for $w\in {H}^{2i}\left(X,\mathbb{Z}\right)$  . Following Mukai we associate to each coherent sheaf $E$  its Mukai vector $v\left(E\right):=ch\left(E\right)\sqrt{td\left(X\right)}\in {H}^{even}\left(X,\mathbb{Z}\right).$  The Hilbert polynomial of $E$  with respect to an ample divisor $H$  can be expressed in terms of its Mukai vector as follows:
$\chi \left(E\otimes {\mathcal{O}}_{X}\left(mH\right)\right)=-〈v\left(E\right),v\left({\mathcal{O}}_{X}\left(-mH\right)\right)〉=:{P}_{v}\left(m\right).$

2.2 Semistable sheaves.

Stability or semistability of a coherent sheaf is defined with respect to a fixed ample divisor $H$  . We let ${M}_{v}$  denote the moduli space of semistable sheaves with Mukai vector $v$  . Closed points of ${M}_{v}$  are in natural bijection with polystable sheaves $E$  . Points corresponding to stable sheaves form a – possibly empty – open subset ${M}_{v}^{s}\subset {M}_{v}$  .
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 zero-dimensional sheaves as being well-known: if the Mukai vector is $v=\left(0,0,a\right)$  then ${M}_{v}\sim ={S}^{a}X$  , the symmetric product of $X$  , and the Hilbert-Chow morphism ${Hilb}^{a}\left(X\right)\to {M}_{v}$  provides a symplectic resolution.

2.3 General assumptions.

An element ${v}_{0}\in {H}^{even}\left(X,\mathbb{Z}\right)$  is primitive if it is not an integral multiple of another lattice element. Given a non-trivial element $v\in {H}^{even}\left(X,\mathbb{Z}\right)$  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}=\left({r}_{0},{c}_{0},{a}_{0}\right)$  has the following properties:
$\left(*\right)$  $\left\{\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{}〈{v}_{0},{v}_{0}〉\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 $\left(*\right)$  :
• (A) $m=1$  .
• (B) $m=2$  and $〈{v}_{0},{v}_{0}〉=2$  .
• (C) $m\ge 3$  , or $m=2$  and $〈{v}_{0},{v}_{0}〉\ge 4$  .

2.4 General ample divisors.

The significance of $\left(*\right)$  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}\left(**\right)& \text{}{M}_{{v}_{0}}\text{is non-empty.}\end{array}$
 $\begin{array}{cc}\left(***\right)& \text{}{M}_{{v}_{0}}\text{is irreducible.}\end{array}$
Yoshioka shows in [27, Thm 0.1 and Thm 8.1, that $\left(*\right)$  implies $\left(**\right)$  and $\left(***\right)$  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 $\left(**\right)$  and $\left(***\right)$  are consequences of $\left(*\right)$  . An essential technique in Yoshioka’s work is the deformation of the underlying surface; the arguments are rather involved. For the irreducibility part $\left(***\right)$  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 $\left(*\right)$  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{ℋ}:={\mathcal{O}}_{X}\left(-kH{\right)}^{\oplus N}$  . Then there is a closed subscheme $R\subset {Quot}_{X,H}\left(\mathcal{ℋ},P\right)$  with the following property: a closed point $\left[q:\mathcal{ℋ}\to E\right]\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}\left(X,E\left(kH\right)\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)\right)\sim ={M}_{v}\text{and}{R}^{s}//PGl\left(N\right)\sim ={M}_{v}^{s}.$  Let $\pi :{R}^{ss}\to {M}_{v}$  denote the quotient map. The orbit of a point $\left[q:\mathcal{ℋ}\to E\right]$  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 $\left(PGl\left(N\right)×S\right)//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}\left(E,E\right)$  .

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}\left(E,E\right)\right]$  denote the ring of polynomial functions on ${Ext}^{1}\left(E,E\right)$  and let $A:=\mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }$  denote its completion at the maximal ideal $\mathfrak{M}$  of functions vanishing at $0$  . There is a trace map $tr:{Ext}^{2}\left(E,E\right)\to {H}^{2}\left({\mathcal{O}}_{X}\right)$  . We denote its kernel by ${Ext}^{2}\left(E,E{\right)}_{0}$  . The automorphism group $Aut\left(E\right)$  naturally acts on ${Ext}^{1}\left(E,E\right)$  and ${Ext}^{2}\left(E,E{\right)}_{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}\left(E,E{\right)}_{0}^{*}⟶\mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge },$  the so-called 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 ${\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}\sim =A/I\text{and}{\stackrel{^}{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim =\left(A/I{\right)}^{PAut\left(E\right)}.$
• 3. For every linear form $\phi \in {Ext}^{2}\left(E,E{\right)}_{0}^{*}$  one has, for $e\in {Ext}^{1}\left(E,E\right)$  , $\kappa \left(\phi \right)\left(e\right)=\frac{1}{2}\phi \left(e\cup e\right)+\text{higher order terms in}e.$

2.7 Passage to the normal cone.

Let $J\subset \mathbb{C}\left[{Ext}^{1}\left(E,E\right)\right]$  denote the ideal generated by the image of the quadratic part of $\kappa$  :
${\kappa }_{2}:{Ext}^{2}\left(E,E{\right)}_{0}^{*}⟶{S}^{2}{Ext}^{1}\left(E,E{\right)}^{*},\phi ↦\left(e↦\frac{1}{2}\phi \left(e\cup e\right)\right)$  Then $J$  is the ideal of the null-fibre $F={\mu }^{-1}\left(0\right)$  of the morphism $\mu :{Ext}^{1}\left(E,E\right)⟶{Ext}^{2}\left(E,E{\right)}_{0},\mu \left(e\right)=\frac{1}{2}\left(e\cup e\right).$  The ideals $I\subset \mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }$  and $J\subset \mathbb{C}\left[{Ext}^{1}\left(E,E\right)\right]$  are related as follows.
The graded ring $grA$  associated to the $\mathfrak{m}$  -adic filtration on $A=\mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }$  is canonically isomorphic to $\mathbb{C}\left[{Ext}^{1}\left(E,E\right)\right]$  . For any ideal $\mathfrak{a}\subset A$  let $in\left(\mathfrak{a}\right)\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\left(grA\right)/J\\ & \ge & dim\left(grA\right)/in\left(I\right)=dimgr\left(A/I\right)=dim\left(A/I\right)\\ & \ge & dim{Ext}^{1}\left(E,E\right)-dim{Ext}^{2}\left(E,E{\right)}_{0},\end{array}\end{array}$ (2.1)
where the last inequality comes from the fact that $A$  is regular of dimension $=dim{Ext}^{1}\left(E,E\right)$  and $I$  is generated by $dim{Ext}^{2}\left(E,E{\right)}_{0}$  elements.
We need to describe $\mu$  in greater detail; the resulting description is similar to Nakajima’s construction of the so-called quiver varieties [22. Write
 $\begin{array}{c}E{=}^{s}{\oplus }_{i=1}{W}_{i}\otimes {E}_{i}\end{array}$ (2.2)
with pairwise non-isomorphic stable sheaves ${E}_{i}$  and vector spaces ${W}_{i}$  of dimension ${n}_{i}$  . Let ${W}_{ij}:=Hom\left({W}_{i},{W}_{j}\right)$  and ${V}_{ij}:={Ext}^{1}\left({E}_{i},{E}_{j}\right)$  . Then $End\left(E\right)={\oplus }_{i}{W}_{ii},{Ext}^{1}\left(E,E\right)={\oplus }_{i,j}{W}_{ij}\otimes {V}_{ij},{Ext}^{2}\left(E,E\right)={\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}\left(E,E\right)$  by conjugation on the first factor in each direct summand. By Serre-Duality, the pairing ${V}_{ij}\otimes {V}_{ji}\to \mathbb{C},e\otimes {e}^{\prime }↦tr\left({e}^{\prime }\cup e\right)$  is non-degenerate and antisymmetric. This yields a symplectic form $\omega$  on ${Ext}^{1}\left(E,E\right)$  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 :\left({W}_{ij}\otimes {V}_{ij}\right)\otimes \left({W}_{ji}\otimes {V}_{ji}\right)⟶\mathbb{C},\omega \left(A\otimes e,{A}^{\prime }\otimes {e}^{\prime }\right)=tr\left({A}^{\prime }A\right)tr\left({e}^{\prime }\cup e\right).$  Moreover, the quadratic map $\mu :{Ext}^{1}\left(E,E\right)\to {Ext}^{2}\left(E,E{\right)}_{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}\left(E,E\right)$  . The passage from $\kappa$  to $\mu$  corresponds to the passage from the local ring ${\stackrel{^}{\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 non-empty 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 \left(U,{T}_{U}\right)$  . 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 \left(\xi ,{A}_{x}\right)$  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 $\left({\mathfrak{g}}^{*}{\right)}^{G}$  .
Let $\mu :U\to {\mathfrak{g}}^{*}$  be a momentum map with null-fibre $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 $\left(\mathfrak{g}/\mathfrak{h}{\right)}^{*}={\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 \left(\xi ,{A}_{x}\right)=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 non-degenerate, 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 null-fibre $F$  .
Let $Z\subset F$  be the closed subset of points with non-finite stabiliser group.
Let $d=dimU-dim\mathfrak{g}$  .
• 1. If $dim\left(Z\right)\le d-1$  , then $F$  is a reduced complete intersection of dimension $d$  .
• 2. If $dim\left(Z\right)\le d-2$  , 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\Z$  .
If $dimZ  , then $F\Z$  is dense in $F$  and every irreducible component has precisely dimension $d$  . Hence $F$  is a complete intersection and in particular Cohen-Macaulay ([2, Cor. III 4.5). Since $F\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 d-2$  , 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.
Set-up: 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\left({W}_{i},{W}_{j}\right)$  . There is a natural symmetric pairing ${W}_{ij}\otimes {W}_{ji}\to \mathbb{C},\left(A,B\right)↦tr\left(BA\right).$  Moreover, let ${V}_{ij}$  , $1\le i,j\le s$  , be vector spaces, equipped with non-degenerate pairings ${\omega }_{ij}:{V}_{ij}\otimes {V}_{ji}\to \mathbb{C},$  that are skew-symmetric in the sense that ${\omega }_{ij}\left(e,{e}^{\prime }\right)=-{\omega }_{ji}\left({e}^{\prime },e\right)$  . 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}$  , $\left(a,b\right)\ne \left(j,i\right)$  and $\omega :\left({W}_{ij}\otimes {V}_{ij}\right)\otimes \left({W}_{ji}\otimes {V}_{ji}\right)⟶\mathbb{C},\left(A\otimes e\right)\otimes \left({A}^{\prime }\otimes {e}^{\prime }\right)↦tr\left({A}^{\prime }A\right){\omega }_{ij}\left(e,{e}^{\prime }\right).$  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)& ⟶& \mathfrak{p}\mathfrak{g}\left(n{\right)}^{*}\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)}& ↦& {\sum }_{k,\ell }{\sum }_{i,j}{A}_{ij}^{\left(k\right)}{A}_{ji}^{\left(\ell \right)}tr\left({v}_{ij}^{\left(k\right)}\cup {v}_{ji}^{\left(\ell \right)}\right)\end{array}$
Let $F\left(n\right):=\mu \left(n{\right)}^{-1}\left(0\right)\subset U\left(n\right)$  denote the null-fibre 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\left\{{d}_{ij}-2{\delta }_{ij}\right\}$  .
Proposition 3.5. — Assume that $a\ge 2$  . Then $F\left(n\right)$  is an irreducible normal complete intersection of dimension $d:={n}^{t}\left(D-I\right)n+1$  . Moreover, $F\left(n\right)$  is regular in codimension $\le 3$  with the possible exception of the two cases
• 1. $n=\left(1,1\right)$  , ${d}_{12}=2$  , and
• 2. $n=\left(2\right)$  , ${d}_{11}=4$  .
• Proof. 1. Since $dim\left(U\left(n\right)\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}\left(D-I\right)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 non-trivial stabiliser in $PG\left(n\right)$  has dimension $\le d-4$  in general and $\le d-3$  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=\left(0,\dots ,1,\dots ,0\right)$  , 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\left(n{\right)}^{g}$  . The image $G\left(n\right)F\left(n{\right)}^{g}$  of the morphism $\phi :G\left(n\right)×F\left(n{\right)}^{g}\to F\left(n\right)$  , $\left({g}^{\prime },x\right)↦{g}^{\prime }x$  , consists of all points $y\in F$  whose stabiliser subgroup $G\left(n{\right)}_{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\left(n{\right)}^{g}$  . Then we can bound the dimension of the fibres of $\phi$  by $dim\left(H\right)$  . It follows that $dim\left(G\left(n\right)F\left(n{\right)}^{g}\right)\le dimF\left(n{\right)}^{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\left(n{\right)}^{g}$  and such that for each $g$  one has $dim\left(G\left(n\right)F\left(n{\right)}^{g}\right)\le d-3$  or $\le d-4$  . This gives the desired bound for $dim\left(Z\right)$  .
3. Let $g=\left({g}_{1},\dots ,{g}_{s}\right)\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}\left(\lambda \right)\right)$  , $n\left(\lambda \right)=\left({n}_{i}\left(\lambda \right){\right)}_{i}$  . Then $n={\sum }_{\lambda }n\left(\lambda \right)$  . There is a decomposition $U\left(n{\right)}^{g}={\oplus }_{\lambda }U\left(n\left(\lambda \right)\right),U\left(n\left(\lambda \right)\right)={\oplus }_{ij}Hom\left({W}_{i}\left(\lambda \right),{W}_{j}\left(\lambda \right)\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\left(\lambda \right)\right)$  :
$\mu \left(n\right){|}_{U\left(n{\right)}^{g}}={\prod }_{\lambda }\mu \left(n\left(\lambda \right)\right),\mu \left(n\left(\lambda \right)\right):U\left(n\left(\lambda \right)\right)⟶\mathfrak{p}\mathfrak{g}\left(n\left(\lambda \right){\right)}^{*}.$  It follows that $F\left(n{\right)}^{g}={\prod }_{\lambda }F\left(n\left(\lambda \right)\right)\text{with}F\left(n\left(\lambda \right)\right)=\mu \left(n\left(\lambda \right){\right)}^{-1}\left(0\right).$  By induction, we have $dim\left(F\left(n{\right)}^{g}\right)={\sum }_{\lambda }dim\left(F\left(n\left(\lambda \right)\right)={{\sum }_{\lambda }}^{\prime }\left(n\left(\lambda {\right)}^{t}\left(D-I\right)n\left(\lambda \right)+1\right),$  where ${\sum }^{\prime }$  indicates that we only sum over all $\lambda$  with $n\left(\lambda \right)\ne 0$  .
Next, $U\left(n{\right)}^{g}$  is stabilised by $H={\prod }_{\lambda }G\left(n\left(\lambda \right)\right)$  , a subgroup in $G\left(n\right)$  of codimension ${n}^{t}n-{\sum }_{\lambda }n\left(\lambda {\right)}^{t}n\left(\lambda \right)$  . We obtain the following upper bound for the dimension of $G\left(n\right)F\left(n{\right)}^{g}$  :
$dim\left(G\left(n\right)F\left(n{\right)}^{g}\right)\le {{\sum }_{\lambda }}^{\prime }\left(n\left(\lambda {\right)}^{t}\left(D-2I\right)n\left(\lambda \right)+1\right)+{n}^{t}n.$  Note that $\nu :=|\left\{\lambda |n\left(\lambda \right)\ne 0\right\}|\ge 2$  , since $g/\in {\mathbb{C}}^{*}$  . The difference of $dim\left(G\left(n\right)F\left(n{\right)}^{g}\right)$  to the expected dimension of $F\left(n\right)$  is therefore bounded below by  $\begin{array}{ccc}\Delta & :=& \left({n}^{t}\left(D-2I\right)n+1\right)-{{\sum }_{\lambda }}^{\prime }\left(n\left(\lambda {\right)}^{t}\left(D-2I\right)n\left(\lambda \right)+1\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{\lambda \ne \mu }n\left(\lambda {\right)}^{t}\left(D-2I\right)n\left(\mu \right)-\left(\nu -1\right)\end{array}$
 $\begin{array}{ccc}& \ge & 2\nu \left(\nu -1\right)-\left(\nu -1\right)=\left(2\nu -1\right)\left(\nu -1\right)\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)\left({d}_{ij}-2{\delta }_{ij}\right)-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=\left(1,1\right)$  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\left(n{\right)}^{g}$  , $g$  semisimple, is covered by the finite union of all sets $G\left(n\right)F\left(n{\right)}^{{g}_{i}}$  .
3.2. Case: $g$  is unipotent. We may write $g=1+h$  , with a non-zero nilpotent element $h=\left({h}_{1},\dots ,{h}_{s}\right)\in {\oplus }_{i}End\left({W}_{i}\right)$  . Let ${K}_{i}^{\left(\ell \right)}:=ker\left({h}_{i}^{\ell }\right)\subset {W}_{i}$  and ${m}_{i}\left(\ell \right):=dim{K}_{i}^{\left(\ell \right)}$  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}^{\left(\ell \right)}$  to $h{K}_{i}^{\left(\ell +1\right)}+{K}_{i}^{\left(\ell -1\right)}$  in ${K}^{\left(\ell \right)}$  and let ${n}_{i}^{\left(\ell \right)}=dim{W}_{i}^{\left(\ell \right)}$  . (We note that this is an instance of the so-called Jacobson-Morozov-Deligne filtration associated to a nilpotent element, see [8,1.6; the spaces ${W}_{i}^{\left(\ell \right)}$  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\left({W}_{i},{W}_{j}\right)$  commutes with $h$  . Then ${A}_{ij}$  is completely determined by its value on the spaces ${W}_{i}^{\left(\ell \right)}$  , $\ell \in \mathbb{N}$  , and conversely, any value of ${A}_{ij}:{W}_{i}^{\left(\ell \right)}\to {K}_{j}^{\left(\ell \right)}$  can be prescribed. The composition with the canonical projection ${K}_{j}^{\left(\ell \right)}\to {W}_{j}^{\left(\ell \right)}$  defines a homomorphism ${A}_{ij}^{\left(\ell \right)}:{W}_{i}^{\left(\ell \right)}⟶{W}_{j}^{\left(\ell \right)}$  , and the map $\Phi :{\left({\oplus }_{ij}Hom\left({W}_{i},{W}_{j}\right)\right)}^{g}⟶{\oplus }_{\ell }\left({\oplus }_{ij}Hom\left({W}_{i}^{\left(\ell \right)},{W}_{j}^{\left(\ell \right)}\right)\right),\left({A}_{ij}\right)↦\left({A}_{ij}^{\left(\ell \right)}\right),$  is a ring homomorphism. Let ${\Phi }_{V}:U\left(n{\right)}^{g}={\left({\oplus }_{i,j}{W}_{ij}\otimes {V}_{ij}\right)}^{g}⟶{\oplus }_{\ell }U\left({n}^{\left(\ell \right)}\right)={\oplus }_{\ell }{\oplus }_{i,j}Hom\left({W}_{i}^{\left(\ell \right)},{W}_{j}^{\left(\ell \right)}\right)\otimes {V}_{ij}$  be analogously defined. Then ${\Phi }_{V}\left(F\left(n{\right)}^{g}\right)\subset {\prod }_{\ell }F\left({n}^{\left(\ell \right)}\right)$  , and the fibres of ${\Phi }_{V}$  have dimension ${\sum }_{\ell }{{n}^{\left(\ell \right)}}^{t}D\left({m}^{\left(\ell \right)}-{n}^{\left(\ell \right)}\right)$  . By induction, this yields the bound  $\begin{array}{ccc}dim\left(F\left(n{\right)}^{g}\right)& \le & {\sum }_{\ell }dim\left(F\left(n\left(\ell \right)\right)+dim\left(ker\left({\Phi }_{V}\right)\right)\end{array}$
 $\begin{array}{ccc}& =& {{\sum }_{\ell }}^{\prime }\left({{n}^{\left(\ell \right)}}^{t}\left(D-I\right){n}^{\left(\ell \right)}+1\right)+{\sum }_{\ell }{{n}^{\left(\ell \right)}}^{t}D\left({m}^{\left(\ell \right)}-{n}^{\left(\ell \right)}\right),\end{array}$
where ${\sum }^{\prime }$  signifies summation over all $\ell$  with ${n}^{\left(\ell \right)}\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\left({W}_{i}^{\left(\ell \right)},{K}_{i}^{\left(\ell \right)}\right)$  and therefore has dimension $dim\left(H\right)={\sum }_{\ell }{{n}^{\left(\ell \right)}}^{t}{m}^{\left(\ell \right)}$  . Connecting these pieces of information we obtain  $\begin{array}{ccc}dim\left(G\left(n\right)F\left(n{\right)}^{g}\right)& \le & dim\left(F\left(n{\right)}^{g}\right)+dim\left(G\left(n\right)\right)-dim\left(H\right)\end{array}$
 $\begin{array}{ccc}& \le & {{\sum }_{\ell }}^{\prime }\left({{n}^{\left(\ell \right)}}^{t}\left(D-I\right){n}^{\left(\ell \right)}+1\right)+{\sum }_{\ell }{{n}^{\left(\ell \right)}}^{t}D\left({m}^{\left(\ell \right)}-{n}^{\left(\ell \right)}\right)\end{array}$
 $\begin{array}{ccc}& & +{n}^{t}n-{\sum }_{\ell }{{n}^{\left(\ell \right)}}^{t}{m}^{\left(\ell \right)}.\end{array}$
The difference of the last expression to the expected dimension of $F\left(n\right)$  is $\Delta :=\left[{n}^{t}\left(D-I\right)n-{n}^{t}n+1\right]-{{\sum }_{\ell }}^{\prime }\left[{{n}^{\left(\ell \right)}}^{t}\left(D-I\right){m}^{\left(\ell \right)}-{{n}^{\left(\ell \right)}}^{t}{n}^{\left(\ell \right)}+1\right].$  Note that the two bracketed expressions are not quite symmetric to each other due to the presence of ${m}^{\left(\ell \right)}$  instead on ${n}^{\left(\ell \right)}$  . We can get rid of $n$  and ${m}^{\left(\ell \right)}$  due to the relations ${m}^{\left(\ell \right)}={\sum }_{k}{n}^{\left(k\right)}min\left\{k,\ell \right\},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}\left(D-I\right){n}^{\left(\ell \right)}\left(k\ell -min\left\{k,\ell \right\}\right)-{\sum }_{k,\ell }{{n}^{\left(k\right)}}^{t}{n}^{\left(\ell \right)}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(\left(k-1\right)\left(D-2I\right)-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(\left(k\ell -min\left\{k,\ell \right\}\right)\left(D-2I\right)-min\left\{k,\ell \right\}I\right){n}^{\left(\ell \right)}\end{array}$
Here the second summand $\left[\dots \right]$  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 non-negative.
The minimal contribution of a non-zero vector ${n}^{\left(k\right)}$  , $k\ne 2$  , to $\Delta$  is $k\left(\left(k-1\right)a-1\right){\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\left(n{\right)}^{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\left(n{\right)}^{1+h}\subset Z$  .
3.3. Case: $g\in G\left(n\right)\{\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\left(n{\right)}^{g}\subset F\left(n{\right)}^{s}\cap F\left(n{\right)}^{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}\left(X,\mathbb{Z}\right)$  be a primitive Mukai vector satisfying $\left(*\right)$  . 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 $\left[q:\mathcal{ℋ}\to E\right]\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}\left(E,E\right)-dim{Ext}^{2}\left(E,E{\right)}_{0}=1+{\sum }_{i,j}{n}_{i}\left(dim{Ext}^{1}\left({E}_{i},{E}_{j}\right)-{\delta }_{ij}\right){n}_{j},$  that has property ${R}_{3}$  in all cases except the following two:
• 1. $s=1$  , ${n}_{1}=2$  , $dim{Ext}^{1}\left({E}_{1},{E}_{1}\right)=4$  ,
• 2. $s=2$  , ${n}_{1}={n}_{2}=1$  , $dim{Ext}^{1}\left({E}_{1},{E}_{2}\right)=2$  .
• Proof. Recall the notation introduced in sections  2.6 and  2.7 . By Proposition  3.5 , $F={\mu }^{-1}\left(0\right)=Spec\left(grA/J\right)$  is a normal complete intersection variety of dimension  $\begin{array}{ccc}dim\left(F\right)& =& 1+{\sum }_{i,j}{n}_{i}\left(dim{Ext}^{1}\left({E}_{i},{E}_{j}\right)-{\delta }_{ij}\right){n}_{j}\end{array}$
 $\begin{array}{ccc}& =& dim{Ext}^{1}\left(E,E\right)-dim{Ext}^{2}\left(E,E{\right)}_{0}.\end{array}$
Therefore, we must have equality at all places in inequality  2.1 . Furthermore, since $F=Spec\left(grA/J\right)$  is reduced and irreducible, the equality of dimensions implies $J=in\left(I\right)$  . It follows that $gr\left({\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}\right)=gr\left(A/I\right)=grA/in\left(I\right)=\Gamma \left(F,{\mathcal{O}}_{F}\right)$  is a normal complete intersection. In particular, $gr\left({\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}\right)$  is Cohen-Macaulay, hence satisfies ${S}_{k}$  for all $k\in \mathbb{N}$  . Unless we are in the two exceptional cases, $gr\left({\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}\right)$  is smooth in codimension 3. Now remark that $gr\left({\stackrel{^}{\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\left(grB\right)$  , 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 $〈{v}_{0},{v}_{0}〉=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}\left({E}_{i},{E}_{j}\right)={r}_{i}{r}_{j}〈{v}_{0},{v}_{0}〉\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 $〈v,v〉+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 $〈v,v〉+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)×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 [12Exp. 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}\left(X,\mathbb{Z}\right)$  . 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+〈v,v〉$  . Fix a point $\left[F\right]\in Y$  and suppose that there is a point $\left[G\right]\in {M}_{v}\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}\left(Y×X\right)$  . Let $p:Y×X\to Y$  and $q:Y×X\to X$  be the projections. We may then compare the relative Ext-sheaves ${Ext}_{p}^{\bullet }\left({q}^{*}F,\mathbb{F}\right)$  and ${Ext}_{p}^{\bullet }\left({q}^{*}G,\mathbb{F}\right)$  . Since $F$  and $G$  are numerically equal on $X$  , the same is true for the classes of the Ext-sheaves according to the Grothendieck-Riemann-Roch 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{×}_{{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 }}⊠\mathcal{ℋ}\to {\mathbb{F}}^{\prime }$  . We form the quotient $P:=\left({\mathbb{P}}^{N-1}×{R}^{\prime }\right)//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}}^{N-1}$  . The center ${\mathbb{C}}^{*}\subset Gl\left(N\right)$  acts trivially on the family ${\mathcal{O}}_{{\mathbb{P}}^{N-1}}\left(-1\right)⊠{\mathbb{F}}^{\prime }$  . Therefore, this sheaf descends to a family ${\mathbb{F}}_{P}$  on $P×X$  . Let $L$  be a very ample line bundle on $P$  . Choose a linear subspace $Z\subset \mathbb{P}\left({H}^{0}\left(P,L\right)\right)$  of codimension $N-1$  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 }×X}$  .
3. Let $f:{Y}^{\prime }\to Y$  and $\mathbb{F}$  be chosen as in the lemma and let $p:{Y}^{\prime }×X\to {Y}^{\prime }$  and $q:{Y}^{\prime }×X\to X$  denote the two projections. Moreover, let ${f}^{-1}\left(\left[F\right]\right)=\left\{{p}_{1},\dots ,{p}_{n}\right\}$  .
As $G$  represents a point in $M\Y$  and hence is not isomorphic to any of the stable sheaves $E$  , $\left[E\right]\in Y$  , one has $Hom\left(G,E\right)=0={Ext}^{2}\left(G,E\right)$  for all $\left[E\right]\in Y$  .
It follows that ${Ext}_{p}^{0}\left({q}^{*}G,\mathbb{F}\right)$  and ${Ext}_{p}^{2}\left({q}^{*}G,\mathbb{F}\right)$  vanish and that $W:={Ext}_{p}^{1}\left({q}^{*}G,\mathbb{F}\right)$  is a locally free sheaf on ${Y}^{\prime }$  of rank $〈v,v〉=dim\left(Y\right)-2$  .
If $G$  is replaced by $F$  the situation gets more complicated as the dimension of the Ext-groups jumps on the fibre $T$  . There is a complex of locally free ${\mathcal{O}}_{{Y}^{\prime }}$  –sheaves  $\begin{array}{c}0⟶{A}^{0}--\to \alpha {A}^{1}--\to \beta {A}^{2}⟶0\end{array}$ (4.1)
with the property that ${Ext}_{{p}_{{}_{S}}}^{i}\left({t}_{{}_{X}}^{*}{q}^{*}G,{t}_{X}^{*}\mathbb{F}\right)\sim ={h}^{i}\left({t}^{*}\left({A}^{\bullet }\right)\right)$  for every base change  $\begin{array}{c}\begin{array}{ccccc}S×X& --\to {t}_{X}& {Y}^{\prime }×X& -\to q& X\\ {p}_{S}↓& & p↓\\ 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\left(F,E\right)=0={Ext}^{2}\left(F,E\right)$  . This implies that $\alpha$  and $\beta$  have maximal rank on ${Y}^{\prime }\\left\{{p}_{1},\dots ,{p}_{n}\right\}$  . Moreover, $Hom\left(F,F\right)=\mathbb{C}={Ext}^{2}\left(F,F\right)$  , 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}\left(F,F\right)$  . 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⟶F-\to \varepsilon {F}_{\gamma }⟶F⟶0\end{array}$ (4.3)
induces a long exact sequence $⟶{Ext}^{i}\left(F,F\right)⟶{Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{i}\left(F\otimes \mathbb{C}\left[\varepsilon \right],{F}_{\gamma }\right)⟶{Ext}^{i}\left(F,F\right)--\to \partial {Ext}^{i+1}\left(F,F\right)⟶$  where the boundary operator is given by $\partial \left(e\right)=\gamma \cup e$  . Now $\gamma \cup -:\mathbb{C}=End\left(F,F\right)\to {Ext}^{1}\left(F,F\right)$  is clearly injective, and $\gamma \cup -:{Ext}^{1}\left(F,F\right)\to {Ext}^{2}\left(F,F\right)$  is surjective since the symplectic form on ${Ext}^{1}\left(F,F\right)$  is non-degenerate. It follows that ${Ext}^{0}\left(F,F\right)\sim ={Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{0}\left(F\otimes \mathbb{C}\left[\varepsilon \right],{F}_{\gamma }\right)$  and ${Ext}_{Spec\mathbb{C}\left[\varepsilon \right]}^{2}\left(F\otimes \mathbb{C}\left[\varepsilon \right],{F}_{\gamma }\right)\sim ={Ext}^{2}\left(F,F\right)$  . 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 blow-up of $Y$  in $\left[F\right]$  with exceptional divisor $D$  and similarly $\phi :{Z}^{\prime }\to {Y}^{\prime }$  the blow-up of ${Y}^{\prime }$  in all points ${p}_{i}$  with corresponding exceptional divisors ${D}_{i}$  .  $\begin{array}{c}\begin{array}{ccccccc}D& \subset & Z& ←-g& {Z}^{\prime }& \supset & {D}_{i}\\ ↓& & \sigma ↓& & \phi ↓& & ↓\\ \left[F\right]& \in & Y& ←--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}\left({q}^{*}F,{\mathcal{O}}_{D}⊠\mathbb{F}{|}_{{f}^{-1}\left(\left[F\right]\right)×X}\right)\sim ={Ext}^{2}\left(F,F\right){\otimes }_{\mathbb{C}}{\mathcal{O}}_{{D}^{\prime }}$  and ${Tor}_{1}^{{\mathcal{O}}_{{Z}^{\prime }}}\left(M,{\mathcal{O}}_{{D}^{\prime }}\right)\sim ={Ext}_{{D}^{\prime }}^{0}\left({q}^{*}F,{\mathcal{O}}_{D}⊠\mathbb{F}{|}_{{f}^{-1}\left(\left[F\right]\right)×X}\right)\sim =Hom\left(F,F\right){\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⟶{{A}^{\prime }}^{0}--\to {\alpha }^{\prime }{\phi }^{*}{A}^{1}--\to {\beta }^{\prime }{{A}^{\prime }}^{2}⟶0.$  ${W}^{\prime }$  is locally free of rank $dimY-2$  . We obtain the following equation of Chern classes in ${H}^{*}\left({Z}^{\prime },\mathbb{Z}\right)$  :  $\begin{array}{c}{\phi }^{*}c\left({A}^{1}-{A}^{0}-{A}^{2}\right)=c\left({W}^{\prime }+M-L\right).\end{array}$ (4.7)
On the other hand, as $c\left(F\right)=c\left(G\right)$  in ${H}^{*}\left(X,\mathbb{Z}\right)$  , the Grothendieck-Riemann-Roch Theorem yields the following identity in ${H}^{*}\left({Y}^{\prime },\mathbb{Z}\right)$  :  $\begin{array}{c}c\left({A}^{1}-{A}^{0}-{A}^{2}\right)=c\left({Ext}_{p}^{\bullet }\left({q}^{*}F,\mathbb{F}\right)\right)=c\left({Ext}_{p}^{\bullet }\left({q}^{*}G,\mathbb{F}\right)\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\left(L-M\right)\in {H}^{*}\left({Z}^{\prime },\mathbb{Z}\right)\end{array}$ (4.9)
Moreover, $c\left(L-M\right){=}^{n}{\prod }_{i=1}\frac{c\left({\mathcal{O}}_{{D}_{i}}\right)}{c\left({\mathcal{O}}_{{D}_{i}}\left({D}_{i}\right)\right)}{=}^{n}{\prod }_{i=1}\frac{1}{c\left({\mathcal{O}}_{{Z}^{\prime }}\left(-{D}_{i}\right)\right)c\left({\mathcal{O}}_{{Z}^{\prime }}\left({D}_{i}\right)\right)}=1+{\sum }_{k=1}^{\infty }{\sum }_{i=1}^{n}{D}_{i}^{2k}.$  The product of any cohomology class in ${H}^{*}\left({Y}^{\prime },\mathbb{Z}\right)$  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 $\left(*\right)$  and $\left(**\right)$  . 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+〈v,v〉$  .
This theorem is due to Yoshioka [28in 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 GIT-quotient 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 $\left(**\right)$  , ${M}_{{v}_{0}}$  is non-empty.
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 }  . For any decomposition $m={m}^{\prime }+{m}^{\prime \prime }$  with $1\le {m}^{\prime }\le {m}^{\prime \prime }$  , consider the morphism $\phi \left({m}^{\prime },{m}^{\prime \prime }\right):{M}_{{m}^{\prime }{v}_{0}}×{M}_{{m}^{\prime \prime }{v}_{0}}⟶{M}_{m{v}_{0}},\left(\left[{E}^{\prime }\right],\left[{E}^{\prime \prime }\right]\right)↦\left[{E}^{\prime }\oplus {E}^{\prime \prime }\right],$  and let $Y\left({m}^{\prime },{m}^{\prime \prime }\right)\subset {M}_{v}$  denote its image. The subschemes $Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  , $1\le {m}^{\prime }\le {m}^{\prime \prime }$  , are the irreducible components of the strictly semistable locus of ${M}_{v}$  .
Since all $Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  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 $\left(*\right)$  .
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\left(N{\right)}_{\left[q\right]}\sim =PAut\left(E\right)$  of any point $\left[q\right]$  in the closed orbit in ${\pi }^{-1}\left(\left[E\right]\right)\subset {R}^{ss}$  acts trivially on the fibre $L\left(\left[q\right]\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(\left[E\right]\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 $\left(*\right)$  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(\left[{E}_{0}^{\oplus m}\right]\right)\subset {R}^{ss}$  is isomorphic to $PGl\left(m\right)$  and therefore has no non-trivial characters. Hence the action of $PGl\left(m\right)$  on $L\left(\left[q\right]\right)$  is necessarily trivial (notations as in Proposition  5.1 ).
Theorem 5.3. — Let ${v}_{0}$  be a primitive Mukai vector satisfying $\left(*\right)$  and $\left(**\right)$  . 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 $\left[q:\mathcal{ℋ}\to E\right]$  be a point in the closed orbit in ${\pi }^{-1}\left(\left[E\right]\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}〈{v}_{0},v\left({\mathcal{O}}_{X}\left(-zH\right)〉$  , ${N}_{i}={P}_{i}\left(k\right)$  and ${\mathcal{ℋ}}_{i}={\mathcal{O}}_{X}\left(-kH{\right)}^{\oplus {N}_{i}}$  . Then $N={\sum }_{i}{n}_{i}{N}_{i}$  and $\mathcal{ℋ}={\oplus }_{i}{\mathcal{ℋ}}_{i}^{\oplus {n}_{i}}$  . Moreover there are parameter spaces ${R}_{i}^{ss}\subset {Quot}_{X,H}\left({\mathcal{ℋ}}_{i},{P}_{i}\right)$  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}⟶{R}^{ss},{\left(\left[{\mathcal{ℋ}}_{i}\to {F}_{i}\right]\right)}_{i}↦\left[\mathcal{ℋ}={\oplus }_{i}{\mathcal{ℋ}}_{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 $\left[{q}^{\prime }:\mathcal{ℋ}\to {E}_{0}^{\oplus m}\right]$  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 semi-stable 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}×{\mathbb{P}}^{1}}\left(2,0,2\right)$  is not locally factorial at the point represented by $\mathcal{O}\left(1,-1\right)\oplus \mathcal{O}\left(-1,1\right)$  (see [10, p. 106).

6 Symplectic resolutions

Let ${v}_{0}$  be a primitive Mukai vector satisfying $\left(*\right)$  and $\left(**\right)$  . 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 $〈{v}_{0},{v}_{0}〉=2$  .
• (C) $m\ge 3$  , or $m=2$  and $〈{v}_{0},{v}_{0}〉\ge 4$  .
In case (A) the moduli space ${M}_{v}$  consists only of stable sheaves. It is irreducible and smooth of dimension $2+〈v,v〉$  . Mukai [21has 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 non-empty 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 }\left(m-{m}^{\prime }\right)〈{v}_{0},{v}_{0}〉-2$  , respectively. In particular, $codim{M}_{v,sing}=2$  in case (B) and $\ge 4$  in case (C).
• Proof. Recall the varieties $Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  introduced in the proof of Theorem  4.4 . The union of the $Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  is the strictly semistable locus. The maps $\phi \left({m}^{\prime },{m}^{\prime \prime }\right):{M}_{{m}^{\prime }{v}_{0}}×{M}_{{m}^{\prime \prime }{v}_{0}}\to Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  are finite and surjective, hence  $\begin{array}{ccc}codim\left(Y\left({m}^{\prime },{m}^{\prime \prime }\right)\right)& =& 2+{m}^{2}〈{v}_{0},{v}_{0}〉-\left(2+{{m}^{\prime }}^{2}〈{v}_{0},{v}_{0}〉\right)-\left(2+{{m}^{\prime \prime }}^{2}〈{v}_{0},{v}_{0}〉\right)\end{array}$
 $\begin{array}{ccc}& =& 2{m}^{\prime }{m}^{\prime \prime }〈{v}_{0},{v}_{0}〉-2.\end{array}$
Clearly, the codimension 2 is attained only if ${m}^{\prime }={m}^{\prime \prime }=1$  and $〈{v}_{0},{v}_{0}〉=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 $\left[E={E}^{\prime }\oplus {E}^{\prime \prime }\right]\in Y\left({m}^{\prime },{m}^{\prime \prime }\right)$  , 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}\left(E,E{\right)}_{0}\sim =\mathbb{C}$  , and the Kuranishi map ${Ext}^{2}\left(E,E{\right)}_{0}\to \mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }$  is completely described by an invariant function $f\in \mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }$  . It follows, that ${\stackrel{^}{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim ={\left(\mathbb{C}\left[{Ext}^{1}\left(E,E\right){\right]}^{\wedge }\right)}^{{\mathbb{C}}^{*}}/\left(f\right).$  Now ${\mathbb{C}}^{*}$  acts on the four summands of ${Ext}^{1}\left(E,E\right)={Ext}^{1}\left({E}^{\prime },{E}^{\prime }\right)\oplus {Ext}^{1}\left({E}^{\prime },{E}^{\prime \prime }\right)\oplus {Ext}^{1}\left({E}^{\prime \prime },{E}^{\prime }\right)\oplus {Ext}^{1}\left({E}^{\prime \prime },{E}^{\prime \prime }\right)$  with weights $0$  , $1$  , $-1$  , and $0$  . It follows that ${Ext}^{1}\left(E,E\right)//{\mathbb{C}}^{*}={Ext}^{1}\left({E}^{\prime },{E}^{\prime }\right)×C×{Ext}^{1}\left({E}^{\prime \prime },{E}^{\prime \prime }\right),$  where $C\subset M\left(d,\mathbb{C}\right)$  is the cone of matrices of rank $\le 1$  and $d=dim{Ext}^{1}\left({E}^{\prime },{E}^{\prime \prime }\right)={m}^{\prime }{m}^{\prime \prime }〈{v}_{0},{v}_{0}〉\ge 2.$  Since the quotient of a singular local ring by a non-zero divisor cannot become regular, ${\stackrel{^}{\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+〈v,v〉$  . The singular locus is non-empty 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 [21constructed a non-degenerate 2-form on ${M}_{v}^{s}$  . This form is closed even if ${M}_{v}^{s}$  is not projective ([13Prop. 10.3.2). By Flenner’s theorem [11this 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, [14Lemma 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 [7no. 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 ${\stackrel{^}{\mathcal{O}}}_{{M}_{v},\left[E\right]}\sim =\mathbb{C}\left[{Ext}^{1}\left({E}^{\prime },{E}^{\prime }\right)\oplus {Ext}^{1}\left({E}^{\prime \prime },{E}^{\prime \prime }\right){\right]}^{\wedge }\stackrel{^}{\otimes }B,$  where $B$  is the completed coordinate ring of the cone ${C}_{0}\subset C\subset M\left(d,\mathbb{C}\right)$  of traceless matrices of rank $\le 1$  , with $d\ge 4$  . But ${\stackrel{^}{\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}\left({E}^{\prime },{E}^{\prime \prime }\right)\right)\to {C}_{0}←{T}^{*}\mathbb{P}\left({Ext}^{1}\left({E}^{\prime \prime },{E}^{\prime }\right)\right)$  . We see that in this case ${\mathcal{O}}_{M,\left[E\right]}$  is factorial due to Theorem  5.3 , but ${\stackrel{^}{\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 $\left(*\right)$  , the completed local ring ${\stackrel{^}{\mathcal{O}}}_{{M}_{v},\left[{E}_{0}^{\oplus m}\right]}$  is factorial. In fact, the proof of proposition  3.7 shows that ${\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}$  is factorial. Moreover, the stabiliser is isomorphic to $PGl\left(m\right)$  hence has no non-trivial characters. Under these conditions one can show that the invariant ring $\left({\stackrel{^}{\mathcal{O}}}_{S,\left[q\right]}{\right)}^{PGl\left(m\right)}\simeq {\stackrel{^}{\mathcal{O}}}_{{M}_{v},\left[{E}_{0}^{\oplus m}\right]}$  is also factorial.
References

1. M. Atiyah, I. Macdonald, Introduction to Commutative Algebra, Addison-Wesley.
2. A. Altman, S. Kleiman, Introduction to Grothendieck Duality Theory. Lecture Notes in Mathematics 146. Springer Verlag 1970.
3. A. Beauville, Varietes Kahleriennes dont la premiere classe de Chern est nulle. J. Differential Geom. 18 (1983), 755 – 782.
4. 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.
5. A. Beauville, Symplectic singularities. Invent. math. 139 (2000), 541 – 549.
6. M. P. Cavaliere, G. Niesi, On Serre’s conditions in the form ring of an ideal. J. Math. Kyoto Univ. 21 (1981) 537 – 546.
7. O. Debarre, Higher dimensional algebraic geometry. Universitext Springer Verlag 2001.
8. P. Deligne, La conjecture de Weil, II. Inst. Hautes E’tudes Sci. Publ. Math. No. 52 (1980), 137–252.
9. J.-M. Drezet, Groupe de Picard des varietes de modules de faisceaux semi-stables sur ${\mathbb{P}}_{\mathbb{C}}^{2}$  . Annales de l’institut Fourier, 38 no. 3 (1988)
10. J.-M. Drezet, Points non factoriels des varietes de modules de faisceaux semi-stables sur une surface rationnelle. J. reine angew. Math. 413 (1991), 99 – 126.
11. H. Flenner, Extendability of differential forms on non-isolated singularities. Invent. math. 94 (1988), 317 – 326.
12. A. Grothendieck, Cohomologie locale des faisceaux coherents et Theoremes de Lefschetz locaux et globaux. Seminaire de Geometrie Algebrique du Bois-Marie 1962 (SGA 2). North-Holland Publishing Company Amsterdam 1968.
13. D. Huybrechts, M. Lehn, The Geometry of Moduli Spaces of Sheaves. Aspects of Mathematics E 31. Vieweg Verlag 1997.
14. D. Kaledin, Symplectic resolutions from the Poisson point of view. To appear in: J. reine angewandte Math. math.AG/0310186.
15. Y. Kiem, On the existence of a symplectic desingularisation of some moduli spaces of sheaves on a K3 surface. To appear in Comp. Math.
16. Y. Kiem, J. Choy, Nonexistence of crepant resolution of moduli space of sheaves on a K3 surface.
17. D. Kaledin, M. Lehn, Local structure of hyperkahler singularities in O’Grady’s examples. math.AG/0405575.
18. M. Lehn, Ch. Sorger, La singularite de O’Grady. math.AG/0504182.
19. E. Markman, Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces. J. reine angew. Math. 544 (2002), 61 – 82
20. H. Matsumura, Commutative Algebra. W. A. Benjamin 1970.
21. S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface. Invent. math. 77 (1984), 101 – 116.
22. H. Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody-algebras. Duke Math. J. 76 (1994), 365 – 416.
23. K. O’Grady, Desingularized moduli spaces of sheaves on a K3, J. reine angew. Math. 512 (1999), 49 – 117.
24. K. O’Grady, A new six-dimensional irreducible symplectic variety. J. Algebraic Geom. 12 (2003), 435 – 505.
25. A. Rapagnetta, Topological invariants of O’Grady’s six dimensional irreducible symplectic variety. math.AG/0406026.
26. C. Simpson, Moduli of representations of the fundamental group of a smooth projective variety I. Publ. Math. IHES 79 (1994), 47 – 129.
27. K. Yoshioka, Moduli Spaces of stable sheaves on abelian surfaces. Mathem. Ann. 321 (2001), 817 – 884.
28. K. Yoshioka, Twisted stability and Fourier-Mukai Transform. Comp. Math. 138 (2003), 261 – 288.

Dmitry Kaledin, Independent University of Moscow, B. Vlassievski per. 11, Moscow, 119002, Russia E-mail address : kaledin@mccme.ru Manfred Lehn, Fachbereich Physik, Mathematik und Informatik, Johannes Gutenberg–Universitat Mainz, D-55099 Mainz, Germany E-mail address : lehn@mathematik.uni-mainz.de Christoph Sorger, Laboratoire de Mathematiques Jean Leray (UMR 6629 du CNRS), Universite de Nantes, 2, Rue de la Houssiniere, BP 92208, F-44322 Nantes Cedex 03, France E-mail address : christoph.sorger@univ-nantes.fr