Smooth models of singular \(K3\)-surfaces
type: Item
instance of: scholarly article
title: Smooth models of singular \(K3\)-surfaces
zbMATH Open document ID: 1427.14076
published in: Revista Matemática Iberoamericana
publication date: 2019-03-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/1608.06746
review text: Smooth quartic surfaces in \(\mathbb{P}^3\) are \(K3\)-surfaces, e.g, the Fermat quartic \(\Phi_4: z_0^4+z_1^4+z_2^4+z_3^4=0\in\mathbb{P}^3\). Define a \textit{smooth spatial model} of a \(K3\) surface \(X\) to be an embedding \(X\hookrightarrow \mathbb{P}^3\) defined by a very ample line bundle of degree \(4\). Two models are said to be \textit{projectively equivalent} if so are thier images. The main result of this article is the following Theorem 1. Up to projective equivalence, there are three smooth spatial models \(\Phi_4\hookrightarrow \mathbb{P}^3\)s of the Fermat quartic. They are \(X_{48},\,X_{56},\) and \(\tilde{X}_{56}\). Proofs are given for singular \(K3\) surfaces, i.e., those of the maximal Picard number \(20\). Such a \(K3\) surface is determined by its transcendental lattice \(T\), which is a positive definite even lattice of rank \(2\). Denote by \(X=X(T)\) and \(T=[a,b,c]\) for the lattice \(T=\mathbb{Z}u+\mathbb{Z}v,\, u^2=a, v^2=c,\, u\cdot v=b\). Theorem 1 is formally incorprated in the following Theorem 2. Let \(T\) be a positive definite even lattice of rank \(2\), and assume that \(48\leq \det(T)\leq 80\) and \(T\neq [4,0,16]\). Then, up to projective equivalence, any smooth spatial model \(X(T)\hookrightarrow \mathbb{P}^3\) is one of those listed in Table 1 of the article. There are several corollaries, a prototypical one is: \(\bullet\) \(48\) is the minimal discriminant of a singular \(K3\)-surface admitting a smooth spatial model, and Schur's quartic \(X_{64}\) is the only one minimizing this discriminant. Proofs are mostly rest on a detailed study of the lattice \(S:=h^{\perp}\subset NS(X)\) where \(h\) is the polarization. This approach was earlier used by \textit{S. Kondo} [Duke Math. J. 92, No. 3, 593--603 (1998; Zbl 0958.14025)], and others. As a by-product of this approach, a correlation between the discriminant of a singular \(K3\) surface and the number of lines in its models is observed. Based on this observation, a \(K3\) quar…
reviewed by: Noriko Yui
Mathematics Subject Classification ID: 14J28
zbMATH DE Number: 7040251
zbMATH Keywords: \(K3\)-surface
zbMATH Keywords: singular \(K3\)-surface
zbMATH Keywords: Fermat surface
zbMATH Keywords: spatial model
zbMATH Keywords: lattices of rank 2
author: Alex Degtyarev
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2515127735
arXiv ID: 1608.06746
cites work: Q4039784
cites work: Lines in supersingular quartics
cites work: Lines on smooth polarized \(K3\)-surfaces
cites work: Lines on quartic surfaces
cites work: Classical algebraic geometry. A modern view
cites work: Q5510973
cites work: Finite symplectic actions on the \(K3\) lattice
cites work: Niemeier lattices, Mathieu groups, and finite groups of symplectic automorphisms of \(K3\) surfaces. With an appendix by Shigeru Mukai
cites work: A note on the cone conjecture for \(K3\) surfaces in positive characteristic
cites work: On the automorphisms of hypersurfaces
cites work: Finite groups of automorphisms of K3 surfaces and the Mathieu group
cites work: Definite quadratische Formen der Dimension 24 und Diskriminante 1
cites work: INTEGRAL SYMMETRIC BILINEAR FORMS AND SOME OF THEIR APPLICATIONS
cites work: Q4026030
cites work: The Jacobian fibrations on some K3 surfaces and their Mordell-Weil groups
cites work: Isomorphic quartic \(K3\) surfaces in the view of Cremona and projective transformations
cites work: 112 LINES ON SMOOTH QUARTIC SURFACES (CHARACTERISTIC 3): Table 1
cites work: 64 lines on smooth quartic surfaces
cites work: Projective Models of K - 3 Surfaces
cites work: Fields of definition of singular \(K3\) surfaces
cites work: \(K3\) surfaces with Picard rank 20
cites work: THE MAXIMUM NUMBER OF LINES LYING ON A QUARTIC SURFACE
cites work: On a smooth quartic surface containing 56 lines which is isomorphic as a \(K3\) surface to the Fermat quartic
cites work: Q4152652
cites work: Finiteness results for algebraic K3 surfaces
cites work: The maximum number of lines lying on a \(K3\) quartic surface
DOI: 10.4171/RMI/1051
Recommended article: The moduli of singular curves on \(K3\) surfaces
Recommended article: Q2997778
Recommended article: Q3708118
Recommended article: On the geometry of a smooth model of a fibre product of families of K3 surfaces
Recommended article: The field of moduli of singular \(K3\) surfaces
Recommended article: Non-trivial smooth families of \(K3\) surfaces
Recommended article: K3 surfaces and their moduli
Recommended article: On the singular K-3 surfaces with hypersurface singularities
Recommended article: Smooth Curves on Projective $K3$ Surfaces
Recommended article: Q4336993
description: scientific article