Skip to main content
2 of 3
added 1784 characters in body
Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183

Yes, this is precisely the content of Theorem 7.11 in arXiv:1410.5675, which should be combined with §7.4 of arXiv:1510.04969. In fact, the cited results prove this for any nonsymmetric operad in chain complexes over a commutative ring, and are also applicable to ∞-categories other than chain complexes.

In the case of symmetric operads (such as E_∞) the result continues to hold for characteristic 0, i.e., rational chain complexes. For symmetric operads in characteristic p there are algebras that cannot be rectified as stated, and one must use other categories instead of chain complexes, e.g., simplicial modules over F_p (see §7.3 of arXiv:1510.04969).

In all such results, there are two main ingredients. The first ingredient shows that any ∞-algebra over an ∞-operad O can be rectified to a strict algebra over a strict operad Q, where the underlying ∞-operad of Q is equivalent to O. This roughly amounts to the free strict Q-algebra computing the free ∞-algebra over O, which in its turn almost immediately boils down to the strict coinvariants of tensor products $Q_n⊗_{Σ_n}X^{⊗n}$ computing the corresponding homotopy coinvariants of derived tensor products, for any cofibrant object $X$. The main property required here is that $Q_n$ should be cofibrant (projectively cofibrant with respect to the $Σ_n$-action in the case of symmetric operads).

The second ingredient shows that any strict $Q$-algebra can be rectified to a strict $R$-algebra, where $R$ is the operad we are interested in, e.g., the associative or commutative operad, and $f\colon Q→R$ is a weak equivalence of operads. The main property required here is that $f_n ⊗_{Σ_n} X^{⊗n}$ should be a weak equivalence for any cofibrant object $X$. This can happen for two reasons: either the maps $f_n$ are sufficiently nice (e.g., their source and target are $Σ_n$-projectively cofibrant) or the category in which we work is nice. The latter holds, for example, for rational chain complexes and for various categories of symmetric spectra.

For nonsymmetric operads, such as the associative operad, we can drop $Σ_n$, which makes the condition much easier to satisfy in practice. In particular, it is always true for simplicial sets, chain complexes over any commutative ring, topological spaces, simplicial modules, simplicial presheaves, etc. In all these cases, ∞-algebras over nonsymmetric operads can always be rectified to strict algebras.

Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183