Connected components of the moduli of elliptic \(K3\) surfaces. (English) Zbl 1420.14087

Shimada, Ichiro

Mich. Math. J. 67, No. 3, 511-559 (2018).

The paper under review forms a continuation of the author’s analysis of the combinatorial types of complex elliptic \(K3\) surfaces (understood with section). This was started in [I. Shimada, Mich. Math. J. 47, No. 3, 423–446 (2000; Zbl 1085.14509)] where the author developed a classification of all possible combinatorial types. i.e. configuration of reducible fibers (in terms of ADE-types) together with the torsion of the Mordell-Weil group. Presently the moduli of these elliptic \(K3\) surfaces are considered, and the main result computes the number of connected components of each moduli space.
The overall approach consists of the moduli theory of lattice polarized \(K3\) surfaces. Here the ADE-types of the reducible fibres give a natural sublattice \[ L = U\oplus R \] of the Néron-Severi lattice of the \(K3\) surface where the hyperbolic plane \(U\) is generated by the zero section and a fibre and the orthogonal summand \(R\) corresponds to the ADE-types (following Kodaira). Note that \(L\) need not embed primitively into the Néron-Severi lattice; in fact, the non-primitivity is exactly accounted for by the torsion sections. Thus the primitive closure \(L'\) is the generic Néron-Severi lattice on each moduli component (of dimension \(20-\operatorname{rank}(L)\)).
The author’s involved calculations are based on lattice theoretic methods pioneered by Miranda and Morrison in a mostly unpublished manuscript (available electronically). Using these techniques, the author manages to detect precisely which components can be algebraically distinguished, i.e. where the given torsion sections can be configured in different ways to meet the reducible fibres. The classification result of the paper goes as follows:
There are exactly 196 combinatorial types of complex elliptic \(K3\) surfaces with more than one connected moduli component.
Interesting enough, almost half of them (namely 89) comprise extremal elliptic \(K3\) surfaces (i.e. those with maximal Picard number \(\rho=20\), yet finite Mordell-Weil group). Here the results can often be explained through the transcendental lattice (as computed in [I. Shimada and D.-Q. Zhang, Nagoya Math. J. 161, 23–54 (2001; Zbl 1064.14503)]), or through the fields of definition. Among the 107 non-extremal types, 95 have algebraic distinguishable moduli components; for the remaining 12 types, the computations reveal that there are two complex conjugate moduli components.

Reviewer: Matthias Schütt (Hannover)

MSC:

14J28	\(K3\) surfaces and Enriques surfaces
11E81	Algebraic theory of quadratic forms; Witt groups and rings

Keywords:

elliptic \(K3\) surface; Néron-Severi lattice; lattice polarization; quadratic form; genus theory; combinatorial type

Citations:

Zbl 1085.14509; Zbl 1064.14503

Software:

GAP

References:

[1]	A. Akyol and A. Degtyarev, Geography of irreducible plane sextics, Proc. Lond. Math. Soc. (3) 111 (2015), no. 6, 1307–1337. · Zbl 1342.14067
[2]	K. Arima and I. Shimada, Zariski–van Kampen method and transcendental lattices of certain singular \(K3\) surfaces, Tokyo J. Math. 32 (2009), no. 1, 201–227. · Zbl 1182.14035
[3]	W. P. Barth, K. Hulek, C. A. M. Peters, and A. Van de Ven, Compact complex surfaces, second edition, Ergeb. Math. Grenzgeb. (3), 4, Springer-Verlag, Berlin, 2004.
[4]	J. W. S. Cassels, Rational quadratic forms, London Math. Soc. Monogr. Ser., 13, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], London, 1978. · Zbl 0395.10029
[5]	H. Cohen, A course in computational algebraic number theory, Grad. Texts in Math., 138, Springer-Verlag, Berlin, 1993. · Zbl 0786.11071
[6]	J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, third edition, Grundlehren Math. Wiss., 290, Springer-Verlag, New York, 1999. · Zbl 0915.52003
[7]	A. Degtyarev, Transcendental lattice of an extremal elliptic surface, J. Algebraic Geom. 21 (2012), no. 3, 413–444. · Zbl 1243.14028
[8]	W. Ebeling, Lattices and codes, third edition, Adv. Lectures Math., Springer Spektrum, Wiesbaden, 2013. · Zbl 1257.11066
[9]	The GAP Group, GAP – Groups, Algorithms, and Programming. Version 4.7.9, 2015, http://www.gap-system.org.
[10]	Ç. G. Aktaş, Classification of simple quartics up to equisingular deformation, Hiroshima Math. J. 46 (2017), no. 1, 87–112.
[11]	K. Kodaira, On compact analytic surfaces. II, III, Ann. of Math. (2) 77 (1963), 563–626. ibid., 78:1–40, 1963. Reprinted in Kunihiko Kodaira: Collected works. Vol. III, Iwanami Shoten, Publishers, Tokyo; Princeton University Press, Princeton, NJ, 1975, pp. 1269–1372. · Zbl 0118.15802
[12]	A. K. Lenstra, H. W. Jr. Lenstra, and L. Lovász, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), no. 4, 515–534. · Zbl 0488.12001
[13]	E. Looijenga and J. Wahl, Quadratic functions and smoothing surface singularities, Topology 25 (1986), no. 3, 261–291. · Zbl 0615.32014
[14]	R. Miranda and D. R. Morrison, Embeddings of integral quadratic forms (electronic), 2009, http://www.math.ucsb.edu/drm/manuscripts/eiqf.pdf.
[15]	R. Miranda and D. R. Morrison, The number of embeddings of integral quadratic forms. I, Proc. Japan Acad. Ser. A Math. Sci. 61 (1985), no. 10, 317–320. · Zbl 0589.10020
[16]	R. Miranda and D. R. Morrison, The number of embeddings of integral quadratic forms. II, Proc. Japan Acad. Ser. A Math. Sci. 62 (1986), no. 1, 29–32. · Zbl 0594.10012
[17]	V. V. Nikulin, Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–177, 238, English translation: Math USSR-Izv. 14 (1979), no. 1, 103–167 (1980).
[18]	I. I. Piatetski-Shapiro and I. R. Shafarevich, Torelli’s theorem for algebraic surfaces of type \(\text{K}3\), Collected mathematical papers, Izv. Akad. Nauk SSSR Ser. Mat., 35, pp. 530–572, Springer-Verlag, Berlin, 1971, Reprinted in I. R. Shafarevich, Collected Mathematical Papers, Springer-Verlag, Berlin, 1989, 516–557.
[19]	M. Schütt, Fields of definition of singular \(K3\) surfaces, Commun. Number Theory Phys. 1 (2007), no. 2, 307–321.
[20]	I. Shimada, On elliptic \(K3\) surfaces, Michigan Math. J. 47 (2000), no. 3, 423–446.
[21]	I. Shimada, On normal \(K3\) surfaces, Michigan Math. J. 55 (2007), no. 2, 395–416. · Zbl 1136.14027
[22]	I. Shimada, Non-homeomorphic conjugate complex varieties, Singularities—Niigata–Toyama 2007, Adv. Stud. Pure Math., 56, pp. 285–301, Math. Soc. Japan, Tokyo, 2009.
[23]	I. Shimada, Transcendental lattices and supersingular reduction lattices of a singular \(K3\) surface, Trans. Amer. Math. Soc. 361 (2009), no. 2, 909–949. · Zbl 1187.14048
[24]	I. Shimada, Connected components of the moduli of elliptic \(K3\) surfaces: computational data, 2016, http://www.math.sci.hiroshima-u.ac.jp/ shimada/K3.html.
[25]	I. Shimada and D.-Q. Zhang, Classification of extremal elliptic \(K3\) surfaces and fundamental groups of open \(K3\) surfaces, Nagoya Math. J. 161 (2001), 23–54. · Zbl 1064.14503
[26]	T. Shioda and H. Inose, On singular \(K3\) surfaces, Complex analysis and algebraic geometry, pp. 119–136, Iwanami Shoten, Tokyo, 1977. · Zbl 0374.14006
[27]	T. Shioda, On the Mordell–Weil lattices, Comment. Math. Univ. St. Pauli 39 (1990), no. 2, 211–240. · Zbl 0725.14017
[28]	J.-G. Yang, Sextic curves with simple singularities, Tohoku Math. J. (2) 48 (1996), no. 2, 203–227. · Zbl 0866.14014
[29]	J.-G. Yang, Enumeration of combinations of rational double points on quartic surfaces, Singularities and complex geometry, Beijing, 1994, AMS/IP Stud. Adv. Math., 5, pp. 275–312, Amer. Math. Soc., Providence, RI, 1997.