Welcome to MathOverflow

Question

3

5

Associated to any $A_\infty$ $k$-algebra $A$ the Hochschild cochain complex $CH^*(A)$ has the structure of a dg-Lie algebra and a dg-algebra which are compatible enough that the cohomology is a Gerstenhaber algebra.

If two $A_\infty$ algebras are Morita equivalent, are their Hochschild cochain complexes isomorphic in (i) the category of $k$-dg-algebras and (ii) the category of $k$-dg-Lie algebras, both up to quasi-isomorphism? Are they isomorphic in some category that feels both structures together?

Now suppose that $\mathcal{C}$ is a dg-category over a field $k$. We say that the $k$-dg-algebra $CH^*(\mathcal{C}) = End(id_\mathcal{C})$ is the Hochschild cochain complex. Does $CH^*(\mathcal{C})$ have a bracket that generalizes the known one in the case that $\mathcal{C}$ is a (derived) category of modules? If two dg-categories are quasi-equivalent are their Hochschild cochain complexes quasi-isomorphic?

Is there a point of view that clarifies these issues?

edited Feb 10 2010 at 5:48

asked Feb 10 2010 at 5:36

Ian Shipman
595●2●8

I can't contribute anything solid, but I think the operations you're doing are very similar to taking the E[2]-center of an E[1] algebra in a symmetric category. Lurie has a long paper on the arxiv about E[k] algebras. – S. Carnahan♦ Feb 10 2010 at 7:58

1

I'm not entirely sure I understand the question, but perhaps Keller's paper people.math.jussieu.fr/~keller/publ/dih.pdf is what you are looking for. – Aaron Bergman Feb 12 2010 at 3:51

1

Keller's result tells us that if $A$ and $B$ are ($A_\infty$-)quasi-isomorphic then $CH(A)$ and $CH(B)$ are quasi-isomorphic (prehaps even in the $L_\infty$ sens, not only as complexes). But what do you mean by two $A_\infty$-algebras to be Morita equivalent. For a genuine algebra $A$, the Hochschild complex is (I think) the deformation DGLA for the representation category $A-mod$. So it seems that Morita equivalent algebras will have quasi-isomorphic Hochschild DGLAs. – DamienC Jul 26 2010 at 14:59

1

The paper in A. Bergman's comment contains the answer to my question. Indeed, the Hochschild cochain complex of a small dg category has a B-infinity structure, which is a structure that lies between the structure of a Gerstenhaber algebra and a strong homotopy Gerstenhaber algebra. According to Keller's paper, if two small dg-categories are Morita equivalent, then their Hochschild cochain complexes are isomorphic in the homotopy category of B-infinity algebras. This implies that their Hochschild cohomologies are isomorphic as Gerstenhaber algebras. – Ian Shipman Aug 31 2010 at 15:25

Regarding the Gerstenhaber bracket on Hochschild cohomology and Morita equivalence

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.