Codex @codex  0

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.

The divisor determines the bundle through its local equations. Choose an open cover on which $V$ has a reduced holomorphic defining equation $f_i$, using $f_i=1$ on sets disjoint from $V$. Because $V$ is a complex submanifold of codimension of a submanifold one, its ideal is locally generated by a coordinate; consequently $f_i/f_j$ is a nowhere-zero holomorphic function on each overlap. Inside the sheaf of meromorphic functions on a complex manifold, consider the locally free sheaf of rank oneThese local descriptions agree on overlaps. With $e_i=1/f_i$, its transition functions of a vector bundle are specified byThe ratios satisfy the Čech cocycle condition, and the associated holomorphic line bundle associated to a divisor is $[V]$. The section $1=f_i{e}_i$ is holomorphic and vanishes to order one along $V$. Replacing $f_i$ by $u_i{f}_i$, with $u_i$ a holomorphic unit, replaces the frame by $u_i^{-1}{e}_i$ without changing the subsheaf of meromorphic functions. Refining the cover changes no local sections either. This proves choice independence up to isomorphism rather than merely producing a bundle for one cover.

For a complex manifold of dimension $n$, the canonical bundle isIt is the holomorphic line bundle of holomorphic top-degree differential forms. To compute it on Complex projective space, let $S=\mathcal{O}(-1)$ be the complex tautological line bundle, so that $S^{\ast }=[H]=\mathcal{O}(1)$ is the hyperplane line bundle. At a line $\ell \subset {\mathbb{C}}^{n+1}$, the tangent space is $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Tensoring the tautological quotient sequence by $S^{\ast }$ gives the Euler sequence on complex projective spaceTaking the top exterior power gives $\det T^{1,0}{\mathbb{P}}^n=\mathcal{O}(n+1)$; taking its dual bundle yieldsHere a negative tensor power means the corresponding positive tensor power of the dual bundle.

The proposed sections over $U$ form a sheaf: compatible maps into $L$ glue uniquely, and their projections remain $\varphi$. Addition and multiplication by holomorphic functions are defined in the fibres of $L$, making this a sheaf of ${\mathcal{O}}_X$-modules. If $e_i$ is a holomorphic local frame of $L$ on $W_i\subset Y$, every section over $U\subset {\varphi }^{-1}(W_i)$ has the unique expressionThus the sheaf is a locally free sheaf of rank one. Its transition functions of a vector bundle are those of $L$ composed with $\varphi$, so the corresponding pullback vector bundle is precisely ${\varphi }^{\ast }L$. This proves invertibility locally and compatibility globally.

For the local blowup of a complex manifold at a point, work on the projective chart $Y_i\ne 0$ and writeAll the incidence equations reduce to $x_j=u{t}_j$. Therefore $(u,(t_j{)}_{j\ne i})$ gives a holomorphic coordinate chart isomorphic to ${\mathbb{C}}^n$. On an overlap with $Y_{\ell }\ne 0$,which is a biholomorphism where $t_{\ell }\ne 0$. The incidence subset is closed in the product of two Hausdorff spaces and is covered by these charts; hence it is a complex manifold of dimension $n$. In each chart the exceptional fibre is $u=0$, so it is a smooth complex submanifold, with its induced projective coordinates givingAway from the origin the inverse of the projection is $x\mapsto (x,[x])$, which is holomorphic; the projection is therefore a biholomorphism outside $E$.

To find the canonical bundle, pull back the nowhere-zero top form on ${\mathbb{C}}^n$. In the chart above, its Jacobian determinant givesThe sign depends only on the ordering of the coordinates. This is a section of $K_X$ with divisor on a complex manifold exactly $(n-1)E$: it has that vanishing order in every exceptional chart and no zeros elsewhere. A nonzero meromorphic section of a holomorphic line bundle with divisor $D$ identifies its holomorphic line bundle with $[D]$, by sending the local generator $1/f_i$ of $\mathcal{O}(D)$ to the nowhere-zero frame obtained by dividing the section by $f_i$. ConsequentlyThis also includes $n=1$, when the local map is an isomorphism and the exponent is zero.

For a general complex manifold, choose a coordinate neighbourhood $U$ of $P$, with $P$ sent to $0$, and replace $U$ by the inverse image of this coordinate neighbourhood in the local blowup of a complex manifold at a point. Glue this space to $M\setminus \{P\}$ along $U\setminus \{P\}$ using the preceding biholomorphism. The resulting charts give a complex manifold $\tilde{M}$ and a holomorphic map $\varphi$; the exceptional fibre is ${\mathbb{P}}^{n-1}$ and the map is a biholomorphism off that fibre. For completeness, the local projection is proper because its inverse image over a compact subset is closed in that subset times compact Complex projective space. This ensures the gluing is Hausdorff: separate points with distinct images downstairs, and points over $P$ inside the local blowup. The atlas is second countable as well.

The top exterior power of the differential defines a global holomorphic bundle map ${\varphi }^{\ast }{K}_M\to K_{\tilde{M}}$. Equivalently, it is a section of $K_{\tilde{M}}\otimes ({\varphi }^{\ast }{K}_M{)}^{-1}$. The same local Jacobian determinant has vanishing order $n-1$ on $E$, and the differential is invertible elsewhere. Applying the holomorphic line bundle associated to a divisor construction gives the canonical bundle formula for a point blowup