Lemma 71.6.11. Let S be a scheme. Let f : X \to Y be a morphism of algebraic spaces over S. Let D \subset Y be an effective Cartier divisor. The pullback of D by f is defined in each of the following cases:
f(x) \not\in |D| for any weakly associated point x of X,
f is flat, and
add more here as needed.
Comments (0)