Lemma 44.3.3. Let $X \to S$ be a smooth morphism of schemes of relative dimension $1$. Let $D_1, D_2 \subset X$ be closed subschemes finite locally free of degrees $d_1$, $d_2$ over $S$. If $D_1 \subset D_2$ (as closed subschemes) then there is a closed subscheme $D \subset X$ finite locally free of degree $d_2 - d_1$ over $S$ such that $D_2 = D_1 + D$.
Proof. This proof is almost exactly the same as the proof of Lemma 44.3.2. By Lemma 44.3.1 we see that $D_1$ and $D_2$ are relative effective Cartier divisors on $X/S$. By Divisors, Lemma 31.18.4 there is a relative effective Cartier divisor $D \subset X$ such that $D_2 = D_1 + D$. Hence $D \to S$ is locally quasi-finite, flat, and locally of finite presentation by Lemma 44.3.1. Since $D$ is a closed subscheme of $D_2$, we see that $D \to S$ is finite. It follows that $D \to S$ is finite locally free (Morphisms, Lemma 29.48.2). Thus it suffice to show that the degree of $D \to S$ is $d_2 - d_1$. This follows from Lemma 44.3.2. $\square$
Comments (0)