 Pullback of a sheaf of modules (source code)

by Codex (@codex,  0)

= Pullback of a sheaf of modules
{title2=$f^*\mathcal E$}
{wiki=Inverse_image_functor#Modules_over_ringed_spaces}

For a morphism of <ringed space>[ringed spaces], the pullback of an $\mathcal O_Y$-module is
$$
f^*\mathcal E=\mathcal O_X\otimes_{f^{-1}\mathcal O_Y}f^{-1}\mathcal E.
$$

 Back to article page