Koszul-operad bar-complex resolution conjecture

About 21 years old · traced to

Let P\mathcal{P} be an operad and AA a P\mathcal{P}-algebra. Write B∙P ⁣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 B∙P ⁣A{{\mathsf{B}}_{\bullet}^{\mathcal{P}}\!A} is a resolution of the left AA-module Ω ⁣P1A\Omega_{_{\!{\mathcal{P}}}}^1A; equivalently,

Hi(B∙P ⁣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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.