The 2-factoriality of the O'Grady moduli spaces

DOI10.1007/S00208-009-0402-0MaRDI QIDQ2655161zbMATH OpenOpenAlexFDO

Authors Arvid Perego

Publication date 22 January 2010

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.3211

zbMATH Keywords

\(K3\) surfaceBeauville formDonaldson morphismholomorphic symplectic structureMukai vectorO'Grady examplesingularities of moduli spacesstable sheaf

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Singularities of surfaces or higher-dimensional varieties (14J17) Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60)

Abstract: The aim of this work is to show that the moduli space $M_{10}$ introduced by O'Grady in cite{OG1} is a $2-$factorial variety. Namely, $M_{10}$ is the moduli space of semistable sheaves with Mukai vector $v:=(2,0,-2)in{H}^{ev}(X,mathbbZ)$ on a projective K3 surface $X$. As a corollary to our construction, we show that the Donaldson morphism gives a Hodge isometry between $v^{perp}$ (sublattice of the Mukai lattice of $X$) and its image in $H^2(widetilde{M}_{10},mathbbZ)$, lattice with respect to the Beauville form of the $10-$dimensional irreducible symplectic manifold $widetilde{M}_{10}$, obtained as symplectic resolution of $M_{10}$. Similar results are shown for the moduli space $M_6$ introduced by O'Grady in cite{OG2}.

Review text

In addition to Hilbert schemes of points on a \(K3\)-surface and generalised Kummer varieties, up to deformation equivalence, there are only two other known examples of irreducible holomorphic symplectic manifolds. These examples were constructed by \textit{K. G. O'Grady} [J.\ Reine Angew.\ Math. 512, 49--117 (1999; Zbl 0928.14029)] and [J.\ Algebraic Geom.\ 12, 435--505 (2003; Zbl 1068.53058)]. Each of them is obtained as a blow-up of a singular moduli space of rank-2 sheaves on a \(K3\) or abelian surface. In the paper under review, the author proves that these two singular moduli spaces are \(2\)-factorial, but not locally factorial. For O'Grady's \(10\)-dimensional example, he shows that the locus \(B\) parametrising non-locally free sheaves is an irreducible Weil divisor which is not Cartier, but its double \(2B\) is Cartier. For the \(6\)-dimensional example, he finds a Weil divisor \(D\), which is not Cartier, but which satisfies \(2D=0\). In both cases, he gives an explicit description of the group of Weil divisors, based on Le Portier's morphism which gives line bundles on the moduli spaces. Crucial calculations are based on work of \textit{A. Rapagnetta} [Math.\ Ann.\ 340, 77--95 (2008; Zbl 1156.14008)] and [Math.\ Z.\ 256, 1--34 (2007; Zbl 1121.14014)]. The author also shows, in both cases, that the Donaldson morphism gives a Hodge isometry between the orthogonal complement of the Mukai vector and its image in the second integral cohomology of the (smooth) O'Grady space, equipped with the Beauville form.

Recommendations

• Deformation of the O'Grady moduli spaces
• Moduli spaces of polarized symplectic O'Grady varieties and Borcherds products
• scientific article; zbMATH DE number 5270793
• Non-locally-free locus of O'Grady's ten dimensional example
• Birational geometry of singular moduli spaces of O'Grady type

Cites work

• A new six-dimensional irreducible symplectic variety
• Desingularized moduli spaces of sheaves on a K3
• scientific article; zbMATH DE number 1001625 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3594275 (Why is no real title available?)
• scientific article; zbMATH DE number 558225 (Why is no real title available?)
• La singularité de O’Grady
• Lectures on Curves on an Algebraic Surface. (AM-59)
• Moduli of vector bundles on algebraic surfaces
• On the Beauville form of the known irreducible symplectic varieties
• Singular symplectic moduli spaces
• Topological invariants of O'Grady's six dimensional irreducible symplectic variety

Cited in

(12)

• Birational geometry of irreducible holomorphic symplectic tenfolds of O'Grady type
• Monodromy and birational geometry of O'Grady's sixfolds
• Birational geometry of O'Grady's six dimensional example over the Donaldson-Uhlenbeck compactification
• On the Beauville form of the known irreducible symplectic varieties
• A singular symplectic variety of dimension 6 with a Lagrangian Prym fibration
• Non-locally-free locus of O'Grady's ten dimensional example
• On the monodromy group of desingularised moduli spaces of sheaves on K3 surfaces
• scientific article; zbMATH DE number 5270793 (Why is no real title available?)
• Rational curves on primitive symplectic varieties of \(\mathrm{OG}_6^s\)-type
• Birational geometry of the intermediate Jacobian fibration of a cubic fourfold (appendix by Claire Voisin)
• O'Grady tenfolds as moduli spaces of sheaves
• Hodge structure of O'Grady's singular moduli spaces

This page was built for publication: The 2-factoriality of the O'Grady moduli spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655161)