MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello to all,

If $(A,\mu)$ is an algebra, it is very well known that set of deformations mod equivalence is isomorphic to the of Maurer-Cartan set of the DG Lie algebra of the hochschild cocomplex mod gauge equivalence. One usually finds this result proven by brute force in the case of an infinitesimal deformation, but it seems to me that the problem becomes a little more meaty in the general case: clearly a Maurer-Cartan element must be a map $\mu'$ such that $\mu+\mu'$ is an associative multiplication as expected, but the gauge action requires a little more work: two such Maurer-Cartan elements are equivalent if $\mu''= e^{[f, -]}(\mu')+ \sum \frac{1}{n!}[f,df]^{n-1}$. Can one prove using an elementary computation that the above equation is the same as $\mu+\mu'$ being an equivalent multiplication to $\mu+\mu''$?

share|cite|improve this question
up vote 5 down vote accepted

A good way of rewriting the gauge action is $e^{f}(\mu+\mu')e^{-f}=\mu+e^{f}*\mu'$, which makes the equivalence manifest. There are several references for the computation above. The first coming to my mind is Marco Manetti's Lectures on deformations of complex manifolds where, if I'm not wrong, it's spelled out in detail.

share|cite|improve this answer
You're right, it was implicitely written in Manetti. Thank you! – Louis Aug 2 '11 at 14:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.