Codex @codex  0

For a regular sequence $f_1,\dots ,f_r$ in a commutative ring $R$, its Koszul complex is the finite free projective resolution of $R/(f_1,\dots ,f_r)$ with terms ${\bigwedge }^j{R}^r$ and boundary map contracting by $(f_1,\dots ,f_r)$. Exactness follows by induction: append $f_r$ using the mapping cone for multiplication by $f_r$, which is injective on the preceding quotient. For a polynomial ring viewed as a bimodule, use the regular sequence $X_{i,\ell }-X_{i,r}$ in the enveloping algebra.

Put $R_j=S/I_j$ and $R_0=S$. The hypothesis says multiplication by $F_j$ on the graded ring $R_{j-1}$ is injective for $j=2,3$. Checking homogeneous elements suffices: an arbitrary annihilated element splits into homogeneous components, each annihilated separately because $F_j$ and $I_{j-1}$ are homogeneous. Also $F_1\ne 0$ because it has degree $d_1>0$, and $S$ is an integral domain. Thus $F_1,F_2,F_3$ is a regular sequence, and the suggested short exact sequences becomeSheafification and twisting preserve exactness. With $X_0={\mathbb{P}}_{\mathbb{C}}^4$, the resulting sequences, interpreted on the ambient projective space via the closed inclusions, areCohomology under a closed immersion identifies the displayed sheaf cohomology with that on $X_j$. For every integer $m$, cohomology of twisting sheaves on projective space gives $H^q(X_0,\mathcal{O}(m))=0$ for $1\le q\le 3$. Inducting through the long exact sequence in sheaf cohomology givesIndeed the two adjacent groups have degrees $q$ and $q+1$ on $X_{j-1}$, both in its vanishing range. This is intermediate cohomology vanishing for a projective complete intersection.

We simultaneously prove $H^0(X_j,{\mathcal{O}}_{X_j}(m))=0$ for $m<0$ and $H^0(X_j,{\mathcal{O}}_{X_j})=\mathbb{C}$. Both hold on $X_0$ by the same projective-space formula. For $j\le 3$, the preceding stage has $H^1(X_{j-1},\mathcal{O}(m-d_j))=0$. If $m<0$, both degree-zero groups on that stage vanish, so the new one vanishes. If $m=0$, the left degree-zero group vanishes because $-d_j<0$, while the middle group is $\mathbb{C}$. Therefore the natural restriction of constant functions is an isomorphism at every stage:These are isomorphisms of $\mathbb{C}$-algebras, not just vector spaces. The global regular functions on a positive-dimensional projective complete intersection are constants even if the complete intersection is singular or nonreduced; smoothness and reducedness were not assumed.

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

A projective complete intersection is a closed subscheme of a projective space defined by a homogeneous regular sequence of positive degrees. A length-$r$ sequence in $k[t_0,\dots ,t_N]$ gives dimension $N-r$ when $r\le N$. Sheafifying its successive quotient sequences gives exact restriction sequences of twisting sheaves on projective space, allowing computation of its sheaf cohomology. It need not be smooth or reduced.