The Stacks project

Proof. Recall that $R$ is a discrete valuation ring with uniformizer $\pi $ and residue field $k = R/(\pi )$. Because $X \to \mathop{\mathrm{Spec}}(R)$ is flat, the element $\pi $ is a nonzerodivisor affine locally on $X$ (see More on Algebra, Lemma 15.22.11). Thus if $U = \mathop{\mathrm{Spec}}(A) \subset X$ is an affine open, then

and $\pi $ is a nonzerodivisor in $A$. Hence $X_ k = V(\pi )$ is an effective Cartier divisor by Divisors, Lemma 31.13.2. Hence (1) is true.

The discussion above shows that the pair $(\mathcal{O}_ X(X_ k), 1)$ is isomorphic to the pair $(\mathcal{O}_ X, \pi )$ which proves (4).

By Divisors, Lemma 31.15.11 there exist pairwise distinct integral effective Cartier divisors $D_ i \subset X$ and integers $a_ i \geq 0$ such that $X_ k = \sum a_ i D_ i$. We can throw out those divisors $D_ i$ such that $a_ i = 0$. Then it is clear (from the definition of addition of effective Cartier divisors) that $X_ k = \bigcup D_ i$ set theoretically. Thus $C_ i = D_ i$ are the irreducible components of $X_ k$ which proves (2). Let $\xi _ i$ be the generic point of $C_ i$. Then $\mathcal{O}_{X, \xi _ i}$ is a discrete valuation ring (Divisors, Lemma 31.15.4). The uniformizer $\pi _ i \in \mathcal{O}_{X, \xi _ i}$ is a local equation for $C_ i$ and the image of $\pi $ is a local equation for $X_ k$. Since $X_ k = \sum a_ i C_ i$ we see that $\pi $ and $\pi _ i^{a_ i}$ generate the same ideal in $\mathcal{O}_{X, \xi _ i}$. On the other hand, the multiplicity of $C_ i$ in $X_ k$ is

See Chow Homology, Definition 42.9.2. Thus $a_ i = m_ i$ and (3) is proved. $\square$

Proof. Since $X \to \mathop{\mathrm{Spec}}(R)$ is flat, to prove (1) it suffices to show that the fibres are Gorenstein (Duality for Schemes, Lemma 48.25.3). The generic fibre is a smooth curve, which is regular and hence Gorenstein (Duality for Schemes, Lemma 48.24.3). For the special fibre $X_ k$ we use that it is an effective Cartier divisor on a regular (hence Gorenstein) scheme and hence Gorenstein for example by Dualizing Complexes, Lemma 47.21.6. The curves $C_ i$ are Gorenstein by the same argument. $\square$

Proof. Consequence of More on Morphisms, Lemma 37.53.6. $\square$

Proof. Observe that $C \subset X$ is an open subscheme. The restriction map $\mathop{\mathrm{Pic}}\nolimits (X) \to \mathop{\mathrm{Pic}}\nolimits (C)$ is surjective by Divisors, Lemma 31.28.3. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module such that there is an isomorphism $s : \mathcal{O}_ C \to \mathcal{L}|_ C$. Then $s$ is a regular meromorphic section of $\mathcal{L}$ and we see that $\text{div}_\mathcal {L}(s) = \sum a_ i C_ i$ for some $a_ i \in \mathbf{Z}$ (Divisors, Definition 31.27.4). By Divisors, Lemma 31.27.6 (and the fact that $X$ is normal) we conclude that $\mathcal{L} = \mathcal{O}_ X(\sum a_ iC_ i)$. Finally, suppose that $\mathcal{O}_ X(\sum a_ i C_ i) \cong \mathcal{O}_ X$. Then there exists an element $g$ of the function field of $X$ with $\text{div}_ X(g) = \sum a_ i C_ i$. In particular the rational function $g$ has no zeros or poles on the generic fibre $C$ of $X$. Since $C$ is a normal scheme this implies $g \in H^0(C, \mathcal{O}_ C) = K$. Thus $g = \pi ^ a u$ for some $a \in \mathbf{Z}$ and $u \in R^*$. We conclude that $\text{div}_ X(g) = a \sum m_ i C_ i$ and the proof is complete. $\square$

Proof. Bilinearity is immediate from the definition and Varieties, Lemma 33.44.7. To prove symmetry it suffices to assume $a$ and $b$ are standard basis vectors in $\mathbf{Z}^{\oplus n}$. Hence it suffices to prove that

for all $1 \leq i, j \leq n$. If $i = j$ there is nothing to prove. If $i \not= j$, then the canonical section $1$ of $\mathcal{O}_ X(C_ j)$ restricts to a nonzero (hence regular) section of $\mathcal{O}_ X(C_ j)|_{C_ i}$ whose zero scheme is exactly $C_ i \cap C_ j$ (scheme theoretic intersection). In other words, $C_ i \cap C_ j$ is an effective Cartier divisor on $C_ i$ and

by Varieties, Lemma 33.44.9. By symmetry we obtain the same (!) formula for the other side and the proof is complete. $\square$

Proof. In the proof of Lemma 55.9.6 we saw that $(C_ i \cdot C_ j) = \deg (C_ i \cap C_ j)$ if $i \not= j$. This is $\geq 0$ and $> 0 $ if and only if $C_ i \cap C_ j \not= \emptyset $. This proves (1).

Proof of (2). This is true because by Lemma 55.9.1 the invertible sheaf associated to $\sum m_ i C_ i$ is trivial and the trivial sheaf has degree zero.

Proof of (3). This is expressing the fact that $X_ k$ is connected (Lemma 55.9.4) via the description of the intersection products given in the proof of (1).

Part (4) follows from (1), (2), and (3) by Lemma 55.2.3. $\square$

Proof. We have

by Lemma 55.9.1. We conclude as $\mathcal{C}_{D/X}$ is the pullback of $\mathcal{O}_ X(-D)$. $\square$

Proof. The reduction $D_{red} = (X_ k)_{red} = \sum C_ i$ is connected (Lemma 55.9.4) and proper over $k$. Hence $H^0(D_{red}, \mathcal{O})$ is a field and a finite extension of $k$ by Varieties, Lemma 33.9.3. Thus the result for $Z_0 = D_{red} = (X_ k)_{red}$ is true. Suppose that we have already constructed

with $Z_ j = Z_{j - 1} + C_{i_ j}$ for some $i_ j \in \{ 1, \ldots , n\} $ for $j = 1, \ldots , t$ and such that $H^0(Z_ j, \mathcal{O}_{Z_ j})$ is a field finite over $k$ for $j = 0, \ldots , t$. Write $Z_ t = \sum a_ i C_ i$ with $1 \leq a_ i \leq m_ i/d$. If $a_ i = m_ i/d$ for all $i$, then $Z_ t = D$ and the lemma is proved. If not, then $a_ i < m_ i/d$ for some $i$ and it follows that $(Z_ t \cdot Z_ t) < 0$ by Lemma 55.9.7. This means that $(D - Z_ t \cdot Z_ t) > 0$ because $(D \cdot Z_ t) = 0$ by the lemma. Thus we can find an $i$ with $a_ i < m_ i/d$ such that $(C_ i \cdot Z_ t) > 0$. Set $Z_{t + 1} = Z_ t + C_ i$ and $i_{t + 1} = i$. Consider the short exact sequence

of Divisors, Lemma 31.14.3. By our choice of $i$ we see that $\mathcal{O}_ X(-Z_ t)|_{C_ i}$ is an invertible sheaf of negative degree on the proper curve $C_ i$, hence it has no nonzero global sections (Varieties, Lemma 33.44.12). We conclude that $H^0(\mathcal{O}_{Z_{t + 1}}) \subset H^0(\mathcal{O}_{Z_ t})$ is a field (this is clear but also follows from Algebra, Lemma 10.36.18) and a finite extension of $k$. Thus we have extended the sequence. Since the process must stop, for example because $t \leq \sum (m_ i/d - 1)$, this finishes the proof. $\square$

Proof. By Lemma 55.9.9 we see that $\kappa $ is a field and a finite extension of $k$. Since also $H^0(C, \mathcal{O}_ C) = K$ we see that the genus of $C$ and $D$ are defined (see Algebraic Curves, Definition 53.8.1) and we have $g_ C = \dim _ K H^1(C, \mathcal{O}_ C)$ and $g_ D = \dim _\kappa H^1(D, \mathcal{O}_ D)$. By Derived Categories of Schemes, Lemma 36.32.2 we have

We claim that

This will prove the lemma because

Observe that $X_ k = dD$ as an effective Cartier divisor. To prove the claim we prove by induction on $1 \leq r \leq d$ that $\chi (rD, \mathcal{O}_{rD}) = r \chi (D, \mathcal{O}_ D)$. The base case $r = 1$ is trivial. If $1 \leq r < d$, then we consider the short exact sequence

of Divisors, Lemma 31.14.3. By additivity of Euler characteristics (Varieties, Lemma 33.33.2) it suffices to prove that $\chi (D, \mathcal{O}_ X(rD)|_ D) = \chi (D, \mathcal{O}_ D)$. This is true because $\mathcal{O}_ X(rD)|_ D$ is a torsion element of $\mathop{\mathrm{Pic}}\nolimits (D)$ (Lemma 55.9.8) and because the degree of a line bundle is additive (Varieties, Lemma 33.44.7) hence zero for torsion invertible sheaves. $\square$

Proof. Choose isomorphisms $C_ i = \mathbf{P}^1_{\kappa _ i}$ and $C_ j = \mathbf{P}^1_{\kappa _ j}$. The scheme $C_ i \cap C_ j$ is a nonempty effective Cartier divisor in both $C_ i$ and $C_ j$. Hence

The first equality was shown in the proof of Lemma 55.9.6. On the other hand, the self intersection $(C_ i \cdot C_ i)$ is equal to the degree of $\mathcal{O}_ X(C_ i)$ on $C_ i$ which is $-[\kappa _ i : k]$ as $C_ i$ is an exceptional curve of the first kind. Similarly for $C_ j$. By Lemma 55.9.7

This implies that $[\kappa _ i : k] = \deg (C_ i \cap C_ j) = [\kappa _ j : k]$ and that we have $(C_ i + C_ j)^2 = 0$. Looking at the lemma again we conclude that $n = 2$, $\{ 1, 2\} = \{ i, j\} $, and $m_1 = m_2$. Moreover, the scheme theoretic intersection $C_ i \cap C_ j$ consists of a single point $p$ with residue field $\kappa $ and $\kappa _ i \to \kappa \leftarrow \kappa _ j$ are isomorphisms. Let $D = C_1 + C_2$ as effective Cartier divisor on $X$. Observe that $D$ is the scheme theoretic union of $C_1$ and $C_2$ (Divisors, Lemma 31.13.10) hence we have a short exact sequence

by Morphisms, Lemma 29.4.6. Since we know the cohomology of $C_ i \cong \mathbf{P}^1_\kappa $ (Cohomology of Schemes, Lemma 30.8.1) we conclude from the long exact cohomology sequence that $H^0(D, \mathcal{O}_ D) = \kappa $ and $H^1(D, \mathcal{O}_ D) = 0$. By Lemma 55.9.10 we conclude

where $d = m_1 = m_2$. It follows that $g_ C = 0$ and $d = m_1 = m_2 = 1$ and $\kappa = k$. $\square$