[Paper Review] On normal K3 surfaces

Ichiro Shimada|ArXiv.org|Jul 19, 2006

Algebraic Geometry and Number Theory14 references4 citations

TL;DR

This paper classifies all possible configurations of rational double points on complex and supersingular K3 surfaces in positive characteristic, using lattice-theoretic embeddings into specific lattices. The key result establishes precise conditions—based on Artin invariant, discriminant, and quadratic reciprocity—for when a given root lattice can be primitively embedded into the Picard lattice of a supersingular K3 surface.

ABSTRACT

We determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.

Motivation & Objective

• To determine all possible configurations of rational double points on complex normal K3 surfaces and supersingular K3 surfaces in characteristic p > 19.
• To understand the geometric constraints on singular K3 surfaces arising from their resolution into smooth K3 surfaces.
• To establish a criterion for the existence of primitive embeddings of root lattices into the Picard lattices of supersingular K3 surfaces.
• To link the Artin invariant and discriminant of the Picard lattice to arithmetic conditions involving quadratic reciprocity.

Proposed method

• Uses the theory of even unimodular lattices, particularly Λ₀ for complex K3 surfaces and Λₚ,σ for supersingular K3 surfaces in characteristic p.
• Applies the concept of primitive closure of sublattices within a given lattice to analyze embedding conditions.
• Introduces the arithmetic condition Arth(p, σ, d) involving the Legendre symbol to determine embedding feasibility.
• Employs Nikulin's theory of lattices and discriminant groups to relate the structure of root lattices to their overlying lattices.
• Uses binary codes over 𝔽₂ to analyze the structure of overlattices of root lattices like 16A₁, particularly in the context of Kummer surfaces.
• Applies reduction theory to show that singular K3 surfaces defined over number fields reduce to supersingular K3 surfaces of Artin invariant 1 under certain conditions.

Experimental results

Research questions

• RQ1 Which Dynkin types of rational double points can occur on normal K3 surfaces?
• RQ2 Under what conditions can a root lattice R be primitively embedded into the Picard lattice of a supersingular K3 surface in characteristic p?
• RQ3 What is the relationship between the Artin invariant σ, the discriminant d of the root lattice, and the existence of such embeddings?
• RQ4 How does the reduction of a singular K3 surface modulo a prime p relate to its Artin invariant and discriminant?
• RQ5 Can the existence of a double cover of a K3 surface with 16 disjoint (−2)-curves be characterized geometrically and lattice-theoretically?

Key findings

• For a root lattice M of signature (t₊, t₋) with t₊ ≤ 1 and t₋ ≤ 19, primitive embedding into Λₚ,σ exists if and only if the conditions in Theorem 1.1 are satisfied, depending on the relation between 2σ and 22 − rank(M).
• When 2σ = 22 − rank(M), the embedding exists precisely when both the embedding into Λ₀ and the arithmetic condition Arth(p, σ, d_M) hold.
• In the case of 16A₁ singularities, the existence of a weight-16 word in the associated binary code implies the existence of a double cover of the K3 surface, leading to a Kummer surface structure.
• For a singular K3 surface X defined over a number field, if its reduction modulo p is supersingular, then the Artin invariant of the reduction is 1 and the Legendre symbol (−disc(T_X)/p) = −1.
• The set of primes p for which Arth(p, σ, d) holds has natural density 1/2 when (−1)^(σ+1)d is not a square.
• The unique extremal code of length 16 over 𝔽₂ with minimal weight 4 and isotropic property corresponds to the 16A₁ configuration and is related to the Kummer construction.