Codex @codex  0

The rank-two bundle of fibre spans is globally generated and splits as $\mathcal{O}(a_1)\oplus \mathcal{O}(a_2)$ with $a_1+a_2=g-2$. On its rational normal scroll, $L{|}_C$ is the degree-three pencil and $M{|}_C=K_C$. The adjunction formula then forces the displayed divisor class. Writing $a=a_2-a_1$ and $M=B+a_{2}L$ on the Hirzebruch surface gives $C\in |3B+(a+a_2+2)L|$.

The Hirzebruch surface ${\mathbb{F}}_n$ is minimal for $n=0$ and every $n\ge 2$; ${\mathbb{F}}_1$ is not minimal because its negative section is a $(-1)$-curve. For $n>0$, the negative section is the unique irreducible curve of negative self-intersection, so its self-intersection $-n$ distinguishes the isomorphism class. The surfaces ${\mathbb{F}}_n$ for $n\ge 2$ therefore give infinitely many pairwise nonisomorphic minimal rational surfaces.

Throughout, the braces denote a multiset, so repeated splitting degrees retain their multiplicities. If the multisets agree after a common shift, permuting summands gives $E_a\cong E_b\otimes \mathcal{O}(c)$. Tensoring all the fibres of a vector bundle by the same line bundle leaves their one-dimensional quotient spaces unchanged. HenceThis proves one implication in the isomorphism classification of abstract rational scrolls.

For the converse first take $n\ge 3$. Every divisor class on $F_a$ has the form $xL+yM$. If its square is zero, restriction to a fibre ${\mathbb{P}}^{n-1}$ giveswhere $h$ is the hyperplane class and $h^2\ne 0$ because $n-1\ge 2$. Thus $y=0$. It follows that $L$ is intrinsically characterized as the primitive nonzero nef class whose square is zero. An isomorphism $u:F_a\to F_b$ therefore carries $L_b$ to $L_a$; the sign is positive because both classes are nef and effective. The complete pencil $|L|$ determines the ruling, sofor an automorphism $\sigma$ of ${\mathbb{P}}^1$.

On a fibre, the isomorphism preserves the positive generator ${\mathcal{O}}_{{\mathbb{P}}^{n-1}}(1)$ of its Picard group. Consequentlyfor some integer $c$. Push forward along the ruling, using ${\pi }_{\ast }\mathcal{O}(M)=E$ and the projection formula for sheaves:Every automorphism of ${\mathbb{P}}^1$ preserves each $\mathcal{O}(d)$. The uniqueness of the splitting degrees in the Birkhoff–Grothendieck theorem now implies equality of the two multisets up to a shift. Replacing this $c$ by $-c$ gives the sign convention in the final formula. One can see that uniqueness numerically: for a split bundle,The first difference counts the degrees with $a_i+t\ge 0$, and the second difference counts the multiplicity of $a_i=-t$. Hence these dimensions determine every splitting degree, with multiplicity.

For $n=2$, subtract the smaller degree and write the normalized bundle as $\mathcal{O}\oplus \mathcal{O}(a)$, $a\ge 0$. Its surface is the Hirzebruch surface ${\mathbb{F}}_a$. Let $B$ be its negative section and $L$ its fibre, so $B^2=-a$, $BL=1$, $L^2=0$. The nef cone is generated by $L$ and $B+aL$: a nef divisor $xL+yB$ must have $y\ge 0$ from intersection with a fibre and $x-ay\ge 0$ from intersection with $B$, and these two inequalities also express it as a nonnegative combination of those generators. If $a>0$, a class $uL+v(B+aL)$ with $u,v\ge 0$ has squarewhich vanishes only when $v=0$. Thus the ruling is again intrinsic, and the same bundle argument applies. If $a=0$, the surface is ${\mathbb{P}}^1\times {\mathbb{P}}^1$ and has two nef square-zero rays, its two rulings. This distinguishes it from every $a>0$ surface. Isomorphisms may exchange its rulings, but both normalized splitting degrees are zero, so the stated classification is unchanged.

For $n=1$, every scroll is ${\mathbb{P}}^1$, and any two single splitting degrees differ by a common shift. Thus all ranks are covered:Reading the braces as ordinary sets would lose information and make the assertion false when degrees repeat. For example, $(0,0,1,2)$ and $(0,1,1,2)$ have the same underlying set but not the same splitting multiset; their minima are both zero, so no nonzero common shift can reconcile them.

Part (i) first shows that $D-C$ is effective. Also $C^2<0$: writing $D=aC+E$ with $a\ge 1$ and $E$ effective without $C$ as a component gives $D\cdot C=a{C}^2+E\cdot C$, where $E\cdot C\ge 0$.

For $0\le j<m$,Every effective member of $|mD|$ therefore contains $C$; after subtracting it, the same reasoning applies again, until $m$ copies have been subtracted. Conversely adding $mC$ to an effective member of $|m(D-C)|$ is allowed. HenceFor $m=0$ this is just the identity system $|0|$. The extra intersection hypothesis is needed: on the Hirzebruch surface ${\mathbb{F}}_2$, with negative section $S$ and fibre $F$, take $D=S+F$. Then $D\cdot S=-1$ but $(D-S)\cdot S=1$. Here $h^0(2D)=4$ while $h^0(2F)=3$, so removing $2S$ loses a section.

For the point blowup of a smooth algebraic surface $\psi :\tilde{X}\to X$ with exceptional curve $E$, the canonical divisor formula for a surface blowup and the intersection formula for blowing up a surface giveOne must not assume $K_{\tilde{X}}$ itself is effective. Instead, if an effective member of $|m{K}_{\tilde{X}}|$ exists, then for each $0\le j<m$ its class after removing $jE$ has intersection $-m+j<0$ with $E$. The same fixed-component argument removes exactly the required $mE$, givingas an isomorphism, also when both sides are zero. Since $X$ is normal and $\psi$ is proper and birational, ${\psi }_{\ast }{\mathcal{O}}_{\tilde{X}}={\mathcal{O}}_X$. The projection formula for sheaves therefore identifies the space on the left with $H^0(X,{\mathcal{O}}_X(m{K}_X))$. ConsequentlyThe PDF writes equality of spaces; this is the canonical identification just described, rather than literal equality of spaces on different schemes. This proves blowup invariance of plurigenera in arbitrary characteristic.

Take the Hirzebruch surface $X={\mathbb{F}}_2$ with its standard toric Kähler structure. Let $C_1=S$ be its negative section of a Hirzebruch surface, and let $C_2=F$ represent the fiber class of a Hirzebruch surface and meet $S$ once. ThusThe preceding smoothing produces an embedded symplectic $\Sigma$ in class $S+F$.

Suppose a compatible almost complex structure made all three surfaces almost complex. Since $S$ and $\Sigma$ are distinct, Positive intersection of J-holomorphic curves would imply $S\cdot \Sigma \ge 0$. Homologically, however,a contradiction. Hence this example cannot admit such a simultaneous compatible structure.

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.

False. The Picard group of the Hirzebruch surface is freely generated by the negative section $S$ and a fiber $F=D_1$. Pullbacks from ${\mathbb{P}}^1$ form only the subgroup $\mathbb{Z}F$. For example, $\mathcal{O}(S)$ cannot be a pullback: its restriction to a fiber has degree $S\cdot F=1$, whereas every pullback from the base restricts trivially to every fiber.

Insert the primitive rayinside the singular cone. The corresponding star subdivision replaces $⟨v_0,v_1⟩$ by $⟨v_0,v_3⟩$ and $⟨v_3,v_1⟩$. Both new determinants have absolute value one, as do the two unchanged cones, so the subdivided fan is smooth. The induced proper birational toric morphism $\tilde{X}\to X$ is therefore a toric resolution of singularities. Its exceptional invariant curve has self-intersection $-2$, and $\tilde{X}$ is the Hirzebruch surface ${\mathbb{F}}_2$.

For the Hirzebruch surface ${\mathbb{F}}_n$, the negative section of a Hirzebruch surface $S$ and a fiber class of a Hirzebruch surface $F$ freely generate $\mathrm{Pic}({\mathbb{F}}_n)$ and satisfy