A -space is a model for an ∞-groupoid equipped with a multiplication that is unital, associative, and commutative up to higher coherent homotopies: they are models for groupal E-∞ spaces / infinite loop spaces / abelian ∞-groups.
The notion of -space is a close variant of that of Segal category for the case that the underlying (∞,1)-category happens to be an ∞-groupoid, happens to be connected? and is equipped with extra structure.
Let denote Segal's category: the skeleton of the category of finite pointed sets. We write for the finite pointed set with non-basepoint elements. Then a -space is a functor (or to simplicial sets, or whatever other model one prefers).
We think of as the “underlying space” of a -space , with being a “model for the cartesian power ”. In order for this to be valid, and thus for to present an infinite loop space, a -space must satisfy the further condition that all the Segal maps
are weak equivalences. We include in this the th Segal map , which therefore requires that is contractible. Sometimes the very definition of -space includes this homotopical condition as well.
Note that we have a functor , where is the simplex category, which takes to . Thus, every -space has an underlying simplicial space. This simplicial space is in fact a special Delta-space which exhibits the 1-fold delooping of the corresponding -space.
A model structure on -spaces can be found in Bousfield and Friedlander below.
|(∞,1)-operad||∞-algebra||grouplike version||in Top||generally|
|A-∞ operad||A-∞ algebra||∞-group||A-∞ space, e.g. loop space||loop space object|
|E-k operad||E-k algebra||k-monoidal ∞-group||iterated loop space||iterated loop space object|
|E-∞ operad||E-∞ algebra||abelian ∞-group||E-∞ space, if grouplike: infinite loop space Γ-space||infinite loop space object|
|connective spectrum||connective spectrum object|
The notion goes back to
C. Balteanu, Z. Fiedorowicz, R. Schwanzl and R. Vogt, Iterated Monoidal Categories, Advances in Mathematics (2003).
B. Badzioch, Algebraic Theories in Homotopy Theory, Annals of Mathematics, 155, 895–913 (2002).