Remarks on Grothendieck's standard conjectures
type: Item
instance of: scholarly article
zbMATH Open document ID: 1268.14007
author: A. Beilison
published in: Contemporary Mathematics
publication date: 2012-09-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1006.1116
Mathematics Subject Classification ID: 14C15
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 14F43
zbMATH DE Number: 6077554
zbMATH Keywords: motives
zbMATH Keywords: standard conjectures
zbMATH Keywords: Suslin conjecture
MaRDI profile type: Publication
OpenAlex ID: W1542242754
arXiv ID: 1006.1116
DOI: 10.1090/CONM/571/11319
title: Remarks on Grothendieck's standard conjectures
review text: The author shows that Grothendieck's standard conjectures over a field of characteristic zero follow from either of two other motivic conjectures.NEWLINENEWLINEThe first conjecture is the one on the existence of a motivic \(t\)-structure. Let \(k\) be any field, and \(DM_k\) be the triangulated category of geometric motives with \({\mathbb Q}\)-coefficients over \(k\). It is an idempotently complete triangulated rigid tensor \({\mathbb Q}\)-category. Denote by \(\mathrm{Vec}_{{\mathbb Q}}\) and \(\mathrm{Vec}_{{\mathbb Q}_{\ell}}\) the categories of finite-dimensional \({\mathbb Q}\)- and \({\mathbb Q}_{\ell}\)-vector spaces, respectively. For \(\ell\) a prime different from the characteristic of \(k\), there is the \(\ell\)-adic realization functor \(r_{\ell}: DM_k \to D^b(\mathrm{Vec}_{{\mathbb Q}_{\ell}})\). For \(k\) of characteristic zero, each embedding \(\iota:k \hookrightarrow {\mathbb C}\) yields the Betti realization functor \(r_{\iota}:DM_k \to D^b(\mathrm{Vec}_{\mathbb Q})\). Let \(r\) be either of these realization functors. For a \(t\)-structure \(\mu\) on \(DM_k\), let \(\mathcal{M}_k\) be its heart and \(^{\mu}H: DM_k \to \mathcal{M}_k\) be the cohomology functor. The \(t\)-structure \(\mu\) is called \textit{motivic} if it is non-degenerate and compatible with \(\otimes\) and \(r\). It is a conjecture that a motivic \(t\)-structure exists. The author shows that the existence of a motivic \(\mu\) would imply the Lefschetz and Künneth type standard conjectures.NEWLINENEWLINEThe second conjecture is a weak version of Suslin's homology conjecture. For a smooth projective complex variety \(X\), let \(C_r(X)\) be the topological monoid of effective \(r\)-cycles on \(X\) and \(C_r(X)^+\) be its group completion. The Lawson homology groups of \(X\) are defined as \(L_rH_{2r+i}(X, {\mathbb Z}):=\pi_i(C_r(X)^+)\).NEWLINENEWLINEIn connection with results of \textit{E. M. Friedlander} [Ann. Sci. ENS 28, No. 3, 317--343 (1995; Zbl 0854.14006)], the author proves…
reviewed by: Gereon Quick
description: scientific article; zbMATH DE number 6077554