Supersingular K3 surfaces for large primes. With an Appendix by Andrew Snowden.

DOI10.1215/00127094-2804783zbMATH Open1308.14043arXiv1203.2889OpenAlexW1976365383MaRDI QIDQ465458FDOQ465458

Authors: Davesh Maulik 

Publication date: 31 October 2014

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Abstract: Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3 surfaces over finite fields with p geq 5. We prove Artin's conjecture under the additional assumption that X has a polarization of degree 2d with p > 2d+4. Assuming semistable reduction for surfaces in characteristic p, we can improve the main result to K3 surfaces which admit a polarization of degree prime-to-p when p geq 5. The argument uses Borcherds' construction of automorphic forms on O(2,n) to construct ample divisors on the moduli space. We also establish finite-characteristic versions of the positivity of the Hodge bundle and the Kulikov-Pinkham-Persson classification of K3 degenerations. In the appendix by A. Snowden, a compatibility statement is proven between Clifford constructions and integral p-adic comparison functors.

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

Recommendations

• The Tate conjecture for \(K3\) surfaces over finite fields
• Elliptic \(K3\) surfaces with \(p^{n}\)-torsion sections
• A note on the supersingular \(K3\) surface of Artin invariant 1
• Finiteness of \(K3\) surfaces and the Tate conjecture
• Supersingular \(K3\) surfaces are unirational

zbMATH Keywords

\(K3\) surfacesBorcherds productsTate conjecturesemistable reductionKuga-Satake varietiessupersingular varieties

Mathematics Subject Classification ID

(K3) surfaces and Enriques surfaces (14J28) Finite ground fields in algebraic geometry (14G15)

Cites Work

• Projective Models of K - 3 Surfaces
• Title not available (Why is that?)
• Compactification of arithmetic quotients of bounded symmetric domains
• Moduli of \(K3\) surfaces and complex ball quotients
• F-isocrystals and de Rham cohomology. II: Convergent isocrystals
• Automorphic forms with singularities on Grassmannians
• La conjecture de Weil pour les surfaces K3
• Extending families of curves over log regular schemes
• Hodge theory and complex algebraic geometry. II. Transl. from the French by Leila Schneps
• On Isolated Rational Singularities of Surfaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Gross-Kohnen-Zagier theorem in higher dimensions
• Families of K3 surfaces
• Modular Forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparison isomorphisms for smooth formal schemes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Shafarevich-Tate conjecture for pencils of elliptic curves on K3 surfaces
• On the Shafarevich and Tate conjectures for hyperkähler varieties
• Some metric properties of arithmetic quotients o f symmetric spaces and an extension theorem
• Kuga-Satake abelian varieties of \(K3\) surfaces in mixed characteristic
• The Tate conjecture for \(K3\) surfaces over finite fields
• Supersingular $K3$ surfaces
• On lattices in semi-stable representations: a proof of a conjecture of Breuil
• Torsion p-adic Galois representations and a conjecture of Fontaine
• Crystalline representations and F-crystals
• Tate's conjecture for \(K3\) surfaces of finite height
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Local families of K3 surfaces and applications
• Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic
• A note on the Bloch-Beilinson conjecture for \(K3\) surfaces and spherical objects
• Algebraic construction of Brieskorn's resolutions
• Formal groups arising from algebraic varieties
• Log smooth extension of a family of curves and semi-stable reduction
• The geometric and numerical properties of duality in projective algebraic geometry
• On uniqueness of \(p\)-adic period morphisms
• Integral canonical models of Shimura varieties
• Degeneration of surfaces with trivial canonical bundle
• The \(d\)-very ampleness on a projective surface in positive characteristic
• The rationality of vector valued modular forms associated with the Weil representation
• On a stratification of the moduli of \(K3\) surfaces
• Semistable degenerations and period spaces for polarized \(K3\) surfaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• THE INFLUENCE OF HEIGHT ON DEGENERATIONS OF ALGEBRAIC SURFACES OF TYPE K3
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (45)

• Minimal model program for semi-stable threefolds in mixed characteristic
• Tautological classes on moduli spaces of hyper-Kähler manifolds
• Derived equivalences of twisted supersingular \(K3\) surfaces
• Deformations of rational curves in positive characteristic
• Supersingular \(K3\) surfaces are unirational
• \(p\)-adic Tate conjectures and abeloid varieties
• Finiteness of Brauer groups of \(K 3\) surfaces in characteristic 2
• \(\mathbb{Q}_\ell\)- versus \(\mathbb{F}_\ell\)-coefficients in the Grothendieck-Serre/Tate conjectures
• Arithmetic of K3 Surfaces
• A Stronger Derived Torelli Theorem for K3 Surfaces
• Homotopic and geometric Galois theory. Abstracts from the workshop held March 7--13, 2021 (online meeting)
• Lectures on supersingular \(K3\) surfaces and the crystalline Torelli theorem
• 2-adic integral canonical models
• On the equidistribution of some Hodge loci
• Good reduction of \(K3\) surfaces in equicharacteristic \(p\)
• Cycle classes on the moduli of \(K3\) surfaces in positive characteristic
• Birational boundedness for holomorphic symplectic varieties, Zarhin's trick for \(K3\) surfaces, and the Tate conjecture
• Supersingular \(K3\) surfaces in odd characteristic and sextic double planes
• On the relative minimal model program for fourfolds in positive and mixed characteristic
• Positivity of Hodge bundles of abelian varieties over some function fields
• A variety that cannot be dominated by one that lifts
• Existence of supersingular reduction for families of \(K3\) surfaces with large Picard number in positive characteristic
• Degeneration of Kummer surfaces
• Erratum to: ``The Tate conjecture for \(K3\) surfaces over finite fields
• CM liftings of \(K3\) surfaces over finite fields and their applications to the Tate conjecture
• Recent trends in algebraic geometry. Abstracts from the workshop held June 18--23, 2023
• A Kulikov-type classification theorem for a one parameter family of \(K3\)-surfaces over a \(p\)-adic field and a good reduction criterion
• The Noether-Lefschetz conjecture and generalizations
• Families of K3 surfaces and Lyapunov exponents
• Integral canonical models for automorphic vector bundles of abelian type
• Recent progress on the Tate conjecture
• Good reduction of K3 surfaces
• The Tate conjecture for \(K3\) surfaces over finite fields
• Integral canonical models for Spin Shimura varieties
• On the supersingular reduction of \(K3\) surfaces with complex multiplication
• The Tate conjecture for \(K3\) surfaces in odd characteristic
• On the Brauer groups of fibrations
• On irreducible symplectic varieties of \(\operatorname{K3}^{[n]}\)-type in positive characteristic
• Finiteness of polarized \(K3\) surfaces and hyperkähler manifolds
• Unconditional construction of \(K3\) surfaces over finite fields with given \(L\)-function in large characteristic
• Title not available (Why is that?)
• Computing Néron-Severi groups and cycle class groups
• Good reduction criterion for \(K3\) surfaces
• Counting twisted sheaves and S-duality
• Reductions of abelian surfaces over global function fields

This page was built for publication: Supersingular \(K3\) surfaces for large primes. With an Appendix by Andrew Snowden.

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