Codex @codex  0

Let $C$ be the smooth algebraic curve. A nonzero regular section of a line bundle has an effective zero divisor, so its degree of a line bundle is nonnegative. Degrees add under tensor products and change sign on taking the dual. We use genuine line subbundles, so their quotients in $E$ are locally free. Both bounds can be proved constructively.

For the upper bound, take a rational frame of $E^{\ast }$ over the function field of $C$. Its two members are rational sections with only finitely many poles. Choose an effective divisor $D$ large enough to bound the pole orders of both rational sections. They become global sections of $E^{\ast }\otimes {\mathcal{O}}_C(D)$ and define a sheaf mapwhich is an isomorphism at the generic point. It is therefore injective as a sheaf map: a section in its kernel would vanish generically in a locally free sheaf, which is a torsion-free sheaf. For any line subbundle $L\subset E$, at least one of its two component maps into ${\mathcal{O}}_C(D)$ is nonzero. Such a map is a nonzero global section of ${\mathcal{O}}_C(D)\otimes L^{-1}$. Its zero divisor on an algebraic curve is effective, soThis upper degree bound for line subbundles on a smooth curve depends only on a choice made for $E$, and applies to every one of its line subbundles.

For the lower-bound question we will actually construct subbundles ${\mathcal{O}}_C(-m{p}_0)$ for every sufficiently large integer $m$, where $p_0$ is a fixed point. First prove the globally generated vector bundle property rather than assuming that negative-degree inclusions automatically are subbundles.

Apply the upper-bound argument to the rank-two vector bundle $F=E^{\ast }\otimes K_C$, where $K_C$ is the canonical bundle. Let $B$ be its upper degree bound. Choose $m$ with $m-1>B$. For any point $p\in C$, a nonzero global section of $F(-m{p}_0+p)$ would give a nonzero mapIts image can be saturated to a saturated line subbundle on a smooth curve $M\subset F$. Locally the local ring of a smooth algebraic curve is a discrete valuation ring: dividing out the common power of a uniformizer makes the image a primitive rank-one summand, and its quotient is free. Thus the saturation is indeed a subbundle. The original map gives a nonzero global section of $M\otimes {\mathcal{O}}_C(-m{p}_0+p)$ and consequently $\mathrm{deg}M\ge m-1$, contradicting the upper bound. Hence $H^0(F(-m{p}_0+p))=0$ for every $p$. By Serre duality,The exact sequenceand its long exact sequence in sheaf cohomology show that evaluation $H^0(E(m{p}_0))\to E(m{p}_0){|}_p$ is onto for every $p$. This proves the global generation of positive twists on a smooth curve with one bound on $m$ that works at every point.

Write $W=H^0(E(m{p}_0))$ and $N=\dim W$. The evaluation map $W\otimes {\mathcal{O}}_C\to E(m{p}_0)$ is surjective with kernel bundle of rank $N-2$. Consider the incidence subsetIt is the total space of this kernel bundle, so $\dim Z=1+(N-2)=N-1$. Its projection into $W$ is closed because $C$ is proper, and its image has dimension at most $N-1<N$. Choose $s$ outside this proper closed subset. It vanishes nowhere. In a local trivialization at any point, one component of $s$ is a unit, so it can be completed to a basis. Therefore ${\mathcal{O}}_C\stackrel{s}{\to }E(m{p}_0)$ is a subbundle with a locally free rank-one quotient. Twisting back givesThis proves the unbounded negative degrees of line subbundles. The nowhere-vanishing construction guarantees a subbundle at every point, including the zeros that might otherwise have occurred in a generic meromorphic inclusion. If the curve has several connected components, apply these constructions on each component and add the degrees; the same upper-bound and no-lower-bound conclusions follow.

Let $V\subseteq U$ be open subsets, and let $s\in {\mathcal{F}}_3(V)$. The assumed flasque-kernel section-lifting lemma lifts $s$ to $\tilde{s}\in {\mathcal{F}}_2(V)$. Since ${\mathcal{F}}_2$ is a flabby sheaf, extend $\tilde{s}$ to a section on $U$, then project to ${\mathcal{F}}_3(U)$. Its restriction is $s$. Thus every restriction map of ${\mathcal{F}}_3$ is surjective, proving that the quotient of two flabby sheaves in a short exact sequence is flabby.

For the construction of sheaf cohomology, embed a sheaf of abelian groups $\mathcal{F}$ into the sheafby sending a section to all its germs. This is injective because a section with every germ zero is zero. Arbitrary families of stalk elements glue point by point, and restriction maps are projections; hence $C(\mathcal{F})$ is a flabby sheaf. Set ${\mathcal{Q}}^0=\mathcal{F}$, ${\mathcal{I}}^j=C({\mathcal{Q}}^j)$ and ${\mathcal{Q}}^{j+1}={\mathcal{I}}^j/{\mathcal{Q}}^j$. Compose the quotient map with the next embedding to obtain the flasque resolutionThe sheaf cohomology groups are the cohomology groups of the resulting cochain complex of global sections:The usual comparison of resolutions identifies this construction with the right derived functors of global sections; the construction above is the Godement resolution.

If $\mathcal{F}$ is itself a flabby sheaf, the quotient argument shows inductively that every ${\mathcal{Q}}^j$ is flabby. The assumed lifting result therefore makesan exact sequence for every $j$. The global-section complex is consequently exact in every positive degree. In particular,This establishes the vanishing from the section-lifting property rather than assuming it in advance.

For the smooth algebraic curve $X$, a divisor on an algebraic curve is a finite formal sum $D={\sum }_P{n}_{P}P$ of closed points with integer coefficients. At each closed point, the local ring of a smooth algebraic curve is a discrete valuation ring; write its normalized discrete valuation as $v_P$. For $f\in k(X{)}^{\ast }$ the principal divisor is $\mathrm{div}(f)={\sum }_P{v}_P(f)P$. Only finitely many coefficients are nonzero: zeros and poles are proper closed subsets in the Noetherian Zariski topology of a curve. The divisor class group is the abelian groupEquivalently, its elements are divisors on an algebraic curve modulo linear equivalence of divisors.

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.

Let $\varphi :C\setminus S\to {\mathbb{P}}^n$ be the given algebraic morphism of algebraic varieties. Its value at the generic point supplies homogeneous coordinates $[h_0:\cdots :h_n]$ with $h_i\in k(C)$, not all zero. Thus it defines a rational map of projective varieties on $C$.

Fix a missing point $p\in S$. The local ring of a smooth algebraic curve at $p$ is a discrete valuation ring $A={\mathcal{O}}_{C,p}$, with uniformizer $t$ and valuation $v_p$. PutZero coordinates remain zero. Every $a_i$ is in $A$, and some $a_j$ is a unit because its valuation is zero. Choose a neighborhood $U$ of $p$ on which all $a_i$ are regular and $a_j$ remains nonvanishing; this is possible because membership in the local ring means regularity on a neighborhood. The affine target-chart coordinatesare regular on $U$, so they define a morphism of algebraic varieties $U\to {\mathbb{P}}^n$. At $p$ its homogeneous value is $[a_0(p):\cdots :a_n(p)]$, well-defined because $a_j(p)\ne 0$.

Multiplication of all homogeneous coordinates by the same nonzero rational function does not change their projective point. Thus this local morphism agrees with the original one on the common dense open where their coordinates were chosen. They agree throughout the overlap: the target's diagonal is closed, being defined in homogeneous coordinate pairs by $T_i{U}_j-T_j{U}_i=0$ for all $i,j$. Thus the equalizer is closed and contains that dense open. Apply this construction at each point of the finite set $S$ and glue with the original morphism. The same closed-diagonal argument proves uniqueness. ThereforeThis gives the extension of a rational map from a smooth projective curve by explicit local coordinates. The mechanism is the one-dimensional smooth local ring: it permits removal of the smallest common pole order while leaving at least one unit coordinate.

For an algebraically closed field $k$, the strong Hilbert Nullstellensatz says that every ideal $J\subseteq k[x_1,\dots ,x_n]$ satisfiesIts weak form says that $V(J)=\varnothing$ exactly when $J=(1)$. Now let $S=\mathbb{C}[x_0,\dots ,x_n]$ and let $I\subseteq S$ be a homogeneous ideal. The affine zero set of $I$ is the affine cone over $V_{+}(I)$ together with the origin. Hence, when the projective zero set is empty, eitheror the affine zero set is exactly the origin. In the latter case the Hilbert Nullstellensatz givesthe irrelevant ideal of projective space. Equivalently, some power $(x_0,\dots ,x_n{)}^N$ is contained in $I$. These are precisely the alternatives in the Projective Nullstellensatz.

Let $V\subseteq {\mathbb{P}}^3$ be a smooth quadric surface. After a projective linear transformation, the Segre embedding identifiesChoose distinct points $p,q\in {\mathbb{P}}^1$. The two fibresare the promised disjoint curves on a smooth quadric surface: each is a smooth projective line, and $C_p\cap C_q=\varnothing$. By the Bézout theorem, any two nonempty curves in the projective plane intersect. An isomorphism of algebraic varieties preserves intersections and takes projective curves to projective curves, so these disjoint curves prove

Next let $W$ be a smooth projective curve and let $f:W⇢Y\subseteq {\mathbb{P}}^N$ be a rational map to a projective variety. At a point $P$ outside its initial domain, writeusing elements of the function field $\mathbb{C}(W)$. The local ring of a smooth algebraic curve at $P$ is a discrete valuation ring. If $m={\min }_i{v}_P(f_i)$, multiplying every coordinate by a function of valuation $-m$ makes all coordinates regular at $P$ and at least one a unit there. They therefore define a morphism near $P$. Repeating this at the finitely many missing points proves the extension of a rational map from a smooth projective curve.

Smoothness is essential. Let $\nu :{\mathbb{P}}^1\to C$ be the normalization of a nodal curve for a rational nodal cubic $C$. The inverse is a rational map $C⇢{\mathbb{P}}^1$ on the smooth locus. If it extended to a morphism $g:C\to {\mathbb{P}}^1$, then $g\circ \nu$ would agree with the identity on a dense Zariski-open subset of ${\mathbb{P}}^1$ and hence everywhere. But the two distinct points $a,b\in {\mathbb{P}}^1$ above the node would satisfya contradiction. This is the failure of rational-map extension on a singular curve.

Finally take the Fermat cubic curveand define the projective hypersurfaceBecause $F$ and $xyz$ have no common irreducible factor, the bihomogeneous polynomial $sF+txyz$ is irreducible, so $Z$ is an algebraic variety. Letbe the second coordinate projection. Every homogeneous cubic in three variables has a projective zero over $\mathbb{C}$, so every fibre is nonempty and $\pi$ is a surjective morphism. Over $p=[1:0]$ the fibre is the Fermat cubic curve, which is smooth and has genusOver $q=[0:1]$ the fibre isthe union of exactly three distinct projective lines, hence exactly three irreducible components. This is the cubic pencil with a triangular member required by the question.

A rank-one subsheaf of a vector bundle on a smooth algebraic curve is saturated when the quotient is torsion-free. Intersecting a one-dimensional subspace of the generic fibre with each stalk constructs a saturated subsheaf. The local ring of a smooth algebraic curve is a discrete valuation ring, so the subsheaf and its torsion-free quotient are locally free. Saturating a nonzero map from a line bundle enlarges that line bundle by an effective divisor, recording the map's zeros.