Good reduction criterion for K3 surfaces

DOI10.1007/S00209-014-1365-8MaRDI QIDQ2512964zbMATH OpenOpenAlexFDO

Authors Yuya Matsumoto

Publication date 2 February 2015

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.1261

zbMATH Keywords

\(K3\) surfacescomplex multiplicationGalois representationsgood reductionperiod map

Mathematics Subject Classification ID

Varieties over finite and local fields (11G25) Local ground fields in algebraic geometry (14G20) (K3) surfaces and Enriques surfaces (14J28)

Abstract: We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We also prove a $p$-adic version of the criterion. (These are analogues of the criteria for good reduction of abelian varieties.) The model of the surface will be in general not a scheme but an algebraic space. As a corollary of the criterion we obtain the surjectivity of the period map of K3 surfaces in positive characteristic.

Review text

Let \(K\) be a complete discrete valuation field with perfect residue field of characteristic \(p\). The paper under review proves a Néron--Ogg--Shafarevich type criterion for good reduction of \(K3\) surfaces. More precisely, the main result is formulated in the following: { Theorem}. Let \(X\) be a \(K3\) surface over \(K\) which admits an ample line bundle \(L\) satisfying \(p>L^2+4\). Assume that one of the following conditions holds: (a) For some prime \(\ell\neq p\), \(H^2_{\text{ét}}(X_{\bar K},{\mathbb{Q}}_{\ell})\) is unramified. (b) \((K\) is of characteristic \(0\) and) \(H^2_{\text{ét}}(X_{\bar K},{\mathbb{Q}}_p)\) is crystalline. Then \(X\) has potential good reduction with an algebraic space model, that is, for some finite extension \(K~{'}/K\), there exists an algebraic space smooth proper over \({\mathcal{O}}_K\) with generic fiber isomorphic to \(X_K\). The model of the surface is not in general a scheme but an algebraic space. There are two applications of the main result. The first is the surjectivity of the period map of \(K3\) surfaces in positive characteristic. The second application is that \(K3\) surfaces having semistable multiplication have potential good reduction. The main theorem is proved using a method of \textit{D. Maulik} [``Supersingular \(K3\) surfaces for large primes, preprint, \url{arXiv:1203.2889v2}] studying reduction of \(K3\) surfaces, and comparison theorems for semistable algebraic spaces.

Recommendations

• Good reduction criterion for K3 surfaces: an announcement
• A Néron-Ogg-Shafarevich criterion for \(K3\) surfaces
• Good reduction of K3 surfaces
• On good reduction of some K3 surfaces related to abelian surfaces
• A monodromy criterion for the good reduction of \(K3\) surfaces

Cites work

• \(K3\) surfaces with Picard number one and infinitely many rational points
• \(p\)-divisible groups, finite groups and filtered modules
• A \(p\)-adic nonabelian criterion for good reduction of curves
• A note on ramification of the Galois representation on the fundamental group of an algebraic curve. II
• Algebraic construction of Brieskorn's resolutions
• Algebraic spaces
• Degeneration of l -adic weight spectral sequences
• Elliptic Curves and Wild Ramification
• Good reduction of abelian varieties
• Hodge groups of K3 surfaces.
• scientific article; zbMATH DE number 5350468 (Why is no real title available?)
• scientific article; zbMATH DE number 5518937 (Why is no real title available?)
• scientific article; zbMATH DE number 4089697 (Why is no real title available?)
• scientific article; zbMATH DE number 3702833 (Why is no real title available?)
• scientific article; zbMATH DE number 3505147 (Why is no real title available?)
• scientific article; zbMATH DE number 3572328 (Why is no real title available?)
• scientific article; zbMATH DE number 1339289 (Why is no real title available?)
• scientific article; zbMATH DE number 732151 (Why is no real title available?)
• scientific article; zbMATH DE number 1160672 (Why is no real title available?)
• scientific article; zbMATH DE number 1426666 (Why is no real title available?)
• scientific article; zbMATH DE number 5056057 (Why is no real title available?)
• scientific article; zbMATH DE number 3348306 (Why is no real title available?)
• Integral canonical models for Spin Shimura varieties
• Kuga-Satake abelian varieties of K3 surfaces in mixed characteristic
• Log smooth extension of a family of curves and semi-stable reduction
• Modules de Hodge polarisables. (Polarisable Hodge modules)
• Modèles minimaux des variétés abéliennes sur les corps locaux et globaux
• On good reduction of some K3 surfaces related to abelian surfaces
• On the computation of the Picard group for K3 surfaces
• On the Valuations Centered in a Local Domain
• Perverse \(t\)-structure on Artin stacks
• Projective Models of K - 3 Surfaces
• Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic
• Signs in weight spectral sequences, monodromy-weight conjectures, log Hodge symmetry and degeneration of surfaces
• Spectral sequence of weights in Hyodo-Kato cohomology
• Supersingular \(K3\) surfaces for large primes. With an Appendix by Andrew Snowden.
• The Frobenius and monodromy operators for curves and abelian varieties
• The six operations for sheaves on Artin stacks. I: Finite coefficients
• The six operations for sheaves on Artin stacks. II: Adic coefficients
• The Tate conjecture for \(K3\) surfaces in odd characteristic
• Two Fundamental Theorems on Deformations of Polarized Varieties
• WEIGHT SPECTRAL SEQUENCES AND INDEPENDENCE OF \ell
• Éléments de géométrie algébrique. III: Étude cohomologique des faisceaux cohérents. (Séconde partie). Rédigé avec la colloboration de J. Dieudonné
• Über die lokale Zetafunktion von Shimuravarietaeten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik

Cited in

(23)

• Logarithmic good reduction of abelian varieties
• Néron models
• Ordinary K3 surfaces over a finite field
• On the Shafarevich conjecture for Enriques surfaces
• A monodromy criterion for the good reduction of \(K3\) surfaces
• On a cohomological generalization of the Shafarevich conjecture for \(K3\) surfaces
• On derived equivalences of K3 surfaces in positive characteristic
• A Kulikov-type classification theorem for a one parameter family of \(K3\)-surfaces over a \(p\)-adic field and a good reduction criterion
• On good reduction of some K3 surfaces related to abelian surfaces
• Unconditional construction of \(K3\) surfaces over finite fields with given \(L\)-function in large characteristic
• Good reduction criterion for K3 surfaces: an announcement
• On good reduction of some K3 surfaces (announcement)
• Degeneration of Kummer surfaces
• Good reduction of K3 surfaces in equicharacteristic p
• A Néron-Ogg-Shafarevich criterion for \(K3\) surfaces
• Good reduction of K3 surfaces
• Twisted derived equivalences and isogenies between \(K3\) surfaces in positive characteristic
• Degeneration of K3 surfaces with non-symplectic automorphisms
• Minimal model program for semi-stable threefolds in mixed characteristic
• Beauville-Laszlo gluing of algebraic spaces
• Relative representability and parahoric level structures
• Counterexample to the Néron-Ogg-Shafarevich criterion for Calabi-Yau threefolds
• Stone duality and profinite spaces: an introduction from an arithmetic perspective

This page was built for publication: Good reduction criterion for \(K3\) surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2512964)