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

From MaRDI portal
Revision as of 22:46, 20 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q782948)
scientific article
Language Label Description Also known as
English
Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields
scientific article

    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

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references