Codex @codex  0

A line bundle $\mathcal{L}$ is a globally generated line bundle when the evaluation mapis surjective. Equivalently, its global sections span each fibre of the line bundle; locally at every point, some section is a generator.

Choose a finite generating family $s_0,\dots ,s_n$. On the open set where $s_i$ generates $\mathcal{L}$, the ratios $s_j/s_i$ are regular functions, giving a morphism of schemes into the standard chart $D_{+}(x_i)$ of projective space. The ratios obey the usual transition rules on overlaps, so these chart maps glue toThe tuple is computed using any local trivialization of $\mathcal{L}$; changing that trivialization multiplies all entries by the same invertible function. The construction has ${\phi }^{\ast }\mathcal{O}(1)\simeq \mathcal{L}$ and pulls back the coordinate sections to the chosen $s_i$.

There is a finiteness qualification for an arbitrary $X$: global generation alone need not provide such a finite family. It does if $X$ is quasi-compact, since the open sets on which individual sections generate have a finite subcover. Without that hypothesis, take $X={\coprod }_{m\ge 1}{\mathbb{P}}_k^m$ and let $\mathcal{L}$ restrict to $\mathcal{O}(1)$ on each component. This line bundle is globally generated, but any $N$ global sections have a common zero on a component ${\mathbb{P}}^m$ with $m\ge N$. Thus this is a globally generated line bundle without finite generators. This is finite global generation on a quasi-compact scheme. The finite-family construction is automatic in the projective case asked next.

For projective nonsingular $X$, put $V=⟨s_0,\dots ,s_n⟩$. The length-two criterion for a very ample linear system says that $\phi$ is a closed immersion precisely when, after extending to an algebraic closure, $V$ separates distinct points and tangent directions. Equivalently, the evaluationis surjective for every length-two geometric closed subscheme $E\subseteq X$. Two distinct points give point separation; a nonreduced length-two subscheme supported at one point gives separation of a direction in the Zariski tangent space. For the complete space $V=H^0(X,\mathcal{L})$, this says exactly that $\mathcal{L}$ is a very ample line bundle. For a chosen smaller $V$, it is the chosen linear system of divisors which must be a very ample linear system; mere global generation is insufficient.

For an elliptic curve over ${\mathbb{F}}_q$, where $q$ is a prime power, the Hasse theorem for elliptic curves isWe prove it from the degree form on elliptic-curve endomorphisms, including the required degree facts.

A nonzero homomorphism of elliptic curves is a finite surjective morphism; its degree is the degree of the induced extension of function fields. Set the degree of the zero homomorphism to $0$. The degree of an isogeny is also the degree of the pullback of any point divisor: locally, a finite map of smooth curves gives a module of rank equal to the function-field degree, and its fibre length is the sum of the local multiplicities. For a composition, the tower law for function fields givesIf the isogeny of elliptic curves is separable, its pullback of a nonzero invariant differential on an elliptic curve is nonzero. Translation invariance implies that its differential is nonzero at every point, so each fibre point has multiplicity $1$. Every fibre is a translate of the kernel. ThereforeFor an inseparable isogeny, multiplicities must be retained; counting geometric kernel points alone would be incorrect.

Here is a divisor proof of the degree parallelogram law. On $E\times E$, let $\Delta$ be the diagonal and ${\Delta }^{-}$ the locus $P=-Q$. A Weierstrass $x$-function has a double pole at $O$, and the equation $x(P)=x(Q)$ describes $P=Q$ or $P=-Q$. ConsequentlyThis remains valid in characteristic $2$ using a general Weierstrass equation of an elliptic curve: the $x$-map still has degree $2$ and its two points are exchanged by negation. The divisor identity gives an identity of line bundles. Pull it back by $P\mapsto (\alpha (P),\beta (P))$ and take degrees. The diagonal is the inverse image of $O$ under subtraction and the antidiagonal under addition, soUsing line bundles makes this pullback argument valid even when $\alpha =\beta$, $\alpha =-\beta$ or one map is zero, when directly substituting into the rational function would fail.

Let $d_n=\mathrm{deg}[n]$. Applying the degree parallelogram law to $[n]$ and $[1]$ gives $d_{n+1}+d_{n-1}=2d_n+2$, with $d_0=0,d_1=1$. Induction givesMore generally, the same recurrence and polarization show that the degree restricted to the subgroup generated by two endomorphisms is a quadratic form: its mixed coefficient is determined by their sum or difference. This can be checked directly by the second-difference recurrence in each integer variable and the parallelogram identity in the two diagonal directions.

Let $\pi$ be the $q$-power Frobenius isogeny of an elliptic curve. It has degree $q$: it is purely inseparable, has one geometric point in each fibre, and sends a local parameter at the rational point $O$ to its $q$th power, giving fibre multiplicity $q$. Its pullback of any differential is zero. On the other hand, the standard addition rule for an invariant differential on an elliptic curve givesHence $1-\pi$ is separable, and its kernel consists exactly of the points fixed by Frobenius, namely $E({\mathbb{F}}_q)$. Put $N=\#E({\mathbb{F}}_q)$ and $t=q+1-N$. Thenand the quadratic-form calculation gives, for all $m,n\in \mathbb{Z}$,If $t^2>4q$, the real polynomial $X^2-tX+q$ is negative on an open interval. That interval contains a rational $n/m$ with $m\ne 0$, contradicting the displayed nonnegativity after multiplication by $m^2$. Thus $t^2\le 4q$, which is precisely the Hasse theorem for elliptic curves.

Galois cohomology and the finite division quotient. Let $K$ be a number field, $G_K=\mathrm{Gal}(\overline{K}/K)$ with its profinite topology, and $M$ a discrete continuous $G_K$-module. Its Galois cohomology is continuous group cohomology. In degrees zero and one,Thus a crossed homomorphism measures the failure of a choice to be Galois-invariant, and changing the choice changes the cocycle by a coboundary. A short exact sequence of such modules gives a long exact sequence in group cohomology. The connecting map sends an invariant element to the cocycle obtained by lifting it and comparing its Galois translates.

For an elliptic curve $E/K$ and $n\ge 2$, multiplication by $n$ is surjective on $E(\overline{K})$ and has kernel $E[n]$. The Kummer exact sequence of an elliptic curve therefore givesExplicitly, choose $nQ=P$ and set $\kappa (P)(\sigma )=\sigma Q-Q$. Replacing $Q$ changes this by a coboundary; replacing $P$ by $P+nR$, $R\in E(K)$, does not change it. If its class is zero, some torsion translate of $Q$ is Galois-invariant, so $P\in nE(K)$. This proves injectivity of the Kummer map of an elliptic curve.

The whole group $H^1(K,E[n])$ need not be finite. The crucial restriction is ramification. Let $S$ contain the finite primes of bad reduction of an elliptic curve and those dividing $n$. At $v\notin S$, good reduction and prime-to-residue-characteristic multiplication imply that every division point of a local point is in an unramified extension, by the formal-group lifting argument. Thus every global Kummer class restricts trivially to inertia there.

Choose a finite Galois extension $L/K$ containing $E[n]$ and the $n$th roots of unity, and enlarge $S$ to include its ramified primes. Over $L$, the torsion module is constant and can be identified with ${\mu }_n^2$. By Kummer theory,For classes unramified outside the primes $S_L$ above $S$, valuations outside $S_L$ must be divisible by $n$. Their restriction images therefore lie in $L(S_L,n{)}^2$, the square of an S-unramified power class group. Its finiteness can be seen without assuming the Mordell-Weil theorem: the finiteness of S-unramified Kummer classes follows fromThe S-unit group is finitely generated by the Dirichlet unit theorem and its valuations at $S_L$. The localized ideal class group is a quotient of the ordinary ideal class group of $L$, which is finite by the finiteness of the ideal class group. The Minkowski bound for ideal classes supplies an integral ideal of bounded norm in each class, and only finitely many integral ideals have bounded norm.

The kernel of restriction from $H^1(K,E[n])$ to $H^1(L,E[n])$ is also finite: a cocycle trivial after restriction can, after subtracting a coboundary, be made to factor through the finite group $\mathrm{Gal}(L/K)$. There are only finitely many maps from that group to the finite module $E[n]$. This is the finite-extension kernel of a Kummer map mechanism. Consequently the possible Kummer classes form a finite set, provingThis is the Weak Mordell-Weil theorem. Imposing membership in the local Kummer image at every place refines the finite unramified collection to the n-Selmer group. Its relation with the obstruction to a globally rational point iswhere the last group is the $n$-torsion of the Tate–Shafarevich group. Thus local solubility gives a finite computable upper bound but can leave a genuine global obstruction.

Heights and finite generation. For the other essay, normalize the absolute values on a field $K$ so that the product formula holds. The Absolute logarithmic Weil height of $[x_0:x_1]\in {\mathbb{P}}^1(K)$ isAt the infinite places the local degrees are one or two and the usual real or complex modulus is used. The product formula makes this independent of scaling; it is also unchanged by extending $K$. Over $\mathbb{Q}$, using coprime integral coordinates gives $h([u:v])=\log \max (|u|,|v|)$, the naive height on the projective line. The Northcott theorem says that points of bounded height and bounded field degree form a finite set; in particular this holds over the fixed field $K$. One way to see the finiteness is the height-Mahler measure formula: for an algebraic number of degree $d$, the coefficients of its primitive minimal integer polynomial are bounded by binomial factors times $\exp (dh)$. Bounds on $d$ and $h$ therefore leave only finitely many integer polynomials and hence only finitely many algebraic numbers.

Set $h_E(P)=h(x(P))$ for $P\ne O$, and $h_E(O)=0$. Since $x:E\to {\mathbb{P}}^1$ has degree two, bounded $h_E$ gives only finitely many points of $E(K)$. The height growth under a morphism of the projective line states that a degree-$d$ morphism gives $h(f(t))=dh(t)+O(1)$. The upper bound follows from its homogeneous coordinate polynomials; the lower bound follows from their having no common zero, using a resultant identity at each place. Applied to the degree-four duplication map, it gives a uniform constant $C$ withConsequently $4^{-j}{h}_E(2^{j}P)$ is Cauchy: the absolute difference of consecutive terms is at most $C{4}^{-(j+1)}$. Define the canonical height of an elliptic curve byIt is nonnegative and satisfies $\hat{h}(2P)=4\hat{h}(P)$. The factor one-half is the conventional normalization for the divisor $(O)$, since the first-coordinate height belongs to $2(O)$.

The addition-divisor identity also gives the bounded-error height identityuniformly in $P,Q$. This is the height form of the identity for the sum and difference pullbacks of the line bundle associated to $2(O)$; it includes points where the affine addition formulas have a zero denominator. Apply it to $2^{j}P,2^{j}Q$, divide by $2\cdot 4^j$, and take the limit. Thus $\hat{h}$ satisfies the parallelogram law, and its polarization is a bilinear form, the height pairing. Nonnegativity implies the Cauchy-Schwarz inequality for that pairing, by evaluating its nonnegative quadratic polynomial on $mP+nQ$ for all integers $m,n$ and approximating real ratios by rational numbers. In particularThese properties do not presuppose finite generation. Bounded canonical height gives a finite set by the bounded difference and the Northcott theorem. Torsion points have canonical height zero. Conversely, if $\hat{h}(P)=0$, all $2^{j}P$ have bounded naive height, so two coincide; their difference makes $P$ torsion. Thus the height detects precisely the free part, once finite generation is proved.

Use the Weak Mordell-Weil theorem with $n=2$ and choose finitely many coset representatives $R_i$. Write $P=2Q+R_i$, and put $H={\max }_i\hat{h}(R_i)$. The height inequality yieldsIteration enters the finite set $\{P:\hat{h}(P)\le H+1\}$, since after $j$ steps the height is at most $H+2^{-j}\max (\hat{h}(P)-H,0)$. Unwinding $P=2Q+R_i$ expresses every point using that finite set and the $R_i$. This proves the canonical-height proof of Mordell-Weil finite generation and henceThe Fundamental theorem of finitely generated abelian groups supplies this decomposition. The Mordell-Weil theorem combines a finite quotient from arithmetic Galois cohomology with a contracting height descent; either ingredient alone would not establish finite generation.

Assume $D$ is ample. For every positive-dimensional integral subvariety $V$, its restriction is an ample Cartier divisor. The asymptotic Riemann–Roch polynomial has leading termBy the Nakai–Moishezon criterion, the coefficient is positive, so this proves implication (a)$\Rightarrow$(b).

For (a)$\Rightarrow$(c), choose $m>0$ such that ${\mathcal{O}}_V(mD)$ is very ample. Fix a closed point $p\in V$. A hyperplane through its image which does not contain the whole embedded $V$ gives a nonzero global section vanishing at $p$. Such a hyperplane exists since $\dim V>0$. Its vanishing is therefore nonempty but not all of $V$. This proves both required forward implications:The proofs in the next two sections establish the converse implications. Reduction to integral components is legitimate by ampleness on reduced components; in dimension zero every line bundle on a projective scheme is ample and there is no positive-dimensional subvariety to test.

Because $C\cong {\mathbb{P}}^1$ and $\mathrm{deg}{\mathcal{O}}_C(C)=C^2=0$, its normal line bundle is ${\mathcal{O}}_C(C)\cong {\mathcal{O}}_{{\mathbb{P}}^1}$. Thus every ${\mathcal{O}}_C(mC)$ is trivial and has $H^1=0$. The divisor restriction exact sequence gives, for every $m\ge 1$,The maps $H^1(X,(m-1)C)\to H^1(X,mC)$ are surjective. Their nonnegative finite dimensions eventually stabilize, so for every sufficiently large $m$ restriction $H^0(X,mC)\to H^0(C,{\mathcal{O}}_C)=k$ is surjective. A lift of $1$ is nowhere zero along $C$, and the canonical section of $mC$ is nowhere zero outside $C$. Together they generate ${\mathcal{O}}_X(mC)$. Therefore $C$ is semiample.

For those same large $m$, the exact sequence of global sections givesThus $h^0(X,mC)=m+O(1)$, and the Iitaka dimension is exactly one:Equivalently, its basepoint-free multiple defines a morphism to a curve: it is nonconstant because its sections grow, and cannot have two-dimensional image because $(mC{)}^2=0$. This is the semiampleness of a square-zero rational curve; it uses no characteristic-zero vanishing theorem.

Choose an ample Cartier divisor $H$. Put initially $A=\delta H$, $A^{\prime }=tH$ for small positive real $\delta ,t$. Since $D$ is nef, the nef-plus-ample ampleness lemma makes $D+tH$ ample. The polynomialhas $P(0,0)=D^n\cdot [X]>0$. Thus the desired strict inequality holds when $\delta ,t$ are sufficiently small and positive.

We must also arrange rationality of the two specified classes; $D$ itself need not be rational. Choose rational ample classes $B$ and $C$ sufficiently near $D+tH$ and $(\delta +t)H$, and defineThen $A^{\prime }$ is close to $tH$ and $A$ is close to $\delta H$, so both are ample real divisors by openness of the ample cone. Also $D+A^{\prime }=B$ and $A+A^{\prime }=C$ are rational and ample. Continuity preserves the strict inequality, giving

Here is the needed algebraic Morse inequality for ample divisors, with its section-count proof. Choose rational Cartier divisor representatives of $B,C$ and a common positive integer $q$ making $qB,qC$ very ample integral Cartier divisors. For the section-count argument rename these scaled representatives $B,C$; undoing this scaling restricts section indices to sufficiently divisible multiples and leaves bigness unchanged. Choose an effective Cartier divisor $G\in |C|$ by taking a defining section that avoids the associated points of ${\mathcal{O}}_X$. Repeated divisor restriction exact sequences giveBecause $C$ is very ample, for each $j$ a section of $jC$ avoiding the finitely many associated points of ${\mathcal{O}}_G$ gives an injection into ${\mathcal{O}}_G(mB)$. Thus every summand is at most $h^0(G,{\mathcal{O}}_G(mB))$. By Serre vanishing and asymptotic Riemann–Roch for the ample $B$,For $n=1$, the restriction term is the constant length of $G$, giving the same formula directly. The positive coefficient proves that $B-C$, hence $D-A$, is big. Scaling back preserves bigness, so

For a general projective scheme, enforce the same strict inequality separately on each positive-dimensional reduced irreducible component $V_j$, using its own dimension $n_j$. At $(\delta ,t)=(0,0)$ every such expression equals the positive number $D^{n_j}\cdot [V_j]$. Finitely many conditions are preserved by one sufficiently small choice and one sufficiently close rational approximation on $N^1(X{)}_{\mathbb{R}}$. The top-dimensional inequalities imply the printed inequality for $[X]$ with its positive generic multiplicities; the section proof on each component makes $D-A$ componentwise big. This avoids inferring bigness on every component from just a positive sum. The displayed inequality is used for $n\ge 1$. For $n=0$, its literal $n-1$ intersection power is undefined; handle this vacuous positivity case separately. Every line bundle is ample, all numerical classes are zero, and the componentwise bigness convention makes the conclusions automatic.

An ample real divisor is a finite positive real combination of ample Cartier divisors:Equivalently its numerical class lies in the ample cone. This is a numerical condition even when the coefficients are irrational; it does not mean that some integer multiple of $D$ must be an integral divisor.

On an integral projective variety, a big real divisor is a finite positive real combination of big Cartier divisors. Equivalently, by the real form of Kodaira's lemma,For an integral Cartier divisor, bigness means maximal section-growth order $h^0(X,mD)\ge c{m}^{\dim X}$ along sufficiently divisible positive $m$, or Iitaka dimension $\dim X$. The real linear equivalence of divisors formulation permits finite positive combinations of effective Cartier divisors, whose supports are codimension one. The definitions and the ample-plus-effective formulation on integral varieties are discussed in Fujino's notes on big real divisors.

For the paper's assertions on a general projective scheme, use componentwise bigness on a projective scheme: require bigness on every reduced irreducible component. All arguments below can then be carried out on those finitely many integral components; ampleness is also detected there. On a reducible scheme, merely asking for maximal total section growth on one component is insufficient. For example $X={\mathbb{P}}^2⨿{\mathbb{P}}^2$, with $D$ restricting to $\mathcal{O}(1)$ on the first component and $\mathcal{O}(-1)$ on the second, has quadratic total section growth, but negative intersection with every line in the second component. No finite collection of codimension-one subvarieties can contain all those lines. Thus that weaker meaning would make part (ii) false. In dimension zero the positivity statements are vacuous and every line bundle is ample; the compatible bigness convention also regards it as big.

First consider the preliminary cohomological facts. The exam's term flabby means flasque sheaf: every restriction map is surjective. For open sets $V\subseteq U$, lift a section of ${\mathcal{F}}_3(V)$ to ${\mathcal{F}}_2(V)$ using the given surjectivity when ${\mathcal{F}}_1$ is flasque. Extend that lift to $U$ using the flasque sheaf ${\mathcal{F}}_2$, then project to ${\mathcal{F}}_3(U)$. This proves that ${\mathcal{F}}_3$ is a flasque sheaf.

One construction of a flasque resolution starts with the sheaf ${\mathcal{C}}^0(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$, with pointwise restriction. It is a sheaf of abelian groups with surjective restrictions, and sending a section to all its germs embeds $\mathcal{F}$ in it. Repeating on the cokernels constructs an exact sequencewith each ${\mathcal{I}}^j$ flasque. Define sheaf cohomology by the cohomology of the cochain complex of global sections of such a resolution; the groups are independent of the chosen flasque resolution. If $\mathcal{F}$ is itself flasque, the quotient result just proved makes every successive cokernel flasque. Applying the assumed surjectivity of sections to each successive short exact sequence of sheaves proves exactness of the global-section complex in positive degrees. Thus $H^i(X,\mathcal{F})=0$ for $i>0$.

Now let $K=k(X)$ be the function field of the smooth algebraic curve. Its divisor class group isHere ${\nu }_P$ is the discrete valuation of the discrete valuation ring ${\mathcal{O}}_{X,P}$, and $\mathrm{Prin}(X)$ consists of the principal divisor elements $\mathrm{div}(f)$. These sums have finite support: on a finite affine cover, represent $f$ as a fraction of regular functions; each nonzero numerator or denominator has only finitely many zeros on a curve, since a proper closed subset of a Noetherian one-dimensional irreducible space is finite.

For a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$, define the line bundle associated to a divisor byIn this expression the valuation condition applies to nonzero $f$. If $t_P$ is a uniformizer, the stalk is $t_P^{-n_P}{\mathcal{O}}_{X,P}$. Shrinking around $P$ removes all other zeros and poles of $t_P$ and all other points in the support of $D$, so this also gives an actual local generator. Thus ${\mathcal{O}}_X(D)$ is a locally free sheaf of rank one. Multiplication gives an isomorphismon every stalk. If $D=\mathrm{div}(g)$, then ${\mathcal{O}}_X(D)=g^{-1}{\mathcal{O}}_X$, so the construction factors through a homomorphism $\mathrm{Cl}(X)\to \mathrm{Pic}(X)$.

It is injective: if ${\mathcal{O}}_X(D)$ is trivial, an isomorphism from ${\mathcal{O}}_X$ supplies a nonzero global rational generator $h$. At each closed point, $h$ generates $t_P^{-n_P}{\mathcal{O}}_{X,P}$, giving ${\nu }_P(h)=-n_P$, hence $D=-\mathrm{div}(h)$.

It is surjective: take a line bundle $\mathcal{L}$ and a nonzero rational section $s$, obtained by choosing a frame on any nonempty trivializing open set. If $e_i$ is a local frame, write $s=f_i{e}_i$ with $f_i\in K^{\ast }$. Since changes of frame are units, ${\nu }_P(f_i)$ is independent of the frame near $P$. A finite trivializing cover shows that these numbers have finite support. Set $D={\sum }_P{\nu }_P(f_i)P$. The map $f\mapsto fs$ gives ${\mathcal{O}}_X(D)\cong \mathcal{L}$, because at $P$ the condition ${\nu }_P(f)+{\nu }_P(f_i)\ge 0$ is exactly regularity of $fs$. Replacing $s$ by $gs$ changes $D$ by $\mathrm{div}(g)$, so this construction is well defined on classes. This proves the divisor class group and Picard group of a smooth curve identification

The sheaf of nonzero rational functions on an irreducible variety ${\mathcal{K}}_X^{\ast }$ is a flasque sheaf. Indeed, its sections on any nonempty open subset are $K^{\ast }$: irreducibility makes nonempty open subsets connected and makes any two of them meet, so locally constant rational-function values must agree. Restrictions between such opens are identities; restriction to the empty set is also surjective. The preliminary argument therefore givesApply the long exact sequence in sheaf cohomology to the short exact sequence of sheaves of multiplicative abelian groupsIts relevant part isPart (b) identifies the first map with the principal divisor map $K^{\ast }\to \mathrm{Div}(X)$. Exactness therefore identifies its cokernel with $H^1(X,{\mathcal{O}}_X^{\ast })$. Combining this with part (a) givesThe connecting map sends a divisor to the class of the unit ratios of its local rational representatives; these are precisely the transition data of the associated line bundle, up to the usual choice of inverse transition convention.

The resolution principle for sheaf cohomology states that an exact sequencewith $H^q(X,{\mathcal{A}}^j)=0$ for every $q>0$ computes $H^i(X,\mathcal{F})$ as the cohomology of $\Gamma (X,{\mathcal{A}}^{\bullet })$. In particular one may use a flasque resolution.

An affine morphism $\varphi :X\to Y$ is one for which the inverse image of every affine open subset of $Y$ is affine. We use vanishing of quasi-coherent cohomology on an affine scheme: a quasi-coherent sheaf has zero higher sheaf cohomology on an affine variety. Take a flasque resolution $\mathcal{F}\to {\mathcal{I}}^{\bullet }$. Each direct image sheaf ${\varphi }_{\ast }{\mathcal{I}}^j$ is flasque, because restriction on $V\subseteq U\subseteq Y$ is restriction on ${\varphi }^{-1}V\subseteq {\varphi }^{-1}U$. On an affine open $U\subseteq Y$, the augmented complex of sections isIts positive-degree cohomology vanishes by the affine theorem, and its degree-zero kernel is $\Gamma ({\varphi }^{-1}U,\mathcal{F})$. Checking exactness on this affine basis shows that ${\varphi }_{\ast }{\mathcal{I}}^{\bullet }$ is a flasque resolution of ${\varphi }_{\ast }\mathcal{F}$. The global-section complexes are identical, proving cohomology under an affine morphism:

For projective space, put $S=k[x_0,\dots ,x_n]$ with its usual grading and $U_i=\{x_i\ne 0\}$. Construct the twisting sheaf on projective space by setting its sections on $U_i$ to be the degree-$m$ part $(S_{x_i}{)}_m$, viewed as a module over $(S_{x_i}{)}_0$. It is free of rank one with generator $x_i^m$, even when $m$ is negative. On overlaps the generators differ by the unit $(x_i/x_j{)}^m$, so these modules glue to a line bundle $\mathcal{O}(m)$.

Assume first $n\ge 1$. These local modules all embed in the graded fraction field, and agreement on overlaps identifies global sections with ${\bigcap }_i(S_{x_i}{)}_m$. Since $S$ is a unique factorization domain and at least two distinct variables occur, a reduced fraction belonging to every $S_{x_i}$ has no nonconstant denominator. Thus the intersection is $S_m$. Counting monomials by stars and bars givesHere $h_n^i(m)={\dim }_k{H}^i({\mathbf{P}}^n,\mathcal{O}(m))$. The printed formula needs the convention that a counting binomial coefficient is zero when its upper integer is smaller than its nonnegative lower integer; the generalized polynomial convention for negative upper integers would give incorrect dimensions. For $n=0$, every twist on the single point ${\mathbf{P}}^0$ is trivial, so $h_0^0(m)=1$ for every $m$ and its higher cohomology is zero. This case supplies the base of dimension induction; the displayed top-cohomology formula below is for $n\ge 1$.

The standard $n+1$ affine opens have affine finite intersections. The acyclic cover theorem and affine vanishing identify sheaf cohomology with a Čech cochain complex ending in degree $n$. In particular $H^i({\mathbf{P}}^n,\mathcal{O}(m))=0$ for $i>n$.

Let $H=\{x_n=0\}\cong {\mathbf{P}}^{n-1}$, with inclusion $i$. Multiplication by $x_n$ gives the hyperplane exact sequence for twisting sheavesExactness is checked in the local trivializations, where a hyperplane equation is a non-zero-divisor and the quotient is its restriction to $H$. Since a closed immersion is an affine morphism, the first part identifies the cohomology of $i_{\ast }{\mathcal{O}}_H(m)$ with that on $H$.

For $n=1$, the long exact sequence in sheaf cohomology and $H\cong {\mathbf{P}}^0$ giveStarting from the given vanishing for sufficiently large $m$ and descending gives $h_1^1(m)=0$ for $m\ge -1$ and $h_1^1(m)=-m-1$ for $m\le -2$.

Now let $n\ge 2$, and assume the formulas in dimension $n-1$. Restrictionis surjective for every $m$: for $m\ge 0$ it is polynomial restriction, and for $m<0$ both groups are zero since $\dim H\ge 1$. The long exact sequence in sheaf cohomology therefore makes $H^1({\mathbf{P}}^n,\mathcal{O}(m-1))\to H^1({\mathbf{P}}^n,\mathcal{O}(m))$ injective. For $2\le j<n$, dimension induction gives $H^{j-1}(H,{\mathcal{O}}_H(m))=0$, so the same sequence makesinjective. Composing these injections up to a sufficiently large twist, where the target is zero by the given hypothesis, proves $H^j({\mathbf{P}}^n,\mathcal{O}(m))=0$ for every $m$ and $0<j<n$.

The remaining part of the long exact sequence in sheaf cohomology is consequentlywhere the last zero uses the affine-cover dimension bound on $H$. Hence $h_n^n(m-1)=h_n^n(m)+h_{n-1}^{n-1}(m)$. Using dimension induction and eventual vanishing, downward summation yieldsby telescoping Pascal's identity; for $m\ge -n$ it is zero. Thus, without invoking Serre duality in the induction,Finally, the canonical bundle of projective space is ${\omega }_{{\mathbf{P}}^n}\cong \mathcal{O}(-n-1)$, obtained by taking determinants in the dual Euler sequence. Serre duality therefore predictsIt pairs the two computed extreme-degree dimensions and pairs zero intermediate groups with zero intermediate groups, exactly as required.

Because $|D|$ has no fixed components, choose two members $G_1,G_2$ with no common component. This uses the infinitude of the algebraically closed field and avoidance of finitely many proper linear subspaces of the section space. On a smooth algebraic surface, their intersection number is the sum of local intersection multiplicities. Since $G_1\cdot G_2=D^2=0$, they are disjoint. A basepoint of $|D|$ would belong to both, so $|D|$ is basepoint-free.

The resulting morphism has nonconstant image since $\dim |D|\ge 1$. Its image cannot be a surface: a generically finite morphism defined by $D$ would make $D^2$ the positive product of its degree and the degree of its image. Thus the image is a curve. Apply Stein factorization to obtain $g:X\to C$ with connected fibers and $g_{\ast }{\mathcal{O}}_X={\mathcal{O}}_C$, where $C$ is a smooth projective curve. There is a positive-degree line bundle $L$ on $C$ with ${\mathcal{O}}_X(D)=g^{\ast }L$. The projection formula for sheaves and Riemann-Roch theorem give $h^0(X,mD)=h^0(C,L^m)=m\mathrm{deg}L+O(1)$. Therefore

The Picard group $\mathrm{Pic}(X)$ is the set of isomorphism classes of line bundles on $X$, with tensor product as addition, the trivial bundle as zero and the dual bundle as inverse. On a smooth projective surface, line bundles can be represented by divisors. The intersection pairing on the Picard group of a surface is the symmetric bilinear mapobtained by moving the divisors into proper position and counting their intersections with multiplicity.

The surfaceis the first Hirzebruch surface ${\mathbb{F}}_1$. If $S$ is its negative section and $F$ a fiber of the ruling, its Picard lattice of a Hirzebruch surface is

Now let $\pi :X\to {\mathbb{P}}^2$ be the given nonisomorphic birational morphism. A birational morphism between smooth projective surfaces factors as a nonempty sequence of point blowups. Let $H={\pi }^{\ast }[\text{line}]$, and take the total transform $E$ on $X$ of the exceptional curve of the first blowup. The intersection formula for blowing up a surface givesTherefore the nonzero Picard group element $H+E$ satisfiesThis is the isotropic divisor from a nontrivial birational morphism to the projective plane.

For a morphism $\varphi :{\mathbb{P}}^2\to {\mathbb{P}}^n$, the pullback of the hyperplane bundle has the formfor an integer $d\ge 0$. If a line $\ell$ is contracted to a point, this bundle restricts trivially to $\ell$, whereasIts degree is therefore zero, so $d=0$. The homogeneous sections defining $\varphi$ are then constants, and $\varphi$ is constant. This proves the morphism from the projective plane contracting a line criterion.

Finally choose an integer $r>C^2$ and blow up $r$ distinct points of the smooth curve $C$. For the resulting morphism $\pi :X^{\prime }\to X$, let $E_1,\dots ,E_r$ be the exceptional curves. The strict transform isand the self-intersection after blowing up points on a smooth curve formula givesBlowing up a smooth point of a smooth curve does not change that curve itself, so $\pi {|}_{C^{\prime }}:C^{\prime }\to C$ is an isomorphism.

The standard affine charts of ${\mathbb{P}}^3$ are copies of ${\mathbb{A}}^3$, and the product charts of ${\mathbb{P}}^1\times {\mathbb{P}}^1$ are copies of ${\mathbb{A}}^2$. Their local rings are localizations of polynomial rings over $k$ and hence are regular local rings. Both schemes are therefore regular.

On a regular integral scheme every Weil divisor is Cartier, so the divisor class group is naturally the Picard group. Pullback of line bundles along the Segre embedding therefore definesThe two groups areThe Segre coordinates are bihomogeneous of bidegree $(1,1)$, so ${\iota }^{\ast }{\mathcal{O}}_{{\mathbb{P}}^3}(1)=\mathcal{O}(1,1)$. In these bases the map is $m\mapsto (m,m)$ and

On the standard charts $D_{+}(x)$ and $D_{+}(y)$ of ${\mathbb{P}}_k^1$, a section of the twisting sheaf on projective space $\mathcal{O}(d)$ is represented by a degree-zero element of the corresponding localization of $k[x,y](d)$. A global section is therefore a homogeneous polynomial of degree $d$ when $d\ge 0$. There are no nonzero global sections for $d<0$. Hence

Local isomorphism on every member of a fixed affine cover does not imply a global isomorphism: the local identifications may have different transition functions. For example, $\mathcal{O}$ and $\mathcal{O}(1)$ are both trivial on the two standard affine charts of ${\mathbb{P}}^1$, but they are not isomorphic because their spaces of global sections have dimensions one and two.

An injective map between line bundles need not be an isomorphism. Multiplication by a nonzero section giveson ${\mathbb{P}}^1$; its cokernel is a nonzero skyscraper sheaf supported at the zero of the section.

The Theorem of the square says that for an abelian variety $X$, a line bundle $L$, and $x,y\in X(k)$,where $T_x$ denotes translation by $x$.

On ${\mathbb{F}}_2$, let $S$ be the negative section of a Hirzebruch surface, so $S^2=-2$, and let $F$ be the fiber class of a Hirzebruch surface, with $F^2=0$ and $S\cdot F=1$. The line bundle $\mathcal{O}(S+3F)$ is very ample. Indeed, the toric ampleness criterion for $aS+bF$ isand on a smooth complete toric variety every ample line bundle is very ample. These inequalities hold for $(a,b)=(1,3)$.

Explicitly, after choosing the standard lattice coordinates for ${\mathbb{F}}_2$, its lattice polytope of a toric divisor isThe monomials indexed by the lattice points of this polygon separate torus orbits and tangent directions, so their Kodaira map is a closed embedding. This directly verifies that the resolved proper toric surface is projective.

A degree-$g$ line bundle with vanishing first sheaf cohomology has exactly one section up to scale, by Riemann-Roch theorem. Its zero divisor is unique and varies in families by cohomology and base change for line bundles on a curve. For a fixed divisor $B$ of degree $N-g$, the open subset of $C^{(g)}$ where $\mathcal{O}(E)$ has vanishing first cohomology gives a chart in degree $N$, by $E\mapsto \mathcal{O}(B+E)$. Different charts are glued by the unique residual divisor of $\mathcal{O}(B+E-B^{\prime })$ wherever that line bundle is again nonspecial. Normalizing the universal bundles along a fixed rational point gives their canonical compatible gluing and a representing scheme for the Picard functor of a curve.

For a smooth projective geometrically connected algebraic curve $C/k$, this functor assigns to a scheme $T$ the line bundles on $C\times T$ having degree $d$ on each geometric fibre, modulo bundles pulled back from $T$. One generally takes the associated sheaf for faithfully flat covers. A rational point of $C$ permits normalization of every line bundle along that point; normalized bundles have no automorphisms preserving their normalization and satisfy effective descent. The resulting functor is represented by the degree-$d$ component of the Picard scheme of a curve.

The Picard group is the group of isomorphism classes of line bundles under tensor product.