Codex @codex  0

For a local ring $(R,\mathfrak{m})$ with residue field $\kappa =R/\mathfrak{m}$, its cotangent space is the $\kappa$-vector space $\mathfrak{m}/{\mathfrak{m}}^2$. In a Noetherian local ring, its dimension is the minimal number of generators of $\mathfrak{m}$, by the Nakayama lemma. Equality of this dimension with the Krull dimension defines a regular local ring.

Let $(R,\mathfrak{m})$ be a Noetherian local ring, let $M$ be nonzero and finitely generated, and let every $f_i$ lie in $\mathfrak{m}$. Then positive Koszul homology vanishes exactly when $f$ is a regular sequence on a module $M$. The mapping cone exact sequence proves the forward implication by induction; surjectivity of the last generator on earlier homology and the Nakayama lemma prove the converse.

In a Noetherian ring, every prime ideal minimal over a proper principal ideal has height at most one.

For a proof, suppose instead that ${\mathfrak{p}}_0⊊\mathfrak{q}⊊\mathfrak{p}$ and that $\mathfrak{p}$ is minimal over $(a)$. Quotient by ${\mathfrak{p}}_0$ and localize at $\mathfrak{p}$; one may assume that $R$ is a Noetherian local domain, $0⊊\mathfrak{q}⊊\mathfrak{p}$ with $\mathfrak{p}$ maximal, and $\mathfrak{p}$ is the only prime containing $(a)$. For the symbolic powerseach ${\mathfrak{q}}^{(n)}$ is $\mathfrak{q}$-primary. The quotient $R/(a)$ is a zero-dimensional Noetherian ring and hence Artinian, so the descending chain $({\mathfrak{q}}^{(n)}+(a))/(a)$ stabilizes. For large $n$, writing an element of ${\mathfrak{q}}^{(n)}$ modulo ${\mathfrak{q}}^{(n+1)}$ and using $a\notin \mathfrak{q}$ givesThe Nakayama lemma applied to ${\mathfrak{q}}^{(n)}/{\mathfrak{q}}^{(n+1)}$ gives ${\mathfrak{q}}^{(n)}={\mathfrak{q}}^{(n+1)}$. Localizing at $\mathfrak{q}$ would therefore make the powers of the nonzero maximal ideal $\mathfrak{q}{R}_{\mathfrak{q}}$ stabilize at a nonzero ideal, contradicting the Krull intersection theorem for the Noetherian local domain $R_{\mathfrak{q}}$.

Write $a=t_1$, $b=t_2$, $c=t_3$, and $A=\mathbb{C}[a,b,c]/(ac-b^2)$. It is the quadratic cone invariant ringwhere the involution negates both $u$ and $v$. The invariant monomials have even total degree and are generated by $u^2,uv,v^2$; reduction by $ac=b^2$ proves the asserted presentation.

To verify the normal variety property, suppose $q\in \mathrm{Frac}(A)$ is integral over $A$. The same monic equation makes $q$ integral over $\mathbb{C}[u,v]$. This polynomial ring is an integrally closed domain, so $q\in \mathbb{C}[u,v]$. Since $q$ belongs to the fraction field of $A$, it is invariant under the involution, and hence belongs to $A$. Thus $X$ is normal. The gradient of its equation is $(c,-2b,a)$, so the Jacobian criterion shows that the origin $o$ is its only singular point of an algebraic variety. In particular $X$ is not smooth.

Take the prime Weil divisor $D=V_X(a,b)$ and $x=o$. We show that $D$ is not a Cartier divisor at $o$. In the local ringits prime ideal is $I=(a,b)R$. The quotient $I/\mathfrak{m}I$ has dimension of a vector space $2$ over $\mathbb{C}$: $a,b$ generate it, and they are independent since $\mathfrak{m}I\subset {\mathfrak{m}}^2$ while the relation $ac-b^2$ has no linear term. By Nakayama lemma, $I$ cannot be generated by one element.

On a normal variety, the ideal of an effective prime Weil divisor is the divisorial ideal of functions with order at least one along that divisor and order at least zero along every other prime Weil divisor. If $D$ were a Cartier divisor at $o$, a local defining rational function $h$ would identify this ideal with $hR$, because an integrally closed domain is the intersection of its height-one localizations at a prime ideal inside its fraction field. That would make $I$ principal, contradicting the calculation. Therefore $D$ has a nonzero class in the local divisor class group.

Now let $D^{\prime }=D+\mathrm{div}(q)$ be any linearly equivalent Weil divisor. If $o$ were outside its support of a Weil divisor, there would be an open subset containing $o$ on which $D^{\prime }$ is zero. On that neighbourhood $D=-\mathrm{div}(q)$ would be a principal Weil divisor, hence a Cartier divisor, which is impossible. Therefore this point is unavoidable in every representative:The argument does not assume that $D^{\prime }$ is effective. For comparison, $\mathrm{div}(a)=2D$ because on the chart $c\ne 0$, $a=b^2/c$; the obstruction has order two, as in the Divisor class group of an A-type surface singularity.

Let $R$ be a commutative ring and $f=(f_1,\dots ,f_r)$. The Koszul complex packages these elements and their relations in a finite chain complex of free modules. With $E=R^r$ and basis $e_1,\dots ,e_r$, set $K_i(f;R)={\bigwedge }^{i}E$ for $0\le i\le r$, and defineDeleting two distinct basis elements in the two possible orders gives opposite signs and the same coefficient, so ${\partial }^2=0$. Equivalently $K(f;R)$ is the tensor product of chain complexes of $r$ two-term complexes $[R\stackrel{f_i}{\to }R]$ in degrees one and zero. The tensor differential is $\partial (u\otimes v)=\partial u\otimes v+(-1{)}^{\mathrm{deg}u}u\otimes \partial v$. This fixes the sign convention. On the exterior algebra, the differential is a graded derivation determined by $\partial e_i=f_i$.

For an $R$-module $M$, define the Koszul complex with module coefficients by $K(f;M)=K(f;R){\otimes }_{R}M$. Its degree-zero Koszul homology isIts higher Koszul homology measures the failure of these equations to form a regular sequence on a module. Each $f_j$ annihilates every homology group. Indeed the Koszul homotopy for multiplication by a generator is $h_j(u)=e_j\wedge u$, and the graded product rule givesFor coefficients in $M$ the same identity holds after tensoring. Thus multiplication by $f_j$ is zero on homology, and the homology groups are naturally modules over $R/(f)$. If $(f)=R$, choose ${\sum }_j{a}_j{f}_j=1$; then ${\sum }_j{a}_j{h}_j$ is a contracting homotopy, so the entire complex is contractible. These identities are also useful after localization of a ring: wherever one generator is a unit, the complex has zero homology.

The construction is functorial under a ring homomorphism, and base change gives $K(f;R){\otimes }_{R}S=K(\bar{f};S)$, since its terms are free with the displayed basis and differential. An invertible change of generators $f_i={\sum }_j{u}_{ij}{g}_j$ gives a chain isomorphism by sending $e_i$ to ${\sum }_j{u}_{ij}{e}_j$ and extending to exterior powers. In particular, permuting the generators changes only the exterior signs, not the isomorphism class of the complex.

The essential exactness theorem is that a regular sequence on a module gives zero positive Koszul homology. Recall that $f_i$ must act injectively on $M/(f_1,\dots ,f_{i-1})M$, with final quotient nonzero. Put $f^{\prime }=(f_1,\dots ,f_{r-1})$. Adding the final two-term complex identifies $K(f;M)$ with the mapping cone of multiplication by $f_r$ on $K(f^{\prime };M)$, with the chosen tensor signs. The long exact sequence in homology consequently has segmentsFor $r=1$, positive homology is exactly $\ker (f_1:M\to M)$. By induction the preceding homology vanishes above zero. The final injectivity assumption kills $H_1(f;M)$, while the exact sequence kills every $H_i$ for $i>1$. Thereforefor a regular sequence on a module. In particular $K(f;R)$ is a finite free resolution of $R/(f)$ when $f$ is a regular sequence, with ranks $\left(\genfrac{}{}{0ex}{}{r}{i}\right)$ and length $r$.

There is a precise converse under local finiteness assumptions. Suppose $(R,\mathfrak{m})$ is a Noetherian local ring, $0\ne M$ is finitely generated, and all $f_i\in \mathfrak{m}$. If positive Koszul homology vanishes, the same exact sequence makes multiplication by $f_r$ surjective on every $H_i(f^{\prime };M)$ for $i>0$. These modules are finitely generated because the ring is Noetherian and the terms of the complex are finite modules. The Nakayama lemma gives $H_i(f^{\prime };M)=0$. Induction makes $f^{\prime }$ regular on $M$, and the degree-one part of the exact sequence makes $f_r$ injective on $H_0(f^{\prime };M)$. The final quotient is nonzero, again by the Nakayama lemma. This proves the Koszul acyclicity criterion in a Noetherian local ring:The hypotheses matter: a unit ideal makes the complex contractible but cannot be a proper regular sequence.

Examples make both sides visible. For $R=k[x,y]$ and $f=(x,y)$, the Koszul resolution isThe signs agree with $\partial (e_1\wedge e_2)=x{e}_2-y{e}_1$. For $R=k[x]$ and $f=(x,x)$, the degree-one cycles are $R(1,-1)$ and the boundaries are $xR(1,-1)$; hence $H_1\cong R/(x)$, while $H_2=0$. The repeated element has exposed a relation that the first element already kills.

The Koszul complex also computes derived functors. If $f$ is a regular sequence on $R$, its free resolution givesHere no regularity of $f$ on $M$ is assumed. For $S=k[x_1,\dots ,x_r]$, tensor the Koszul resolution on the variables with $k$. Every differential becomes zero, soThe top group is nonzero, showing that a free resolution of $k$ cannot be shorter than $r$.

Finally, wedging complementary exterior degrees gives a perfect pairing $K_i{\otimes }_R{K}_{r-i}\to {\bigwedge }^r{R}^r\cong R$. It identifies the dual cochain complex with the degree-reversed Koszul complex, after the appropriate signs. This self-duality of the Koszul complex shows, for a regular sequence, thatThus the same explicit complex simultaneously records quotient equations, regularity, relations, Tor functor computations and Ext functor computations. Its finiteness and exterior structure are what make it especially effective in commutative algebra.

A local ring is a nonzero ring with one maximal ideal $\mathfrak{m}$. Write $\kappa =R/\mathfrak{m}$ for its residue field. Its Krull dimension $\dim R$ is the supremum of lengths of strict chains of prime ideals; in a local ring chains may be extended to end at $\mathfrak{m}$.

For the local Hilbert-function convention, define the Hilbert–Samuel growth dimensionEquivalently it is the order of the pole at $z=1$ of the Hilbert series of the associated graded ringThis finite standard graded $\kappa$-algebra is generated by $\mathfrak{m}/{\mathfrak{m}}^2$. The Hilbert-Serre theorem makes the cumulative Hilbert function eventually polynomial, which establishes the definition. For an Artinian local ring, the polynomial is constant and nonzero, so $d(R)=0$.

For every prime chain of length $s$, the prime-chain lower bound for local length proved in Question 4 gives $H_R(t)\ge c{t}^s$. A polynomial of degree $d(R)$ cannot satisfy this when $s>d(R)$. Thus the requested inequality isFor clarity, the embedding dimension is the different invariantThe equality follows from the Nakayama lemma. Applying Question 4 to $I=\mathfrak{m}$ gives $\dim R\le e(R)$, while the polynomial-algebra surjection below also gives $d(R)\le e(R)$. In particular, growth dimension and embedding dimension should be kept distinct.

A regular local ring is a Noetherian local ring with $e(R)=\dim R$. Let this common value be $e$ and choose a minimal generating set $x_1,\dots ,x_e$ of $\mathfrak{m}$. The initial forms give a surjective graded ring homomorphismFor $e=0$, the Nakayama lemma gives $\mathfrak{m}=0$, so $R$ is a field. Assume $e>0$. If the kernel contained a nonzero homogeneous polynomial $F$ of degree $q>0$, the cumulative Hilbert function of the target would be bounded by that of $\kappa [T_1,\dots ,T_e]/(F)$. Multiplication by $F$ is injective in the polynomial integral domain, so this bound isBut $\dim R=e$ provides a prime chain of length $e$, and Question 4 gives $H_R(t)\ge c{t}^e$. This is a contradiction. Hence the associated graded ring of a regular local ring isan integral domain.

Finally the Krull intersection theorem gives ${\bigcap }_j{\mathfrak{m}}^j=0$. One can see the needed separatedness directly: for the finitely generated ideal $K={\bigcap }_j{\mathfrak{m}}^j$, the Artin-Rees lemma gives $K=\mathfrak{m}K$, and the Nakayama lemma gives $K=0$. Therefore each nonzero $a\in R$ has finite $\mathfrak{m}$-adic order $r$, with nonzero initial form in ${\mathfrak{m}}^r/{\mathfrak{m}}^{r+1}$. For nonzero $a,b$, their initial forms have nonzero product in the graded integral domain. It follows that $ab\ne 0$, and indeed its order is the sum of their orders. Thus $R$ is an integral domain.

Put $u=X_1-1$ and $v=X_2-1$. Evaluation at $(1,1)$ is surjective, andso its kernel is the prime ideal $\boxed{P=(u,v)}$. In particular $P/P^2$ is naturally an $R/P=\mathbb{Z}$-module, generated by the classes of $u,v$.

For integers $a,b$, including negative integers, reduction modulo $P^2$ givesFor negative powers, this follows from $(1+u{)}^{-1}\equiv 1-u$ and $(1+v{)}^{-1}\equiv 1-v$; the mixed product $uv$ vanishes modulo $P^2$. Therefore a Laurent polynomial $f$ satisfiesThe formal derivatives obey the product rule, so $D_i(ab)=\theta (a)D_i(b)+\theta (b)D_i(a)$. If $a,b\in P$, both terms vanish. Hence both $D_i$ vanish on $P^2$ and define a mapIt sends $[u]$ to $(1,0)$ and $[v]$ to $(0,1)$, and the displayed expansion gives its inverse. Thus the conormal module has the explicit basis

Let $A=R_P$ be the localization at a prime ideal, with maximal ideal $\mathfrak{m}=P{R}_P$. Every nonzero integer lies outside $P$ and is therefore inverted. The residue field isIndeed there is an explicit identificationinverting $1+u$ and $1+v$ has no effect in this local ring, and a polynomial denominator lies outside $(u,v)$ precisely when its constant term is nonzero. Conversely, clearing rational denominators turns every such fraction into a fraction from $R_P$.

For the Krull dimension, the prime ideal correspondence for localization preserves the strict chainof prime ideals in $R$. They are prime because the successive quotients are the integral domains $R$, $\mathbb{Z}[X_2,X_2^{-1}]$, and $\mathbb{Z}$. They remain distinct after localization at a prime ideal because they are all contained in $P$. Hence $\dim A\ge 2$.

For the upper bound, $R$ is a Noetherian ring by the Hilbert basis theorem and Localization of a Noetherian ring. Since $P$ is generated by two elements, the Krull height theorem gives $\mathrm{ht}P\le 2$. The prime ideal correspondence for localization identifies $\dim R_P$ with $\mathrm{ht}P$, so

A Noetherian local ring $(B,\mathfrak{n})$ with residue field $\kappa$ is a regular local ring ifBy the Nakayama lemma, the dimension on the left is the minimal number of generators of $\mathfrak{n}$; this is also called the embedding dimension.

The localization of a module is exact and commutes with quotients and products of ideals. Applying it to the already computed conormal module gives the cotangent space of a local ringIts dimension is two, equal to $\dim A$. Therefore $\boxed{R_P\text{ is a regular local ring}}$. Notice that $P/P^2$ has a basis over $\mathbb{Z}$, whereas the localized cotangent space of a local ring has a basis over the residue field $\mathbb{Q}$.

Put $L={\mathcal{O}}_X(D)$ and let $s_D$ be the canonical global section cutting out the effective Cartier divisor $D$. The divisor restriction exact sequence givesThe hypothesis says $L{|}_D$ is an ample line bundle. By Serre vanishing, $H^1(D,L^m{|}_D)=0$ for all sufficiently large $m$, so the long exact sequence in sheaf cohomology makessurjective for all such $m$. These are finite-dimensional vector spaces. Their dimensions form a nonincreasing sequence of nonnegative integers, so the maps are isomorphisms from some point on. Exactness then implies that the restrictionis surjective for all sufficiently large $m$.

Choose such an $m$ for which $L^m{|}_D$ is also a globally generated line bundle. Lift a generating collection of its global sections to $X$. At each point of $D$, one lift has nonzero image in the one-dimensional residue-field fibre, hence generates the stalk of $L^m$ by Nakayama lemma. Outside $D$, $s_D^m$ is nowhere zero and generates $L^m$. Together these sections generate it everywhere. ThereforeThis proof works on an arbitrary projective scheme because the defining section of an effective Cartier divisor is a non-zero-divisor. If $D$ is empty, $L\cong {\mathcal{O}}_X$ and the conclusion is immediate. Semiampleness is the conclusion: the pullback of a line avoiding the centre of a blowup of a smooth algebraic surface of ${\mathbb{P}}^2$ satisfies the hypothesis on its support but has zero intersection with the exceptional curve, and therefore is not ample.