In 1946, Ulam, in response to a theorem of Anning and Erdös, posed the following problem:

Problem 1 (Erdös-Ulam problem) Let ${S \subset {\bf R}^2}$ be a set such that the distance between any two points in ${S}$ is rational. Is it true that ${S}$ cannot be (topologically) dense in ${{\bf R}^2}$?

The paper of Anning and Erdös addressed the case that all the distances between two points in ${S}$ were integer rather than rational in the affirmative.

The Erdös-Ulam problem remains open; it was discussed recently over at Gödel’s lost letter. It is in fact likely (as we shall see below) that the set ${S}$ in the above problem is not only forbidden to be topologically dense, but also cannot be Zariski dense either. If so, then the structure of ${S}$ is quite restricted; it was shown by Solymosi and de Zeeuw that if ${S}$ fails to be Zariski dense, then all but finitely many of the points of ${S}$ must lie on a single line, or a single circle. (Conversely, it is easy to construct examples of dense subsets of a line or circle in which all distances are rational, though in the latter case the square of the radius of the circle must also be rational.)

The main tool of the Solymosi-de Zeeuw analysis was Faltings’ celebrated theorem that every algebraic curve of genus at least two contains only finitely many rational points. The purpose of this post is to observe that an affirmative answer to the full Erdös-Ulam problem similarly follows from the conjectured analogue of Falting’s theorem for surfaces, namely the following conjecture of Bombieri and Lang:

Conjecture 2 (Bombieri-Lang conjecture) Let ${X}$ be a smooth projective irreducible algebraic surface defined over the rationals ${{\bf Q}}$ which is of general type. Then the set ${X({\bf Q})}$ of rational points of ${X}$ is not Zariski dense in ${X}$.

In fact, the Bombieri-Lang conjecture has been made for varieties of arbitrary dimension, and for more general number fields than the rationals, but the above special case of the conjecture is the only one needed for this application. We will review what “general type” means (for smooth projective complex varieties, at least) below the fold.

The Bombieri-Lang conjecture is considered to be extremely difficult, in particular being substantially harder than Faltings’ theorem, which is itself a highly non-trivial result. So this implication should not be viewed as a practical route to resolving the Erdös-Ulam problem unconditionally; rather, it is a demonstration of the power of the Bombieri-Lang conjecture. Still, it was an instructive algebraic geometry exercise for me to carry out the details of this implication, which quickly boils down to verifying that a certain quite explicit algebraic surface is of general type (Theorem 4 below). As I am not an expert in the subject, my computations here will be rather tedious and pedestrian; it is likely that they could be made much slicker by exploiting more of the machinery of modern algebraic geometry, and I would welcome any such streamlining by actual experts in this area. (For similar reasons, there may be more typos and errors than usual in this post; corrections are welcome as always.) My calculations here are based on a similar calculation of van Luijk, who used analogous arguments to show (assuming Bombieri-Lang) that the set of perfect cuboids is not Zariski-dense in its projective parameter space.

We also remark that in a recent paper of Makhul and Shaffaf, the Bombieri-Lang conjecture (or more precisely, a weaker consequence of that conjecture) was used to show that if ${S}$ is a subset of ${{\bf R}^2}$ with rational distances which intersects any line in only finitely many points, then there is a uniform bound on the cardinality of the intersection of ${S}$ with any line. I have also recently learned (private communication) that an unpublished work of Shaffaf has obtained a result similar to the one in this post, namely that the Erdös-Ulam conjecture follows from the Bombieri-Lang conjecture, plus an additional conjecture about the rational curves in a specific surface.

Let us now give the elementary reductions to the claim that a certain variety is of general type. For sake of contradiction, let ${S}$ be a dense set such that the distance between any two points is rational. Then ${S}$ certainly contains two points that are a rational distance apart. By applying a translation, rotation, and a (rational) dilation, we may assume that these two points are ${(0,0)}$ and ${(1,0)}$. As ${S}$ is dense, there is a third point of ${S}$ not on the ${x}$ axis, which after a reflection we can place in the upper half-plane; we will write it as ${(a,\sqrt{b})}$ with ${b>0}$.

Given any two points ${P, Q}$ in ${S}$, the quantities ${|P|^2, |Q|^2, |P-Q|^2}$ are rational, and so by the cosine rule the dot product ${P \cdot Q}$ is rational as well. Since ${(1,0) \in S}$, this implies that the ${x}$-component of every point ${P}$ in ${S}$ is rational; this in turn implies that the product of the ${y}$-coordinates of any two points ${P,Q}$ in ${S}$ is rational as well (since this differs from ${P \cdot Q}$ by a rational number). In particular, ${a}$ and ${b}$ are rational, and all of the points in ${S}$ now lie in the lattice ${\{ ( x, y\sqrt{b}): x, y \in {\bf Q} \}}$. (This fact appears to have first been observed in the 1988 habilitationschrift of Kemnitz.)

Now take four points ${(x_j,y_j \sqrt{b})}$, ${j=1,\dots,4}$ in ${S}$ in general position (so that the octuplet ${(x_1,y_1\sqrt{b},\dots,x_4,y_4\sqrt{b})}$ avoids any pre-specified hypersurface in ${{\bf C}^8}$); this can be done if ${S}$ is dense. (If one wished, one could re-use the three previous points ${(0,0), (1,0), (a,\sqrt{b})}$ to be three of these four points, although this ultimately makes little difference to the analysis.) If ${(x,y\sqrt{b})}$ is any point in ${S}$, then the distances ${r_j}$ from ${(x,y\sqrt{b})}$ to ${(x_j,y_j\sqrt{b})}$ are rationals that obey the equations

$\displaystyle (x - x_j)^2 + b (y-y_j)^2 = r_j^2$

for ${j=1,\dots,4}$, and thus determine a rational point in the affine complex variety ${V = V_{b,x_1,y_1,x_2,y_2,x_3,y_3,x_4,y_4} \subset {\bf C}^5}$ defined as

$\displaystyle V := \{ (x,y,r_1,r_2,r_3,r_4) \in {\bf C}^6:$

$\displaystyle (x - x_j)^2 + b (y-y_j)^2 = r_j^2 \hbox{ for } j=1,\dots,4 \}.$

By inspecting the projection ${(x,y,r_1,r_2,r_3,r_4) \rightarrow (x,y)}$ from ${V}$ to ${{\bf C}^2}$, we see that ${V}$ is a branched cover of ${{\bf C}^2}$, with the generic cover having ${2^4=16}$ points (coming from the different ways to form the square roots ${r_1,r_2,r_3,r_4}$); in particular, ${V}$ is a complex affine algebraic surface, defined over the rationals. By inspecting the monodromy around the four singular base points ${(x,y) = (x_i,y_i)}$ (which switch the sign of one of the roots ${r_i}$, while keeping the other three roots unchanged), we see that the variety ${V}$ is connected away from its singular set, and thus irreducible. As ${S}$ is topologically dense in ${{\bf R}^2}$, it is Zariski-dense in ${{\bf C}^2}$, and so ${S}$ generates a Zariski-dense set of rational points in ${V}$. To solve the Erdös-Ulam problem, it thus suffices to show that

Claim 3 For any non-zero rational ${b}$ and for rationals ${x_1,y_1,x_2,y_2,x_3,y_3,x_4,y_4}$ in general position, the rational points of the affine surface ${V = V_{b,x_1,y_1,x_2,y_2,x_3,y_3,x_4,y_4}}$ is not Zariski dense in ${V}$.

This is already very close to a claim that can be directly resolved by the Bombieri-Lang conjecture, but ${V}$ is affine rather than projective, and also contains some singularities. The first issue is easy to deal with, by working with the projectivisation

$\displaystyle \overline{V} := \{ [X,Y,Z,R_1,R_2,R_3,R_4] \in {\bf CP}^6: Q(X,Y,Z,R_1,R_2,R_3,R_4) = 0 \} \ \ \ \ \ (1)$

of ${V}$, where ${Q: {\bf C}^7 \rightarrow {\bf C}^4}$ is the homogeneous quadratic polynomial

$\displaystyle (X,Y,Z,R_1,R_2,R_3,R_4) := (Q_j(X,Y,Z,R_1,R_2,R_3,R_4) )_{j=1}^4$

with

$\displaystyle Q_j(X,Y,Z,R_1,R_2,R_3,R_4) := (X-x_j Z)^2 + b (Y-y_jZ)^2 - R_j^2$

and the projective complex space ${{\bf CP}^6}$ is the space of all equivalence classes ${[X,Y,Z,R_1,R_2,R_3,R_4]}$ of tuples ${(X,Y,Z,R_1,R_2,R_3,R_4) \in {\bf C}^7 \backslash \{0\}}$ up to projective equivalence ${(\lambda X, \lambda Y, \lambda Z, \lambda R_1, \lambda R_2, \lambda R_3, \lambda R_4) \sim (X,Y,Z,R_1,R_2,R_3,R_4)}$. By identifying the affine point ${(x,y,r_1,r_2,r_3,r_4)}$ with the projective point ${(X,Y,1,R_1,R_2,R_3,R_4)}$, we see that ${\overline{V}}$ consists of the affine variety ${V}$ together with the set ${\{ [X,Y,0,R_1,R_2,R_3,R_4]: X^2+bY^2=R^2; R_j = \pm R_1 \hbox{ for } j=2,3,4\}}$, which is the union of eight curves, each of which lies in the closure of ${V}$. Thus ${\overline{V}}$ is the projective closure of ${V}$, and is thus a complex irreducible projective surface, defined over the rationals. As ${\overline{V}}$ is cut out by four quadric equations in ${{\bf CP}^6}$ and has degree sixteen (as can be seen for instance by inspecting the intersection of ${\overline{V}}$ with a generic perturbation of a fibre over the generically defined projection ${[X,Y,Z,R_1,R_2,R_3,R_4] \mapsto [X,Y,Z]}$), it is also a complete intersection. To show (3), it then suffices to show that the rational points in ${\overline{V}}$ are not Zariski dense in ${\overline{V}}$.

Heuristically, the reason why we expect few rational points in ${\overline{V}}$ is as follows. First observe from the projective nature of (1) that every rational point is equivalent to an integer point. But for a septuple ${(X,Y,Z,R_1,R_2,R_3,R_4)}$ of integers of size ${O(N)}$, the quantity ${Q(X,Y,Z,R_1,R_2,R_3,R_4)}$ is an integer point of ${{\bf Z}^4}$ of size ${O(N^2)}$, and so should only vanish about ${O(N^{-8})}$ of the time. Hence the number of integer points ${(X,Y,Z,R_1,R_2,R_3,R_4) \in {\bf Z}^7}$ of height comparable to ${N}$ should be about

$\displaystyle O(N)^7 \times O(N^{-8}) = O(N^{-1});$

this is a convergent sum if ${N}$ ranges over (say) powers of two, and so from standard probabilistic heuristics (see this previous post) we in fact expect only finitely many solutions, in the absence of any special algebraic structure (e.g. the structure of an abelian variety, or a birational reduction to a simpler variety) that could produce an unusually large number of solutions.

The Bombieri-Lang conjecture, Conjecture 2, can be viewed as a formalisation of the above heuristics (roughly speaking, it is one of the most optimistic natural conjectures one could make that is compatible with these heuristics while also being invariant under birational equivalence).

Unfortunately, ${\overline{V}}$ contains some singular points. Being a complete intersection, this occurs when the Jacobian matrix of the map ${Q: {\bf C}^7 \rightarrow {\bf C}^4}$ has less than full rank, or equivalently that the gradient vectors

$\displaystyle \nabla Q_j = (2(X-x_j Z), 2(Y-y_j Z), -2x_j (X-x_j Z) - 2y_j (Y-y_j Z), \ \ \ \ \ (2)$

$\displaystyle 0, \dots, 0, -2R_j, 0, \dots, 0)$

for ${j=1,\dots,4}$ are linearly dependent, where the ${-2R_j}$ is in the coordinate position associated to ${R_j}$. One way in which this can occur is if one of the gradient vectors ${\nabla Q_j}$ vanish identically. This occurs at precisely ${4 \times 2^3 = 32}$ points, when ${[X,Y,Z]}$ is equal to ${[x_j,y_j,1]}$ for some ${j=1,\dots,4}$, and one has ${R_k = \pm ( (x_j - x_k)^2 + b (y_j - y_k)^2 )^{1/2}}$ for all ${k=1,\dots,4}$ (so in particular ${R_j=0}$). Let us refer to these as the obvious singularities; they arise from the geometrically evident fact that the distance function ${(x,y\sqrt{b}) \mapsto \sqrt{(x-x_j)^2 + b(y-y_j)^2}}$ is singular at ${(x_j,y_j\sqrt{b})}$.

The other way in which could occur is if a non-trivial linear combination of at least two of the gradient vectors vanishes. From (2), this can only occur if ${R_j=R_k=0}$ for some distinct ${j,k}$, which from (1) implies that

$\displaystyle (X - x_j Z) = \pm \sqrt{b} i (Y - y_j Z) \ \ \ \ \ (3)$

and

$\displaystyle (X - x_k Z) = \pm \sqrt{b} i (Y - y_k Z) \ \ \ \ \ (4)$

for two choices of sign ${\pm}$. If the signs are equal, then (as ${x_j, y_j, x_k, y_k}$ are in general position) this implies that ${Z=0}$, and then we have the singular point

$\displaystyle [X,Y,Z,R_1,R_2,R_3,R_4] = [\pm \sqrt{b} i, 1, 0, 0, 0, 0, 0]. \ \ \ \ \ (5)$

If the non-trivial linear combination involved three or more gradient vectors, then by the pigeonhole principle at least two of the signs involved must be equal, and so the only singular points are (5). So the only remaining possibility is when we have two gradient vectors ${\nabla Q_j, \nabla Q_k}$ that are parallel but non-zero, with the signs in (3), (4) opposing. But then (as ${x_j,y_j,x_k,y_k}$ are in general position) the vectors ${(X-x_j Z, Y-y_j Z), (X-x_k Z, Y-y_k Z)}$ are non-zero and non-parallel to each other, a contradiction. Thus, outside of the ${32}$ obvious singular points mentioned earlier, the only other singular points are the two points (5).

We will shortly show that the ${32}$ obvious singularities are ordinary double points; the surface ${\overline{V}}$ near any of these points is analytically equivalent to an ordinary cone ${\{ (x,y,z) \in {\bf C}^3: z^2 = x^2 + y^2 \}}$ near the origin, which is a cone over a smooth conic curve ${\{ (x,y) \in {\bf C}^2: x^2+y^2=1\}}$. The two non-obvious singularities (5) are slightly more complicated than ordinary double points, they are elliptic singularities, which approximately resemble a cone over an elliptic curve. (As far as I can tell, this resemblance is exact in the category of real smooth manifolds, but not in the category of algebraic varieties.) If one blows up each of the point singularities of ${\overline{V}}$ separately, no further singularities are created, and one obtains a smooth projective surface ${X}$ (using the Segre embedding as necessary to embed ${X}$ back into projective space, rather than in a product of projective spaces). Away from the singularities, the rational points of ${\overline{V}}$ lift up to rational points of ${X}$. Assuming the Bombieri-Lang conjecture, we thus are able to answer the Erdös-Ulam problem in the affirmative once we establish

Theorem 4 The blowup ${X}$ of ${\overline{V}}$ is of general type.

This will be done below the fold, by the pedestrian device of explicitly constructing global differential forms on ${X}$; I will also be working from a complex analysis viewpoint rather than an algebraic geometry viewpoint as I am more comfortable with the former approach. (As mentioned above, though, there may well be a quicker way to establish this result by using more sophisticated machinery.)

I thank Mark Green and David Gieseker for helpful conversations (and a crash course in varieties of general type!).

Remark 5 The above argument shows in fact (assuming Bombieri-Lang) that sets ${S \subset {\bf R}^2}$ with all distances rational cannot be Zariski-dense, and thus (by Solymosi-de Zeeuw) must lie on a single line or circle with only finitely many exceptions. Assuming a stronger version of Bombieri-Lang involving a general number field ${K}$, we obtain a similar conclusion with “rational” replaced by “lying in ${K}$” (one has to extend the Solymosi-de Zeeuw analysis to more general number fields, but this should be routine, using the analogue of Faltings’ theorem for such number fields).

— 1. Singularities —

Let us inspect the local behaviour of ${\overline{V}}$ near an obvious singularity, when ${[X,Y,Z]}$ is close to ${[x_j,y_j,1]}$ for some ${j}$. We may normalise so that ${j=1}$ and ${(x_j,y_j)=(0,0)}$, and then we may use the affine chart ${Z=1}$, so that we are looking at the affine variety

$\displaystyle \{ (x,y,r_1,r_2,r_3,r_4) \in {\bf C}^6: (x-x_k)^2 + b(y-y_k)^2=r_k^2 \hbox{ for } k=1,2,3,4\}$

for ${(x,y)}$ near ${(0,0)}$. Note that for ${k \neq j}$, ${(x-x_k)^2 + b(y-y_k)^2}$ stays away from zero and so ${r_k}$ is a smooth branch of the square root of ${(x-x_k)^2 + b(y-y_k)^2}$ near an obvious singularity. Thus, up to an invertible analytic map, the local behaviour of ${\overline{V}}$ near the obvious singularity is that of a cone

$\displaystyle \{ (x,y,r_1) \in {\bf C}^3: x^2 + by^2 = r^2 \}.$

Such a cone is blown up to the surface

$\displaystyle \{ ((x,y,r_1), [P,Q,R]) \in {\bf C}^3 \times {\bf CP}^2: P^2+bQ^2 = R^2;$

$\displaystyle (x,y,r_1) \in \overline{[P,Q,R]} \}$

where

$\displaystyle \overline{[P,Q,R]} := \{ (\lambda P, \lambda Q, \lambda R): \lambda \in {\bf C}\}$

is the closure of the equivalence class ${[P,Q,R]}$ in ${{\bf C}^3}$; the origin ${(0,0,0)}$ blows up to the conic curve

$\displaystyle C := \{ ((0,0,0), [P,Q,R]) \in {\bf C}^3 \times {\bf CP}^2: P^2 + bQ^2 = R^2 \}$

and the blowup locally looks (on the level of real smooth manifolds, at least) like the cylinder ${{\bf C} \times C}$. In particular, the blown up variety is smooth near the blowup of the original singularity.

Now we look at the behaviour of ${\overline{V}}$ near a non-obvious singularity (5); for sake of discussion we work with the sign ${\pm = +}$. Here the calculations are messier; unfortunately, I do not know of a slick way to avoid excessive computation. We use the affine chart ${Y=1}$ and write ${X = \sqrt{b} i + w}$, then we are looking at the affine variety

$\displaystyle \{ (w, z, r_1, r_2, r_3, r_4) \in {\bf C}^6:$

$\displaystyle (\sqrt{b} i + w - x_k z)^2 + b (1 - y_k z)^2 = r_k^2 \hbox{ for } k=1,2,3,4\}$

for ${(w, z, r_1, r_2, r_3, r_4)}$ near ${(0,0,0,0,0,0)}$. We can rewrite this as

$\displaystyle \{ (w, z, r_1, r_2, r_3, r_4) \in {\bf C}^6:$

$\displaystyle 2 \sqrt{b} i w - (2 \sqrt{b} i x_k + 2by_k) z = r_k^2 - (w-x_k z)^2 - b y_k^2 z^2 \hbox{ for } k=1,2,3,4 \}.$

Using the ${k=1,2}$ equations, we can solve for ${w}$ and ${z}$ (using the general position of the ${x_k,y_k}$) to obtain equations of the form

$\displaystyle w = \alpha_1 r_1^2 + \beta_1 r_2^2 + R_1( w, z )$

$\displaystyle z = \alpha_2 r_1^2 + \beta_2 r_2^2 + R_2( w, z )$

for some homogeneous quadratics ${R_1,R_2: {\bf C}^2 \rightarrow {\bf C}}$ and complex coefficients ${\alpha_1,\beta_1,\alpha_2,\beta_2 \in {\bf C}}$ determined by the ${x_k,y_k}$. Substituting this into the ${k=3,4}$ equations we obtain equations of the form

$\displaystyle r_3^2 = \alpha_3 r_1^2 + \beta_3 r_2^2 + R_3( w, z )$

$\displaystyle r_4^2 = \alpha_4 r_1^2 + \beta_4 r_2^2 + R_4( w, z )$

for some homogeneous quadratics ${R_3,R_4: {\bf C}^2 \rightarrow {\bf C}}$ and complex coefficients ${\alpha_3,\beta_3,\alpha_4,\beta_4 \in {\bf C}}$ determined by the ${x_k,y_k}$. One can solve the first two equations by power series (or the inverse function theorem) for ${r_1,r_2}$ near zero to obtain an analytic representation

$\displaystyle w = F( r_1^2, r_2^2 ); \quad z = G( r_1^2, r_2^2 )$

for some functions ${F, G: {\bf C}^2 \rightarrow {\bf C}}$ analytic near the origin with ${F(0,0)=G(0,0)=0}$. The second two equations then become

$\displaystyle r_3^2 = \alpha_3 r_1^2 + \beta_3 r_2^2 + H_3( r_1^2, r_2^2 )$

$\displaystyle r_4^2 = \alpha_4 r_1^2 + \beta_4 r_2^2 + H_4( r_1^2, r_2^2 )$

for some functions ${H_3,H_4: {\bf C}^2 \rightarrow {\bf C}}$ analytic near the origin that vanish to second order at ${(0,0)}$. Thus, near this non-obvious singularity, ${\overline{V}}$ is analytically equivalent to the complex surface

$\displaystyle \{ (r_1,r_2,r_3,r_4) \in {\bf C}^4: r_k^2 = \alpha_k r_1^2 + \beta_k r_2^2 + H_k(r_1^2,r_2^2) \hbox{ for } k=3,4 \}$

near ${(r_1,r_2,r_3,r_4)=(0,0,0,0)}$.

It may be possible to simplify the surface further into an even better normal form, though I was unable to do so. Nevertheless, the current form is simple enough that one can understand the blowup (in the category of real smooth manifolds, at least), which in this case is

$\displaystyle \{ (r_1,r_2,r_3,r_4) \times [P_1,P_2,P_3,P_4] \in {\bf C}^4 \times {\bf CP}^3:$

$\displaystyle r_k^2 = \alpha_k r_1^2 + \beta_k r_2^2 + H_k(r_1^2,r_2^2) \hbox{ for } k=3,4;$

$\displaystyle (r_1,r_2,r_3,r_4) \in [P_1, P_2, P_3, P_4] \},$

or equivalently the three-dimensional manifold

$\displaystyle \{ (t, P_1, P_2, P_3, P_4) \in {\bf C} \times ({\bf C}^4 \backslash \{0\}):$

$\displaystyle P_k^2 = \alpha_k P_1^2 + \beta_k P_2^2 + t^2 \tilde H_k(P_1^2,P_2^2,t^2) \hbox{ for } k=3,4 \}$

quotiented by the equivalence ${(t,P_1,P_2,P_3,P_4) \sim (\lambda^{-1} t, \lambda P_2, \lambda P_3, \lambda P_4)}$, where ${\tilde H_k: {\bf C}^3 \rightarrow {\bf C}}$ is the function

$\displaystyle \tilde H_k( p_1, p_2, s ) := s^{-2} H_k( s p_1, s p_2 ),$

which is locally analytic near the origin. One can cover this manifold by the four affine charts ${P_1=1, P_2=1, P_3=1, P_4=1}$. For instance, the ${P_1=1}$ chart becomes the affine manifold

$\displaystyle \{ (t, p_2,p_3,p_4) \in {\bf C}^4: p_k^2 = \alpha_k p_1^2 + \beta_k p_2^2 + t^2 \tilde H_k(1,p_2^2,t^2) \hbox{ for } k=3,4 \}.$

The point ${(r_1,r_2,r_3,r_4) = (0,0,0,0)}$ blows up to the curve

$\displaystyle \{ [P_1, P_2, P_3, P_4] \in {\bf CP}^3: P_k^2 = \alpha_k P_1^2 + \beta_k P_2^2 \hbox{ for } k=3,4 \}, \ \ \ \ \ (6)$

that is to say the intersection of two quadrics in ${{\bf CP}^3}$. For ${x_k,y_k}$ generic, the vectors ${(\alpha_3, \beta_3)}$ and ${(\alpha_4,\beta_4)}$ are linearly independent, and one easily verifies that this is a smooth curve in ${{\bf CP}^3}$, which by Bezout’s theorem is of degree four. If one projects from a point of this curve to a generic hyperplane, one obtains a smooth planar curve of degree three, that is to say an elliptic curve ${C_3}$. Thus, on the level of real smooth manifolds at least, the blowup of ${\overline{V}}$ is equivalent to ${{\bf C} \times C_3}$, by the inverse function theorem; in particular, the blowup is smooth near the fibre of the original singularity.

To summarise, the blown up surface ${X}$ is smooth, with the obvious singularities blowing up to a conic curve ${C}$ with neighbourhood structure ${{\bf C} \times C}$, and the non-obvious singularities blowing up to an elliptic curve ${C_3}$ with neighbourhood structure ${{\bf C} \times C_3}$ (at the level of real smooth manifolds; I was not able to understand the complex or algebrai geometry structure properly).

— 2. General type —

Let ${X}$ be a smooth complex projective variety of some dimension ${n}$. The canonical bundle ${\bigwedge^n T^* X}$ (also known as the determinant bundle) is then the top-dimensional exterior product of the cotangent bundle ${T^* X}$, thus sections of this bundle are holomorphic ${n}$-forms on ${X}$. Since the space of possible top-dimensional forms at a point is one-dimensional, this is a line bundle. One can also take higher powers ${(\bigwedge^n T^* X)^k}$ of this bundle for any natural number ${k}$ to create further line bundles, known as pluricanonical bundles; sections of the pluricanonical bundle of order ${k}$ can then be locally represented as formal ${k}$-fold products of holomorphic ${n}$-forms.

For each pluricanonical bundle ${(\bigwedge^n T^* X)^k}$, define ${H^0(X, (\bigwedge^n T^* X)^k)}$ to be the space of global sections of this bundle; in particular, ${H^0(X, \bigwedge^n T^* X)}$ is the space of globally holomorphic ${n}$-forms. It turns out (as can be proven for instance using compactness theorems such as Montel’s theorem) that this space is always a finite-dimensional complex vector space; the global sections are also always algebraic (this follows from Serre’s GAGA paper, but presumably can be derived from earlier results also). If the space has some positive dimension ${d}$ (that is, at least one non-trivial global section exists), we say that the bundle is effective, and then we can define an (almost everywhere defined) pluricanonical map ${f_k: X \rightarrow {\bf CP}^{k-1}}$ by the formula

$\displaystyle f_k(x) := [ \phi_1(x), \dots, \phi_k(x) ]$

where ${\phi_1,\dots,\phi_k}$ is a complex basis for the space ${H^0(X, \bigwedge^n T^* X)}$; note that this map can be undefined if the ${\phi_i}$ all simultaneously vanish, but this is a measure zero set. The pluricanonical map is only defined up to choice of basis ${\phi_1,\dots,\phi_k}$, but changing the basis only amounts to applying a projective linear transformation ${T: {\bf CP}^{k-1} \rightarrow {\bf CP}^{k-1}}$ to ${f_k(x)}$. In particular, the image ${f_k(X)}$ of ${X}$ is well defined up to projective transformations. We refer to the ${k=1}$ case ${f_1}$ of the pluricanonical map (when it exists) as the canonical map.

The Kodaira dimension of ${X}$ is then defined to be the maximum of the dimensions of ${f_k(X)}$ for all natural numbers ${k}$ with effective pluricanonical bundles, or ${-1}$ if no such ${k}$ exists (some authors use ${-\infty}$ instead of ${-1}$). From the definition it is clear that the Kodaira dimension of ${X}$ is at most the dimension of ${X}$ as an algebraic variety (or as a complex manifold). The variety ${X}$ is said to be of general type if the two dimensions are equal, that is to say that there is a pluricanonical map ${f_k}$ whose image has the same dimension as ${X}$.

Example 6 Suppose ${X = {\bf CP}^n}$ is a projective space. On the one hand, an ${n}$-form on ${X}$ is an object ${\omega}$ that assigns to each point ${x \in X}$ an alternating ${n}$-form ${(v_1,\dots,v_n) \mapsto \omega_x(v_1,\dots,v_n)}$ from tangent vectors ${v_1,\dots,v_n \in T_x X}$ to complex numbers. But ${X}$ is the quotient of ${{\bf C}^{n+1} \backslash \{0\}}$ by dilations. Thus, one can also view the ${n}$-form ${\omega}$ as a lifted object ${\tilde \omega}$ that assigns to each point ${x \in {\bf C}^{n+1} \backslash \{0\}}$ an alternating ${n}$-form ${(v_1,\dots,v_n) \mapsto \tilde \omega_x(v_1,\dots,v_n)}$ from complex vectors ${v_1,\dots,v_n \in {\bf C}^{n+1}}$ to complex numbers, such that one has the vanishing property

$\displaystyle \tilde \omega_x( v_1, \dots, v_n ) = 0$

if any of the ${v_i}$ are a scalar multiple of ${x}$, as well as the scale invariance property

$\displaystyle \tilde \omega_{\lambda x}( \lambda v_1, \dots, \lambda v_n ) = \tilde \omega_x( v_1, \dots, v_n )$

for any ${\lambda \in {\bf C} \backslash \{0\}}$, or equivalently

$\displaystyle \tilde \omega_{\lambda x} = \lambda^{-n} \tilde \omega_x.$

(This homogeneity of order ${-n}$, together with some calculations involving the changes of coordinate between the different affine patches of projective space, can be used to show that the canonical bundle is isomorphic to the line bundle ${{\mathcal O}(-n-1)}$, the ${(n+1)^{st}}$ power of the tautological line bundle ${{\mathcal O}(-1)}$.) In particular, if ${\omega}$ is a globally holomorphic ${n}$-form, ${v_1,\dots,v_n \in {\bf C}^{n+1}}$ are arbitrary vectors, and ${P: {\bf C}^{n+1} \rightarrow {\bf C}}$ is an arbitrary homogeneous polynomial of degree ${n}$, then ${x \mapsto P(x) \tilde \omega_x(v_1,\dots,v_n)}$ is a holomorphic map from ${{\bf C}^{n+1} \backslash \{0\}}$ to ${{\bf C}}$ which is dilation invariant, and thus descends to a holomorphic function on ${{\bf CP}^n}$, which by Liouville’s theorem is then necessarily constant. By varying the polynomial ${P}$, this shows that ${\omega}$ must vanish identically. Thus the canonical bundle here is not effective. A similar scaling argument shows that the pluricanonical bundles are not effective either, thus ${{\bf CP}^n}$ has a Kodaira dimension of ${-1}$ (or ${-\infty}$).

Example 7 In the case of smooth projective algebraic curves, it turns out that genus zero curves like ${{\bf CP}^1}$ have Kodaira dimension ${-1}$ (or ${-\infty}$), genus one curves (such as elliptic curves) have Kodaira dimension zero, and higher genus curves have Kodaira dimension one and are thus of general type. This is basically a corollary of the Riemann-Roch theorem. Intuitively, the more “holes” or other topologically interesting structure a variety ${X}$ has, the more opportunity there is for the canonical and pluricanonical bundles to have interesting global sections, and the more likely it becomes that the variety is of general type.

Remark 8 As the name suggests, “most” varieties are expected to be of general type, with only a few “special” varieties being not of general type. In the case of curves, the special varieties are the genus zero and genus one curves. In the case of surfaces, the situation is analogous, but significantly more complicated, and is described by the Enriques-Kodaira classification. I don’t know the current level of understanding for higher dimensional varieties, but would imagine that the story becomes even more complicated than in the surface case.

— 3. Constructing differential forms —

To show that a smooth projective variety ${X}$ is of general type, it clearly suffices to locate enough global holomorphic ${n}$-forms that the canonical map has full dimension in its image. It is thus of interest to find ways to construct global holomorphic ${n}$-forms on such varieties.

Suppose first that we have a (possibly singular) complete intersection

$\displaystyle Y = \{ x \in {\bf CP}^n: P_1(x) = \dots = P_r(x) = 0 \}$

of codimension ${r}$ in ${{\bf CP}^n}$, where ${P_1,\dots,P_r: {\bf C}^{n+1} \rightarrow {\bf C}}$ are homogeneous polynomials of degree ${d_1,\dots,d_r}$ respectively. This variety can be viewed as the quotient of the quasiprojective variety

$\displaystyle \tilde Y = \{ x \in {\bf C}^{n+1}: P_1(x) = \dots = P_r(x) = 0 \} \backslash \{0\}$

by dilations. Similarly to Example 6, an ${n-r}$-form ${\omega}$ on ${Y}$ can then be identified with an ${n-r}$-form ${\tilde \omega}$ on ${\tilde Y}$ obeying the vanishing condition

$\displaystyle \tilde \omega_x(v_1,\dots,v_{n-r}) = 0 \ \ \ \ \ (7)$

whenever one of the ${v_1,\dots,v_{n-r}}$ is parallel to ${x}$, as well as the scaling relationship

$\displaystyle \tilde \omega_{\lambda x}(\lambda v_1,\dots,\lambda v_{n-r}) = \tilde \omega_x(v_1,\dots,v_{n-r}) \ \ \ \ \ (8)$

for any ${\lambda \in {\bf C} \backslash \{0\}}$.

To try to create such a form, we can start with the standard ${n+1}$-form

$\displaystyle (v_1,\dots,v_{n+1}) \mapsto \hbox{det}( v_1, \dots, v_{n+1} )$

on ${{\bf C}^{n+1}}$, and “divide” by the one-forms ${dP_1, \dots, dP_r}$ to create a ${n-r}$-form ${\rho}$ on ${\tilde Y}$ by requiring that

$\displaystyle \rho_x( v_1,\dots,v_{n-r} ) \hbox{det}( (dP)_x(v_{n-r+1}), \dots, (dP)_x(v_n) ) = \hbox{det}(v_1,\dots,v_n,x)$

for ${x \in \tilde Y}$, ${v_1,\dots,v_{n-r} \in T_x \tilde Y}$, and ${v_{n-r+1},\dots,v_n \in {\bf C}^{n+1}}$, where

$\displaystyle (dP)_x(v) := (v \cdot \nabla P_1(x), \dots, v \cdot \nabla P_r(x)).$

Away from the singularities of ${\tilde Y}$, the determinant form ${(v_{n-r+1},\dots,v_n) \mapsto \hbox{det}( (dP)_x(v_{n-r+1}), \dots, (dP)_x(v_n) )}$ is non-degenerate (after quotienting out the ${v_j}$ by the tangent plane ${T_x \tilde Y}$, on which this form clearly vanishes). As such, ${\rho_x}$ is well-defined as a form on the smooth points of ${\tilde Y}$. It also obeys the vanishing condition (7) when one of the ${v_1,\dots,v_{n-r}}$ is parallel to ${x}$. However, it doesn’t necessarily obey the scaling relationship (8); instead, one has

$\displaystyle \rho_{\lambda x}(\lambda v_1,\dots,\lambda v_{n-r}) = \lambda^{-m} \rho_x(v_1,\dots,v_{n-r})$

for any ${\lambda \in {\bf C} \backslash \{0\}}$, where ${m}$ is the quantity

$\displaystyle m := d_1 + \dots + d_r - n - 1.$

Repeating the heuristic analysis in the introduction, we expect the number of integer points in ${\tilde Y}$ of height ${N}$ to be ${O( N^{-m} )}$, so ${m > 0}$ should morally correspond to “general type” in some sense. This is reflected here by the ability, when ${m>0}$, to multiply ${\rho}$ by an arbitrary homogeneous polynomial ${P: {\bf C}^{n+1} \rightarrow {\bf C}}$ of degree ${m}$, leading to a form ${P \rho}$ which does obey both (7) and (8), and thus descends to an ${n-r}$-form defined on the smooth points of ${Y}$. This already shows that for smooth complete intersections ${Y}$, one has general type whenever ${m>0}$ (because one can use ${P}$ of the form ${P = Q x_i}$, for ${Q}$ a fixed homogeneous polynomial of degree ${m-1}$ and ${x_1,\dots,x_{n+1}}$ being the basis functions, to create a portion of the canonical map that is basically the tautological embedding of ${Y}$ to ${{\bf CP}^n}$). (Indeed, this argument shows in this case that the canonical bundle on ${Y}$ is isomorphic to the pullback of ${{\mathcal O}(m)}$ to ${Y}$.)

If ${Y}$ has singularities, then the situation is a bit more complicated; we have to pass to the blowup of ${Y}$, and the form ${P\rho}$ may develop some singularities as one approaches the blown up fibres. For the specific blowup ${X}$ considered in Theorem 4, though, it turns out that these singularities are removable, if we make ${P}$ vanish at the exceptional singular points (5); as there are only two such singular points, this will still give enough freedom in ${P}$ to make the canonical map have full dimension in the image.

We turn to the details. Starting with the complete intersection ${\overline{V}}$ given by (1), we let ${\rho}$ be the ${2}$-form on the smooth portion of the deprojectivised variety

$\displaystyle \tilde{\overline{V}} := \{ (x,y,z,r_1,r_2,r_3,r_4) \in {\bf C}^7 \backslash \{0\}: Q(x,y,z,r_1,r_2,r_3,r_4) = 0 \}$

defined by the above construction, thus

$\displaystyle \rho_x( v_1, v_2 ) \hbox{det}( (dQ)_x(v_3), (dQ)_x(v_4), (dQ)_x(v_5), (dQ)_x(v_6) )$

$\displaystyle = \hbox{det}(v_1,\dots,v_6,x)$

for ${x}$ a smooth point of ${\tilde{\overline{V}}}$, ${v_1,v_2 \in T_x \overline{V}}$, and ${v_3,\dots,v_6 \in {\bf C}^7}$. In this case, ${n=6}$, ${r=4}$, and ${d_1=\dots=d_4=2}$, so ${m = 1}$, and so for any linear function ${L: {\bf C}^7 \rightarrow {\bf C}}$, the form ${L \rho}$ descends to a ${2}$-form on the smooth portion of ${\overline{V}}$, which then lifts to a ${2}$-form on the blown up variety ${X}$ except possibly at the exceptional fibres above each of the singular points of ${\overline{V}}$.

We now claim that this ${2}$-form on ${X}$ can be smoothly continued to each of the fibres if the linear function ${L}$ vanishes at the two exceptional points (5), or equivalently that ${L(x,y,z,r_1,r_2,r_3,r_4)}$ is a linear combination of the coefficients ${z,r_1,r_2,r_3,r_4}$. Let us first verify this for an obvious singular point. As before, we normalise ${j=1}$ and ${(x_j,y_j)=(0,0)}$, and take the affine chart ${Z=1}$, then ${\overline{V}}$ is locally described by the affine variety

$\displaystyle W := \{ (x,y,r_1,r_2,r_3,r_4): (x-x_k)^2 + b(y-y_k)^2=r_k^2 \hbox{ for } k=1,2,3,4\},$

where as usual we identify ${(x,y,r_1,r_2,r_3,r_4)}$ with ${[x,y,1,r_1,r_2,r_3,r_4]}$, and the form ${L\rho}$ restricted to this affine variety takes the form

$\displaystyle L\rho_{\vec x}(v_1,v_2) \hbox{det}( (dQ)_{\vec x}(v_3), (dQ)_{\vec x}(v_4), (dQ)_{\vec x}(v_5), (dQ)_{\vec x}(v_6) ) \ \ \ \ \ (9)$

$\displaystyle = L(\vec x) \hbox{det}(v_1,\dots,v_6)$

for ${\vec x \in W}$, ${v_1,v_2 \in T_x W}$, and ${v_3,v_4,v_5,v_6 \in {\bf C}^6}$. In particular, taking ${v_j = e_j}$ for ${j=3,4,5,6}$, where ${e_1,\dots,e_6}$ is the standard basis, we have

$\displaystyle L\rho_{\vec x}(v_1,v_2) = L(\vec x) \frac{dx(v_1) dy(v_2) - dx(v_1) dy(v_2)}{\hbox{det}( \frac{\partial Q}{\partial r_1}(\vec x),\dots,\frac{\partial Q}{\partial r_4}(\vec x) )}$

whenever the denominator is non-zero, where ${dx}$ is the one-form on ${\overline{V}}$ that sends a tangent vector ${v}$ to its ${x}$ component ${v_x}$, and similarly for ${dy}$, ${dr_1}$, etc. Using the notation of wedge product ${\wedge}$, we can write this as

$\displaystyle L\rho = L \frac{dx \wedge dy}{\hbox{det}( \frac{\partial Q}{\partial r_1},\dots,\frac{\partial Q}{\partial r_4} )}.$

Using (2), we compute that

$\displaystyle \hbox{det}( \frac{\partial Q}{\partial r_1},\dots,\frac{\partial Q}{\partial r_4}) = 16 r_1 r_2 r_3 r_4.$

The quantities ${r_2,r_3,r_4}$ are bounded away from zero near the singularity, and ${L}$ is also bounded. Thus we have

$\displaystyle L\rho = O( \frac{dx \wedge dy}{r_1} ) \ \ \ \ \ (10)$

near the singularity, where we write ${\rho = O( \omega )}$ for ${2}$-forms ${\rho,\omega}$ to denote the assertion that ${\rho = f \omega}$ for some scalar function that is bounded near the singularity.

At first glance, it looks like this form ${L\rho}$ could blow up whenever ${r_1}$ vanishes, but this does not actually happen as the numerator will also vanish in that case. One can see this by using a different choice of ${v_j}$ for ${j=3,4,5,6}$ in (9). For instance, if one takes ${v_3}$ to be ${e_2}$ rather than ${e_3}$, then we get

$\displaystyle L\rho = -L\frac{dx \wedge dr_1}{\hbox{det}( \frac{\partial Q}{\partial y},\dots,\frac{\partial Q}{\partial r_4})}$

and now

$\displaystyle \hbox{det}( \frac{\partial Q}{\partial y},\dots,\frac{\partial Q}{\partial r_4} ) = - 16 y r_2 r_3 r_4$

so we obtain an alternate form

$\displaystyle L\rho = O( \frac{dx \wedge dr_1}{y} ) \ \ \ \ \ (11)$

for ${L\rho}$; similarly

$\displaystyle L\rho = O( \frac{dy \wedge dr_1}{x} ). \ \ \ \ \ (12)$

One can also see the equivalence of (10), (11), (12) by noting that ${Q_1 = x^2 + by^2 - r_1^2}$ vanishes on ${\overline{V}}$, which on differentiating yields the linear dependence

$\displaystyle 2x dx + 2by dy - 2r_1 dr_1 = 0$

between the ${1}$-forms ${dx, dy, dr_1}$, which can then easily be used to relate (10), (11), (12) to each other.

Thus the only actual singularity that could occur here is when ${x,y,r_1}$ all vanish. However, it turns out that even here the singularity is removable after blowing up the surface. Recall that the blowup surface ${X}$ takes the form

$\displaystyle \{ ((x,y,r_1), [P,Q,R]) \in {\bf C}^3 \times {\bf CP}^2:$

$\displaystyle P^2+bQ^2 = R^2; (x,y,r_1) \in \overline{[P,Q,R]} \}.$

We pick an affine chart of this surface; for sake of argument we take the ${Q=1}$ chart, as the other charts ${P=1,R=1}$ are treated similarly. Then the surface can be expressed as

$\displaystyle \{ (t,p,r) \in {\bf C}^3: p^2 + b = r^2 \}$

with ${(x,y,r_1) = (tp, t, tr)}$. In particular,

$\displaystyle dx = p dt + t dp; \quad dr_1 = t dr_1 + r_1 dt$

and thus

$\displaystyle dx \wedge dr_1 = tp dt \wedge dr_1 + t^2 dp \wedge dr_1 + t r_1 dp \wedge dt.$

The key point is that there is a common factor of ${t}$ here. Using (11), we thus have

$\displaystyle L\rho = O( p dt \wedge dr_1 + t dp \wedge dr_1 + r_1 dp \wedge dt )$

and so ${L\rho}$ does not blow up in the coordinates of ${X}$ as ${t}$ approaches ${0}$. By Riemann’s theorem, (the pullback of) ${L\rho}$ can thus be extended holomorphically to the exceptional fibre ${t=0}$.

Now we look at the behaviour near a non-obvious singularity; for sake of argument we look at the neighbourhood of

$\displaystyle [X,Y,Z,R_1,R_2,R_3,R_4] = [\sqrt{b} i, 1, 0, 0, 0, 0, 0].$

As before, we use the affine chart ${Y=1}$ and write ${X = \sqrt{b} i + w}$, then we are looking at the affine variety

$\displaystyle W := \{ (w, z, r_1, r_2, r_3, r_4) \in {\bf C}^6: S(w,z,r_1,r_2,r_3,r_4) = 0 \}$

near ${(0,0,0,0,0,0)}$, where ${S: {\bf C}^6 \rightarrow {\bf C}^4}$ is the system ${S = (S_1,S_2,S_3,S_4)}$ of quadratic polynomials

$\displaystyle S_k(w,z,r_1,r_2,r_3,r_4) := 2 \sqrt{b} i w - (2 \sqrt{b} i x_k + 2by_k) z - r_k^2 + (w-x_k z)^2 + b y_k^2 z^2.$

Applying a change of variables, we have

$\displaystyle L \rho_{\vec x}(v_1,v_2) = C L(\vec x) \frac{\hbox{det}(v_1,\dots,v_6)}{\hbox{det}( (dS)_{\vec x}(v_3), \dots, (dS)_{\vec x}(v_6) )} \ \ \ \ \ (13)$

for ${\vec x \in W}$, ${v_1, v_2 \in T_x W}$, and ${v_3,v_4,v_5,v_6 \in {\bf C}^6}$, and some harmless constant ${C}$ (depending on ${b}$). As before, if we set ${v_j = e_j}$ for ${j=3,4,5,6}$, we arrive at

$\displaystyle L\rho = O( L \frac{dw \wedge dz}{r_1 r_2 r_3 r_4} ) \ \ \ \ \ (14)$

when the denominator is non-zero. Similarly

$\displaystyle L\rho = O( L \frac{dw \wedge dr_1}{\frac{\partial S_1}{\partial z} r_2 r_3 r_4} ) \ \ \ \ \ (15)$

and

$\displaystyle L\rho = O( L \frac{dz \wedge dr_1}{\frac{\partial S_1}{\partial w} r_2 r_3 r_4} )$

when the denominators are non-zero. Similarly for permutations of the ${1,2,3,4}$ indices.

Now, we lift ${L \rho}$ to the blowup manifold

$\displaystyle \{ (r_1,r_2,r_3,r_4) \times [P_1,P_2,P_3,P_4] \in {\bf C}^4 \times {\bf CP}^3:$

$\displaystyle r_k^2 = \alpha_k r_1^2 + \beta_k r_2^2 + H_k(r_1^2,r_2^2) \hbox{ for } k=3,4;$

$\displaystyle (r_1,r_2,r_3,r_4) \in \overline{[P_1, P_2, P_3, P_4]} \}.$

For sake of discussion we work in the affine chart ${P_3=1}$ (say) and write ${(r_1,r_2,r_3,r_4) = t(P_1,P_2,P_3,P_4)}$, in which case the manifold becomes

$\displaystyle \{ (t,p_1,p_2,p_4) \in {\bf C}^4: p_k^2 = \alpha_k p_1^2 + \beta_k p_2^2 + t^2 \tilde H_k(p_1^2,p_2^2,t^2) \hbox{ for } k=3,4 \}$

with the convention ${p_3 = 3}$. To convert back into the original coordinates ${(w,z,r_1,r_2,r_3,r_4)}$, we have

$\displaystyle (r_1,r_2,r_3,r_4) = (tp_1, tp_2, t, tp_4)$

and

$\displaystyle w = F( t^2 p_1^2, t^2 p_2^2 ); \quad z = G( t^2 p_1^2, t^2 p_2^2 ).$

Thus

$\displaystyle dw = O( t dt ) + O( t^2 dp_1 ) + O( t^2 dp_2 )$

and

$\displaystyle dz = O( t dt ) + O( t^2 dp_1 ) + O( t^2 dp_2 )$

and thus

$\displaystyle dw \wedge dz = O( t^3 dt \wedge dp_1 ) + O( t^3 dt \wedge dp_2 ) + O( t^4 dp_1 \wedge dp_2 ).$

Also, ${L = O(t)}$. From (14) we can thus cancel all the factors of ${t}$ and conclude that

$\displaystyle L \rho = \frac{ O( dt \wedge dp_1 ) + O( dt \wedge dp_2 ) + O( t dp_1 \wedge dp_2 ) }{p_1 p_2 p_4}$

and so ${L\rho}$ stays bounded up to the exceptional fibre in the blowup coordinates as long as ${p_1,p_2,p_4}$ stay bounded away from zero.

It remains to deal with the case when one of the ${p_1,p_2,p_4}$ are small. From the form of the curve (6), and the fact that the ${x_k,y_k}$ are in general position, none of the vectors ${(1,0), (0,1), (\alpha_3,\beta_3), (\alpha_4,\beta_4)}$ are scalar multiples of each other, which means that only one of the ${p_1,p_2,p_3,p_4}$ can vanish at a time. Suppose ${p_1}$ is close to vanishing, so that ${p_2,p_4}$ are comparable to one (the other cases will be similar). In this case, we use (15). As before, ${L = O(t)}$ and ${\frac{1}{p_2 p_3 p_4} = O(t^{-3})}$; also

$\displaystyle dr_1 = t dp_1 + p_1 dt$

and so

$\displaystyle dw \wedge dr_1 = O( t^2 dt \wedge dp_1 ) + O( t^3 dp_1 \wedge dp_2 ) + O( t^2 dt \wedge dp_2 ).$

So once again the factors of ${t}$ cancel, and

$\displaystyle L\rho = O( dt \wedge dp_1 ) + O( dt \wedge dp_2 ) + O( t dp_1 \wedge dp_2 )$

and so ${L\rho}$ stays bounded up to the exceptional fibre in this case. Similarly when one of the other ${p_k}$ are small. Thus ${L\rho}$ stays bounded as one approaches the exceptional fibre in any direction, and so by Riemann’s theorem it can be continued holomorphically to this fibre.

In conclusion, ${L\rho}$ lifts to a smooth ${2}$-form on the blowup surface ${X}$. By choosing ${L}$ to be the coordinate functions ${Z,R_1,R_2,R_3,R_4}$, we conclude that the image of the canonical map on ${X}$ contains the image of ${\overline{V}}$ under the (generically defined) projection ${[X,Y,Z,R_1,R_2,R_3,R_4] \mapsto [Z,R_1,R_2,R_3,R_4]}$. But it is easy to see that this map is generically injective on ${\overline{V}}$ (indeed, one can solve for ${X,Y}$ as rational functions of ${Z,R_1,R_2,R_3,R_4}$), by subtracting the various equations ${Q_j=0}$ from each other), and so the image has full dimension. This establishes that ${X}$ has general type as required.