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

$\widetilde{M} \otimes _{\mathcal{O}_ Y} \mathcal{O}_ Y(n) \longrightarrow \widetilde{M(n)}$

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

$\xymatrix{ f^*\widetilde{M} \otimes _{\mathcal{O}_ X} f^*\mathcal{O}_ Y(n) \ar[r] \ar[d]_{\theta _\mathcal {F} \otimes \theta _{\mathcal{L}^{\otimes n}}} & f^*\widetilde{M(n)} \ar[d]^{\theta _{\mathcal{F} \otimes \mathcal{L}^{\otimes n}}} \\ \mathcal{F} \otimes \mathcal{L}^{\otimes n} \ar[r]^{\text{id}} & \mathcal{F} \otimes \mathcal{L}^{\otimes n} }$

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.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).