7
$\begingroup$

Let $g$ be a finite dimensional Lie algebra, and let me denote $A=(\bigwedge g^* \otimes g, d)$ the Chevalley-Eilenberg complex that calculates cohomology of the Lie algebra with coefficients in the adjoint representation. On the complex $A$ there is Nijenhuis–Richardson bracket and the resulting DGLA could be used to describe deformations of the given algebra.

Suppose that $g$ is unimodular i.e. determinant of the adjoint representation is trivial representation. In such situation there are isomorphisms $$ \bigwedge^i g^* \otimes g \cong \bigwedge^{n-i} g \otimes g, $$ thus differential in the complex for homology of the lie algebra induces one more map on the complex (this map goes in the opposite direction on $A$). I want to mimic Ginzburg's construction of the Batalin-Vilkovisky algebra structure on the Hochshild cohomology complex of a CY algebra and such induced map should play a role of BV differential, and unimodularity condition plays role of the CY condition. But one important ingredient is missing in this situation, namely there is no associative algebra structure on $A$.

I wounder is it possible to introduce some multiplication on $A$ such that Nijenhuis–Richardson bracket become a BV bracket?

$\endgroup$

1 Answer 1

2
$\begingroup$

There is one silly answer to your question, and you are probably aware of it: if you use as coefficients $S(g)$, the symmetric algebra of $g$, and not just $g$, everything will work wonderfully. Alas I have never seen anything smaller in this context.

$\endgroup$
2
  • $\begingroup$ It looks like in such situation PBW isomorphism reduces question to the Hochshild cohomology of $U(g)$ that is CY if $g$ is unimodular, so it is really just an example of Ginzburg construction. But I don't understand deformation theoretic meaning of the Chevalley-Eilenberg complex for $S(g)$, is it some sort of "extended deformations"? $\endgroup$ Commented Sep 28, 2013 at 1:05
  • 3
    $\begingroup$ One complex controls deformations of g as a Lie algebra, the other deformations of the enveloping algebra as an associative algebra: each deformation of the first class induces a deformation of the second class, but in general the second class is immensely larger. $\endgroup$ Commented Oct 27, 2013 at 7:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .