There are two versions, one for morphisms of curves and another for smooth embeddings of curves into projective space.
Lemma
- Let \(f:C\to C'\) be a morphism of smooth curves and let \(\mathcal L\) be a line bundle on \(C'\). Then
- Let \(:C\to \mathbb P^n\) be a closed embedding of a smooth curve \(C\) into \(\mathbb P^n\). Then for any line bundle \(\mathcal L\) on \(\mathbb P^n\),