If $X$ is unirational, there is a dominant rational map $f : \mathbb{P}^2 \dashrightarrow X$. Then:

• $q(X) = 0$: A dominant map $f^* : H^0(X, \Omega^1_X) \hookrightarrow H^0(\mathbb{P}^2, \Omega^1_{\mathbb{P}^2}) = 0$ shows that $h^1(\mathcal{O}_X) = q = 0$ (using the Hodge symmetry $h^{1,0} = h^{0,1} = q$ in char $0$).
• $P_2(X) = 0$: Similarly $f^* : H^0(X, \omega_X^{\otimes 2}) \hookrightarrow H^0(\mathbb{P}^2, \omega_{\mathbb{P}^2}^{\otimes 2}) = 0$ shows $P_2 = 0$.

So $q = P_2 = 0$, and Castelnuovo's criterion gives that $X$ is rational.

An Enriques surface $S$ (in characteristic $\neq 2$) satisfies:

• $q(S) = 0$ (no irregular part),
• $p_g(S) = 0$ (no holomorphic $2$-forms),
• $P_2(S) = 1$ (there exists a nonzero section of $\omega_S^{\otimes 2}$),
• $\omega_S \not\cong \mathcal{O}_S$ but $\omega_S^{\otimes 2} \cong \mathcal{O}_S$ (the canonical bundle is $2$-torsion),
• $\kappa(S) = 0$ (Kodaira dimension zero).

Since $P_2 = 1 \neq 0$, Castelnuovo's criterion correctly identifies $S$ as not rational. The Enriques surface is the classical counterexample showing that $q = p_g = 0$ is not sufficient for rationality. One genuinely needs $P_2 = 0$.

Construction: An Enriques surface is the quotient $S = K/\iota$ of a K3 surface $K$ by a fixed-point-free involution $\iota$. Since $\omega_K \cong \mathcal{O}_K$, the involution acts as $-1$ on $H^0(\omega_K)$, so $H^0(\omega_S) = 0$ (i.e., $p_g = 0$), but $\omega_S^{\otimes 2} \cong \mathcal{O}_S$.

A Godeaux surface is a surface of general type with $p_g = 0$, $q = 0$, and $K^2 = 1$. By the plurigenus formula for surfaces of general type:

$P_2 = K^2 + \chi(\mathcal{O}_X) = 1 + 1 = 2.$

So $P_2 = 2 \neq 0$, and Castelnuovo's criterion correctly says the Godeaux surface is not rational. Despite $q = p_g = 0$, it has Kodaira dimension $\kappa = 2$.

Construction: The classical Godeaux surface is the quotient $X = F/(\mathbb{Z}/5\mathbb{Z})$, where $F \subseteq \mathbb{P}^3$ is the Fermat quintic $x_0^5 + x_1^5 + x_2^5 + x_3^5 = 0$ and $\mathbb{Z}/5\mathbb{Z}$ acts by $[x_0 : x_1 : x_2 : x_3] \mapsto [x_0 : \zeta x_1 : \zeta^2 x_2 : \zeta^3 x_3]$ with $\zeta = e^{2\pi i/5}$.

Let $C$ be a smooth curve of genus $g \geq 1$, and let $X = C \times \mathbb{P}^1$. Then:

• $p_g(X) = g \cdot 0 = 0$ (since $p_g(\mathbb{P}^1) = 0$, by the Kunneth formula $H^0(X, \omega_X) = H^0(C, \omega_C) \otimes H^0(\mathbb{P}^1, \omega_{\mathbb{P}^1}) = 0$),
• $q(X) = g$ (since $h^1(\mathcal{O}_X) = h^1(\mathcal{O}_C) + h^1(\mathcal{O}_{\mathbb{P}^1}) = g + 0 = g$).

When $g \geq 1$, we have $p_g = 0$ and $P_2 = 0$ (since $\kappa = -\infty$ for ruled surfaces), but $q = g \geq 1$. The surface is not rational (it is ruled over $C$, and the base $C$ is a birational invariant). Castelnuovo's criterion detects this via $q \neq 0$.

An abelian surface $A$ has $q(A) = 2$, $p_g(A) = 1$, $\kappa(A) = 0$. It is very far from rational. The large irregularity reflects the rich structure of the Albanese variety $\operatorname{Alb}(A) = A$ itself.

$\mathbb{P}^2$ is the prototypical rational surface:

• $q = 0$, $p_g = 0$, $P_n = 0$ for all $n \geq 1$ (since $\omega_{\mathbb{P}^2} = \mathcal{O}(-3)$ has no sections, nor does any positive tensor power $\mathcal{O}(-3n)$).
• $\chi(\mathcal{O}_{\mathbb{P}^2}) = 1$.
• $K_{\mathbb{P}^2}^2 = 9$.

Castelnuovo's criterion: $q = 0$, $P_2 = 0$ $\Rightarrow$ rational. ✓

The Hirzebruch surface $\mathbb{F}_n = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-n))$ is a ruled surface over $\mathbb{P}^1$:

• $q = 0$ (base is $\mathbb{P}^1$), $p_g = 0$, $P_n = 0$ for all $n \geq 1$.
• $\chi(\mathcal{O}_{\mathbb{F}_n}) = 1$.
• $K_{\mathbb{F}_n}^2 = 8$ (independent of $n$, since all $\mathbb{F}_n$ are birational to $\mathbb{P}^2$).

All $\mathbb{F}_n$ are rational by Castelnuovo's criterion. Concretely: $\mathbb{F}_0 = \mathbb{P}^1 \times \mathbb{P}^1$ is rational via projection from a point; $\mathbb{F}_1 = \operatorname{Bl}_P(\mathbb{P}^2)$ is rational by construction; $\mathbb{F}_n$ for $n \geq 2$ is rational since one can blow up and blow down to reduce to $\mathbb{F}_0$ or $\mathbb{F}_1$.

A smooth cubic surface $S \subseteq \mathbb{P}^3$ is isomorphic to the blowup of $\mathbb{P}^2$ at $6$ points in general position, so it is rational. Verifying via Castelnuovo:

• $\omega_S = \mathcal{O}_S(K_{\mathbb{P}^3} + S)|_S = \mathcal{O}_S(-4 + 3)|_S = \mathcal{O}_S(-1)$. Since $\mathcal{O}_S(-1)$ has no global sections, $p_g = 0$.
• $\omega_S^{\otimes 2} = \mathcal{O}_S(-2)$, which also has no global sections. So $P_2 = 0$.
• By the Lefschetz hyperplane theorem, $q = 0$ (or directly: $\operatorname{Pic}(S)$ is torsion-free and $h^1(\mathcal{O}_S) = 0$).

So $q = 0$, $P_2 = 0$ $\Rightarrow$ rational by Castelnuovo. ✓ This also confirms the classical result that every smooth cubic surface is rational.

A Del Pezzo surface is a smooth projective surface $X$ with $-K_X$ ample. These are classified: $X$ is either $\mathbb{P}^1 \times \mathbb{P}^1$ or $\operatorname{Bl}_r(\mathbb{P}^2)$ (blowup of $\mathbb{P}^2$ at $0 \leq r \leq 8$ points in general position), with $K_X^2 = 9 - r$.

Every Del Pezzo surface satisfies:

• $p_g = 0$: since $-K_X$ is ample, $K_X$ is anti-ample, so $h^0(K_X) = 0$.
• $P_2 = 0$: since $-2K_X$ is ample, $h^0(2K_X) = 0$.
• $q = 0$: from the construction as blowups of $\mathbb{P}^2$, or from $\chi(\mathcal{O}_X) = 1$.

Castelnuovo's criterion gives: all Del Pezzo surfaces are rational. ✓

The smooth quadric $Q \cong \mathbb{P}^1 \times \mathbb{P}^1 \subseteq \mathbb{P}^3$ is a Del Pezzo surface with $K_Q^2 = 8$:

• $\omega_Q = \mathcal{O}_Q(-2, -2)$ (by adjunction: $K_Q = (K_{\mathbb{P}^3} + Q)|_Q = (-4 + 2)H|_Q = \mathcal{O}_Q(-2)$, which as a bidegree is $(-2, -2)$ under the Segre embedding).
• $p_g = h^0(\mathcal{O}(-2, -2)) = 0$, $P_2 = h^0(\mathcal{O}(-4, -4)) = 0$.
• $q = 0$.

Rational by Castelnuovo. ✓ The explicit birational map $\mathbb{P}^1 \times \mathbb{P}^1 \dashrightarrow \mathbb{P}^2$ is given by projection from any point on $Q$.

Let $X = Q_1 \cap Q_2 \subseteq \mathbb{P}^4$ be a smooth complete intersection of two quadrics. Then $X$ is a Del Pezzo surface of degree $4$ with $K_X^2 = 4$:

• $\omega_X = \mathcal{O}_X(K_{\mathbb{P}^4} + Q_1 + Q_2)|_X = \mathcal{O}_X(-5 + 2 + 2) = \mathcal{O}_X(-1)$.
• $p_g = h^0(\mathcal{O}_X(-1)) = 0$, $P_2 = h^0(\mathcal{O}_X(-2)) = 0$.
• $q = 0$ (Lefschetz).

Rational by Castelnuovo. ✓ This surface is the blowup of $\mathbb{P}^2$ at $5$ points in general position.

Not all smooth complete intersections are rational. Consider:

• $(2, 3)$ in $\mathbb{P}^4$: $\omega_X = \mathcal{O}_X(-5 + 2 + 3) = \mathcal{O}_X(0) = \mathcal{O}_X$. So $p_g = 1$. This is a K3 surface, not rational.
• $(2, 2, 2)$ in $\mathbb{P}^5$: $\omega_X = \mathcal{O}_X(-6 + 2 + 2 + 2) = \mathcal{O}_X(0)$. Again a K3 surface, $p_g = 1$, not rational.
• $(4)$ in $\mathbb{P}^3$ (quartic surface): $\omega_X = \mathcal{O}_X(-4 + 4) = \mathcal{O}_X$. K3 surface, $p_g = 1$, not rational.
• $(5)$ in $\mathbb{P}^3$ (quintic surface): $\omega_X = \mathcal{O}_X(1)$. Surface of general type with $p_g = 4$, very far from rational.

The boundary for rationality of hypersurfaces in $\mathbb{P}^3$ is: degree $\leq 3$ gives rational, degree $= 4$ gives K3 (not rational), degree $\geq 5$ gives general type (not rational).

The Enriques surface $S$ is the key example that justifies the need for $P_2 = 0$ rather than just $p_g = 0$:

• $q = 0$, $p_g = 0$, so $\chi(\mathcal{O}_S) = 1$.
• $\omega_S \not\cong \mathcal{O}_S$ (the canonical class is nonzero in $\operatorname{Pic}(S)$).
• $\omega_S^{\otimes 2} \cong \mathcal{O}_S$ (the canonical class is $2$-torsion in $\operatorname{Pic}(S)$).
• $P_1 = p_g = 0$, but $P_2 = h^0(\omega_S^{\otimes 2}) = h^0(\mathcal{O}_S) = 1$.
• The plurigenera cycle: $P_n = 0$ for $n$ odd, $P_n = 1$ for $n$ even.
• $\kappa(S) = 0$ (Kodaira dimension zero).
• $K_S^2 = 0$.
• $b_2(S) = 10$, $\rho(S) = 10$ (the Picard number equals the second Betti number).

The Enriques surface is not rational, not ruled, and not unirational. It has Kodaira dimension $0$, sitting in the classification alongside K3 surfaces, abelian surfaces, and hyperelliptic (bielliptic) surfaces.

Why $P_2 = 1$ blocks rationality: If $X$ were rational, then $P_2(X) = P_2(\mathbb{P}^2) = 0$. Since $P_2(S) = 1 \neq 0$, $S$ cannot be birational to $\mathbb{P}^2$.

The Barlow surface (R. Barlow, 1985) is a smooth minimal surface of general type with:

• $p_g = 0$, $q = 0$, so $\chi(\mathcal{O}_X) = 1$.
• $K_X^2 = 1$ (same as a Godeaux surface).
• $P_2 = K^2 + \chi(\mathcal{O}_X) = 2$ (by the plurigenus formula for general type).
• $\pi_1(X) = 1$ (simply connected, unlike the classical Godeaux surface which has $\pi_1 = \mathbb{Z}/5\mathbb{Z}$).

Despite being simply connected with $q = p_g = 0$ (sharing these properties with $\mathbb{P}^2$), the Barlow surface is not rational because $P_2 = 2 \neq 0$. Castelnuovo's criterion detects this.

The Barlow surface was the first known simply connected surface of general type with $p_g = 0$, answering a long-standing question.

Let $X \subseteq \mathbb{P}^4$ be a smooth cubic hypersurface. Then:

• $X$ is unirational: projecting from a line $\ell \subseteq X$ gives a conic bundle over $\mathbb{P}^2$, which is dominated by $\mathbb{P}^2$ (after a rational section). Alternatively, the map sending a line through a point on $X$ to the residual intersection point gives a dominant map $\mathbb{P}^3 \dashrightarrow X$.
• $X$ is not rational: the intermediate Jacobian $J^2(X) = H^{2,1}(X)/H^3(X, \mathbb{Z})$ is a principally polarized abelian variety of dimension $h^{2,1} = 5$. If $X$ were rational, $J^2(X)$ would be a product of Jacobians of curves. But for a general cubic threefold, $J^2(X)$ is an irreducible ppav (not isomorphic to any Jacobian), contradiction.

This shows that no analogue of Castelnuovo's criterion can hold in dimension $3$ using only numerical invariants like plurigenera. Subtler invariants (intermediate Jacobian, Brauer group, etc.) are needed.

The Fermat quartic $S : x_0^4 + x_1^4 + x_2^4 + x_3^4 = 0$ over $\overline{\mathbb{F}_3}$:

• $S$ is a K3 surface: $\omega_S = \mathcal{O}_S$, $p_g = 1$, $q = 0$.
• $S$ is unirational over $\overline{\mathbb{F}_3}$: there exists a dominant inseparable rational map $\mathbb{P}^2 \dashrightarrow S$.
• $S$ is not rational: since $p_g = 1 \neq 0$, $S$ cannot be rational.

This does not contradict Castelnuovo's criterion (which gives $p_g = 1 \neq 0$, so does not predict rationality). Rather, it shows that the implication "unirational $\Rightarrow$ $q = P_2 = 0$" fails in char $p$ due to inseparable maps, and hence the Castelnuovo-style proof that "unirational $\Rightarrow$ rational" breaks down.

Let $X = \operatorname{Bl}_{p_1, \ldots, p_n}(\mathbb{P}^2)$ be the blowup of $\mathbb{P}^2$ at $n$ points. Since blowup does not change birational class, $X$ is automatically birational to $\mathbb{P}^2$, hence rational. Castelnuovo verifies:

• $q(X) = q(\mathbb{P}^2) = 0$ (blowup does not change $q$).
• $P_2(X) = P_2(\mathbb{P}^2) = 0$ (blowup does not change plurigenera).

So $q = 0$, $P_2 = 0$, rational. ✓

The invariants: $K_X^2 = 9 - n$, $\operatorname{Pic}(X) \cong \mathbb{Z}^{n+1}$, with intersection form of signature $(1, n)$.

A conic bundle $\pi : X \to \mathbb{P}^1$ is a surface with a morphism to $\mathbb{P}^1$ whose generic fiber is a smooth conic. If the generic fiber has a rational point (which is automatic over algebraically closed fields), then $X$ is birational to $\mathbb{P}^1 \times \mathbb{P}^1$, hence rational.

From Castelnuovo: a conic bundle over $\mathbb{P}^1$ is ruled over $\mathbb{P}^1$, so $q = 0$ and $P_2 = 0$, confirming rationality. ✓

If the base is a curve $C$ of genus $g \geq 1$, then $q \geq g \geq 1$, and the surface is ruled but not rational.

The Enriques--Kodaira classification organizes surfaces by Kodaira dimension $\kappa$:

$\kappa = -\infty$ (ruled surfaces): $P_n = 0$ for all $n$. Rational iff $q = 0$.

• Rational surfaces ($q = 0$): $\mathbb{P}^2$, $\mathbb{F}_n$, blowups.
• Irrational ruled ($q \geq 1$): ruled over curves of genus $\geq 1$.

$\kappa = 0$: $P_n$ is bounded, $P_{12} = 1$. Never rational. Includes:

• K3 surfaces: $q = 0$, $p_g = 1$, $P_2 = 1$.
• Enriques surfaces: $q = 0$, $p_g = 0$, $P_2 = 1$.
• Abelian surfaces: $q = 2$, $p_g = 1$, $P_2 = 1$.
• Bielliptic (hyperelliptic) surfaces: $q = 1$, $p_g = 0$, $P_2 = 1$.

$\kappa = 1$ (properly elliptic surfaces): $P_n$ grows linearly. Never rational.

$\kappa = 2$ (surfaces of general type): $P_n$ grows quadratically. Never rational.

Castelnuovo's criterion captures exactly the $\kappa = -\infty$, $q = 0$ cell in this table.

A summary of the invariants that Castelnuovo's criterion uses:

Rational surfaces ($q = 0$, $P_2 = 0$, rational ✓):

• $\mathbb{P}^2$: $q = 0$, $p_g = 0$, $P_2 = 0$, $K^2 = 9$.
• $\mathbb{F}_n$: $q = 0$, $p_g = 0$, $P_2 = 0$, $K^2 = 8$.
• Cubic surface in $\mathbb{P}^3$: $q = 0$, $p_g = 0$, $P_2 = 0$, $K^2 = 3$.
• Del Pezzo degree $d$: $q = 0$, $p_g = 0$, $P_2 = 0$, $K^2 = d$.

Non-rational with $q = 0$ ($P_2 \geq 1$):

• K3 surface: $q = 0$, $p_g = 1$, $P_2 = 1$, $K^2 = 0$.
• Enriques surface: $q = 0$, $p_g = 0$, $P_2 = 1$, $K^2 = 0$.
• Godeaux surface: $q = 0$, $p_g = 0$, $P_2 = 2$, $K^2 = 1$.
• Barlow surface: $q = 0$, $p_g = 0$, $P_2 = 2$, $K^2 = 1$.

Non-rational with $q \geq 1$:

• Ruled over genus-$g$ curve: $q = g$, $p_g = 0$, $P_2 = 0$, $K^2 = 8(1 - g)$.
• Abelian surface: $q = 2$, $p_g = 1$, $P_2 = 1$, $K^2 = 0$.

For a rational surface $X \sim \mathbb{P}^2$:

$\operatorname{Alb}(X) = \operatorname{Alb}(\mathbb{P}^2) = 0$ since $H^0(\mathbb{P}^2, \Omega^1) = 0$.

The condition $q = 0$ in Castelnuovo's criterion says precisely that $\operatorname{Alb}(X) = 0$: the surface has no "abelian variety component." Any dominant map from $X$ to an abelian variety is constant.

For a ruled surface $X \to C$ with $g(C) \geq 1$, we have $\operatorname{Alb}(X) = \operatorname{Jac}(C) \neq 0$, detecting that $X$ is not rational even though all plurigenera vanish.

The del Pezzo surface of degree $5$ is $X = \operatorname{Bl}_{p_1, p_2, p_3, p_4}(\mathbb{P}^2)$ with four points in general position. It embeds as a surface of degree $5$ in $\mathbb{P}^5$ via the anticanonical linear system $|-K_X|$.

• $q = 0$, $p_g = 0$, $P_2 = 0$: rational by Castelnuovo. ✓
• $K_X^2 = 5$, $\operatorname{Pic}(X) \cong \mathbb{Z}^5$.
• $\operatorname{Aut}(X) \cong S_5$ (the symmetric group on $5$ letters).
• Contains exactly $10$ lines (the $(-1)$-curves).

This surface has the interesting property that it is the unique del Pezzo surface of degree $5$ up to isomorphism (unlike degrees $\leq 4$ where moduli exist).

The del Pezzo surface of degree $6$ is $X = \operatorname{Bl}_{p_1, p_2, p_3}(\mathbb{P}^2)$ with three non-collinear points:

• $q = 0$, $p_g = 0$, $P_2 = 0$: rational by Castelnuovo. ✓
• $K_X^2 = 6$.
• Contains exactly $6$ lines (the three exceptional divisors $E_1, E_2, E_3$ and the three strict transforms of lines $\overline{p_ip_j}$).
• $X$ is also the blowup of $\mathbb{P}^1 \times \mathbb{P}^1$ at two points.
• $X$ is a toric variety, corresponding to the hexagonal fan.