A looping-delooping adjunction for topological spaces

DOI10.4310/HHA.2017.V19.N1.A3MaRDI QIDQ1688686zbMATH OpenOpenAlexFDO

Authors Martina Rovelli

Publication date 11 January 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

adjoint pairclassifying spaceloop spaceprincipal bundle

Mathematics Subject Classification ID

Loop spaces (55P35) Classification of fiber spaces or bundles in algebraic topology (55R15) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relationship between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles with a fixed structure group. Such a resul clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space construction, which are very important in topological K-theory, group cohomology and homotopy theory.

Review text

A principal \(G\)-bundle over a space \(X\) is classified up to equivalence by the homotopy class of a map \(X \rightarrow BG\). In a somewhat dual sense Milnor constructed a strict model \(\tilde{\Omega}(X)\) so that morphisms \(\tilde{\Omega}(X) \rightarrow G\) of the topological groups generate all the \(G\)-bundles over \(X\) up to equivalence. This paper shows that for nice spaces \(X\) the relationship between \(\tilde{\Omega}(X)\) and the classifying space functor is that of an adjoint pair. The result requires that both the space \(X\) and the topological group \(G\) be ``nice in senses specified in the paper. Roughly these are that the space be connected and admit a countable CW-decomposition with -- if the space is pointed -- the base point a vertex. For the group it should admit the structure of a countable CW-group. The proof consists of a careful analysis of the construction of the loop space and of the classifying space.

Recommendations

• Categorical models for equivariant classifying spaces
• Homotopy homomorphisms and the classifying space functor
• scientific article; zbMATH DE number 222488
• Smooth classifying spaces
• Adjoint action of a finite loop space

Cited in

(4)

• The Milgram-Steenrod construction of classifying spaces for topological groups
• A note on paratopological loops
• Characteristic classes as complete obstructions
• Categorical models for equivariant classifying spaces

This page was built for publication: A looping-delooping adjunction for topological spaces

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