Exercise 110.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

$\pi : \mathbf{P}^3_ k \longrightarrow X$

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 110.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.)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).