Tate's conjecture for \(K3\) surfaces of finite height (Q1074673)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tate's conjecture for \(K3\) surfaces of finite height |
scientific article |
Statements
Tate's conjecture for \(K3\) surfaces of finite height (English)
0 references
1985
0 references
Let \(X/\mathbb{F}_q\) be a \(K3\) surface over a finite field \(\mathbb{F}_q\), \(q=p^d\) and \(h\) be the height of the formal Brauer group \(^{\wedge} X\). It is proved that Tate's conjecture on algebraic cycles and order of pole of zeta function is true for \(X\) provided that \(h<\infty\) and \(p\geq 5\). The result is deduced from the theorem that if \(V\) is a finite extension of \(W_q\), \(Y/V\) is a quasicanonical lifting of \(X\) then \(X\) satisfies the Tate conjecture. When \(p\geq 13\) the quasicanonical lifting is constructed by standard crystalline deformation theory. For \(p=5,7,11\), this depends on a comparison of the deformations of \(K3\) surfaces, Dieudonné modules of the dual of the enlarged formal Brauer groups and of abstract \(K3\) crystals. The paper contains the theory of quasi-canonical varieties over \(p\)-adic fields and of equicharacteristic deformations of abstract \(F\)-crystals.
0 references
K3 surface over a finite field
0 references
Tate's conjecture on algebraic cycles
0 references
order of pole of zeta function
0 references
crystalline deformation theory
0 references
quasi-canonical varieties over p-adic fields
0 references
equicharacteristic deformations of abstract F-crystals
0 references