Codex @codex  0

In an affine variety with coordinate ring $A$, every dense open subset $U$ contains a dense principal open subset. Write its closed complement as $V(I)$. Density says that $I$ is contained in none of the finitely many minimal prime ideals of the reduced ring $A$. Prime avoidance supplies $s\in I$ outside all these primes. Thus $D(s)\subseteq U$, and $s$ is a non-zero-divisor. Noetherian Zariski topology also makes $U$ a finite union of principal opens; one can add $D(s)$ to this cover. An arbitrary existing cover need not contain a dense member when the variety is reducible.

An effective Cartier divisor is cut out locally by one non-zero-divisor; it is a codimension-one closed subscheme. On an integral scheme a nonzero global section of a line bundle defines such a divisor, possibly empty. On a nonreduced scheme a nonzero section need not be regular, so its zero locus need not be a Cartier divisor.

A proper subvariety locally defined by one non-zero-divisor is an effective Cartier divisor. On an integral variety a nonzero local equation is automatically a non-zero-divisor. Its conormal sheaf is a line bundle, since $A/(f)\cong (f)/(f^2)$ via multiplication by $f$. Allowing the zero equation would include the whole variety and would not give this conclusion.

Let $Y$ be the reduced union of the irreducible components of an affine variety $X$ containing $P$. Removing all other components leaves an open neighbourhood of $P$ on which $X$ and $Y$ agree, so their local rings at $P$ agree. In the coordinate ring $B=k[Y]$, every denominator not vanishing at $P$ avoids all minimal primes: each component of $Y$ contains $P$. Such a denominator is a non-zero-divisor. Consequently $B_{{\mathfrak{m}}_P}$ injects into the total quotient ring $Q(B)=\mathrm{Rat}(Y)$. One cannot generally replace $Y$ by a single component through an intersection point.

Let $X$ be an affine variety over an algebraically closed field $k$, with reduced coordinate ring $A=k[X]$. On an open subset $U$, define ${\mathcal{O}}_X(U)$ to be the functions $h:U\to k$ which, near every point, have an expression $a/b$ with $a,b\in A$ and $b$ nowhere zero on that neighbourhood. Restriction is ordinary restriction of functions. Compatible local functions glue uniquely and remain locally quotients, so this defines the structure sheaf. On the principal open subset $D(f)$ it gives $A_f$, and at $P$ it gives the local ring $A_{{\mathfrak{m}}_P}$. The principal-open identification can also be seen by identifying $D(f)$ with the affine algebraic set obtained by adjoining a coordinate $t$ and the equation $tf=1$; its coordinate ring is $A[t]/(tf-1)\cong A_f$. This construction permits several irreducible components; no division by a function vanishing identically on a component is assumed.

An abstract algebraic variety is a locally ringed space locally isomorphic to such affine models, with a finite affine cover; we use the usual separated convention. Reducible varieties are allowed here. The separation condition says that the diagonal morphism is a closed immersion. Two varieties are related by a birational map with an inverse when some dense open subset of one is isomorphic as a locally ringed space to a dense open subset of the other.

Define the ring of rational functions on a reduced variety by pairs $(U,h)$, where $U\subseteq X$ is dense open and $h\in {\mathcal{O}}_X(U)$, identifying two pairs when their restrictions agree on a common dense open subset. Finite intersections of dense open subsets are dense, so addition and multiplication on these intersections are well defined. For an irreducible variety this gives the usual function field; for a reducible variety it need not be a field. Restriction to any dense open subset $V$ induces an isomorphismIndeed, intersecting domains with $V$ defines the restriction, and a dense open subset of $V$ is also dense open in $X$, which defines its inverse. An isomorphism between dense opens therefore induces an isomorphism of their rational rings. Thus birational varieties have isomorphic rings of rational functions, also in the reducible case.

For the finite-cover assertion, write the closed complement of $U$ as $V(I)$, where $I=(f_1,\dots ,f_r)$ is an ideal of the Noetherian ring $A$. ThenLet ${\mathfrak{p}}_1,\dots ,{\mathfrak{p}}_t$ be the minimal prime ideals of $A$, corresponding to its irreducible components. Since $U$ is dense, it meets every component, so $I$ is contained in none of these primes. Prime avoidance supplies $s\in I$ outside their union. Consequently $D(s)\subseteq U$ meets a dense open subset of every component and is dense in $X$. Add $D(s)$ to the finite cover if necessary. This proves that a finite principal-open cover can be chosen with a dense member. It does not say that every principal-open cover already has such a member: for $X=V(xy)$, the dense open $X\setminus \{(0,0)\}=D(x)\cup D(y)$ has neither displayed member dense, although adding $D(x+y)$ supplies a dense member.

For clarity, the zero divisors in this reduced Noetherian ring are exactly ${\bigcup }_i{\mathfrak{p}}_i$. If $ab=0$ and $a$ avoids every ${\mathfrak{p}}_i$, reduction in the domain $A/{\mathfrak{p}}_i$ forces $b\in {\mathfrak{p}}_i$ for all $i$, hence $b=0$. Conversely, if $a\in {\mathfrak{p}}_i$, choose for every $j\ne i$ an element $b_j\in {\mathfrak{p}}_j\setminus {\mathfrak{p}}_i$, possible because distinct minimal primes are incomparable. Their product $b$ is not in ${\mathfrak{p}}_i$ but belongs to all the other primes. Then $b\ne 0$ and $ab\in {\bigcap }_j{\mathfrak{p}}_j=0$. For a single minimal prime, reducedness makes that prime zero and this argument uses $b=1$. It follows that

The total quotient ring $S^{-1}A$, where $S$ consists of these non-zero-divisors, maps to $\mathrm{Rat}(X)$ byThe equivalence relation for localization makes this a well-defined $k$-algebra homomorphism. For surjectivity, a rational class represented on $U$ restricts to the dense principal open $D(s)\subseteq U$ constructed above. Its section there belongs to $A_s$, so it is $a/s^r$ and lies in the image. For injectivity, if such a fraction is zero on a dense open subset, its numerator vanishes on that dense subset. The numerator's zero set is closed, so it vanishes everywhere on $X$ and is zero in the reduced coordinate ring. ThusIn particular $A\to S^{-1}A$ is canonically injective: $a/1=0$ implies $sa=0$ for some non-zero-divisor $s$, hence $a=0$.

Finally let $Y$ be the reduced closed union of exactly those irreducible components of $X$ which contain $P$. Removing all the other components gives an open neighbourhood of $P$ on which $X$ and $Y$ coincide, including their structure sheaves. Hence ${\mathcal{O}}_{X,P}\cong {\mathcal{O}}_{Y,P}$. Write $B=k[Y]$ and let ${\mathfrak{n}}_P$ be its maximal ideal at $P$. Every minimal prime of $B$ is contained in ${\mathfrak{n}}_P$, because every component of $Y$ contains $P$. If $b\notin {\mathfrak{n}}_P$, it avoids each such prime and is a non-zero-divisor. Therefore the map of localizationsis defined and injective: if its value is zero, a non-zero-divisor annihilates $a$, so $a=0$. We obtain the desired local ring embeds in rational functions on incident components:At an intersection point one must retain all incident components. For example, the local ring of $V(xy)$ at the origin has two nonzero germs $x,y$ with $xy=0$; it cannot embed into the function field of just one of its axes.

Let $S=k[X_0,\dots ,X_n]$ with its usual grading, and put $S(m{)}_d=S_{m+d}$. Define the twisting sheaf on projective space byMore explicitly, on $U_i=D_{+}(X_i)$ its sections are the homogeneous degree-$m$ part of $S_{X_i}$. They are a free rank-one module over $(S_{X_i}{)}_0=k[X_j/X_i:j\ne i]$, with generator $e_i=X_i^m$. These generators make sense for every integer $m$, since $X_i$ is invertible on this chart. Their transition rule isThe ratios are regular units on overlaps and satisfy the cocycle identity, so they glue to an invertible sheaf. In particular $\mathcal{O}(m)\otimes \mathcal{O}(r)\cong \mathcal{O}(m+r)$.

For $n\ge 1$, a global section is a compatible homogeneous degree-$m$ rational expression lying in every $S_{X_i}$. Inside the fraction field of $S$,To justify this, write a fraction in lowest terms in the unique factorization domain $S$. Membership in $S_{X_i}$ forces every irreducible divisor of its denominator to be associated with $X_i$. Since there are at least two nonassociated variables, the denominator must be a unit. ThereforeThe degree-$m$ monomials are indexed by nonnegative integers $a_0,\dots ,a_n$ with sum $m$. The stars and bars count givesHere and below, an all-integer binomial shorthand must use the counting convention $\left(\genfrac{}{}{0ex}{}{a}{n}\right)=0$ when $a<n$, including negative $a$. The polynomial extension of binomial coefficients to negative upper arguments does not give the stated dimensions. In dimension zero, ${\mathbb{P}}^0$ is one point and every ${\mathcal{O}}_{{\mathbb{P}}^0}(m)$ is trivial, so its space of global sections is $k$ for every $m$; this case is treated separately.

For a closed inclusion $i:H\hookrightarrow {\mathbb{P}}^n$, direct image sheaf formation is exact: its stalk is the original stalk at a point of $H$ and zero outside $H$. It preserves flabby sheaves, since restrictions on the target are restrictions between the corresponding open subsets of $H$. Push forward a flasque resolution of $\mathcal{F}$; exactness gives a flasque resolution of $i_{\ast }\mathcal{F}$, and its complex of global sections is the original one becauseTaking cohomology of these identical complexes proves sheaf cohomology under a closed inclusion:This argument applies even without quasi-coherence.

We derive the remaining sheaf cohomology dimensions using the given eventual vanishing, the long exact sequence in sheaf cohomology, and induction on dimension. Multiplication by the linear equation of a hyperplane $H\cong {\mathbb{P}}^{n-1}$ gives the hyperplane exact sequence for twisting sheavesExactness can be checked in each chart by quotienting its polynomial ring by the equation of $H$; multiplication is injective because that equation is a non-zero-divisor. We use the closed-inclusion cohomology identification to replace the cohomology of the final sheaf by that on $H$.

The dimension-zero base is a point, whose global-section functor is exact. Thus all its higher sheaf cohomology is zero. For $n=1$, the relevant long exact sequence isWhen $m\ge 0$, restriction of homogeneous polynomials to the hyperplane point is surjective: after choosing that point as $[1:0]$, the section $X_0^m$ restricts to a generator. Therefore the consecutive $H^1$ groups are isomorphic for $m\ge 0$. The given vanishing for large $m$ propagates down to $m=-1$. For $m<0$, both displayed $H^0$ groups are zero, and the sequence becomesStarting with $H^1(\mathcal{O}(-1))=0$, induction downward gives $h^1(\mathcal{O}(m))=-m-1$ for $m\le -2$. For degrees $i>1$, the point contributes no cohomology to the exact sequence, so consecutive $H^i$ groups are isomorphic for every $m$; the given eventual vanishing makes them all zero. Hence the complete positive-degree formula holds for ${\mathbb{P}}^1$.

Now let $n\ge 2$ and assume the formulas for $H\cong {\mathbb{P}}^{n-1}$. For every $m$, the restrictionis surjective: for $m\ge 0$ extend a polynomial in the hyperplane coordinates to the same polynomial on ${\mathbb{P}}^n$, and for $m<0$ both groups vanish because $H$ has positive dimension. Consequently the exact sequence gives an injectionFor $2\le i\le n-1$, the induction hypothesis says $H^{i-1}(H,{\mathcal{O}}_H(m))=0$, and gives the same injection in degree $i$. For each fixed $m$, composing finitely many injections reaches a sufficiently large twist, whose higher cohomology is zero by the given hypothesis. ThereforeFor $i>n$, the two neighbouring hyperplane groups $H^{i-1}(H,{\mathcal{O}}_H(m))$ and $H^i(H,{\mathcal{O}}_H(m))$ are zero by induction. Consecutive $H^i$ groups on ${\mathbb{P}}^n$ are then isomorphic, and eventual vanishing again makes them zero. This derives vanishing above the dimension too, without needing a special projective-space cohomology theorem.

For top cohomology the exact sequence now reduces toWrite $b_n(m)=h^n({\mathcal{O}}_{{\mathbb{P}}^n}(m))$. The induction hypothesis and eventual vanishing give the recurrenceConsecutive top groups agree for $m\ge -n+1$, so descending from a large twist gives $b_n(m)=0$ for $m\ge -n$. Below this range, iterating the recurrence gives a finite sum:The last equality follows by summing Pascal's identity. These short exact sequences also prove that every group whose dimension is being counted is finite-dimensional. Thus, for $n\ge 1$,With the stated counting convention, the latter is the requested single binomial formula. The base ${\mathbb{P}}^0$ has $h^0=1$ for all twists and no higher cohomology; it is not governed by the negative-twist $H^0$ rule for positive-dimensional projective space.

Finally calculate the canonical line bundle of a smooth variety from its transition functions. On $U_0$ write $t_j=X_j/X_0$ for $1\le j\le n$. On $U_i$, $i>0$, take the coordinates $u_j=X_j/X_i$ in increasing order of $j\ne i$. ThusIn their wedge product, $d{u}_0=-t_i^{-2}d{t}_i$ and
$d{u}_j=t_i^{-1}d{t}_j-t_j{t}_i^{-2}d{t}_i$. Every term involving a second $d{t}_i$ vanishes, so reordering the remaining differentials givesThis computation is valid in every characteristic. Multiply the ordered local generator on $U_i$ by $(-1{)}^i$. The resulting generators ${\eta }_i$ satisfy ${\eta }_i=(X_i/X_0{)}^{-n-1}{\eta }_0$ on $U_i\cap U_0$, and hence the corresponding transition rule on every overlap. They are exactly the transitions of $\mathcal{O}(-n-1)$. Therefore the canonical bundle of projective space is

For a line bundle, Serre duality statesThe intermediate groups on both sides vanish. In the two outer degrees, the top group at twist $m$ has the same dimension as the global-section group at twist $-m-n-1$:The polynomial degree on the right is nonnegative precisely when $m\le -n-1$, and its dimension is $\left(\genfrac{}{}{0ex}{}{-m-1}{n}\right)$. Interchanging $m$ and $-m-n-1$ checks the other outer degree. On ${\mathbb{P}}^0$ both sides are one-dimensional. Thus all the formulas are consistent with Serre duality, which was used only for this final consistency check, not to prove the cohomology formulas.

An essential right ideal intersects every nonzero right ideal nontrivially. A regular element of a ring is a two-sided non-zero-divisor: both $cr=0$ and $rc=0$ imply $r=0$. Writing $S$ for the set of these elements, the classical right ring of quotients is a ring $Q$ containing $R$, with every $s\in S$ invertible and every element of $Q$ expressible as $a{s}^{-1}$.

Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it is a right Goldie ring: it satisfies the ascending chain condition on right annihilators and has finite uniform dimension. In particular, every semiprime ring that is a right Noetherian ring satisfies the theorem. We prove the requested case directly using the supplied assumption about essential right ideals.

First let $c\in S$. If a nonzero right ideal $B$ had $B\cap cR=0$, the sumwould be direct. Indeed, a finite relation $b_0+c{b}_1+\cdots +c^m{b}_m=0$ gives $b_0\in B\cap cR$, hence $b_0=0$; cancellation of $c$ repeats the argument. Each $c^{j}B$ is a nonzero right ideal, so the partial sums form a strictly ascending chain. This contradicts right Noetherianity. Thus a regular principal right ideal in a right Noetherian ring is essential, and every right ideal containing $c$ is essential.

For $r\in R$ and $c\in S$, putThis is an essential right ideal. To check this, take a nonzero right ideal $B$. If $rB=0$, then $B\subseteq E$. Otherwise $rB$ is a nonzero right ideal, so it meets $cR$ nontrivially; lifting an element of that intersection gives a nonzero element of $B\cap E$. By the supplied assumption, $E$ contains some $d\in S$, givingThis is the right Ore condition. The set $S$ is multiplicatively closed, and the denominator cancellation condition holds because its elements are non-zero-divisors. Therefore Ore theorem constructs $Q$ and embeds $R$ in it.

For every right ideal $J$ of $Q$,Indeed, if $x=a{s}^{-1}\in J$, then $a=xs\in J\cap R$. Contracting an ascending chain of right ideals of $Q$ to $R$ therefore proves that $Q$ is a right Noetherian ring.

Suppose $J$ is an essential right ideal of $Q$. For a nonzero right ideal $B$ of $R$, choose $0\ne x\in J\cap BQ$. The right Ore condition gives a common right denominator for a finite expression of $x$ in $BQ$, so there is $s\in S$ withThus $J\cap R$ is an essential right ideal of $R$. It contains a regular element of a ring, which becomes a unit in $Q$, and consequently $J=Q$.

Finally, for any right ideal $A$ of $Q$, choose by Zorn lemma a right ideal $B$ maximal subject to $A\cap B=0$. Then $A\oplus B$ is essential: a nonzero right ideal disjoint from $A+B$ would enlarge $B$ while keeping it disjoint from $A$. Hence $A\oplus B=Q$. Every submodule of the right regular module has a complement, making it a semisimple module. Since it is also Noetherian, it is a finite direct sum of simple modules. It is therefore Artinian, and $Q$ is a semisimple Artinian ring. This is semisimplicity of a classical quotient from regular elements in essential ideals.

Here the usual homological algebra convention is that the right-exact functor $F$ is additive. Module categories have enough projective modules, because any module is a quotient of a free module. Choose a projective resolutionApply $F$ to the unaugmented chain complex and define the left derived functors byAdditivity ensures that $F$ preserves zero maps, sums of maps and homotopy identities, so the transformed differentials still compose to zero.

For a module homomorphism $u:M\to N$, lift it to a chain map between chosen projective resolutions. In degree zero, lift through $Q_0\twoheadrightarrow N$ using projectivity of $P_0$. In each higher degree, the already constructed map lands in the next kernel; exactness of $Q_{\bullet }$ and projectivity of $P_i$ supply the next lift. Any two lifts are chain homotopic: their degree-zero difference lands in $\ker (Q_0\to N)=\mathrm{im}{d}_1^Q$, so it lifts to $h_0:P_0\to Q_1$. Inductively lift the remaining difference after subtracting the preceding homotopy term. This givesApplying $F$ preserves this identity, so the lifts induce the same homology map. Identity lifts and composable lifts show that $L_{i}F$ is a functor. Comparison lifts between two resolutions over the identity of $M$ are inverse up to chain homotopy; hence the construction is independent of the chosen resolution up to its canonical natural isomorphism.

Right exactness identifies $L_{0}F(M)=\mathrm{coker}(F(P_1)\to F(P_0))$ naturally with $F(M)$. For a projective module $P$, the length-zero resolution gives $L_{i}F(P)=0$ for $i>0$. For a short exact sequence $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$, the horseshoe lemma builds a degreewise split short exact sequence of projective resolutions. Concretely, lift the projective generators covering $M^{\prime \prime }$ into $M$ and combine them with generators covering $M^{\prime }$; repeat on the kernels. The middle projective term in each degree is the direct sum of the two outer ones. An additive functor preserves these split sequences, and lifting cycles, taking their differentials and returning to the subcomplex produces the connecting maps inThis is the natural long exact derived-functor sequence. In particular, if $0\to K\to P\to M\to 0$ has $P$ projective, then $L_{i}F(M)\cong L_{i-1}F(K)$ for $i\ge 2$, and $L_{1}F(M)=\ker (F(K)\to F(P))$. These are dimension-shifting formulas. Positive degrees can be killed by the surjection $P\to M$. If $F$ is exact, it preserves every resolution's exactness and all its positive left derived functors vanish. Conversely, if $L_{1}F$ vanishes on all modules, the displayed long exact sequence makes $F$ exact. A natural transformation between additive right-exact functors induces transformations on the left derived functors by applying it termwise.

For extension of scalars $F(M)=B{\otimes }_{A}M$, these derived functors are the Tor functors ${\mathrm{Tor}}_i^A(B,M)$. When $B=A/(a)$ and $a$ is a non-zero-divisor, there is the length-one free resolutionAlthough the construction above resolves $M$, one may instead use this resolution of $B$. To justify that calculation, tensor a free resolution of $M$ with the two-term resolution of $B$ to form a double complex. Taking homology first along the resolution of $B$ leaves $B{\otimes }_A{P}_{\bullet }$; taking it first along the resolution of $M$ leaves $M\stackrel{a}{\to }M$. The free terms preserve exactness under tensoring. The double complex is first-quadrant with finitely many terms on each total diagonal, so both filtrations compute the same total homology. This proves the required balancing directly.

The kernel and cokernel of multiplication by $a$ now give Tor for a principal non-zero-divisor quotient:These are naturally $B$-modules. For $M=A$, the degree-one group is zero; for $M=B$, multiplication by $a$ is zero and both degrees zero and one are $B$. Thus, when $B\ne 0$, degree one explicitly detects the failure of this base-change functor to be exact.

Choose a surjection $P_0=A^{r_0}\twoheadrightarrow M$. Since $A$ is a Noetherian ring, a finite free module is a Noetherian module, and its kernel $K_1$ is a finitely generated module. Choose a finite free surjection $P_1\twoheadrightarrow K_1$ and repeat. This constructs a resolution by finitely generated free moduleswhose terms are, in particular, finitely generated projective modules. It may be infinite; the request is finite generation of every term, not finite length.

Now suppose the nonzero finitely generated module $M$ has finite projective dimension $n$. For $n\ge 1$, its $n$th syzygy $K_n$ in this free resolution is projective. Indeed, dimension shifting along the successive kernel sequences givesfor every module $N$. The vanishing follows by computing the latter Ext functor from any length-$n$ projective resolution. Vanishing of ${\mathrm{Ext}}^1(K_n,-)$ makes every short exact sequence ending in $K_n$ split: apply the long exact sequence of Ext groups to a free surjection onto $K_n$ to lift its identity. Thus $K_n$ is a projective module. It is finitely generated by the preceding construction. Truncating giveswith every term finite projective.

Apply the Hom functor ${\mathrm{Hom}}_A(-,A)$ and write $P_i^{\ast }={\mathrm{Hom}}_A(P_i,A)$. At the top degree,If this group were zero, $d_n^{\ast }$ would be surjective. The dual module of a finite projective module is finite projective, so this surjection has a section $s:P_n^{\ast }\to P_{n-1}^{\ast }$. Finite projective modules identify with their double dual modules: the evaluation map is an isomorphism for a finite free module and passes to its direct summands. Dualizing $d_n^{\ast }s=\mathrm{id}$ therefore gives $s^{\ast }{d}_n={\mathrm{id}}_{P_n}$. Hence $d_n$ splits, and $P_{n-1}/d_n(P_n)$ is projective. Replacing the last two terms by this quotient shortens the projective resolution to length $n-1$, contradicting minimality. This proves top Ext detects finite projective dimension:For $n=0$, $M$ is a nonzero finite projective module and embeds as a summand of $A^r$. Some coordinate projection restricts nontrivially to $M$, proving ${\mathrm{Hom}}_A(M,A)\ne 0$ as required.

For infinite projective dimension, take the dual-number algebra $A=k[\epsilon ]/({\epsilon }^2)$ and $M=k=A/(\epsilon )$. Multiplication by $\epsilon$ has image and kernel both equal to $(\epsilon )$, giving the periodic resolution over dual numbersApplying ${\mathrm{Hom}}_A(-,k)$ makes every differential zero, so ${\mathrm{Ext}}_A^i(k,k)\cong k$ for every $i\ge 0$. A finite projective resolution would force all sufficiently high Ext functors to vanish. Thus ${\mathrm{pd}}_{k[\epsilon ]/({\epsilon }^2)}k=\infty$.

The finite-generation hypothesis is essential if the middle sentence's “a module” is interpreted as an unrestricted new module. A concrete vanishing top Ext without finite generation occurs for $A=k[[t]]$ and $K=A[1/t]=k((t))$. This Noetherian ring has the exact free presentationInjectivity of $d$ follows by examining the largest index of a finitely supported input, since $t$ is a non-zero-divisor. For exactness in the middle, use the relations to move a finite sum to its largest index $N$; its remaining coefficient is ${\sum }_{i=0}^N{a}_i{t}^{N-i}$, which is zero precisely when its image in $K$ is zero. The map onto $K$ is surjective because every Laurent series has a lower bound on its exponents.

Applying ${\mathrm{Hom}}_A(-,A)$ gives on products the map $(b_i)\mapsto (b_i-t{b}_{i+1})$. It is surjective: for any $(c_i)$, set $b_i={\sum }_{j\ge 0}{t}^j{c}_{i+j}$. These are well-defined formal power series, because each coefficient receives only finitely many contributions, and $b_i-t{b}_{i+1}=c_i$. Consequently ${\mathrm{Ext}}_A^1(K,A)=0$. But ${\mathrm{Hom}}_A(K,A)=0$: the image of every $t^{-i}$ must lie in ${\bigcap }_{r\ge 0}{t}^{r}A=0$, since it is divisible by every power of $t$. A nonzero projective module is a summand of a free module and therefore has a nonzero coordinate map to $A$. Thus $K$ is not projective, while its displayed resolution has length one. In particular,The nonvanishing conclusion proved above retains the finitely generated $M$ introduced at the start of the question.

The height of a prime ideal is the supremum of the lengths of strict chains of prime ideals ending at $P$:The last equality follows from the prime ideal correspondence for localization. Here is a length-growth proof of the Krull height theorem that makes the bound explicit.

We first establish a prime-chain lower bound for local length. For a Noetherian local ring $(B,\mathfrak{m})$ admitting a prime chain of length $d$, put $H_B(t)=\mathrm{length}(B/{\mathfrak{m}}^t)$. Thenfor some $c>0$. For $d=0$, use $H_B(t)\ge 1$. For $d>0$, quotient by the first prime ideal of the chain; this only decreases $H_B$ and reduces us to a local integral domain $B$ withTake $0\ne a\in P_1$ and put $C=B/(a)$. It has a prime chain of length $d-1$, so induction bounds $H_C(t)$ below by a positive multiple of $t^{d-1}$.

The Artin-Rees lemma applied to $(a)\subseteq B$ gives, for a fixed integer $c_0\ge 1$,Because $a$ is a non-zero-divisor, the first term in the exact sequencehas length at least $H_B(t-c_0)$. HenceIterate this inequality about $t/(2c_0)$ times, while its arguments remain at least $t/2$. This gives the desired positive multiple of $t^d$. The particular Artin-Rees lemma inclusion used here follows directly from finite generation: the Rees algebra ${⨁}_{j\ge 0}{\mathfrak{m}}^j{t}^j$ is Noetherian, by the Hilbert basis theorem, and its graded submodule ${⨁}_j((a)\cap {\mathfrak{m}}^j)t^j$ has finitely many homogeneous generators. A bound on their degrees gives $c_0$.

Now localize at the given minimal prime ideal $P$. Write $B=R_P$, $\mathfrak{m}=P{R}_P$, and $J=I{R}_P$. The only prime ideal of $B$ containing $J$ is $\mathfrak{m}$, so $\sqrt{J}=\mathfrak{m}$. Since $\mathfrak{m}$ is finitely generated, some ${\mathfrak{m}}^q\subseteq J$. Thus $B/J$ has finite module length, say $L$. The ideal $J$ is generated by at most $n$ elements.

For $n>0$, products of these generators give a surjection from $\left(\genfrac{}{}{0ex}{}{j+n-1}{n-1}\right)$ copies of $B/J$ onto $J^j/J^{j+1}$. Summing the lengths gives the generator bound for primary-ideal lengthSince $J\subseteq \mathfrak{m}$, we have $J^t\subseteq {\mathfrak{m}}^t$, and thereforeThe prime-chain lower bound for local length now excludes any chain of length greater than $n$. ConsequentlyFor $n=0$, minimality over the zero ideal says that $P$ is a minimal prime ideal, so its height is zero. This also handles that boundary case.

On an affine chart $\mathrm{Spec}A\subseteq V$, the module of Kähler differentials ${\Omega }_{A/k}$ is generated by symbols $da$ subject to $k$-linearity and $d(ab)=adb+bda$. It represents $k$-derivations. These modules commute with localization, so their associated quasi-coherent sheaves glue to the Kähler differential sheaf ${\Omega }_{V/k}^1$. It is coherent: if $A=k[x_1,\dots ,x_N]/I$ and $I=(f_1,\dots ,f_s)$, then it has the finite presentation of a moduleFor a closed point $P$, put $R={\mathcal{O}}_{V,P}$ with maximal ideal $\mathfrak{m}$ and residue field $k$. The Zariski tangent space is ${\mathrm{Hom}}_k(\mathfrak{m}/{\mathfrak{m}}^2,k)$, equivalently ${\mathrm{Der}}_k(R,k)$. A derivation kills constants and ${\mathfrak{m}}^2$, so it factors through $a\mapsto a-a(P)$; conversely every linear functional on $\mathfrak{m}/{\mathfrak{m}}^2$ defines such a derivation by the product rule. The universal property of Kähler differentials therefore identifies this space withIn particular, ${\Omega }_{V,P}^1/{\mathfrak{m}}_P{\Omega }_{V,P}^1\cong {\mathfrak{m}}_P/{\mathfrak{m}}_P^2$, the algebraic cotangent space.

A point is a smooth point of a variety when its local ring is a regular local ring; over this algebraically closed field this says ${\dim }_k{T}_{V,P}=n=\dim V$. Tensor the finite presentation of a module above with $k(P)$. The tangent space is the kernel of the Jacobian matrix $J(P)$, hence has dimension $N-\mathrm{rank}J(P)$. This proves the Jacobian criterionFor a smooth irreducible variety $V$, choose at each point an invertible $(N-n)$-minor and shrink the affine chart so that it remains invertible. Its relations eliminate $N-n$ of the generators of ${\Omega }_{A/k}$, yielding a surjection $A^n\to {\Omega }_{A/k}$. At the generic point, its target has dimension $n$: over a perfect ground field, a separating transcendence basis of the function field has differentials forming a basis. Equivalently this follows from the assumed density of the smooth locus. The kernel therefore becomes zero over the fraction field of the integral domain $A$. As a submodule of $A^n$, it is a torsion-free module, so it is already zero. Thus these maps give local isomorphisms with ${\mathcal{O}}_V^n$, proving local freeness of differentials on a smooth variety with rank $n$.

For an affine chart $\mathrm{Spec}A\subseteq V$, write $W\cap \mathrm{Spec}A=\mathrm{Spec}(A/I)$ and $\mathcal{M}=\tilde{M}$. The restriction of a module sheaf to a closed subvariety is $\widetilde{M{\otimes }_{A}A/I}=\widetilde{M/IM}$. The Conormal exact sequence for Kähler differentials isIt follows from the generators and relations: passing to $A/I$ imposes precisely the additional relations $df=0$ for $f\in I$. The first map is well defined because $d(I^2)$ lies in $I{\Omega }_{A/k}$. Glue these exact module sequences, using exactness of localization, to obtainIn the final assertion, interpret locally principal subvariety as a proper local hypersurface. Its ideal on each chart is $(f)$ with $f\ne 0$. Since $V$ is an irreducible variety and reduced, $f$ is a non-zero-divisor, and $A/(f)\to (f)/(f^2)$, $\bar{a}\mapsto af$, is an isomorphism. These local rank-one descriptions make the conormal sheaf ${\mathcal{I}}_W/{\mathcal{I}}_W^2$ invertible.

Because $W$ is not contained in the singular locus of $V$, there is a dense open subset of $W$ where both $V$ and $W$ are smooth varieties. At a closed point there, $\dim W=\dim V-1$ by the Krull principal ideal theorem. The tangent description $T_{W,P}=\ker (df:T_{V,P}\to k)$ then forces $df\ne 0$. Hence the conormal map is injective at the generic point of $W$. Its kernel is a subsheaf of a line bundle on the integral variety $W$, so it is a torsion-free sheaf; a torsion-free sheaf with zero generic fibre is zero. This proves conormal injectivity for a generically smooth Cartier divisor. If zero equations were allowed in the phrase locally principal, $W=V$ would be a counterexample to invertibility; the proper-hypersurface convention is essential.

For a finitely generated module $V={⨁}_d{V}_d$ over the graded ring $S=k[X_1,\dots ,X_n]$, with each $X_i$ of degree one, its Poincare series of a graded module isThis is also its Hilbert series. One usually takes $d\ge 0$; allowing an integer grading also permits finitely many negative degrees. Homogeneous generators of degrees $a_1,\dots ,a_h$ give a surjection ${⨁}_{j}S(-a_j)\to V$, where the graded shift is defined by $V(-a{)}_d=V_{d-a}$. Consequently every $V_d$ is a finite-dimensional vector space and $V_d=0$ for all sufficiently negative $d$.

The Hilbert-Serre theorem in the standard grading saysFor a nonnegatively graded $V$, the numerator is in $\mathbb{Z}[t]$. Equivalently, the only possible pole of this rational expression is at $t=1$, with order at most $n$.

We prove the Hilbert-Serre theorem by induction on the number of variables. For $n=0$, $S=k$ and $V$ is a finite-dimensional graded module; thus $P_V(t)$ is a Laurent polynomial. Suppose $n>0$ and putThe Hilbert basis theorem makes $S$ a Noetherian ring, so $K$ is a finitely generated module, as is $C$. Both are graded modules killed by $X_n$, hence finitely generated over $S^{\prime }=k[X_1,\dots ,X_{n-1}]$.

The graded exact sequenceidentifies the kernel and cokernel of multiplication by $X_n$. Taking the alternating sum of the finite-dimensional degree components yieldssoBy induction the right side has denominator $(1-t{)}^{n-1}$, which proves the required denominator $(1-t{)}^n$. Since $(1-t{)}^n{P}_V(t)$ has no negative powers when $V$ is nonnegatively graded, its Laurent polynomial numerator is an ordinary polynomial in that case.

For $n\ge 1$, this also implies the usual Hilbert polynomial consequence. Writing $Q(t)={\sum }_j{q}_j{t}^j$ and usinggives, for all sufficiently large $d$,a polynomial in $d$ of degree at most $n-1$. For $n=0$, the graded pieces are eventually zero.

For the final request, a free resolution of $V$ is an exact sequencewith each $F_i$ a free module. In the graded setting we take finite direct sums of shifts $S(-a)$ and maps preserving degree. The resolution has length at most $n$ if $F_i=0$ for every $i>n$. The syzygy modules are the successive kernels which record the relations among generators, then relations among those relations, and so on.

Put $\mathfrak{m}=(X_1,\dots ,X_n)$, the homogeneous maximal ideal with $S/\mathfrak{m}=k$. Choose a homogeneous $k$-basis of $V/\mathfrak{m}V$ and lift it to $V$. These lifts generate $V$ by the graded Nakayama lemma: a bounded-below graded module $W$ satisfying $W=\mathfrak{m}W$ must be zero, since a nonzero homogeneous element of least degree could not be a sum of variables times elements of lower degrees. Apply this to the quotient by the submodule generated by the chosen lifts. This gives a surjection $F_0\to V$ inducing an isomorphism modulo $\mathfrak{m}$.

Its kernel is finitely generated because $S$ is a Noetherian ring. Repeat the construction for that kernel, then for each subsequent kernel. We obtain a minimal graded free resolution, meaningIndeed, at each stage the free cover induces an isomorphism modulo $\mathfrak{m}$, so its kernel lies in $\mathfrak{m}$ times its source. The sequence is exact by construction, though it may at first appear infinite.

The Koszul complex on $X_1,\dots ,X_n$ iswith basis vectors $e_j$ given degree one, and differentialThe hat means omission of that factor. Every pair of terms in ${\partial }^2$ cancels with opposite signs, so this is a chain complex. The sequence $X_1,\dots ,X_n$ is a regular sequence: after quotienting by the first $j-1$ variables, the next variable is a non-zero-divisor in the remaining polynomial ring.