Abstract
We define an \(E_\infty \)-coalgebra structure on the chains of multisimplicial sets. Our primary focus is on the surjection chain complexes of McClure-Smith, for which we construct a zig-zag of complexity preserving quasi-isomorphisms of \(E_\infty \)-coalgebras relating them to both the singular chains on configuration spaces and the Barratt–Eccles chain complexes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The cochain complex of a simplicial set is equipped with the classical Alexander–Whitney product defining the ring structure in cohomology. This cochain level structure has several explicit extensions to an \(E_\infty \)-algebra [5, 17, 26] encoding commutativity and associativity up to coherent homotopies. The importance of \(E_\infty \)-algebras in homotopy theory is well known. For example, Mandell showed that finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as \(E_\infty \)-algebras [16]. Our first objective is to define a natural product together with an \(E_\infty \)-algebra extension on the cochains of multisimplicial sets [11]. These are generalizations of simplicial sets which are useful for concrete computations since they can model homotopy types using fewer cells. For example, the proof of the non-formality of the cochain algebra of planar configuration spaces [30] used a simplicial model and the Alexander–Whitney product on its cochains. By using a multisimplicial model and the product defined here, these computations become simpler and faster, paving the way for extending this result to higher dimensions.
Multisimplicial sets are contravariant functors from products of the simplex category \(\triangle \) to \(\textsf{Set}\). Explicitly, for any positive integer k the category \(\textsf{mSet}^{(k)}\) of k-fold multisimplicial sets is the presheaf category \(\textsf{Fun}((\triangle ^\textrm{op})^{\times k}, \textsf{Set})\). There is a notion of geometric realization for multisimplicial sets, which results in a CW complex having, for each non-degenerate multisimplex, a cell modeled on a product of geometric simplices \(\mathbb {\Delta }^{n_1}\times \dots \times \mathbb {\Delta }^{n_k}\). We are interested in modeling homotopy types algebraically, for which we consider the composition of the geometric realization and the functor of cellular chains \({{\,\textrm{C}\,}}\). This composition defines \({{\,\textrm{N}\,}}:\textsf{mSet}^{(k)} \rightarrow \textsf{Ch}\), the functor of (normalized) chains. In §2.5 we define a lift of \({{\,\textrm{N}\,}}\) to the category of \(E_\infty \)-coalgebras, and, consequently, a lift of the functor of cochains to the category of \(E_\infty \)-algebras. We do so using the finitely presented \(E_\infty \)-prop introduced in [17] and its monoidal properties. Specifically, using the isomorphism
we extend the image of the prop generators constructed in [17] from the chains of standard simplices to those of standard multisimplices. These generators are the Alexander–Whitney coproduct, the augmentation map, and an algebraic version of the join product. The resulting \(E_\infty \)-coalgebra structure generalizes those defined in [5, 17, 26] for simplicial chains and in [14] for cubical chains. As an application, we study the Steenrod construction for multisimplicial chains in §2.7 emphasizing the explicit nature of our construction.
Let us now focus on the relationship between multisimplicial and simplicial theories. The restriction to the image of the diagonal inclusion \(\triangle ^\textrm{op}\rightarrow (\triangle ^\textrm{op})^{\times k}\) of any k-fold multisimplicial set X defines its associated diagonal simplicial set \(X^\textrm{D}\). There is a natural homeomorphism of realizations \(\vert {X}\vert \cong \vert {X^\textrm{D}}\vert \) [28]. Under this homeomorphism the cells of \(\vert {X^\textrm{D}}\vert \) arise from those of \(\vert {X}\vert \) through subdivision, a procedure described algebraically by the Eilenberg–Zilber quasi-isomorphism
The functor induced by the diagonal restriction has a right adjoint \(\mathcal {N}^{(k)}\), the multisimplicial nerve of a simplicial set. This pair of functors defines a Quillen equivalence between the model categories of k-fold multisimplicial and of simplicial sets. Furthermore, there is a natural inclusion
which is also a quasi-isomorphism. On one hand, the \({{\,\textrm{EZ}\,}}\) map preserves the counital coalgebra structure, but it does not respect the higher \(E_\infty \)-structure.Footnote 1 On the other, the map \({{\,\textrm{I}\,}}\) is an \(E_\infty \)-coalgebra quasi-isomorphism as proven in §3.3. We use this fact to prove in §3.4 that, for any topological space \(\mathfrak {X}\), the linear map from its singular simplicial chains to its singular k-fold multisimplicial chains, given by precomposing a continuous map \((\mathbb {\Delta }^n \rightarrow \mathfrak {X})\) with the projection \((\mathbb {\Delta }^n \times \mathbb {\Delta }^{0}\times \dots \times \mathbb {\Delta }^{0} \xrightarrow {\pi _1} \mathbb {\Delta }^n)\), induces a natural quasi-isomorphism of \(E_\infty \)-coalgebras.
In the second part of the paper, we use these constructions to study a multisimplicial model of the canonical filtration
of the space \(Conf_{r}(\mathbb {R}^{\infty })\) of r distinct ordered points in \(\mathbb {R}^\infty = \mathop {\textrm{colim}}\limits (\mathbb {R}^1 \subseteq \mathbb {R}^2 \subseteq \cdots )\). Concretely, for any integer r, McClure and Smith [26] introduced a chain complex \(\mathcal {X}(r)\) of \(\mathbb {Z}[\mathbb {S}_r]\)-modules with a filtration
and showed that \(\mathcal {X}(r)\) is connected to the singular chains of \(Conf_{r}(\mathbb {R}^{\infty })\) via a zig-zag of filtration preserving \(\mathbb {S}_r\)-equivariant quasi-isomorphisms. Presumably it was observed by both McClure–Smith and Berger–Fresse that \(\mathcal {X}(r)\) can be interpreted as the chains of an r-fold multisimplicial set \(Sur(r)\), which we introduce in §4.2 with a filtration
so that \({{\,\textrm{N}\,}}Sur_{d}(r) \cong \mathcal {X}_{d}(r)\). There is an operad structure on \({\{{\mathcal {X}_{d}(r)}{\}}_{r \ge 1}}\) for each \(d \ge 1\), but we do not focus on it since it is not induced from one at the multisimplicial level. By the constructions in §2 the complex \({{\,\textrm{N}\,}}Sur(r)\) is equipped with an \(E_\infty \)-coalgebra structure, which we connect to the singular chains of \(Conf_{r}(\mathbb {R}^{\infty })\) via an explicit zig-zag of filtration preserving \(\mathbb {S}_r\)-equivariant quasi-isomorphisms of \(E_\infty \)-coalgebras.
In a similar way, Berger and Fresse [5] studied a chain complex \(\mathcal {E}(r)\) of \(\mathbb {Z}[\mathbb {S}_r]\)-modules with a filtration
This complex comes from the chains on a simplicial set introduced by Barratt and Eccles [2] equipped with a filtration
due to Smith [31]. (As before we disregard the operadic structure.) Since \(\mathcal {E}(r)\) is induced from a simplicial set, it is endowed with an \(E_\infty \)-coalgebra structure, and it is not hard to see that the zig-zag of filtration preserving \(\mathbb {S}_r\)-equivariant quasi-isomorphisms used to compare it to the singular chains of \(Conf_{r}(\mathbb {R}^{\infty })\) respects this higher structure. Consequently, \(\mathcal {X}(r)\) and \(\mathcal {E}(r)\) can be related by an explicit zig-zag of such maps.
It is desirable to have a direct map between the multisimplicial and simplicial models. Berger–Fresse constructed two such filtrations preserving \(\mathbb {S}_r\)-equivariant quasi-isomorphisms
The first one, introduced in [5, 1\(\cdot \)3], is unfortunately not a coalgebra map. Therefore we will focus on the second one, which was introduced in [4]. Our contribution, presented in §4.4, is the construction of a factorization
up to sign, where the second map is induced from a filtration preserving \(\mathbb {S}_r\)-equivariant weak-equivalence of simplicial sets. Therefore, we prove that \({{\,\textrm{TC}\,}}\) is a coalgebra map since \({{\,\textrm{EZ}\,}}\) is one.
2 Multisimplicial algebraic topology
2.1 Multisimplicial sets
Let us consider an arbitrary positive integer k. The k-fold multisimplex category \(\triangle ^{\times k}\) is the k-fold Cartesian product of the simplex category \(\triangle \). The category
is referred to as the category of k-fold multisimplicial sets. We remark that \(\textsf{mSet}^{(1)}\) and \(\textsf{mSet}^{(2)}\) are the categories of simplicial and bisimplicial sets respectively. A representable k-fold multisimplicial sets is denoted by \(\triangle ^{n_1,\dots ,n_k}\).
Explicitly, a k-fold multisimplicial set X consists of a collection of sets
indexed by k-tuples of non-negative integers \((m_1,\dots ,m_k)\) together with face maps
and degeneracy map
for \(1 \le j \le k\) and \(0 \le i \le m_j\) such that, referring to j as the direction of these maps, two of them satisfy the simplicial identities when they have the same direction and commute when they do not. An element of \(X_{m_1,\dots ,m_k}\) is called an \((m_1,\dots ,m_k)\)-multisimplex and it is said to be degenerate if it is in the image of a degeneracy map.
2.2 Geometric realization
We will use the following model of the topological simplex:
with
and
The geometric realization functor
is the Yoneda extension of the functor defined on representable objects by
Explicitly, for a k-fold multisimplicial set X we have
where
which equips |X| with a canonical cellular structure.
The geometric realization functor has a right adjoint
defined on a topological space \(\mathfrak {X}\), as usual, by the expression
2.3 Algebraic realization
The functor of chains
is the Yoneda extension of the functor defined on representable objects by
It is naturally isomorphic to the composition of the geometric realization functor and the functor of cellular chains with respect to the canonical cellular structure.
Explicitly, for a k-fold multisimplicial set X the \(\Bbbk \)-module \({{\,\textrm{N}\,}}(X)_n\) is freely generated by the non-degenerate \((n_1, \dots , n_k)\)-multisimplices with \(n_1+\dots +n_k = n\). The differential \({{\,\mathrm{\partial }\,}}:{{\,\textrm{N}\,}}(X)_n \rightarrow {{\,\textrm{N}\,}}(X)_{n-1}\) is given on one such basis element by
For any topological space \(\mathfrak {X}\) the chain complex \({{\,\textrm{N}\,}}{{\,\textrm{Sing}\,}}^{(k)}(\mathfrak {X})\) is denoted \(\textrm{S}^{(k)}(\mathfrak {X})\) and referred to as the k-fold singular chains of \(\mathfrak {X}\).
2.4 Coalgebra structure
A counital coalgebra structure on a chain complex C is a pair of chain maps \({{\,\mathrm{\Delta }\,}}:C \rightarrow C \otimes C\) and \({{\,\mathrm{\epsilon }\,}}:C \rightarrow \Bbbk \) satisfying
The tensor product of two counital coalgebras C and \(C'\) is itself a counital coalgebra with structure maps given by
where \(\tau \) transposes the second and third factors.
For each \(n \in \mathbb {N}\), the complex \({{\,\textrm{N}\,}}(\triangle ^n)\) is naturally equipped with a counital coalgebra structure defined by:
We will refer to it as the Alexander–Whitney structure.
Using the tensor product structure, we deduce a natural counital coalgebra structure on the chains of representable multisimplicial sets
and, via a Yoneda extension, one on the chains of general multisimplicial sets.
Explicitly, for a k-fold multisimplicial set X and \((m_1,\dots ,m_k)\)-multisimplex x let
then
where the front \((i_1,\dots ,i_k)\)-face of x is the multisimplex
with \(F_{i_j} :[i_j] \rightarrow [n_j]\) defined by \(F_{i_j}(h)=h\), and the back \((i_1,\dots ,i_k)\)-face of x is the multisimplex
with \(B_{i_j} :[i_j] \rightarrow [n_j]\) defined by \(B_j(h) = h+m_j-i_j\).
2.5 \({E_\infty }\)-extension
An \(\mathcal {M}\)-bialgebra is a counital coalgebra \((C, {{\,\mathrm{\Delta }\,}}, {{\,\mathrm{\epsilon }\,}})\) together with a degree 1 linear map \({{\,\mathrm{*}\,}}:C \otimes C \rightarrow C\) satisfying
for all \(c_1, c_2 \in C\). As proven in [17], the collection of all maps \({\{}{}{C \rightarrow C^{\otimes r}}\}_{r \in \mathbb {N}}\) generated by \({{\,\mathrm{\Delta }\,}}\), \({{\,\mathrm{\epsilon }\,}}\) and \({{\,\mathrm{*}\,}}\) make C into an \(E_\infty \)-coalgebra, that is to say, a coalgebra over certain operad \(\textrm{U}\mathcal {M}\) that is a cofibrant resolution of the terminal operad.
As proven in [25], the counital coalgebra structure on the tensor product of two \(\mathcal {M}\)-bialgebras C and \(C'\) can be naturally extended to an \(\mathcal {M}\)-bialgebra structure using
For any integer n, the join product \(*:{{\,\textrm{N}\,}}(\triangle ^n)^{\otimes 2} \rightarrow {{\,\textrm{N}\,}}(\triangle ^n)\) is the natural degree 1 linear map defined by
where \(\pi \) is the permutation that orders the vertices. It is proven in [17] that on the chains of representable simplicial sets the Alexander–Whitney structure together with the join product make \({{\,\textrm{N}\,}}(\triangle ^n)\) into a natural \(\mathcal {M}\)-bialgebra and, consequently, a natural \(E_\infty \)-coalgebra. We mention that this structure is induced by one present at the level of geometric realizations [21].
Using the tensor product structure, we deduce a natural \(\mathcal {M}\)-bialgebra structure on the chains of representable multisimplicial sets
and consequently, a natural \(E_\infty \)-coalgebra structure, which extends along the Yoneda inclusion to the chains on any multisimplicial set X.
Explicitly, for two basis elements of \({{\,\textrm{N}\,}}\big (\triangle ^{n_1,\dots ,n_k}\big )\) we have
where, with the convention \(x_{<1} = x_{>n} = 1 \in \Bbbk \),
We remark that since the category of \(\mathcal {M}\)-bialgebras is not cocomplete, we do not necessarily have an \(\mathcal {M}\)-bialgebra structure on \({{\,\textrm{N}\,}}(X)\) for a general multisimplicial set X. An example for which such structure does not exist is given by one such X whose geometric realization consists of just two points.
2.6 Cubical comparison
Since the complex of chains of the k-fold multisimplicial set \(\triangle ^{1}\times \dots \times \triangle ^{1}\) is isomorphic to the chains on the standard cubical set \(\square ^k\), it is natural to compare the \(\mathcal {M}\)-bialgebra structure defined here with that presented in [14], defining an \(E_\infty \)-structure on cubical chains. As counital coalgebras \({{\,\textrm{N}\,}}(\triangle ^{1}\times \dots \times \triangle ^{1})\) and \({{\,\textrm{N}\,}}(\square ^k)\) are isomorphic, and, denoting the product of the \(\mathcal {M}\)-bialgebra defined there by \(\widetilde{*}\), we have
under this chain isomorphism. The sign convention used here is more natural, used for example to endow Adams’ cobar construction with the structure of a monoidal \(E_\infty \)-coalgebra [25].
2.7 Steenrod construction
In [32], Steenrod introduced natural operations on the mod 2 cohomology of spaces, the celebrated Steenrod squares
via an explicit construction of natural linear maps \(\Delta _i :{{\,\textrm{N}\,}}(X) \rightarrow {{\,\textrm{N}\,}}(X) \otimes {{\,\textrm{N}\,}}(X)\) for any simplicial set X, satisfying up to signs the following homological relations
with the convention \(\Delta _{-1} = 0\). These so-called cup-i coproducts appear to be fundamental, as they are axiomatically characterized [22] and induce the nerve of strict infinity categories [18]. A description of cup-i coproducts for multisimplicial sets can be deduced from our \(E_\infty \)-coalgebra structure. As presented in [23], it is given recursively by
Steenrod also introduced operations on the mod p cohomology of spaces when p is an odd prime [33, 34]. To define these effectively, generalization of the cup-i coproducts were introduced in [13]. After the present work, these so-called cup-(p, i) coproducts are defined on multisimplicial chains, and their formulas are explicit enough to be implemented in the computer algebra systemFootnote 2ComCH [20], where constructions of Cartan and Adem coboundaries [8, 9, 19] for multisimplicial sets can also be found.
3 Comparison with the simplicial theory
We will use \(\textsf{sSet}\) to denote the category of 1-fold multisimplicial sets \(\textsf{mSet}^{(1)}\) referring to its objects and morphisms as simplicial sets and simplicial morphisms as usual.
3.1 Diagonal simplicial set
For any \(k \in \mathbb {N}\), the diagonal
induces a functor
explicitly defined on a k-fold multisimplicial set X by
It is straightforward to verify that
as simplicial sets.
The functor \((-)^\textrm{D}:\textsf{mSet}^{(k)} \rightarrow \textsf{sSet}\) admits a right adjoint \(\mathcal {N}^{(k)} :\textsf{sSet}\rightarrow \textsf{mSet}^{(k)}\), defined, as usual, by the expression
These functors define a Quillen equivalence. A proof of this fact can be given using [15, Proposition 1.6.8] or adapting that in [24, Proposition 1.2].
3.2 Eilenberg–Zilber map
Recall that an \((n_1,\dots ,n_k)\)-shuffle \(\sigma \) is a permutation in \(\mathbb {S}_n\) satisfying
where \(n = n_1+\dots +n_k\). We denote the set of such permutations by \(\textsf{Sh}(n_1,\dots ,n_k)\). For any \(\sigma \in \textsf{Sh}(n_1,\dots ,n_k)\) the inclusion
is defined by the assignment
If e is the identity permutation, we denote \({{\,\mathrm{\mathfrak {i}}\,}}_{e}\) simply as \(\mathfrak {i}\). The set \({\{}{{{\,\mathrm {\mathfrak {i}}\,}}_\sigma \!\mid \!\sigma \!\in \! \textsf {Sh}(n_1,\dots ,n_k)}{\}}\) defines a triangulation of \(\mathbb {\Delta }^{n_1}\times \dots \times \mathbb {\Delta }^{n_k}\) making it isomorphic, in the category of cellular spaces, to the geometric realization of the simplicial set \(\triangle ^{n_1}\times \dots \times \triangle ^{n_k}\). Using this identification, the identity map induces a cellular map
whose induced chain map
agrees, under the natural identifications, with the traditional Eilenberg–Zilber map.
For a multisimplicial set X, the induced chain map \({{\,\textrm{EZ}\,}}:{{\,\textrm{N}\,}}(X) \rightarrow {{\,\textrm{N}\,}}(X^\textrm{D})\) is explicitly given on an \((n_1,\dots ,n_k)\)-multisimplex x by
where, for \(\ell \in {\{}{1,\dots ,k}{\}}\), the morphisms \(\sigma _\ell :[n] \rightarrow [n_\ell ]\) are defined by the following property: for each \(j \in {\{}{0,\dots ,n-1}{\}}\) there is exactly one \(\ell \in {\{}{1,\dots ,k}{\}}\) such that \(\sigma _\ell (j+1) = \sigma _\ell (j)+1\) and \(\sigma _i(j+1) = \sigma _i(j)\) for all \(i \ne \ell \).
Geometrically this collection \((\sigma _1,\dots ,\sigma _k)\) represents a sequence of \((a_1 +\dots + a_k)\) moves in a lattice of integral points with k-coordinates, starting at the origin and moving in a single direction at each stage until the point \((a_1,\dots ,a_k)\) is reached. The associated permutation sends \(j+1\) to \(a_1 +\dots + a_{\ell -1} + \sigma _\ell (j+1)\).
Theorem 3.2.1
For every multisimplicial set X the map \({{\,\textrm{EZ}\,}}:{{\,\textrm{N}\,}}(X) \rightarrow {{\,\textrm{N}\,}}(X^\textrm{D})\) is a quasi-isomorphism of counital coalgebras.
Proof
The fact that \({{\,\textrm{EZ}\,}}\) is quasi-isomorphism follows from it being induced from a subdivision map. To prove it is a coalgebra map, it suffices to assume X is a representable multisimplicial sets \(\triangle ^{n_1,\dots ,n_k}\). In this case \({{\,\textrm{N}\,}}(\triangle ^{n_1,\dots ,n_k}) = {{\,\textrm{N}\,}}(\triangle ^n_1) \otimes \cdots \otimes {{\,\textrm{N}\,}}(\triangle ^n_k)\), \({{\,\textrm{N}\,}}((\triangle ^{n_1,\dots ,n_k})^\textrm{D}) \cong {{\,\textrm{N}\,}}(\triangle ^{n_1}\times \dots \times \triangle ^{n_k})\) and \({{\,\textrm{EZ}\,}}\) agrees with the usual Eilenberg–Zilber map, which is known to be a coalgebra map [10, (17.6)]. \(\square \)
We remark that the Eilenberg–Zilber map is not a morphism of \(E_\infty \)-coalgebras. For example, as shown in [14, §5.4], we have
3.3 Canonical inclusion
We might consider an analogue of the traditional Alexander–Whitney map, a natural chain homotopy inverse to the usual Eilenberg–Zilber map. Unfortunately, this map does not preserve coalgebra structures. In this subsection we introduce an alternative quasi-isomorphism that preserves \(E_\infty \)-coalgebra structures. Let Y be a simplicial set and n an integer. Consider the function \(Y_n \rightarrow \mathcal {N}^{(k)} Y_{n,0,\dots ,0}\) sending a simplex with characteristic map \(\zeta :\triangle ^n \rightarrow Y\) to the composition
These functions induce a chain map
and we have the following.
Theorem 3.3.1
The canonical inclusion \({{\,\textrm{I}\,}}:{{\,\textrm{N}\,}}(Y) \!\rightarrow \! {{\,\textrm{N}\,}}(\mathcal {N}^{(k)} Y)\) is a quasi-isomorphism of \(E_\infty \)-coalgebras for any simplicial set Y.
Proof
The structure-preserving properties of this map are immediate. It remains to be shown that it induces a homology isomorphism. Consider the composition of quasi-isomorphisms
where the second map is induced by the counit of the adjunction. We will now verify that it is left inverse to \({{\,\textrm{I}\,}}\). Consider a simplex y with characteristic map \(\zeta :\triangle ^n \rightarrow Y\). The multisimplex \({{\,\textrm{I}\,}}(y)\) is given by the simplicial map \(\triangle ^n \times \triangle ^{0}\times \dots \times \triangle ^{0} \xrightarrow {\pi _1} \triangle ^n \xrightarrow {\zeta } Y\). Since the only \((n,0,\dots ,0)\)-shuffle is the identity, the simplex \({{\,\textrm{EZ}\,}}\circ {{\,\textrm{I}\,}}(y)\) is the simplicial map
Finally, the image of this simplex under the counit is the evaluation of \([n] \times \dots \times [n]\) on \(\zeta \circ \pi _1\) which gives \(\zeta [n] = y\) as claimed. \(\square \)
3.4 Singular chains
Theorem 3.4.1
Let \(\mathfrak {X}\) be a topological space. The chain map
defined by precomposing a continuous map \((\mathbb {\Delta }^n \rightarrow \mathfrak {X})\) with the projection
is a quasi-isomorphism of \(E_\infty \)-coalgebras.
Proof
This map factors as the composition of two quasi-isomorphisms of \(E_\infty \)-coalgebras. The first is \({{\,\textrm{I}\,}}:\textrm{S}(\mathfrak {X}) \rightarrow {{\,\textrm{N}\,}}(\mathcal {N}^{(k)} {{\,\textrm{Sing}\,}}(\mathfrak {X}))\), which was studied in §3.3. The second is induced by a multisimplicial isomorphism
defined as follows. Using the adjunction of §2.2, any simplicial map \(\triangle ^{n_1}\times \dots \times \triangle ^{n_k} \rightarrow {{\,\textrm{Sing}\,}}(\mathfrak {X})\) corresponds canonically to a continuous map \({|}{\triangle ^{n_1}\times \dots \times \triangle ^{n_k}} \rightarrow \mathfrak {X}{|}\), which precomposing with \({{\,\mathrm{\mathfrak {ez}}\,}}\) gives a continuous map \(\mathbb {\Delta }^{n_1}\times \dots \times \mathbb {\Delta }^{n_k} \rightarrow \mathfrak {X}\). It is not hard to see that every such map arises this way since \({{\,\mathrm{\mathfrak {ez}}\,}}\) is a homeomorphism. \(\square \)
4 Models of configuration spaces
We are interested in modeling algebraically the \(\mathbb {S}_r\)-equivariant homotopy type of the space of configurations of r labeled and distinct points in Euclidean d-dimensional space. Multisimplicial sets can be used to provide an explicit chain complex model with a small number of generators, which, using the \(E_\infty \)-structure defined in this paper, retains all homotopical information by Mandell’s theorem [16].
In the initial subsection, we revisit Berger’s method for identifying spaces that are homotopy equivalent to Euclidean configuration spaces. This approach utilizes a filtration indexed by a complete graph poset. In the second subsection, we construct the multisimplicial model and show that is equipped with such a filtration. In the third subsection, we recall the construction of the simplicial Barratt–Eccles model and show that is equipped with a similar filtration. In the fourth subsection, we relate the multisimplicial and simplicial chain models by an explicit map. In the last subsection, we give some examples of the sizes of the two models, showing that the multisimplicial is smaller.
4.1 Recognition of configuration spaces
Let \(Conf_{r}(\mathbb {R}^{d})\) denote the configuration space of r-tuples of pairwise disjoint vectors in \(\mathbb {R}^{d}\). This space is equipped with a free action of the symmetric group \(\mathbb {S}_r\) of permutations of \(\{1,\dots ,r\}\) swapping elements of a r-tuple.
Definition 4.1.1
A complete graph on r vertices is a pair \((\mu ,\sigma )\) with \(\mu \) a collection of non-negative integers \(\mu _{ij}\) for all \(1 \le i < j \le r\), and \(\sigma \) is an ordering of \(\{1,\dots ,r\}\). We write \(\sigma _{ij}\) for the restriction of the ordering \(\sigma \) to the set \(\{i,j\}\). Graphically \((\mu ,\sigma )\) is a simple directed graph in the edge corresponding to \(i<j\) directed according to \(\sigma _{ij}\) and labeled by \(\mu _{ij}\). Please consult Fig. 1 for an example. Let us denote the set of complete graphs with r vertices by \(\mathcal {K}(r)\) equipped with the poset structure
for each pair \(i<j\). It is equipped with an exhaustive filtration by subposets
where \(\mathcal {K}_d(r)\) consists of those graphs with \(\max (\mu _{ij}) < d\).
Definition 4.1.2
For a given poset A, a cellular A-decomposition of a topological space \(\mathfrak {X}\) is a family of subspaces \({\{}{\mathfrak {X}_a}{\}}_{a \in A}\) such that:
-
i.
\(a \le b\) implies \(\mathfrak {X}_a \subseteq \mathfrak {X}_b\);
-
ii.
\(\mathop {\textrm{colim}}\limits _{a \in A} \mathfrak {X}_a = \mathfrak {X}\);
-
iii.
\(\mathfrak {X}_a\) is contractible for each a;
-
iv.
\(\bigcup _{a<b} \mathfrak {X}_a \subset \mathfrak {X}_b\) is a closed cofibration.
The relevance of this notion is the well-known fact that if a topological space \(\mathfrak {X}\) admits a cellular A-decomposition, then the natural maps
are cellular homotopy equivalences. Please consult [3, §1.7] for a proof.
Let \(\mathcal {C}_d(r)\) be the space of r little d-dimensional cubes, which is equipped with an equivariant homotopy equivalence to \(Conf_{r}(\mathbb {R}^{d})\) picking the center of cubes. Brun and others in [6] show that \(\mathcal {C}_d(r)\) has a cellular \(\mathcal {K}^\textrm{ex}_d(r)\)-decomposition \(\{\mathcal {C}_a\}\), where \(\mathcal {K}^\textrm{ex}_d(r)\) is a poset containing the poset \(\mathcal {K}_d(r)\) and the inclusion of posets induces an equivariant homotopy equivalence on realizations. For detailed proof, we refer to [7]. Combining these results we have
Proposition 4.1.3
If a space \(\mathfrak {X}\) has a cellular \(\mathcal {K}_d(r)\)-decomposition, then \(\mathfrak {X}\) is equal to \(\mathop {\textrm{colim}}\limits _{\mathcal {K}_d(r)} \mathfrak {X}_a\) and
is a zig-zag of equivariant homotopy equivalences.
Definition 4.1.4
Let X be a multisimplicial (or simplicial) set. A \(\mathcal {K}(r)\)-filtration of X is a family of (multi)simplicial subsets \(\{X_a\}\) indexed by \(a \in \mathcal {K}(r)\) so that
-
1.
\(a \le b\) implies \(X_a \subseteq X_b\),
-
2.
\(|X_a|\) is a cellular \(\mathcal {K}(r)\)-decomposition of the realization |X|.
In particular this implies that \(X=\mathop {\textrm{colim}}\limits _{a \in \mathcal {K}(r)}X_a\). Let \(X_d = \mathop {\textrm{colim}}\limits _{a \in \mathcal {K}_d(r)} X_a\). There is a nested sequence
For a given (multi)simplex \(x \in X\) we will refer to \(\min {\{}{d \mid x \in X_d}{\}}\) as the complexity of x.
4.2 Multisimplicial model
We define for each positive integer r a multisimplicial set \(Sur(r)\) equipped with a \(\mathcal {K}(r)\)-filtration. The functor of chains applied to the nested sequence
will recover the algebraic models
of configuration spaces developed by McClure–Smith [27].
Spaces \(Y_0^r\) homeomorphic to |Sur(r)| were studied in the work of McClure–Smith [26]. The homeomorphism between \(Y_0^r\) and |Sur(r)| is described explicitly in the appendix of [29].
Let \(Sur(r)\) be the k-fold multisimplicial set that has as \((m_1,\dots ,m_r)\)-multisimplices the surjective maps
where \(m = m_1+\dots +m_r\), satisfying that the cardinality of \(f^{-1}(\ell )\) is \(m_\ell \) for each \(\ell \in {\{}{1,\dots ,r}{\}}\). We represent this multisimplex by the sequence \(f(1) \cdots f(m+r)\). The face and degeneracy maps \({{\,\textrm{d}\,}}^\ell _j\) and \({{\,\textrm{s}\,}}^\ell _j\) act on it by respectively removing and doubling the \((j+1)^\textrm{th}\) occurrence of \(\ell \) in the sequence.
Next we define a \(\mathcal {K}(r)\)-filtration on \(Sur(r)\). For \(i<j\), let \(f_{ij}\) be the subsequence of \(f(1) \cdots f(m+r)\) obtained by omitting all occurrences of elements different from i and j. For \((\mu ,\sigma ) \in \mathcal {K}(r)\) we say that \(f \in Sur(r)_{(\mu ,\sigma )}\) if for each \(i<j\), either i and j alternate strictly less than \(\mu _{ij}\) times in the sequence \(f_{ij}\), or they do so exactly \(\mu _{ij}\) times and the ordering formed by the first occurrences of i and j in \(f_{ij}\) agrees with \(\sigma _{ij}\).
The surjection f has complexity d or less if the alternation number of each \(f_{ij}\) is less than \(d+1\), i.e., if the non-degenerate dimension of \(f_{ij}\) in \(Sur(2)\) is d or less for each \(i<j\). We notice that the action of \(\mathbb {S}_r\) on \(Sur(r)\) preserves the nested sequence
For the proof that \(|Sur(r)|\) has indeed an induced cellular \(\mathcal {K}(r)\)-decomposition we refer to Lemma 14.8 in [27]. Applying the functor of singular chains to the zig-zag of Proposition 4.1.3 produces a zig-zag of equivariant quasi-isomorphisms of \(\textrm{U}\mathcal {M}\)-coalgebras connecting \({{\,\text {S}\,}}{|}{Sur_d(r)}{|}\) and \({{\,\textrm{S}\,}}Conf_{r}(\mathbb {R}^{d})\). We can extend it using the following zig-zag of maps of the same kind \({{\,\text {S}\,}}{|}{Sur_{d}(r)}{|} \cong {{\,\text {S}\,}}{|}{Sur_{d}(r)^{D}}{|} \rightarrow {{\,\text {N}\,}}(Sur_{d}(r)^D) \rightarrow {{\,\text {N}\,}}(\mathcal {N}^{(r)}(Sur_{d}(r)^D)) \leftarrow {{\,\text {N}\,}}Sur_{d}(r).\) The first map is induced by the homeomorphism \({|}{|}{Sur_{d}(r)} \cong {|}{|}{Sur_{d}(r)^{D}}\), the second by the unit of the Quillen equivalence between simplicial sets and topological spaces, the third is the comparison map of §3.3, and last one is induced by the unit of the Quillen equivalence between multisimplicial sets and simplicial sets.
As announced in the introduction, this construction relates the chains on the multisimplicial model of configuration space and its singular chains via an explicit zig-zag of equivariant quasi-isomorphisms of \(E_\infty \)-coalgebras.
4.3 Simplicial model
We will recall the definition of the Barratt–Eccles simplicial set \(E(r)\) for \(r\in \mathbb {N}\) which comes equipped with a \(\mathcal {K}(r)\)-filtration. Applying the functor of chains to the nested sequence
will provide the algebraic models
of configuration spaces studied by Berger and Fresse in [5].
The n-simplices of \(E(r)\) are tuples of \(n+1\) elements of the symmetric group \(\mathbb {S}_r\). Its face and degeneracy maps are defined by removing and doubling elements respectively. There is an operad structure on these simplicial sets, but we do not consider it here.
Next we recall a \(\mathcal {K}(r)\)-filtration on \(E(r)\). For \(i<j\) and \(\sigma \) in \(\mathbb {S}_r\) let \(\sigma _{ij}\) be the associated permutation in \(\mathbb {S}_2\). Given \((\mu ,\sigma ) \in \mathcal {K}(r)\) then an element \(w = (w_0,\dots w_n) \in E(r)_n\), \(w \in E(r)_{(\mu ,\sigma )}\) if for each \(i<j\), the cardinality of \({\{}{\ell \mid (w_{\ell })_{ij} \ne (w_{\ell +1})_{ij}}{\}}\) is either less than \(\mu _{ij}\) or equal to it and \((w_0)_{ij} = \sigma _{ij}\).
In particular w has complexity d or less if for each \(i<j\) the non-degenerate dimension of \(w_{ij}=((w_0)_{ij},\dots ,(w_n)_{ij})\) in \(E(2)\) is d or less for all \(i<j\). We notice that the action of \(\mathbb {S}_r\) on \(E(r)\) preserves the nested sequence
For a proof that this is a \(\mathcal {K}(r)\)-filtration we refer to Example 2.8 in [3]. Please consult [3, 12, 31] for more details.
Applying the functor of singular chains to the zig-zag of Proposition 4.1.3 produces a zig-zag of equivariant quasi-isomorphisms of \(\textrm{U}\mathcal {M}\)-coalgebras connecting \({{\,\text {S}\,}}{|}{E_d(r)}{|}\) and \({{\,\textrm{S}\,}}Conf_{r}(\mathbb {R}^{d})\). Using the unit of the Quillen equivalence extends this zig-zag to one relating \({{\,\textrm{N}\,}}E_d(r)\) and \({{\,\textrm{S}\,}}Conf_{r}(\mathbb {R}^{d})\), which can be combined with the zig-zag constructed in the previous subsection. As announced in the introduction, this construction relates the chains on the multisimplicial model of configuration space and those the simplicial model via an explicit zig-zag of equivariant quasi-isomorphisms of \(E_\infty \)-coalgebras.
4.4 Table completion
It is desirable to have a direct \(\mathbb {S}_r\)-equivariant quasi-isomorphism between these algebraic models. Two filtration preserving quasi-isomorphisms were constructed by Berger–Fresse
The first one, introduced in [5, 1\(\cdot \)3], is not a coalgebra map, as the reader familiar with its definition can easily verify. We will focus on the second one which was introduced in [4] and termed table completion. We will construct a factorization up to signs
where the second map is induced from a simplicial map defined below. This factorization proves that \({{\,\textrm{TC}\,}}\) is a coalgebra map since both factors are. We warn the reader that since \({{\,\textrm{EZ}\,}}\) does not respect the \(E_\infty \)-coalgebra structure, neither does \({{\,\textrm{TC}\,}}\). For example, we have
Let us give a more explicit description of the simplicial set \(Sur(r)^\textrm{D}\). Each m-simplex corresponds to a map
satisfying that the cardinality of \(f^{-1}(\ell )\) is \(m+1\) for each \(\ell \in {\{}{1,\dots ,r}{\}}\). We represent this simplex by the sequence \(f(1) \cdots f(rm+r)\). The \(i^\textrm{th}\) face and degeneracy maps act on it respectively by removing or doubling the \(i^\textrm{th}\) occurrence of each \(\ell \in {\{}{1,\dots ,r}{\}}\) in \(f(1) \cdots f(rm+r)\).
The restriction to the diagonal defines a \(\mathcal {K}(r)\)-filtration of \(Sur(r)^\textrm{D}\) and a nested sequence
on \(Sur(r)^\textrm{D}\) that is preserved by the action of \(\mathbb {S}_r\) on \(Sur(r)^\textrm{D}\). In terms of cellular \(\mathcal {K}(r)\)-decompositions, given \((\mu ,\sigma ) \in \mathcal {K}(r)\) then \(f \in Sur(r)^\textrm{D}_{(\mu ,\sigma )}\) if for each \(i<j\), either i and j alternate strictly less than \(\mu _{ij}\) times in the sequence \(f_{ij}\), or they do so exactly \(\mu _{ij}\) times and the ordering formed by the first occurrences of i and j in \(f_{ij}\) agrees with \(\sigma _{ij}\).
Since the complexity of an element is unchanged by degeneracy maps, it can easily be seen that \({{\,\textrm{EZ}\,}}:{{\,\textrm{N}\,}}Sur(r) \rightarrow {{\,\textrm{N}\,}}Sur(r)^\textrm{D}\) preserves \(\mathcal {K}(r)\)-filtrations.
Let us now define the simplicial map \({{\,\textrm{tc}\,}}\). For f as above, let
with \(\sigma _j\) represented by the subsequence of f containing the \((j+1)^{\textrm{st}}\) occurrence of each \(\ell \in \{1,\dots ,r\}\). For example, we have
For every surjection \(f\in Sur(r)_{m_1,\dots ,m_r}\), as described in [3, §1.2.2], there is a collection of elements \((k_0,\dots ,k_{m-1})\), called caesuras, where \(m=m_1+\dots + m_r\) and \(k_j \in \{1,\dots r\}\), \(j\in \{0,\dots , m-1\}\). The caesuras are the elements of the sequence representing f which are not the last occurrence of a value \(k= 1,\dots , r\). The caesuras of f define a collection of morphisms \(\pi _\ell :[m] \rightarrow [m_\ell ]\), \(\ell \in \{1,\dots ,r\}\) such that for \(j \in {\{} {0,\dots ,m-1}{\}}\), \(\pi _{k_j}(j+1) = \pi _{k_j}(j)+1\) and \(\pi _\ell (j+1) = \pi _\ell (j)\) for all \(\ell \ne k_j\). We can interpret these morphisms geometrically, as in §3.2. Then the collection \((\pi _1, \dots , \pi _r)\) defines a permutation \(\vartheta _f\in \mathbb {S}_m\) such that \(\vartheta _f(j+1)=a_1 +\dots + a_{k_j -1} + \pi _{k_j}(j+1)\), for \( j\in \{0,\dots , m-1\}\).
Theorem 4.4.1
The simplicial map \({{\,\textrm{tc}\,}}:Sur(r)^\textrm{D}\rightarrow E(r)\) satisfies
and induces a weak equivalence
for every \(r,d \in \mathbb {N}\).
Before providing the proof of this theorem we briefly recall the definition of TC from [4]. For each \(f\in Sur(r)_{m_1,\dots ,m_r}\) there is a certain map of simplicial sets
Observe that a map into \(E(r)\) is completely determined by its restriction to the 0-simplexes. The 0-simplexes of \(\triangle ^{m_1}\times \dots \times \triangle ^{m_r}\) are r-tuples \((n_1,\dots ,n_r)\) such that \(0 \le n_i \le m_i\), for \(i=1,\dots ,r\). The map \(\tau _f\) is determined by the requirement that the permutation \(\tau _f(n_1,\dots ,n_r)\) is the subsequence of f where one picks the \((n_i+1)^{st}\) entry of the value i, for each \(i=1,\dots ,r\).
As seen in §3.2 each maximal non-degenerate simplex
is determined by a \((m_1,\dots ,m_r)\)-shuffle, and equivalently by a sequence \(k_i\in \{1,\dots ,r \}\), \(i=0,\dots , m-1\). The fundamental simplex of f is the maximal non-degenerate simplex corresponding to the sequence \((k_0,\dots , k_{m-1})\) of the caesuras of f. The homomorphism TC(f) is defined as the sum, with signs, of the simplexes \(\tau _f(\sigma )\), where \(\sigma \) runs over all maximal non-degenerate simplices of the domain. The sign of each summand is positive if and only if the natural orientation of the corresponding simplex agrees with that of the fundamental simplex.
Proof of Theorem 4.4.1
It is clear that \({{\,\textrm{tc}\,}}\) is a simplicial map. Let
be the map sending the only non-degenerate \((m_1,\dots ,m_r)\)-multisimplex s to f. We claim that
where we identify
Namely \({\hat{f}}^{\,\textrm{D}}\) coincides with \(\tau _f\) on 0-simplexes and \(tc_0\) is the identity. Observe that EZ(s) is the signed sum of all maximal non-degenerate simplices \(\sigma \) where the sign takes care of the orientation. By naturality \({{\,\textrm{N}\,}}(\hat{f}^{\,\textrm{D}})\) sends \({{\,\textrm{EZ}\,}}(s)\) to \({{\,\textrm{EZ}\,}}(f)\) and so
Comparing with the definition of \({{\,\textrm{TC}\,}}\) we see that the sign in the equation is exactly the sign of \(\theta _f\).
We now prove the filtration compatibility of \({{\,\textrm{tc}\,}}\). Let \(f\in Sur(r)^{\textrm{D}}\) be an m-simplex and denote
Suppose that in \(f_{ij}\) i and j alternate \(\mu _{ij}\) times, and in \(w_{ij}\) i and j alternate \(\mu _{ij}'\) times. We will prove that \(\mu _{ij}' \le \mu _{ij}\).
Suppose without loss of generality that i occurs before j in \(f_{ij}\), that starts with i repeated h times, followed by j repeated l times, and then by i again (or terminating). If the sequence terminates then \(h=l=k\) and \(\mu _{ij}=\mu _{ij}'=0\). For \(h <l\) let \({\bar{f}}_{ij}\) be the subsequence of \(f_{ij}\) obtained taking out the first h values of i and of j. Let \({\bar{\mu }}_{ij}\) be the number of variations in \({\bar{f}}_{ij}\) and \({\bar{\mu }}'_{ij}\) the number of variations in \({{\,\textrm{tc}\,}}({\bar{f}}_{ij})\).
Then \({\bar{f}}_{ij}\) starts with j, \(\mu _{i,j}=1+{\bar{\mu }}_{ij}\), and \(\mu '_{ij}=1+{\bar{\mu }}'_{ij}\).
If \(h \ge l\) and \(l<r\) let \({\bar{f}}_{ij}\) be the subsequence of \(f_{ij}\) obtained taking out the first l values of i and j. Then \({\bar{f}}_{ij}\) starts with i, \(\mu _{i,j}=1+{\bar{\mu }}_{ij}\), and \(\mu '_{ij}={\bar{\mu }}'_{ij}\). By induction on the length of sequences, we obtain that \(\mu _{ij}'\le \mu _{ij}\). Moreover, \({{\,\textrm{tc}\,}}\) is compatible with orderings: the first occurrences of i and j form the ordering \((w_1)_{ij}\) that is the first permutation of \({{\,\textrm{tc}\,}}(f_{ij})\). This concludes the proof of filtration compatibility.
Regarding the maps \({{\,\textrm{tc}\,}}_{d} :Sur_{d}(r)^{\textrm{D}}\rightarrow E(r)_{d}\) we can express source and target as (homotopy) colimits of contractible simplicial sets along the poset of complete graphs, so we have a commutative diagram
Where the vertical and top arrows are weak equivalences, and so the bottom map is a weak equivalence. \(\square \)
We remark that, as informed to us by the referee, the \({{\,\textrm{tc}\,}}\) map appears in [1, Example 3.10(b)] in the context of the simplicial condensation of the lattice path operad.
4.5 Counting generators
We would like to stress that the number of non-degenerate multisimplices in \(Sur_d(r)\) is much smaller than the number of non-degenerate simplices in \(E_d(r)\). For example,
and
where
This makes the multisimplicial approach substantially more efficient than the simplicial one when performing computations. A calculation of obstruction to formality similar to that in [30] took a full day with the simplicial model, and few seconds with the multisimplicial model.
Notes
The Alexander–Whitney chain homotopy inverse to \({{\,\textrm{EZ}\,}}\) is not a coalgebra map in general.
References
Batanin, M.A., Berger, C.: The lattice path operad and Hochschild cochains. In: Alpine perspectives on algebraic topology. Contemp. Math. Amer. Math. Soc., Providence, RI, vol. 504. pp. 23–52 (2009)
Barratt, M.G., Peter J. Eccles. \(\Gamma ^{+}\)-structures. I. A free group functor for stable homotopy theory. In: Topology. 13, pp. 25–45 (1974)
Berger, C.: Combinatorial models for real configuration spaces and \(E_n\)-operads. In: Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995). Contemp. Math. Amer. Math. Soc., Providence, RI, vol. 202. pp. 37–52 (1997)
Berger, C., Fresse, B.: Une décomposition prismatique de l’opérade de Barratt-Eccles. In: C. R. Math. Acad. Sci. Paris 335.4, pp. 365–370 (2002)
Berger, C., Benoit, F.: Combinatorial operad actions on cochains. In: Math. Proc. Cambridge Philos. Soc. 137.1, pp. 135–174 (2004)
Brun, M., Zbigniew, F., Vogt, R.M.: On the multiplicative structure of topological Hochschild homology. Algebr. Geom. Topol. 7, 1633–1650 (2007)
Beuckelmann, A., Moerdijk, I.: A small catalogue of \(E_n\)-operads. In: arXiv e-prints (2023)
Brumfiel, G., Medina-Mardones, A., Morgan, J.: A cochain level proof of Adem relations in the mod 2 Steenrod algebra. J. Homotopy Relat. Struct. 16(4), 517–562 (2021)
Cantero-Morán, F., Medina-Mardones, A.M.: An effective proof of the Cartan formula: Odd primes. In: arXiv e-prints. Submitted (2023)
Eilenberg, S., Moore, J.C.: Homology and fibrations. I. Coalgebras, cotensor product and its derived functors. In: Comment. Math. Helv. 40, pp. 199–236 (1966)
Gugenheim, V.K.A.M.: On supercomplexes. Trans. Amer. Math. Soc. 85, 35–51 (1957)
Kashiwabara, T.: On the homotopy type of configuration complexes. In: Algebraic topology (Oaxtepec, 1991). Contemp. Math. Amer. Math. Soc., Providence, RI, Vol. 146. pp. 159–170 (1993)
Kaufmann, R.M., Medina-Mardones, A.M.: Cochain level May-Steenrod operations. In: Forum Math. 33.6, pp. 1507–1526 (2021)
Kaufmann, R.M., Medina-Mardones, A.M.: A combinatorial \({E}_\infty \)-algebra structure on cubical cochains and the Cartan–Serre map. In: Cahiers Topologie G é om. Diff é rentielle Cat é g. 63.4, pp. 387–424 (2022)
Maltsiniotis, G.: La théorie de l’homotopie de Grothendieck. In: Ast é risque. 301, pp. vi + 140 (2005)
Mandell, M.A.: Cochains and homotopy type. In: Publ. Math. Inst. Hautes É tudes Sci. 103, pp. 213–246 (2006)
Medina-Mardones, A.M.: A finitely presented \(E_\infty \)-prop I: algebraic context. In: High. Str, 4.2, pp. 1–21 (2020)
Medina-Mardones, Anibal M.: An algebraic representation of globular sets. In: Homol. Homotopy Appl. 22.2, pp. 135–150 (2020)
Medina-Mardones, A.M.: An effective proof of the Cartan formula: the even prime. In: J. Pure Appl. Algebra 224.12, pp. 106444, 18 (2020)
Medina-Mardones, A.M.: A computer algebra system for the study of commutativity up to coherent homotopies. In: Adv. Stud. Euro-Tbilisi Math. J. 14.4, pp. 147–157 (2021)
Medina-Mardones, A.M.: A finitely presented \(E_\infty \)-prop II: cellular context. In: High. Struct. 5.1, pp. 69–186 (2021)
Medina-Mardones, A.M.: An axiomatic characterization of Steenrod’s cup-\(i\) products. In: arXiv e-prints. Submitted (2022)
Medina-Mardones, A.M.: The diagonal of cellular spaces and effective algebro-homotopical constructions. In: EMS Surv. Math. Sci. 10.2, pp. 223–241 (2023)
Moerdijk, I.: Bisimplicial sets and the group-completion theorem. In: Algebraic \(K\)-theory: connections with geometry and topology (Lake Louise, AB, 1987). Vol. 279. NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci. Kluwer Acad. Publ., Dordrecht, pp. 225–240 (1989)
Medina-Mardones, Anibal M., Rivera, Manuel: Adams’ cobar construction as a monoidal \(E_{\infty }\)-coalgebra model of the based loop space. In: arXiv e-prints (2021). Submitted
McClure, J.E., Smith, J.H.: Multivariable cochain operations and little \(n\)-cubes. In: J. Amer. Math. Soc. 16.3, pp. 681–704 (2003)
McClure, J.E., Smith, J.H.: Cosimplicial objects and little \(n\)-cubes. I. In: Amer. J. Math. 126.5, pp. 1109–1153 (2004)
Quillen, D.: Higher algebraic \(K\)-theory. I. In: Algebraic K theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972). Lecture Notes in Math., Springer, Berlin, Vol. 341, pp. 85–147 (1973)
Salvatore, P.: The topological cyclic Deligne conjecture. In: Algebr. Geom. Topol. 9.1, pp. 237–264 (2009)
Salvatore, P.: Non-formality of planar configuration spaces in characteristic 2. Int. Math. Res. Not. IMRN 10, 3100–3129 (2020)
Smith, J.H.: Simplicial group models for \(\Omega ^nS^nX\). In: Israel J. Math. 66.1-3, pp. 330–350 (1989)
Steenrod, N.E.: Products of cocycles and extensions of mappings. In: Ann. Math. 48, pp. 290–320 (1947)
Steenrod, N.E.: Reduced powers of cohomology classes. In: Ann. Math. 56, pp. 47–67 (1952)
Steenrod, N.E.: Cyclic reduced powers of Cohomology classes. Proc. Nat. Acad. Sci. U.S.A. 39, 217–223 (1953)
Acknowledgements
We thank the referee for many valuable suggestions improving this paper. A.M. would like to thank Peter May and Dennis Sullivan for insightful comments about this project. Some of the results of this work appeared in the B.Sc. thesis of A.P. written under the guidance of P.S.: ‘Generalization of Alexander–Whitney map to Multisimplicial Sets’, University of Rome ‘Tor Vergata’ (2019). A.M. is grateful for the hospitality of both the Max Planck Institute for Mathematics and the Université Sorbonne Paris Nord. A.P. and P.S. were partially supported by the MUR Excellence Department Project MatMod@TOV awarded to the Department of Mathematics, University of Rome ‘Tor Vergata’ CUP E83C23000330006. P.S. was partially supported by the INDAM group GNSAGA, and by MPIM Bonn. A.M. was partially supported by grant ANR 20 CE40 0016 01 PROJET HighAGT.
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Haynes Miller.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Medina-Mardones, A.M., Pizzi, A. & Salvatore, P. Multisimplicial chains and configuration spaces. J. Homotopy Relat. Struct. 19, 275–296 (2024). https://doi.org/10.1007/s40062-024-00344-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-024-00344-7