Codex @codex  0

Projection to $[s:t]$ gives an elliptic fibration with connected cubic fibers. Each of the nine exceptional divisors maps isomorphically to ${\mathbb{CP}}^1$ and is therefore a holomorphic section.

For the blowup of a complex manifold at a point in dimension $n\ge 2$, the exceptional divisor is ${\mathbb{CP}}^{n-1}$ and $[E]{|}_E={\mathcal{O}}_E(-1)$. The local blowup is the total space of the tautological line bundle, so its zero section has that normal bundle. Restricting a power to a projective line inside $E$ gives degree $-r$; a trivial bundle has degree zero. This proves that no nonzero power of $[E]$ is trivial, without assuming global projectivity of the original manifold.

A symplectic blowup replaces a small symplectic ball around the point by an exceptional divisor ${\mathbb{CP}}^{n-1}$, for ${\dim }_{\mathbb{R}}X=2n$. One can construct its form by symplectic reduction. In a Darboux chart, consider ${\mathbb{C}}^n\times \mathbb{C}$ with the circle actionOn ${\mu }^{-1}(R^2/2)$ the action is free because $z\ne 0$. Its quotient therefore carries a smooth symplectic form. Where $w\ne 0$, choose the representative with $w$ positive real; the reduced form is the original form on $|z|>R$. Where $w=0$, the quotient is the Hopf fibration quotient of $|z|=R$, namely ${\mathbb{CP}}^{n-1}$. The local quotient is the tautological complex line bundle near its zero section, hence the local blowup. Glue this model to the exterior of the ball to obtain a symplectic form on the blowup.

The area of a projective line in the exceptional divisor is $\epsilon =\pi R^2$. For a closed $X$, changing this size changes the symplectic volume:Consequently the blowup is not determined up to symplectomorphism without a size choice. The underlying smooth blowup is fixed, but the symplectic construction has a parameter, as in symplectic blowup size changes volume.

For the blowdown map $\pi$ and exceptional divisor $E$, the First Chern class isIn real dimension four this becomes ${\pi }^{\ast }{c}_1(TX)-\mathrm{PD}[E]$, the first Chern class formula for a symplectic blowup.

The tangent bundle of the standard four-torus is a trivial complex rank-two bundle, so its symplectic canonical class is zero. For a generic fiber $F$ of a symplectic Lefschetz pencil, the symplectic adjunction formula gives $2g-2=F^2$. Two generic fibers intersect precisely at the base points, each with local intersection number one in the pencil model $[z_1:z_2]$. HenceThis is base-point count for a Lefschetz pencil on a symplectic four-torus.

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.

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.

Let $F(y)=y_1^2{y}_2+y_2^2{y}_3+y_3^2{y}_1$. The proper transform isIndeed, in the blowup chart $y_i\ne 0$, write $x=ty$ with $y_i=1$. Homogeneity gives $F(x)=t^{3}F(y)$. Away from the exceptional divisor $t=0$, the equation is $F(y)=0$, and its closure retains that equation, removing the exceptional factor $t^3$. Every point with $t=0,F(y)=0$ is approached algebraically along the line $(ty,[y])$, so no component in this displayed set is extraneous.

For $x\ne 0$, the fibre is the single point $[y]=[x]$, and the projection is an isomorphism over $Y\setminus \{0\}$. Over $0$ the fibre is the projective plane cubic $F(y)=0$. In characteristic zero this cubic is smooth: a coordinate zero in the three derivative equations would force all coordinates zero; with all nonzero, multiplying $2y_1{y}_2=-y_3^2$, $y_1^2=-2y_2{y}_3$, $y_2^2=-2y_3{y}_1$ gives $1=-8$, impossible. Thus the exceptional fibre is a smooth genus-one plane cubic. The fibre description itself does not require this optional smoothness conclusion; characteristic $3$ requires separate treatment.

For a symplectic ball centered at the origin, its symplectic blowup replaces a smaller concentric ball by the disk bundle in ${\mathcal{O}}_{{\mathbb{CP}}^{n-1}}(-1)$. The zero section is the exceptional divisor $E\cong {\mathbb{CP}}^{n-1}$; the blowdown collapses $E$ to the original point and is a symplectomorphism away from $E$. The new symplectic form agrees with ${\omega }_0$ outside the surgery region, while its integral over a line in $E$ specifies the blowup size. In real dimension four, $E\cong {\mathbb{CP}}^1$ and $E^2=-1$.

A Lefschetz pencil on the compact oriented four-manifold $X$ is a mapwith finite base locus $B$, such that orientation-compatible complex coordinates give the local model $f(z_1,z_2)=[z_1:z_2]$ at a base point and $f(z_1,z_2)=z_1^2+z_2^2$ at each critical point. Blowing up all $b=|B|$ base points produces a Lefschetz fibration $\tilde{X}\to S^2$ whose regular fiber is the closed smooth fiber of the pencil.

If that fiber has genus $g$ and there are $m$ critical points, thenEvery blowup raises the Euler characteristic by one, so $\chi (\tilde{X})=\chi (X)+b$. Therefore the Euler characteristic of a Lefschetz pencil is

Now let $X={\mathbb{CP}}^2$ with its Fubini-Study form. A symplectic smooth fiber $F$ represents $dH\in H_2({\mathbb{CP}}^2;\mathbb{Z})$ for some positive integer $d$, because its symplectic area is positive. The symplectic adjunction formula, using $K_{{\mathbb{CP}}^2}=-3H$, givesand henceThese values are $0,0,1,3,6,10,\dots$. They are all attained: two sufficiently general homogeneous polynomials of degree $d$ generate a pencil of complex plane curves with only the singularities allowed in a Lefschetz pencil, and its smooth fibers are symplectic. Thus the displayed list is exactly the list described by the Genus of a symplectic Lefschetz pencil on the complex projective plane.

The Picard group $\mathrm{Pic}(X)$ is the set of isomorphism classes of line bundles on $X$, with tensor product as addition, the trivial bundle as zero and the dual bundle as inverse. On a smooth projective surface, line bundles can be represented by divisors. The intersection pairing on the Picard group of a surface is the symmetric bilinear mapobtained by moving the divisors into proper position and counting their intersections with multiplicity.

The surfaceis the first Hirzebruch surface ${\mathbb{F}}_1$. If $S$ is its negative section and $F$ a fiber of the ruling, its Picard lattice of a Hirzebruch surface is

Now let $\pi :X\to {\mathbb{P}}^2$ be the given nonisomorphic birational morphism. A birational morphism between smooth projective surfaces factors as a nonempty sequence of point blowups. Let $H={\pi }^{\ast }[\text{line}]$, and take the total transform $E$ on $X$ of the exceptional curve of the first blowup. The intersection formula for blowing up a surface givesTherefore the nonzero Picard group element $H+E$ satisfiesThis is the isotropic divisor from a nontrivial birational morphism to the projective plane.

For a morphism $\varphi :{\mathbb{P}}^2\to {\mathbb{P}}^n$, the pullback of the hyperplane bundle has the formfor an integer $d\ge 0$. If a line $\ell$ is contracted to a point, this bundle restricts trivially to $\ell$, whereasIts degree is therefore zero, so $d=0$. The homogeneous sections defining $\varphi$ are then constants, and $\varphi$ is constant. This proves the morphism from the projective plane contracting a line criterion.

Finally choose an integer $r>C^2$ and blow up $r$ distinct points of the smooth curve $C$. For the resulting morphism $\pi :X^{\prime }\to X$, let $E_1,\dots ,E_r$ be the exceptional curves. The strict transform isand the self-intersection after blowing up points on a smooth curve formula givesBlowing up a smooth point of a smooth curve does not change that curve itself, so $\pi {|}_{C^{\prime }}:C^{\prime }\to C$ is an isomorphism.

The irregularity of an algebraic surface and the geometric genus of an algebraic surface are respectively

If $\pi :X^{\prime }\to X$ is the blowup at a point with exceptional divisor $E$, thenA holomorphic two-form on $X$ pulls back to one on $X^{\prime }$. Conversely, a holomorphic two-form on $X^{\prime }$ descends across $E$: locally it is a form on the punctured smooth surface $X\setminus \{p\}$, and its coefficients extend over the codimension-two point $p$. Equivalently, ${\pi }_{\ast }{K}_{X^{\prime }}=K_X$. Pullback is therefore an isomorphismwhich proves the birational invariance of the geometric genus of a surface in this case.

Let $X=C\times D$, where both smooth projective curves have positive genus. The Künneth theorem gives the irregularity of a product of curvesIf a surface is a hypersurface in projective space, dimension forces it to be a smooth hypersurface $Y\subseteq {\mathbb{P}}^3$. Fromand the intermediate cohomology vanishing for line bundles on projective space, one obtains $H^1(Y,{\mathcal{O}}_Y)=0$. Thus every such hypersurface has irregularity zero, whereas $X$ has positive irregularity. Hence $C\times D$ is not isomorphic to a hypersurface. This is the product of positive-genus curves is not a projective hypersurface obstruction.

The Albanese variety $\mathrm{Alb}(X)$ is the universal abelian variety receiving a pointed morphism from $X$, andLet the smooth image curve of the Albanese morphism be $C$ of genus $g$. Pullback of holomorphic one-forms along the dominant map $X\to C$ is injective, giving $g\le q(X)$. On the other hand, the universal property of the Jacobian extends $C\to \mathrm{Alb}(X)$ to a homomorphismThe Albanese image generates the entire Albanese variety, so this homomorphism is surjective and $q(X)\le \dim \mathrm{Jac}(C)=g$. Therefore the Irregularity from a smooth Albanese curve image is

Before blowing up, the fiber over zero is the smooth curveand the blowup center $p$ lies on it. Its total transform is the union of the strict transform ${\tilde{F}}_0$ and the exceptional divisor $E$. Blowing up a smooth point of a smooth curve does not change the curve, so ${\tilde{F}}_0\cong {\mathbb{P}}^1$, while $E\cong {\mathbb{P}}^1$. They meet transversely in the single point recording the tangent direction of $F_0$ at $p$. Thereforeis two copies of the complex projective line meeting at one point.

Letand let $\tilde{\Sigma }$ be the star subdivision of $\sigma$ through the ray ${\mathbb{R}}_{\ge 0}v$. Its maximal cones areSince $\hat{\phi }(v)=0$, their images lie respectively inThus $\hat{\phi }$ is a morphism of fans from $\tilde{\Sigma }$ to $\Sigma$.

The toric blowup at a torus-fixed point identifiesMore explicitly, the blowup of affine space at the origin is the total space of ${\mathcal{O}}_{{\mathbb{P}}^2}(-1)$. The induced toric morphismis its bundle projection: it sends a nonzero vector to its direction $[x_1:x_2:x_3]$ and restricts to the identity on the exceptional divisor ${\mathbb{P}}^2$. Therefore $g$ resolves the indeterminacy locus of $f$.

Choose holomorphic coordinates centered at $p$. Locally, the blowup of a complex manifold at a point iswith $\sigma (z,[\ell ])=z$; away from $p$ this is an isomorphism, so it glues to $X\setminus \{p\}$. The exceptional divisor is $E={\sigma }^{-1}(p)\cong {\mathbb{CP}}^{n-1}$.

The proper transform is the closure of ${\sigma }^{-1}(Y\setminus \{p\})$. If $p\notin Y$, it is isomorphic to $Y$. If $p\in Y$, the holomorphic implicit function theorem supplies coordinates in which $Y=\{z_1=0\}$. In the blowup chart with $z_i=t$ and $z_j=t{u}_j$ for $j\ne i$, every chart with $i\ne 1$ describes the proper transform by $u_1=0$, while the chart $i=1$ does not meet it. These are smooth coordinate hypersurfaces, so $\tilde{Y}$ is smooth.

For a divisor $D$, the line bundle associated to a divisor $\mathcal{O}(D)$ consists locally of meromorphic functions $f$ such that $(f)+D\ge 0$. Pulling back a local defining function for $Y$ shows that its divisor iswhere $m$ is the order of vanishing at $p$ of a local defining function for $Y$. ThereforeBecause $Y$ is smooth, $m=1$ when $p\in Y$ and $m=0$ when $p\notin Y$.

Applying the definition with $D=E$ gives directlyThe map sends a section to its local meromorphic coefficient relative to the canonical meromorphic section of $\mathcal{O}(E)$; the divisor inequality is exactly the condition that these coefficients define a holomorphic section, and the inverse construction is local multiplication by that canonical section.

The exceptional divisor is $E\cong {\mathbb{P}}^{r-1}$, so its Chow groups are generated by the linear subspaces $[{\Gamma }_k]$. The complement $X\setminus E$ is isomorphic through the blow-up map to ${\mathbb{P}}^r\setminus \{p\}$. The localization sequence for $\{p\}\subseteq {\mathbb{P}}^r$ shows that the latter's Chow groups are generated by the restrictions of linear spaces $H_j$ through $p$ for $1\le j\le r$; its zero-dimensional Chow group vanishes.

Under the complement isomorphism, $H_j\setminus \{p\}$ corresponds to the open part of the strict transform ${\tilde{H}}_j$. A second localization sequence, now for $E\subseteq X$, shows that $A_{\ast }(X)$ is generated by the lifts $[{\tilde{H}}_j]$ together with the images $[{\Gamma }_k]$ from $A_{\ast }(E)$, exactly as claimed.

The holomorphic map $[Z_0:Z_1:Z_2]\mapsto [Z_1:Z_2]$ on ${\mathbb{CP}}^2\setminus \{[1:0:0]\}$ records the line through the missing point and the input point. Its graph closure is the incidence surface $Z_{1}b=Z_{2}a$ in ${\mathbb{CP}}^2\times {\mathbb{CP}}^1$, the blowup of a complex manifold at a point. Projection to $[a:b]$ extends the pencil holomorphically. On the exceptional divisor it is the identity map on the projective tangent directions.

The strict transform of a subvariety $Y$ under a blowup $\sigma :\tilde{X}\to X$ is the closure of ${\sigma }^{-1}(Y\setminus Z)$, where $Z$ is the center. Its total transform also contains the exceptional divisor with the multiplicity with which $Y$ passes through $Z$.

A symplectic blowup at a point removes a small symplectic ball and collapses its Hopf-circle boundary fibers, replacing the center by an exceptional divisor $E\cong {\mathbb{CP}}^{n-1}$. The resulting form agrees with the original form away from the surgery region, and its integral over a projective line in $E$ records the blowup size. In real dimension four, $E\cong {\mathbb{CP}}^1$ and $E^2=-1$.