Lemma 33.43.5. Let $X$ be a separated scheme of finite type over $k$. If $\dim (X) \leq 1$, then there exists an open immersion $j : X \to \overline{X}$ with the following properties
$\overline{X}$ is H-projective over $k$, i.e., $\overline{X}$ is a closed subscheme of $\mathbf{P}^ d_ k$ for some $d$,
$j(X) \subset \overline{X}$ is dense and scheme theoretically dense,
$\overline{X} \setminus X = \{ x_1, \ldots , x_ n\} $ for some closed points $x_ i \in \overline{X}$.
Proof. By Lemma 33.43.3 we may assume $X$ is a locally closed subscheme of $\mathbf{P}^ d_ k$ for some $d$. Let $\overline{X} \subset \mathbf{P}^ d_ k$ be the scheme theoretic image of $X \to \mathbf{P}^ d_ k$, see Morphisms, Definition 29.6.2. The description in Morphisms, Lemma 29.7.7 gives properties (1) and (2). Then $\dim (X) = 1 \Rightarrow \dim (\overline{X}) = 1$ for example by looking at generic points, see Lemma 33.20.3. As $\overline{X}$ is Noetherian, it then follows that $\overline{X} \setminus X = \{ x_1, \ldots , x_ n\} $ is a finite set of closed points. $\square$
Comments (0)
There are also: