Codex @codex  0

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.