Calabi–Yau Quotients of Hyperkähler Four-folds

Camere, Chiara ; Garbagnati, Alice ; Mongardi, Giovanni

Canadian journal of mathematics, Tome 71 (2019) no. 1, pp. 45-92

Résumé

The aim of this paper is to construct Calabi–Yau 4-folds as crepant resolutions of the quotients of a hyperkähler 4-fold $X$ by a non-symplectic involution $\unicode[STIX]{x1D6FC}$. We first compute the Hodge numbers of a Calabi–Yau constructed in this way in a general setting, and then we apply the results to several specific examples of non-symplectic involutions, producing Calabi–Yau 4-folds with different Hodge diamonds. Then we restrict ourselves to the case where $X$ is the Hilbert scheme of two points on a K3 surface $S$, and the involution $\unicode[STIX]{x1D6FC}$ is induced by a non-symplectic involution on the K3 surface. In this case we compare the Calabi–Yau 4-fold $Y_{S}$, which is the crepant resolution of $X/\unicode[STIX]{x1D6FC}$, with the Calabi–Yau 4-fold $Z_{S}$, constructed from $S$ through the Borcea–Voisin construction. We give several explicit geometrical examples of both these Calabi–Yau 4-folds, describing maps related to interesting linear systems as well as a rational $2:1$ map from $Z_{S}$ to $Y_{S}$.

Détail

DOI : 10.4153/CJM-2018-025-1

Mots-clés : irreducible holomorphic symplectic manifold, Hyperkähler manifold, Calabi–Yau 4-fold, Borcea–Voisin construction, automorphism, quotient map, non-symplectic involution

Bibliographie

[1] Bǎdescu, L. and Beltrametti, M. C., Seshadri positive submanifolds of polarized manifolds . Cent. Eur. J. Math. 11(2013), no. 3, 447–476. . Google Scholar | DOI

[2] Barth, W. P., Hulek, K., Peters, C. A. M., and Van De Ven, A., Compact complex surfaces, Second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 4, Springer-Verlag, Berlin, 2004. Google Scholar

[3] Batyrev, V. V., Birational Calabi-Yau n-folds have equal Betti numbers . In: New trends in algebraic geometry (Warwick, 1996), London Math. Soc. Lecture Note Ser., 264, Cambridge University Press, Cambridge, 1999, pp. 1–11. . Google Scholar | DOI

[4] Beauville, A., Variétés Kähleriennes dont la premiere classe de Chern est nulle . J. Differential Geom 18(1983), no. 4, 755–782. . Google Scholar | DOI

[5] Beauville, A., Antisymplectic involutions of holomorphic symplectic manifolds . J. Topol. 4(2011), no. 2, 300–304. . Google Scholar | DOI

[6] Bogomolov, F. A., On the decomposition of Kähler manifolds with trivial canonical class . Mat. Sb. (N. S.) 93(135)(1974), no. 4, 573–575, 630. Google Scholar

[7] Boissière, S., Automorphismes naturels de l’espace de Douady de points sur une surface . Canad. J. Math. 64(2012), no. 1, 3–23. . Google Scholar | DOI

[8] Boissière, S., Camere, C., and Sarti, A., Classification of automorphisms on a deformation family of hyper-Kähler four-folds by p-elementary lattices . Kyoto J. Math. 56(2016), no. 3, 465–499. . Google Scholar | DOI

[9] Boissière, S., Nieper-Wiß Kirchen, M., and Sarti, A., Higher dimensional Enriques varieties and automorphisms of generalized Kummer varieties . J. Math. Pures Appl. (9) 95(2011), no. 5, 553–563. . Google Scholar | DOI

[10] Boissière, S. and Sarti, A., A note on automorphisms and birational transformations of holomorphic symplectic manifolds . Proc. Amer. Math. Soc. 140(2012), no. 12, 4053–4062. . Google Scholar | DOI

[11] Borcea, C., K3 surfaces with involution and mirror pairs of Calabi–Yau manifolds. Mirror symmetry, II, AMS/IP Stud. Adv. Math., 1, American Mathematical Society, Providence, RI, 1997, pp. 717–743. Google Scholar

[12] Camere, C., Lattice polarized irreducible holomorphic symplectic manifolds . Ann. l’Inst. Fourier (Grenoble) 66(2016), no. 2, 687–709. . Google Scholar | DOI

[13] Cattaneo, A. and Garbagnati, A., Calabi-Yau 3-folds of Borcea-Voisin type and elliptic fibrations . Tohoku Math. J. (2) 68(2016), no. 4, 515–558. . Google Scholar | DOI

[14] Cynk, S. and Hulek, K., Higher-dimensional modular Calabi-Yau manifolds . Canad. Math. Bull. 50(2007), no. 4, 486–503. . Google Scholar | DOI

[15] Cynk, S. and Van Straten, D., Infinitesimal deformations of double covers of smooth algebraic varieties . Math. Nachr. 279(2006), no. 7, 716–726. . Google Scholar | DOI

[16] Debarre, O., Higher-dimensional algebraic geometry. Universitext, Springer-Verlag, New York, 2001. . Google Scholar | DOI

[17] Denef, J. and Loeser, F., Germs of arcs on singular algebraic varieties and motivic integration . Invent. Math. 135(1999), no. 1, 201–232. . Google Scholar | DOI

[18] Dillies, J., Generalized Borcea–Voisin construction . Lett. Math. Phys. 100(2012), no. 1, 77–96. . Google Scholar | DOI

[19] Dolgachev, I. V., Mirror symmetry for lattice polarized K3 surfaces . J. Math. Sci. 81(1996), no. 3, 2599–2630. . Google Scholar | DOI

[20] Esnault, H. and Viehweg, E., Lectures on vanishing theorems. DMV Seminar, 20, Birkhäuser Verlag, Basel, 1992. . Google Scholar | DOI

[21] Ferretti, A., Special subvarieties of EPW sextics . Math. Z. 272(2012), no. 3–4, 1137–1164. . Google Scholar | DOI

[22] Fujiki, A., On primitively symplectic compact Kähler V-manifolds of dimension four . In: Classification of algebraic and analytic manifolds (Katata, 1982), Progr. Math., 39, Birkhäuser Boston, Boston, MA, 1983, pp. 71–250. Google Scholar

[23] Fujiki, A., Finite automorphism groups of complex tori of dimension two . Publ. Res. Inst. Math. Sci. 24(1988), no. 1, 1–97. . Google Scholar | DOI

[24] Fulton, W., Intersection theory, Second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 2, Springer-Verlag, Berlin, 1998. . Google Scholar | DOI

[25] Gross, M., Huybrechts, D., and Joyce, D., Calabi–Yau manifolds and related geometries: Lectures at a summer school in Nordfjordeid Norway, June 2001. Universitext, Springer-Verlag, Berlin, 2003. . Google Scholar | DOI

[26] Guan, D., On the Betti numbers of irreducible compact hyperkähler manifolds of complex dimension four . Math. Res. Lett. 8(2001), no. 5–6, 663–669. . Google Scholar | DOI

[27] Hassett, B. and Tschinkel, Y., Hodge Theory and Lagrangian planes on generalized Kummer fourfolds . Moscow Math. J. 13(2013), no. 1, 33–56, 189. Google Scholar

[28] Huybrechts, D., Moduli spaces of hyperkähler manifolds and mirror symmetry . In: Intersection theory and moduli, ICTP Lect. Notes, 19, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, pp. 185–247. Google Scholar

[29] Iliev, A., Kapustka, G., Kapustka, M., and Ranestad, K., Hyper-kähler fourfolds and Kummer surfaces . Proc. Lond. Math. Soc. 115(2017), no. 6, 1276–1316. . Google Scholar | DOI

[30] Ito, T., Birational smooth minimal models have equal Hodge numbers in all dimensions . In: Calabi-Yau varieties and mirror symmetry (Toronto, ON, 2001), Fields Inst. Commun., 38, American Mathematical Society, Providence, RI, 2003, pp. 183–194. Google Scholar

[31] Joyce, D. D., Compact manifolds with special holonomy. Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000. Google Scholar

[32] Kawamata, Y., Flops connect minimal models . Publ. Res. Inst. Math. Sci. 44(2008), no. 2, 419–423. . Google Scholar | DOI

[33] Kawatani, K., On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines. 2009. arxiv:0906.0654. Google Scholar

[34] Kempf, G. R., Algebraic varieties. London Mathematical Society Lecture Note Series, 172, Cambridge University Press, Cambridge, 1993. . Google Scholar | DOI

[35] Kollár, J. and Mori, S., Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, 134, Cambridge University Press, 1998. . Google Scholar | DOI

[36] Krug, A., Ploog, D., and Sosna, P., Derived categories of resolutions of cyclic quotient singularities . Q. J. Math. 69(2018), 509–548. . Google Scholar | DOI

[37] Logachev, D., Fano threefolds of genus 6 . Asian J. Math. 16(2012), no. 3, 515–559. . Google Scholar | DOI

[38] Menet, G., On the integral cohomology of quotients of manifolds by cyclic groups . J. Math. Pures Appl. (9)(2017) . . Google Scholar | DOI

[39] Miranda, R., The basic theory of elliptic surfaces. Dottorato di Ricerca in Matematica. ETS Editrice, Pisa, 1989. http://www.math.colostate.edu/∼miranda/BTES-Miranda.pdf. Google Scholar

[40] Mongardi, G., Tari, K., and Wandel, M., Automorphisms of generalised Kummer fourfolds . Manuscripta Math.(2017) . . Google Scholar | DOI

[41] Mongardi, G. and Wandel, M., Induced automorphisms on irreducible symplectic manifolds . J. Lond. Math. Soc. (2) 92(2015), no. 1, 123–143. . Google Scholar | DOI

[42] Nikulin, V. V., Kummer surfaces . Izv. Akad. Nauk SSSR Ser. Mat. 39(1975), no. 2, 278–293, 471. Google Scholar

[43] Nikulin, V. V., Finite groups of automorphisms of Kählerian K3 surfaces . Trudy Moskov. Mat. Obshch. 38(1979), 75–137. Google Scholar

[44] Nikulin, V. V., Involutions of integral quadratic forms and their applications to real algebraic geometry . Izvestiya: Mathematics 22(1984), no. 1, 99–172. Google Scholar

[45] O’Grady, K. G., Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics . Duke Math. J. 134(2006), no. 1, 99–137. . Google Scholar | DOI

[46] Oguiso, K., No cohomologically trivial non-trivial automorphism of generalized Kummer manifolds. 2012. arxiv:1208.3750. Google Scholar

[47] Oguiso, K., On Jacobian fibrations on the Kummer surfaces of the product of nonisogenous elliptic curves . J. Math. Soc. Japan 41(1989), no. 4, 651–680. . Google Scholar | DOI

[48] Oguiso, K., On automorphisms of the punctual Hilbert schemes of K3 surfaces . Eur. J. Math. 2(2016), no. 1, 246–261. . Google Scholar | DOI

[49] Oguiso, K. and Schröer, S., Enriques manifolds . J. Reine Angew. Math. 661(2011), 215–235. . Google Scholar | DOI

[50] Ohashi, H. and Wandel, M., Non-natural non-symplectic involutions on symplectic manifolds of -type. 2013. arxiv:1305.6353. Google Scholar

[51] Saint-Donat, B., Projective models of K - 3 surfaces . Amer. J. Math. 96(1974), 602–639. . Google Scholar | DOI

[52] Sawon, J., Abelian fibred holomorphic symplectic manifolds . Turkish J. Math. 27(2003), no. 1, 197–230. Google Scholar

[53] Van Geemen, B., Some remarks on Brauer groups of K3 surfaces . Adv. Math. 197(2005), no. 1, 222–247. . Google Scholar | DOI

[54] Voisin, C., Miroirs et involutions sur les surfaces K3 . Journées de Géométrie Algébrique d’Orsay (Orsay, 1992). Astérisque 218(1993), 273–323. Google Scholar

[55] Voisin, C., Hodge theory and complex algebraic geometry. I. Cambridge Studies in Advanced Mathematics, 76, Cambridge University Press, Cambridge, 2002. . Google Scholar | DOI

[56] Wang, C.-L., Cohomology theory in birational geometry . J. Differential Geom. 60(2002), no. 2, 345–354. . Google Scholar | DOI