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