Godement resolution and operad sheaf homotopy theory (Q2404859): Difference between revisions

Building upon their previous work [Collect. Math. 66, No. 3, 423--452 (2015; Zbl 1351.18014)], the authors tackle the following question. Let \(\mathcal{X}\) be a Grothendieck site and \(\mathcal{D}\) a descent category. Given a sheaf of operads \(\mathcal{P}\) on \(\mathcal{X}\) with coefficients in \(\mathcal{D}\), does the sheaf cohomology \(\mathbb{R}\Gamma(X, \mathcal{P})\) inherit an operad structure? Moreover, if \(\mathcal{A}\) is a sheaf of \(\mathcal{P}\)-algebras, does \(\mathbb{R}\Gamma(X, \mathcal{A})\) inherit a corresponding algebraic structure? The authors show that, under some technical conditions on the data \((\mathcal{X}, \mathcal{D})\), the answer is yes. This answers stems from a more fundamental fact. By the authors' previous result, the Godement resolution provides fibrant models in the category of sheaves \(\mathbf{Sh}(\mathcal{X}, \mathcal{D})\) and hence turns it into a Cartan-Eilenberg category. The main idea of the work under review is that this resolution is monoidal, therefore a morphism of sheaves \(\mathcal{F} \otimes \mathcal{F}' \to \mathcal{G}\) induces a morphism \[ \mathbb{R}\Gamma(\mathcal{X}, \mathcal{F}) \otimes \mathbb{R}\Gamma(\mathcal{X}, \mathcal{F}') \to \mathbb{R}\Gamma(\mathcal{X}, \mathcal{G}). \] This allows the authors to endow the corresponding categories of operads and algebras with a descent structure, compatible with \(\mathcal{X}\) if \(\mathcal{D}\) is. The authors phrase their results in several flavors, allowing them to apply their result to different settings, including commutative dg-algebras, dg-Lie algebras, symmetric \(\Omega\)-spectra, or filtered dg-algebras.