Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 16 / 1 / i

Construct the tensor product of sheaves by first forming the presheaf $U\mapsto \mathcal{F}(U){\otimes }_{{\mathcal{O}}_X(U)}\mathcal{G}(U)$, with restriction maps induced by those of the two sheaves of modules, and then applying sheafification. The local module actions are compatible with restrictions and therefore give the sheaf an ${\mathcal{O}}_X$-module structure. Its stalks areIndeed, a finite collection of germs of sheaf sections can be represented on a common neighbourhood, and every finite tensor relation holds on a sufficiently small neighbourhood. Equivalently, this construction represents bilinear maps of sheaves of modules that are balanced over the structure sheaf. Sections of the resulting sheaf need not themselves be tensors of global sections: that is why the sheafification step matters.