# Examples of birational equivalence of a variety and a hypersurface

There's an algebraic geometry theorem (I.4.9 in Hartshorne) that says: any variety of dimension r (over an algebraically closed field) is birationally equivalent to a hypersurface in projective space of dimension r+1. The proof is quite algebraic, and I'd like to see some interesting geometric examples.

-

Perhaps the first example was in a paper of Corrado Segre, where he analyzed a quartic surface in P^3 with a double conic, as a projection of a complete intersection of two quadrics in P^4. I say first, because in that paper he states that some people may not believe in the existence of 4 dimensional space. but he does not think that is relevant and will use it anyway. Segre's surface, a special example of a del Pezzo surface, is discussed in Semple and Roth, p. 141., where the reference to his "epoch making" paper is given as math. ann. 24, (1884), 313.

Another nice example is the cubic surface in P^3, realized by projecting the veronese embedding of P^2 in P^9 by plane cubics. This time the projections are done successivelky from points on the surface, thus "blowing up" 6 points in the process.

A simpler example is the projection of a rational space cubic from P^3 to a nodal cubic curve in P^2. This illustrates the fact that general projections tend to pick up singularities. Fulton's and Hansen's connectedness theorem has as a consequence that a smooth surface projected from P^5 into P^3 from points off the surface picks up not only a double curve but "pinch" points as well (http://www.math.umn.edu/~roberts/ima_tutorial.html#projections).

A detailed geometric proof that any smooth space curve can be projected birationally into the plane with only nodes as singularities is in Mumford, Alg. Geom. I, Complex projective varieties, pp.132 ff.

-