Koszul-operad bar-complex resolution conjecture

From papers

Let P\mathcal{P} be an operad and AA a P\mathcal{P}-algebra. Write BP ⁣A{{\mathsf{B}}_{\bullet}^{\mathcal{P}}\!A} for the bar-complex of AA and Ω ⁣P1A\Omega_{_{\!{\mathcal{P}}}}^1A for its module of Kähler differentials.

Bar-complex resolution conjecture. If P\mathcal{P} is a Koszul operad, then BP ⁣A{{\mathsf{B}}_{\bullet}^{\mathcal{P}}\!A} is a resolution of the left AA-module Ω ⁣P1A\Omega_{_{\!{\mathcal{P}}}}^1A; equivalently,

Hi(BP ⁣A)=0,i>1.H_i({{\mathsf{B}}_{\bullet}^{\mathcal{P}}\!A})=0,\qquad \forall i>1.

This generalizes the exactness of the associative bar resolution to algebras over Koszul operads. If true, it yields the stated Tor and Ext descriptions of operadic homology and cohomology; the source provides no resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Victor Ginzburg, “Lectures on Noncommutative Geometry”, arXiv:math/0506603 (2005).

Solutions 0

No solutions have been posted yet.