Skip to main content Accessibility help
×
Home
Hostname: page-component-747cfc64b6-zmlw7 Total loading time: 0.609 Render date: 2021-06-14T22:06:59.541Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

A strictly commutative model for the cochain algebra of a space

Published online by Cambridge University Press:  12 October 2020

Birgit Richter
Affiliation:
Fachbereich Mathematik der Universität Hamburg, Bundesstraße 55, 20146 Hamburg, Germany birgit.richter@uni-hamburg.de
Steffen Sagave
Affiliation:
IMAPP, Radboud University Nijmegen, PO Box 9010, 6500 GL Nijmegen, The Netherlands s.sagave@math.ru.nl
Corresponding
Rights & Permissions[Opens in a new window]

Abstract

The commutative differential graded algebra $A_{\mathrm {PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal {I}}(X)$ of $A_{\mathrm {PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal {I}$ to model $E_{\infty }$ differential graded algebras (dga) by strictly commutative objects, called commutative $\mathcal {I}$-dgas. We define a functor $A^{\mathcal {I}}$ from simplicial sets to commutative $\mathcal {I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty }$ dga of cochains. The functor $A^{\mathcal {I}}$ shares many properties of $A_{\mathrm {PL}}$, and can be viewed as a generalization of $A_{\mathrm {PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal {I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s) 2020

1. Introduction

Determining the homotopy type of a topological space is a difficult task in general. One possibility of simplifying the problem is to aim for algebraic models of spaces, so that the study of homotopy types reduces to an algebraic question. If one is interested in the homotopy type of a rational nilpotent space of finite type, then this is possible, and the Sullivan cochain algebra is such an algebraic model: the algebra of rational singular cochains of a space, $C(X;\mathbb {Q})$, is quasi-isomorphic to the commutative differential graded algebra (cdga) $A_{\mathrm {PL}}(X)$ of polynomial forms on $X$, which is a very powerful tool in rational homotopy theory [Reference Bousfield and GugenheimBG76, Reference SullivanSul77]. The functor $A_{\mathrm {PL}}$ has a contravariant adjoint, called the Sullivan realization in [Reference Félix, Halperin and ThomasFHT01, § 17]. With the help of this adjoint pair of functors one can determine the homotopy type of rational nilpotent spaces of finite type (see [Reference Bousfield and GugenheimBG76, Chapter 9], or [Reference HessHes07, Theorem 1.25] for the simply connected case).

For a general commutative ring $k$ the cochains $C(X;k)$ on a space $X$ with values in $k$ form a differential graded algebra whose cohomology is the singular cohomology $H^{*}(X;k)$ of $X$. The multiplication of $C(X;k)$ induces the cup product on $H^{*}(X;k)$. However, for general $k$, there is no cdga which is quasi-isomorphic to $C(X;k)$, for example because the Steenrod operations witness the non-commutativity of $C(X;\mathbb {F}_p)$. So it seems that we cannot hope for a strictly commutative model for the cochains of a space that determines the homotopy type. However, $C(X;k)$ is always commutative up to coherent homotopy. This can be encoded using the language of operads [Reference MayMay72]: the multiplication of $C(X;k)$ extends to the action of an $E_{\infty }$ operad in chain complexes turning $C(X;k)$ into an $E_{\infty }$ dga.

This gives rise to an algebraic model for the homotopy type of a space by a result of Mandell. He shows that the cochain functor $C(-;\mathbb {Z})$ to $E_{\infty }$ dgas classifies nilpotent spaces of finite type up to weak equivalence [Reference MandellMan06, Main Theorem]. But here, the algebraic model consists of the cochain algebra together with its $E_\infty$-algebra structure, so this algebraic model is rather involved.

One can describe homotopy coherent commutative multiplications on chain complexes using diagram categories instead of operads. Let $\mathcal {I}$ be the category with objects the finite sets ${\mathbf {m}}= \{1\,\ldots , m\}, m\geq 0$, with the convention that ${\mathbf {0}}$ is the empty set. Morphisms in $\mathcal {I}$ are the injections. Concatenation in $\mathcal {I}$ and the tensor product of chain complexes of $k$-modules give rise to a symmetric monoidal product $\boxtimes$ on the category $\mathrm {Ch}^{\mathcal {I}}_k$ of $\mathcal {I}$-diagrams in $\mathrm {Ch}_k$. A commutative $\mathcal {I}$-dga is a commutative monoid in $(\mathrm {Ch}^{\mathcal {I}}_k,\boxtimes )$ or, equivalently, a lax symmetric monoidal functor $\mathcal {I} \to \mathrm {Ch}_k$. Equipped with suitable model structures, the category of commutative $\mathcal {I}$-dgas, $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$, is Quillen equivalent to the category of $E_{\infty }$ dgas [Reference Richter and ShipleyRS17, § 9]. This is analogous to the situation in spaces, where commutative monoids in $\mathcal {I}$-diagrams of spaces are equivalent to $E_{\infty }$ spaces [Reference Sagave and SchlichtkrullSS12, § 3].

Chasing the $E_{\infty }$ dga of cochains $C(X;k)$ on a space $X$ through the chain of Quillen equivalences relating $E_{\infty }$ dgas and commutative $\mathcal {I}$-dgas shows that $C(X;k)$ can be represented by a commutative $\mathcal {I}$-dga. The purpose of this paper is to construct a direct point-set level model $A^{\mathcal {I}}(X)$ for the quasi-isomorphism type of commutative $\mathcal {I}$-dgas determined by $C(X;k)$ that should be viewed as an integral generalization of $A_{\mathrm {PL}}(X)$. Despite the fact that $A_{\mathrm {PL}}(X)$ was introduced more than 40 years ago and has been widely studied, it appears that a direct integral counterpart was neither known nor expected to exist.

If $E$ is a commutative $\mathcal {I}$-dga, then its Bousfield–Kan homotopy colimit $E_{h\mathcal {I}}$ has a canonical action of the Barratt–Eccles operad, which is an $E_{\infty }$ operad built from the symmetric groups. The commutative $\mathcal {I}$-dga $A^{\mathcal {I}}(X)$ thus gives rise to an $E_{\infty }$ dga $A^{\mathcal {I}}(X)_{h\mathcal {I}}$ which can be compared to the usual cochains without referring to model structures.

Theorem 1.1 The contravariant functors $X \mapsto A^{\mathcal {I}}(X)_{h\mathcal {I}}$ and $X \mapsto C(X;k)$ from simplicial sets to $E_{\infty }$ dgas are naturally quasi-isomorphic.

We prove the theorem using Mandell's uniqueness result for cochain theories [Reference MandellMan02, Main Theorem].

Since our definition of $A^{\mathcal {I}}$ does not rely on the existing constructions of $E_{\infty }$ structures on cochains, the theorem implies that our approach provides an alternative model of the $E_{\infty }$ dga $C(X;k)$, namely $A^{\mathcal {I}}(X)_{h\mathcal {I}}$ with its canonical action of the Barratt-Eccles operad. If $k$ is a field of characteristic $0$, then there is a natural quasi-isomorphism $A^{\mathcal {I}}(X)_{h\mathcal {I}} \to A_{\mathrm {PL}}(X)$ relating our approach to the classical polynomial forms (see Theorem 5.9).

The passage through commutative $\mathcal {I}$-dgas has the advantage that it provides a rather simple $E_{\infty }$ model $A^{\mathcal {I}}(X)_{h\mathcal {I}}$ for the cochain algebra of a space $X$. In contrast, the existing constructions of $E_{\infty }$ structures on the standard model for the cochain algebra are involved: based on work of Hinich and Schechtman [Reference Hinich and SchechtmanHS87], Mandell [Reference MandellMan02, § 5] lifts the action of the acyclic Eilenberg–Zilber operad to the action of an actual $E_{\infty }$ operad. McClure and Smith generalize Steenrod's cup-$i$-products to multivariable operations that give the cochains of a space the structure of an $E_\infty$-algebra via the action of the surjection operad [Reference McClure and SmithMS03]. Berger and Fresse [Reference Berger and FresseBF04] use elaborate combinatorial arguments to define an action of the Barratt–Eccles operad that extends the action of the surjection operad. Another approach to capture the commutativity of $C(X;k)$ has been pursued by Karoubi [Reference KaroubiKar09] who introduces a notion of quasi-commutative dgas that is based on a certain reduced tensor product, constructs a quasi-commutative model for the cochains, and uses Mandell's results to relate it to ordinary cochains.

Since it is often easier to work with strictly commutative objects rather than $E_{\infty }$ objects, we also expect that the commutative $\mathcal {I}$-dga $A^{\mathcal {I}}(X)$ will be a useful replacement of the $E_{\infty }$ dga $C(X;k)$ in applications. For instance, iterated bar constructions for $E_\infty$ algebras as developed in [Reference FresseFre11] are rather involved whereas iterated bar construction for commutative monoids are straightforward. Commutative $\mathcal {I}$-dgas are tensored over simplicial sets whereas enrichments for $E_\infty$ monoids are more complicated because the coproduct is not just the underlying monoidal product. This allows for constructions such as higher-order Hochschild homology [Reference PirashviliPir00] for commutative $\mathcal {I}$-dgas.

Writing $A^{\mathcal {I}}(X;\mathbb {Z})$ for $A^{\mathcal {I}}(X)$ when working over $k = \mathbb {Z}$, Theorem 1.1 leads to the following reformulation of the main theorem of Mandell [Reference MandellMan06] that highlights the usefulness of $A^{\mathcal {I}}$.

Theorem 1.2 Two finite type nilpotent spaces $X$ and $Y$ are weakly equivalent if and only if $A^{\mathcal {I}}(X;\mathbb {Z})$ and $A^{\mathcal {I}}(Y;\mathbb {Z})$ are weakly equivalent in $\mathrm {Ch}^{\mathcal {I}}_{\mathbb {Z}}[\mathcal {C}]$.

1.3 Outline of the construction

Our chain complexes are homologically graded so that cochains are concentrated in non-positive degrees. We model spaces by simplicial sets and consider the singular complex of a topological space if necessary.

The functor $A_{\mathrm {PL}}\colon \mathrm {sSet}^{{{\mathrm {op}}}} \to \mathrm {cdga}_{\mathbb {Q}}$ of polynomial forms used in rational homotopy theory (see e.g. [Reference Bousfield and GugenheimBG76, § 1]) motivates our definition of $A^{\mathcal {I}}$. We recall that $A_{\mathrm {PL}}$ arises by Kan extending the functor $A_{\mathrm {PL},\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {cdga}_{\mathbb {Q}}$ sending $[p]$ in $\Delta$ to the algebra of polynomial differential forms

(1.1)\begin{equation} A_{\mathrm{PL},p} = \Lambda(t_0,\ldots,t_p;dt_0,\ldots,dt_p)/(t_0+\cdots+t_p=1, dt_0+\cdots+dt_p = 0). \end{equation}

Here $\Lambda$ is the free graded commutative algebra over $\mathbb {Q}$, the generators $t_i$ have degree $0$, and the $dt_i$ have degree $-1$ (in our homological grading). Setting $d(t_i) = dt_i$ extends to a differential that turns $A_{\mathrm {PL},q}$ into a commutative dga, and addition of the $t_i$ and insertion of $0$ define the simplicial structure of $A_{\mathrm {PL},\bullet }$.

The topological standard $p$-simplex can be written as

\[ \Delta^{p} = \{(t_0,\ldots, t_p),\ t_0+\cdots+t_p=1,\ t_i \geq 0\} \]

and as

\[ \Delta^{p} = \{(x_0, x_1, \ldots, x_p, x_{p+1}),\ 0=x_0 \leq x_1 \leq \cdots \leq x_p \leq x_{p+1}=1\}. \]

Setting $x_i = t_0 + \cdots + t_{i-1}$ for $1 \leq i \leq p$ yields an isomorphism

(1.2)\begin{equation} A_{\mathrm{PL},p} \cong \Lambda(x_1,\ldots, x_p, dx_1,\ldots, dx_p) \cong \Lambda(x_1, dx_1) \otimes \cdots \otimes \Lambda(x_p, dx_p) \end{equation}

and this simple but crucial trick gives rise to the following reformulation: let $\mathbb {C} D^{0}$ be the free commutative $\mathbb {Q}$-dga on the chain complex $D^{0}$ with $(D^{0})_i=0$ if $i\neq 0,-1$ and $d_0\colon (D^{0})_0 \to (D^{0})_{-1}$ being $\mathrm {id}_{\mathbb {Q}}$. Moreover, let $S^{0}$ in $\mathrm {Ch}_{\mathbb {Q}}$ be the monoidal unit, i.e., the chain complex with a copy of $\mathbb {Q}$ concentrated in degree $0$. Sending $1 \in (\mathbb {C} D^{0})_0$ to either $0$ or $1$ in $\mathbb {Q}$ defines two commutative $\mathbb {C} D^{0}$-algebra structures on $S^{0}$ that we denote by $S^{0}_0$ and $S^{0}_1$. We argue in § 5.8 that the simplicial $\mathbb {Q}$-cdga $A_{\mathrm {PL},\bullet }$ is isomorphic to the two-sided bar construction

(1.3)\begin{equation} B_{\bullet}(S^{0}_0,\mathbb{C} D^{0}, S^{0}_1) = \left([p]\mapsto S^{0}_0 \otimes (\mathbb{C} D^{0})^{\otimes p} \otimes S^{0}_1\right) \end{equation}

whose face maps are provided by the algebra structures on $S^{0}_1$ and $S^{0}_0$ and the multiplication of $\mathbb {C} D^{0}$, and whose degeneracy maps are induced by the unit of $\mathbb {C} D^{0}$.

While polynomial differential forms appear to have no obvious counterpart in commutative $\mathcal {I}$-dgas, their description in terms of a two-sided bar construction easily generalizes to commutative $\mathcal {I}$-dgas over an arbitrary commutative ground ring $k$. For this we consider the left adjoint

\[ \mathbb{C} F_{{\mathbf{1}}}^{\mathcal{I}} \colon \mathrm{Ch}_k \to \mathrm{Ch}^{\mathcal{I}}_k[\mathcal{C}], \qquad A\mapsto \biggl({\mathbf{m}}\mapsto \bigoplus_{s \geq 0} \biggl(\biggl(\bigoplus_{\mathcal{I}({\mathbf{1}}^{\sqcup s},{\mathbf{m}})} A^{\otimes s}\biggr)\bigg / \Sigma_s\biggr)\biggr) \]

to the evaluation of a commutative $\mathcal {I}$-dga at the object ${\mathbf {1}}$ in $\mathcal {I}$ and recall that the unit $U^{\mathcal {I}}$ in $\mathrm {Ch}^{\mathcal {I}}_k$ is the constant $\mathcal {I}$-diagram on the unit $S^{0}$ in $\mathrm {Ch}_k$. As above, we form $\mathbb {C} F_{{\mathbf {1}}}^{\mathcal {I}} D^{0}$, observe that $U^{\mathcal {I}}$ gives rise to two commutative $\mathbb {C} F_{{\mathbf {1}}}^{\mathcal {I}} D^{0}$ algebras $U^{\mathcal {I}}_0$ and $U^{\mathcal {I}}_1$, and define $A^{\mathcal {I}}_{\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ to be the two-sided bar construction

\[ B_{\bullet}(U^{\mathcal{I}}_0,\mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0}) ,U^{\mathcal{I}}_1) = \big( [p] \mapsto U^{\mathcal{I}}_0 \boxtimes (\mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0}))^{\boxtimes p} \boxtimes U^{\mathcal{I}}_1 \big). \]

At this point it is central to work with strictly commutative objects since the multiplication map of an $E_{\infty }$ object is typically not an $E_{\infty }$ map. It is also important to use ${\mathbf {1}}$ rather than ${\mathbf {0}}$ in the above left adjoint since this ensures that $A^{\mathcal {I}}_p({\mathbf {m}})$ is contractible. This is related to J. Smith's insight that one has to use positive model structures for commutative symmetric ring spectra. Using that $\boxtimes$ is the coproduct in commutative $\mathcal {I}$-dgas, we get an isomorphism

\[ A^{\mathcal{I}}_p \cong \mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0} \oplus \cdots \oplus D^{0}) \]

identifying the simplicial degree $p$ part of $A^{\mathcal {I}}_\bullet$ with a free commutative $\mathcal {I}$-dga on $p$ generators. We also describe the simplicial structure maps of $A^{\mathcal {I}}_\bullet$ in terms of these generators (see § 3.4).

Via Kan extension and restriction along the canonical functor $\Delta ^{{{\mathrm {op}}}} \to \mathrm {sSet}^{{{\mathrm {op}}}}$, this $A^{\mathcal {I}}_{\bullet }$ gives rise to functors $A^{\mathcal {I}} \colon \mathrm {sSet}^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ and $\langle -\rangle _\mathcal {I} \colon \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]^{{{\mathrm {op}}}} \to \mathrm {sSet}$ (see Definition 3.6). More explicitly, the evaluation of $A^{\mathcal {I}}(X)$ at $\mathcal {I}$-degree ${\mathbf {m}}$ and chain complex level $q$ is the $k$-module of simplicial set morphisms $\mathrm {sSet}(X,A^{\mathcal {I}}_{\bullet }({\mathbf {m}})_q)$. For every $E$ in $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$, we set $\langle E\rangle _\mathcal {I} = \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}](E, A^{\mathcal {I}}_\bullet )$. The functors $A^{\mathcal {I}}$ and $\langle -\rangle _\mathcal {I}$ are contravariant right adjoint in the sense that there are natural isomorphisms $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}](E, A^{\mathcal {I}}(X))\cong \mathrm {sSet}(X, \langle E \rangle _\mathcal {I})$. They are integral analogues of the functor of polynomial forms and of the Sullivan realization functor.

1.4 Homotopical analysis of $A^{\mathcal {I}}$

We equip simplicial sets with the standard model structure and the category of commutative $\mathcal {I}$-dgas $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ with the descending $\mathcal {I}$-model structure making it Quillen equivalent to $E_{\infty }$ dgas (see § 4 for details).

Theorem 1.5 Both $A^{\mathcal {I}}$ and $\langle -\rangle _\mathcal {I}$ send cofibrations to fibrations and acyclic cofibrations to acyclic fibrations. They induce functors on the corresponding homotopy categories $\mathbb {R}\langle - \rangle _\mathcal {I} \colon \mathrm {Ho}(\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}])^{{{\mathrm {op}}}}\to \mathrm {Ho}(\mathrm {sSet})$ and $\mathbb {R}A^{\mathcal {I}}\colon \mathrm {Ho}(\mathrm {sSet})^{{{\mathrm {op}}}}\to \mathrm {Ho}(\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}])$ that are related by a natural isomorphism

\[ \mathrm{Ho}(\mathrm{Ch}^{\mathcal{I}}_k[\mathcal{C}])(E,\mathbb{R}A^{\mathcal{I}}(X)) \cong \mathrm{Ho}(\mathrm{sSet})(X,\mathbb{R}\langle E\rangle_\mathcal{I}). \]

Here, $\mathbb {R}(-)$ indicates that we right-derive the functors on $(\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}])^{{{\mathrm {op}}}}$ and $\mathrm {sSet}^{{{\mathrm {op}}}}$. So no fibrant replacement is necessary before applying $A^{\mathcal {I}}$ since all simplicial sets are cofibrant, while a cofibrant replacement in $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ is necessary to derive $\langle - \rangle _{\mathcal {I}}$.

A similar result for $A_{\mathrm {PL}}\colon \mathrm {sSet}^{{{\mathrm {op}}}} \to \mathrm {cdga}_{\mathbb {Q}}$ has been established by Bousfield and Gugenheim [Reference Bousfield and GugenheimBG76, § 8]. Mandell [Reference MandellMan02, § 4] constructed an analogous adjunction between simplicial sets and $E_{\infty }$ dgas using the $E_{\infty }$ structure on cochains as input. The functor of homotopy categories $\mathbb {R}A^{\mathcal {I}}$ fails to be full for the same reason as its counterpart studied by Mandell (see the discussion after [Reference MandellMan06, Theorem 0.2]). One of the referees of this paper raised the interesting question whether there exists a modification of our diagrammatic approach that remedies this shortcoming.

Since all simplicial sets are cofibrant, the statement of Theorem 1.5 implies that each $A^{\mathcal {I}}(X)$ is descending $\mathcal {I}$-fibrant. Writing $\mathcal {I}_{+}$ for the full subcategory of $\mathcal {I}$ on objects ${\mathbf {m}}$ with $|{\mathbf {m}}|\geq 1$, this means that for each morphism ${\mathbf {m}} \to {\mathbf {n}}$ in $\mathcal {I}_+$ and each $q \geq -|{\mathbf {m}}|$, the induced map $H_q(A^{\mathcal {I}}(X)({\mathbf {m}})) \to H_q(A^{\mathcal {I}}(X)({\mathbf {n}}))$ is an isomorphism. Hence each chain complex $A^{\mathcal {I}}(X)({\mathbf {m}})$ with ${\mathbf {m}}$ in $\mathcal {I}_+$ captures the cohomology groups of $X$ up to degree $|{\mathbf {m}}|$. This is the maximal information to be expected from $A^{\mathcal {I}}(X)({\mathbf {m}})$ as it is a chain complex concentrated in degrees between $0$ and $-|{\mathbf {m}}|$. Since the descending $\mathcal {I}$-model structure is the left Bousfield localization of a descending level model structure, it also follows that weak homotopy equivalences $X \to Y$ induce isomorphisms $H_q(A^{\mathcal {I}}(Y)({\mathbf {m}})) \to H_q(A^{\mathcal {I}}(X)({\mathbf {m}}))$ if ${\mathbf {m}}$ is in $\mathcal {I}_+$ and $q \geq -|{\mathbf {m}}|$.

Analogous to the corresponding statement about $A_{\mathrm {PL}}$, the proof of the theorem is based on the observation that the simplicial sets $A^{\mathcal {I}}_{\bullet }({\mathbf {m}})_q$ are contractible for a fixed ${\mathbf {m}}$ in $\mathcal {I}_+$ and a fixed chain level $q$ with $0 \geq q \geq -|{\mathbf {m}}|$.

Remark 1.6 After a first version of the present manuscript was made available, the authors learned from Dan Petersen that he recently found another construction of a commutative $\mathcal {I}$-dga that models the cochain algebra of a space [Reference PetersenPet20]. His approach applies to locally contractible topological spaces, uses sheaf cohomology, and has applications in the study of configuration spaces.

1.7 Notation and conventions

Throughout the paper, $k$ denotes a commutative ring with unit, and $\mathrm {Ch}_k$ denotes the category of unbounded homologically graded chain complexes of $k$-modules. For $q\in \mathbb {Z}$, we as usual write $S^{q}$ for the chain complex with $k$ concentrated in degree $q$, and $D^{q}$ for the chain complex with $(D^{q})_i=k$ if $i\in \{q,q-1\}$, with $(D^{q})_i=0$ for all other $i$, and with $d_q = \mathrm {id}_k$.

1.8 Organization

In § 2 we study homotopy colimits of commutative $\mathcal {I}$-dgas. Section 3 provides the construction of the functor $A^{\mathcal {I}}$. We review model structures on $\mathcal {I}$-chain complexes and commutative $\mathcal {I}$-dgas in § 4. In § 5 we establish the homotopical properties of $A^{\mathcal {I}}$, prove a comparison to the usual cochains disregarding multiplicative structures, and prove Theorem 1.5. In the final § 6, we prove the $E_{\infty }$ comparison from Theorem 1.1 as Theorem 6.2 and explain how to derive Theorem 1.2.

2. Homotopy colimits of $\mathcal {I}$-chain complexes

Let $\mathcal {I}$ be the category with objects the finite sets ${\mathbf {m}}=\{1,\ldots ,m\}$ for $m\geq 0$ and with morphisms the injective maps. In this section we study multiplicative properties of the homotopy colimit functor for $\mathcal {I}$-diagrams of chain complexes.

Definition 2.1 An $\mathcal {I}$-chain complex is a functor $\mathcal {I} \to \mathrm {Ch}_k$, and $\mathrm {Ch}^{\mathcal {I}}_k$ denotes the resulting functor category.

For each ${\mathbf {m}}$ in $\mathcal {I}$ there is an adjunction $F^{\mathcal {I}}_{{\mathbf {m}}}\colon \mathrm {Ch}_k \rightleftarrows \mathrm {Ch}^{\mathcal {I}}_k \colon \mathrm {Ev}_{{\mathbf {m}}}$ with right adjoint the evaluation functor $\mathrm {Ev}_{{\mathbf {m}}}(P) = P({\mathbf {m}})$ and left adjoint

(2.1)\begin{equation} F^{\mathcal{I}}_{{\mathbf{m}}}\colon \mathrm{Ch}_k \to \mathrm{Ch}^{\mathcal{I}}_k, \quad A \mapsto \left({\mathbf{n}} \mapsto \textstyle\bigoplus_{\mathcal{I}({\mathbf{m}},{\mathbf{n}})} A\right). \end{equation}

The functor $F^{\mathcal {I}}_{{\mathbf {0}}}$ is isomorphic to the constant functor since ${\mathbf {0}}$ is initial in $\mathcal {I}$.

2.2 Homotopy colimits

Our next aim is to define Bousfield–Kan style homotopy colimits for $\mathcal {I}$-diagrams of chain complexes. For the subsequent multiplicative analysis, we fix notation and conventions about bicomplexes.

Definition 2.3 Let $\mathrm {Ch}_k(\mathrm {Ch}_k)$ be the category of chain complexes in $\mathrm {Ch}_k$. Its objects are $\mathbb {Z} \times \mathbb {Z}$-graded $k$-modules $(Y_{p,q})_{p,q \in \mathbb {Z}}$ with $k$-linear horizontal differentials, $d_h \colon Y_{p,q} \rightarrow Y_{p-1,q}$, and $k$-linear vertical differentials, $d_v \colon Y_{p,q} \rightarrow Y_{p,q-1}$, such that

\[ d_h \circ d_h = 0 = d_v \circ d_v \quad \text{and}\quad d_v \circ d_h = d_h \circ d_v. \]

A morphism $g \colon Y \rightarrow Z$ in $\mathrm {Ch}_k(\mathrm {Ch}_k)$ is a family $(g_{p,q} \colon Y_{p,q} \rightarrow Z_{p,q})_{p,q \in \mathbb {Z} \times \mathbb {Z}}$ of $k$-linear maps that commute with the horizontal and vertical differentials, i.e.,

\[ d_h \circ g_{p,q} = g_{p-1,q} \circ d_h \quad \text{and}\quad d_v \circ g_{p,q} = g_{p,q-1} \circ d_v \]

for all $p,q \in \mathbb {Z}$.

Since we require horizontal and vertical differentials to commute, an additional sign is needed to form the total complex.

Definition 2.4 Let $Y$ be an object in $\mathrm {Ch}_k(\mathrm {Ch}_k)$. Its associated total complex $\operatorname {Tot}(Y)$ is the chain complex with $\operatorname {Tot}(Y)_n = \bigoplus _{p+q=n} Y_{p,q}$ in chain degree $n \in \mathbb {Z}$ and with differential $d_{\operatorname {Tot}}(y) = d_h(y) + (-1)^{p}d_v(y)$ for every homogeneous $y \in Y_{p,q}$.

Let $\mathrm {sCh}_k$ be the category of simplicial objects in $\mathrm {Ch}_k$.

Definition 2.5 For $A \in \mathrm {sCh}_k$ we denote by $C_*(A)$ the chain complex in chain complexes with $(C_*(A))_{p,q} = A_{p,q}$. We define the horizontal differential on $C_*(A)$, $d_h\colon A_{p,q} \rightarrow A_{p-1,q}$, as

\[ d_h = \sum_{i=0}^{p} (-1)^{i} d_i \]

where the $d_i$ are the simplicial face maps of $A$. The vertical differential on $C_*(A)$ is given by the differential $d^{A}$ on $A$.

As the $d_i$ commute with $d^{A}$, this gives indeed a chain complex in chain complexes whose horizontal part is concentrated in non-negative degrees.

Construction Let $P\colon \mathcal {I} \to \mathrm {Ch}_k$ be an $\mathcal {I}$-chain complex. The simplicial replacement of $P$ is the simplicial chain complex $\operatorname {srep}(P) \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch_k}$ given in simplicial degree $[p]$ by

\[ \operatorname{srep}(P)[p] = \bigoplus_{({{\mathbf{n}_0}} \xleftarrow{\alpha_1} \cdots \xleftarrow{\alpha_p} {{\mathbf{n}_p}}) \in N(\mathcal{I})_p} P({{\mathbf{n}_p}}). \]

The last face map sends the copy of $P({{\mathbf{n}_p}})$ indexed by $(\alpha _1,\ldots , \alpha _p)$ via $P(\alpha _p)$ to the copy of $P({{\mathbf{n}_{p-1}}})$ indexed by $(\alpha _1,\ldots ,\alpha _{p-1})$. The other face and degeneracy maps are induced by the identity on $P({{\mathbf{n}_p}})$ and corresponding simplicial structure maps of the nerve $\mathcal {N}(\mathcal {I})$ of $\mathcal {I}$.

The homotopy colimit functor $(-)_{h\mathcal {I}}\colon \mathrm {Ch}^{\mathcal {I}}_k \to \mathrm {Ch}_k$ is defined by

\[ P_{h\mathcal{I}} = \mathrm{Tot}\, C_*(\operatorname{srep}(P)). \]

A bicomplex spectral sequence argument shows that $P_{h\mathcal {I}} \to Q_{h\mathcal {I}}$ is a quasi-isomorphism if each $P({\mathbf {m}}) \to Q({\mathbf {m}})$ is a quasi-isomorphism. There is a canonical map $P_{h\mathcal {I}} \to \operatorname {colim}_{\mathcal {I}}P$, and one can show by cell induction that it is a quasi-isomorphism if $P$ is cofibrant in the projective level model structure on $\mathrm {Ch}^{\mathcal {I}}_k$. Together this shows that $P_{h\mathcal {I}}$ is a model for the homotopy colimit of $P$. A more elaborate argument that shows that $P_{h\mathcal {I}}$ is a corrected homotopy colimit can be found in [Reference Rodríguez GonzálezRG14]. A version of the above homotopy colimit for functors with values in modules can be found in [Reference Davis and LückDL98, Definition 3.13].

2.7 Commutative $\mathcal {I}$-dgas

The ordered concatenation of ordered sets ${\mathbf {m}}\sqcup {\mathbf {n}} = {\mathbf {m+n}}$ equips $\mathcal {I}$ with a symmetric strict monoidal structure that has ${\mathbf {0}}$ as a strict unit and the block permutations as symmetry isomorphisms. If $P,Q \colon \mathcal {I}\to \mathrm {Ch}_k$ are $\mathcal {I}$-chain complexes, then the left Kan extension of

\[ \mathcal{I} \times \mathcal{I} \xrightarrow{P \times Q} \mathrm{Ch}_k \times \mathrm{Ch}_k \xrightarrow{\otimes} \mathrm{Ch}_k \]

along $\sqcup \colon \mathcal {I} \times \mathcal {I} \to \mathcal {I}$ provides an $\mathcal {I}$-chain complex $P\boxtimes Q$. This defines a symmetric monoidal product $\boxtimes$ on $\mathrm {Ch}^{\mathcal {I}}_k$, the Day convolution product, with unit the constant $\mathcal {I}$-diagram $U^{\mathcal {I}}= F_\mathbf{0}^{\mathcal {I}}(S^{0})$.

Definition 2.8 A commutative $\mathcal {I}$-dga is a commutative monoid in $(\mathrm {Ch}^{\mathcal {I}}_k, \boxtimes , U^{\mathcal {I}})$, i.e., a lax symmetric monoidal functor $(\mathcal {I}, \sqcup , {\mathbf {0}}) \to (\mathrm {Ch}_k, \otimes , S^{0})$. The resulting category of commutative $\mathcal {I}$-dgas is denoted by $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$.

We write $\mathbb {C}\colon \mathrm {Ch}^{\mathcal {I}}_k \rightleftarrows \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}] \colon U$ for the adjunction with right adjoint the forgetful functor and left adjoint the free functor $\mathbb {C}$ given by

(2.2)\begin{equation} \mathbb{C}(P) = \bigoplus_{s \geq 0}P^{\boxtimes s}/ \Sigma_s. \end{equation}

The definition of $\boxtimes$ as a left Kan extension implies the existence of a natural isomorphism $F_{{{\mathbf{n}_1}}}^{\mathcal {I}}(A^{1}) \boxtimes F_{{{\mathbf{n}_2}}}^{\mathcal {I}}(A^{2}) \cong F_{{{\mathbf{n}_1\sqcup \mathbf{n}_2}}}^{\mathcal {I}}(A^{1}\otimes A^{2})$. This shows that in the case $P = F_{{\mathbf {1}}}^{\mathcal {I}}(A)$, we have an isomorphism $F_{{\mathbf {1}}}^{\mathcal {I}}(A)^{\boxtimes s} \cong F_{{\mathbf {1}}^{\sqcup s}}^{\mathcal {I}}(A^{\otimes s})$ of $\Sigma _s$-equivariant objects where $\Sigma _s$ acts on the target by permuting both the $\otimes$-powers of $A$ and the index set of the sum. The commutative $\mathcal {I}$-dga $\mathbb {C}(F_{{\mathbf {1}}}^{\mathcal {I}}(A))$ will be of particular importance for us, and we note that the above implies

(2.3)\begin{equation} \mathbb{C}(F_{{\mathbf{1}}}^{\mathcal{I}}(A))({\mathbf{m}}) \cong \bigoplus_{s \geq 0} \biggl(\biggl(\bigoplus_{\mathcal{I}({\mathbf{1}}^{\sqcup s},{\mathbf{m}})} A^{\otimes s}\biggl)\bigg / \Sigma_s\biggl). \end{equation}

2.9 Homotopy colimits of commutative $\mathcal {I}$-dgas

We will now construct an operad action on the homotopy colimit of a commutative $\mathcal {I}$-dga. Our construction involves a symmetric monoidal structure on simplicial chain complexes.

Definition 2.10 Let $A$ and $B$ be two simplicial chain complexes. Their tensor product $A \hat {\otimes } B$ is the simplicial chain complex with

\[ \bigoplus_{\ell + m = n} A_{p,\ell} \otimes B_{p, m} \]

in simplicial degree $p$ and chain degree $n$. The simplicial structure maps act coordinatewise and the differential $d^{\hat {\otimes }}$ is

\[ d^{\hat{\otimes}}(a \otimes b) = d(a) \otimes b + (-1)^{\ell} a \otimes d(b) \]

for $a \otimes b \in A_{p,\ell } \otimes B_{p, m}$. The symmetry isomorphism $c \colon A \hat {\otimes } B \rightarrow B \hat {\otimes } A$ sends a homogeneous element $a \otimes b$ as above to $(-1)^{\ell \cdot m} b \otimes a$.

We denote by $\widetilde {\Sigma }_s$ the translation category of the symmetric group $\Sigma _s$. Its objects are elements $\sigma \in \Sigma _s$ and $\tau \in \Sigma _s$ is the unique morphism from $\sigma$ to $\tau \circ \sigma$ in $\widetilde {\Sigma }_s$. Since there is exactly one morphism between each pair of objects, we get a functor

(2.4)\begin{equation} \widetilde{\Sigma}_s \times \widetilde{\Sigma}_{j_1}\times \cdots \times \widetilde{\Sigma}_{j_s} \to \widetilde{\Sigma}_{j_1+ \cdots + j_s} \end{equation}

by specifying that $(\sigma \; \tau _1,\ldots , \tau _s)$ is sent to the composite

\[ (\tau_{\sigma^{-1}(1)}\sqcup \cdots \sqcup \tau_{\sigma^{-1}(s)}) \circ \sigma(j_1,\ldots,j_s) \]

of the block permutation $\sigma (j_1,\ldots ,j_s) \colon {{\mathbf{j}_1}}\sqcup \cdots \sqcup {{\mathbf{j}_s}} \to {{\mathbf{j}_{\sigma ^{-1}(1)}}} \sqcup \cdots \sqcup {{\mathbf{j}_{\sigma ^{-1}(s)}}}$ induced by $\sigma$ and the concatenation of the $\tau _{\sigma ^{-1}(j)}$ (see [Reference MayMay74, § 4] and [Reference Cohen, Lada and MayCLM76, Correction 34 on p. 490]).

The action (2.4) is associative, unital, and symmetric. It turns the collection of categories $(\widetilde {\Sigma }_n)_{n\geq 0}$ into an operad $\widetilde {\Sigma }$ in the category $\mathrm {cat}$ of small categories. For the next definition, we use that the nerve functor $\mathcal {N}\colon \mathrm {cat} \to \mathrm {sSet}$ and the $k$-linearization $k\{-\}\colon \mathrm {sSet} \to \mathrm {sMod}_k$ are strong symmetric monoidal and that the associated chain complex functor $C_*\colon \mathrm {sMod}_k \to \mathrm {Ch}_k$ is lax symmetric monoidal (compare Proposition 2.16 below).

Definition 2.11 The Barratt–Eccles operad is the $E_{\infty }$ operad $\mathcal {E}$ in $\mathrm {Ch}_k$ with $\mathcal {E}_n = C_*(k\{\mathcal {N}(\widetilde {\Sigma }_n)\})$ and operad structure induced by the functor (2.4).

The commutativity operad $\mathcal {C}$ in $\mathrm {Ch}_k$ is the operad with $\mathcal {C}_n = S^{0}$ concentrated in chain complex level $0$. The operad $\mathcal {E}$ admits a canonical operad map $\mathcal {E} \to \mathcal {C}$ which is a quasi-isomorphism in each level. Moreover, $\mathcal {E}_n$ is a free $k[\Sigma _n]$-module for each $n$. Thus $\mathcal {E}$ is an $E_{\infty }$ operad in $\mathrm {Ch}_k$ in the terminology of [Reference MandellMan02, Definition 4.1].

Applying the nerve to $\widetilde {\Sigma }$ defines an operad in $\mathrm {sSet}$ that is more commonly referred to as the Barratt–Eccles operad. It is well known that the latter operad acts on the nerve of a permutative category [Reference MayMay74, Theorem 4.9]. The next lemma recalls the underlying action of $\widetilde {\Sigma }$ for the permutative category $\mathcal {I}$.

Lemma 2.12 The operad $\widetilde {\Sigma }$ in $\mathrm {cat}$ acts on $\mathcal {I}$. On objects $\sigma$ in $\widetilde {\Sigma }_n$ and ${\mathbf {m}_i}$ in $\mathcal {I}$, the action is given by $(\sigma \; {{\mathbf{m}_1}}, \ldots , {{\mathbf{m}_n}}) \mapsto {{\mathbf{m}_{\sigma ^{-1}(1)}}} \sqcup \cdots \sqcup {{\mathbf{m}_{\sigma ^{-1}(n)}}}$.

Proof. This is a special case of [Reference MayMay74, Lemmas 4.3 and 4.4]. Functoriality in morphisms of $\widetilde {\Sigma }_n$ uses the symmetry isomorphism of $\mathcal {I}$ while the functoriality in $\mathcal {I}$ is the evident one.

The next result is our main motivation for considering the Barratt–Eccles operad. It is analogous to the result about $\mathcal {I}$-diagrams in spaces established in [Reference SchlichtkrullSch09, Proposition 6.5].

Theorem 2.13 For every commutative $\mathcal {I}$-dga $E$, the chain complex $E_{h\mathcal {I}}$ has a natural action of the Barratt–Eccles operad $\mathcal {E}$.

Proof. We can view the simplicial $k$-module $k\{\mathcal {N}(\widetilde {\Sigma }_n)\}$ as a simplicial chain complex concentrated in chain degree $0$. The operad structure of $\widetilde {\Sigma }$ turns these simplicial $k$-modules into an operad in $\mathrm {sMod}_k$ and in $s\mathrm {Ch}_k$. We construct an action

\[ k\{\mathcal{N}(\widetilde{\Sigma}_s)\} \hat{\otimes} \operatorname{srep}(E)^{\hat{\otimes} s}\to \operatorname{srep}(E). \]

It is enough to specify the action of a $q$-simplex $\sigma _0 \xleftarrow {\tau _1} \sigma _1 \leftarrow \ldots \xleftarrow {\tau _q} \sigma _q$ in $\mathcal {N}(\widetilde {\Sigma }_s)$ on a collection of elements $(\alpha ^{i}_1, \ldots , \alpha ^{i}_q; x^{i})$ in $\operatorname {srep}(E)[q]_{p_i}$ where $\alpha ^{i}_j \colon {\mathbf{n}^{i}_j} \to {\mathbf{n}^{i}_{j-1}}$ is a map in $\mathcal {I}$ and $x^{i}$ is an element in $E({{\mathbf{n}}^{i}_q})_{p_i}$. On the indices $(\alpha ^{i}_1, \ldots , \alpha ^{i}_q)$ for the sums in the simplicial replacement, we use the action of $(\tau _1,\ldots , \tau _q)$ provided by the previous lemma. As element in $E({\mathbf{n}_q^{\sigma _q^{-1}(1)}} \sqcup \cdots \sqcup {\mathbf{n}_q^{\sigma _q^{-1}(s)}})_{p_1+\cdots + p_s}$ we take the product $x^{\sigma _q^{-1}(1)}\cdots x^{\sigma _q^{-1}(s)}$. Since $E$ is commutative, this does indeed define an operad action in $\mathrm {sCh}_k$. By Propositions 2.16 and 2.17 below, the composite $\operatorname {Tot} C_*$ is lax symmetric monoidal. Hence it follows that $\mathcal {E}$ acts on $E_{h\mathcal {I}}$.

2.14 Monoidality of $C_*$ and $\operatorname {Tot}$

It remains to verify the monoidal properties of $C_*$ and $\operatorname {Tot}$ that were used in the proof of Theorem 2.13.

Definition 2.15 Let $Y$ and $Z$ be two objects in $\mathrm {Ch}_k(\mathrm {Ch}_k)$. Their tensor product is $Y \otimes Z$ is the object in $\mathrm {Ch}_k(\mathrm {Ch}_k)$ with

\[ (Y \otimes Z)_{p,q}= \bigoplus_{a_1+a_2 = p} \bigoplus_{b_1+b_2 = q} Y_{a_1,b_1} \otimes Z_{a_2,b_2} \]

and differentials $d_h^{\otimes }(y \otimes z) = d_h(y) \otimes z + (-1)^{a_1}y \otimes d_h(z)$ and $d_v^{\otimes }(y \otimes z) = {d_v(y) \otimes z} + (-1)^{b_1} y \otimes d_v(z)$. The symmetry isomorphism $\tau \colon Y \otimes Z \rightarrow Z \otimes Y$ sends a homogeneous element $y \otimes z \in Y_{a_1,b_1} \otimes Z_{a_2,b_2}$ to $(-1)^{a_1a_2 +b_1b_2} z \otimes y$.

Proposition 2.16 The functor $C_* \colon \mathrm {sCh}_k \rightarrow {\mathrm {Ch}_k}(\mathrm {Ch}_k)$ is lax symmetric monoidal.

Proof. As in [Reference Mac LaneMac63, Theorem VIII.8.8] we denote $(p,q)$-shuffles as two disjoint subsets $\mu _1 < \cdots < \mu _p$ and $\nu _1 < \cdots < \nu _q$ of $\{0,\ldots , p+q-1\}$. For simplicial chain complexes $A$ and $B$ we define maps

\[ \operatorname{sh}_{A,B} \colon C_*(A) \otimes C_*(B) \rightarrow C_*(A \hat{\otimes} B) \]

that turn $C_*$ into a lax symmetric monoidal functor: if $a \otimes b$ is a homogeneous element in $A_{r_1,r_2} \otimes B_{s_1,s_2}$ we set

\[ \operatorname{sh}_{A,B}(a \otimes b) = \sum_{(\mu,\nu)} \text{sgn}(\mu,\nu) s_{\nu_{s_1}} \circ \cdots \circ s_{\nu_1}(a) \otimes s_{\mu_{r_1}} \circ \cdots \circ s_{\mu_1}(b). \]

Here, the sum runs over all $(r_1,s_1)$-shuffles $(\mu , \nu )$ and $\text {sgn}(\mu ,\nu )$ denotes the signum of the associated permutation.

As the simplicial structure maps of $A$ and $B$ commute with $d^{A}$ and $d^{B}$, it follows that $\operatorname {sh}$ commutes with the vertical differential. The proof that the horizontal differential is compatible with $\operatorname {sh}$ is the same as for $\operatorname {sh}$ in the context of simplicial modules.

It remains to show that $\operatorname {sh}$ turns $C_*$ into a lax symmetric monoidal functor, i.e., we have to show that

(2.5)\begin{equation} C_*(c) \circ \operatorname{sh}(a \otimes b) = \operatorname{sh} \circ \tau(a \otimes b) \end{equation}

for any homogeneous element $a \otimes b \in A_{r_1,r_2} \otimes B_{s_1,s_2}$. As $\tau (a \otimes b) = (-1)^{r_1s_1+r_2s_2} b \otimes a$, the right-hand side of equation (2.5) is

\[ \sum_{(\xi,\zeta)} (-1)^{r_1s_1+r_2s_2} \text{sgn}(\xi,\zeta) s_{\zeta_{s_1}} \circ \cdots \circ s_{\zeta_1}(b) \otimes s_{\xi_{r_1}} \circ \cdots \circ s_{\xi_1}(a) \]

with $(\xi ,\zeta )$ being $(s_1,r_1)$-shuffles, whereas the left-hand side of the equation gives

\[ (-1)^{r_2s_2} \sum_{(\mu,\nu)} \text{sgn}(\mu,\nu) s_{\mu_{r_1}} \circ \cdots \circ s_{\mu_1}(b) \otimes s_{\nu_{s_1}} \circ \cdots \circ s_{\nu_1}(a) \]

because $\tau$ introduces the sign $(-1)^{r_2s_2}$. Precomposing with the permutation that exchanges the blocks $0 < \cdots < r_1-1$ and $r_1 < \cdots < r_1+s_1 -1$ gives a bijection between the summation indices and introduces the sign $(-1)^{r_1s_1}$. Hence the two sides agree.

Proposition 2.17 The functor $\operatorname {Tot}$ is strong symmetric monoidal.

Proof. Spelling out what $\operatorname {Tot}(Y) \otimes \operatorname {Tot}(Z)$ is in degree $n$ we obtain

\[ (\operatorname{Tot}(Y) \otimes \operatorname{Tot}(Z))_n \cong \bigoplus_{r_1+r_2+s_1+s_2=n} Y_{r_1,r_2} \otimes Z_{s_1,s_2}, \]

and we send a homogeneous element $y \otimes z \in Y_{r_1,r_2} \otimes Z_{s_1,s_2}$ to the element

\[ (-1)^{r_2s_1} y \otimes z \in \operatorname{Tot}(Y \otimes Z)_n \cong \bigoplus_{r_1+s_1+r_2+s_2=n} Y_{r_1,r_2} \otimes Z_{s_1,s_2}. \]

This gives isomorphisms

\[ \varphi_{Y,Z} \colon \operatorname{Tot}(Y) \otimes \operatorname{Tot}(Z) \rightarrow \operatorname{Tot}(Y \otimes Z) \]

that are associative. It is clear that $\operatorname {Tot}$ respects the unit up to isomorphism.

The maps $\varphi _{Y,Z}$ are compatible with the differential. Let $y \otimes z$ be a homogeneous element in $Y_{r_1,r_2} \otimes Z_{s_1,s_2}$. The composition $d_{\operatorname {Tot}} \circ \varphi$ applied to $y \otimes z$ gives

\begin{align*} d_{\operatorname{Tot}} \circ \varphi(y \otimes z) &= (-1)^{r_2s_1}d_h^{\otimes}(y \otimes z) + (-1)^{r_2s_1}(-1)^{r_1+s_1}d_v^{\otimes}(y \otimes z) \\ &= (-1)^{r_2s_1}d_h(y) \otimes z + (-1)^{r_2s_1+r_1} y \otimes d_h(z) \\ &\quad + (-1)^{r_2s_1+r_1+s_1}d_v(y) \otimes z + (-1)^{r_2s_1+r_1+s_1+r_2} y\otimes d_v(z). \end{align*}

First applying the differential to $y \otimes z$ and then $\varphi$ yields

\begin{align*} & \varphi(d_{\operatorname{Tot}}(y) \otimes z + (-1)^{r_1+r_2}y \otimes d_{\operatorname{Tot}}(z)) \\ &\quad = \varphi(d_h(y) \otimes z + (-1)^{r_1}d_v(y) \otimes z + (-1)^{r_1+r_2}y \otimes d_h(z) + (-1)^{r_1+r_2+s_1} y \otimes d_v(z)) \\ &\quad = (-1)^{r_2s_1}d_h(y) \otimes z + (-1)^{r_1+(r_2-1)s_1}d_v(y) \otimes z + (-1)^{r_1+r_2+r_2(s_1-1)}y \otimes d_h(z)\\ &\qquad + (-1)^{r_1+r_2+s_1+r_2s_1} y \otimes d_v(z), \end{align*}

and thus both terms agree.

We denote the symmetry isomorphism in the category of chain complexes by $\chi$. Then

\[ \varphi \circ \chi(e\otimes f) = \varphi((-1)^{(r_1+r_2)(s_1+s_2)} f \otimes e) = (-1)^{r_1s_1+r_2s_2+s_1r_2 +2s_2r_1}f \otimes e \]

and this is equal to

\[ \operatorname{Tot}(\tau) \circ \varphi (e\otimes f) = \operatorname{Tot}(\tau)((-1)^{r_2s_1}e \otimes f) = (-1)^{r_2s_1+r_1s_1+r_2s_2} f\otimes e. \]

Remark 2.18 One can also consider a symmetric monoidal structure on $\mathrm {Ch}_k(\mathrm {Ch}_k)$ with the same underlying tensor product but with symmetry isomorphism

\[ y \otimes z \mapsto (-1)^{(r_1+r_2)(s_1+s_2)} z \otimes y \]

for homogeneous elements $y \otimes z \in Y_{r_1,r_2} \otimes Z_{s_1,s_2}$. Then one can take $\varphi$ in Proposition 2.17 to be the identity. However, this symmetry isomorphism is not compatible with the shuffle transformation from the proof of Proposition 2.16.

Remark 2.19 For a simplicial chain complex $A$ one can also consider a normalized object $N(A) \in \mathrm {Ch}_k(\mathrm {Ch}_k)$ where one divides out by the subobject generated by degenerate elements. As the simplicial structure maps commute with the differential of $A$, this is well defined, and the proof of Proposition 2.16 can be adapted as in [Reference Mac LaneMac63, Corollary VIII.8.9] to show that the functor $N\colon \mathrm {sCh}_k \rightarrow \mathrm {Ch}_k(\mathrm {Ch}_k)$ is also lax symmetric monoidal. Consequently, one can also use $N$ instead of $C_*$ in the definition of the Barratt–Eccles operad $\mathcal {E}$ and the homotopy colimit $P_{h\mathcal {I}}$ so that Theorem 2.13 remains valid.

3. Cochain functors with values in $\mathcal {I}$-chain complexes

In this section we construct the functor $A^{\mathcal {I}}$ discussed in the introduction and a version of the ordinary cochains with values in $\mathcal {I}$-chain complexes.

3.1 Adjunctions induced by simplicial objects

We briefly recall an ubiquitous construction principle for adjunctions that we will later apply to simplicial objects in the categories of commutative $\mathcal {I}$-dgas and $\mathcal {I}$-chain complexes in order to define the commutative $\mathcal {I}$-dga of polynomial forms on a simplicial set and an integral version of the Sullivan realization functor (see Definition 3.6).

Construction Let $D_{\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathcal {D}$ be a simplicial object in a complete category $\mathcal {D}$. Passing to opposite categories, $D_{\bullet }$ gives rise to a functor $\widetilde {D}^{\bullet } \colon \Delta \to \mathcal {D}^{{{\mathrm {op}}}}$. Since $\mathcal {D}$ is complete, $\mathcal {D}^{{{\mathrm {op}}}}$ is cocomplete. Hence restriction and left Kan extension along $\Delta \to \mathrm {sSet}, [p]\mapsto \Delta ^{p}$ define an adjunction

\[ \widetilde{D}\colon \mathrm{sSet} \rightleftarrows \mathcal{D}^{{{\mathrm{op}}}} \colon K_D. \]

Writing $D \colon \mathrm {sSet}^{{{\mathrm {op}}}} \to \mathcal {D}$ for the opposite of $\widetilde {D}$, this implies that for a simplicial set $X$ and an object $E$ of $\mathcal {D}$, we have a natural isomorphism

(3.1)\begin{equation} \mathcal{D}(E, D(X)) = \mathcal{D}^{{\mathrm{op}}}(\widetilde{D}(X),E) \cong \mathrm{sSet}(X, K_D(E)) \end{equation}

exhibiting $D$ and $K_D$ as contravariant right adjoint functors. Unraveling definitions, the contravariant functors $K_D$ and $D$ are given by $K_D(E)_\bullet = \mathcal {D}(E,D_\bullet )$ and $D(X) = \lim _{\Delta ^{p} \to X} D_p$ where the limit is taken over the category of elements of $X$. In the special case $\mathcal {D} = \mathrm {Set}$, writing $X$ as a colimit of representable functors indexed over its category of elements provides a natural bijection $D(X) \cong \mathrm {sSet}(X,D)$.

The functor $D$ extends the original functor $D_{\bullet }$ in that there is a natural isomorphism $D_{\bullet } \cong D(\Delta ^{\bullet })$. The construction is also functorial in $D_{\bullet }$, i.e., a natural transformation $D_{\bullet } \to D'_{\bullet }$ of functors $\Delta ^{{{\mathrm {op}}}}\to \mathcal {D}$ induces a natural transformation $D \to D'$ of functors $\mathrm {sSet}^{{{\mathrm {op}}}} \to \mathcal {D}$.

We note an immediate consequence of having the adjunction $(\widetilde D, K_D)$.

Lemma 3.3 The functor $D$ takes colimits in $\mathrm {sSet}$ to limits in $\mathcal {D}$, and $K_D$ takes colimits in $\mathcal {D}$ to limits in $\mathrm {sSet}$.

When $D_{\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ is a simplicial object in commutative $\mathcal {I}$-dgas, we may apply Construction 3.2 both to $D_{\bullet }$ and to its composite $D'_{\bullet } = UD_{\bullet }$ with the forgetful functor $U\colon \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}] \to \mathrm {Ch}^{\mathcal {I}}_k$. Since the extensions of $D_{\bullet }$ and $D'_{\bullet }$ to functors on $\mathrm {sSet}$ are defined by limit constructions and $U$ commutes with limits, we have a natural isomorphism $U(D(X)) \cong D'(X)$ for a simplicial set $X$. The adjoints $K_{D}$ and $K_{D'}$ are related by a natural isomorphism $K_{D'} \cong K_{D}\circ \mathbb {C} \colon (\mathrm {Ch}^{\mathcal {I}}_k)^{{{\mathrm {op}}}} \to \mathrm {sSet}$. An analogous remark applies to simplicial objects of algebras in $\mathrm {Ch}^{\mathcal {I}}_k$ over a more general operad than the commutativity operad.

For $D_{\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$, the fact that $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}] \to \mathrm {Set}$, $E\mapsto E({\mathbf {m}})_q$ commutes with limits implies that the underlying set of $D(X)({\mathbf {m}})_q$ is $\mathrm {sSet}(X,D_{\bullet }({\mathbf {m}})_q)$. The pointwise $k$-module structure, differentials and multiplications on these sets give rise to the commutative $\mathcal {I}$-dga structure on $D(X)$.

3.4 The commutative $\mathcal {I}$-dga version of polynomial forms

Composing the left adjoints in the adjunctions $(F_{{\mathbf {1}}}^{\mathcal {I}},\mathrm {Ev_{{\mathbf {1}}}})$ and $(\mathbb {C},U)$ introduced in (2.1) and (2.2) provides a left adjoint $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}} \colon \mathrm {Ch}_k \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ made explicit in (2.3). We are particularly interested in the commutative $\mathcal {I}$-dga $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0})$. For an element $i \in k$, the $k$-module map $(D^{0})_0 = k \to k = \mathrm {Ev}_1(U^{\mathcal {I}})_0$ determined by $1\mapsto i$ gives rise to a map $\varepsilon _i \colon \mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0}) \to U^{\mathcal {I}}$. We write $U^{\mathcal {I}}_0$ and $U^{\mathcal {I}}_1$ for the two commutative $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0})$-algebras resulting from the elements $0,1 \in k$.

Definition 3.5 We let $A^{\mathcal {I}}_{\bullet }\colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ be the simplicial commutative $\mathcal {I}$-dga given by the two-sided bar construction

(3.2)\begin{equation} [p] \mapsto A^{\mathcal{I}}_p = B_p(U^{\mathcal{I}}_0,\mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0}) ,U^{\mathcal{I}}_1) = U^{\mathcal{I}}_0 \boxtimes \mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0})^{\boxtimes p} \boxtimes U^{\mathcal{I}}_1. \end{equation}

As with the space-level version (see e.g. [Reference MayMay72]), the outer face maps are provided by the module structures of $U^{\mathcal {I}}_0$ and $U^{\mathcal {I}}_1$ resulting from the above algebra structures, the inner face maps come from the multiplication of $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0})$, and the degeneracy maps are induced by its unit.

To make this simplicial object more explicit, we write $D^{0}_r$ for the chain complex with copies of $k$ on generators $r$ in degree $0$ and on $dr$ in degree $-1$ and $0$ elsewhere. Its non-zero differential is $d(a\cdot r) = a\cdot dr$. Since $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}$ is left adjoint and $U^{\mathcal {I}}$ is the unit for $\boxtimes$, commuting $\mathbb {C} F_1^{\mathcal {I}}$ with coproducts provides an isomorphism of commutative $\mathcal {I}$-dgas

\[ A^{\mathcal{I}}_p \cong \mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0}_{r_1(p)} \oplus \cdots \oplus D^{0}_{r_p(p)}) \]

where the generators $r_1(p), \ldots , r_p(p)$ correspond to the $p$ copies of $\mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0})$. By adjunction, maps $f \colon \mathbb {C} F^{\mathcal {I}}_{{\mathbf {1}}}(D^{0}_{r_1(p)} \oplus \cdots \oplus D^{0}_{r_p(p)}) \to E$ in $\mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$ correspond to families of elements $f(r_1(p)), \ldots , f(r_p(p)) \in E(\mathbf {1})_0$.

We now set $r_0(p) = 0$ and define $r_{p+1}(p)$ to be the image of $1$ under the map

\[ k = U^{\mathcal{I}}({\mathbf{1}})_0 \to \mathbb{C} F^{\mathcal{I}}_{{\mathbf{1}}}(D^{0}_{r_1(p)} \oplus \cdots \oplus D^{0}_{r_p(p)})({\mathbf{1}})_0 \]

induced by the unit. With this notation, the simplicial structure maps of the two-sided bar construction (3.2) are determined by requiring

(3.3)\begin{equation} d_i(r_j(p)) = \begin{cases} r_j(p-1) & \text{if } j \leq i ,\\ r_{j-1}(p-1) & \text{if } j> i, \end{cases}\quad s_i(r_j(p)) = \begin{cases} r_j(p+1) & \text{if } j \leq i , \\ r_{j+1}(p+1) & \text{if } j > i. \end{cases} \end{equation}

Applying Construction 3.2, we obtain the following pair of adjoint functors.

Definition 3.6

  1. (i) The commutative $\mathcal {I}$-dga of polynomial forms on a simplicial set $X$, $A^{\mathcal {I}}(X)$, is defined as

    \[ A^{\mathcal{I}}(X) = \mathrm{sSet}(X, A^{\mathcal{I}}_\bullet). \]
    This defines a functor $A^{\mathcal {I}} \colon \mathrm {sSet}^{{{\mathrm {op}}}} \rightarrow \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]$.
  2. (ii) Its adjoint functor $\langle -\rangle _\mathcal {I} \colon \mathrm {Ch}^{\mathcal {I}}_k[\mathcal {C}]^{{{\mathrm {op}}}}\rightarrow \mathrm {sSet}$ sends a commutative $\mathcal {I}$-dga $E$ to

    \[ \langle E\rangle_\mathcal{I} = \mathrm{Ch}^{\mathcal{I}}_k[\mathcal{C}](E, A^{\mathcal{I}}_\bullet). \]
    The simplicial set $\langle E\rangle _\mathcal {I}$ is the Sullivan realization of $E$.

For a simplicial $k$-module $Z \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Mod}_k$, extra degeneracies are a family of $k$-linear maps $s_{p+1}\colon Z_p \to Z_{p+1}$ satisfying: $d_{p+1} s_{p+1} = {{\mathrm {id}}}_{Z_p}$ if $p \geq 0$; $d_i s_{p+1} = s_p d_i \colon Z_p \to Z_p$ if $p\geq 1$ and $0\leq i \leq p$; and $0 = d_0 s_1 \colon Z_0 \to Z_0$. The presence of extra degeneracies implies that $Z$ is contractible to $0$ (in the sense that $Z \to 0$ is a weak equivalence in $\mathrm {sMod}_k$) since the maps $(-1)^{p+1} s_{p+1}$ define a contracting homotopy for the chain complex $C_*(Z)$.

The following lemma is the technical backbone for our homotopical analysis of the prolongation $A^{\mathcal {I}}$ of $A^{\mathcal {I}}_{\bullet }$ in § 5. It is analogous to [Reference Bousfield and GugenheimBG76, Proposition 1.1].

Lemma 3.7 Let ${\mathbf {m}}$ be an object of $\mathcal {I}$ with $m = |{\mathbf {m}}|\geq 1$. Then for all integers $q$ satisfying $0 \geq q > -m$, the simplicial $k$-module $A^{\mathcal {I}}_\bullet ({\mathbf {m}})_q$ is contractible to $0$.

Remark 3.8 The statement of the lemma does not hold for general ${\mathbf {m}}$ and $q$. The easiest case is ${\mathbf {m}} = {\mathbf {0}}$ and $q=0$ where $A^{\mathcal {I}}_\bullet ({\mathbf {0}})_0$ is the constant simplicial object on $k$, which is not contractible. One can also show that $\pi _1(A^{\mathcal {I}}_\bullet ({\mathbf {1}})_{-1})$ is non-trivial.

Proof of Lemma 3.7 Let $A$ be a chain complex. The canonical bijection

\[ \mathcal{I}({\mathbf{1}}^{\sqcup s}, {\mathbf{m}})/\Sigma_s \to \{ T\subseteq{\mathbf{m}}\,|\, |T|=s\},\quad [\alpha] \mapsto \mathrm{im}(\alpha) \]

induces natural isomorphisms

(3.4)\begin{equation} \mathbb{C}(F_{{\mathbf{1}}}^{\mathcal{I}}(A))({\mathbf{m}}) = \bigoplus_{s\geq 0}\biggl(\bigoplus_{\mathcal{I}({\mathbf{1}}^{\sqcup s},{\mathbf{m}})} A^{\otimes s}/\Sigma_s\biggr) \xrightarrow{\cong} \bigoplus_{T \subseteq {\mathbf{m}}} A^{\otimes T}\xrightarrow{\cong} (A \oplus S^{0})^{\otimes m}. \end{equation}

Here the last isomorphism sends the tensor power indexed by $T$ to an iterated tensor product of copies of $A$ and $S^{0}$ with copies of $A$ placed at the entries indexed by $T$.

The isomorphism (3.4) specializes to an isomorphism

\[ A^{\mathcal{I}}_p({\mathbf{m}})_q \cong \biggl( \Big(D^{0}_{r_1(p)} \oplus \cdots \oplus D^{0}_{r_p(p)} \oplus S^{0}_{r_{p+1}(p)}\Big)^{\otimes {\mathbf{m}}}\biggr)_q \]

where we now write $r_{p+1}(p)$ for the generator of $(S^{0})_0$. Under this identification, the simplicial structure maps of $[p] \mapsto A^{\mathcal {I}}_p({\mathbf {m}})_q$ are again determined by (3.3).

As a first step, we now notice that $A^{\mathcal {I}}_{\bullet } ({\mathbf {1}})_0$ is contractible since $s_{p+1}(r_j(p)) = r_{j}(p+1)$ defines extra degeneracies for this simplicial object. For the case of a general ${\mathbf {m}}$ and $0\geq q > -m$, we notice that the above isomorphisms induce an isomorphism of simplicial objects

\[ A^{\mathcal{I}}_p({\mathbf{m}})_q \cong \bigoplus_{\substack{q_1+ \cdots + q_m = q\\ q_i = 0, -1} } A^{\mathcal{I}}_p({\mathbf{1}})_{q_1} \otimes \dots \otimes A^{\mathcal{I}}_p({\mathbf{1}})_{q_m}. \]

Since $q > -m$, each summand has at least one tensor factor that is of chain complex degree $0$ and thus contractible by the previous step. Since the shuffle map is a chain homotopy equivalence [Reference Mac LaneMac63, Theorem VIII.8.1], it follows that each summand and thus the whole sum is contractible.

3.9 Ordinary cochains

Let $C(X;k)$ be the cochains with values in $k$ on the simplicial set $X$, viewed as a homologically graded chain complex concentrated in non-positive degrees. (At this point, we disregard its cup product structure.) So for $q \geq 0$, we have $C(X;k)_{-q} = \mathrm {Set}(X_q,k)$ with the pointwise $k$-module structure and differential induced by the face maps of $X$. The cochains on the standard $n$-simplices assemble to a functor $C_{\bullet } \colon \Delta ^{{{\mathrm {op}}}} \to \mathrm {Ch}_k, [p] \mapsto C(\Delta ^{p};k)$. The following lemma is well known (see e.g. [Reference Félix, Halperin and ThomasFHT01, Lemmas 10.11 and 10.12(ii)]).

Lemma 3.10

  1. (i) The extension of $C_{\bullet }$ to a functor $\mathrm {sSet}^{{{\mathrm {op}}}}\to \mathrm {Ch}_k$ resulting from Construction 3.2 is naturally isomorphic to $C(-;k)$.

  2. (ii) For all $q \in \mathbb {Z}$, the simplicial $k$-module $C_{\bullet ,q} = C(\Delta ^{\bullet };k)_q$ is contractible to $0$.

Proof. For (i), we note that the description of the extension as $\lim _{\Delta ^{p} \to X} C(\Delta ^{p};k)$ implies that there is a natural map from $C(X;k)$. Writing $X$ as a colimit of representable functors over its category of elements, the evaluation of this map at $q$ is a bijection since taking maps into $k$ turns colimits into limits.

For (ii), we only need to consider the case $q \leq 0$, set $n = -q$ and define

\[ s_{p+1}\colon C(\Delta^{p};k)_q \to C(\Delta^{p+1};k)_q \]

on $f \colon (\Delta ^{p})_n \to k$ as follows: We set $s_{p+1}(f) \colon (\Delta ^{p+1})_n \to k$ to be $0$ on all $n$-simplices not in the image of $d^{p+1}\colon \Delta ^{p} \to \Delta ^{p+1}$ and require that $s_{p+1}(f)$ restricts to $f$ on the last face. Identifying $\Delta ^{p+1}_n$ with $\Delta ([n],[p+1])$, this means that $s_{p+1}(f)(d^{p+1}\alpha ') = f(\alpha ')$ and $s_{p+1}(f)(\alpha) = 0$ if $p+1 \in \alpha ([n])$. Then for $\beta \colon [n] \to [p]$, the equation $d_{p+1}(s_{p+1}(f))(\beta ) = \beta$ holds by definition, and $d_0s_1 = 0$ in simplicial degree $0$ is also immediate. Now assume $p\geq 1$. If $\beta$ has $p$ in its image, then $d_is_{p+1}(f)(\beta ) = 0 = s_pd_i(f)(\beta )$. Otherwise, we must have $\beta = d^{p} \beta '$ and thus

\begin{align*} d_i s_{p+1}(f)(d^{p} \beta') &= s_{p+1}(f)(d^{i}d^{p} \beta') = s_{p+1}(f)(d^{p+1}d^{i} \beta') \\ &= f(d^{i} \beta') = (d_if)(\beta') = s_p d_i(f)(d^{p}\beta'). \end{align*}

For later use, we lift $C_{\bullet }$ to $\mathcal {I}$-chain complexes by defining

\[ C^{\mathcal{I}}_{\bullet}\colon \Delta^{{{\mathrm{op}}}} \to \mathrm{Ch}^{\mathcal{I}}_k,\quad [p] \mapsto F_{{\mathbf{0}}}^{\mathcal{I}}(C(\Delta^{p};k)). \]

Corollary 3.11

  1. (i) The extension $C^{\mathcal {I}}$ of $C^{\mathcal {I}}_{\bullet }$ to a functor $\mathrm {sSet}^{{{\mathrm {op}}}} \to \mathrm {Ch}^{\mathcal {I}}_k$ resulting from Construction 3.2 is naturally isomorphic to $X \mapsto F^{\mathcal {I}}_{{\mathbf {0}}}C(X; k)$.

  2. (ii) For all $q \in \mathbb {Z}$ and ${\mathbf {m}}$ in $\mathcal {I}$, the simplicial $k$-module $C^{\mathcal {I}}_\bullet ({\mathbf {m}})_q = F_{{\mathbf {0}}}^{\mathcal {I}}(C(\Delta ^{\bullet };k)_q)$ is contractible to $0$.

4. Homotopy theory of $\mathcal {I}$-chain complexes and commutative $\mathcal {I}$-dgas

In this section we review and set up results about model category structures on $\mathcal {I}$-chain complexes and commutative $\mathcal {I}$-dgas. Much of this is motivated by (and analogous to) the corresponding results for space valued functors developed in [Reference Sagave and SchlichtkrullSS12, § 3].

We continue to consider the category of unbounded chain complexes $\mathrm {Ch}_k$ and equip it with the projective model structure whose weak equivalences are the quasi-isomorphisms and whose fibrations are the level-wise surjections [Reference HoveyHov99, Theorem 2.3.11]. It has the inclusions $S^{q-1}\hookrightarrow D^{q}$ as generating cofibrations and the maps $0 \to D^{q}$ as generating acyclic cofibrations. We will also need the following variant of this model structure.

Proposition 4.1 Let $s$ be an integer. Then $\mathrm {Ch}_k$ admits an $s$-truncated model structure where a map $f \colon A \to B$ is a weak equivalence if $H_q(f)\colon H_q(A) \to H_q(B)$ is an isomorphism for all $q \geq s$ and a fibration if $f_q\colon A_q \to B_q$ is an epimorphism for all $q > s$. The $s$-truncated model structure is combinatorial and right proper.

Proof. By shifting it is enough to consider the case $s =0$. The smart truncation

\[ \tau_{\geq 0} \colon \mathrm{Ch}_k \to \mathrm{Ch}_k^{\geq 0},\quad A\mapsto (\cdots \to A_2 \to A_1 \to \mathrm{ker}\, d_0^{A}) \]

to non-negatively graded chain complexes is right adjoint to the functor that adds copies of $0$ in negative degrees. The desired model structure arises by applying [Reference HirschhornHir03, Theorem 11.3.2] to this adjunction and the standard projective model structure on $\mathrm {Ch}_k^{\geq 0}$ [Reference Dwyer and SpalińskiDS95, § 7]. The assumptions of the theorem are trivially satisfied. The resulting model structure is combinatorial since $\mathrm {Ch}_k$ is, and right proper because all objects are fibrant.

Remark 4.2 Since the usual long exact sequence argument is not applicable, we do not know if the $s$-truncated model structure is left proper. We do not investigate this further since it is not relevant for our applications.

4.3 Level model structures

We call an object ${\mathbf {m}}$ of $\mathcal {I}$ positive if $|{\mathbf {m}}|\geq 1$ and write $\mathcal {I}_+$ for the full subcategory of positive objects in $\mathcal {I}$. To ease notation, we write $m$ for the cardinality of ${\mathbf {m}} = \{1,\ldots ,m\}$.

A map $f\colon P \to Q$ in $\mathrm {Ch}^{\mathcal {I}}_k$ is an absolute level equivalence (respectively absolute level fibration) if $f({\mathbf {m}})$ is a quasi-isomorphism (respectively a fibration) in $\mathrm {Ch}_k$ for all ${\mathbf {m}}$ in $\mathcal {I}$. A map $f\colon P \to Q$ in $\mathrm {Ch}^{\mathcal {I}}_k$ is a descending level equivalence (respectively descending level fibration) if for all ${\mathbf {m}}$ in $\mathcal {I}_+$, the map $f({\mathbf {m}})$ is a weak equivalence (respectively fibration) in the $-m$-truncated model structure on $\mathrm {Ch}_k$.

Proposition 4.4 These maps define an absolute level and a descending level model structure on $\mathrm {Ch}^{\mathcal {I}}_k$. Both model structures are combinatorial and right proper, and the absolute level model structure is in addition left proper.

Proof. For integers $s \leq t$, the identity functor is a left Quillen functor from the $t$-truncated model structure to the $s$-truncated model structure since $s$-truncated weak equivalences (respectively fibrations) are $t$-truncated weak equivalences (respectively fibrations). To obtain the descending level model structure, we can therefore apply [Reference Hebestreit, Sagave and SchlichtkrullHSS20, Proposition 3.10] to the constant functor $\mathcal {C}\colon \mathcal {I} \to \mathrm {Cat}$ with value $\mathrm {Ch}_k$ where $\mathcal {C}({\mathbf {m}})$ is equipped with the $-m$-truncated model structure. The absolute level model structure arises by considering the same functor where $\mathcal {C}({\mathbf {m}})$ carries the standard projective model structure for all ${\mathbf {m}}$.

The cofibrations in the absolute level model structure are the retracts of relative cell complexes built out of cells of the form $F^{\mathcal {I}}_{{\mathbf {m}}}(S^{q-1} \hookrightarrow D^{q})$ with ${\mathbf {m}}$ in $\mathcal {I}$ and $q \in \mathbb {Z}$. Here $F^{\mathcal {I}}_{{\mathbf {m}}}$ is the free functor defined in (2.1). For the descending level model structure, it follows from the proof of the previous proposition that one may use

\[ \{ F^{\mathcal{I}}_{{\mathbf{m}}}(S^{q-1} \hookrightarrow D^{q}) \,|\, {\mathbf{m}}\in \mathcal{I}_+, q > -m\} \cup \{ F^{\mathcal{I}}_{{\mathbf{m}}}(0\hookrightarrow S^{-m}) \,|\, {\mathbf{m}}\in \mathcal{I}_+\} \]

as the set of generating cofibrations and

\[ \{ F^{\mathcal{I}}_{{\mathbf{m}}}(0 \hookrightarrow D^{q}) \,|\, {\mathbf{m}}\in \mathcal{I}_+, q > -m\} \]

as the set of generating acyclic cofibrations.

4.5 $\mathcal {I}$-model structures

We now again use the homotopy colimit $P_{h\mathcal {I}}$ from Construction 2.6. A map $P \to Q$ in $\mathrm {Ch}^{\mathcal {I}}_k$ is an $\mathcal {I}$-equivalence if it induces a quasi-isomorphism $P_{h\mathcal {I}} \to Q_{h\mathcal {I}}$. An $\mathcal {I}$-chain complex $P$ is absolute $\mathcal {I}$-fibrant if $\alpha _*\colon P({\mathbf {m}}) \to P({\mathbf {n}})$ is a quasi-isomorphism for all $\alpha \colon {\mathbf {m}} \to {\mathbf {n}}$ in $\mathcal {I}$. It is descending $\mathcal {I}$-fibrant if for all