Lemma 50.2.2. Consider a commutative diagram of schemes

$\xymatrix{ X' \ar[r]_ f \ar[d] & X \ar[d] \\ S' \ar[r] & S }$

If $X' \to X$ and $S' \to S$ are étale, then the maps discussed above induce isomorphisms $f^*\Omega ^ p_{X/S} \to \Omega ^ p_{X'/S'}$.

Proof. We have $\Omega _{S'/S} = 0$ and $\Omega _{X'/X} = 0$, see for example Morphisms, Lemma 29.36.15. Then by the short exact sequences of Morphisms, Lemmas 29.32.9 and 29.34.16 we see that $\Omega _{X'/S'} = \Omega _{X'/S} = f^*\Omega _{X/S}$. Taking exterior powers we conclude. $\square$

There are also:

• 2 comment(s) on Section 50.2: The de Rham complex

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