factoriality properties of moduli spaces of sheaves on
TRANSCRIPT
HAL Id: hal-01266784https://hal.archives-ouvertes.fr/hal-01266784
Submitted on 3 Feb 2016
HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.
Factoriality Properties of Moduli Spaces of Sheaves onAbelian and K3 SurfacesArvid Perego, Antonio Rapagnetta
To cite this version:Arvid Perego, Antonio Rapagnetta. Factoriality Properties of Moduli Spaces of Sheaves on Abelianand K3 Surfaces. International Mathematics Research Notices, Oxford University Press (OUP), 2012,2014 (3), pp.643–680. �10.1093/imrn/rns233�. �hal-01266784�
Factoriality properties of moduli spaces of sheaves
on abelian and K3 surfaces
Arvid Perego, Antonio Rapagnetta
February 3, 2016
Abstract
In this paper we complete the determination of the index of factorialityof moduli spaces of semistable sheaves on an abelian or projective K3surface S. If v “ 2w is a Mukai vector, w is primitive, w2 “ 2 and H is ageneric polarization, let MvpS,Hq be the moduli space of H´semistablesheaves on S with Mukai vector v. First, we describe in terms of v thepure weight-two Hodge structure and the Beauville form on the secondintegral cohomology of the symplectic resolutions of MvpS,Hq (when S isK3) and of the fiber KvpS,Hq of the Albanese map of MvpS,Hq (whenS is abelian). Then, if S is K3 we show that MvpS,Hq is either locallyfactorial or 2´factorial, and we give an example of both cases. If S isabelian, we show that MvpS,Hq and KvpS,Hq are 2´factorial.
1 Introduction and notations
The study of the local factoriality of moduli spaces of sheaves on smooth, pro-jective varieties is a problem which appears naturally when one wants to studytheir Picard group. The question of local factoriality has been adressed andsolved in some cases.
In [7] Drezet and Narasimhan show that the moduli space UCpr, dq of semi-stable vector bundles of rank r and degree d on a smooth, projective curve Cof genus g ě 2, is locally factorial. The same result is proved even for themoduli space UCpr, Lq of semistable vector bundles or rank r and determinantL P PicpCq.
If G is a semisimple group, the moduli space MG of semistable principalG´bundles on a smooth, projective curve is locally factorial if and only if Gis special in the sense of Serre: this is due to Beauville, Laszlo and Sorger forG classical or G “ G2 (see [13], [2], [12]), and to Sorger (see [25]) and Boysal,Kumar (see [4]) for exceptional G.
In [5] Drezet shows that the moduli space Mpr, c1, c2q of semistable sheaveson P2 of rank r ě 2 and Chern classes c1 and c2 is locally factorial. In [6],Drezet studies the moduli space MHpr, c1, c2q of H´semistable sheaves on arational, ruled surface S: he conjectures that it is locally factorial wheneverthe polarization H is generic, otherwise he presents an explicit example of nonlocally factorial moduli space. In [26] and [27], Yoshioka shows that the modulispace MHpr, c1, c2q of semistable sheaves on a ruled, non-rational surface islocally factorial whenever H is generic.
1
More recently, Kaledin, Lehn and Sorger in [11] showed the local factorialityof a large class of moduli spaces of sheaves over projective K3 or abelian surfaces:in their work, the local factoriality plays a major role in order to avoid theexistence of symplectic resolutions of the moduli space.
The aim of this paper is to study the local factoriality of the remaing cases ofmoduli spaces of H´semistable sheaves on an abelian or projective K3 surfacewith generic polarization. In the following, S will denote an abelian or projectiveK3 surface. An element v P rHpS,Zq :“ H2˚pS,Zq will be written as v “pv0, v1, v2q, where vi P H2ipS,Zq, and v0, v2 P Z. It will be called Mukai vector
if v0 ě 0 and v1 P NSpSq, and if v0 “ 0 then either v1 is the first Chern class
of an effective divisor, or v1 “ 0 and v2 ą 0. Recall that rHpS,Zq has a pureweight-two Hodge structure defined as
rH2,0pSq :“ H2,0pSq, rH0,2pSq :“ H0,2pSq,
rH1,1pSq :“ H0pS,Cq ‘H1,1pSq ‘H4pS,Cq,
and a compatible lattice structure with respect to the Mukai pairing p., .q. Inthe following, we let v2 :“ pv, vq for every Mukai vector v, and we define thesublattice
vK :“ tα P rHpS,Zq | pα, vq “ 0u Ď rHpS,Zq,
which inherits a pure weight-two Hodge structure from the one on rHpS,Zq.If F is a coherent sheaf on S, its Mukai vector is vpF q :“ chpF q
atdpSq.
Let H be a polarization and v a Mukai vector on S. We write MvpS,Hq (resp.M s
v pS,Hq) for the moduli space of H´semistable (resp. H´stable) sheaves onS with Mukai vector v. If no confusion on S and H is possible, we drop themfrom the notation.
From now on, we suppose thatH is a v´generic polarization (for a definition,see [22]). We write v “ mw, where m P N and w is a primitive Mukai vectoron S. It is known that if M s
v ‰ H, then M sv is smooth, quasi-projective, of
dimension v2 ` 2 and carries a symplectic form (see Mukai [15]).If S is an abelian surface, a further construction is necessary. Choose F0 P
MvpS,Hq, and define av : MvpS,Hq ÝÑ S ˆ pS in the following way (see [29]):
let p pS : S ˆ pS ÝÑ pS be the projection and P the Poincare bundle on S ˆ pS.For every F P MvpS,Hq we let
avpF q :“ pdetpp pS!ppF ´ F0q b pP ´ O
Sˆ pSqq, detpF q b detpF0q´1q.
Moreover, we define KvpS,Hq :“ a´1v p0S ,OSq, where 0S is the zero of S.
The local factoriality of MvpS,Hq and KvpS,Hq is almost completely un-derstood. First, write v “ mw, and suppose that w2 ě 0, as if w2 ă 0 thenMvpS,Hq is either empty or a single point. Under this condition, thenMvpS,Hqand KvpS,Hq are known to be locally factorial in one of the two following cases(see the Appendix for the details on Kv):
1. m “ 1 and w2 ě 0 (in this case Mv “ M sv , hence it is smooth);
2. m “ 2 and w2 ě 4, or m ě 3 and w2 ě 2 (see [11]).
The aim of the present paper is to determine the factoriality index of theremaining cases, namely when m ě 2 and w2 “ 0, and when m “ 2 and w2 “ 2.
2
If m ě 2 and w2 “ 0, then Mw is either a projective K3 surface or an abelian
surface, and Mv is isomorphic to the m´th symmetric product Mpmqw . Hence,
it is 2´factorial: as we did not find any reference for this, we included the proofin section 2.
Sections 3 and 4 are devoted to the factorialiy index of the last case: m “ 2and w2 “ 2, i. e. pS, v,Hq is an OLS-triple following the terminology of[22]. A particular case is given by the moduli spaces M10 and K6 describedby O’Grady in [19] and [20], which are known to be 2´factorial by [21]. Werecall that if pS, v,Hq is on OLS-triple, thenMv (resp. Kv) admits a symplectic
resolution ĂMv (resp. rKv) (see [14]). In [22] we proved that ĂMv and rKv areirreducible symplectic manifolds, and we showed that H2pMv,Zq and H2pKv,Zqhave a pure weight-two Hodge structure, a lattice structure, and they are Hodgeisometric to vK.
As a first step to compute the index of factoriality of Mv and Kv, we usethe results of [22] to calculate the pure weight-two Hodge structure and the
lattice structure on H2pĂMv,Zq (if S is K3) and on H2p rKv,Zq in terms of the
Mukai vector v. We show that if S is K3, then H2pĂMv,Zq is Hodge isometricto a Z´submodule Γv of pvK b Qq ‘ Q, on which we define a pure weight-twoHodge structure and a lattice structure coming from those on vK. This is thecontent of Theorem 3.4, where a similar description of H2p rKv,Zq is presented.These results are analogues to the description of the Hodge structure and of thelattice structure on H2pMv,Zq and H2pKv,Zq given by O’Grady and Yoshiokafor primitive v.
Once the description of the Hodge structure on H2pĂMv,Zq and H2p rKv,Zq isdone, we proceed with the determination of the index of factoriality ofMvpS,Hqand KvpS,Hq. More precisely, if S is a K3 surface we show the following:
Theorem 1.1. Let pS, v,Hq be an OLS-triple such that S is a projective K3
surface, and write v “ 2w. Then MvpS,Hq is either 2´factorial or locally
factorial. Moreover
1. MvpS,Hq is 2´factorial if and only if there is γ P rHpS,Zq X rH1,1pSq such
that pγ, wq “ 1.
2. MvpS,Hq is locally factorial if and only if for every γ P rHpS,ZqX rH1,1pSqwe have pγ, wq P 2Z.
To prove this result, we use the description of the Hodge structure onH2pMv,Zq given in [22], and of the Hodge structure of H2pĂMv,Zq we obtain in
Theorem 3.4: we are then able to calculate the Picard groups of ĂMv and Mv,and from the relation between them we determine the factoriality index. ThisTheorem allows us to easily present explicit examples of OLS-triples pS, v,Hqsuch that MvpS,Hq is locally factorial (see Example 4.4).
In the case of OLS-triples pS, v,Hq where S is abelian, we study the localfactoriality of bothMvpS,Hq andKvpS,Hq. The result we show is the following:
Theorem 1.2. Let pS, v,Hq be an OLS-triple such that S is an abelian surface.
Then MvpS,Hq and KvpS,Hq are 2´factorial.
We notice that this result does not depend on v: the 2´factoriality ofKv is aconsequence of the existence of a square root of the exceptional divisor rΣv of the
3
symplectic resolution rKv ÝÑ Kv. The 2´factoriality of Mv is more involvedand requires a different argument (see section 4.2.2), as here the exceptional
divisor of the symplectic resolution ĂMv ÝÑ Mv does not admit any square root.
2 Recall on factoriality and on the O’Grady ex-
amples
In this section we recall some basic elements about the notions of local factorial-ity and of 2´factoriality, and we resume some basic results about the O’Gradyexamples introduced in [19] and [20] that will be used in the following. Moreover,we recall the definition of OLS-triple and the main results of [22].
2.1 Factoriality
Let X be a normal, projective variety.
Definition 2.1. We say that X is locally factorial if for every x P X the ringOX,x is a unique factorization domain.
We denote by A1pXq the group of linear equivalence classes of Weil divisorson X . If D is a Weil divisor on X , we still write D for its linear equivalenceclass. We have a natural inclusion dX : PicpXq ÝÑ A1pXq associating to anyline bundle (or Cartier divisor) the corresponding Weil divisor.
Definition 2.2. We say that X is factorial if the morpism dX is an isomor-phism, and n´factorial if cokerpdXq is n´torsion.
It is well-known that X is locally factorial if and only if it is factorial.
Remark 2.1. We recall a basic fact which will be used several times in thefollowing. Let U Ď X be an open subset, and let Z :“ XzU . If codimXpZq ě 2,then we have A1pXq “ A1pUq. If U is smooth, then we have an identificationA1pXq “ PicpUq. A particular case is when U is the smooth locus of X , as X is
normal. In this case, we have PicpXq Ď PicpUq: it follows that if π : rX ÝÑ X
is a resolution of the singularities, then π˚ : PicpXq ÝÑ Picp rXq is injective.
As we recalled in the introduction, if S is an abelian or K3 surface, v “ mw isa Mukai vector on S such that w is primitive and w2 ě 0, and H is a v´genericpolarization, the moduli spacesMvpS,Hq and KvpS,Hq are known to be locallyfactorial if m “ 1, if m “ 2 and w2 ě 4, and if m ě 3 and w2 ě 2. The aim ofthis paper is to study the index of factoriality of the remaining cases, namelym ě 2 and w2 “ 0, or m “ 2 and w2 “ 2.
If m ě 2 and w2 “ 0, the moduli space MvpS,Hq is isomorphic to Mpmqw ,
the m´th symmetric product ofMw, which is either a K3 surface (if S is K3) oran abelian surface (if S is abelian). It follows that Mv is 2´factorial: as we didnot find any reference for this, we included the proof in the following example.
Example 2.2. Let S be a smooth projective complex surface, and n P N,n ě 2. The n´th symmetric product Spnq is singular, and its singular locus ∆has codimension 2 in Spnq. Let HilbnpSq be the Hilbert scheme of n´pointson S, and let ρn : HilbnpSq ÝÑ Spnq be the Hilbert-Chow morphism. By [8],
4
we have that ρn is a resolution of the singularities, and we write E for theexceptional divisor, which is irreducible.
To show that Spnq is 2´factorial, we consider the following commutativediagram:
PicpSpnqqρ˚nÝÑ PicpHilbnpSqq
jÓ Óg
PicpSnqσnf
ÝÑ PicpSnqσn ‘ Z
where PicpSnqσn is the group of the line bundles on Sn which are invariantunder the action of the symmetric group σn, the morphism f is the identity onPicpSnqσn , and j and g are two natural morphisms (for a definition, see [8]).The morphism ρ˚
n is injective (see Remark 2.1), the morphism j is surjectiveby Lemma 6.1 of [8], and by Theorem 6.2 of [8] g is an isomorphism such thatgpOpEqq “ p0, 2q. From this, it follows that
PicpHilbnpSqq “ ρ˚npPicpSpnqqq ‘ Z ¨ A, (1)
where A P PicpHilbnpSqq is a line bundle such that Ab2 “ OpEq. Now, leti : HilbnpSqzE ÝÑ HilbnpSq be the inclusion, and consider the following exactsequence (see Proposition 6.5 in Chapter II of [10])
0 ÝÑ Zι
ÝÑ PicpHilbnpSqqi˚
ÝÑ PicpHilbnpSqzEq ÝÑ 0,
where ιp1q :“ OpEq, so that
PicpHilbnpSqzEq “ PicpHilbnpSqq{Z ¨ OpEq “ ρ˚npPicpSpnqqq ‘ Z{2Z ¨ A.
By Remark 2.1 we have A1pSpnqq “ PicpHilbnpSqzEq, so that equation (1) gives
A1pSpnqq{PicpSpnqq “ pρ˚npPicpSpnqqq ‘ Z{2Z ¨ Aq{ρ˚
npPicpSpnqqq » Z{2Z,
and the 2´factoriality of Spnq is shown.
2.2 Recall on the O’Grady examples
We now recall some basic elements of the two O’Grady examples. We start withthe 10´dimensional one: let X be a projective K3 surface such that PicpXq “Z ¨H , where H is ample and H2 “ 2, and let v :“ p2, 0,´2q be a Mukai vectoron X . We let M10 :“ MvpX,Hq, which is 10´dimensional, its smooth locus isM s
10 :“ M sv pX,Hq, and its singular locus is denoted Σ. In [19] O’Grady shows
that M10 admits a symplectic resolution π : ĂM10 ÝÑ M10 and that ĂM10 is anirreducible symplectic manifold. Here are the main results we will use in thefollowing about ĂM10 (see [23] and [21]):
Theorem 2.3. Let B Ď M10 be the Weil divisor which parameterizes non-
locally free sheaves, rΣ the exceptional divisor of π and rB the proper transform
of B under π.
1. We have
H2pĂM10,Zq “ rµpH2pX,Zqq ‘ Z ¨ c1prΣq ‘ Z ¨ c1p rBq,
where rµ : H2pX,Zq ÝÑ H2pĂM10,Zq is the Donaldson morphism.
5
2. Let B10 be the Beauville form of ĂM10. For every α P H2pX,Zq we have
B10prµpαq, rΣq “ 0, B10prµpαq, rBq “ 0,
B10prΣ, rΣq “ ´6, B10prΣ, rBq “ 3, B10p rB, rBq “ ´2.
3. We have vK “ tpn, α, nq |n P Z, α P H2pX,Zqu, and the morphism
rλ : vK ÝÑ H2pĂM10,Zq, rλpn, α, nq “ rµpαq ` 2nc1p rBq ` nc1prΣq
is a Hodge isometry onto its image.
4. The moduli space M10 is 2´factorial.
For the 6´dimensional O’Grady example, let X be an abelian surface suchthat NSpXq “ Z ¨ H , where H is ample and H2 “ 2, and let v :“ p2, 0,´2qbe a Mukai vector on X . We let K6 :“ KvpX,Hq, which is 6´dimensional, itssmooth locus is Ks
6 :“ KsvpX,Hq, and its singular locus is denoted Σ. In [20]
O’Grady shows that K6 admits a symplectic resolution π : rK6 ÝÑ K6 and thatrK6 is irreducible symplectic. We have the following (see [24] and [21]):
Theorem 2.4. Let B Ď K6 be the Weil divisor which parameterizes non-locally
free sheaves, rΣ the exceptional divisor of π and rB the proper transform of B
under π.
1. We have
H2p rK6,Zq “ rµpH2pX,Zqq ‘ Z ¨ c1pAq ‘ Z ¨ c1p rBq,
where rµ : H2pX,Zq ÝÑ H2p rK6,Zq is the Donaldson morphism, and A P
Picp rK6q is such that Ab2 “ OprΣq.
2. Let B6 be the Beauville form of rK6. Then for every α P H2pX,Zq we have
B6prµpαq, Aq “ 0, B6prµpαq, rBq “ 0,
B6pA,Aq “ ´2, B6pA, rBq “ 2, B6p rB, rBq “ ´4.
3. We have vK “ tpn, α, nq |n P Z, α P H2pX,Zqu, and the morphism
rλ : vK ÝÑ H2p rK6,Zq, rλpn, α, nq “ rµpαq ` nc1p rBq ` nc1pAq
is a Hodge isometry onto its image.
4. The moduli space K6 is 2´factorial.
The two O’Grady examples are generalized with the following definition,which is contained in [22]:
Definition 2.3. Let S be an abelian or projective K3 surface, v a Mukai vector,H an ample line bundle on S. We say that pS, v,Hq is an OLS-triple if thefollowing conditions are verified:
1. the polarization H is primitive and v´generic;
6
2. there is a primitive Mukai vector w P rHpS,Zq such that v “ 2w andw2 “ 2;
3. if w “ p0, ξ, aq, then a ‰ 0.
If pS, v,Hq is an OLS-triple, then MvpS,Hq is a normal, projective va-riety of dimension 10, whose smooth locus is M s
v pS,Hq, and whose singu-lar locus is denoted Σv, which has codimension 2 in Mv. By [14], we know
that Mv admits a symplectic resolution πv : ĂMvpS,Hq ÝÑ MvpS,Hq ob-tained by blowing up Mv along Σv with reduced structure. If S is abelian,let rKvpS,Hq :“ π´1
v pKvpS,Hqq, which is a symplectic resolution of KvpS,Hq.
By abuse of notation, we still write πv : rKv ÝÑ Kv. We have the followingresult, which is Theorems 1.3 and 1.5 of [22].
Theorem 2.5. Let pS, v,Hq be an OLS-triple.
1. If S is K3, then ĂMv is irreducible symplectic and deformation equivalent toĂM10. The morphism π˚
v : H2pMv,Zq ÝÑ H2pĂMv,Zq is injective, and the
restrictions to H2pMv,Zq of the pure weight-two Hodge structure and of
the Beauville form on H2pĂMv,Zq give a pure weight-two Hodge structure
and a compatible lattice structure on H2pMv,Zq. Moreover, there is a
Hodge isometry λv : vK ÝÑ H2pMv,Zq.
2. If S is abelian, then rKv is irreducible symplectic and deformation equiva-
lent to rK6. The morphism π˚v : H2pKv,Zq ÝÑ H2p rKv,Zq is injective, and
the restrictions to H2pKv,Zq of the pure weight-two Hodge structure and
of the Beauville form on H2p rKv,Zq give a pure weight-two Hodge struc-
ture and a compatible lattice structure on H2pKv,Zq. Moreover, there is
a Hodge isometry νv : vK ÝÑ H2pKv,Zq.
The morphisms λv and νv are constructed in section 3.2 of [22].
Remark 2.6. If pS, v,Hq is an OLS-triple and S is K3, it follows from point 1of Theorem 2.5 that the morphism
rλv :“ π˚v ˝ λv : vK ÝÑ H2pĂMv,Zq
is an injective Hodge morphism which is an isometry onto its image. If S isabelian, we still have a morphism λv : vK ÝÑ H2pMv,Zq, which is such that
νv “ j˚v ˝ λv, where jv : Kv ÝÑ Mv is the inclusion. We define rλv :“ π˚
v ˝ λvand
rνv :“ π˚v ˝ νv : vK ÝÑ H2p rKv,Zq.
As a consequence of point 2 of Theorem 2.5, we have that rνv is an injectiveHodge morphism which is an isometry ontro its image. We even remark thatrνv “ rj˚
v ˝ rλv, where rjv : rKv ÝÑ ĂMv is the inclusion.
As a consequence of Theorem 2.5 we calculate the Picard groups of ĂMv (if
S is K3) and of rKv (if S is abelian):
Corollary 2.7. Let pS, v,Hq be an OLS-triple.
1. If S is K3, there is an isomorphism Lv : vK X rH1,1pSq ÝÑ PicpMvq such
that for every α P vK X rH1,1pSq we have λvpαq “ c1pLvpαqq.
7
2. If S is abelian, there is an isomorphism Nv : vK X rH1,1pSq ÝÑ PicpKvq,
such that for every α P vK X rH1,1pSq we have νvpαq “ c1pNvpαqq.
Proof. If S is K3, the morphism Lv is constructed in section 3.2 of [22] by
using Le Potier’s determinant construction, and for every α P vK X rH1,1pSq wehave λvpαq “ c1pLvpαqq by definition. By point 1 of Theorem 2.5 we knowthat λv is an isomorphism: this implies immediately that Lv is injective. Forthe surjectivity, if L P PicpMvq, then π˚
v pc1pLqq P imprλvq X H1,1pĂMvq, hence
there is α P vK X rH1,1pSq such that π˚v pc1pLqq “ rλvpαq. As ĂMv is irreducible
symplectic, it follows that π˚v pLq and π˚
v pLvpαqq are two isomorphic line bundles.
Now, π˚v injects PicpMvq in PicpĂMvq (see Remark 2.1), hence L and Lvpαq are
isomorphic, and the surjectivity of Lv is shown.If S is abelian, Le Potier’s determinant construction gives us a morphism
Lv : eKv ÝÑ PicpKvq, where ev P KholpSq is the class of a sheaf parameterized
by Mv in the homological K´theory of S, and the orthogonal is with respectto the natural pairing on KholpSq given by the Euler characteristic. For every
α P vK X rH1,1pSq, we then define Nvpαq :“ j˚v pLvpF qq, where F P KholpSq is an
element whose Chern character is α, and jv : Kv ÝÑ Mv is the inclusion. Theproof then goes as in the previous case, where one uses Kv instead of Mv, Nv
instead of Lv, j˚v ˝λv instead of λv, and point 2 of Theorem 2.5 instead of point
1.
3 The weight-two Hodge structure of the sym-
plectic resolutions
In this section we calculate the weight-two Hodge structures on H2pĂMv,Zq
(when S is K3) and on H2p rKv,Zq (when S is abelian), together with theirBeauville form. This result is interesting even on its own, and it will be used inthe remaining part of the paper to prove Theorems 1.1 and 1.2.
The first step to describe the weight-two Hodge structures onH2pĂMv,Zq and
on H2p rKv,Zq is to describe the lattice structures (with respect to the Beauvilleform) in terms of the Mukai vector v. In the following, we will make use ofthe notation ‘K for the orthogonal sum of lattices, using it even for orthogonaldirect sums of lattices whose bilinear symmetric form takes values in Q. Thedescription of H2p rKv,Zq is easy (we will se that in this case H2p rKv,Zq is Hodgeisometric to vK ‘K Zp´2q, where Zp´2q is the rank 1 lattice generated by anelement of square ´2), but more involved in the case of K3 surface.
For this purpose, we need to introduce some notations: let S be a projectiveK3 surface, and w P rHpS,Zq a Mukai vector such that w2 “ 2. Let v :“ 2wand ∆pvKq the discriminant of the lattice vK (which is equal to wK): we have|∆pvKq| “ w2 “ 2. Let pvKq˚ be the dual lattice of vK, i. e.
pvKq˚ “ HomZpvK,Zq “ tα P vK bZ Q | pα, βq P Z, for every β P vKu.
The bilinear symmetric form on pvKq˚ is the Q´bilinear extension of the Mukaipairing on vK, and we denote it by p., .qQ: in general, it does not take values inZ, but surely in Q.
The morphism
vK ÝÑ pvKq˚, α ÞÑ pα, .q : vK ÝÑ Z
8
is injective, and vK is a sublattice of pvKq˚ of index |∆pvKq| “ 2. Let us nowconsider the Z´module pvKq˚ ‘K Z ¨ pσ{2q, over which we define a bilinearsymmetric form bv by letting bv|pvKq˚ :“ p., .qQ and bvpσ, σq :“ ´6. This is anon-degenerate symmetric bilinear form taking values in Q.
Now, let Γv be the subset of pvKq˚ ‘K Z ¨ pσ{2q defined as
Γv :“ tpα, kσ{2q P pvKq˚ ‘K Z ¨ pσ{2q | k P 2Z if and only if α P vKu.
It is easy to see that Γv is a submodule of pvKq˚ ‘K Z ¨ pσ{2q.
Remark 3.1. The submodule Γv has a more explicit description as a submoduleof pvK b Qq ‘K Q ¨ σ. More precisely, we have
Γv “ tpβ{2, kσ{2q |β P vK, k P Z, pβ, vKq Ď 2Z, and k P 2Z iff β{2 P vKu.
Indeed, if β P vK is such that pβ, vKq Ď 2Z, then pβ{2, vKq Ď Z, so that β{2 PpvKq˚. Conversely, if α P pvKq˚, then β :“ 2α P vK as the index of vK in pvKq˚
is 2. Hence pβ, vKq Ď 2Z. This proves that
pvKq˚ “ tβ{2 P vK b Q |β P vK, and pβ, vKq Ď 2Zu,
and the equality above follows immediately.
Remark 3.2. If we choose v “ p2, 0,´2q, then it is easy to see that Γv is
isometric to H2pĂM10,Zq. Indeed, we have a Q´linear morphism
fv : pvK b Qq ‘K Q ¨ σ ÝÑ H2pĂM10,Qq, fvpα, hσq :“ rλpαq ` hc1prΣq,
where by abuse of notation we still write rλ for the Q´linear extension of rλ.Now, by definition of bv we have
bvppα1, h1σq, pα2, h2σqq “ pα1, α2qQ ´ 6h1h2,
and by point 2 of Theorem 2.3 we have
B10pfvpα1, h1σq, fvpα2, h2σqq “ B10prλpα1q ` h1c1prΣq, rλpα2q ` h2c1prΣqq “
“ pα1, α2qQ ´ 6h1h2,
where by abuse of notation we denote bv and B10 the Q´bilinear extensionsof the symmetric bilinear form bv on pvKq˚ ‘K Z ¨ pσ{2q and of the Beauville
form B10 on H2pĂM10,Zq. It follows that the morphism fv sends the Q´bilinearextension of bv to the Q´bilinear extension of B10.
The morphism fv is an isomorphism of Q´vector spaces by Theorem 2.3:it follows that H2pĂM10,Zq is isometric to f´1
v pH2pĂM10,Zqq. Finally, we have
f´1v pH2pĂM10,Zqq “ Γv. Indeed, let pα, kσ{2q P Γv: as v “ p2, 0,´2q andα P pvKq˚, we have α “ pn{2, α1, n{2q for some n P Z and α1 P H2pS,Zq, hencen P 2Z if and only if k P 2Z, i. e. n` k is always even. By point 3 of Theorem2.3 we have
fvpα, kσ{2q “ rµpα1q ` nc1p rBq `n ` k
2c1prΣq P H2pĂM10,Zq,
so that Γv Ď f´1v pH2pĂM10,Zq. For the opposite inclusion, by point 1 of Theorem
2.3 an element γ P H2pĂM10,Zq is of the form rµpα1q `nc1p rBq `mc1prΣq for some
9
α1 P H2pS,Zq and n,m P Z. Hence we have γ “ fvppn{2, α1, n{2q, pm´ n{2qσq,and ppn{2, α1, n{2q, pm´ n{2qσq P Γv.
In particular, the symmetric bilinear form on Γv is non-degenerate and takesvalues in Z.
Remark 3.3. If S is abelian and v “ p2, 0,´2q, then it is easy to describe the
lattice H2p rK6,Zq in terms of v: we consider the Z´module vK ‘K Z ¨ α, withthe bilinear symmetric form bv defined by letting bv|vK to be the Mukai pairing
on vK and bvpα, αq “ ´2. Then we have a morphism of Z´modules
fv : vK ‘K Z ¨ α ÝÑ H2p rK6,Zq, fvpβ, kαq :“ rνpβq ` kc1pAq.
Using Theorem 2.4 it is easy to show that fv is an isometry.
We now state and prove the main result of this section, in which we describethe pure weight-two Hodge structure and the lattice structure of H2pĂMv,Zq (if
S is K3) and H2p rKv,Zq for every OLS-triple pS, v,Hq. Before doing this, werecall that if pS, v,Hq is an OLS-triple, then v “ 2w for some primitive Mukaivector w such that w2 “ 2. On vK we have a pure weight-two Hodge structure
pvKq0,2 :“ pvK b Cq X rH0,2pSq, pvKq2,0 :“ pvK b Cq X rH2,0pSq,
pvKq1,1 :“ pvK b Cq X rH1,1pSq.
Notice that even the dual lattice pvKq˚ has then a pure weight-two Hodge struc-ture, as pvKq˚ is a Z´submodule of maximal rank of vK b Q. Finally, we havea pure weight-two Hodge structure on Γv as follows:
Γ0,2v :“ pvKq0,2, Γ2,0
v :“ pvKq2,0,
Γ1,1v :“ pvKq1,1 ‘ C ¨ σ.
Moreover, consider the Z´module vK ‘KZ ¨A with the symmetric bilinear formbv defined by letting bv|vK to be the Mukai pairing on vK and bvpA,Aq :“ ´2.This is a lattice which carries a natural pure weight-two Hodge structure asfollows:
pvK ‘K Z ¨ Aq0,2 :“ pvKq0,2, pvK ‘K Z ¨ Aq2,0 :“ pvKq2,0,
pvK ‘K Z ¨ Aq1,1 :“ pvKq1,1 ‘ C ¨ A.
The main result of this section is the following:
Theorem 3.4. Let pS, v,Hq be an OLS-triple.
1. If S is K3, then there is a Hodge isometry
fv : Γv ÝÑ H2pĂMv,Zq.
2. If S is abelian, then there is a Hodge isometry
fv : vK ‘K Z ¨A ÝÑ H2p rKv,Zq.
10
Proof. We use the following notations: first of all, we write v “ 2pr, ξ, aq. More-over, if f : Y ÝÑ T is any morphism of schemes and L P PicpY q, then we writeYt :“ f´1ptq and Lt :“ L|Yt
P PicpYtq. We divide the proof in two cases:Case 1: S is a projective K3 surface. In this case we have a natural morphism
fv : Γv ÝÑ H2pĂMv,Qq, fvpα, kσ{2q :“ rλvpαq `k
2c1prΣvq,
where here, by abuse of notation, we still denote rλv the Q´linear extension ofrλv (recall that α P pvKq˚ Ď vK b Q). Notice that fv is a Hodge morphism, as σ
and c1prΣvq are both p1, 1q´classes and rλv is a Hodge morphism. We are thenleft with verifying the following properties:
1. fv : Γv ÝÑ H2pĂMv,Zq;
2. fv is an isomorphism of Z´modules;
3. fv is an isometry.
First of all, all these properties are verified in the case of ĂM10, as shown inRemark 3.2. Now, recall that ĂMv is deformation equivalent to ĂM10, and thisequivalence is obtained by using two kinds of transformations (see the proof of
Theorem 1.6 of [22]): one is the deformation of ĂMv induced by a deformationof the OLS-triple pS, v,Hq along a smooth, connected curve T ; the other is theisomorphism induced by some Fourier-Mukai transforms. It is then sufficient toshow that the previous properties are stable under these transformations.
For the first kind of transformations, consider T to be a smooth, connectedcurve, and pX ,L ,H q a deformation of the OLS-triple pS, v,Hq along T . Thisis given by a smooth, projective family ϕ : X ÝÑ T of K3 surfaces such thatX0 » S for some 0 P T , and by two line bundles L ,H P PicpX q such thatH0 » H and L0 » L, where L P PicpSq is such that c1pLq “ ξ. For every t P Twe write ξt :“ c1pLtq, vt :“ 2pr, ξt, aq, and T 1 for the subset of T given by allthe t P T such that pXt, vt,Htq is an OLS-triple.
We write φ : M ÝÑ T (resp. φs : M s ÝÑ T ) for the relative moduli
space of semistable (resp. stable) sheaves, Σ :“ M zM s and ψ : ĂM ÝÑ T
for the blow-up of M along Σ with reduced structure. By [22] we know thatĂMt “ ĂMvtpXt,Htq for every t P T 1, and R2ψ˚Q is a local system on T , such
that pR2ψ˚Qqt “ H2pĂMvt ,Qq for every t P T 1.Moreover, we have a local system V on T such that Vt » vK
t for every t P T .This allows us to define a local system Γ Ď pV bQq ‘K Q ¨ pσ{2q on T such that
Γt “ Γvt for every t P T . By the construction of the morphism rλv given in [22],we have a morphism
rλ : V ÝÑ R2ψ˚Q,
such that rλt “ rλvt for every t P T 1. This allows us to define a morphism
f : Γ ÝÑ R2ψ˚Q
such that ft “ fvt for every t P T 1. Hence fv takes values in H2pĂMv,Zq (resp. itis an isomorphism of Z´modules, it is an isometry) if and only if there is t P T 1
such that fvt does.For the second kind of transformation, let pS, v,Hq and pS, v1, H 1q be two
OLS-triples, and suppose there is a Fourier-Mukai transform FM : DbpSq ÝÑDbpSq verifying the two following properties:
11
1. for every H´stable sheaf E of Mukai vector v (resp. w :“ v{2) we havethat FMpE q is H 1´stable and has Mukai vector v1 (resp. w1 :“ v1{2);
2. for every H 1´stable sheaf E of Mukai vector v1 (resp. w1) we have thatFM´1pE q is H´stable and has Mukai vector v (resp. w).
Then FM induces an isomorphism g : Mv ÝÑ Mv1 which gives an isomorphismbetween Σv and Σv1 . Hence, it induces an isomorphism rg : ĂMv ÝÑ ĂMv1 , and
rg˚ : H2pĂMv1 ,Zq ÝÑ H2pĂMv,Zq
is a Hodge isometry such that rg˚pc1prΣv1 qq “ c1prΣvq. Moreover, FM induces aHodge isometry h : pv1qK ÝÑ vK, and the following diagram
pv1qK hÝÑ vK
λv1 Ó Óλv
H2pMv1 ,Zqg˚
ÝÑ H2pMv,Zqπ˚
v1 Ó Óπ˚v
H2pĂMv1 ,Zqrg˚
ÝÑ H2pĂMv,Zq
(2)
is commutative: the commutativity of the top diagram is shown in Lemma 3.11of [22], and the commutativity of the down diagram comes from the definitionof rg. Notice that the Hodge isometry h extends to a Hodge isometry
rh : Γv1 ÝÑ Γv, rhpα, kσ{2q :“ phpαq, kσ{2q,
where, by abuse of notation, we still write h for the Q´linear extension of h.The commutativity of the diagram (2) then implies that the following diagram
Γv1
rhÝÑ Γv
fv1 Ó Ófv
H2pĂMv1 ,Qqrg˚
ÝÑ H2pĂMv,Qq
is commutative. As rh and rg˚ are two isometries and rg is an isomorphism, thenfv takes values in H2pĂMv,Zq (resp. it is an isomorphism of Z´modules, it is anisometry) if and only if fv1 does.
Case 2: S is an abelian surface. We have a natural morphism
fv : vK ‘K Z ¨ A ÝÑ H2p rKv,Qq, fvpα, kAq :“ rνvpαq `k
2c1prΣvq,
which is easily seen to be a Hodge morphism. We then just need to show thatfv takes values in H2p rKv,Zq, that is an isomorphism of Z´modules, and that
it is an isometry. By Remark 3.3 these properties are verified in the case of rK6.To show them for every OLS-triple, the proof is formally the same as in theprevious case.
Remark 3.5. A difference between ĂMv for a K3 surface and rKv for an abeliansurface is that in the first case the exceptional divisor is primitive, while in thesecond case it is divisible by 2. This follows from Theorem 3.4.
To see it more directly, recall that ĂMv (resp. rKv) is deformation equivalent
to ĂM10 (resp. to rK6), and the deformation equivalence is realized as recalled
12
in the proof of Theorem 3.4. Following this deformation, we notice that theexceptional divisor rΣv of ĂMv (resp. of rKv) deforms to the exceptional divisorrΣ of ĂM10 (resp. rK6). The divisibility of rΣv is then equivalent to the divisibility
of rΣ: on ĂM10, we have that rΣ is primitive by Theorem 2.3, while on rK6 thedivisor rΣ is divisible by 2 by Theorem 2.4. The square root of OprΣvq plays inimportant role for the 2´factoriality of Kv, and we denote it Av.
4 Factoriality of MvpS,Hq and KvpS,Hq
The aim of this section is to prove Theorems 1.1 and 1.2. We use the followingnotation: if L is a Z´module with a pure Hodge structure of weight 2, we writeL1,1Z :“ LX L1,1.
4.1 The proof of Theorem 1.1
We begin with the factoriality of the moduli space MvpS,Hq associated to anOLS-triple pS, v,Hq where S is a K3 surface. First of all, we prove the fol-lowing result in which we present a criterion for the local factoriality and the2´factoriality of MvpS,Hq.
Proposition 4.1. Let pS, v,Hq be an OLS-triple such that S is a projective K3
surface. Then MvpS,Hq is either 2´factorial or locally factorial. Moreover
1. MvpS,Hq is 2´factorial if and only if there is β P pvKq1,1Z primitive such
that pβ, vKq Ď 2Z.
2. MvpS,Hq is locally factorial if and only if for every primitive β P pvKq1,1Z
we have pβ, vKq “ Z.
Proof. We know that ĂMv is simply connected, so that PicpĂMvq “ H2pĂMv,Zq X
H1,1pĂMvq. By Remark 3.1 we have that pΓvq1,1Z is equal to the set
tpβ{2, kσ{2q |β P pvKq1,1Z , pβ, vKq Ď 2Z, k P Z, and k P 2Z iff β{2 P vKu.
By point 1 of Theorem 3.4 we have PicpĂMvq “ fvppΓvq1,1Z q.We have an exact sequence
0 ÝÑ Zι
ÝÑ PicpĂMvqr
ÝÑ PicpM sv q ÝÑ 0,
where ιp1q :“ OprΣvq and r is the restriction morphism. From this exact sequenceit follows that
PicpM sv q “ PicpĂMvq{Z ¨ OprΣvq “ fvppΓvq1,1Z q{Z ¨ fvpσq.
Since the complement of M sv in Mv has codimension 2, we have A1pMvq “
PicpM sv q. Moreover, by Corollary 2.7 we have PicpMvq “ LvppvKq1,1Z q, hence
π˚v pPicpMvqq “ fvppvKq1,1Z q. Therefore
A1pMvq{PicpMvq “ PicpĂMvq{pfvppvKq1,1Z q ‘K Z ¨ fvpσqq »
» pΓvq1,1Z {ppvKq1,1Z ‘K Z ¨ σq.
13
This quotient is either Z{2Z or trivial. It is Z{2Z, i. e. Mv is 2´factorial,if and only if there is β1 P pvKq1,1Z which is not divisible by 2 in pvKq1,1Z such
that pβ1, vKq Ď 2Z. If N :“ maxtn P N |β1{n P pvKq1,1Z u, then N is odd and
β :“ β1{N is a primitive element of pvKq1,1Z such that pβ, vKq Ď 2Z.
The quotient pΓvq1,1Z {ppvKq1,1Z ‘K Z ¨σq is trivial, i. e. Mv is locally factorial,
if and only if for every β P pvKq1,1Z such that pβ, vKq Ď 2Z there is α P pvKq1,1Z
such that β “ 2α. This means that for every primitive β P pvKq1,1Z we cannothave pβ, vKq Ď 2Z: as |∆pvKq| “ 2, this implies pβ, vKq “ Z.
Remark 4.2. Notice that as |∆pvKq| “ 2, it follows that if β P pvKq1,1Z is suchthat pβ, vKq Ď 2Z, then we even have pβ, vKq “ 2Z.
The statement of Proposition 4.1 has an equivalent reformulation which givesa criterion for the local factoriality and for the 2-factoriality which is easier toverify in concrete situations.
Theorem 1.1. Let pS, v,Hq be an OLS-triple such that S is a projective K3
surface, and write v “ 2w. Then MvpS,Hq is either 2´factorial or locally
factorial. Moreover
1. MvpS,Hq is 2´factorial if and only if there is γ P rHpS,Zq X rH1,1pSq suchthat pγ, wq “ 1.
2. MvpS,Hq is locally factorial if and only if for every γ P rHpS,ZqX rH1,1pSqwe have pγ, wq P 2Z.
Proof. The fact that Mv is either locally factorial of 2´factorial was alreadyshown in Proposition 4.1. We are then left to show the two criteria for the2´factoriality and for the local factoriality. As w2 “ 2, then either there isγ P rH1,1pSq XH2pS,Zq such that pγ, wq “ 1, or for every γ P rHpSq XH2pS,Zqwe have pγ, wq P 2Z. Hence, we just need to show that Mv is 2´factorial if and
only if there is γ P rHpS,Zq X rH1,1pSq such that pγ, wq “ 1.As w2 “ 2, we have that |∆pvKq| “ |∆pZ ¨wq| “ 2. It follows that vK ‘KZ ¨w
is a sublattice of rHpS,Zq of index 2. Moreover, the natural inclusion of rHpS,Zq
in pvKq˚‘KpZ¨wq˚ presents rHpS,Zq as a sublattice of index 2 of pvKq˚‘KpZ¨wq˚.More precisely, if
Hv :“ tpδ1, δ2q P pvKq˚ ‘K pZ ¨ wq˚ | δ1 P vK if and only if δ2 P Z ¨ wu,
then rHpS,Zq “ Hv (indeed, we have ppvKq˚‘KpZ¨wq˚q{pvK ‘KZ¨wq » pZ{2Zq2,hence there are only three sublattices of pvKq˚ ‘K pZ ¨wq˚ of index 2, which are
pvKq˚ ‘KZ ¨w, vK ‘K pZ ¨wq˚ and Hv; but notice that ppvKq˚ ‘KZ ¨wqX rHpS,Zq
and pvK ‘K pZ ¨ wq˚q X rHpS,Zq are both equal to vK ‘K Z ¨ w, hence we haverHpS,Zq “ Hv).
Now, let us suppose that Mv is 2´factorial. By Proposition 4.1 it followsthat there is a primitive β P pvKq1,1Z such that pβ, vKq Ď 2Z. This implies that
β{2 P pvKq˚: then γ :“ pβ{2, w{2q P Hv, i. e. γ P rHpS,Zq. As both β and w
are p1, 1q´classes, it follows that γ P rHpS,Zq X rH1,1pSq. Moreover, as β P vK
and w2 “ 2 we have pγ, wq “ w2{2 “ 1.
Conversely, suppose that there is γ P rHpS,ZqX rH1,1pSq such that pγ, wq “ 1.
By the equality rHpS,Zq “ Hv there are δ1 P pvKq˚ and δ2 P pZ ¨ wq˚ such that
14
γ “ pδ1, δ2q. As γ is a p1, 1q´class, we even have that δ1 has to be a p1, 1q´classin pvKq˚. As pδ1, wq “ 0, it follows that δ2 “ w{2, so that δ1 R vK. Now, recallthat vK has index 2 in pvKq˚: it follows that β1 :“ 2δ1 P pvKq1,1Z is not divisibleby 2 in vK, and pβ1, vKq Ď 2Z. If N :“ maxtn P N |β1{N P vKu, then N is oddand β :“ β1{N P pvKq1,1Z is primitive, and pβ, vKq Ď 2Z. By Proposition 4.1 itfollows that Mv is 2´factorial.
Remark 4.3. We observe that the condition which guarantees that MvpS,Hqis 2´factorial in Theorem 1.1 is the same one that Mukai shows to imply theexistence of a universal family on MwpS,Hq (see [15]).
From Theorem 1.1 it is easy to produce examples of OLS-triples pS, v,Hqsuch that MvpS,Hq is locally factorial:
Example 4.4. Let n,m P Z, and S be a K3 surface with PicpSq “ Z, such thatthere is ξ P PicpSq with ξ2 “ 2 ` 2nm. Then the Mukai vector w :“ pn, ξ,mqis such that w2 “ 2, hence it is primitive. Moreover, as PicpSq “ Z, then forevery ζ P PicpSq we have ξ ¨ ζ P 2Z: it follows that M2w is locally factorial ifn,m P 2Z.
If one between m and n is odd, then M2w is 2´factorial. Indeed, supposethat m is odd: as w2 “ 2 then m has to be prime with ξ2. It follows that thereare h, k P Z such that pp0, hξ, kq, wq “ 1, and Theorem 1.1 implies that M2w is2´factorial.
4.2 The proof of Theorem 1.2
This section is devoted to the study of the factoriality properties of MvpS,Hqand KvpS,Hq for every OLS-triple pS, v,Hq where S is abelian. More precisely,we prove
Theorem 1.2. Let pS, v,Hq be an OLS-triple such that S is an abelian surface.
Then MvpS,Hq and KvpS,Hq are 2´factorial.
Before starting the proof, we introduce here some notations which will beuseful in the following, namely the commutative diagrams:
Ksv
i0vÝÑ Kv
jsv
Ó Ójv
M sv
ivÝÑ Mv
andKs
v
ri0vÝÑ rKv
jsv
Ó Órjv
M sv
rivÝÑ ĂMv
(3)
where iv, i0v, jv, j
sv,
rjv are the inclusions, and where riv (resp. ri0v) is the compo-sition of pπ´1
v q|Msv(resp. pπ´1
v q|Ksv) with the inclusion of π´1
v pM sv q (resp. of
π´1v pKs
vq) in ĂMv (resp. rKv). Moreover, we let rE be the exceptional divisor of
πv : ĂMv ÝÑ Mv. Notice that rj˚v p rEq “ rΣv.
4.2.1 The 2´factoriality of KvpS,Hq
We begin by proving that KvpS,Hq is 2´factorial, showing then the first half ofTheorem 1.2. The proof of the 2´factoriality of KvpS,Hq is similar to the oneof Proposition 4.1. Moreover, here we want to stress the role of the line bundleAv P Picp rKvq such that Ab2
v “ OprΣvq (see Remark 3.5).
15
Proposition 4.5. Let pS, v,Hq be an OLS-triple such that S is an abelian
surface. Then KvpS,Hq is 2´factorial, and PicpKsvq{PicpKvq is generated by
the class of pri0vq˚pAvq.
Proof. As rKv is simply connected, we have Picp rKvq “ H2p rKv,Zq X H1,1p rKvq.By point 2 of Theorem 3.4 we have then
Picp rKvq “ fvppvKq1,1Z ‘K Z ¨Aq.
Now, we have an exact sequence
0 ÝÑ Zι
ÝÑ Picp rKvqr
ÝÑ PicpKsvq ÝÑ 0,
where ιp1q :“ OprΣvq and r is the restriction morphism. From this exact sequence
and the fact that c1pOprΣvqq “ fvp2Aq, it follows that
PicpKsvq “ Picp rKvq{Z ¨ OprΣvq “ fvppvKq1,1Z ‘K Z ¨Aq{Z ¨ fvp2Aq.
Since the complement of Ksv in Kv has codimension 2, we have A1pKvq “
PicpKsvq. Moreover, by point 2 of Corollary 2.7 we have PicpKvq “ NvppvKq1,1Z q,
hence π˚v pPicpKvqq “ fvppvKq1,1Z q. Therefore
A1pKvq{PicpKvq “ Picp rKvq{pfvppvKq1,1Z q ‘K Z ¨ fvp2Aqq »
» ppvKq1,1Z ‘K Z ¨Aq{ppvKq1,1Z ‘K Z ¨ 2Aq » Z{2Z,
and the generator is the class of pri0vq˚Av.
4.2.2 The 2´factoriality of MvpS,Hq
By Proposition 4.5, to complete the proof of Theorem 1.2 it only remains to showthat MvpS,Hq is 2´factorial for every OLS-triple pS, v,Hq where S is abelian.First, by using Proposition 4.5 we show that the moduli spaceMvpS,Hq is eitherlocally factorial or 2´factorial.
Proposition 4.6. Let pS, v,Hq be an OLS-triple such that S is an abelian
surface. Then MvpS,Hq is either locally factorial or 2´factorial.
Proof. We have a finite etale cover
Kv ˆ pS ˆ pSq ÝÑ Mv, pF , p, Lq ÞÑ t˚pF b L,
where tp : S ÝÑ S is the translation by p. We use the following general fact incommutative algebra: if A and B are two Noetherian local rings and f : A ÝÑ B
is a morphism of local rings giving to B the structure of a flat A´module, thenthe natural morphism ClpAq ÝÑ ClpBq is injective (see Proposition 21.13.12
of EGA IV). Applying this to our situation, we see that if Kv ˆ pS ˆ pSq is2´factorial, then Mv is either locally factorial or 2´factorial.
We are then left with showing that Kv ˆ pS ˆ pSq is 2´factorial. By Remark5.3 of [3] we have that
A1pKv ˆ pS ˆ pSqq “ A1pKvq ˆA1pS ˆ pSq ˆHompAlbpKvq, P pS ˆ pSqq,
16
where AlbpKvq is the Albanese variety of the singular variety Kv, and P pSˆ pSq
is the Picard variety of S ˆ pS. Notice that as rKv is irreducible symplectic bypoint 2 of Theorem 2.5, we have that Albp rKvq is trivial, so that AlbpKvq istrivial, and
A1pKv ˆ pS ˆ pSqq “ A1pKvq ˆA1pS ˆ pSq.
We have a similar description of the Picard group of Kv ˆ pS ˆ pSq
PicpKv ˆ pS ˆ pSqq “ PicpKvq ˆ PicpS ˆ pSq ˆHompAlbpKvq, P pS ˆ pSqq “
“ PicpKvq ˆ PicpS ˆ pSq.
As S ˆ pS is smooth, we have that A1pS ˆ pSq “ PicpS ˆ pSq. It follows that
A1pKv ˆ pS ˆ pSqq{PicpKv ˆ pS ˆ pSqq “ A1pKvq{PicpKvq » Z{2Z
by Proposition 4.5. Hence Kv ˆ pS ˆ pSq is 2´factorial, and we are done.
To conclude the proof of Theorem 1.2, by Proposition 4.6 we have thenjust to show that Mv is not locally factorial, i. e. that PicpMvq is strictly
contained in PicpM sv q. This is true if there is a line bundle L P PicpĂMvq such
that rj˚v pLq “ Av. Indeed, consider ri˚v pLq P PicpM s
v q: if there was L1 P PicpMvq
such that ri˚v pLq “ i˚v pL1q, then by the commutativity of the diagrams (3) wewould have
pri0vq˚Av “ pri0vq˚rj˚v pLq “ pi0vq˚j˚
v pL1q.
As j˚v pL1q P PicpKvq, it would follow that pri0vq˚Av is trivial in PicpK
svq{PicpKvq,
which is not possible from Proposition 4.5.In conclusion, in order to complete the proof of Theorem 1.2 it is sufficient
to find L P PicpĂMvq which restricts to Av on rKv or, equivalently, it is sufficient
to find a line bundle on PicpĂMvq whose restriction to rKv is OprΣvq, and whose
first Chern class is divisible by 2 in H2pĂMv,Zq.The strategy to prove the existence of such a line bundle will be the following:
first, we prove a criterion to determine if for a class α P H2pĂMv,Zq there is
β P H2pĂMv,Zq such that α “ 2β; then we provide a line bundle on ĂMv whosefirst Chern class verifies such a criterion.
Criterion for the divisibility in H2pĂMv,Zq. In order to determine if a class
α P H2pĂMv,Zq is divisible by some integer n in H2pĂMv,Zq, we will see that it is
sufficient to show that α is divisible by n when restricted to rKv and to a certainP1´bundle P Ď ĂMv. The first part of this section is devoted to the constructionof such a P1´bundle.
Let F P Mw, so that F is an H´stable sheaf of S with Mukai vector w.Moreover, we consider the following morphisms: we write π1 and π2 for the twonatural projections of S ˆ S, and pij for the projection of S ˆ S ˆ pS to theproduct of the i´th and of the j´th factors. Finally, consider the morphism
f : S ˆ S ÝÑ S ˆ S, fpp, qq :“ pp` q, qq.
DefineF :“ p˚
12pf˚pπ˚1F qq b p˚
13P,
17
where P is the Poincare bundle on S ˆ pS. It is easy to see that for every p P Sand L P pS we have that
F|p´1
23pp,Lq » t˚pF b L,
wheretp : S ÝÑ S, tppqq :“ q ` p
is the translation with p.Now, recall that as w is primitive and w2 “ 2, then by [16] and [29] the
morphism aw :Mw ÝÑ S ˆ pS is an isomorphism. Let
U :“ pidS ˆ awq˚F ,
which is an Mw´flat family of coherent sheaves on S ˆ Mw. Moreover, it is auniversal family: indeed, we have a morphism
h : S ˆ pS ÝÑ Mw, hpp, Lq :“ t˚pF b L,
as for every p P S and L P pS the sheaf t˚pF b L is H´stable of Mukai vectorw. This is an isomorphism, as shown in section 1.2 of [28], and U is now easilyseen to be a universal family on S ˆMw.
Now, consider G P Mw and let U 1 :“ U|SˆpMwztGuq. Let q1 and q2 be thetwo projections of S ˆ pMwztGuq respectively to S and to MwztGu, and define
V :“ E xt1q2pq˚1G,U
1q.
This is a locally free sheaf of rank 2, as showed in the following:
Lemma 4.7. The sheaf V is a vector bundle of rank 2 over MwztGu, and for
every H P MwztGu we have VH » Ext1pG,Hq.
Proof. As G and H are two non-isomorphic stable sheaves with Mukai vector w,we have that χpF,Gq “ ´2 and HompG,Hq “ Ext2pG,Hq “ 0. This impliesthat Ext1pG,Hq is a 2´dimensional vector space. By cohomology and basechange, it even follows that V is a vector bundle such that VH » Ext1pG,Hq,so that the rank of V is 2.
We now letP :“ PpV q
pÝÑ MwztGu,
which is a P1´bundle over MwztGu, and we show that P is contained in ĂMv:
Proposition 4.8. Let pS, v,Hq be an OLS-triple such that S is an abelian
surface. Let
g :MwztGu ÝÑ Mv, gpHq :“ G‘H.
There is an injective morphism t : P ÝÑ ĂMv such that the following diagram
Pt
ÝÑ ĂMv
pÓ Óπv
MwztGug
ÝÑ Mv
is commutative.
18
Proof. We first produce a tautological family H on SˆP parameterizing exten-sions of sheaves H P MwztGu by G. In section 2.2 of [20], and in particular in
Proposition 2.2.10, O’Grady gives a modular description of ĂMvzπ´1v pSingpΣvqq,
where SingpΣvq is the singular locus of Σv: even if this description is provedfor the Mukai vector p2, 0,´2q, it works in our general setting. Using such amodular description, the tautological family H induces an injective morphismt : P ÝÑ ĂMv letting the diagram of the statement commute.
To produce the tautological family H , we use the same procedure describedin the Appendix of [21]. More precisely, we have the following commutativediagram
Sr1ÐÝ S ˆ P
r2ÝÑ P
idSÓ idSˆpÓ Óp
Sq1ÐÝ S ˆ pMwztGuq
q2ÝÑ MwztGu
and if T is the tautological bundle of P, then there is a canonical injectivemorphism s : T ÝÑ p˚V . Notice that
p˚V “ p˚
E xt1q2pq˚1G,U
1q “ E xt1r2pr˚1G, pidS ˆ pq˚
U1q.
The morphism s defines then an element
σ P H0pP, E xt1r2pr˚1G b r˚
2T , pidS ˆ pq˚U
1qq.
Using the spectral sequence associated with the composition of functors, wehave and exact sequence
Ext1pr˚1Gbr˚
2 T , pidSˆpq˚U
1q ÝÑ H0pP, E xt1r2pr˚1Gbr˚
2 T , pidSˆpq˚U
1qq ÝÑ
ÝÑ H2pP,H omr2pr˚1G b r˚
2T , pidS ˆ pq˚U
1qq.
Now, recall that for every F P MwztGu we haveHompG,F q “ 0. It follows fromthis that H omr2pr˚
1G b r˚
2T , pidS ˆ pq˚U 1q “ 0, so that σ lifts to an element
σ1 P Ext1pr˚1G b r˚
2T , pidS ˆ pq˚U 1q, corresponding to an exact sequence
0 ÝÑ pidS ˆ pq˚U
1 ÝÑ H ÝÑ r˚1G b r˚
2T ÝÑ 0.
The family H is the one we are looking for, as for every Q P P, restricting H
to p´1pQq we get the extension parameterized by Q.
We now state and prove the criterion for divisibility of classes in H2pĂMv,Zq:
Proposition 4.9. Let α P H2pĂMv,Zq and n P N. There is β P H2pĂMv,Zq such
that α “ nβ if and only if there are β1 P H2p rKv,Zq and β2 P H2pP,Zq such thatrj˚vα “ nβ1 and t˚α “ nβ2.
Proof. It is immediate to see that if α “ nβ for some β P H2pĂMv,Zq, thenrj˚vα “ nrj˚
v β, where rj˚v β P H2p rKv,Zq, and similarly for the restriction to P.
We now show that if α P H2pĂMv,Zq is such that there are β1 P H2p rKv,Zq
and β2 P H2pP,Zq such that rj˚vα “ nβ1 and t˚α “ nβ2, then there is a class
β P H2pĂMv,Zq such that α “ nβ. To do so, it is sufficient to show that there
is a basis B “ tγ1, ..., γru of H2pĂMv,Zq{tors such that α ¨ γi P nZ for everyi “ 1, ..., r. The following Lemma allows us to construct such a basis B.
19
Lemma 4.10. Let pS, v,Hq be an OLS-triple such that S is an abelian surface.
Let B1 “ tγ1, ..., γ8u be a basis of H2p rKv,Zq{tors and B2 “ tδ1, ..., δ28u a set
of independent elements of H2pĂMv,Zq such that trav˚δ1, ...,rav˚δ28u is a basis of
H2pS ˆ pS,Zq. Then B :“ rjv˚pB1q YB2 is a basis of H2pĂMv,Zq{tors.
Proof. To prove that B is a basis of H2pĂMv,Zq{tors we construct a basis of
H2pĂMv,Zq, and we show that the determinant of the evaluation matrix is 1 or
´1. Consider the Leray spectral sequence associated to rav : ĂMv ÝÑ S ˆ pS,which is
Ep,q2
“ HppS ˆ pS,Rqrav˚Zq ùñ Hp`qpĂMv,Zq. (4)
Notice that R1rav˚Z “ 0 as the fibers of rav are irreducible symplectic manifolds.It follows that Ep,1
2“ 0 for every p, and that
ra˚v : H2pS ˆ pS,Zq ÝÑ H2pĂMv,Zq
is injective. Moreover, we have that E0,22
“ H0pSˆ pS,R2rav˚Zq is the saturated
submodule of H2p rKv,Zq given by all the classes which are invariant under mon-odromy.
We show that all the classes of H2p rKv,Zq are invariant under monodromy,
so that E0,22
“ H2p rKv,Zq. Indeed, suppose that α P π˚v pH2pKv,Zqq, and
write α “ π˚vα
1 for some α1 P H2pKv,Zq: by point 2 of Theorem 2.5 we knowthat νv : vK ÝÑ H2pKv,Zq is an isomorphism, and as recalled in Remark2.6 we have a morphism λv : vK ÝÑ H2pMv,Zq such that νv “ j˚
v ˝ λv. Itfollows that the morphism j˚
v : H2pMv,Zq ÝÑ H2pKv,Zq is surjective, hence
there is α2 P H2pMv,Zq such that α1 “ j˚v pα2q. Then α “ rj˚
v pπ˚v pα2qq, and
π˚v pH2pKv,Zqq Ď E
0,22
.
Now, by point 2 of Theorem 3.4 we know that H2p rKv,Zq is generated by
the pull-back of H2pKv,Zq and by c1pAvq, where Av P Picp rKvq is such that
Ab2v “ OprΣvq. Now, notice that c1prΣvq “ rj˚
v pc1p rEqq, so that c1prΣvq P E0,22
. As
E0,22
is a saturated submodule of H2p rKv,Zq, it follows that c1pAvq P E0,22
. In
conclusion, we have E0,22
“ H2p rKv,Zq.Consider now the Leray spectral sequence
HppS ˆ pS,Rqrav˚Qq ùñ Hp`qpĂMv,Qq,
which degenerates by Deligne’s Theorem. We have then an exact sequence
0 ÝÑ H2pS ˆ pS,Qq ÝÑ H2pĂMv,Qq ÝÑ H2p rKv,Qq ÝÑ 0,
so that b2pĂMvq “ b2pS ˆ pSq ` b2p rKvq “ 36. Now, the Leray spectral sequence(4) gives us an exact sequence
0 ÝÑ H2pS ˆ pS,Zqra˚vÝÑ H2pĂMv,Zq
rj˚vÝÑ H2p rKv,Zq ÝÑ H3pS ˆ pS,Zq.
As b2pĂMvq “ b2pS ˆ pSq ` b2p rKvq, it follows that the image of the morphism
H2p rKv,Zq ÝÑ H3pS ˆ pS,Zq is contained in the torsion part of H3pS ˆ pS,Zq,which is surely trivial.
We finally get an exact sequence
0 ÝÑ H2pS ˆ pS,Zqra˚vÝÑ H2pĂMv,Zq
rj˚vÝÑ H2p rKv,Zq ÝÑ 0.
20
It follows that there is a set tζ1, ..., ζ8u of elements of H2pĂMv,Zq which restricts
to a basis of H2p rKv,Zq, and if tξ1, ..., ξ28u is a basis of H2pS ˆ pS,Zq then the
set B1 :“ tra˚vξ1, ...,ra˚
vξ28, ζ1, ..., ζ8u is a basis of H2pĂMv,Zq.
To show that B is a basis for H2pĂMv,Zq{tors, we show that the evaluationmatrix M (whose entries are the evaluations of the elements of B1 on thoseof B) has determinant 1 or ´1. Notice that M has four blocks, which areM1 :“ rζipγjqs, M2 “ rζipδjqs, M3 “ rra˚
vξipγjqs and M4 “ rra˚vξipδjqs. By
definition, we have |detpM1q| “ |detpM4q| “ 1, andM3 “ 0, so that in conclusion|detpMq| “ 1, and we are done.
We now conclude the proof of Proposition 4.9. We construct a basis B ofH2pĂMv,Zq{tors as in the statement of Lemma 4.10, and such that αpBq Ď nZ.
Let tγ1, ..., γ8u be a basis of H2p rKv,Zq{tors: as rj˚vα “ nβ1 for β1 P H2p rKv,Zq
it follows thatαprjv˚γiq “ rj˚
v αpγiq “ nβ1pγiq P nZ
for i “ 1, ..., 8. It remains to find tδ1, ..., δ28u Ď H2pĂMv,Zq which surjects onto
a basis of H2pS ˆ pS,Zq, and such that αpδiq P nZ for i “ 1, ..., 28.To do so, notice that we have a commutative diagram
Pt
ÝÑ ĂMv
pÓ Órav
MwztGuawÝÑ S ˆ pS
(5)
where by abuse of notation we write aw for the restriction to MwztGu of the
isomorphism aw :Mw ÝÑ Sˆ pS. Since P is the projectivized of a rank 2 vectorbundle V , from the Leray spectral sequence of the fibration p the morphismp˚ : H2pMwztGu,Zq ÝÑ H2pP,Zq is a saturated inclusion. It follows that
p˚ : H2pP,Zq ÝÑ H2pMwztGu,Zq
is surjective. Let tδ11, ..., δ
128u be a set of elements ofH2pP,Zq which surjects onto
a basis of H2pMwztGu,Zq, and let δi :“ t˚δ1i for i “ 1, ..., 28. As aw induces an
isomorphism between H2pMwztGu,Zq and H2pSˆ pS,Zq, by the commutativity
of the diagram (5) we then see that tδ1, ..., δ28u is a set of elements of H2pĂMv,Zq
which surjects onto a basis of H2pS ˆ pS,Zq. Moreover, as t˚α “ nβ2 for someβ2 P H2pP,Zq, we then have
αpδiq “ t˚αpδ1iq “ nβ2pδ1
iq P nZ,
and we are done.
Remark 4.11. In the proof of Lemma 4.10 we showed that b2pĂMvq “ 36, and
that H2pĂMv,Zq is a free Z´module.
Conclusion of the proof of Theorem 1.2. We are now ready to prove theremaining part of Theorem 1.2, which is the following:
Proposition 4.12. Let pS, v,Hq be an OLS-triple such that S is an abelian
surface. Then MvpS,Hq is 2´factorial.
21
Proof. In order to prove the statement, by Proposition 4.6 we just need to showthat PicpMvq is strictly contained in PicpM s
v q. This is the case if there is a
line bundle on ĂMv whose restriction to rKv is Av. We show that it exists bypresenting a line bundle L P PicpĂMvq whose restriction to rKv is OprΣvq, and
such that there is β P H2pĂMv,Zq such that c1pLq “ 2β.First of all, recall that we defined a rank 2 vector bundle V onMwztGu such
that P “ PpV q. As aw : MwztGu ÝÑ S ˆ pS is an open embedding, there is a
line bundle L P PicpS ˆ pSq such that a˚wpL q “ detpV q.
We define L :“ rE ` ra˚v pL q: notice that
rj˚v pLq “ rj˚
v p rEq “ OprΣvq.
By Proposition 4.9, it is then sufficient to show that rj˚v pLq and t˚pLq admit
square roots in Picp rKvq and PicpPq respectively. We already know that rj˚v pLq “
Ab2v , hence it remains to show that t˚pLq admits a square root in PicpPq.Now, by adjunction
t˚p rEq “ KP{MwztGu,
the relative canonical divisor of the P1´fibration p : P ÝÑ MwztGu. By theEuler exact sequence, as P “ PpV q and V is a rank 2 vector bundle overMwztGu, we have that
KP{MwztGu “ OPp2q ´ p˚detpV q.
Using the commutativity of the diagram (5), this implies that
t˚pLq “ t˚p rEq ` t˚pra˚v pL qq “ KP{MwztGu ` p˚detpV q “ OPp2q.
Hence OPp1q is a square root of t˚pLq in PicpPq.
5 Appendix
In this paper we studied the index of factoriality of KvpS,Hq for an OLS-triplepS, v,Hq where S is abelian. It seems natural to us to provide a completedescription of the index of factoriality of KvpS,Hq: this is the main motivationfor this Appendix. Before starting, we recall some general facts aboutKvpS,Hq:
first, KvpS,Hq is the fiber over p0,OSq of the morphism av :MvpS,Hq ÝÑ Sˆ pSwe defined in the introduction. If v2 ą 0, then this map is dominant, it is anisotrivial fibration, and there is a finite etale morphism
τ : Kv ˆ S ˆ pS ÝÑ Mv, τpF, p, Lq :“ t˚p pF q b L,
where tp : S ÝÑ S is the translation via p.
Remark 5.1. If v2 ą 0, then KvpS,Hq is normal and irreducible. The normal-ity of Kv follows from the normality of Mv (see Theorem 4.4 of [11]) and fromthe finite etale cover τ . The irreducibility is a consequence of the irreducibil-ity of Mv and of the one of Kw. Indeed, as Kv is normal, to show that it isirreducible it is sufficient to show that it is connected.
Now, let E P Kv: there are E10 P Mw and an irreducible curve D1 Ď Mv pass-
ing through pE10q‘m and E, asMv is irreducible (by Theorem 4.4 of [11]). LetD2
22
be an irreducible component of the curve τ´1pD1q passing through pE, 0,OSq.
Moreover, let p1 : Kv ˆSˆ pS ÝÑ Kv be the projection, and D :“ p1pD2q. Thisis an irreducible curve in Kv passing through E and E‘m
0, where E0 :“ t˚pF0bL
for some F0 P Mw, p P S and L P pS.In conclusion, in order to show that Kv is connected, it is sufficient to show
that the locus Y of Kv parameterizing direct sums of stable sheaves of Mukaivector w is connected. Notice that we have a surjective map from the locusY 1 Ď Mm
w of m´tuples pF1, ..., Fmq P Mmw such that
řmi“1
awpFiq “ p0,OSq toY . It is then sufficient to show that Y 1 is connected.
Now, notice that Y 1 is a projective variety. Moreover, let s : pS ˆ pSqm ÝÑ
S ˆ pS be the sum morphism: we have a fibration f : Y 1 ÝÑ s´1p0,OSq withfibers isomorphic to Km
w . As s´1p0,OSq is irreducible, and Kw are irreducibleby [30], it follows that Y 1 is connected.
The only results we have up to now about the index of factoriality ofKvpS,Hq are the following:
1. if m “ 1, then KvpS,Hq is smooth, and hence locally factorial;
2. if m “ 2 and w2 “ 2, then KvpS,Hq is 2´factorial by Theorem 1.2;
In order to complete the description of the index of factoriality of Kv, we needto study the two following cases:
1. m ě 2 and w2 “ 0;
2. m “ 2 and w2 ě 4, or m ě 3 and w2 ě 2.
We begin with the index of factoriality when m ě 2 and w2 “ 0. In this case,
the moduli spaceMvpS,Hq is isomorphic toMpmqw , them´th symmetric product
of the abelian surface Mw. We have the sum morphism s : Mpmqw ÝÑ Mw, and
Kv » s´1p0q. Then Kv is 2´factorial, as the following result shows:
Proposition 5.2. Let S be an abelian surface, n P N. Let s : Spn`1q ÝÑS be the sum morphism, and Kn
singpSq :“ s´1p0q. The variety KnsingpSq is
2´factorial.
Proof. Let ρn`1 : Hilbn`1pSq ÝÑ Spn`1q be the Hilbert-Chow morphism, andKnpSq :“ ρ´1
n`1pKn
singpSqq: if n “ 1, it is the Kummer surface associated to S;if n ě 2, it is a generalized Kummer variety of dimension 2n.
Let us first show that KnsingpSq is 2´factorial if n ě 2. By abuse of notation,
we still write ρn`1 : KnpSq ÝÑ KnsingpSq. Let E be the exceptional divisor of
ρn`1 on KnpSq, and A P PicpKnpSqq be such that Ab2 “ OpEq.Lemma 2.1 of [28] and Proposition 8 of [1] show that we have an equality
H2pKnpSq,Zq “ jpH2pS,Zqq ‘ Z ¨ A, where j : H2pS,Zq ÝÑ H2pKnpSq,Zq isan injective morphism. It follows that
PicpKnpSqq “ jpNSpSqq ‘ Z ¨ A.
The morphism j works as follows (see the proof of Proposition 8 of [1]): letβ P NSpSq, and let pi : Sn`1 ÝÑ S be the projection to the i´th factor.
Consider the class β1 :“řn`1
i“1p˚i β P H2pSn`1,Zq. By Lemma 6.1 of [8] there
is L P PicpSpn`1qq such that β1 “ q˚c1pLq, where q : Sn`1 ÝÑ Spn`1q is
23
the quotient morphism. Let now k : KnpSq ÝÑ Hilbn`1pSq be the inclusionmorphism: then jpβq :“ k˚ρ˚
n`1pLq.
If h : KnsingpSq ÝÑ Spn`1q is the inclusion, we then have jpβq “ ρ˚
n`1h˚pLq,
so that jpNSpSqq “ ρ˚n`1
pPicpKnsingpSqqq. By the exact sequence
0 ÝÑ Zι
ÝÑ PicpKnpSqqr
ÝÑ PicpKnpSqzEq ÝÑ 0,
where ιp1q :“ OpEq and r is the restriction morphism, we get
PicpKnpSqzEq “ PicpKnpSqq{Z ¨ OpEq “ jpNSpSqq ‘ Z{2Z ¨ A.
By Remark 2.1 we have A1pKnsingpSqq “ PicpKnpSqzEq, so that
A1pKnsingpSqq{PicpKn
singpSqq “ pjpNSpSqq ‘ Z{2Z ¨Aq{jpNSpSqq » Z{2Z,
and the 2´factoriality of KnsingpSq is shown.
There is still the case ofK1pSq, which is the Kummer surface associated to S,and K1
singpSq is the singular Kummer surface. The 2´factoriality of K1singpSq
can be proved either by using an argument similar to the one we used here(where one replaces the irreducible divisor E by the 16 nodal curves), or byrecalling that K1
singpSq is the quotient of S by the action of ´1: we leave thedetails to the reader.
We are left with the determination of the index of factoriality of KvpS,Hqfor v “ mw, where either m “ 2 and w2 ě 4, or m ě 3 and w2 ě 2. Weshow that KvpS,Hq is locally factorial in this case, by strictly following theargument used by Kaledin, Lehn and Sorger in [11] to prove the local factorialityofMvpS,Hq under the same hypothesis. Before proving the Proposition, we givethe following definition:
Definition 5.1. Let F and F 1 be two H´polystable sheaves on S with Mukai
vector v “ mw. Write F “Às
i“1F‘mi
i and F 1 “Às1
i“1pF 1
i q‘m1i , where Fi
(resp. F 1j) is H´stable and Fi fi Fk (resp. F 1
i fi F 1k) for every i, k “ 1, ..., s
(resp. j, k “ 1, ..., s1). We say that F and F 1 have the same polystable structure
if s “ s1, vpFiq “ vpF 1i q and mi “ m1
i for every i “ 1, ..., s.
We now prove the local factoriality of Kv:
Proposition 5.3. Let S be an abelian surface, v “ mw a Mukai vector and H
a v´generic polarization on S. Suppose either that m “ 2 and w2 ě 4, or that
m ě 3 and w2 ě 2. Then KvpS,Hq is locally factorial.
Proof. We recall some elements of the construction of Mv. First, there arek,N P N such that every H´semistable sheaf of Mukai vector v is quotient ofH :“ OSp´kHq‘N . Let Qv be the Quot scheme parameterizing quotients ofH with Mukai vector v, and let Rv Ď Qv be the open subset parameterizingH´semistable quotients. The group PGLpNq acts on Rv, and the quotient isMv: let p : Rv ÝÑ Mv be the quotient morphism, and let R0
v :“ p´1pKvq.As a first step, following [11] we show that R0
v is locally factorial by showingthat it is locally complete intersection (we will write l.c.i. in the following) andregular in codimension 3, i. e. R0
v has the property (R3).By [11] we know that Rv is l.c.i. As R0
v “ p´1pa´1v p0,OSqq, and p0,OSq is a
smooth point in S ˆ pS, it follows that R0v is l.c.i.
24
We now show that R0v has the property (R3) by showing that its singular
locus has codimension at least 4. Now, let F be an H´semistable sheaf withMukai vector v on S, and consider a family F on SˆS ˆ pS such that for everypp, Lq P S ˆ pS we have F|p´1
23pp,Lq “ t˚p pF q b L, as constructed in section 4.2.2.
This family induces a modular morphism
f : S ˆ pS ÝÑ Mv,
such that av ˝ f : S ˆ pS ÝÑ S ˆ pS is etale by section 1.2 of [28]. The sheaf
H omp23pp˚
1H ,F q is a vector bundle on S ˆ pS, and let
π : PpH omp23pp˚
1H ,F qq ÝÑ S ˆ pS
be the associated projective bundle. Let U Ď PpH omp23pp˚
1H ,F qq be the
open subset parameterizing surjective morphisms: there is a natural injectivemorphism g : U ÝÑ Rv such that the following diagram is commutative
Ug
ÝÑ Rv
πÓ Óp
S ˆ pS fÝÑ Mv
Let rq : H ÝÑ Es P U be a quotient of H . The morphism
drqsπ : TrqsU ÝÑ TπprqsqpS ˆ pSq
is surjective: it follows that
drqspaw ˝ pq : TrqsRv ÝÑ TawpEqpS ˆ pSq
is surjective. This implies that if rqs is a smooth point of Rv which lies in R0v,
then rqs is a smooth point of R0v. As a consequence, the singular locus SingpR0
vqof R0
v is contained in the singular locus SingpRvq of Rv.Now, Rv is regular in codimension 3 by [11]. Moreover, if rF s P Mv is a
polystable sheaf, the dimension of SingpRvq X p´1prF sq depends only on the
polystable structure of F . Similarily, if pp, Lq P S ˆ pS, then the dimensionof the locus of the polystable sheaves in a´1
v pp, Lq having the same polystablestructure does not depend on pp, Lq. As SingpR0
vq Ď SingpRvq, it follows thatR0
v is regular in codimension 3.As R0
v is locally complete intersection and regular in codimension 3, byCorollaire 3.14 of Expose XI in [9] we have that R0
v is locally factorial. Asremarked in [11], this allows us to apply Theoreme A of [6] to show that Kv islocally factorial: Kv is the quotient of R0
v by the action of PGLpNq, hence Kv
is locally factorial at a point E P KvzKsv if and only if the isotropy subgroup
PAutpEq of any point rqs in the closed orbit p´1pEq Ď R0v acts trivially on
the fiber Lrqs for every PGLpNq´linearized line bundle L on an invariant openneighbourhood of the orbit of rqs.
First, consider a point E‘m0
P Kv for some E0 P Mw. The isotropy subgroupof any point rqs P p´1pE‘m
0q is PGLpmq, and hence has no non-trivial characters
(see Corollary 5.2 in [11]). The point E‘m0
is then locally factorial.Let now E “
Àsi“1
E‘ni
i P Kv, where Ei is stable, vpEiq “ miw for somemi P N, and m “
řs
i“1mini. Let rqs P p´1pEq, and as E P Kv we have
25
rqs P R0v. Consider the moduli space Mmiw for i “ 1, ..., s: as every sheaf
F P Mmiw is H´semistable, there is an integer Ni P N such that F is quotientof Hi :“ OSp´kHq‘Ni . We suppose that every sheaf parameterized by Mv
is quotient of H “Às
i“1H
‘ni
i . We let Qmiw be the Quot scheme param-eterizing quotients of Hi, and Rmiw the open subset of Qmiw parameterizingH´semistable quotients. Now, consider the morphism
Φ :sź
i“1
Rmiw ÝÑ Rv, Φprq1s, ..., rqssq :“
„sà
i“1
q‘ni
i
.
As shown in [11], Mmiw and Rmiw are irreducible. It follows that the image Zof the morphism Φ is irreducible. By definition, we have that rqs P Z.
Now, consider the group G :“ pśs
i“1GLpniqq{C˚ Ď PGLpNq. This group
fixes Z X R0v pointwise, and it is the stabilizer of rqs. Moreover, if L is any
PGLpNq´linearized line bundle on R0v, then G acts on LZXR0
vvia a locally
constant character.We claim that there is a connected curve C Ď Z X R0
v passing through rqsand through a point rq1s P p´1pE‘m
0q for some E‘m
0P Kv. Once this claim is
proved, we conclude the proof: as C is connected, the action of G on L|C is viaa constant character. As G is contained in the stabilizer of rq1s, its action onLrq1s has to be trivial: this implies that the action of G on Lrqs is trivial, andwe are done by Theoreme A of [6].
We are left with the proof of the claim. Consider the morphism
h :sź
i“1
Mmiw ÝÑ Mv, hpF1, ..., Fsq :“sà
i“1
F‘ni
i ,
and the commutative diagram
śs
i“1Rmiw
ΦÝÑ Rv
gÓ Ópśsi“1
Mmiwh
ÝÑ Mv
Let Q “ prq1s, ..., rqssq Pśs
i“1Rmiw be such that ΦpQq “ rqs.
First, following the same construction as in Remark 5.1, there is an irre-ducible curve D Ď Kv passing through E and a point E‘m
0P Kv for some
E0 P Mw: this is constructed as p1pτ´1pD2qq, where p1 : Kv ˆ S ˆ pS ÝÑ Kv
is the projection, and D2 is an irreducible component of τ´1pD1q for some ir-reducible curve passing through E and a point pE1
0qm P Mv. Notice that as τpreserves the polystable structure, then D is contained in the image of h.
Now, let rq1s P p´1pE‘m0
q. As D is contained in the image of h, and h is etaleon its image on a neighbourhood of gpQq, there is an irreducible component D1
of h´1pDq passing through gpQq and a point of h´1pE‘m0
q. Moreover, D1 is thequotient of g´1pD1q by a connected group: as D1 is connected, it follows thatg´1pD1q is connected. There is then a connected curve D2 Ď g´1pD1q passingthrough Q and a point of Φ´1prq1sq. We finally define C :“ ΦpD2q: this is aconnected curve contained in Z X R0
v, which passes through rqs and rq1s. Thisconcludes the proof of the claim.
26
Acknowledgements
We thank Christoph Sorger and Olivier Serman for useful discussions. Thefirst author was supported by the SFB/TR 45 ’Periods, Moduli spaces andArithmetic of Algebraic Varieties’ of the DFG (German Research Fundation).
References
[1] Beauville, A.: Varietes de Kahler dont la premiere classe de Chern est nulle.J. Differential Geom. Volume 18, Number 4 (1983), 755-782.
[2] Beauville, A., Laszlo, Y., Sorger, C.: The Picard group of the moduli ofG´bundles on a curve. Compositio Math. 112, 183–216 (1998).
[3] Boissiere, S., Gabber, O., Serman, O.: Sur le produit de varietes localementfactorielles ou Q´factorielles. Preprint version: arXiv:1104.1861.
[4] Boysal, A., Kumar, S.: Explicit Determination of the Picard Group ofModuli Spaces of Semi-Stable G´Bundles on Curves. Math. Ann. 332, 4,823–842, (2005).
[5] Drezet, J.-M.: Groupe de Picard des varietes de modules de faisceaux semi-stables sur P2pCq. Ann. Ist. Fourier 38, 105–168 (1988).
[6] Drezet, J.-M.: Points non factoriels des varietes de modules de faisceauxsemi-stables sur une surface rationnelle. J. Reine Angew. Math. 290, 99–127 (1991).
[7] Drezet, J.-M., Narasimhan, M. S.: Groupe de Picard des varietes de mod-ules de fibres semistables sur les courbes algebriques. Invent. Math. 97, 1,53–94 (1989).
[8] Fogarty, J.: Algebraic Families on an Algebraic Surface, II, the PicardScheme of the Punctual Hilbert Scheme. American Journal of Mathematics95, 3, 660–687 (1973).
[9] Grothendieck, A.: Cohomologie locale des faisceaux coherents etTheoremes de Lefschetz locaux et globaux. Seminaire de GeometrieAlgebrique du Bois-Marie 1962 (SGA 2). North Holland Publishing Com-pany, Amsterdam (1968).
[10] Hartshorne, R.: Algebraic Geometry. GTM 52, Springer-Verlag, New York(1977).
[11] Kaledin, D., Lehn, M., Sorger, C.: Singular Symplectic Moduli Spaces.Invent. Math. 164, 591–614 (2006).
[12] Laszlo, Y.: About G´bundles over elliptic curves. Ann. Inst. Fourier 48,2, 413–424 (1998).
[13] Laszlo, Y., Sorger, C.: The line bundles on the moduli of parabolicG´bundles over curves and their sections. Ann. Sci. Ecole Norm. Sup.30, 4, 499–525 (1997)
27
[14] Lehn, M., Sorger, C.: La singularite de O’Grady. J. Algebraic Geometry15, 756–770 (2006).
[15] Mukai, S.: Symplectic structure of the moduli space of sheaves on anabelian or K3 surface. Invent. Math. 77, 101–116 (1984).
[16] Mukai, S.: Duality between DpXq and Dp pXq with its application to Picardsheaves. Nagoya Math. J. 81, 153–175 (1981).
[17] Mukai, S.: Moduli of vector bundles on K3 surfaces and symplectic mani-folds. (Japanese) Sugaku Expositions 1, 2, 139–174 (1988). Sugaku 39, 3,216–235 (1987).
[18] Mukai, S.: On the moduli space of bundles on K3 surfaces. I. Vector bundleson algebraic varieties (Bombay, 1984), 341–413, Tata Inst. Fund. Res. Stud.Math. 11, Tata Inst. Fund. Res., Bombay (1987).
[19] O’Grady, K.: Desingularized Moduli Spaces of Sheaves on a K3 Surface. J.Reine. Angew. Math. 512, 49–117 (1999).
[20] O’Grady, K.: A new six-dimensional irreducible symplectic variety. J. Al-gebraic Geometry 12, 3, 435–505 (2003).
[21] Perego, A.: The 2-factoriality of the O’Grady moduli spaces. Math. Ann.346 (2), 367–391 (2009).
[22] Perego, A., Rapagnetta, A.: Deformations of the O’Grady moduli spaces.To appear in J. Reine Angew. Math. Preprint version: arxiv:1008.0190.
[23] Rapagnetta, A.: On the Beauville Form of the Known Irreducible Sym-plectic Varieties. Math. Ann. 321, 77–95 (2008).
[24] Rapagnetta, A.: Topological invariants of O’Grady’s six dimensional irre-ducible symplectic variety. Math. Z. 256, 1–34 (2007).
[25] Sorger, C.: On Moduli of G´bundles over Curves for exceptional G. Ann.Sci. Ecole Norm. Sup., 32, 4, 127–133 (1999).
[26] Yoshioka, K.: The Picard group of the moduli space of stable sheaves on aruled surface. J. Math. Kyoto Univ. 36, 279–309 (1996).
[27] Yoshioka, K.: Chamber structure of polarizations and the moduli of stablesheaves on a ruled surface. Internat. J. Math. 7, 411–431 (1996).
[28] Yoshioka, K.: Albanese map of moduli of stable sheaves on abelian surfaces.Preprint version: arXiv:math/9901013.
[29] Yoshioka, K.: Some notes on the moduli of stable sheaves on elliptic sur-faces. Nagoya Math. J. 154, 73–102 (1999).
[30] Yoshioka, K.: Moduli spaces of stable sheaves on abelian surfaces. Math.Ann. 321, vol. 4 (2001), 817–884.
28
Arvid Perego, Institut Elie Cartan de Nancy (UMR 7502 du CNRS), Univer-site Henri Poincare Nancy 1, B.P. 70239, 54506 Vandoeuvre-les-Nancy Cedex,France.
E-mail address: [email protected]
Antonio Rapagnetta, Dipartimento di Matematica dell’Universita di RomaII - Tor Vergata, 00133 Roma, Italy.
E-mail address: [email protected]
29