2020/02/10 by Hiroshi Kihara, Kihara, Hiroshi · 2 citations
Mathematics · #Algebraic structures and combinatorial models #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2002.03618
openalex publication_date 2020/02/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional C^∞-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps, sections, principal bundles, and gauge transformations. We first introduce the notion of hereditary C^∞-paracompactness along with the semiclassicality condition on a C^∞-manifold, which enables us to use local convexity in local arguments. Then, we prove that for C^∞-manifolds M and N, the smooth singular complex of C^∞(M,N) is weakly equivalent to the ordinary singular complex of C0(M,N) under the hereditary C^∞-paracompactness and semiclassicality conditions on M. We next generalize this result to sections of fiber bundles over a C^∞-manifold M under the same conditions on M. Further, we establish the Dwyer-Kan equivalence between the simplicial groupoid of smooth principal G-bundles over M and that of continuous principal G-bundles over M for a Lie group G and a C^∞-manifold M under the same conditions on M, encoding the smoothing results for principal bundles and gauge transformations. For the proofs, we fully faithfully embed the category C^∞ of C^∞-manifolds into the category D of diffeological spaces and develop the smooth homotopy theory of diffeological spaces via a homotopical algebraic study of the model category D and the model category C0 of arc-generated spaces. Then, the hereditary C^∞-paracompactness and semiclassicality conditions on M imply that M has the smooth homotopy type of a cofibrant object in D. This result can be regarded as a smooth refinement of the results of Milnor, Palais, and Heisey on the homotopy type of infinite-dimensional topological manifolds.