nLab looping

Redirected from "looping and delooping".

Contents

Context

Higher category theory

Homotopy theory

Idea
Examples

For plain groups delooping to groupoids
For topological spaces and $\infty$ -groupoids
For parameterized $\infty$ -groupoids ( $\infty$ -stacks / $(\infty,1)$ -sheaves)
For cohesive $\infty$ -groupoids
For $(\infty,n)$ -categories

Relation to looping and suspension
Related concepts
References

Idea

For $X$ any kind of space (or possibly a directed space, viewed as some sort of category or higher dimensional analogue of one), its loop space objects $\Omega_x X$ canonically inherit a monoidal structure, coming from concatenation of loops.

If $x \in X$ is essentially unique, then $\Omega_x X$ equipped with this monoidal structure remembers all of the structure of $X$ : we say $X \simeq B \Omega_x X$ and call $B A$ the delooping of the monoidal object $A$ .

What all these terms (“loops” $\Omega$ , “delooping” $B$ etc.) mean in detail and how they are presented concretely depends on the given setup. We discuss some of these below in the section Examples.

Examples

For plain groups delooping to groupoids

Write

Grpd for the (2,1)-category of groupoids (objects are groupoids, 1-morphisms are functors between these and 2-morphisms are natural transformations between those, which are necessarily natural isomorphisms),
Grp for the 1-category of groups (discrete groups), also regarded as a (2,1)-category;
$Grpd^{\ast/}$ for the $(2,1)$ -category of pointed objects in Grpd,
$Grpd_{\geq 1} \hookrightarrow Grpd$ for the full sub-(2,1)-category of connected groupoids, those for which $\pi_0 \simeq \ast$ ;
$Grp^{\ast/}_{\geq 1}$ for the pointed objects in connected groupoids.
$\pi_1(X,x) \in Grp$ for the fundamental group of a pointed groupoid $(\ast \stackrel{x}{\to} X) \in Grpd^{\ast/}$ at the given basepoint.
$\mathbf{B}G \in Grpd$ , given a group $G$ , for the groupoid $(G\stackrel{\longrightarrow}{\longrightarrow} \ast)$ , with composition given by the product in the group. There are two possible choices of conventions, we agree that

$\array{ && \ast \\ & {}^{\mathllap{g_1}}\nearrow && \searrow^{\mathrlap{g_2}} \\ \ast && \underset{g_1 \cdot g_2}{\longrightarrow} && \ast } \,.$

Proposition

The (2,1)-category $Grp_{\geq 1}$ of connected groupoids is equivalent to its full sub-(2,1)-category on those objects of the form $\mathbf{B}G$ , for $G$ a group.

Proof

Given a connected groupoid $X$ , pick any basepoint $x\in X$ and consider the canonical inclusion $\mathbf{B}\pi_1(X,x) \longrightarrow X$ . By construction this is fully faithful and by assumption of connectedness it is essentially surjective, hence it is an equivalence of groupoids.

Proposition

The hom-groupoids between connected groupoids with fundamental groups $G$ and $H$ , respectively, are equivalent to the action groupoids of the set of group homomorphisms $G \to H$ acted on by conjugation with elements of $H$ :

Grpd(\mathbf{B}G, \mathbf{B}H) \simeq Grp(G,H)//_{Ad}H

Given two group homomorphisms $\phi_1, \phi_2 \colon G \longrightarrow H$ then an isomorphism between them in this hom-groupoid is an element $h \in H$ such that

\phi_2 = Ad_h \circ \phi_1 \coloneqq h^{-1}\cdot \phi_1(-) \cdot h \,.

Proof

By direct inspection of the naturality square for the natural transformations which are the morphisms in $Grpd(\mathbf{B}G, \mathbf{B}H)$ :

\array{ \ast && && \ast &\stackrel{h}{\longrightarrow}& \ast \\ \downarrow^{\mathrlap{g_1}} && && \downarrow^{\mathrlap{\phi_1(g_1)}} && \downarrow^{\mathrlap{\phi_2(g_1)}} \\ \ast && && \ast &\stackrel{h}{\longrightarrow}& \ast \\ \downarrow^{\mathrlap{g_2}} && && \downarrow^{\mathrlap{\phi_1(g_2)}} && \downarrow^{\mathrlap{\phi_2(g_2)}} \\ \ast && && \ast &\stackrel{h}{\longrightarrow}& \ast } \,.

Remark

The operation of forming $\pi_1$ is equivalently the operation of forming the homotopy fiber product of the point inclusion with itself, and hence extends to a (2,1)-functor

\pi_1 \colon Grpd^{\ast/} \longrightarrow Grp \,.

Proposition

Restricted to connected groupoids among the pointed groupoids, the functor $\pi_1 \colon Grpd^{\ast/}_{\geq 1} \longrightarrow Grp$ of remark is an equivalence of (2,1)-categories.

Proof

It is clear that the functor is essentially surjective: for $G$ any group then $\pi_1(\mathbf{B}G,\ast) \simeq G$ .

The more interesting point to notice is that $\pi_1$ is indeed a fully faithful (2,1)-functor, in that for any $(X,x), (Y,y) \in Grpd^{\ast/}_{\geq 1}$ then the functor

(\pi_1)_{X,Y} \colon Grpd^{\ast/}((X,y),(Y,y)) \longrightarrow Grp(\pi_1(X,x), \pi_1(Y,y))

is an equivalence of hom-groupoids. By prop. it is sufficient to check this for $X = \mathbf{B}G$ and $Y = \mathbf{B}H$ with their canonical basepoints, hence to check that for any two groups $G,H$ the functor

(\pi_1)_{X,Y} \;\colon\; Grpd^{\ast/}((\mathbf{B}G,\ast),(\mathbf{B}H,\ast)) \longrightarrow Grp(G,H)

is an equivalence.

To see this, observe that, by definition of pointed objects via the undercategory under the point, a morphism in $Grpd^{\ast/}$ between groupoids of this form $\mathbf{B}(-)$ is a diagram in $Grp$ (unpointed) of the form

\array{ && \ast \\ & \swarrow &\swArrow_{h}& \searrow \\ \mathbf{B}G && \underset{\mathbf{B}\phi}{\longrightarrow} && \mathbf{B}H }

where the natural isomorphism is equivalently just the choice of an element $h \in H$ . Hence these morphisms are pairs $(\phi,h)$ of a group homomorphism and an element of the domain.

We claim that the (2,1)-functor $\pi_1$ takes such $(\phi,h)$ to the homomorphism $Ad_{h^{-1}} \circ \phi \;\colon\; G \longrightarrow H$ . To see this, consider via remark this functor as forming loops:

\pi_1(\mathbf{B}G,\ast) = \left\{ \array{ && \ast \\ & \swarrow && \searrow \\ \ast && \swArrow_{\mathrlap{g}} && \ast \\ & \searrow && \swarrow \\ && \mathbf{B}G } \right\}_{g\in G} \,.

This shows that on a morphism as above this acts by forming the pasting

\array{ && \ast \\ & \swarrow && \searrow \\ \ast && \swArrow_{\mathrlap{g}} && \ast \\ & \searrow && \swarrow &\swArrow_{\mathrlap{h}}& \searrow \\ && \mathbf{B}G && \underset{\phi}{\longrightarrow} && \mathbf{B}H } \;\;\;\; = \:\;\;\; \array{ && && \ast \\ && & \swarrow && \searrow \\ && \ast && \swArrow_{\mathrlap{h\phi(g)h^{-1}}} && \ast \\ & \swarrow & \swArrow_{\mathrlap{h}} & \searrow && \swarrow \\ \mathbf{B}G && \underset{\phi}{\longrightarrow} && \mathbf{B}H } \,.

Unwinding the whiskering of natural transformations here, the claim follows, as indicated by the label of the upper 2-morphisms on the right.

One observes now that these extra labels $h$ are precisely the information that “trivializes” the conjugation action which in prop. prevents the bare set of group homomorphism: a 2-morphism $(\phi_1, h_1) \Rightarrow (\phi_2,h_2)$ in $Grp^{\ast/}$ is a natural isomorphism of groupoids

\array{ \mathbf{B}G &\stackrel{\phi_1}{\longrightarrow}& \mathbf{B}H \\ {}^{\mathllap{id}}\downarrow &\Downarrow^{\mathrlap{h}}& \downarrow^{\mathrlap{id}} \\ \mathbf{B}G &\underset{\phi_2}{\longrightarrow}& \mathbf{B}H }

(encoding a conjugation relation $\phi_2 = Ad_{h} \circ \phi_1$ as above) such that we have the pasting relation

\array{ && \ast \\ & \swarrow &\swArrow_{h_1}& \searrow \\ \mathbf{B}G && \stackrel{\phi_1}{\longrightarrow} && \mathbf{B}H \\ {}^{\mathllap{id}}\downarrow && \Downarrow^{\mathrlap{h}} && \downarrow^{\mathrlap{id}} \\ \mathbf{B}G &&\underset{\phi_2}{\longrightarrow} && \mathbf{B}H } \;\;\;\;\; = \;\;\;\;\; \array{ && \ast \\ & \swarrow &\swArrow_{h_2}& \searrow \\ \mathbf{B}G && \underset{\phi_2}{\longrightarrow} && \mathbf{B}H } \,.

But this says in components that $h_2 = h_1\cdot h$ . Hence there is a at most one morphism in $Grpd^{\ast/}((\mathbf{B}G,\ast),(\mathbf{B}H,\ast))$ from $(\phi_1,h_1)$ to $(\phi_2,h_2)$ : it exists if $\phi_2 = Ad_h \circ \phi_1$ and $h_2 = h_1\cdot h$ .

But since, by the previous argument, the functor $\pi_1$ takes $(\phi_1,h_1)$ to $Ad_{h_1^{-1}} \circ \phi_1$ , this means that such a morphism exists precisely if both $(\phi_1,h_1)$ and $(\phi_2,h_2)$ are taken to the same group homomorphism by $\pi_1$

Ad_{h_2^{-1}} \circ \phi_2 = Ad_{h^{-1}\cdot h_1^{-1}}\circ \phi_2 = Ad_{h_1^{-1}} \circ \phi_1 \,.

This establishes that $\pi_1$ is also an equivalence on all hom-groupoids.

This proof also shows that $\mathbf{B}(-)$ is in fact the inverse equivalence:

Corollary

There is an equivalence of (2,1)-categories between pointed connected groupoids and plain groups

Grp \stackrel{\underoverset{\simeq}{\pi_1 = \Omega_\ast}{\longleftarrow}}{\underset{\mathbf{B}}{\longrightarrow}} Grpd^{\ast/}_{\geq 1}

given by forming loop space objects and by forming deloopings.

For topological spaces and $\infty$ -groupoids

There is an equivalence of (∞,1)-categories

\infty Grpd^{\ast/}_{\geq 1} \stackrel{\overset{B}{\leftarrow}}{\underset{\Omega}{\to}} \infty Group

between pointed connected ∞-groupoids and ∞-groups, where $\Omega$ forms loop space objects.

This is presented by a Quillen equivalence of model categories

sSet_* \stackrel{\overset{\bar W}{\leftarrow}}{\underset{G}{\to}} sGrp

between the model structure on reduced simplicial sets and the transferred model structure on simplicial groups along the forgetful functor to the model structure on simplicial sets.

(See groupoid object in an (infinity,1)-category for more details on this Quillen equivalence.)

For parameterized $\infty$ -groupoids ( $\infty$ -stacks / $(\infty,1)$ -sheaves)

The following result makes precise for parameterized ∞-groupoids – for ∞-stacks – the general statement that $k$ -fold delooping provides a correspondence between n-categories that have trivial r-morphisms for $r \lt k$ and k-tuply monoidal n-categories.

Definition

An Ek-algebra object $A$ in an (∞,1)-topos $\mathbf{H}$ is called groupal if its connected components $\pi_0(A) \in \mathbf{H}_{\leq 0}$ is a group object.

Write $Mon^{gp}_{\mathbb{E}[k]}(\mathbf{H})$ for the (∞,1)-category of groupal $E_k$ -algebra objects in $\mathbf{H}$ .

A groupal $E_1$ -algebra – hence an groupal A-∞ algebra object in $\mathbf{H}$ – we call an ∞-group in $\mathbf{H}$ . Write $\infty Grp(\mathbf{H})$ for the (∞,1)-category of ∞-groups in $\mathbf{H}$ .

Theorem

Let $k \gt 0$ , let $\mathbf{H}$ be an (∞,1)-category of (∞,1)-sheaves and let $\mathbf{H}_*^{\geq k}$ denote the full subcategory of the category $\mathbf{H}_{*}$ of pointed objects, spanned by those pointed objects that are $k-1$ -connected (i.e. their first $k$ homotopy sheaves) vanish. Then there is a canonical equivalence of (∞,1)-categories

\mathbf{H}^{\ast/}_{\geq k} \simeq Mon^{gp}_{\mathbb{E}[k]}(\mathbf{H}) \,.

between the pointed $(k-1)$ -connected objects and the groupal Ek-algebra objects in $\mathbf{H}$ .

This is Higher Algebra, theorem 5.2.6.10

Specifically for $\mathbf{H} =$ Top, this reduces to the following classical theorem due to Peter May, known as the May recognition theorem.

Theorem

Let $Y$ be a topological space equipped with an action of the little cubes operad $\mathcal{C}_k$ and suppose that $Y$ is grouplike. Then $Y$ is homotopy equivalent to a $k$ -fold loop space $\Omega^k X$ for some pointed topological space $X$ .

This is Higher Algebra, theorem 5.2.6.15

Remark

For $k = 1$ we have a looping/delooping equivalence

Grp(\mathbf{H}) \stackrel{\overset{\Omega}{\longleftarrow}}{\underset{\mathbf{B}}{\longrightarrow}} \mathbf{H}_{\geq 1}^{\ast /}

between pointed connected objects in $\mathbf{H}$ and grouplike A-∞ algebra objects in $\mathbf{H}$ : ∞-group objects in $\mathbf{H}$ .

Remark

If the ambient (∞,1)-topos has homotopy dimension 0 then every connected object $E$ admits a point $* \to E$ . Still, the (∞,1)-category of pointed connected objects differs from that of unpointed connected objects (because in the latter the natural transformations may have nontrivial components on the point, while in the former case they may not).

The connected objects $E$ which fail to be ∞-groups by failing to admit a point are of interest: these are the ∞-gerbes in the (∞,1)-topos.

For cohesive $\infty$ -groupoids

A special case of the parameterized $\infty$ -groupoids above are cohesive ∞-groupoids. Looping and delooping for these is discussed at cohesive (∞,1)-topos – structures in the section Cohesive ∞-groups.

For $(\infty,n)$ -categories

See delooping hypothesis.

Relation to looping and suspension

For $A$ any monoidal space, we may forget its monoidal structure and just remember the underlying space. The formation of loop space objects composed with this forgetful functor has a left adjoint $\Sigma$ which forms suspension objects.

Related concepts

looping, delooping
May recognition theorem
Quillen equivalence between simplicial groups and reduced simplicial sets
pointed connected groupoid
loop space object, free loop space object,
- delooping, looping and delooping
- loop space,
- free loop space, derived loop space, free loop stack
suspension object
- suspension, reduced suspension

	(∞,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 $\simeq$ ∞-space	infinite loop space object
				$\simeq$ connective spectrum	$\simeq$ connective spectrum object
stabilization				spectrum	spectrum object

looping and delooping, stabilization hypothesis

References

Jacob Lurie, Section 6.1.2 of: Higher Topos Theory
Jacob Lurie,

Section 5.1.3 of: Higher Algebra

Discussion in homotopy type theory:

David Wärn, Eilenberg-MacLane spaces and stabilisation in homotopy type theory [arXiv:2301.03685]

Last revised on November 7, 2024 at 00:21:26. See the history of this page for a list of all contributions to it.

nLab looping

Context

Higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Homotopy theory

Contents

Idea

Examples

For plain groups delooping to groupoids

Proposition

Proof

Proposition

Proof

Remark

Proposition

Proof

Corollary

For topological spaces and $\infty$ -groupoids

For parameterized $\infty$ -groupoids ( $\infty$ -stacks / $(\infty,1)$ -sheaves)

Definition

Theorem

Theorem

Remark

Remark

For cohesive $\infty$ -groupoids

For $(\infty,n)$ -categories

Relation to looping and suspension

Related concepts

References

nLab looping

Context

Higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Homotopy theory

Contents

Idea

Examples

For plain groups delooping to groupoids

Proposition

Proof

Proposition

Proof

Remark

Proposition

Proof

Corollary

For topological spaces and ∞\infty-groupoids

For parameterized ∞\infty-groupoids (∞\infty-stacks / (∞,1)(\infty,1)-sheaves)

Definition

Theorem

Theorem

Remark

Remark

For cohesive ∞\infty-groupoids

For (∞,n)(\infty,n)-categories

Relation to looping and suspension

Related concepts

References

For topological spaces and $\infty$ -groupoids

For parameterized $\infty$ -groupoids ( $\infty$ -stacks / $(\infty,1)$ -sheaves)

For cohesive $\infty$ -groupoids

For $(\infty,n)$ -categories