Let S be a scheme. Let Z ⊂ S be a closed subscheme. Let b : S′ —> S be the blowing up of Z in S. Let g : X —> Y be an affine morphism of schemes over S. Let F be a quasi-coherent sheaf on X. Let g′ : X ×_{S} S′ —> Y ×_{S} S′ be the base change of g. Let F′ be the strict transform of F relative to b. Then g′_{∗}F′ is the strict transform of g_{∗}F. See Tag 080G.

This tag has one of the densest initial trees in the project: