**Proof.**
If $C \cap X = \emptyset $, then we take the constant family $C' = C \times \mathbf{P}^1$. Thus we may and do assume $C \cap X \not= \emptyset $.

Write $\mathbf{P}^ N = \mathbf{P}(V)$ so $\dim (V) = N + 1$. Let $E = \text{End}(V)$. Let $E^\vee = \mathop{\mathrm{Hom}}\nolimits (E, \mathbf{C})$. Set $\mathbf{P} = \mathbf{P}(E^\vee )$ as in Lemma 43.23.7. Choose a general line $\ell \subset \mathbf{P}$ passing through $\text{id}_ V$. Set $C' \subset \ell \times \mathbf{P}(V)$ equal to the closed subscheme having fibre $r_ g(C)$ over $[g] \in \ell $. More precisely, $C'$ is the image of

\[ \ell \times C \subset \mathbf{P} \times \mathbf{P}(V) \]

under the morphism (43.23.6.1). By Lemma 43.23.7 this makes sense, i.e., $\ell \times C \subset U(\psi )$. The morphism $\ell \times C \to C'$ is finite and $C'_{[g]} = r_ g(C)$ set theoretically for all $[g] \in \ell $. Parts (1) and (2) are clear with $0 = [\text{id}_ V] \in \ell $. Part (3) follows from the fact that $r_ g(C)$ and $X$ intersect properly for all $[g] \in \ell $. Part (4) follows from the fact that a general point $\infty = [g] \in \ell $ is a general point of $\mathbf{P}$ and for such as point $r_ g(C) \cap T$ is proper for any closed subvariety $T$ of $\mathbf{P}(V)$. Details omitted.
$\square$

## Comments (0)

There are also: