category object in an (∞,1)-category, groupoid object
A reduced Segal space is a category object in ∞Grpd equipped with an (essentially) surjective functor from the terminal such. So it is the delooping of a monoid in an (∞,1)-category.
Accordingly, if the reduced Segal space happens to be actually a groupoid object, then it is the delooping of a group object in ∞Grpd: an ∞-group.
The notion was first introduced by G. Segal (who named it “special -space”) as a means for the characterization of an infinite loop space via the notion of Gamma-space.
When a reduced Segal space is group-like, it becomes a model for an infinity-group aka a loop space. Group-like reduced Segal spaces characterize loop spaces by means of finite products and weak equivalences and as such transparently show that the property of being a loop space is invariant under any product-preserving endofunctor of topological spaces.
If is a topological monoid, its classifying space has a model as a simplicial space in which the 0th level is a point and the nth level is n-times the product of the 1st level. The idea of a reduced Segal space is requiring the above two properties of the simplicial space to hold up to homotopy and capture in this way all -monoids.
The passage from reduced Segal spaces to group-like reduced Segal spaces is the step of adding “inverses up to coherent homotopy”. It turns out to be equivalent to simply requiring that the monoid of path components of the 1st level admits a group structure.
A simplicial space is called a reduced Segal space if:
(1) the space is weakly contractible;
(2) for each , the Segal map is a weak equivalence.
is called group-like reduced Segal space if in addition:
(3) the monoid structure on , induced from the -space structure on , admits inverses (i.e. it is a group).
Proposition(G. Segal): if is a group-like reduced Segal space, the map is a weak equivalence.
Last revised on January 4, 2016 at 16:46:20. See the history of this page for a list of all contributions to it.