Homology of infinity-operads (Q6970353)

This paper aims to introduce a homology theory for infinity-operads and dendroidal spaces, proving some of its fundamental properties which include a bar-cobar (also called Koszul) duality in a general context. The proposed homology is an extension of the classical homology of differential graded operads introduced by \textit{V. Ginzburg} and \textit{M. Kapranov} [Duke Math. J. 76, No. 1, 203--272 (1994; Zbl 0855.18006); Duke Math. J. 80, No. 1, 293 (1995; Zbl 0855.18007)] in terms of the bar construction on differential graded operads, having to be distinguished from the one defined by \textit{M. Bašić} and \textit{T. Nikolaus} [Homology Homotopy Appl. 19, No. 1, 111--134 (2017; Zbl 1393.55007)], which does not extend the homology of operads but extends the usual one of simplicial sets.\N\NThe authors consider a category \(\mathbb{A}\) of trees, closely related to the category \(\Omega\) [\textit{I. Moerdijk} and \textit{I. Weiss}, Algebr. Geom. Topol. 7, 1441--1470 (2007; Zbl 1133.55004)] used to model infinity-operads, but modified to deal with operads which are trivial in arities zero and one. They introduce a homology theory for presheaves of chain complexes on \(\mathbb{A}\), which takes values in symmetric sequences of graded abelian groups. The theory enjoys the standard properties of a homology theory such as invariance under quasi-isomorphism and the existence of long exact sequences and spectral sequences, agreeing with the classical bar homology of the operad in the case where the presheaf arises as the nerve of an operad.\N\NTo prove a duality theorem for arbitrary presheaves on the category \(\mathbb{A}\), the authors define for a presheaf \(M\) on the category \(\mathbb{A}\) a copresheaf \(\mathbb{B}(M)\), which extends the complex calculating the homology of \(M\), as well as a dual cobar construction \(\mathbb{B}^{\vee}\) which assigns a presheaf to any copresheaf. The duality theorem claims that for any presheaf \(M\), \(\mathbb{B}^{\vee}(\mathbb{B}(M))\) is quasi-isomorphic to \(M\). A duality theorem for operads in spectra has been established earlier by \textit{M. Ching} [J. Topol. 5, No. 1, 39--80 (2012; Zbl 1319.55003)], who used the same category \(\mathbb{A}\).