The canonical delooping machine
From MaRDI portal
Abstract: We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the traditional delooping machines, which carefully select a nice space of such operations, we consider all natural operations on n-fold loop spaces, resulting in the algebraic theory Map (V_. S^n, V_. S^n). The advantage of this new approach is that the delooping machine is universal in a certain sense, the proof of the recognition principle is more conceptual, works the same way for all values of n, and does not need the test space to be connected.
This paper describes a delooping machine for \(n\)-fold loop spaces which is in some sense universal. Consider the opposite of the category of continuous functions between iterated wedges of \(n\)-spheres. The authors show that this is an algebraic theory and, up to weak equivalence, they show that \(n\)-fold loop spaces are the algebras over this theory. They also give a uniqueness result for delooping machines.
Recommendations
Cites work
- Algebraic theories in homotopy theory
- An Infinite Loop Space Machine for Theories with Noncontractible Multiplication
- From Γ-spaces to algebraic theories
- Homotopy Associativity of H-Spaces. I
- Homotopy invariant algebraic structures on topological spaces
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 4117459 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 3431537 (Why is no real title available?)
- scientific article; zbMATH DE number 3316699 (Why is no real title available?)
- Reduced product spaces
- String topology and cyclic homology
- The categories of \(A_{\infty}\) and \(E_{\infty}\)-monoids and ring spaces as closed simplicial and topological model categories
- The geometry of iterated loop spaces
- The homology of iterated loop spaces
- The uniqueness of infinite loop space machines
- Uniqueness of delooping machines
Cited in
(8)- Homotopy nilpotent groups
- Uniqueness of \(n\)-fold delooping machines
- An Infinite Loop Space Machine for Theories with Noncontractible Multiplication
- Conway's Prime Producing Machine
- Detecting mapping spaces
- Representability theorems, up to homotopy
- A model categorical approach to group completion of \(E_n\)-algebras
- Numerably contractible categories
This page was built for publication: The canonical delooping machine
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861844)