The Stacks project

Proof. This is a special case of Morphisms, Lemma 29.42.5. $\square$

Proof. A rational map from $X$ to $Y$ can be extended to a morphism $X \to Y$ by Lemma 53.2.1 as every local ring is a discrete valuation ring (for example by Varieties, Lemma 33.43.8). Conversely, if two morphisms $f,g: X \to Y$ are equivalent as rational maps, then $f = g$ by Morphisms, Lemma 29.7.10. $\square$

Proof. Pick $x \in X$ mapping to $y \in Y$. Then $\mathcal{O}_{Y, y}$ is either a field or a discrete valuation ring (Varieties, Lemma 33.43.8). Since $f$ is nonconstant it is dominant (as it must map the generic point of $X$ to the generic point of $Y$). This implies that $\mathcal{O}_{Y, y} \to \mathcal{O}_{X, x}$ is injective (Morphisms, Lemma 29.8.7). Hence $\mathcal{O}_{X, x}$ is torsion free as a $\mathcal{O}_{Y, y}$-module and therefore $\mathcal{O}_{X, x}$ is flat as a $\mathcal{O}_{Y, y}$-module by More on Algebra, Lemma 15.22.10. $\square$

Proof. The morphism $f$ is proper by Morphisms, Lemma 29.41.7. Thus $f(X)$ is closed and images of closed points are closed. Let $y \in Y$ be the image of a closed point in $X$. Then $f^{-1}(\{ y\} )$ is a closed subset of $X$ not containing any of the generic points of irreducible components of dimension $1$ by condition (3). It follows that $f^{-1}(\{ y\} )$ is finite. Hence $f$ is finite over an open neighbourhood of $y$ by More on Morphisms, Lemma 37.44.2 (if $Y$ is Noetherian, then you can use the easier Cohomology of Schemes, Lemma 30.21.2). Since we've seen above that there are enough of these points $y$, the proof is complete. $\square$

Proof. This is clear from Lemma 53.2.1 and Varieties, Lemma 33.43.6. $\square$

Proof. The equivalence between categories (1) and (2) is the restriction of the equivalence of Varieties, Theorem 33.4.1. Namely, a variety is a curve if and only if its function field has transcendence degree $1$, see for example Varieties, Lemma 33.20.3.

The categories in (3), (4), (5), and (6) are the same. First of all, the terms “regular” and “nonsingular” are synonyms, see Properties, Definition 28.9.1. Being normal and regular are the same thing for Noetherian $1$-dimensional schemes (Properties, Lemmas 28.9.4 and 28.12.6). See Varieties, Lemma 33.43.8 for the case of curves. Thus (3) is the same as (5). Finally, (6) is the same as (3) by Varieties, Lemma 33.43.4.

If $f : X \to Y$ is a nonconstant morphism of nonsingular projective curves, then $f$ sends the generic point $\eta $ of $X$ to the generic point $\xi $ of $Y$. Hence we obtain a morphism $k(Y) = \mathcal{O}_{Y, \xi } \to \mathcal{O}_{X, \eta } = k(X)$ in the category (1). If two morphisms $f,g: X \to Y$ gives the same morphism $k(Y) \to k(X)$, then by the equivalence between (1) and (2), $f$ and $g$ are equivalent as rational maps, so $f=g$ by Lemma 53.2.2. Conversely, suppose that we have a map $k(Y) \to k(X)$ in the category (1). Then we obtain a morphism $U \to Y$ for some nonempty open $U \subset X$. By Lemma 53.2.1 this extends to all of $X$ and we obtain a morphism in the category (5). Thus we see that there is a fully faithful functor (5)$\to $(1).

To finish the proof we have to show that every $K/k$ in (1) is the function field of a normal projective curve. We already know that $K = k(X)$ for some curve $X$. After replacing $X$ by its normalization (which is a variety birational to $X$) we may assume $X$ is normal (Varieties, Lemma 33.27.1). Then we choose $X \to \overline{X}$ with $\overline{X} \setminus X = \{ x_1, \ldots , x_ n\} $ as in Varieties, Lemma 33.43.6. Since $X$ is normal and since each of the local rings $\mathcal{O}_{\overline{X}, x_ i}$ is normal we conclude that $\overline{X}$ is a normal projective curve as desired. (Remark: We can also first compactify using Varieties, Lemma 33.43.5 and then normalize using Varieties, Lemma 33.27.1. Doing it this way we avoid using the somewhat tricky Morphisms, Lemma 29.53.16.) $\square$

Proof. See Varieties, Lemma 33.43.8 for example. $\square$

Proof. Let $X'$ be a nonsingular projective model of $X$. Then $X'$ and $X$ have isomorphic nonempty open subschemes. In particular $X'$ is geometrically irreducible as $X$ is (some details omitted). Thus we may assume that $X$ is projective.

Assume $X$ is proper. Then $X_ K$ is proper and hence the normalization $(X_ K)^\nu $ is proper as a scheme finite over a proper scheme (Varieties, Lemma 33.27.1 and Morphisms, Lemmas 29.44.11 and 29.41.4). On the other hand, $X_ K$ is irreducible as $X$ is geometrically irreducible. Hence $X_ K^\nu $ is proper, normal, irreducible, and birational to $(X_ K)_{red}$. This proves (1) because a proper curve is projective (Varieties, Lemma 33.43.4).

Proof of (2). As $X$ is proper and we have (1), we can apply Varieties, Lemma 33.27.4 to find $K/k$ finite purely inseparable such that $Y_ K$ is geometrically normal. Then $Y_ K$ is geometrically regular as normal and regular are the same for curves (Properties, Lemma 28.12.6). Then $Y$ is a smooth variety by Varieties, Lemma 33.12.6.

If $Y_ K$ is geometrically reduced, then $Y_ K$ is geometrically integral (Varieties, Lemma 33.9.2) and we see that $H^0(Y_ K, \mathcal{O}_{Y_ K}) = K$ by Varieties, Lemma 33.26.2. This proves (3) because a smooth variety is geometrically reduced (even geometrically regular, see Varieties, Lemma 33.12.6).

If $Y_ K$ is smooth, then for every extension $\Omega /K$ the base change $(Y_ K)_\Omega $ is smooth over $\Omega $ (Morphisms, Lemma 29.34.5). Hence it is clear that $Y_\Omega = (Y_ K)_\Omega $. This proves (4). $\square$