Exercise 111.49.9. Example of a nonprojective proper variety. Let k be a field. Let L \subset \mathbf{P}^3_ k be a line and let C \subset \mathbf{P}^3_ k be a nonsingular conic. Assume that C \cap L = \emptyset . Choose an isomorphism \varphi : L \to C. Let X be the k-variety obtained by glueing C to L via \varphi . In other words there is a surjective proper birational morphism
and an open U \subset X such that \pi : \pi ^{-1}(U) \to U is an isomorphism, \pi ^{-1}(U) = \mathbf{P}^3_ k \setminus (L \cup C) and such that \pi |_ L = \pi |_ C \circ \varphi . (These conditions do not yet uniquely define X. In order to do this you need to specify the structure sheaf of X along points of Z = X \setminus U.) Show X exists, is a proper variety, but is not projective. (Hint: For existence use the result of Exercise 111.37.9. For non-projectivity use that \mathop{\mathrm{Pic}}\nolimits (\mathbf{P}^3_ k) = \mathbf{Z} to show that X cannot have an ample invertible sheaf.)
Comments (0)