Model category of diffeological spaces

DOI10.1007/S40062-018-0209-3MaRDI QIDQ2631916zbMATH OpenOpenAlexWikidataFDO

Authors Hiroshi Kihara

Publication date 16 May 2019

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

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

zbMATH Keywords

diffeological spacemodel categorysmooth homotopy groupstandard simplex

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Generalized manifolds (57P99) Differential spaces (58A40)

Abstract: The existence of a model structure on the category $mathcalD$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $mathcalD$ whose weak equivalences are just smooth maps inducing isomorphisms on smooth homotopy groups. The essential part of our construction of the model structure on $mathcalD$ is to introduce diffeologies on the sets $Delt{a}^p$ $(pgeq0)$ such that $Delt{a}^p$ contains the $k^{th}$ horn $Lambd{a}_k^p$ as a smooth deformation retract.

Review text

A diffeological space is a set with some collection of set-theoretical maps from open subset of \({\mathbb R} ^n\) that satisfy some axioms that allow to think about these maps as smooth parametrizations. The author constructs a compactly generated model structure on the category of diffeological spaces. The weak equivalences in this model structure are smooth maps inducing isomorphisms on smooth homotopy groups. However, his diffeology on simplices makes all smooth singular simplicial complexes fibrant objects and it seems that the author does not use the standard smooth homotopy groups. Another approach to the problem of existence of a good model structure on the category of diffeological spaces has been proposed by \textit{T. Haraguchi} and \textit{K. Shimakawa} [A model structure on the category of diffeological spaces. I. Preprint, \url{arXiv:2011.12842}].

Recommendations

• The homotopy theory of diffeological spaces
• DIFFEOLOGICAL SPACES
• The \(\mathbb{R}\)-local homotopy theory of smooth spaces
• Homological algebra for diffeological vector spaces
• Diffeology

Cites work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• Convenient categories for topology
• Convenient categories of smooth spaces
• Cotorsion pairs and model categories
• Diffeology
• Geometry and topology of diffeological spaces
• HOMOLOGY AND COHOMOLOGY VIA ENRICHED BIFUNCTORS
• Homotopical algebra
• Homotopy theory of C^*-algebras
• scientific article; zbMATH DE number 193292 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• Minimal fibrations and the organizing theorem of simplicial homotopy theory
• Model structures and the Oka principle
• More concise algebraic topology. Localization, completion, and model categories
• Simplicial homotopy theory
• The \(D\)-topology for diffeological spaces
• The homotopy theory of diffeological spaces

Cited in

(17)

• Model structures on the category of ex-spaces
• Smooth constructions of homotopy-coherent actions
• Simplicial cochain algebras for diffeological spaces
• The homotopy theory of diffeological spaces
• Homological algebra for diffeological vector spaces
• The \(\mathbb{R}\)-local homotopy theory of smooth spaces
• Decompositions of smooth maps in diffeological space category
• DIFFEOLOGICAL SPACES
• Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
• On diffeologies from infinite dimensional geometry to PDE constrained optimization
• Smooth 𝐴_{∞}-form on a diffeological loop space
• Smooth homotopy of diffeological spaces: theory and applications to infinite-dimensional 𝐶^{∞}-manifolds
• Smooth singular complexes and diffeological principal bundles
• Local systems in diffeology
• Projective model structures on diffeological spaces and smooth sets and the smooth Oka principle
• On colimits and model structures in various categories of manifolds
• A closed manifold is a fat CW complex

This page was built for publication: Model category of diffeological spaces

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