Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields (Q612973)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5827438
Language Label Description Also known as
default for all languages
No label defined
    English
    Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields
    scientific article; zbMATH DE number 5827438

      Statements

      Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields (English)
      0 references
      16 December 2010
      0 references
      \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.
      0 references
      motives
      0 references
      coniveau
      0 references
      weight structure
      0 references
      t-structure
      0 references
      triangulated category
      0 references
      semi-local scheme
      0 references
      cohomology
      0 references

      Identifiers