Codex @codex  0

A minimal algebraic surface is a smooth projective surface containing no exceptional curve of the first kind, namely no smooth rational curve of self-intersection $-1$. An abelian surface contains no rational curve because every morphism from ${\mathbb{P}}^1$ to an abelian variety is constant. It therefore has no $(-1)$-curve and is minimal.

For every $n\ge 2$, the Minimal Hirzebruch surface ${\mathbb{F}}_n$ is a rational minimal surface. These surfaces are pairwise nonisomorphic: the negative section is the unique irreducible curve of negative self-intersection and has square $-n$, so an isomorphism would recover $n$. Thus there are infinitely many nonisomorphic minimal rational surfaces.

A K3 surface is a smooth projective surface $X$ with $K_X\cong {\mathcal{O}}_X$ and $H^1(X,{\mathcal{O}}_X)=0$. For a smooth curve $C\subset X$ of geometric genus $g$, the Adjunction formula givesand hence

An elliptic surface is a smooth projective surface with a morphism to a smooth curve whose generic fiber is a smooth genus-one curve. If $E$ is an elliptic curve, projectionis an elliptic fibration. Its canonical bundle is pulled back from $K_{{\mathbb{P}}^1}$, so every positive pluricanonical space vanishes and the Kodaira dimension is $-\infty$. This supplies the requested negative-Kodaira-dimension example.

For an elliptically fibered K3 surface, choose a smooth quartic $X\subseteq {\mathbb{P}}^3$ containing a line $L$. The canonical bundle of a smooth projective hypersurface formula makes $K_X$ trivial, and the standard cohomology sequence gives $H^1(X,{\mathcal{O}}_X)=0$, so $X$ is K3. The pencil of planes through $L$ cuts $X$ into $L$ plus a residual plane cubic. The residual linear system $|H-L|$ is basepoint-free, has square zero and defines a morphism $X\to {\mathbb{P}}^1$ whose generic fiber is a smooth plane cubic. This is the Elliptic K3 surface from a quartic containing a line.

A surface of general type is a smooth projective surface of Kodaira dimension two. Let $B\subseteq {\mathbb{P}}^2$ be a smooth plane curve of degree eight and letbe the degree-two cover branched along $B$. The branch-cover canonical-bundle formula givesThis divisor is ample, so $X$ is a double plane of general type and $\pi$ is the required finite morphism of degree two.

An irreducible complex analytic hypersurface in a complex manifold $X$ is a closed irreducible analytic subset of pure complex codimension one. A local defining function of a complex analytic hypersurface $Y$ at $x$ is a holomorphic function $f$ on a neighbourhood $U$ such thatThe necessary local algebra is that the stalk ${\mathcal{O}}_{X,x}$ is a regular local ring, hence a unique factorization domain, and that the local branches of a hypersurface germ determine finitely many height-one prime ideals. Each is principal; the product of their generators gives $f$, and removing repeated factors makes it reduced. This also covers a globally irreducible hypersurface that has several local branches at a singular point.

A divisor on a complex manifold is a locally finite formal sum $D={\sum }_Y{n}_{Y}Y$ of irreducible analytic hypersurfaces with integer coefficients. On a sufficiently small $U_{\alpha }$, local defining functions give a meromorphic equation $f_{\alpha }$ for $D$. The quotients $f_{\alpha }/f_{\beta }$ are nowhere-zero holomorphic functions. Gluing frames byproduces the holomorphic line bundle associated to a divisor $[D]$, and $f_{\alpha }{e}_{\alpha }$ gives its canonical meromorphic section with divisor $D$.

The Euler sequence on complex projective spaceimplies $\det T{\mathbb{CP}}^n\cong \mathcal{O}(n+1)$. Taking the dual determinant yields the canonical bundle of complex projective spacewhere $H$ is a hyperplane divisor.

The hypotheses on the homogeneous polynomial $p$ say thatis a smooth projective hypersurface of degree $k$, so its divisor line bundle is $[V]\cong \mathcal{O}(kH)$. The Adjunction formula givesThis is the canonical bundle of a smooth projective hypersurface.

Now fix an isomorphism $\Phi :[P]\to [Q]$ and regard $s_P$ and ${\Phi }^{-1}{s}_Q$ as holomorphic sections of the same holomorphic line bundle. They have no common zero because $P\ne Q$. Their homogeneous coordinates therefore define a well-defined holomorphic mapIn a local frame, the quotientis a meromorphic function with divisor $(f)=P-Q$. Thus $F^{-1}(0)=P$ and $F^{-1}(\infty )=Q$, both with multiplicity one. The degree of a holomorphic map $F$ is therefore one. A nonconstant degree-one holomorphic map between compact connected Riemann surfaces is a biholomorphism, so the displayed map is biholomorphic.