Simplicial presheaves (Q1092151)

From MaRDI portal
Revision as of 09:54, 18 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Simplicial presheaves
scientific article

    Statements

    Simplicial presheaves (English)
    0 references
    1987
    0 references
    This paper is about closed model structures (in the sense of Quillen) on categories of simplicial presheaves (and sheaves). For the author, this means presheaves in the category of simplicial sets rather than simplicial objects in the category of presheaves; of course the two concepts coincide, but one's point of view on this issue leads to the use of different tools in solving various problems which arise. The paper is well-written and motivated, and to a certain extent self-contained. It is well worth reading. The central issue revolves around the fact that there are two natural closed model structures on the category of contravariant functors from \(\Delta\times\mathfrak C\) to \(\mathfrak{Sets}\). Specifically, focusing upon cofibrations \((= \) monomorphisms) leads to one structure -- called by the author ``global'' -- whereas taking fibrations \((= \) satisfy the Kan condition internally; for presheaves on a topological space this means that all of the maps on the stalks are [ordinary] fibrations) as the primary leads to another -- ``local'' -- theory. These are different theories, but because the map from a presheaf to its associated sheaf is a weak equivalence in either theory we have that the associated homotopy categories are equivalent. Among the people who have considered one or the other of these theories in the past are Brown, Gersten, Joyal, Thomason, and the reviewer. What does the author add to earlier knowledge? Quite a bit, and I will not try to be exhaustive. Conceptually, his main contribution is in making clear that the topology on the site is to a certain extent incidental when one is considering the resulting homotopy theories. Beyond that, he has some nice applications of the theory to algebraic K-theory. There is a new description of etale K-theory, in terms of homotopy classes of maps from the terminal scheme to an iterated loop space. There is also a ``descent-type'' spectral sequence for morphisms in the simplicial etale topos. Generally, we are finding that more and more K-theories can be computed as cohomology of simplicial (pre)sheaves.
    0 references
    closed model structures
    0 references
    simplicial presheaves
    0 references
    cofibrations
    0 references
    homotopy categories
    0 references
    algebraic K-theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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