nLab group completion theorem

Contents

Context

Algebraic topology

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The homological version of what is called the group completion theorem (McDuff & Segal 1976) relates the Pontrjagin ring of a topological monoid AA to that of its group completion ΩBA\Omega B A.

References

The original articles are

Alternative proof using a model category of bisimplicial sets:

Alternative formulation for the case of commutative topological monoids:

Generalization to generalized homology represented by ring spectra and relation to the Quillen plus construction:

  • Thomas Nikolaus, The group completion theorem via localizations of ring spectra, 2017 (pdf)

A proof based on Nikolaus’s proof was written up in

  • Oscar Bendix Harr, Group completion is a completion, PDF.

Last revised on November 25, 2023 at 21:39:46. See the history of this page for a list of all contributions to it.