Special lifts of ordinary \(K3\) surfaces and applications
type: Item
instance of: scholarly article
title: Special lifts of ordinary \(K3\) surfaces and applications
zbMATH Open document ID: 1252.14008
author: Jeng-Daw Yu
published in: Pure and Applied Mathematics Quarterly
publication date: 2012-10-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0611481
review text: Let \(X\) be an ordinary \(K3\) surface over a finite field \(k\). The deformation functor of \(X\) admits a natural group structure. Using this group structure, the deformation of \(X\) over an arbitrary local ring corresponding to the identity element (resp. torsion elements) can be defined, and is called the canonical (resp. quasi-canonical) lift of \(X\). In this paper, the cohomological properties of these canonical and quasi-canonical lifts of \(X\) to a complete discrete valuation ring of characteristic zero are investigated. The results are formulated as follows: these lifts are characterized by the existence of a (lifted) Frobenius acting on the Betti cohomology of the lifts. For a perfect field \(k\) of characteristic \(p>0\) with countably many elements, \(W=W(k)\) denote the ring of Witt vectors of \(k\) and \(K\) the field of quotients, \(\bar{K}\) an algebraic closure of \(K\) with a fixed embedding \(\bar{K}\subset{\mathbb{C}}\). Theorem 1. Let \(\mathcal{X}\) be a formal lift of an ordinary \(K3\) surface over a finite field \(k\) to a complete discrete valuation \(W\)-algebra \(R\) with \([R:W]<\infty\). Then \(\mathcal{X}\) is quasi-canonical if and only if \(\mathcal{X}\) is projective and a power of the Frobenius morphism on \(X\) is liftable to \(H^2({\mathcal{X}}({\mathbb{C}}),{\mathbb{Q}})\). Let \(Z\) be a complex \(K3\) surface and let \(NS(Z)^{\perp}\) be the orthogonal complement of the Néron-Severi group \(NS(Z)\) in \(H^2(Z,{\mathbb{Z}}(1))\) with respect to the cup product pairing. Then \(NS(Z)^{\perp}\) is a sub-integral Hodge structure of \(H^2(Z,{\mathbb{Z}}(1))\). Let \({\mathbf{M}}(Z)=NS(Z)^{\perp}\otimes{\mathbb{Q}}\), and let \({\mathbf{Hdg}}_Z\) be the Hodge group associated to \(Z\) and \({\mathbf{E}}=\text{End}_{\mathbf{Hdg}_Z}{\mathbf{M}}(Z)\). The next result is the determination of the Hodge group of \(X\) and the endomorphism ring of \({\mathbf{M}}(Z)\). Theorem 2. Assume that \(k={\mathbb{F}}_q\), and let \(X\) be an ordi…
reviewed by: Noriko Yui
Mathematics Subject Classification ID: 14C25
Mathematics Subject Classification ID: 14J28
zbMATH DE Number: 6095689
zbMATH Keywords: ordinary \(K3\) surface
zbMATH Keywords: canonical and quasi-canonical lifting
zbMATH Keywords: Hodge conjecture
zbMATH Keywords: self product of a \(K3\) surface
MaRDI profile type: MaRDI publication profile
arXiv ID: math/0611481
DOI: 10.4310/PAMQ.2012.V8.N3.A11
Recommended article: ON SPECIAL ALGEBRAIC K3 SURFACES. I
Recommended article: Q3081788
Recommended article: Lifts of Twisted K3 Surfaces to Characteristic 0
Recommended article: \(K3\)-surfaces with special symmetry
Recommended article: Néron-Severi group preserving lifting of \(K3\) surfaces and applications
Recommended article: CM liftings of surfaces over finite fields and their applications to the Tate conjecture
Recommended article: A Lifting of an Automorphism of a K3 Surface over Odd Characteristic
Recommended article: The Geometry and Moduli of K3 Surfaces
Recommended article: Special divisors on curves on a K3 surface
Recommended article: K3 surfaces and their moduli
description: scientific article