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

$\xymatrix{ D' \ar[d]_ g \ar[r]_{i'} & X' \ar[d]^ f \\ D \ar[r]^ i & X }$

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

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).