Obstruction theory for algebras over an operad (Q291613)

The author studies the problem of realizing homology morphisms between algebras over an operad in a base category of differential graded vector spaces over a field (possibly of positive characteristic). To be more precise, he assumes that \(P\) is a graded operad and that \(Q\) is a cofibrant resolution of this object \(P\) in the model category of differential graded operads, where we identify a graded operad with a differential graded object equipped with a trivial differential. Any \(P\)-algebra naturally forms a \(Q\)-algebra by restriction of structure through the operad quasi-isomorphism associated to our resolution \(Q\mathop{\rightarrow}\limits^{\sim}P\). Furthermore, we have \(H_*(Q) = P\), and the homology of any \(Q\)-algebra \(H_*(A)\) naturally inherits a \(P\)-algebra structure. The author considers the \(\Gamma\)-cohomology theory \(H\Gamma^*_P(-)\), which he defined in [Algebr. Geom. Topol. 10, No. 3, 1781--1806 (2010; Zbl 1220.18006)] in terms of a derived functor of derivations on the category of \(Q\)-algebras. Recall simply that this operadic \(\Gamma\)-cohomology theory corresponds to Hochschild cohomology (up to a degree shift) in the case where \(P = As\) is the operad of associative algebras and to Robinson-Whitehouse's classical \(\Gamma\)-cohomology theory (up to a degree shift again) in the case where \(P = Com\) is the operad of commutative algebras. The author proves that the obstruction to realizing a homology morphism \(f_*: H_*(A)\rightarrow H_*(B)\) by a morphism of \(Q\)-algebras \(f: A\rightarrow B\), where \(A\) and \(B\) are given \(Q\)-algebras, lies in the degree one \(\Gamma\)-cohomology group \(H\Gamma^1_P(H_*(A),H_*(B))\) and that the obstruction to the homotopy uniqueness of such a realization lies in the \(\Gamma\)-cohomology group of degree zero \(H\Gamma^0_P(H_*(A),H_*(B))\).