# nLab bar construction

### Context

#### Higher algebra

higher algebra

universal algebra

# Contents

## Idea

The bar construction takes a monad $(T, \mu, \epsilon)$ equipped with an algebra-over-a-monad $(A, \rho)$ to the (augmented) simplicial object

$\mathrm{B}(T,A) := \left( \cdots \stackrel{\to}{\stackrel{\to}{\to}} T T A \stackrel{\stackrel{\mu \cdot Id_A}{\to}}{\stackrel{T \cdot \rho}{\to}} T A \stackrel{\rho}{\to} A \right) \,.$

This simplicial object is a resolution of $A$.

## Properties

###### Proposition

Regard $A$ as a constant simplicial object. The canonical morphism

$\mathrm{B}(T,A) \to A$

is a resolution of $A$.

In fact, the bar construction is the universal resolution in the sense of

(…)

## Special cases

### For modules over an algebra

Let $A$ be a commutative associative algebras over some ring $k$. Write $A Mod$ for the category of connective chain complexes of modules over $A$.

For $N$ a right module, also $N \otimes_k A$ is canonically a module. This construction extends to a functor

$A \otimes_k (-) : A Mod \to A Mod \,.$

The monoid-structure on $A$ makes this a monad in Cat: the monad product and unit are given by the product and unit in $A$.

For $N$ a module its right action $\rho :N \otimes A \to N$ makes the module an algebra over this monad.

The bar construction $\mathrm{B}(A,N)$ is then the simplicial module

$\cdots \stackrel{\to}{\stackrel{\to}{\to}} N \otimes_k A \otimes_k A \stackrel{\overset{Id \otimes \mu}{\to}}{\underset{\rho \otimes Id}{\to}} N \otimes_k A \,.$

Under the Moore complex functor of the Dold-Kan correspondence this is identified with a chain complex whose differential is given by the alternating sums of the face maps indicated above.

This chain complex is what originally was called the bar complex in homological algebra. Because the first authors denoted its elements using a notation involving vertical bars (Ginzburg)!!

This chain complex provides a resolution that computes the Tor

$Tor(N, A \times A) \,.$

This gives the Hochschild homology of $A$. See there for more details.

See (Fresse).

## References

A general discussion of bar construction for monads is at

The bar complex of a bimodule is reviewed for instance in

around page 16.

The bar complex for E-infinity algebras is discussed in

• Benoit Fresse, The bar complex of an E-infinity algebra Advances in Mathematics Volume 223, Issue 6, 1 April 2010, Pages 2049-2096

Revised on January 14, 2012 09:32:37 by Tim Porter (95.147.237.204)