nLab
two-sided bar construction

Idea

A two-sided bar construction is a simplicial object associated with the data of a left module and right module over a monad.

Definition

Left and right modules

Let $B$ be a 2-category, and let $M:B\to B$ be a monad with multiplication $m:MM\to M$ and unit $u:1_B\to M$. Recall that a left module over $M$ consists of a 1-cell $X:A\to B$ and a 2-cell $\alpha :MX\to X$ such that the diagrams

$$\begin{array}{cccccccc}MMX& \stackrel{M\alpha }{\to }& MX& & & X& \stackrel{1_X}{\to }& X\\ mX\downarrow & & \downarrow \alpha & & & uX\downarrow & & \downarrow 1_X\\ MX& \underset{\alpha }{\to }& X& & & MX& \underset{\alpha }{\to }& X\end{array}$$\array{ M M X & \stackrel{M\alpha}{\to} & M X & & & X & \stackrel{1_X}{\to} & X \\ m X \downarrow & & \downarrow \alpha & & & u X \downarrow & & \downarrow 1_X\\ M X & \underset{\alpha}{\to} & X & & & M X & \underset{\alpha}{\to} & X }

commute. A right module over $M$ consists of a 1-cell $Y:B\to C$ and a 2-cell $\beta :YM\to Y$ such that the diagrams

$$\begin{array}{cccccccc}YMM& \stackrel{\beta M}{\to }& YM& & & Y& \stackrel{1_Y}{\to }& Y\\ Ym\downarrow & & \downarrow \beta & & & Yu\downarrow & & \downarrow 1_Y\\ YM& \underset{\beta }{\to }& Y& & & YM& \underset{\beta }{\to }& Y\end{array}$$\array{ Y M M & \stackrel{\beta M}{\to} & Y M & & & Y & \stackrel{1_Y}{\to} & Y \\ Y m \downarrow & & \downarrow \beta & & & Y u \downarrow & & \downarrow 1_Y\\ Y M & \underset{\beta}{\to} & Y & & & Y M & \underset{\beta}{\to} & Y }

commute.

Initial structure

With the aid of string diagrams, one may easily visualize the structure $I$ that is initial amongst 2-categories equipped with the data of monad and left and right modules over the monad. The 2-category has three 0-cells $0$, $1$, and $2$, 1-cells which are of the form

$$m^{\circ n}:1\to 1y{m}^{\circ n}:1\to 2m^{\circ n}x:0\to 1y{m}^{\circ n}x:0\to 2,$$m^{\circ n}: 1 \to 1 \qquad y m^{\circ n}: 1 \to 2 \qquad m^{\circ n} x: 0 \to 1 \qquad y m^{\circ n} x: 0 \to 2,

and the nonempty hom-categories $\mathrm{hom}(i,j)=I(i,j)$ may be described as follows:

• $\mathrm{hom}(1,1)$ is isomorphic to the “algebraist’s ${\Delta }_a$” (see simplex category): the category of finite ordinals and order-preserving maps;

• $\mathrm{hom}(1,2)$ is isomorphic to ${\Delta }_{\perp }$: the category of nonempty finite ordinals and order-preserving maps that preserve the bottom element;

• $\mathrm{hom}(0,1)$ is isomorphic to ${\Delta }_{\top }$: the category of nonempty finite ordinals and order-preserving maps that preserve the top element;

• $\mathrm{hom}(0,2)$ is isomorphic to the “topologist’s ${\Delta }^{\mathrm{op}}$” (the usual simplex category), which is isomorphic to the category ${\Delta }_{\top ,\perp }$ of finite intervals, whose objects are finite ordinals with at least two elements, and whose morphisms are order-preserving maps that preserve both top and bottom.

Note that the structure of $\mathrm{hom}(1,1)$ simply recapitulates the universal property of the algebraist’s ${\Delta }_a$, as initial among strict monoidal categories equipped with a monoid $M$. This result is most easily understood in terms of string diagrams, and the structure of the other hom-categories is guided by similar string diagram considerations.

Two-sided bar construction

Now we give the definition. Suppose given a 2-category $B$ together with a monad $M:B\to B$ in $B$, together with a left module $X:A\to B$ and a right module $Y:B\to C$. There is a unique 2-functor

$$I\to B$$\mathbf{I} \to \mathbf{B}

which preserves the monad and module structures, and this induces a functor

$${\Delta }^{\mathrm{op}}\cong I(0,2)\to B(A,C)$$\Delta^{op} \cong \mathbf{I}(0, 2) \to \mathbf{B}(A, C)

This functor is the two-sided bar construction, denoted $B(Y,M,X)$.

The structure of the two-sided bar construction may be given more concretely as follows:

• The $n$-dimensional component of $B(Y,M,X)$ is

  $$B(Y,M,X{)}_n=Y{M}^{\circ n}X$$B(Y, M, X)_n = Y M^{\circ n} X

• The $n+2$ face maps

  $$d_n^i:Y{M}^{n+1}X\to Y{M}^{n}X$$d_{n}^{i}: Y M^{n+1} X \to Y M^n X

  are $\beta M^{n}X$ ($i=0$), $Y{M}^{i-1}m{M}^{n-i}X$ ($1\le i\le n$), and $Y{M}^n\alpha$ ($i=n+1$).

• The $n+1$ degeneracy maps

  $$s_n^i:Y{M}^{n}X\to Y{M}^{n+1}X$$s_{n}^{i}: Y M^n X \to Y M^{n+1} X

  are $Y{M}^{i}u{M}^{n-i}X$ ($0\le i\le n$).

Examples

Two-sided bar constructions encapsulate a surprising number of constructions, a few of which follow.

Classifying bundle

Consider the cartesian monoidal category $\mathrm{Top}$ as a 1-object bicategory $\Sigma \mathrm{Top}$ (which we may strictify to a 2-category). A topological monoid $M$ is the same as a monad in $\Sigma \mathrm{Top}$, and the usual meaning of left and right $M$-modules is preserved by thinking of them as modules over the monad.

In particular, $M$ may be regarded as a left or right $M$-module, and the 1-point space $1$ carries a unique structure of left or right $M$-module. As a result we may consider the simplicial space

$$BM=B(1,M,1)$$B M = B(1, M, 1)

as base space, and the simplicial space

$$EM=B(M,M,1)$$E M = B(M, M, 1)

as total space, of a simplicial fibration

$$B(\pi ,M,1):B(M,M,1)\to B(1,M,1)$$B(\pi, M, 1): B(M, M, 1) \to B(1, M, 1)

induced by the unique left module map $\pi :M\to 1$. This is the classifying bundle? of the monoid $M$.

Cofibrant replacement

If $M$ is a monad and $(X,\alpha :MX\to X)$ is a (left-sided) $M$-algebra, then with $M$ acting upon itself on the right, there is a simplicial object

$$B(M,M,X)$$B(M, M, X)

which may be regarded as a cofibrant replacement of $X$, a simplicial $M$-algebra which as a simplicial object is homotopy-equivalent to the constant simplicial object at $X$. (More should be added here.) See also bar construction.

Rather more generally, if in addition $(Y,\beta :YM\to Y$ is a right $M$-module, we may denote the coequalizer of the pair

$$YMX\stackrel{\stackrel{\beta X}{\to }}{\underset{Y\alpha }{\to }}YX$$Y M X \stackrel{\overset{\beta X}{\to}}{\underset{Y \alpha}{\to}} Y X

(if it exists) by $Y{\circ }_{M}X$, and think of it as the tensor product (over $M$) of $Y$ and $X$. The general principle is that the simplicial object $B(Y,M,X)$ is canonically augmented by $Y{\circ }_{M}X$, and serves as a cofibrant replacement of $Y{\circ }_{M}X$ when the latter is regarded as a constant simplicial object. See also homotopy colimits, below.

Canonical two-sided bar construction of an adjunction

Suppose given any adjoint pair $(F:B\to A)⊣(U:A\to B)$ in a 2-category $B$, with counit $\epsilon :FU\to 1_A$. There is an associated monad $M=UF:B\to B$, and a canonical left $M$-action on $U$:

$$\alpha =U\epsilon :UFU\to U,$$\alpha = U \varepsilon: U F U \to U,

and a canonical right $M$-action on $F$:

$$\beta =\epsilon F:FUF\to F.$$\beta = \varepsilon F: F U F \to F.

We may then form the canonical simplicial object $B(F,M,U)$. By general abstract nonsense, the tensor product $F{\circ }_{M}U$ is $1_A$, so if we regard $1_A$ as a constant simplicial object ${\Delta }^{\mathrm{op}}\to B(A,A)$, the cofibrant replacement result above specializes as follows.

Proposition

The canonical simplicial map $B(F,M,U)\to 1_A$ is a simplicial homotopy equivalence.

Delooping machines

The classic application of this two-sided bar construction was given by Peter May, after work of Jon Beck. Let $\Omega ={\mathrm{Top}}_{*}(S^1,-):{\mathrm{Top}}_{*}\to {\mathrm{Top}}_{*}$ be the loop space functor on pointed spaces, with left adjoint the suspension functor $S=S^1\wedge -:{\mathrm{Top}}_{*}\to {\mathrm{Top}}_{*}$. For each $n\ge 1$, the adjunction $S^n⊣{\Omega }^n$ induces a monad ${\Omega }^n{S}^n$ which acts (on the left) on $n$-fold loop spaces ${\Omega }^{n}X$, and acts on the right on $S^n$.

Proposition

The canonical simplicial map $B(S^n,{\Omega }^n{S}^n,{\Omega }^{n}X)\to X$ is a simplicial homotopy equivalence.

So if $Y$ is an $n$-fold loop space, the two-sided bar construction $B(S^n,{\Omega }^n{S}^n,Y)$ provides its $n$-fold delooping.

Continuing this train of thought: suppose given a monad $C_n$ equipped with a monad map $\varphi :C_n\to {\Omega }^n{S}^n$ (which is mated to an action $C_n{\Omega }^n\to {\Omega }^n$) such that $\varphi$ is objectwise a homotopy equivalence. Then $\varphi$ induces a homotopy equivalence

$$B(S^n,\varphi ,{\Omega }^n):B(S^n,C_n,{\Omega }^n)\to B(S^n,{\Omega }^n{S}^n,{\Omega }^n)$$B(S^n, \phi, \Omega^n): B(S^n, C_n, \Omega^n) \to B(S^n, \Omega^n S^n, \Omega^n)

The classic example of this is where $C_n$ is the little $n$-cubes operad, which acts canonically on ${\Omega }^n={\mathrm{Top}}_{*}(S^n,-)$. The advantage is that the monad $C_n$ is much more tractable than ${\Omega }^n{S}^n$.

Continuing this thought still further, we have the following recognition theorem of May:

Theorem

Suppose $Y$ is a connected space with a $C_n$-action. Then $Y$ is homotopy equivalent to an $n$-fold loop space, and indeed there is a canonical span

$${\Omega }^{n}B(S^n,C_n,Y)\leftarrow B({\Omega }^n{S}^n,C_n,Y)\to B({\Omega }^n{S}^n,{\Omega }^n{S}^n,Y)\simeq Y$$\Omega^n B(S^n, C_n, Y) \leftarrow B(\Omega^n S^n, C_n, Y) \to B(\Omega^n S^n, \Omega^n S^n, Y) \simeq Y

where each of the arrows is a homotopy equivalence.

I’m going on sheer memory here of May’s Geometry of Iterated Loop Spaces, and it’s quite possible that I’m missing hypotheses in some directions and that hypotheses could be weakened in other directions, e.g., replacing the connectedness assumption with a group completion assumption. This is in need of expert attention.

Homotopy colimits

Suppose that $C$ is a small category and $F:C\to \mathrm{Top}$ is a functor. We may regard $C$ as a monad $C:C_0\to C_0$ in the bicategory of spans in $\mathrm{Top}$, where $C_0$ is the set of objects with the discrete category, and we may regard $F$ as a left module over the monad $C$.

As always, the terminal object $1$ carries a unique right module structure. The usual colimit, $\mathrm{colim}F$, may be described as the tensor product

$$\mathrm{colim}F\cong 1{\circ }_{C}F$$colim F \cong 1 \circ_C F

As a result, we have the cofibrant replacement $B(1,C,F)$ of $\mathrm{colim}F$. The geometric realization of the simplicial space $B(1,C,F)$ is none other than the homotopy colimit of $F$.