The \mathbb{R}-Local Homotopy Theory of Smooth Spaces
From MaRDI portal
Publication:6344918
DOI10.1007/S40062-022-00318-7arXiv2007.06039MaRDI QIDQ6344918FDOQ6344918
Publication date: 12 July 2020
Abstract: Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the (projective or injective) model category of smooth spaces at the morphisms which become weak equivalences under the singular complex functor. We prove that this localisation agrees with a motivic-style -localisation of the model category of smooth spaces. Further, we exhibit the singular complex functor for smooth spaces as one of several Quillen equivalences between model categories for spaces and the above -local model category of smooth spaces. In the process, we show that the singular complex functor agrees with the homotopy colimit functor up to a natural zig-zag of weak equivalences. We provide a functorial fibrant replacement in the -local model category of smooth spaces and use this to compute mapping spaces in terms of singular complexes. Finally, we explain the relation of our fibrant replacement to the concordance sheaf construction introduced recently by Berwick-Evans, Boavida de Brito and Pavlov.
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopy theory (55P99) General theory of differentiable manifolds (58A99)
This page was built for publication: The $\mathbb{R}$-Local Homotopy Theory of Smooth Spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344918)
