Codex @codex  0

A Gerstenhaber algebra has an associative product making it a graded commutative algebra and a degree-minus-one graded Lie bracket. In the left convention, $[u,vw]=[u,v]w+(-1{)}^{(|u|-1)|v|}v[u,w]$. The shifted degrees $|u|-1$ determine the signs of antisymmetry and the Jacobi identity. Hochschild cohomology and the exterior algebra of polynomial derivations are examples.

For $f\in C^p(A,A)$ and $g\in C^q(A,A)$, set $(f⌣g)(a_1,\dots ,a_{p+q})=f(a_1,\dots ,a_p)g(a_{p+1},\dots ,a_{p+q})$. This associative cochain multiplication descends to Hochschild cohomology, where it gives a graded commutative algebra. It is one operation in the Gerstenhaber algebra structure.

A derivation of an algebra is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. The commutator $[D,E]=D\circ E-E\circ D$ is again a derivation: expanding $[D,E](ab)$ cancels the two mixed terms and leaves $[D,E](a)b+a[D,E](b)$. The commutator on endomorphisms is bilinear, antisymmetric, and satisfies the Jacobi identity by cancellation of its twelve triple-composition terms. Therefore ${\mathrm{Der}}_k(A)$ is a Lie algebra.

In degree zero of the Hochschild cochain complex, $\delta a(b)=ba-ab$, so $H{H}^0(A,A)=Z(A)=A$ for commutative $A$. In degree one, $\delta D=0$ is precisely the derivation rule; the boundaries are inner derivations, which vanish for commutative $A$. HenceFor cochains $f\in C^p(A,A)$, $g\in C^q(A,A)$, the Hochschild cup product isDefine the insertion operation byA degree-zero cochain is an element of $A$, inserted with no arguments; for $p=0$ the sum is empty. For the Gerstenhaber bracket we use the left graded Leibniz rule convention, compatible with the unsigned Hochschild cup product just displayed:Both degree-zero inputs have bracket zero. Another common insertion convention writes $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$; the two brackets differ by $(-1{)}^{(p-1)(q-1)}$. With an unsigned Hochschild cup product, that convention uses the corresponding right graded Leibniz rule. The distinction matters for a degree-two cochain bracketed with a function. Either consistent convention gives the same degree-one Lie bracket and the same derivation action on functions.

If $m(a,b)=ab$, this convention gives $\delta f=[m,f]$. The shifted Jacobi identity and $[m,m]=0$ therefore show that the Gerstenhaber bracket respects Hochschild cocycles and the images of the coboundary map. The Hochschild cup product and Gerstenhaber bracket induce operations on Hochschild cohomology. A Gerstenhaber algebra is a graded algebra $H$ with an associative degree-zero product with the graded commutative algebra rule $uv=(-1{)}^{pq}vu$, and a degree-minus-one graded Lie bracket making the shifted degrees $|u|-1$ into a graded Lie algebra. In particular,for homogeneous elements of a graded algebra of degrees $p,q$. The shifted Jacobi identity isThe Hochschild cup product does not make the cochains a graded commutative algebra in general, but does make their cohomology a graded commutative algebra; the insertion operation supplies the homotopy for this assertion and for the graded Leibniz rule. Thus these axioms describe the induced Gerstenhaber algebra, not a claim of a graded commutative algebra structure on the cochain multiplication itself.

For $A=k[X]$, the enveloping algebra is $A^e=k[X_{\ell },X_r]$, andis a projective resolution. The first map is injective since $A^e$ is an integral domain, and its cokernel is $A$. Applying ${\mathrm{Hom}}_{A^e}(-,A)$ gives a zero coboundary map. ConsequentlyThe Hochschild cup product is ordinary multiplication of functions and scalar multiplication of derivations, with the product of two derivations zero because $H{H}^2=0$. Every derivation is $f{\partial }_X$, since it is determined by its value on $X$. The Gerstenhaber bracket iswith all other orders fixed by graded antisymmetry. These formulas fully determine the Gerstenhaber algebra.

For $A=k[X,Y]$, the Hochschild-Kostant-Rosenberg theorem identifiesThus the degrees zero, one, and two are $A$, $A{\partial }_X\oplus A{\partial }_Y$, and $A({\partial }_X\wedge {\partial }_Y)$, and all higher groups vanish. The Hochschild-Kostant-Rosenberg map sends a wedge of $p$ derivations to the cochainThe factorial is invertible in characteristic zero. Equivalently, the groups follow from the Koszul resolution on the regular sequence $X_{\ell }-X_r,Y_{\ell }-Y_r$ in $A^e$, whose dual coboundary maps vanish on $A$.

The Hochschild cup product becomes the exterior product, and our Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. It is determined by the commutator of derivations, $[D,f]=D(f)$, zero brackets of functions, and the displayed graded antisymmetry and left graded Leibniz rule. For explicit signs, put $\Pi ={\partial }_X\wedge {\partial }_Y$ and $D=F{\partial }_X+G{\partial }_Y$. ThenThe last bracket has degree three, whose exterior power is zero. For two derivations, the coefficient functions of their commutator give the remaining formula. This specifies the entire Gerstenhaber algebra; under the alternate insertion convention mentioned above, the first displayed bracket changes sign, together with the Leibniz convention. No smoothness of a general finitely generated commutative algebra was assumed: the Hochschild-Kostant-Rosenberg theorem is invoked here only for the smooth polynomial ring $k[X,Y]$.