Remark 27.28.4. With assumptions and notation of Lemma 27.28.3. Denote the displayed map of the lemma by $\theta _\mathcal {F}$. Note that the isomorphism $f^*\mathcal{O}_ Y(n) \to \mathcal{L}^{\otimes n}$ of Lemma 27.28.2 is just $\theta _{\mathcal{L}^{\otimes n}}$. Consider the multiplication maps

see Constructions, Equation (26.10.1.5). Pull this back to $X$ and consider

Here we have used the obvious identification $M(n) = \Gamma _*(X, \mathcal{L}, \mathcal{F} \otimes \mathcal{L}^{\otimes n})$. This diagram commutes. Proof omitted.

## Comments (0)