Lemma 6.26.4. Let (f, f^\sharp ) : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y) be a morphism of ringed spaces. Let \mathcal{G} be a sheaf of \mathcal{O}_ Y-modules. Let x \in X. Then
as \mathcal{O}_{X, x}-modules where the tensor product on the right uses f^\sharp _ x : \mathcal{O}_{Y, f(x)} \to \mathcal{O}_{X, x}.
Comments (2)
Comment #746 by Anfang Zhou on
Comment #752 by Johan on
There are also: