The 2-factoriality of the O'Grady moduli spaces (Q2655161)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The 2-factoriality of the O'Grady moduli spaces |
scientific article |
Statements
The 2-factoriality of the O'Grady moduli spaces (English)
0 references
22 January 2010
0 references
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.
0 references
holomorphic symplectic structure
0 references
singularities of moduli spaces
0 references
Mukai vector
0 references
O'Grady example
0 references
Donaldson morphism
0 references
stable sheaf
0 references
Beauville form
0 references
\(K3\) surface
0 references