Codex @codex  0

Choose holomorphic coordinates centered at the point $p$ and a polydisc $U\subset {\mathbb{C}}^n$ about the origin. The local blowup of a complex manifold at a point is the incidence manifoldAway from $z=0$ the direction is forced to be $[\ell ]=[z]$, giving a biholomorphism with $U\setminus \{0\}$. Glue this punctured part to $X\setminus \{p\}$. The charts below make the result a complex manifold. The projection is proper near $p$, since it is the restriction of projection from a closed subset of $U\times {\mathbb{CP}}^{n-1}$; globally the modification is proper and is an isomorphism off $p$. Its exceptional divisor is

On ${\ell }_i\ne 0$, let $t=z_i$ and $u_j={\ell }_j/{\ell }_i$ for $j\ne i$. ThenThese are coordinates on the open domain where $t$ and all $t{u}_j$ lie in the original polydisc; at $t=0$ all finite $u_j$ are allowed. Their inverse reads the direction ratios and $z_i$ from the incidence point. In this chart $E$ is the nonsingular hypersurface $t=0$. On overlap with chart $k\ne i$, the holomorphic coordinate changes areThey are holomorphic with holomorphic inverses where $u_k\ne 0$, and the $n$ charts cover every point of $E$. Intrinsically, changing the original coordinates by $F$ lifts via $[\ell ]\mapsto [A(z)\ell ]$, where $F(z)=A(z)z$, $A(0)=d{F}_0$, and $A$ is holomorphic and invertible near zero. One can take $A(z)={\int }_0^{1}d{F}_{sz}ds$ on a sufficiently small polydisc. Away from the origin the lift is uniquely forced; this proves coordinate-independence of the gluing near $E$.

The canonical bundle is $K_X={\Lambda }^n{\Omega }_X^1$. In the $i$th blowup chart the top-form Jacobian iswhere the $u_j$ occur in increasing order. Every term with a second $dt$ vanishes in the wedge product of differential forms. Thus the differential gives a map ${\sigma }^{\ast }{K}_X\to K_{\tilde{X}}$ vanishing to order $n-1$ along $E$ and nowhere else. To express this through the supplied meromorphic-section hypothesis, take a nonzero meromorphic section $s$ of $K_X$ and put $D=\mathrm{div}(s)$. Locally $s=f(z)d{z}_1\wedge \cdots \wedge d{z}_n$, soHere ${\sigma }^{\ast }D$ is the total divisor pullback, including any additional exceptional multiplicity from $f$; it is not merely the strict transform. A line bundle with a nonzero meromorphic section is isomorphic to the line bundle of that section's divisor, as its local coefficient ratios are its frame transitions. Pullback of divisor line bundles and additivity of analytic divisor line bundles therefore give the canonical bundle formula for a point blowup:For $n=1$ the blowup is already an isomorphism, consistently with the zero exponent.

For the projective-plane construction, an invertible linear change of homogeneous coordinates puts $x=[1:0:0]$. Lines through $x$ are parametrized by $[a:b]\in {\mathbb{CP}}^1$, with equation $b{Z}_1-a{Z}_2=0$. Thus the required map on the punctured plane isIt is well-defined under rescaling and holomorphic on the covering sets $Z_1\ne 0$ and $Z_2\ne 0$, where its target coordinates are $Z_2/Z_1$ and $Z_1/Z_2$. These sets cover the complement of $x$.

The graph closure isOver the complement of $x$ it is the graph of $f$. In the affine chart $Z_0\ne 0$, its equation is exactly the two-dimensional local incidence model for the blowup of a complex manifold at a point, so its first projection identifies it with the required blowup globally. The second projection is a holomorphic map $\tilde{f}:S\to {\mathbb{CP}}^1$ extending $f\circ \sigma$. Explicitly, the two blowup charts giveThese formulas agree when $v=1/u$ and remain holomorphic at $t=0$. Hence the pencil extends over the exceptional divisor, where it records the projective tangent direction. This is the projective pencil resolved by a point blowup.