Lemma 29.32.11. Let $f : X \to S$ and $g : Y \to S$ be morphisms of schemes with the same target. Let $p : X \times _ S Y \to X$ and $q : X \times _ S Y \to Y$ be the projection morphisms. The maps from Lemma 29.32.8

$p^*\Omega _{X/S} \oplus q^*\Omega _{Y/S} \longrightarrow \Omega _{X \times _ S Y/S}$

give an isomorphism.

Proof. By Lemma 29.32.10 the composition $p^*\Omega _{X/S} \to \Omega _{X \times _ S Y/S} \to \Omega _{X \times _ S Y/Y}$ is an isomorphism, and similarly for $q$. Moreover, the cokernel of $p^*\Omega _{X/S} \to \Omega _{X \times _ S Y/S}$ is $\Omega _{X \times _ S Y/X}$ by Lemma 29.32.9. The result follows. $\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).