Coniveau filtration and mixed motives
type: Item
instance of: scholarly article
title: Coniveau filtration and mixed motives
zbMATH Open document ID: 1284.14028
author: Frédéric Déglise
published in: Contemporary Mathematics
publication date: 2012-09-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1106.0905
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 14C25
zbMATH DE Number: 6077543
MaRDI profile type: Publication
OpenAlex ID: W1535834416
arXiv ID: 1106.0905
DOI: 10.1090/CONM/571/11322
review text: The main purpose of this paper is to extend Quillen's results on the Gersten conjecture for higher \(K\)-theory to the theory of Voevodsky's motives. In [\textit{M. Rost}, Doc. Math., J. DMV 1, 319--393 (1996; Zbl 0864.14002)] a theory of cycle premodules has been defined. For a cycle premodule \(M\) over an algebraic scheme \(k\)-scheme \(X\), with \(k\) a field, one has a canonical morphism NEWLINE\[NEWLINEd^m_{X,M}: \bigoplus_{x\in X^{(n)}} M(k(x))\to \prod_{y\in X^{(n+1)}} M(k(x))NEWLINE\]NEWLINE which can be viewed as a generalization of the divisor class map for Milnor \(K\)-theory NEWLINE\[NEWLINEd^0_X: K^M_* (k(X))\to \bigoplus_{x\in X^{(1)}} K^M_*(k(X)).NEWLINE\]NEWLINE Let \(DM_{gm}(k)\) be the category of geometrical motives of Voevodsky over a field \(k\) and let \({\mathcal A}\) be an abelian category. Let \(H: DM_{gm}(k)^{op}\to{\mathcal A}\) be a cohomological functor sending distinguished triangles into long exact sequences. By previous results of the same author, for any couple \((q,n)\in\mathbb{Z}^2\), there exists a canonical cycle premodule \(\widetilde H^{q,n}\) with coefficients in \({\mathcal A}\). Given a smooth \(k\)-scheme \(X\) and an integer \(n\) there is a coniveau spectral sequence NEWLINE\[NEWLINEE^{p,q}_1(X, n)=\bigoplus_{x\in X^{(p)}}\widetilde H^{q,n}_* (k(X))\Rightarrow H^{p+q, n}_*(X)\tag{1}NEWLINE\]NEWLINE with coefficients in the category of graded objects in \({\mathcal A}\). It converges to the coniveau filtration on the cohomology \(H\). -- The main result of this paper is the followingNEWLINENEWLINE Theorem 1. Let \(H: DM_{gm}(k)^{op}\to{\mathcal A}\) be a cohomological functor and denote by \(d^{p,q}_1\) the differentials in the spectral sequence (1). Then for any couple of integers \((p,q)\in\mathbb{Z}^2\), \(d^{p,q}_1= d^p_{\widetilde H^{q,n}}\).NEWLINENEWLINE This gives back the computation of Quillen, but replacing \(K\)-theory with motivic cohomology. Also, as a corollary of these computations, one gets back the resul…
reviewed by: Claudio Pedrini
description: scientific article; zbMATH DE number 6077543