Remark 42.29.7. Let $f : X' \to X$ be a morphism of schemes locally of finite type over $S$ as in Situation 42.7.1. Let $(\mathcal{L}, s, i : D \to X)$ be a triple as in Definition 42.29.1. Then we can set $\mathcal{L}' = f^*\mathcal{L}$, $s' = f^*s$, and $D' = X' \times _ X D = Z(s')$. This gives a commutative diagram

and we can ask for various compatibilities between $i^*$ and $(i')^*$.

## Comments (0)