Enriched simplicial presheaves and the motivic homotopy category

DOI10.1016/J.JPAA.2010.10.002MaRDI QIDQ531373zbMATH OpenOpenAlexFDO

Authors Philip Herrmann, Florian Strunk

Publication date 29 April 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.3153

zbMATH Keywords

enriched simplicial presheavesmotivic homotopy category

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Topological categories, foundations of homotopy theory (55U40)

Abstract: We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.

Review text

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.

Recommendations

• Model topoi and motivic homotopy theory
• Motivic functors
• Stable Homotopy Theory of Simplicial Presheaves
• Enriched functors and stable homotopy theory
• A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance

Cites work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• A reflection theorem for closed categories
• Enriched accessible categories
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 2131830 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Motivic functors
• Sheaves in geometry and logic: a first introduction to topos theory
• Simplicial homotopy theory

Cited in

(11)

• Motivic functors
• Model topoi and motivic homotopy theory
• A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance
• Smooth affine model for the framed correspondences spectrum
• The \(\mathbb{R}\)-local homotopy theory of smooth spaces
• From motives to comodules over the motivic Hopf algebra
• The \(\operatorname{cdh}\)-local motivic homotopy category
• Geometric Models for Algebraic Suspensions
• Rational enriched motivic spaces
• Classifying spaces of infinity-sheaves
• On cellularization for simplicial presheaves and motivic homotopy

This page was built for publication: Enriched simplicial presheaves and the motivic homotopy category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531373)