Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter April 18, 2022

Explicit Nikulin configurations on Kummer surfaces

  • Xavier Roulleau and Alessandra Sarti EMAIL logo
From the journal Advances in Geometry

Abstract

A Nikulin configuration is the data of 16 disjoint smooth rational curves on a K3 surface. According to results of Nikulin, the existence of a Nikulin configuration means that the K3 surface is a Kummer surface, moreover the abelian surface from the Kummer structure is determined by the 16 curves. In the paper [16], we constructed explicitly non-isomorphic Kummer structures on some Kummer surfaces. In this paper we generalize the construction to Kummer surfaces with a weaker restriction on the degree of the polarization and we describe some cases where the previous construction does not work.

Acknowledgements

We thank P. Stellari for pointing out his paper [20]. We also thank K. Hulek, H. Lange, K. Oguiso, M. Ramponi, J. Rivat and T. Shioda for useful discussions. We are very grateful to the referee for the many questions, remarks and comments that improved this article substantially.

  1. Communicated by: M. Joswig

References

[1] M. Artebani, A. Sarti, S. Taki, K3 surfaces with non-symplectic automorphisms of prime order. Math. Z. 268 (2011), 507–533. MR2805445 Zbl 1218.1402410.1007/s00209-010-0681-xSearch in Google Scholar

[2] W. Barth, I. Nieto, Abelian surfaces of type (1, 3) and quartic surfaces with 16 skew lines. J. Algebraic Geom. 3 (1994), 173–222. MR1257320 Zbl 0809.14027Search in Google Scholar

[3] W. P. Barth, K. Hulek, C. A. M. Peters, A. Van de Ven, Compact complex surfaces. Springer 2004. MR2030225 Zbl 1036.1401610.1007/978-3-642-57739-0Search in Google Scholar

[4] C. Ciliberto, M. Mendes Lopes, X. Roulleau, On Schoen surfaces. Comment. Math. Helv. 90 (2015), 59–74. MR3317333 Zbl 1315.1405310.4171/CMH/346Search in Google Scholar

[5] A. Garbagnati, A. Sarti, On symplectic and non-symplectic automorphisms of K3 surfaces. Rev. Mat. Iberoam. 29 (2013), 135–162. MR3010125 Zbl 1266.1403110.4171/RMI/716Search in Google Scholar

[6] A. Garbagnati, A. Sarti, Kummer surfaces and K3 surfaces with (ℤ/2ℤ)4 symplectic action. Rocky Mountain J. Math. 46 (2016), 1141–1205. MR3563178 Zbl 1370.14033Search in Google Scholar

[7] V. Gritsenko, K. Hulek, Minimal Siegel modular threefolds. Math. Proc. Cambridge Philos. Soc. 123 (1998), 461–485. MR1607981 Zbl 0930.1102810.1017/S0305004197002259Search in Google Scholar

[8] S. Hosono, B. H. Lian, K. Oguiso, S.-T. Yau, Kummer structures on K3 surface: an old question of T. Shioda. Duke Math. J. 120 (2003), 635–647. MR2030099 Zbl 1051.1404610.1215/S0012-7094-03-12036-0Search in Google Scholar

[9] D. Huybrechts, Lectures on K3 surfaces. Cambridge Univ. Press 2016. MR3586372 Zbl 1360.1409910.1017/CBO9781316594193Search in Google Scholar

[10] D. R. Morrison, On K3 surfaces with large Picard number. Invent. Math. 75 (1984), 105–121. MR728142 Zbl 0509.1403410.1007/BF01403093Search in Google Scholar

[11] V. V. Nikulin, Kummer surfaces. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 39 (1975), 278–293, 471. English translation: Math. USSR. Izv. 9 (1975), no. 2, 26–275 (1976). MR0429917 Zbl 0325.14015Search in Google Scholar

[12] D. O. Orlov, Derived categories of coherent sheaves on abelian varieties and equivalences between them. (Russian) Izv. Ross. Akad. Nauk Ser. Mat. 66 (2002), 131–158. English translation: Izv. Math. 66 (2002), no. 3, 569–594. MR1921811 Zbl 1031.1800710.1070/IM2002v066n03ABEH000389Search in Google Scholar

[13] M. Reid, Chapters on algebraic surfaces. In: Complex algebraic geometry (Park City, UT, 1993), volume 3 of IAS/Park City Math. Ser., 3–159, Amer. Math. Soc. 1997. MR1442522 Zbl 0910.1401610.1090/pcms/003/02Search in Google Scholar

[14] C. Rito, X. Roulleau, A. Sarti, Explicit Schoen surfaces. Algebr. Geom. 6 (2019), 410–426. MR3957401 Zbl 1428.14071Search in Google Scholar

[15] X. Roulleau, Bounded negativity, Miyaoka-Sakai inequality, and elliptic curve configurations. Int. Math. Res. Not. 2017, no. 8, 2480–2496. MR3658205 Zbl 1405.1401810.1093/imrn/rnw107Search in Google Scholar

[16] X. Roulleau, A. Sarti, Construction of Nikulin configurations on some Kummer surfaces and applications. Math. Ann. 373 (2019), 597–623. MR3968882 Zbl 1411.1404410.1007/s00208-018-1717-5Search in Google Scholar

[17] B. Saint-Donat, Projective models of K–3 surfaces. Amer. J. Math. 96 (1974), 602–639. MR364263 Zbl 0301.1401110.2307/2373709Search in Google Scholar

[18] T. Shioda, Some remarks on Abelian varieties. J. Fac. Sci. Univ. Tokyo Sect. I A Math. 24 (1977), 11–21. MR450289 Zbl 0406.14023Search in Google Scholar

[19] T. Shioda, N. Mitani, Singular abelian surfaces and binary quadratic forms. In: Classification of algebraic varieties and compact complex manifolds, 259–287. Lecture Notes in Math., Vol. 412, Springer 1974. MR0382289 Zbl 0302.1401110.1007/BFb0066163Search in Google Scholar

[20] P. Stellari, Derived categories and Kummer varieties. Math. Z. 256 (2007), 425–441. MR2289881 Zbl 1138.1800610.1007/s00209-006-0088-xSearch in Google Scholar

[21] B. van Geemen, A. Sarti, Nikulin involutions on K3 surfaces. Math. Z. 255 (2007), 731–753. MR2274533 Zbl 1141.1402210.1007/s00209-006-0047-6Search in Google Scholar

Appendix

Why it was natural to study the case t = 12k(k + 1) in the paper [16]. Since α2 = 1 + 2tβ2, the integer α is odd. Let k ∈ ℕ be such that α = 2k + 1 (then one has A1A1 = 4k + 2). The integer β is then a solution of the equation (2k + 1)2−2tβ2 = 1, which is equivalent to 2 = 2k(k + 1). Then a = 2, b = 2k + 1 are solutions of the three conditions in (2.3). Since a2 = 2t(b2 − 1), one gets

a2=2t4k(k+1).(3.1)

Thus 2t ⋅ 4k(k + 1) is the square of an integer and it is therefore natural to define t = 12k(k + 1). Then one computes easily that a = 2k(k + 1) and β = 2. Then one has GCD(β,α0 − 1) = GCD(2,2k) = 2, thus for α0 > 5, i.e. for k > 2, one can apply Theorem 14. That are the cases we studied in [16].

A table. We enumerate in the following table the fundamental solutions (α0,β0) of the Pell–Fermat equations α2 − 2tβ2 = 1 for 2t ≤ 60. Recall that there are non-trivial solutions if and only if 2t is not a square.

When 2t = k(k + 1) the minimal solution is (2k + 1, 2); these correspond to Nikulin configurations studied in [16], and we put a * close to these cases. We put a box around the cases with β0 odd, and a prime ′ when β0 is even but such that the negative Pell–Fermat equation has a solution: these cases are left out in this paper.

Received: 2020-05-11
Revised: 2021-02-25
Published Online: 2022-04-18
Published in Print: 2022-07-26

© 2022 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 3.5.2024 from https://www.degruyter.com/document/doi/10.1515/advgeom-2021-0033/html
Scroll to top button