Enriched simplicial presheaves and the motivic homotopy category (Q531373)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Enriched simplicial presheaves and the motivic homotopy category
scientific article

    Statements

    Enriched simplicial presheaves and the motivic homotopy category (English)
    0 references
    0 references
    0 references
    29 April 2011
    0 references
    The authors construct a model for the motivic homotopy category based on \textit{enriched} simplicial presheaves, rather than simplicial presheaves used by Morel and Voevodsky in the classical theory. A simplicial presheaf is a contravariant functor \({\mathcal S}m/k^{op} \to s{\mathcal S}et\) from smooth schemes over a field \(k\) to simplicial sets. Now the authors enrich both categories to be simplicial categories, that is, the hom sets are now semiplicial sets. To do this for \({\mathcal S}m/k\), the authors use the algebraic cosimplices. A simplicial functor is a functor between simplicial categories which preserve the simplicial structures on the hom sets. An enriched simplicial presheaf is a simplicial functor between the simplical categories \({\mathcal S}m/k\) and \(s{\mathcal S}et\). Considering the simplicial structures of hom sets gives some naive homotopy, which in this case makes the affine line \({\mathbb A}^1\) objectwise contractible, while in the classical theory, one has to invert the affine line by localization. At the end, the authors put a model category structure on these enriched simplicial presheaves, and show that it is Quillen equivalent to the classical one.
    0 references
    0 references
    enriched simplicial presheaves
    0 references
    motivic homotopy category
    0 references

    Identifiers