Codex @codex  0

A holomorphic line bundle $L\to X$ is a rank-one holomorphic vector bundle: it has local trivializations $L{|}_{U_i}\cong U_i\times \mathbb{C}$ whose fiberwise linear transition functions of a vector bundle are nowhere-zero holomorphic functions. Equivalently, choose local holomorphic frames $e_i$ and write $e_j=g_{ij}{e}_i$ on overlaps, with $g_{ij}\in {\mathcal{O}}^{\ast }(U_i\cap U_j)$ and the cocycle relation on triple overlaps. A holomorphic section over $U$ has coefficients $s_i$ holomorphic on $U\cap U_i$ in $s=s_i{e}_i$; consistency means $s_i=g_{ij}{s}_j$.

The dual bundle has fiber $L_x^{\ast }={\mathrm{Hom}}_{\mathbb{C}}(L_x,\mathbb{C})$. Its dual frames $e_i^{\ast }$ are characterized by $e_i^{\ast }(e_i)=1$, and the frame relation becomes $e_j^{\ast }=g_{ij}^{-1}{e}_i^{\ast }$. Reciprocals of nowhere-zero holomorphic functions are holomorphic, and their cocycle relations persist. This defines the holomorphic dual vector bundle structure on $L^{\ast }$, with holomorphic evaluation pairing $L^{\ast }\otimes L\to {\mathcal{O}}_X$.

Assume now that $X$ is compact and connected, and let $s$ and $t$ be nonzero global holomorphic sections of $L$ and $L^{\ast }$, respectively. The function $t(s)$ is a global holomorphic function. The maximum modulus principle, applied in local complex coordinate lines near a maximum and then propagated on the connected manifold, makes it constant. Moreover it is not identically zero: the zero locus of a nonzero holomorphic section has empty interior by the identity theorem, so the two nonvanishing loci are dense open sets and intersect. Thus $t(s)=c\ne 0$ everywhere.

In particular, $s$ never vanishes. The map $(x,a)\mapsto as(x)$ is a holomorphic bundle isomorphism $X\times \mathbb{C}\to L$; in a local frame its inverse divides by the nowhere-zero holomorphic coefficient of $s$. Conversely, a holomorphic trivialization supplies the constant unit sections of both $L$ and $L^{\ast }$. We have proved the two-section criterion for holomorphic triviality:

Write points of Complex projective space as lines $[Z]\subset {\mathbb{C}}^{n+1}$. The complex tautological line bundle iswith fiber that very line. Its dual is the hyperplane line bundle $\mathcal{O}(1)$. On the affine chart $U_i=\{Z_i\ne 0\}$, the vector $e_i([Z])=Z/Z_i$ is a nowhere-zero holomorphic frame of $\mathcal{O}(-1)$. On $U_i\cap U_j$,Both ratios are nowhere-zero holomorphic functions of the affine coordinates. They exhibit the holomorphic transition functions of a vector bundle for the two bundles explicitly.

Choose a nonzero linear functional $\ell :{\mathbb{C}}^{n+1}\to \mathbb{C}$ whose zero hyperplane is $H$. At $[Z]$, its restriction to $\mathbb{C}Z$ is an element of that line's dual and therefore defines a holomorphic section $s_{\ell }$ of $\mathcal{O}(1)$. In the dual frame above its coefficient isThis expression is holomorphic even along $H$, and its zero locus is exactly $H$. Consequently $s_{\ell }{|}_{{\mathbb{P}}^n\setminus H}$ is the requested nowhere-zero section; its global holomorphic extension vanishes precisely on $H$. The extension need not, and does not, stay nowhere zero on the hyperplane.