Smooth classifying spaces

DOI10.1007/S11856-021-2120-6MaRDI QIDQ2022802zbMATH OpenOpenAlexFDO

Authors J. Daniel Christensen, Enxin Wu

Publication date 29 April 2021

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

D-numerable bundlediffeological bundlediffeological spaceplot

Mathematics Subject Classification ID

Local properties of generalized manifolds (57P05) Topology of vector bundles and fiber bundles (57R22)

Abstract: We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles, the smooth analogs of numerable bundles from topology, and prove that pulling back a $D$-numerable bundle along smoothly homotopic maps gives isomorphic pullbacks. We then define smooth structures on Milnor's spaces $EG$ and $BG$, show that $EGoBG$ is a $D$-numerable principal bundle, and prove that it classifies all $D$-numerable principal bundles over any diffeological space. We deduce analogous classification results for $D$-numerable diffeological bundles and vector bundles.

Review text

A diffeological space is a space \(X\) along with a collection of functions \(f: U \rightarrow \ X\), called plots, where \(U\) runs over open subsets of Euclidean spaces. Plots must satisfy three conditions, 1. Covering, 2. Smooth compatibility, and 3. A Sheaf condition. Smooth manifolds are diffeological spaces. The authors define the notion of a diffeological bundle, and give an example to show that absent further conditions a diffeological bundle on a contractible space need not be a product. They introduce the notion of a D-numerable bundle which requires that the local product structure in the bundle can be subordinated to a smooth partition of unity. The main result of the paper is to show that there are classifying spaces for D-numerable diffeological principal bundles. Specifically the authors give a smooth structure for the Minor principal \(G\) bundle \(EG \ \rightarrow \ BG\) and show that it is a D-numerable bundle. The methods parallel the classical case but with some extra care required.

Recommendations

• scientific article; zbMATH DE number 3949023
• Spaces of smooth functions
• Smooth topological spaces
• Convenient categories of smooth spaces
• scientific article; zbMATH DE number 4032360
• The classifying space of smooth foliations
• Spaces of Functions of Generalized Smoothness
• Relative smooth topological spaces
• Smooth classification of geometrically finite one-dimensional maps
• Smooth pretopological spaces

Cites work

• Classifying spaces and spectral sequences
• Construction of universal bundles. II
• Diffeological vector spaces
• Diffeology
• Homological algebra for diffeological vector spaces
• scientific article; zbMATH DE number 3860012 (Why is no real title available?)
• scientific article; zbMATH DE number 3789519 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• Milgram's classifying space of a topological group
• Partitions of unity in the theory of fibrations
• The \(D\)-topology for diffeological spaces
• The diffeology of Milnor's classifying space
• The differentiable space structures of Milnor classifying spaces, simplicial complexes, and geometric realizations
• The homotopy theory of diffeological spaces

Cited in

(19)

• Smooth topological spaces
• The diffeology of Milnor's classifying space
• A looping-delooping adjunction for topological spaces
• Hierarchies of holonomy groupoids for foliated bundles
• Smooth constructions of homotopy-coherent actions
• The homotopy theory of diffeological spaces
• Exterior bundles in diffeology
• Equivalences of smooth and continuous principal bundles with infinite-dimensional structure group
• scientific article; zbMATH DE number 3921523 (Why is no real title available?)
• scientific article; zbMATH DE number 3949023 (Why is no real title available?)
• Pushforward and smooth vector pseudo-bundles
• Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
• Smooth homotopy of diffeological spaces: theory and applications to infinite-dimensional 𝐶^{∞}-manifolds
• Diffeological principal bundles and principal infinity bundles
• Smooth singular complexes and diffeological principal bundles
• Local systems in diffeology
• Sheaves, principal bundles, and Čech cohomology for diffeological spaces
• Smooth simplicial sets and universal Chern-Weil for infinite-dimensional groups
• Diffeological, Frölicher, and differential spaces

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Smooth classifying spaces

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