A new sixdimensional irreducible symplectic variety
Author:
Kieran G. O’Grady
Journal:
J. Algebraic Geom. 12 (2003), 435505
DOI:
https://doi.org/10.1090/S1056391103003230
Published electronically:
January 14, 2003
MathSciNet review:
1966024
Fulltext PDF
Abstract  References  Additional Information
Abstract: We construct a sixdimensional irreducible symplectic variety with $b_2=8$. Since the known examples of irreducible symplectic varieties have $b_2=7$ or $b_2=23$, our variety is in a new deformation class. The example is obtained as follows. Let $J$ be the Jacobian of a genustwo curve with its natural principal polarization: results of another paper of ours give a symplectic desingularization of the moduli space of semistable ranktwo sheaves on $J$ with $c_1=0$ and $c_2=2$. Let $\mathcal {M}_{\mathbf {v}}$ be this symplectic desingularization: there is a natural locally trivial fibration $\mathcal {M}_{\mathbf {v}}\rightarrow J\times \widehat {J}$. Our example is the fiber over $(0,\widehat {0})$ of this map, we denote it by $\widetilde {\mathcal {M}}$. The main body of the paper is devoted to the proof that $\widetilde {\mathcal {M}}$ is irreducible symplectic and that $b_2(\widetilde {\mathcal {M}})=8$. Applying the generalized Lefschetz Hyperplane Theorem we get that lowdimensional homotopy (or homology) groups of $\widetilde {\mathcal {M}}$ are represented by homotopy (or homology) groups of a subset of $\widetilde {\mathcal {M}}$ which has an explicit description. The main problem is to provide the explicit description and to extract the necessary information on homotopy or homology groups.

[B]B A. Beauville, Variétés Kählériennes dont la première classe de Chern est nulle, [1] J. Diff. Geom 18 (1983), 755782.
[BDL]BDL J. Bryan  R. Donagi  Naichung Conan Leung, $G$Bundles on abelian surfaces, hyperkähler manifolds, and stringy Hodge numbers, AG/0004159 (2000).
[HG]HG D. Huybrechts  L. Göttsche, Hodge numbers of moduli spaces of stable bundles on $K3$ surfaces, Internat. J. of Math. 7 (1996), 359372.
[G]G D. Gieseker, On the moduli of vector bundles on an algebraic surface, Ann. of Math 106 (1977), 4560.
[GM]GM M. Goresky  R. MacPherson, Stratified Morse Theory, Ergeb. Math. Grenzgeb. [1] (3. Folge) 14, Springer, 1988.
[L1]L1 J. Li, The first two Betti numbers of the moduli space of vector bundles on surfaces, Comm. Anal. Geom. 5 (1997), 625684.
[L2]L2 J. Li, Algebraic geometric interpretation of Donaldson’s polynomial invariants, [1] J. Differential Geometry 37 (1993), 417466.
[Mor]Mor J. Morgan, Comparison of the Donaldson polynomial invariants with their algebro geometric analogues, Topology 32 (1993), 449488.
[Muk1]Muk1 S. Mukai, Duality between $D(X)$ and $D(\widehat {X})$ with its application to Picard sheaves, Nagoya Math. J. 81 (1981), 153–175.
[Muk2]Muk2 S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or $K3$ surface, Invent. Math 77 (1984), 101116.
[Muk3]Muk3 S. Mukai, On the moduli space of bundles on $K3$ surfaces, Vector bundles on Algebraic Varieties, Tata Institute Studies in Mathematics, Oxford University Press, 1987.
[Mum]Mum D. Mumford, Abelian Varieties, Tata Institute Studies in Mathematics, Oxford University Press, 1970.
[O1]O1 K. O’Grady, Desingularized moduli spaces of sheaves on a $K3$, J. Reine Angew. Math. 512 (1999), 49117.
[O2]O2 K. O’Grady, The weighttwo Hodge structure of moduli spaces of sheaves on a $K3$ surface, J. Algebraic Geom. 6 (1997), 599644.
[O3]O3 K. O’Grady, Moduli of vectorbundles on surfaces, Algebraic Geometry Santa Cruz 1995, Proc. Symp. Pure Math. vol. 62, Amer. Math. Soc., 1997, pp. 101126.
[O4]O4 K. O’Grady, Relations among Donaldson polynomials of certain algebraic surfaces, I, Forum Math. 8 (1996), 161.
[Y1]Y1 K. Yoshioka, Some examples of Mukai’s reflections on $K3$ surfaces, J. Reine Angew. Math. 515 (1999), 97123.
[Y2]Y2 K. Yoshioka, Moduli spaces of stable sheaves on abelian surfaces, AG/0009001 (2000).
[W]W F. W. Warner, Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics 94, SpringerVerlag, 1983.
Additional Information
Kieran G. O’Grady
Affiliation:
Università La Sapienza, Dipartimento di Matematica G. Castelnuovo, Piazzale A Moro 5, 00185 Rome, Italy
Email:
ogrady@mat.uniroma1.it
Received by editor(s):
November 9, 2000
Published electronically:
January 14, 2003
Additional Notes:
Supported by Cofinanziamento MURST 19992001
Dedicated:
Dedicato a Riccardino