Remark 81.22.3. Let $f : X' \to X$ be a morphism of good algebraic spaces over $B$ as in Situation 81.2.1. Let $(\mathcal{L}, s, i : D \to X)$ be a triple as in Definition 81.22.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)