1-motivic sheaves and the Albanese functor
type: Item
instance of: scholarly article
title: 1-motivic sheaves and the Albanese functor
zbMATH Open document ID: 1163.14003
author: Joseph Ayoub
author: Luca Barbieri-Viale
published in: Journal of Pure and Applied Algebra
publication date: 2009-03-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0607738
review text: Let \(k\) be a perfect field, \(\tau\) a Grothendieck topology on the category of smooth \(k\)-schemes, \(Shv^{\tau}_{tr}(k)\) -- the category of \(\tau\)-sheaves with transfers on \(Sm/k.\) Let further \(DM_{eff}^{\tau}(k)\) be the full subcategory of the derived category \(D(Shv^{\tau}_{tr}(k))\) with objects the \({\mathbb A}^{1}\)-local complexes [cf. \textit{V. Voevodsky}, Triangulated categories of motives over a field. Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009); \textit{C. Mazza, V. Voevodsky, C. Weibel}, Lecture notes on motivic cohomology. Clay Mathematics Monographs 2. (Providence), RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute. (2006; Zbl 1115.14010)]. To a smooth \(k\)-scheme \(X\) one can associate the representable sheaf \({\mathbb Z}_{tr}(X)\) and the homological motive \(M(X)\in DM_{eff}^{\tau}(k)\) -the \({\mathbb A}^{1}\)-localization of \({\mathbb Z}_{tr}(X).\) The smallest triangulated subcategory of \(DM_{eff}^{\tau}(k)\) that contains \(M(X)\) for \(X\in Sm/k\) and stable with respect to direct summands is called the category of geometric motives, and it is denoted \(DM_{eff,\, gm}^{\tau}(k).\) Under some assumptions, the canonical \(t\)-structure on \(D(Shv^{\tau}_{tr}(k))\) can be restricted to \(DM_{eff}^{\tau}(k)\) whose heart is the abelian category \(HI_{tr}^{\tau}(k)\subset Shv^{\tau}_{tr}(k)\) of the homotopy invariant \(\tau\)-sheaves with transfers. Denote by \(DM_{\leq n}^{\tau}(k)\subset DM_{eff}^{\tau}(k)\) the category of \(n\)-motivic complexes defined as the triangulated subcategory generated by \(M(X)\) for \(X\) of dimension \(\leq n\) and closed with respect to taking direct sums. Similar definitions can be adopted for appropriate subcategories. The authors define functors \(L{\pi}_{0}: DM_{eff}^{\tau}(k)\rightarrow D(HI_{\leq 0}(k))\) and \(LAlb :DM_{eff}^{\tau}(k)\rightarrow D(HI_{\leq…
reviewed by: Piotr Krasoń
Mathematics Subject Classification ID: 14C15
Mathematics Subject Classification ID: 14C22
Mathematics Subject Classification ID: 14C25
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 14K30
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 18G10
zbMATH DE Number: 5527502
zbMATH Keywords: motive
zbMATH Keywords: Grothendieck topology
zbMATH Keywords: derived category
zbMATH Keywords: smooth \(k\)-scheme
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2089260550
arXiv ID: math/0607738
cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
cites work: Q3509856
cites work: On the derived category of 1-motives
cites work: Gersten's conjecture and the homology of schemes
cites work: Sheafifiable homotopy model categories
cites work: Q4357476
cites work: Q4790109
cites work: Q5485722
cites work: \(\mathbb{A}^1\)-homotopy theory of schemes
cites work: Q5735632
cites work: On the Albanese map for smooth quasi-projective varieties
cites work: Simplicial homotopy theory
cites work: Duality of Albanese and Picard 1-motives
cites work: Q4513078
cites work: Q4513080
cites work: Q3593817
cites work: Q4863380
DOI: 10.1016/J.JPAA.2008.10.002
description: scientific article