A new six-dimensional irreducible symplectic variety. (English) Zbl 1068.53058
The main achievement of this paper is the construction of a new six-dimensional irreducible symplectic manifold \(\widetilde{\mathcal M}\). The author shows that this variety has \(b_ 2=8\). This implies that \(\widetilde{\mathcal M}\) cannot be deformed into one of the known irreducible symplectic varieties, not even up to birational equivalence.
According to the Bogomolov decomposition of compact Kähler manifolds with torsion first Chern class, there are three types of “building blocks”: complex tori, Calabi-Yau varieties, and irreducible symplectic manifolds. Compared with the other two classes, examples of irreducible symplectic manifolds are quite scarce. Similar to previous constructions, the new example is obtained as an irreducible factor in the Bogomolov decomposition of a symplectic desingularisation of a moduli space of sheaves on an Abelian surface. According to results of Yoshioka, such a construction can be successful only if the moduli space contains points which correspond to strictly semi-stable sheaves.
The construction of \(\widetilde{\mathcal M}\) is the following. Let \(J\) be the Jacobian of a genus-two curve, \(\Theta\) a Theta divisor and \(\eta\) the orientation class of \(J\). Using methods from an earlier paper of the author [J. Reine Angew. Math. 512, 49–117 (1999; Zbl 0928.14029)], it can be shown that there exists a symplectic desingularisation \(\widetilde{\mathcal M}_ v \rightarrow {\mathcal M}_ v\) of the moduli space \({\mathcal M}_ v\) of \(\Theta\)-semi-stable torsion free sheaves on \(J\) with Mukai vector \(v=2-2\eta\). The variety \(\widetilde{\mathcal M} \subset \widetilde{\mathcal M}_ v\) is the fibre over \((0,\widehat{0})\) of a natural locally trivial fibration \(\widetilde{\mathcal M}_ v \rightarrow J\times \widehat{J}\). After verifying that \(\widetilde{\mathcal M}\) is symplectic and of dimension six, the author shows that \(\widetilde{\mathcal M}\) is simply connected and has \(b_ 2=8\). He defines a refinement of S-equivalence in order to obtain a moduli theoretic interpretation of a subset of \(\widetilde{\mathcal M}_ v\). This allows him to use the generalised Lefschetz hyperplane theorem to gain information about the topology of \(\widetilde{\mathcal M}\).
According to the Bogomolov decomposition of compact Kähler manifolds with torsion first Chern class, there are three types of “building blocks”: complex tori, Calabi-Yau varieties, and irreducible symplectic manifolds. Compared with the other two classes, examples of irreducible symplectic manifolds are quite scarce. Similar to previous constructions, the new example is obtained as an irreducible factor in the Bogomolov decomposition of a symplectic desingularisation of a moduli space of sheaves on an Abelian surface. According to results of Yoshioka, such a construction can be successful only if the moduli space contains points which correspond to strictly semi-stable sheaves.
The construction of \(\widetilde{\mathcal M}\) is the following. Let \(J\) be the Jacobian of a genus-two curve, \(\Theta\) a Theta divisor and \(\eta\) the orientation class of \(J\). Using methods from an earlier paper of the author [J. Reine Angew. Math. 512, 49–117 (1999; Zbl 0928.14029)], it can be shown that there exists a symplectic desingularisation \(\widetilde{\mathcal M}_ v \rightarrow {\mathcal M}_ v\) of the moduli space \({\mathcal M}_ v\) of \(\Theta\)-semi-stable torsion free sheaves on \(J\) with Mukai vector \(v=2-2\eta\). The variety \(\widetilde{\mathcal M} \subset \widetilde{\mathcal M}_ v\) is the fibre over \((0,\widehat{0})\) of a natural locally trivial fibration \(\widetilde{\mathcal M}_ v \rightarrow J\times \widehat{J}\). After verifying that \(\widetilde{\mathcal M}\) is symplectic and of dimension six, the author shows that \(\widetilde{\mathcal M}\) is simply connected and has \(b_ 2=8\). He defines a refinement of S-equivalence in order to obtain a moduli theoretic interpretation of a subset of \(\widetilde{\mathcal M}_ v\). This allows him to use the generalised Lefschetz hyperplane theorem to gain information about the topology of \(\widetilde{\mathcal M}\).
Reviewer: Bernd Kreußler (Limerick)
MSC:
53D35 | Global theory of symplectic and contact manifolds |
32Q15 | Kähler manifolds |
14J60 | Vector bundles on surfaces and higher-dimensional varieties, and their moduli |
32J18 | Compact complex \(n\)-folds |
53C55 | Global differential geometry of Hermitian and Kählerian manifolds |
53C26 | Hyper-Kähler and quaternionic Kähler geometry, “special” geometry |
14H40 | Jacobians, Prym varieties |
32Q55 | Topological aspects of complex manifolds |
Keywords:
Ricci flat Kähler metric; hyper-Kähler; Hilbert scheme; holomorphic symplectic form; moduli space; Mukai vector; Bogomolov decomposition.Citations:
Zbl 0928.14029References:
[1] | A. Beauville, Variétés Kählériennes dont la première classe de Chern est nulle, J. Diff. Geom 18 (1983), 755-782. · Zbl 0537.53056 |
[2] | J. Bryan - R. Donagi - Naichung Conan Leung, \(G\)-Bundles on abelian surfaces, hyperkähler manifolds, and stringy Hodge numbers, AG/0004159 (2000). · Zbl 0983.14023 |
[3] | D. Huybrechts - L. Göttsche, Hodge numbers of moduli spaces of stable bundles on \(K3\) surfaces, Internat. J. of Math. 7 (1996), 359-372. · Zbl 0879.14013 |
[4] | D. Gieseker, On the moduli of vector bundles on an algebraic surface, Ann. of Math 106 (1977), 45-60. · Zbl 0381.14003 |
[5] | M. Goresky - R. MacPherson, Stratified Morse Theory, Ergeb. Math. Grenzgeb. (3. Folge) 14, Springer, 1988. · Zbl 0639.14012 |
[6] | J. Li, The first two Betti numbers of the moduli space of vector bundles on surfaces, Comm. Anal. Geom. 5 (1997), 625-684. · Zbl 0945.14023 |
[7] | J. Li, Algebraic geometric interpretation of Donaldson’s polynomial invariants, J. Differential Geometry 37 (1993), 417-466. · Zbl 0809.14006 |
[8] | J. Morgan, Comparison of the Donaldson polynomial invariants with their algebro geometric analogues, Topology 32 (1993), 449-488. · Zbl 0801.57014 |
[9] | S. Mukai, Duality between \(D(X)\) and \(D(\widehat{X})\) with its application to Picard sheaves, Nagoya Math. J. 81 (1981), 153-175. · Zbl 0417.14036 |
[10] | S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or \(K3\) surface, Invent. Math 77 (1984), 101-116. · Zbl 0565.14002 |
[11] | 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. · Zbl 0674.14023 |
[12] | D. Mumford, Abelian Varieties, Tata Institute Studies in Mathematics, Oxford University Press, 1970. · Zbl 0223.14022 |
[13] | K. O’Grady, Desingularized moduli spaces of sheaves on a \(K3\), J. Reine Angew. Math. 512 (1999), 49-117. · Zbl 0928.14029 |
[14] | K. O’Grady, The weight-two Hodge structure of moduli spaces of sheaves on a \(K3\) surface, J. Algebraic Geom. 6 (1997), 599-644. · Zbl 0916.14018 |
[15] | K. O’Grady, Moduli of vector-bundles on surfaces, Algebraic Geometry Santa Cruz 1995, Proc. Symp. Pure Math. vol. 62, Amer. Math. Soc., 1997, pp. 101-126. · Zbl 0901.14026 |
[16] | K. O’Grady, Relations among Donaldson polynomials of certain algebraic surfaces, I, Forum Math. 8 (1996), 1-61. · Zbl 0874.14039 |
[17] | K. Yoshioka, Some examples of Mukai’s reflections on \(K3\) surfaces, J. Reine Angew. Math. 515 (1999), 97-123. · Zbl 0940.14026 |
[18] | K. Yoshioka, Moduli spaces of stable sheaves on abelian surfaces, AG/0009001 (2000). · Zbl 1066.14013 |
[19] | F. W. Warner, Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics 94, Springer-Verlag, 1983. · Zbl 0516.58001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.