Lemma 31.14.5. Let $f : S' \to S$ be a morphism of schemes. Let $D$ be a effective Cartier divisors on $S$. If the pullback of $D$ is defined then $f^*\mathcal{O}_ S(D) = \mathcal{O}_{S'}(f^*D)$ and the canonical section $1_ D$ pulls back to the canonical section $1_{f^*D}$.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 31.14: Effective Cartier divisors and invertible sheaves

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).