Skip to main content
2 of 3
added 454 characters in body; added 306 characters in body; added 8 characters in body
DamienC
  • 8.4k
  • 1
  • 50
  • 91

Well. Even in the case of a DG (or $A_\infty$) algebra $A$, infinitesimal (i.e. 1st order) deformations are classified by $HH^2(A,A)$. Namely, the structure maps (a-k-a Taylor components) of an $A_\infty$-algebra, viewed as elements of the Hochschild cochain complex, do have total degree $2$.

I think that one recovers the full Hochschild cohomolgy $HH^*(A,A)$ by considering "derived" infinitesimal deformations (namely, deformations for which the deformation parameter is allowed to have non zero degree).

In other words, and making use of funny words, HH^*(A,A) is the tangent to the derived stack of associative (better, $A_\infty$) algebras at the point $A$. While $HH^2(A,A)$ can be viewed as the tangent to the coarse moduli space. As an indermediate statement between those two, in his PhD thesis Mathieu Anel computed the tangent complex to the 2-stack of associative algebras (not in the derived context): he found that it is precisely a 2 step complex, obtain as a truncation of the Hochschild complex. See http://arxiv.org/abs/math/0607385.

DamienC
  • 8.4k
  • 1
  • 50
  • 91