rough notes from a talk by Bruno Valette? – raw material to be polished
see also framed little 2-disk operad
for a complex with the structure of an -algebra and for a morphism of chain cmoplexes, we get an induced -structure on .
If is a cofibrant dg-operad, then under some assumptions -algebra for an operad structures are preserved by weak equivalences.
A quasi-free dg-operad is one that is free after forgetting the differential
Cofibrant operads are the retracts of quasi-free operads.
In particular quasi-free operads are cofibrant.
So we look for quasi-free resolutions.
Gerstenhaber algebra: essentially a Poisson algebra in the dg context.
How to define a Gerstenhaber algebra up to homotopy?
Extend the operations dfined by Gerstenhaber on whjich induce the Gerstenhaber algebra on to a Gerstenhaber algebra up to homotopy.
So we have a strict structure on Hochschild homology and are asking for from which homotopy structure it may come on Hochschild chains in .
It is generated of course from the product operation and the bracket operation modulo the associativity constraint for the product, the Jacobi identity for the bracket and the Leibnitz property for their interaction.
These relations are always encoded in quadratic expressions.
There exist adjoint functors
given by bar and cobar construction
under this equivalence
with morphism of dg-operads.
is Koszul if is a quasi-isomorphism, i.e. a cofibrant replacement.
If be a quadratic operad with The linear dual is a quadratic operad aabd the suspension of .
Compute and its operadic structure with this formula, then dualize everything to get this formula.
The Gerstenhaber operad is Koszul.
This is a Gerstenhaber algebra with a unary operator of degree +1 such that
measures failure of to be a derivation with respect to the product .
This also is the algebra over an operad. But this operad is no longer a quadratic operad?.
So we define:
As above but now demand a derivation of both the product and the bracket .
This is a first step in the resolution process.
Now the corresponding operad is Koszul. So we get
as a quasi-free resolution.
In terms of this we have a homotopy BV-algebra structure on .
Add a suitable differential .
Let be a quadratic and linear presentation of a dg-operad
let the quadratic projection
and the quadratic analogue of
is a Koszul operad if
This now yields a good machinery for cofibrant resolutions for Koszul operads.
When is a quadratic linear Koszul operad then
This applies to the BV operad.
A -algebra is an algebra over this cofibrant replacement for the BV operad.
Another definition of homotopy BV-algebra by Kravchenko – this turns out to be a special case of the definition here by setting some operations to (her algebra is not an algebra over a cofibrant operad).
Another definition by Tamarkin–Tsygan: this is more general than the one here. TT have many more operations, namely operations with sevearl outputs.
The notion here also difers from that in Beilinson–Drinfeld.
The free operad is filtered is filtered. There is then a morphism of operads .
For Koszul we have
Let be the framed little disk operad; then:
is formal, i.e. quasi-isomorphic by zig-zags to its homology
In some sense homotopy BV is a formal extension of homotopy Gerstenhaber.
For any topological vertex algebra? with -graded conformal weight there exists an expliciit -algebra structure on which extends Lian–Zuckermann operations on and which lifts the BV-algebra structure on .
The above material probably roughly follows the talk slides
The corresponding article is