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.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
5
1
|
|
|
|
|
4
|
The proof is actually extremley geometric, if you just wave your hand hard enough. Take an r-dimension variety V in P^{r+d}. Pick a generic point Q in P^{r+d} (where d > 1), and project P^{r+d} from this point to P^{r+d-1}. A generic line through Q does not hit V at all, and a generic line that hits V, hits it at exactly one point (I waved my hands right here), so the projection is birational from V to it's image. |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
5
|
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. |
|||
|
|
