Relation between Gerstenhaber bracket and Connes differential - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T13:44:41Z http://mathoverflow.net/feeds/question/69800 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69800/relation-between-gerstenhaber-bracket-and-connes-differential Relation between Gerstenhaber bracket and Connes differential Kevin Walker 2011-07-08T14:15:19Z 2011-07-18T07:18:32Z <p>Let $C$ be an arbitrary algebra (more generally, a linear 1-category). The following structures are well-known:</p> <p>A degree-0 product on the Hochschild cohomology $HH^*(C)$<br> <code>$$HH^*(C) \otimes HH^*(C) \to HH^*(C)$$</code> <code>$$a \otimes b \mapsto ab$$</code></p> <p>A degree-0 action of Hochschild cohomology on the Hochschild homology $HH_*(C)$<br> <code>$$HH^*(C) \otimes HH_*(C) \to HH_*(C)$$</code> <code>$$a \otimes \gamma \mapsto a\cdot \gamma$$</code></p> <p>A degree-1 unary operation on Hochschild homology (Connes differential) <code>$$HH_*(C) \to HH_*(C)$$</code> <code>$$\gamma \mapsto B(\gamma)$$</code></p> <p>A degree-1 binary operation on Hochschild cohomology (Gerstenhaber bracket) <code>$$HH^*(C) \otimes HH^*(C) \to HH^*(C)$$</code> <code>$$a \otimes b \mapsto a * b$$</code></p> <p>The above operations satisfy some well-known relations. (Note that I am not attempting to get the signs right.)</p> <ul> <li><p>graded commutativity $ab = \pm ba$</p></li> <li><p>more graded commutativity $a * b = \pm b * a$</p></li> <li><p>Poisson identity $a * (bc) = (a * b)c + b(a * c)$</p></li> <li><p>Jacobi identity $a * (b * c) + b * (c * a) + c * (a * b) = 0$</p></li> <li><p>$B$ is a differential $B(B(\gamma)) = 0$</p></li> <li><p>various associativities $(ab)c = a(bc)$; $(a * b) * c = a * (b * c)$; $(ab)\cdot\gamma = a\cdot(b\cdot\gamma)$</p></li> </ul> <p>The following relation, expressing the action of a Gerstenhaber bracket on Hochschild homology in terms of the Connes differential, seems to be less well-known. At least I haven't been able to find it in the literature. <code>$$(a*b)\cdot\gamma = ab\cdot B(\gamma) - a\cdot B(b\cdot \gamma) - b\cdot B(a\cdot\gamma) + B(ba\cdot\gamma)$$</code> (Again, I haven't tried to get the signs right.)</p> <p><strong>Question:</strong> Is there a reference for the above relation?</p> <p>Note: The above relation follows from the fact that the first homology of a certain operad space is 4-dimensional, so there must be some relation between the five degree-1 maps <code>$HH^*(C)\otimes HH^*(C)\otimes HH_*(C)\otimes \to HH_*(C)$</code> which figure in the relation.</p> <p>Another note: In cases where <code>$HH^*(C) \cong HH_*(C)$</code> and there is a BV algebra structure, I think the relation follows from the usual definition of the Gerstenhaber bracket in terms of the BV structure. See the "Antibracket" section of <a href="http://en.wikipedia.org/wiki/Batalin%2DVilkovisky_algebra" rel="nofollow">this Wikipedia article</a>.</p> http://mathoverflow.net/questions/69800/relation-between-gerstenhaber-bracket-and-connes-differential/69803#69803 Answer by David Ben-Zvi for Relation between Gerstenhaber bracket and Connes differential David Ben-Zvi 2011-07-08T14:41:27Z 2011-07-08T14:41:27Z <p>I'm not sure if your precise formulation appears there but I believe it should be part of the "homotopy calculus" structure studied by Tsygan and Tamarkin in various papers - see e.g. p.6 of <a href="http://arxiv.org/abs/math/0002116" rel="nofollow">Noncommutative differential calculus, homotopy BV algebras and formality conjectures</a>, in which a similar relation is stated - namely that Hochschild chains with the Connes differential form a homotopy BV module over the canonical BV deformation of the homotopy Gerstenhaber algebra of Hochschild cochains.</p> http://mathoverflow.net/questions/69800/relation-between-gerstenhaber-bracket-and-connes-differential/70597#70597 Answer by menichi for Relation between Gerstenhaber bracket and Connes differential menichi 2011-07-18T07:18:32Z 2011-07-18T07:18:32Z <p>Hi,</p> <p>Your formula is due (without the signs!) due to Ginzburg Calabi-Yau algebras (9.3.2) as explained in Lemma 15 of my paper, Batalin-Vilkovisky algebra structures on Hochschild Cohomology, Bull. Soc. Math. France 137 (2009), no 2, 277-295 (sorry for quoting myself!)</p> <p>Here is Lemma 15</p> <p>Lemma 15 [17, formula (9.3.2)] Let A be a differential graded algebra. For any η, ξ ∈ HH ∗ (A, A) and c ∈ HH∗ (A, A), {ξ, η}.c = (−1)|ξ| B [(ξ ∪ η).c] − ξ.B(η.c) + (−1)(|η|+1)(|ξ|+1) η.B(ξ.c) + (−1)|η| (ξ ∪ η).B(c).</p> <p>In a condensed form, this formula is</p> <p>(34) <code>$i_{\{a,b\}}=(-1)^{\vert a\vert+1}[[B,i_{a}],i_b]=[[i_{a},B],i_b].$</code></p> <p>See formula (34) of my second paper Van Den Bergh isomorphisms in String Topology, J. Noncommut. Geom. 5 (2011), no. 1, 69-105. (sorry for quoting myself again!)</p> <p>In this paper, I thought I gave a new definition of BV-algebras. But this definition appears more or less in the section "Compact formulation in terms of nested commutators." of the Wikipedia article, you quote! However, I was unable to find this definition in the bibliography quoted in the Wikipedia article.</p> <p>Concerning signs, in my first paper, I made a mistake, corrected in my second paper. So (34) is correct and Lemma 15 has some signs problems.</p> <p>ps: David Ben-zvi is absolutely right. This formula is a consequence of Tamarkin-tsygan calculus!</p>