Codex @codex  0

Take the Hirzebruch surface $X={\mathbb{F}}_2$ with its standard toric Kähler structure. Let $C_1=S$ be its negative section of a Hirzebruch surface, and let $C_2=F$ represent the fiber class of a Hirzebruch surface and meet $S$ once. ThusThe preceding smoothing produces an embedded symplectic $\Sigma$ in class $S+F$.

Suppose a compatible almost complex structure made all three surfaces almost complex. Since $S$ and $\Sigma$ are distinct, Positive intersection of J-holomorphic curves would imply $S\cdot \Sigma \ge 0$. Homologically, however,a contradiction. Hence this example cannot admit such a simultaneous compatible structure.

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.

On ${\mathbb{F}}_2$, let $S$ be the negative section of a Hirzebruch surface, so $S^2=-2$, and let $F$ be the fiber class of a Hirzebruch surface, with $F^2=0$ and $S\cdot F=1$. The line bundle $\mathcal{O}(S+3F)$ is very ample. Indeed, the toric ampleness criterion for $aS+bF$ isand on a smooth complete toric variety every ample line bundle is very ample. These inequalities hold for $(a,b)=(1,3)$.

Explicitly, after choosing the standard lattice coordinates for ${\mathbb{F}}_2$, its lattice polytope of a toric divisor isThe monomials indexed by the lattice points of this polygon separate torus orbits and tangent directions, so their Kodaira map is a closed embedding. This directly verifies that the resolved proper toric surface is projective.

For the Hirzebruch surface ${\mathbb{F}}_n$, the negative section of a Hirzebruch surface $S$ and a fiber class of a Hirzebruch surface $F$ freely generate $\mathrm{Pic}({\mathbb{F}}_n)$ and satisfy