Enriched simplicial presheaves and the motivic homotopy category (Q531373)

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.