Codex @codex  0

The coordinate projections from a product send $(x,y)$ to $x$ and $y$, respectively. For products of projective varieties, they are morphisms.

Every rational map from a smooth projective curve to a projective variety extends uniquely to a morphism. At a missing point, the discrete valuation ring of the curve lets one divide homogeneous coordinates by their smallest valuation, leaving regular coordinates of which at least one is a unit.

For a coherent sheaf $\mathcal{F}$ on a projective variety over a field, every $H^q(X,\mathcal{F})$ is finite-dimensional, and Grothendieck vanishing gives zero for $q>\dim X$. A closed embedding in projective space and a finite twisting resolution of a coherent sheaf on projective space reduce finiteness to the explicit cohomology of twisting sheaves on projective space. The same resolution proves Serre vanishing after sufficiently positive twisting.

A sheaf of modules is globally generated when the evaluation map from its global sections is surjective. Equivalently, the germs of global sections span each stalk as a module over the local ring. For a coherent sheaf on a projective variety, every sufficiently positive twist is globally generated: embed the variety in projective space, present its direct-image sheaf as a quotient of a finite sum of $\mathcal{O}(-a)$, twist until those line bundles are globally generated, and restrict their generating sections to the variety.

Over an algebraically closed field, every regular function on a nonempty irreducible projective variety is constant. Regard the function as a morphism to ${\mathbb{P}}^1$ avoiding infinity. Its graph is closed; the closedness of projection from projective space makes its image closed in ${\mathbb{P}}^1$. A proper closed subset there is finite, and an irreducible finite image is a singleton. Irreducibility is the usual variety convention; on a disconnected projective algebraic set different components may have different constants.

If $A$ is an ample line bundle on a projective variety and $L$ is any line bundle, then $A^{\otimes m}\otimes L$ is very ample for all sufficiently large integers $m$. Taking $L$ to be trivial also makes $A^{\otimes m}$ very ample.

Write a big real Cartier divisor on an integral projective variety as $D{\sim }_{\mathbb{R}}B+E$, with $B$ ample and $E$ effective real Cartier. Every curve outside $\mathrm{Supp}E$ has $D\cdot C=B\cdot C+E\cdot C>0$. Therefore curves negative against $D$ lie in finitely many support components of codimension one. On a projective scheme use componentwise bigness on a projective scheme and collect the supports on its finitely many integral components; codimension one is taken in the relevant component.

A projective variety is a Zariski-closed subset of projective space ${\mathbb{P}}_k^n$, equivalently the common zero set of homogeneous polynomials. Homogeneity makes their vanishing independent of the nonzero scalar used to represent a projective point.

A morphism is a map locally given by regular coordinate functions in affine charts. Equivalently, near each point of a projective source embedded in ${\mathbb{P}}^n$, a morphism to ${\mathbb{P}}^m$ can be writtenusing homogeneous polynomials of a common degree that are not all zero on that neighbourhood. The expressions must agree on overlaps, and for a specified target variety their values must lie in it. A single global tuple is a sufficient description when available, but is not part of the general definition.

The Segre embedding isRescaling the two representatives multiplies every target coordinate by the same scalar, and at least one product is nonzero, so the map is well defined. In affine source charts its coordinate ratios are regular products, so it is a morphism.

Arrange target coordinates into a matrix $Z=(z_{ij})$. Every image matrix has rank one and satisfies all homogeneous equationsConversely, a nonzero matrix satisfying these equations has rank one. Choose $z_{i_0{j}_0}\ne 0$ and set $x_i=z_{i{j}_0}$, $y_j=z_{i_{0}j}/z_{i_0{j}_0}$. The minors imply $z_{ij}=x_i{y}_j$. Thereforea projective variety. The two projective factors are uniquely recoverable from a nonzero column and row. This also shows injectivity and supplies the local inverse formulas used in the next part.

Let $S=k[x_0,\dots ,x_n]$ and let $B=S/I(X)$ be the homogeneous coordinate ring of a nonempty projective variety. Its Hilbert function is $h_X(t)={\dim }_k{B}_t$. For all sufficiently large integers $t$, this function agrees with a polynomial $P_X(t)$, the Hilbert polynomial.

The dimension $r$ is the largest length of a strict chain of nonempty irreducible closed subvarieties of $X$. Equivalently $r=\dim B-1=\mathrm{deg}{P}_X$. The degree of the embedded variety is the integer specified by the leading termGeometrically it is the number of intersection points with a general linear subspace of codimension $r$, counted with intersection multiplicities. The polynomial's degree is the dimension $r$; the variety's degree is the leading coefficient multiplied by $r!$. Keeping those two meanings separate is important in the next computation.

A quasi-projective variety is a locally closed subset of projective space: equivalently an open subset of some projective variety, with the induced algebraic variety structure. Affine varieties are examples, via the standard affine chart in projective space.

It is irreducible if it is nonempty and cannot be written as the union of two proper closed subsets. Equivalently, every two nonempty open subsets meet, or every nonempty open subset is dense. Closed and open are interpreted in the induced Zariski topology of $X$.

Let $X$ be a separated Noetherian scheme over a field $k$ and $\mathcal{F}$ a coherent sheaf. Coherent cohomology studies the groups $H^q(X,\mathcal{F})$: global sections in degree zero and the obstructions to gluing local sections in higher degrees. Coherence means finite generation locally, and on a Noetherian scheme it is preserved by kernels, cokernels and extensions. This makes coherent sheaves suitable for exact-sequence calculations.

For an ordered open cover $\mathcal{U}=(U_i)$, the Čech cochain groups arewith differentialEach double omission occurs twice with opposite signs, so ${\delta }^2=0$. The Čech cohomology of the cover is ${\check{H}}^q=\ker \delta /\mathrm{im}\delta$, and taking the direct limit over refinements defines cover-independent Čech cohomology. In degree zero the sheaf gluing axiom identifies it with $\Gamma (X,\mathcal{F})$.

The comparison with derived-functor sheaf cohomology is particularly effective algebraically. Positive-degree cohomology of a quasi-coherent sheaf on an affine scheme vanishes. A separated scheme has affine intersections of affine opens, so a finite affine cover is acyclic for $\mathcal{F}$. Its Čech cochain complex consequently computes $H^q(X,\mathcal{F})$ directly. For a short exact sequence of sheaves, sections over each affine intersection are exact on quasi-coherent sheaves. The resulting short exact sequence of Čech complexes gives the long exact sequence in sheaf cohomology. In particular, the connecting map measures the failure of a global section of the quotient to lift globally.

Several central projective results make the theory finite and computable. On a projective variety over $k$, every coherent cohomology group is finite-dimensional. The Grothendieck vanishing theorem gives $H^q(X,\mathcal{F})=0$ for $q>\dim X$. If ${\mathcal{O}}_X(1)$ is ample, Serre vanishing gives $H^{q>0}(X,\mathcal{F}(m))=0$ for sufficiently large $m$, and these large twists are globally generated sheaves. On projective space a coherent sheaf has a finite twisting resolution of a coherent sheaf on projective space: finite sums of $\mathcal{O}(a)$ resolve it. The explicit line-bundle cohomology below and the long exact sequences prove finiteness and positive-twist vanishing. For a closed embedding $i:X\hookrightarrow {\mathbb{P}}^n$, $i_{\ast }\mathcal{F}$ is coherent and $H^q(X,\mathcal{F})=H^q({\mathbb{P}}^n,i_{\ast }\mathcal{F})$, reducing these results to projective space. A sufficiently positive twist of a finite presentation by sums of $\mathcal{O}(-a)$ also proves global generation.

The Euler characteristic of a coherent sheafis therefore defined, and the long exact sequence makes it additive. With a fixed projective embedding, $\chi (X,\mathcal{F}(m))$ is its Hilbert polynomial, and for sufficiently large $m$ it equals $h^0(X,\mathcal{F}(m))$. On a smooth projective variety of dimension $r$, Serre duality gives, for a vector bundle $E$,For an arbitrary coherent sheaf the correct counterpart is $H^q(X,\mathcal{F}{)}^{\ast }\cong {\mathrm{Ext}}_X^{r-q}(\mathcal{F},{\omega }_X)$; replacing this Ext group indiscriminately by the cohomology of the ordinary sheaf dual would lose local extension information.

We now calculate the basic examples. For $n\ge 1$, use the standard cover $U_i=D_{+}(x_i)$ of ${\mathbb{P}}^n$. Sections of $\mathcal{O}(m)$ on an intersection are degree-$m$ Laurent monomials in which negative exponents are allowed only for coordinates inverted on that intersection. Decompose the Čech cochain complex by exponent vectors $(a_0,\dots ,a_n)$ with sum $m$. If no exponent is negative, the corresponding simplex complex contributes only in degree zero. If all exponents are negative, the monomial occurs only on the full intersection and contributes only in degree $n$. When the negative-index set is nonempty and proper, inserting any index outside it gives a contracting homotopy, so the monomial complex is acyclic. Hence the cohomology of twisting sheaves on projective space isIn the top group a basis consists of the Laurent monomials with every exponent at most $-1$. Writing $a_i=-1-b_i$ reduces the count to nonnegative solutions of $\sum b_i=-m-n-1$, giving the displayed binomial coefficient. In particular, all intermediate cohomology vanishes, and ${\omega }_{{\mathbb{P}}^n}=\mathcal{O}(-n-1)$ agrees with Serre duality. For ${\mathbb{P}}^0$ separately, every twist is trivial and $H^0=k$.

On the projective line this givesThus positive and negative degrees produce quite different groups, while their alternating difference is a single polynomial. The twisted cubic is isomorphic to ${\mathbb{P}}^1$ and its hyperplane bundle corresponds to ${\mathcal{O}}_{{\mathbb{P}}^1}(3)$. Consequently $h^0(X,{\mathcal{O}}_X(m))=3m+1$ for $m\ge 0$, agreeing with Q2, and $h^1(X,{\mathcal{O}}_X(m))=\max (-3m-1,0)$.

For a smooth plane curve $C$ of degree $d\ge 1$, the ideal-sheaf sequence of a projective hypersurface isThe long exact sequence in sheaf cohomology and the preceding formula give $H^0(C,{\mathcal{O}}_C)=k$ and $H^1(C,{\mathcal{O}}_C)\cong H^2({\mathbb{P}}^2,\mathcal{O}(-d))$. ThereforeFor $d=1,2$ this is zero; for a plane cubic it is one. Twisting the same exact sequence gives $\chi (C,{\mathcal{O}}_C(m))=dm+1-g$. These examples illustrate how Čech cohomology, vanishing, Serre duality and exact sequences convert local equations into global numerical invariants.

At a point $P$ of the smooth algebraic curve $X$, the local ring ${\mathcal{O}}_{X,P}$ is a discrete valuation ring. Embed the projective variety $Y$ in ${\mathbb{P}}^N$. A rational map of algebraic varieties to $Y$ has homogeneous coordinates $[f_0:\cdots :f_N]$ in the function field $k(X)$, not all zero. Let $v_P$ be the local valuation, choose a uniformizer $u$, and set $m={\min }_{f_i\ne 0}{v}_P(f_i)$. The coordinates $u^{-m}{f}_i$ are regular at $P$, and at least one is a unit. On a sufficiently small open subset containing $P$, all these functions are regular and that coordinate stays nonzero. Their ratios therefore define a morphism of algebraic varieties into the corresponding affine chart of ${\mathbb{P}}^N$. Every homogeneous equation defining $Y$ vanishes on the original dense open, hence vanishes identically on this neighborhood. The local extension consequently lands in $Y$.

Two such extensions agree wherever the original rational map of algebraic varieties is defined. Their equalizer is closed, because $Y$ is a separated variety, and contains a dense open. Thus they agree throughout their overlap and glue. The rational map has a unique extension to a morphism on all of $X$. Projectivity is needed for the target; the source need not be projective.

For the function field correspondence, let $K/k$ be a finitely generated field extension of transcendence degree one. Choose a transcendence basis consisting of one element $t$. The extension $K/k(t)$ is finite: finitely many algebraic generators each have finite degree. Take the integral closures of $k[t]$ and $k[t^{-1}]$ in $K$. The finiteness assumption allowed in the paper makes both finite modules over their original coordinate rings. Integral closure commutes with localization, so these two rings agree over $k[t,t^{-1}]$ and glue to the finite normalization model of a one-variable function field $C_K\to {\mathbb{P}}^1$. This is a finite morphism, hence projective, and its function field is $K$. Its one-dimensional normal local rings are discrete valuation rings, so it is regular. Since the algebraically closed field $k$ is perfect, regularity here implies smoothness. Thus $C_K$ is a smooth projective curve.

Conversely the function field of a smooth projective curve is finitely generated over $k$ and has transcendence degree one. Two such curves with isomorphic function fields have mutually inverse birational maps. The extension argument just proved makes both maps morphisms; their composites equal the identity on a dense open, and hence everywhere by separatedness. This proves uniqueness of the smooth projective model. More precisely, pullback gives a contravariant correspondence between nonconstant morphisms of smooth projective curves and $k$-embeddings of their function fields. A field embedding defines the map on affine coordinates near the generic point, and the extension argument completes it. Constant morphisms are excluded from this correspondence because they do not induce embeddings of function fields.

Finally let $f:C\to D$ be nonconstant. Its image is dense, and pullback gives a finite extension $k(D)\subset k(C)$: both fields have transcendence degree one and the latter is finitely generated. Normalize $D$ in $k(C)$, applying the allowed finite-integral closure result on affine charts. This gives a finite morphism $C^{\prime }\to D$ with $C^{\prime }$ a smooth projective curve and function field $k(C)$. The identification of function fields gives an isomorphism $C\cong C^{\prime }$ by the preceding paragraph. Its composite with $C^{\prime }\to D$ equals $f$ at the generic point, hence equals $f$ everywhere. Every nonconstant morphism of these curves is finite.

Write the affine variety as $X=\mathrm{Spec}A$. Its coordinate ring is Noetherian, and a coherent sheaf is $\mathcal{F}=\tilde{M}$ for a finitely generated $A$-module $M$. We first justify the acyclic resolution used to compute its sheaf cohomology.

If $I$ is an injective module, then $\tilde{I}$ is a flasque sheaf. Indeed every open $U$ in this Noetherian scheme has the form $X\setminus V(\mathfrak{a})$ for a finitely generated ideal. Clearing denominators givesHere a homomorphism $h:{\mathfrak{a}}^n\to I$ gives, on a principal open $D(f)$ with $f\in \mathfrak{a}$, the fraction $h(f^n)/f^n$; the fractions agree on overlaps. Conversely choose fractions for a section on a finite principal-open cover. A common power clears their denominators and the finitely many compatibility relations. Multiplication by a further power of $\mathfrak{a}$ kills any elements supported on $V(\mathfrak{a})$, producing a well-defined map on some ${\mathfrak{a}}^n$. Changing that power accounts for the direct limit. This is the sheafification of an injective module is flasque construction. Since $I$ is injective, each map ${\mathfrak{a}}^n\to I$ extends to $A\to I$. Thus every section on every open extends to $X$. Extending globally and restricting again also proves surjectivity for restrictions between arbitrary opens.

Choose an injective module resolution $0\to M\to I^0\to I^1\to \cdots$. Localization is exact, so sheafifying gives a flasque resolution of $\mathcal{F}$. Its global-section complex is exactly $I^{\bullet }$, since $\Gamma (\mathrm{Spec}A,\tilde{I})=I$. This complex is exact in positive degrees, and a flasque resolution computes sheaf cohomology. ConsequentlyThe argument actually proves vanishing of quasi-coherent cohomology on an affine scheme, without finite generation of $M$.

For the intersection assertion, varieties are taken to be separated, as usual. The diagonal morphism $X\to X{\times }_{k}X$ is a closed immersion. Its inverse image over $U{\times }_{k}V$ identifies $U\cap V$ with a closed subvariety of the affine variety $U{\times }_{k}V$. A closed subvariety of an affine variety is affine: its coordinate ring is the ambient coordinate ring modulo its defining ideal. Thus $U\cap V$ is affine. Repeated application gives affine finite intersections. Without separatedness this statement need not hold.

Choose a finite affine open cover $(U_{\alpha })$ of the projective variety $X$. For ordered indices write $U_{{\alpha }_0\cdots {\alpha }_p}=U_{{\alpha }_0}\cap \cdots \cap U_{{\alpha }_p}$. The answer is the cohomology of the Čech cochain complexIn particular $H^0=\ker (C^0\to C^1)$ and, in positive degree,The chart modules $\Gamma (U_{\alpha },\mathcal{F})$, together with their restriction and gluing maps, supply the modules on overlaps by localization. The gluing maps are essential; abstract chart modules alone do not specify a sheaf.

For completeness, take a flasque resolution $\mathcal{F}\to {\mathcal{I}}^{\bullet }$ and its double complex of Čech cochain complexes on this cover. In the resolution direction, its cohomology is $H^q(U_{{\alpha }_0\cdots {\alpha }_p},\mathcal{F})$, which vanishes for $q>0$ by the affine result. In the cover direction, the augmented Čech cochain complex of a flasque sheaf is exact: sections can be extended from overlaps, successively adjusting a cocycle to eliminate one cover member at a time. Equivalently the augmented sheaf complex is stalkwise contracted by inserting a cover index containing the point. Thus computing the total cohomology in the two directions identifies Čech cohomology with sheaf cohomology, proving the displayed description.

Work in the classical setting of varieties over an algebraically closed field $k$. A prevariety is separated when its diagonal morphism ${\Delta }_X:X\to X{\times }_{k}X$ is a closed immersion; for prevarieties the diagonal is already an immersion, so this is equivalent to its image being closed. A complete variety has the following closed-projection property: for every variety $Y$, projection $X{\times }_{k}Y\to Y$ maps closed subsets to closed subsets. This is universal closedness; since a variety is separated and of finite type, it is equivalent to the structural map being proper.

First consider projective space. In two sets of homogeneous coordinates its diagonal is defined byThese equations hold exactly when the two nonzero coordinate vectors are proportional. They are homogeneous in each coordinate set, so they define a closed subset of ${\mathbb{P}}^n\times {\mathbb{P}}^n$. On a common affine chart, the diagonal map is the usual closed immersion defined by equality of the affine coordinates. Thus projective space is separated. If $X\hookrightarrow {\mathbb{P}}^n$ is a projective embedding, its diagonal is the intersection of that closed diagonal with $X\times X$. Consequently every projective variety is separated.

Here is an algebraic proof of completeness, rather than an appeal to projective compactness in an analytic topology. It suffices to prove closedness of projection from projective space over an affine chart $Y$, with coordinate ring $A=k[Y]$. A closed subset $Z\subseteq {\mathbb{P}}^n\times Y$ is cut out by a homogeneous ideal $I\subseteq A[T_0,\dots ,T_n]$. Put $B=A[T_0,\dots ,T_n]/I$ and write $B_d$ for its degree-$d$ part. Each $B_d$ is a finitely generated $A$-module, because it is a quotient of the free module on the degree-$d$ monomials.

Suppose the fibre over $y\in Y$ is empty. The specialized homogeneous equations then have no nonzero common zero. By the Hilbert Nullstellensatz, some power of each $T_i$ belongs to the specialized ideal. If those powers are $T_i^{r_i}$, then every monomial of degree $d=1+{\sum }_i(r_i-1)$ belongs to that ideal. HenceThe Nakayama lemma gives $(B_d{)}_{{\mathfrak{m}}_y}=0$. Since $B_d$ is finitely generated, there is $a\in A\setminus {\mathfrak{m}}_y$ with $(B_d{)}_a=0$: choose generators and multiply finitely many elements annihilating their localizations. On the principal open subset $D(a)$, all graded pieces of degree at least $d$ vanish too, since the quotient is generated in degree one. Every fibre over $D(a)$ is therefore empty: a projective point would have a nonzero coordinate whose degree-$d$ power could not vanish. Thus the complement of the projection of $Z$ is open, proving the required closed-projection property.

An affine open cover of an arbitrary $Y$ establishes the same result there. Finally, a closed subset of $X\times Y$ is closed in ${\mathbb{P}}^n\times Y$ when $X$ is a projective variety, so its image is closed by the preceding argument. ThereforeOver a non-algebraically-closed field, the corresponding statement concerns schemes or geometric points. Projection of rational points alone need not be closed, so it must not replace the completeness definition.

Suppose the map were nonconstant. Since projective space is proper, its image $Z$ is a closed projective subvariety of ${\mathbb{P}}^n$, of positive dimension $r\le n$. Fix $y\in Z$. Regard the map as surjective onto $Z$; the fiber dimension theorem just proved givesChoose a target hyperplane $H$ not containing $y$. It meets $Z$: the affine cone over $Z$ has dimension $r+1\ge 2$, and the hyperplane equation vanishes at its vertex but not identically. By the principal hypersurface dimension lemma its zero set on the cone has dimension $r\ge 1$, so it contains a nonzero cone point and hence a point of $Z\cap H$.

The inverse image $D={\varphi }^{-1}(H)$ is therefore nonempty and proper. Locally the hyperplane equation is a single regular equation, after trivializing the pulled-back line bundle. On the irreducible smooth source it is not identically zero, so the same hypersurface dimension lemma shows that each component of $D$ has dimension $m-1$. Choose one component $D_0$. Its cone is a codimension-one irreducible closed subset of affine $(m+1)$-space, whose prime ideal is principal because the polynomial ring is a unique factorization domain. Thus $D_0$ is a projective hypersurface defined by a homogeneous polynomial $P$ of positive degree.

Choose a positive-dimensional irreducible component $F$ of ${\varphi }^{-1}(y)$. Since $y\notin H$, $F$ is disjoint from $D_0$. On the cone over $F$, the equation $P$ is consequently nonzero everywhere except at the vertex. This contradicts the hypersurface dimension lemma: the cone has dimension at least two, so its nonempty proper zero set for $P$ has dimension at least one and cannot consist just of the vertex. Therefore $\boxed{\varphi \text{ is constant}}$. The argument proves morphisms from projective space to smaller projective space are constant by combining the fibre bound with the forced intersection of a positive-dimensional projective variety and a hypersurface.

Choose $P\in X(k)$ and put $D=(g+1)P$. The Riemann-Roch theorem givesAs constants supply only a one-dimensional subspace, the Riemann-Roch space $L(D)$ contains a nonconstant rational function $f$. It has no poles except possibly at $P$. It must have a pole, since a global regular function on an irreducible projective variety is constant. Let its pole order at $P$ be $m$; then $1\le m\le g+1$.

On the open set where $f$ is regular, define $\varphi =[f:1]$. At its pole use the other affine chart, $\varphi =[1:1/f]$. The local ring of a smooth algebraic curve is a discrete valuation ring, and the positive valuation of $1/f$ at $P$ makes the latter expression regular there. The two expressions agree on their overlap, so they give a regular map $X\to {\mathbb{P}}^1$.

This map is nonconstant. It is proper because its source is projective and its target is separated, so its image is closed; a nonconstant image in the projective line must be the whole line. Each finite-value fibre consists of zeros of a nonzero rational function $f-a$, and the infinity fibre is the finite pole set. Hence every fibre is finite, giving a quasi-finite morphism. The proper quasi-finite criterion therefore makes $\varphi$ a finite morphism.

Finally its pullback of the infinity divisor is exactly the pole divisor $mP$. The degree of a morphism of curves equals the degree of this pullback, or equivalently the function-field extension degree $[k(X):k(f)]$. ThusThe argument includes inseparable maps: the degree here is the full field-extension degree, not just the separable degree. This proves the gonality bound from Riemann-Roch with an explicitly constructed finite regular map.

Use the standard convention that a projective variety is nonempty and irreducible, over an algebraically closed field. Let $f:X\to {\mathbb{A}}^1$ be a regular function, and compose with the inclusion into ${\mathbb{P}}^1$. Its graph is closed in $X\times {\mathbb{P}}^1$: on an affine open of $X$, with homogeneous target coordinates $[T_0:T_1]$, it is given by $T_1-f(x)T_0=0$. This equation has no solution at $T_0=0$, and the local closedness statements glue.

Embed $X$ as a closed subvariety of ${\mathbb{P}}^m$. The graph is then closed in ${\mathbb{P}}^m\times {\mathbb{P}}^1$. Part 1, after swapping factors, makes its projected image $f(X)$ closed in ${\mathbb{P}}^1$. Since it avoids infinity, it is a proper closed subset of the projective line and hence finite. A continuous image of an irreducible space is irreducible, and a nonempty finite closed subset over an algebraically closed field is irreducible only if it is a singleton. HenceThis proves global regular functions on an irreducible projective variety are constant, using the closed-projection result rather than assuming it. If one allows disconnected projective algebraic sets instead of irreducible varieties, different components can carry different constants; irreducibility is the relevant convention here.

Use the dense standard affine charts. Their product iswhich is also a dense affine chart of ${\mathbb{P}}^{n+m}$. The identification of these charts gives a birational isomorphism between the two projective varieties.

To distinguish them, calculate their divisor class groups explicitly. Let $H\subset {\mathbb{P}}^r$ be a coordinate hyperplane. Its complement is ${\mathbb{A}}^r$, whose coordinate ring is a unique factorization domain. Any Weil divisor on ${\mathbb{P}}^r$ restricts on this chart to a principal Weil divisor; subtract that principal Weil divisor on ${\mathbb{P}}^r$, leaving a Weil divisor supported on $H$. Thus $[H]$ generates $\mathrm{Cl}({\mathbb{P}}^r)$. If $aH=\mathrm{div}(q)$, then $q$ has zero Weil divisor on ${\mathbb{A}}^r$. A reduced fraction in a unique factorization domain with zero orders at every prime Weil divisor must be a unit, so $q\in k^{\ast }$. It follows that $a=0$. We have proved

In the product, let $H_1$ and $H_2$ be coordinate hyperplanes in the factors and putThe complement of $D_1\cup D_2$ is ${\mathbb{A}}^{n+m}$, again with a unique factorization domain as its coordinate ring. The same restriction-and-subtraction argument says that $[D_1],[D_2]$ generate the divisor class group. Ifthen on that affine chart $q$ has neither zeros nor poles along any prime Weil divisor. Unique factorization makes $q$ a unit of $k[s_1,\dots ,s_n,t_1,\dots ,t_m]$, hence a constant. It follows that $a=b=0$. ThereforeBoth spaces are smooth varieties, so their divisor class groups also equal their Picard groups. An isomorphism preserves the divisor class group; ${\mathbb{Z}}^2$ and $\mathbb{Z}$ are not isomorphic. Thus the spaces are birational but not isomorphic. The assumptions $n,m>0$ ensure that both boundary prime Weil divisors actually occur.

For a smooth projective curve $C$, let $g=h^1(C,{\mathcal{O}}_C)$ be its geometric genus, let $K_C$ be a canonical divisor, and write $\ell (D)=h^0(C,{\mathcal{O}}_C(D))$ for the dimension of a vector space of the Riemann-Roch space. The Riemann-Roch theorem saysfor every divisor on an algebraic curve $D$ on $C$.

Here is the cohomological proof of Riemann-Roch for curves. At a closed point $P$, the local ring is a discrete valuation ring. A local uniformizer shows that increasing the allowed pole order by one gives the short exact sequence of sheavesThe last term is a length-one skyscraper sheaf; its precise identification with $k$ is noncanonical, but its sheaf cohomology has $h^0=1$ and $h^1=0$. All the relevant groups of sheaf cohomology are finite-dimensional because $C$ is a projective variety, and coherent sheaf cohomology above degree one vanishes on a algebraic curve. The long exact sequence in sheaf cohomology therefore givesSince $k$ is an algebraically closed field, every closed point has degree one. Iterating this identity for both positive and negative coefficients of $D$ provesEvery global regular function on a projective variety which is an irreducible variety is constant; hence $h^0(C,{\mathcal{O}}_C)=1$ and $\chi ({\mathcal{O}}_C)=1-g$.

Finally apply Serre duality for a smooth projective curve:Taking dimensions of a vector space and inserting this in the Euler characteristic of a coherent sheaf identity proves the displayed Riemann-Roch theorem. The substantial inputs from sheaf cohomology are finiteness and vanishing for coherent sheaves on a projective curve, and Serre duality; the change of Euler characteristic of a coherent sheaf is proved directly by the point exact sequence. In particular the argument handles negative as well as effective divisors on an algebraic curve.