symmetric monoidal (∞,1)-category of spectra
The Barratt-Eccles operad $\mathcal{E}$ is a specific realization of an E-infinity operad, a cofibrant resolution of the commutative operad (in the model structure on operads).
As a topological operad it is given by $\mathcal{E}_n := E \Sigma_n$, the universal principal bundle for the symmetric group $\Sigma_n$. As an sSet-operad it has $\mathcal{E}_n = N(\Sigma_n // \Sigma_n)$, the nerve of the action groupoid of $\Sigma_n$ acting on itself.
We give the definition of the Barratt-Eccles operad as an object of the category of multi-colored symmetric simplicial operads (sSet-enriched symmetric multicategories). (See Berger-Fress, section 1.1.5.)
The Barratt-Eccles operad $\mathcal{E}$ is the operad defined as follows.
It has a single color.
For $n \in \mathbb{N}$, its simplicial set $\mathcal{E}(n)$ of $n$-ary operations is the nerve $N(\Sigma_n//\Sigma_n)$ of the action groupoid $\Sigma_n//\Sigma_n$ of the symmetric group $\Sigma_n$ permuting $n$ elements acting by right multiplication on itself.
Explicitly, this is the simplicial set whose $k$-cells are $(k+1)$-tuples of group elements
Regarded as the nerve of the action groupoid, the face maps on $\mathcal{E}(n)$ are given by multiplication in $\Sigma_n$
But, alternatively, we can parameterize $\mathcal{E}(n)_k$ by the tuples
In terms of this the $i$th face map is given simply by omitting the $i$th entry
The $i$th degeneracy map is given by repeating the $i$th entry
In terms of this, the $\Sigma_n$-action on $\mathcal{E}(n)$ (giving the structure of a symmetric operad) is then the diagonal action
The composition operations in the operad
are the morphisms of simplicial sets which in degree $k$ are maps on tuples, which in each degree $i$ are given by the natural function
that composes $r$ permutations with a permutation of $r$ elements to a permutation of $\sum_{i = 0}^r n_r$ elements.
(This function is in fact that which gives the composition in Assoc when regarded as a symmetric operad, $Assoc := Symm(*)$.)
(…)
See (Berger-Fresse).
Each of the simplicial sets $\mathcal{E}(n)$ for $n \in \mathbb{N}$ is contractible. One way to see this is to observe that $\Sigma_n // \Sigma_n$ is (the nerve of) the pullback
where $\mathbf{B}\Sigma_n$ is one-object groupoid with $\Sigma_n$ as its morphisms, $(\mathbf{B}\Sigma_n)^I$ is its arrow category and the bottom vertical map is evaluation at the source. Since this is an acyclic fibration, so is the top vertical morphism.
It follows that the canonical morphism of simplicial operads
to the commutative operad (which has $Comm(n) = *$ for all $n \in \mathbb{N}$) is a weak equivalence (in the model structure on operads). In fact, it is a cofibrant resolution.
(…)
As a simplicial operad, the Barratt-Eccles operad was introduced in
Its realization as a dg-operad is discussed in detail in
Elmendorf and Mandell show that the Barratt-Eccles operad $E\Sigma_*$ is obtained by applying functor $E$ to certain operad $\Sigma_*$ in
Last revised on October 15, 2013 at 19:37:05. See the history of this page for a list of all contributions to it.