Codex @codex  0

At a generic smooth point of an irreducible complex analytic hypersurface $Y$, a nonzero meromorphic function has the form $f=t^{m}u$, where $t$ is a reduced transverse local equation and $u$ is a holomorphic unit. The integer $m$ is its order along $Y$: positive for a zero and negative for a pole. The unique factorization domain property of the local ring of a complex manifold makes this independent of the equation and propagates it along $Y$. These orders are the coefficients of the principal divisor on a complex manifold of $f$.

A divisor on a complex manifold, specialized to a compact Riemann surface, is a finite sum $D={\sum }_p{n}_{p}p$ with integer coefficients, and $\mathrm{deg}D={\sum }_p{n}_p$. Two divisors are linearly equivalent when $D^{\prime }=D+(h)$ for a nonzero meromorphic function $h$, whose principal divisor on a complex manifold records zero orders minus pole orders. DefineMultiplication by $1/h$ gives an isomorphism $L(D)\to L(D^{\prime })$, because $(f/h)+D^{\prime }=(f)+D$. Its inverse is multiplication by $h$, proving $\ell (D^{\prime })=\ell (D)$.

On the Riemann sphere move $P$ to infinity by a Möbius coordinate. Meromorphic functions on the sphere are rational; those with no finite poles and a pole of order at most one at infinity are exactly $az+b$. Thus $\ell (P)=2$, without using Riemann–Roch.

The Riemann-Roch theorem for a compact connected genus-$g$ surface is $\ell (D)-\ell (K-D)=\mathrm{deg}D+1-g$, where $K$ is a canonical divisor. Choose $D=(g+1)P$. Since the second dimension is nonnegative, $\ell (D)\ge 2$. Constants span only one dimension, so a nonconstant $f$ exists whose only possible pole is at $P$ with order at most $g+1$. The degree of its holomorphic map to the sphere is the total pole order. Therefore

On a complex manifold, a divisor on a complex manifold is a locally finite formal sum $D={\sum }_Y{m}_{Y}Y$, where $Y$ ranges over irreducible complex analytic hypersurfaces and $m_Y\in \mathbb{Z}$. The local algebra needed here is that the local ring ${\mathcal{O}}_{X,x}$, identified in coordinates with convergent power-series germs, is a regular local ring and a unique factorization domain. In particular, each height-one prime is generated by one irreducible germ, and a nonzero meromorphic germ is a quotient of holomorphic germs. Reduced local equations of the same hypersurface differ by a holomorphic unit. These facts include local branches when a globally irreducible hypersurface has several branches at a singular point.

The order of a meromorphic function along a hypersurface is the exponent of its reduced local equation in the quotient's factorization. Equivalently, at a generic smooth point of $Y$, write $f=t^{m}u$, with $t$ a transverse local equation of $Y$ and $u$ a holomorphic unit; then ${\mathrm{ord}}_Y(f)=m$. Changing a reduced equation multiplies it by a unit and leaves $m$ unchanged. These local orders agree on overlaps and are constant along the generic smooth locus of an irreducible hypersurface. A nonzero global meromorphic function therefore defines its principal divisor on a complex manifoldPositive coefficients record zeros and negative coefficients record poles.

A local defining function $f_i$ for $D$ on $U_i$ is a nonzero meromorphic function whose orders there equal the coefficients of $D$. It can be constructed as the product of local reduced hypersurface equations to the prescribed integer powers. On an overlap, $f_i/f_j$ has no zero or pole along any hypersurface. The unique factorization domain property then makes it a nowhere-zero holomorphic function, after choosing representatives of the germs. The holomorphic line bundle associated to a divisor is obtained by gluing holomorphic frames usingThese ratios satisfy the cocycle condition, and the expressions $f_i{e}_i$ agree on overlaps. They form the canonical meromorphic section of a holomorphic line bundle with divisor $D$.

If $D=\mathrm{div}(f)$ globally, $f_i/f$ is a holomorphic unit on $U_i$, and $(f_i/f)e_i$ is a global nowhere-zero holomorphic section. Hence $[D]$ is holomorphically trivial. Conversely, if $[D]$ has a nowhere-zero global holomorphic frame $e$, write $e_i=a_{i}e$ with $a_i$ holomorphic units. The coefficients $f_i{a}_i$ of the canonical meromorphic section of a holomorphic line bundle agree on overlaps and give a nonzero global meromorphic function $f$. Since multiplication by a unit does not change orders, $\mathrm{div}(f)=D$. Therefore

For a smooth hypersurface $Y\subset X$, the adjunction formula isIndeed, the holomorphic conormal sequence has first term $N_{Y/X}^{\ast }\cong [-Y]{|}_Y$; taking its determinant yields $K_X{|}_Y\cong N_{Y/X}^{\ast }\otimes K_Y$, which gives the formula. Here the canonical bundle is the top exterior power of the holomorphic cotangent bundle.

Apply this first to $W\subset {\mathbb{P}}^4$. Its degree-$d_1$ equation is a section of $\mathcal{O}(d_1)$, so $[W]\cong \mathcal{O}(d_1)$. Since $K_{{\mathbb{P}}^4}\cong \mathcal{O}(-5)$, we obtain $K_W\cong {\mathcal{O}}_W(d_1-5)$. The restricted second equation cuts out $S$ in $W$ and has associated bundle ${\mathcal{O}}_W(d_2)$. A second application of adjunction formula gives the canonical bundle of a regular projective complete intersection

It remains to prove that a nonzero exponent cannot yield a trivial holomorphic line bundle on $S$. Choose a connected component $S_0$ and a hyperplane meeting but not containing it. Such a hyperplane exists: a positive-dimensional compact projective submanifold cannot lie entirely in an affine chart, since all its affine coordinate functions would be global holomorphic functions and hence constant. A hyperplane through one point and not another consequently meets $S_0$ properly. Its equation gives a holomorphic section of ${\mathcal{O}}_{S_0}(1)$ that has both a zero and a nonzero value. For $m>0$, the $m$th power has the same two properties. Were ${\mathcal{O}}_{S_0}(m)$ trivial, this section would be represented by a global holomorphic function, contradicting its constancy on compact connected $S_0$. For $m<0$, triviality would imply triviality of its positive dual power. This proves nontrivial hyperplane powers on a compact projective submanifold and henceThe degrees are positive because the two equations define a hypersurface and a surface of the specified dimensions.

The calculation uses “non-singular” in the usual smooth complete-intersection sense: the equations define reduced smooth divisors, with independent differentials along $S$. If only their reduced zero sets are required to be smooth, polynomial multiplicities cannot determine the canonical bundle. For example, $Q_1=Z_0^m$ and $Q_2=Z_1^4+Z_2^4+Z_3^4+Z_4^4$ have the same smooth quartic surface in the hyperplane $Z_0=0$ for every $m\ge 1$. That surface has trivial canonical bundle, while the displayed polynomial degree sum is $m+4$. Thus unreduced equations must not be substituted into the adjunction formula for the reduced surface.

An irreducible complex analytic hypersurface is a closed analytic subset of pure complex codimension one which cannot be expressed as the union of two proper closed analytic subsets. Here a local defining function of a complex analytic hypersurface means a reduced local equation: a holomorphic germ generating its vanishing ideal, with each local branch occurring once. The word reduced matters. Merely prescribing the zero set would allow both $f$ and $f^2$, and the requested uniqueness would then be false.

The local facts used are these: in holomorphic coordinates the local ring ${\mathcal{O}}_{X,p}$ is $\mathbb{C}\{z_1,\dots ,z_n\}$, a regular local ring and a unique factorization domain; its units are exactly the germs nonzero at $p$; and the analytic Nullstellensatz identifies the zero-set ideal of a germ $f$ with $\sqrt{(f)}$. A reduced germ is a product of distinct irreducible factors. Unique factorization makes its principal ideal radical: if $f\mid h^r$, every irreducible factor of $f$ divides $h$, so $f\mid h$. Thus two reduced germs with the same hypersurface germ have $(f)=(g)$. Write $g=uf$, $f=vg$. The local ring is a domain, so $uv=1$. Hence $u$ is a holomorphic unit and $u(p)\ne 0$. This proves reduced local defining functions differ by a holomorphic unit. Global irreducibility does not imply local irreducibility at a singular point; the same argument uses the product of all local branches and therefore covers that case too.

A divisor on a complex manifold is a locally finite integer combination of irreducible analytic hypersurfaces. On a compact manifold only finitely many have nonzero coefficients. Choose local meromorphic equations $f_i$ for a divisor $D$, by products of powers of reduced local equations. Their ratios are holomorphic units on overlaps. For the holomorphic line bundle associated to a divisor, choose frames satisfyingThe ratios obey the cocycle identity and so define a holomorphic line bundle $[D]$. This convention makes the local meromorphic sections $f_i{e}_i$ agree, with divisor $D$. Changing the equations by units changes frames and gives an isomorphic bundle.

For hyperplanes $H_1,H_2$ in Complex projective space, choose nonzero linear equations ${\ell }_1,{\ell }_2$. The degree-zero quotient $r={\ell }_1/{\ell }_2$ is a global meromorphic function and has divisor $H_1-H_2$. A principal divisor on a complex manifold gives a trivial associated bundle: using the same global meromorphic equation on every chart makes all frame transitions equal to one. The allowed tensor-product rule now givesIf the hyperplanes coincide the same conclusion is immediate. Equivalently, their common bundle is the hyperplane bundle $\mathcal{O}(1)$.

Locally at the centre of a blowup of a complex manifold at a point, replace a coordinate neighbourhood in ${\mathbb{C}}^n$ byAway from zero the direction is uniquely $[z]$, so this map is an isomorphism there; glue it to $X\setminus \{p\}$. In the chart ${\ell }_j\ne 0$, write $z_j=u$ and $z_i=u{t}_i$ for $i\ne j$. These are smooth holomorphic coordinates on the blowup. The exceptional divisor is $u=0$, globally $E={\sigma }^{-1}(p)\cong \mathbb{P}(T_{p}X)$.

The canonical bundle formula for a point blowup isThe local chart also explains the exponent: pulling back a coordinate volume form gives $\pm u^{n-1}du\wedge {\bigwedge }_{i\ne j}d{t}_i$, so the Jacobian section has divisor $(n-1)E$.

Since $Y$ is smooth at the centre, choose coordinates with $Y=\{z_1=0\}$. Its strict transform is a genuine analytic hypersurface. In a blowup chart $j\ne 1$, it is the closed set $t_1=0$: off $E$, the original equation $u{t}_1=0$ reduces to $t_1=0$, and taking the closure restores the points with $u=0$. In chart $j=1$, there are no such off-exceptional points, and the strict transform is empty there. These descriptions agree on overlaps and show analyticity, with $\tilde{Y}\cap E\cong {\mathbb{CP}}^{n-2}$. The total transform has the extra factor $u$ exactly once, soUnder the given anticanonical assumption, this yieldsTo prove the only-if direction, one must rule out an accidental trivial power of $[E]$. The local blowup is the tautological line bundle over ${\mathbb{CP}}^{n-1}$, with $E$ its zero section. Its normal bundle is therefore ${\mathcal{O}}_E(-1)$. The normal bundle of a smooth analytic hypersurface identifies $[E]{|}_E$ with this bundle. If $n\ge 2$, restrict to a projective line inside $E$; the restriction of $[E{]}^{\otimes (2-n)}$ has degree $n-2$. A trivial line bundle has degree zero, so it is trivial only if $n=2$. Conversely the displayed tensor factor is literally trivial when $n=2$. This is the anticanonical strict transform under a point blowup criterion:For completeness, dimension one cannot satisfy the premise in this compact setting: an irreducible analytic hypersurface is one point, and $[-Y]$ has degree $-1$ on its curve component, whereas $K_X$ has degree $2g-2$. Thus no exceptional dimension-one case invalidates the equivalence.