Syntomic cohomology and Beilinson's Tate conjecture for \(K_{2}\)
type: Item
instance of: scholarly article
zbMATH Open document ID: 1321.14014
DOI: 10.1090/S1056-3911-2012-00591-8
author: Masanori Asakura
author: Kanetomo Sato
published in: Journal of Algebraic Geometry
publication date: 2013-07-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/0904.3672
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 19D55
Mathematics Subject Classification ID: 14J27
Mathematics Subject Classification ID: 19C99
Mathematics Subject Classification ID: 14C15
Mathematics Subject Classification ID: 14F20
Mathematics Subject Classification ID: 14G20
zbMATH DE Number: 6192603
MaRDI profile type: MaRDI publication profile
Wikidata QID: Q123238762
arXiv ID: 0904.3672
cites work: The Shafarevich-Tate conjecture for pencils of elliptic curves on K3 surfaces
cites work: Surjectivity of \(p\)-adic regulators on \(K_2\) of Tate curves
cites work: Surfaces over a \(p\)-adic field with infinite torsion in the Chow group of 0-cycles
cites work: Q3070948
cites work: \(p\)-adic étale cohomology
cites work: Q3972724
cites work: Q4539740
cites work: \(K_2\)-cohomology and the second Chow group
cites work: Q1177898
cites work: Torsion dans le groupe de Chow de codimension deux
cites work: La conjecture de Weil. I
cites work: A finiteness theorem for the symmetric square of an elliptic curve
cites work: Q3769025
cites work: Algebraic De Rham cohomology
cites work: Mixed motives and algebraic K-theory. (Almost unchanged version of the author's habilitation at Univ. Regensburg 1988)
cites work: A Hasse principle for two dimensional global fields.
cites work: Logarithmic structures of Fontaine-Illusie. II
cites work: The explicit reciprocity law and the cohomology of Fontaine-Messing
cites work: A note on p-adic étale cohomology
cites work: Selmer groups and torsion zero cycles on the selfproduct of a semistable elliptic curve
cites work: 0-cycles on the elliptic modular surface of level 4
cites work: Torsion zero-cycles on the self-product of a modular elliptic curve
cites work: Cycles in a product of elliptic curves, and a group analogous to the class group
cites work: On the image of \(p\)-adic regulators
cites work: Algebraic cycles on products of elliptic curves over \(p\)-adic fields
cites work: On the cycle map for torsion algebraic cycles of codimension two
cites work: A \(p\)-adic regulator map and finiteness results for arithmetic schemes
cites work: A finiteness theorem for zero-cycles over \(p\)-adic fields
cites work: Cycle classes for \(p\)-adic étale Tate twists and the image of \(p\)-adic regulators
cites work: Q4297082
cites work: Integral elements of K-theory and products of modular curves II
cites work: Q4317891
cites work: On indecomposable elements of \(K_1\) of a product of elliptic curves
cites work: Algebraic \(K\)-theory.
cites work: The Picard numbers of elliptic surfaces with many symmetries
cites work: Relations between \(K_2\) and Galois cohomology
cites work: \(p\)-adic étale cohomology and crystalline cohomology in the semi-stable reduction case
cites work: On \(p\)-adic nearby cycles of log smooth families
OpenAlex ID: W2963779955
title: Syntomic cohomology and Beilinson's Tate conjecture for \(K_{2}\)
review text: The paper under review provides new geometric examples where one can prove deep conjectures about \(K\)-theory and regulators of arithmetic schemes. The main result (denoted (1) below) is the proof of new cases of Belinsons's generalization of the Tate conjecture to higher \(K\)-theory (or higher Chow groups). Recall that Jannsen found counter-examples to the original formulation [\textit{U. Jannsen}, Mixed motives and algebraic \(K\)-theory. (Almost unchanged version of the author's habilitation at Univ. Regensburg 1988). Berlin etc.: Springer-Verlag (1990; Zbl 0691.14001)].NEWLINENEWLINEThe geometric situation studied in the paper is the following. Let \(k\) be a base field, and consider a map \(\pi : X \to C\) over \(k\), from a smooth projective surface to a smooth projective curve, whose generic fiber is an elliptic curve. Let \(U\) be an open subscheme of \(X\) whose complement is a union of fibers of \(\pi\) (those of ``multiplicative typ'').NEWLINENEWLINEA motivating example is given by the universal family of elliptic curves \(U\) over a modular curve, and its canonical compactification \(X\). Regulators in this case were extensively studied by \textit{A. A. Beilinson} [Contemp. Math. 55, 1--34 (1986; Zbl 0609.14006)]. In several points the present paper can be seen as a generalization of Beilinson's work, although the techniques in the proofs are different (the use of \(p\)-adic Hodge theory here is essential).NEWLINENEWLINEThe authors construct new examples where the following can be proved :NEWLINENEWLINE(1) (\(k\) a number field) The étale Chern class map NEWLINE\[NEWLINEc_{\mathrm{\'et}} : K_2 (U ) \otimes \mathbb Q_p \to H^2_{\mathrm{\'et}} (U_{\overline{k}} , \mathbb Q_p (2))^{\mathrm{Gal}(\overline{k}/k)}NEWLINE\]NEWLINE is surjective (Section 6.1).NEWLINENEWLINE(2) (\(k\) a \(p\)-adic local field) The \(p\)-adic regulator NEWLINE\[NEWLINE \rho : K_1 (X)^{(2)} \otimes \mathbb Q_p \to H^!_g (k, H^1_{\mathrm{\'et}} (X_{\overline{k}} , \mathbb Q_p (2))…
reviewed by: Giuseppe Ancona
description: scientific article; zbMATH DE number 6192603