Mathematics – K-Theory and Homology
Scientific paper
2010-12-16
Mathematics
K-Theory and Homology
LaTeX 2e, 33 pages; v.3: title changed, smoothness assumption removed in most contexts, sections 7-11 added, an embedding of t
Scientific paper
We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X. Among the objects of F_X^m, in addition to the Tate motives Z/m(j), there are the cohomological relative motives with compact support M_cc^m(Y/X) of varieties Y quasi-finite over X. Exact functors of inverse image with respect to morphisms of algebraic varieties and direct image with compact supports with respect to quasi-finite morphisms of varieties Y\to X act on the exact categories F_X^m. Assuming the existence of triangulated categories of motivic sheaves DM(X,Z/m) over algebraic varities X over K and a weak version of the "six operations" in these categories, we identify F_X^m with the exact subcategory in DM(X,Z/m) consisting of all the iterated extensions of the Tate twists M_cc^m(Y/X)(j) of the motives M_cc^m(Y/X). An isomorphism of the Z/m-modules Ext between the Tate motives Z/m(j) in the exact category F_X^m with the motivic cohomology modules predicted by the Beilinson-Lichtenbaum etale descent conjecture (recently proven by Voevodsky, Rost, et al.) holds for smooth varieties X over K if and only if the similar isomorphism holds for Artin-Tate motives over fields containing K. When K contains a primitive m-root of unity, the latter condition is equivalent to a certain Koszulity hypothesis, as it was shown in our previous paper arXiv:1006.4343
No associations
LandOfFree
Artin-Tate motivic sheaves with finite coefficients over an algebraic variety does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Artin-Tate motivic sheaves with finite coefficients over an algebraic variety, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Artin-Tate motivic sheaves with finite coefficients over an algebraic variety will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-637368