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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references