Lemma 50.10.4. With notation as above we have

1. $\Omega ^ p_{L^\star /S, n} = \Omega ^ p_{L^\star /S, 0} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}$ for all $n \in \mathbf{Z}$ as quasi-coherent $\mathcal{O}_ X$-modules,

2. $\Omega ^\bullet _{X/S} = \Omega ^\bullet _{L/X, 0}$ as complexes, and

3. for $n > 0$ and $p \geq 0$ we have $\Omega ^ p_{L/X, n} = \Omega ^ p_{L^\star /S, n}$.

Proof. In each case there is a globally defined canonical map which is an isomorphism by local calculations which we omit. $\square$

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).