Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields (Q612973): Difference between revisions

\textit{V. Voevodsky} [in: Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)] has shown that the \(E_2\) terms of the coniveau spectral sequence for any cohomological theory \(H\) represented by a motivic complex \(C\), he an object in the triangulated category \(DM^{\text{eff}}_-\), can be calculated in terms of the cohomology of \(C\). This result implies that the \(H\)-cohomology of a smooth connected semi-local scheme injects into the cohomology of its generic point. The main goal of this paper is to prove that coniveau spectral sequences are motivically functorial for all cohomology theories that can be factorized through motives. The author constructs functorial coniveau spectral sequences, converging to cohomology of arbitrary motives, and gives a description of these sequences, starting from \(E_2\), similar to the case of the cohomology of smooth varieties. As a consequence the above injectivity result is clarified. In the case of a countable base field \(k\), the cohomology of a smooth connected semi-local scheme is actually a direct summand of the cohomology of its generic point. Moreover the cohomology of a residue field of a function field \(K/k\), for any geometric valuation of \(K\), is a direct summand of the cohomology of \(K\). The author uses the formalism of weight structures for general triangulated categories, the construction of a certain Gersten structure for a triangulated category of comotives that contains Voevodsky's category \(DM^{\text{eff}}_{\text{gm}}\), as well as the comotives of function fields. If a cohomological functor is represented by an object \(Y\) in \(DM^{\text{eff}}_-\) then the corresponding coniveau spectral sequence can be expressed in terms of the homotopy \(t\)-truncations of \(Y\), a result that extends to this situation the spectral sequence computations by Bloch and Ogus.