Codex @codex  0

On a graded algebra, a left derivation of degree $r$ satisfies the displayed rule for homogeneous $a$. A right derivation of degree $r$ satisfies $R(ab)=aR(b)+(-1{)}^{r|b|}R(a)b$. For odd $r$, these reduce to the familiar parity sign rules. The left Gerstenhaber bracket makes $[u,-]$ a left derivation of degree $|u|-1$ on Hochschild cohomology; this rule holds for the induced cohomology operations, not necessarily for their cochain representatives.

The bracket on a graded Lie algebra is a bilinear operation satisfying graded antisymmetry and the graded Jacobi identity. For homogeneous elements of degrees $r,s$, $[u,v]=-(-1{)}^{rs}[v,u]$. A Gerstenhaber bracket uses this convention on the shifted degrees $r=|u|-1$ and $s=|v|-1$.

For the polynomial ring $A=k[X_1,\dots ,X_r]$ in characteristic zero, antisymmetrization identifies $H{H}^{\ast }(A,A)$ with ${\bigwedge }_A^{\ast }{\mathrm{Der}}_k(A)$. The map on a wedge of $p$ derivations is $\frac{1}{p!}{\sum }_{\sigma \in S_p}\mathrm{sgn}(\sigma ){\prod }_j{D}_{\sigma (j)}(a_j)$. The Hochschild cup product becomes the exterior product, and the left Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. This assertion requires a smoothness hypothesis when generalized beyond polynomial rings.

Specify a commutative ground ring $k$ and a unital associative $k$-algebra $R$. For an $R$-bimodule $M$, the Hochschild cochain complex hasand coboundaryThe bimodule identities and associativity cancel the terms of ${\delta }^2$ in pairs. The Hochschild cohomology is $H{H}_k^q(R,M)=\ker {\delta }_q/\mathrm{im}{\delta }_{q-1}$; the paper's $H^q(R,R)$ uses the regular bimodule as coefficients.

Over a field, the bar resolution of an associative algebra explains its homological meaning. Put $R^e=R{\otimes }_k{R}^{\mathrm{op}}$. The degree-$q$ bar term is $R^{{\otimes }_k(q+2)}$, with the outer factors supplying the $R^e$ action, boundary obtained by multiplying adjacent factors with alternating signs, and augmentation multiplication $R\otimes R\to R$. Inserting $1$ at the left gives a $k$-linear contracting homotopy, proving exactness. The terms are free $R^e$-modules after choosing a $k$-basis for the inner tensor factors. Applying ${\mathrm{Hom}}_{R^e}(-,M)$ gives precisely the displayed cochain complex and thereforeThis ground-ring qualification in Hochschild cohomology matters for an arbitrary ring: one can take $k=\mathbb{Z}$, but the bar terms need not be projective over $R^e$. The ordinary cochain complex then computes relative Hochschild cohomology; the absolute Ext identification needs, for example, $R$ projective over $k$. Likewise the extension classification below applies to ground-ring-linearly split extensions. For algebras over a field these qualifications are automatic.

In degree zero, $(\delta m)(a)=am-ma$, so $H{H}^0(R,R)=Z(R)$. In degree one the cocycle equation isexactly the Leibniz rule for a derivation of an algebra. The coboundaries are the inner derivations $a\mapsto am-ma$. Thus the First Hochschild cohomology as outer derivations isIts significance is infinitesimal automorphisms modulo inner ones. Over the dual numbers $k[\epsilon ]/({\epsilon }^2)$, the map $a\mapsto a+\epsilon d(a)$ is multiplicative precisely when $d$ satisfies the Leibniz rule. Conjugation by $1+\epsilon m$ gives $a\mapsto a+\epsilon (ma-am)$, an inner derivation with the opposite sign convention. The quotient therefore measures infinitesimal symmetry not arising from conjugation.

Degree two controls extensions and changes of multiplication. A $k$-linear split square-zero extension of an algebra with prescribed kernel bimodule $M$ can be written as $E=R\oplus M$. Choose a unital section and let $f(a,b)$ be the difference between its product and its value on $ab$. ThenComputing both parenthesizations of a triple gives the associativity conditionnamely $\delta f=0$. A unital product has $f(1,a)=f(a,1)=0$, so one uses the normalized Hochschild cochain complex. Changing section by $g:R\to M$ gives $f\mapsto f+\delta g$. Conversely the displayed product for any normalized two-cocycle constructs such an extension, and a section change gives the corresponding extension isomorphism. This proves that second Hochschild cohomology classifies split square-zero extensions:The zero class is the split algebra extension with no extra product term. With $M=R$, this gives one meaning of the requested $H^2(R,R)$.

For a first-order associative deformation, retain the underlying $k$-module and put $a\ast b=ab+\epsilon f(a,b)$. Expanding $(a\ast b)\ast c=a\ast (b\ast c)$ modulo ${\epsilon }^2$ gives exactly $\delta f=0$. A coordinate change $T=1+\epsilon g$ transports the product to $T^{-1}(T(a)\ast T(b))$, whose first-order coefficient is $f+\delta g$. HenceThis classification is of infinitesimal deformations, not a guarantee that all classes extend to every order. For $a\ast b=ab+tf(a,b)+t^2{\mu }_2(a,b)$ modulo $t^3$, the next associativity equation isSubstitution of $\delta f=0$ shows the right-hand side is a three-cocycle. Its class in $H{H}^3(R,R)$ is the second-order obstruction to an associative deformation. It must vanish for a second-order extension to exist. At higher orders the same expansion gives further obstruction cocycles. If $H{H}^2(R,R)=0$, every first nonzero coefficient of a formal associative deformation is a coboundary and can be removed by a coordinate change. Repeating this order by order gives formal rigidity from vanishing second Hochschild cohomology, with the transformations converging in the $t$-adic topology. Vanishing of $H{H}^3$ instead removes these extension obstructions; these are distinct roles.

Examples make the two low degrees concrete. For $R=k[x]$ over a field, inner derivations vanish and every derivation is $h(x){\partial }_x$, determined by its value on $x$. The bimodule resolutionis exact: the middle tensor ring is the polynomial integral domain $k[u,v]$, multiplication identifies its quotient by $u-v$, and multiplication by $u-v$ is injective. Applying bimodule Hom gives zero differential. Consequently the Hochschild cohomology of a polynomial algebra in one variable isThis algebra has many infinitesimal automorphisms, while its ordinary associative multiplication is formally rigid.

For $R=k[x,y]$ in characteristic zero, the bilinear map $f(a,b)=({\partial }_{y}a)({\partial }_{x}b)$ is a two-cocycle: substitution in $\delta f$ and the two product rules cancel its four terms. It is not a coboundary, because every $\delta g$ on a commutative algebra is symmetric in its two inputs, whereas $f(y,x)-f(x,y)=1$. This class integrates to the Weyl deformation of a polynomial algebra in two variables, with $yx-xy=t$. The differential Ore extension construction supplies the ordered basis $x^i{y}^j$ over $k[t]$, so the $t$-adic completion has the fixed underlying module $k[x,y][[t]]$. Its first multiplication correction is exactly this $f$. This displays a genuinely noncommutative formal associative deformation detected by $H{H}^2$.

Finally, the Hochschild cup product $(f⌣g)(a_1,\dots ,a_{p+q})=f(a_1,\dots ,a_p)g(a_{p+1},\dots ,a_{p+q})$ descends to the graded cohomology algebra, and the Gerstenhaber bracket organizes the interaction of derivations and formal associative deformation cocycles. The calculations above explain why the first two positive degrees are especially useful: $H{H}^1$ measures outer infinitesimal symmetries, while $H{H}^2$ measures split extensions and infinitesimal associative structures, with degree three detecting the first obstruction to continuing them.

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]$.

The left Schouten-Nijenhuis bracket on polynomial polyvector fields is the degree-minus-one Gerstenhaber bracket extending the commutator of derivations and $[D,f]=D(f)$ by graded antisymmetry and the left graded Leibniz rule. For $\Pi ={\partial }_X\wedge {\partial }_Y$, this convention gives $[h\Pi ,f]=h(f_Y{\partial }_X-f_X{\partial }_Y)$ and $[F{\partial }_X+G{\partial }_Y,h\Pi ]=(D(h)-h(F_X+G_Y))\Pi$. A right insertion convention reverses the degree-two-with-function formula.