Homotopy homomorphisms and the classifying space functor

TL;DR

This paper establishes a homotopy-theoretic adjunction between topological monoids and based spaces via the classifying space and loop space functors, after appropriate localizations, with implications for algebraic topology.

Contribution

It introduces a localized framework where the classifying space functor is left adjoint to the Moore loop space functor up to homotopy, extending classical results.

Findings

The localization of monoids corresponds to homotopy classes of homotopy homomorphisms.

The adjunction lifts to diagrams, preserving homotopy colimits.

A more algebraic version of the group completion theorem is derived.

Abstract

We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with respect to all homomorphisms whose underlying maps are homotopy equivalences and $Top*$ with respect to all based maps which are (not necessarily based) homotopy equivalences. It is well-known that this localization of $Top*$ exists, and we show that the localization of $Mon$ is the category of monoids and homotopy classes of homotopy homomorphisms. To make this statement precise we have to modify the classical definition of a homotopy homomorphism, and we discuss the necessary changes. The adjunction is induced by an adjunction up to homotopy between the category of well-pointed monoids and homotopy homomorphisms and the category of well-pointed spaces. This adjunction is shown to lift to diagrams. As a consequence, the well-known derived adjunction between the homotopy colimit and the constant diagram functor can also be seen to be induced by an adjuction up to homotopy before taking homotopy classes. As applications we among other things deduce a more algebraic version of the group completion theorem and show that the classifying space functor preserves homotopy colimits up to natural homotopy equivalences.