Home Stable pair compactification of moduli of K3 surfaces of degree 2
Article
Licensed
Unlicensed Requires Authentication

Stable pair compactification of moduli of K3 surfaces of degree 2

  • Valery Alexeev , Philip Engel EMAIL logo and Alan Thompson
Published/Copyright: April 20, 2023

Abstract

We prove that the universal family of polarized K3 surfaces of degree 2 can be extended to a flat family of stable KSBA pairs ( X , ϵ R ) over the toroidal compactification associated to the Coxeter fan. One-parameter degenerations of K3 surfaces in this family are described by integral-affine structures on a sphere with 24 singularities.

Award Identifier / Grant number: DMS-1902157

Funding statement: The first author was supported by the NSF grant DMS-1902157.

References

[1] V. Alexeev, Moduli spaces M g , n ( W ) for surfaces, Higher-dimensional complex varieties (Trento 1994), De Gruyter, Berlin (1996), 1–22. Search in Google Scholar

[2] V. Alexeev, Complete moduli in the presence of semiabelian group action, Ann. of Math. (2) 155 (2002), no. 3, 611–708. 10.2307/3062130Search in Google Scholar

[3] V. Alexeev, Higher-dimensional analogues of stable curves, International congress of mathematicians. Vol. II, European Mathematical Society, Zürich (2006), 515–536. 10.4171/022-2/23Search in Google Scholar

[4] V. Alexeev, Moduli of weighted hyperplane arrangements, Adv. Courses Math. CRM Barcelona, Birkhäuser/Springer, Basel 2015. 10.1007/978-3-0348-0915-3Search in Google Scholar

[5] V. Alexeev, A. Brunyate and P. Engel, Compactifications of moduli of elliptic K3 surfaces: Stable pair and toroidal, preprint (2019), https://arxiv.org/abs/2002.00712; to appear in Geom. Topol. Search in Google Scholar

[6] V. Alexeev and I. Nakamura, On Mumford’s construction of degenerating abelian varieties, Tohoku Math. J. (2) 51 (1999), no. 3, 399–420. 10.2748/tmj/1178224770Search in Google Scholar

[7] V. Alexeev and A. Thompson, ADE surfaces and their moduli, J. Algebraic Geom. 30 (2021), no. 2, 331–405. 10.1090/jag/762Search in Google Scholar

[8] K. Ascher and D. Bejleri, Compact moduli of elliptic K3 surfaces, preprint (2019), https://arxiv.org/abs/1902.10686. Search in Google Scholar

[9] A. Ash, D. Mumford, M. Rapoport and Y. Tai, Smooth compactification of locally symmetric varieties, Mathematical Science Press, Brookline 1975. Search in Google Scholar

[10] W. L. Baily, Jr. and A. Borel, Compactification of arithmetic quotients of bounded symmetric domains, Ann. of Math. (2) 84 (1966), 442–528. 10.2307/1970457Search in Google Scholar

[11] J. Blanc, Symplectic birational transformations of the plane, Osaka J. Math. 50 (2013), no. 2, 573–590. Search in Google Scholar

[12] A. Brunyate, A modular compactification of the space of elliptic K3 surfaces, Ph.D. thesis, University of Georgia, 2015, https://getd.libs.uga.edu/pdfs/brunyate_adrian_201508_phd.pdf. Search in Google Scholar

[13] H. S. M. Coxeter, Wythoff’s Construction for Uniform Polytopes, Proc. Lond. Math. Soc. (2) 38 (1935), 327–339. 10.1112/plms/s2-38.1.327Search in Google Scholar

[14] I. V. Dolgachev, Mirror symmetry for lattice polarized K 3 surfaces, J. Math. Sci. 81 (1996), no. 3, 2599–2630. 10.1007/BF02362332Search in Google Scholar

[15] C. F. Doran, A. Harder, A. Y. Novoseltsev and A. Thompson, Families of lattice polarized K3 surfaces with monodromy, Int. Math. Res. Not. IMRN 2015 (2015), no. 23, 12265–12318. 10.1093/imrn/rnv071Search in Google Scholar

[16] P. Engel, Looijenga’s conjecture via integral-affine geometry, J. Differential Geom. 109 (2018), no. 3, 467–495. 10.4310/jdg/1531188193Search in Google Scholar

[17] P. Engel and S. Filip, Moduli space of integral-affine structures on the sphere, unpublished 2018. Search in Google Scholar

[18] P. Engel and R. Friedman, Smoothings and rational double point adjacencies for cusp singularities, J. Differential Geom. 118 (2021), no. 1, 23–100. 10.4310/jdg/1620272941Search in Google Scholar

[19] R. Friedman, Base change, automorphisms, and stable reduction for type III K 3 surfaces, The birational geometry of degenerations (Cambridge 1981), Progr. Math. 29, Birkhäuser, Boston (1983), 277–298. Search in Google Scholar

[20] R. Friedman, Global smoothings of varieties with normal crossings, Ann. of Math. (2) 118 (1983), no. 1, 75–114. 10.2307/2006955Search in Google Scholar

[21] R. Friedman, A new proof of the global Torelli theorem for K 3 surfaces, Ann. of Math. (2) 120 (1984), no. 2, 237–269. 10.2307/2006942Search in Google Scholar

[22] R. Friedman, On the geometry of anticanonical pairs, preprint (2015), https://arxiv.org/abs/1502.02560. Search in Google Scholar

[23] R. Friedman and R. Miranda, Smoothing cusp singularities of small length, Math. Ann. 263 (1983), no. 2, 185–212. 10.1007/BF01456880Search in Google Scholar

[24] R. Friedman and F. Scattone, Type III degenerations of K 3 surfaces, Invent. Math. 83 (1986), no. 1, 1–39. 10.1007/BF01388751Search in Google Scholar

[25] W. Goldman and M. W. Hirsch, The radiance obstruction and parallel forms on affine manifolds, Trans. Amer. Math. Soc. 286 (1984), no. 2, 629–649. 10.1090/S0002-9947-1984-0760977-7Search in Google Scholar

[26] M. Gross, P. Hacking and S. Keel, Mirror symmetry for log Calabi-Yau surfaces I, Publ. Math. Inst. Hautes Études Sci. 122 (2015), 65–168. 10.1007/s10240-015-0073-1Search in Google Scholar

[27] M. Gross, P. Hacking and S. Keel, Moduli of surfaces with an anti-canonical cycle, Compos. Math. 151 (2015), no. 2, 265–291. 10.1112/S0010437X14007611Search in Google Scholar

[28] M. Gross and B. Siebert, Affine manifolds, log structures, and mirror symmetry, Turkish J. Math. 27 (2003), no. 1, 33–60. Search in Google Scholar

[29] M. Gross and B. Siebert, Mirror symmetry via logarithmic degeneration data, II, J. Algebraic Geom. 19 (2010), no. 4, 679–780. 10.1090/S1056-3911-2010-00555-3Search in Google Scholar

[30] P. Hacking, Compact moduli of plane curves, Duke Math. J. 124 (2004), no. 2, 213–257. 10.1215/S0012-7094-04-12421-2Search in Google Scholar

[31] P. Hacking, A compactification of the space of plane curves, preprint (2004), https://arxiv.org/abs/math/0104193. Search in Google Scholar

[32] J. Kollár, Singularities of the minimal model program, Cambridge Tracts in Math. 200, Cambridge University, Cambridge 2013. 10.1017/CBO9781139547895Search in Google Scholar

[33] J. Kollár, Deformations of varieties of general type, Milan J. Math. 89 (2021), no. 2, 345–354. 10.1007/s00032-021-00339-6Search in Google Scholar

[34] J. Kollár and N. I. Shepherd-Barron, Threefolds and deformations of surface singularities, Invent. Math. 91 (1988), no. 2, 299–338. 10.1007/BF01389370Search in Google Scholar

[35] S. Kondō, Algebraic K 3 surfaces with finite automorphism groups, Nagoya Math. J. 116 (1989), 1–15. 10.1017/S0027763000001653Search in Google Scholar

[36] M. Kontsevich and Y. Soibelman, Affine structures and non-Archimedean analytic spaces, The unity of mathematics, Progr. Math. 244, Birkhäuser, Boston (2006), 321–385. 10.1007/0-8176-4467-9_9Search in Google Scholar

[37] S. J. Kovács and Z. Patakfalvi, Projectivity of the moduli space of stable log-varieties and subadditivity of log-Kodaira dimension, J. Amer. Math. Soc. 30 (2017), no. 4, 959–1021. 10.1090/jams/871Search in Google Scholar

[38] V. S. Kulikov, Degenerations of K 3 surfaces and Enriques surfaces, Izv. Akad. Nauk SSSR Ser. Mat. 41 (1977), no. 5, 1008–1042, 1199. Search in Google Scholar

[39] R. Laza, Triangulations of the sphere and degenerations of K3 surfaces, preprint (2008), https://arxiv.org/abs/0809.0937. Search in Google Scholar

[40] R. Laza, The KSBA compactification for the moduli space of degree two K 3 pairs, J. Eur. Math. Soc. (JEMS) 18 (2016), no. 2, 225–279. 10.4171/JEMS/589Search in Google Scholar

[41] E. Looijenga, Semi-toric partial compactifications I, Report, Katholieke Universiteit Nijmegen, 1985. Search in Google Scholar

[42] E. Looijenga, Compactifications defined by arrangements. II. Locally symmetric varieties of type IV, Duke Math. J. 119 (2003), no. 3, 527–588. 10.1215/S0012-7094-03-11933-XSearch in Google Scholar

[43] G. Mikhalkin and I. Zharkov, Tropical curves, their Jacobians and theta functions, Curves and abelian varieties, Contemp. Math. 465, American Mathematical Society, Providence (2008), 203–230. 10.1090/conm/465/09104Search in Google Scholar

[44] R. Miranda and U. Persson, On extremal rational elliptic surfaces, Math. Z. 193 (1986), no. 4, 537–558. 10.1007/BF01160474Search in Google Scholar

[45] D. Mumford, An analytic construction of degenerating abelian varieties over complete rings, Compos. Math. 24 (1972), 239–272. Search in Google Scholar

[46] Y. Odaka and Y. Oshima, Collapsing K3 surfaces, tropical geometry and moduli compactifications of Satake, Morgan–Shalen type, MSJ Memoirs 40, Mathematical Society of Japan, Tokyo 2021. 10.1142/e071Search in Google Scholar

[47] U. Persson and H. Pinkham, Degeneration of surfaces with trivial canonical bundle, Ann. of Math. (2) 113 (1981), no. 1, 45–66. 10.2307/1971133Search in Google Scholar

[48] I. I. Pjateckiĭ-Šapiro and I. R. Šafarevič, Torelli’s theorem for algebraic surfaces of type K3 , Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 530–572. 10.1070/IM1971v005n03ABEH001075Search in Google Scholar

[49] F. Scattone, On the compactification of moduli spaces for algebraic K 3 surfaces, Mem. Amer. Math. Soc. 70 (1987), no. 374, 1–86. 10.1090/memo/0374Search in Google Scholar

[50] J. Shah, A complete moduli space for K 3 surfaces of degree 2, Ann. of Math. (2) 112 (1980), no. 3, 485–510. 10.2307/1971089Search in Google Scholar

[51] N. I. Shepherd-Barron, Extending polarizations on families of K 3 surfaces, The birational geometry of degenerations (Cambridge 1981), Progr. Math. 29, Birkhäuser, Boston (1983), 135–171. Search in Google Scholar

[52] M. Symington, Four dimensions from two in symplectic topology, Topology and geometry of manifolds (Athens 2001), Proc. Sympos. Pure Math. 71, American Mathematical Society, Providence (2003), 153–208. 10.1090/pspum/071/2024634Search in Google Scholar

[53] E. B. Vinberg, Some arithmetical discrete groups in Lobačevskiĭ spaces, Discrete subgroups of Lie groups and applications to moduli (Bombay 1973), Oxford University, Bombay (1975), 323–348. Search in Google Scholar

[54] E. B. Vinberg, Hyperbolic groups of reflections, Uspekhi Mat. Nauk 40 (1985), no. 1(241), 29–66, 255. 10.1070/RM1985v040n01ABEH003527Search in Google Scholar

[55] G. Voronoi, Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Premier mémoire. Sur quelques propriétés des formes quadratiques positives parfaites, J. reine angew. Math. 133 (1908), 97–102. 10.1515/crll.1908.133.97Search in Google Scholar

Received: 2021-12-07
Revised: 2023-01-23
Published Online: 2023-04-20
Published in Print: 2023-06-01

© 2023 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 15.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/crelle-2023-0011/html
Scroll to top button