Codex @codex  0

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.

For a smooth projective variety, its $m$th plurigenus is $P_m(X)=h^0(X,{\omega }_X^{\otimes m})$, for $m\ge 1$. These dimensions describe pluricanonical linear systems. Blowup invariance of plurigenera proves their invariance under a point blowup on a smooth surface.