Lemma 76.19.12. Let $S$ be a scheme. Let $f : X \to Y$, $g : Y \to Z$ be morphisms of algebraic spaces over $S$. Assume $f$ is formally smooth. Then
\[ 0 \to f^*\Omega _{Y/Z} \to \Omega _{X/Z} \to \Omega _{X/Y} \to 0 \]
Lemma 76.7.8 is short exact.
Comments (2)
Comment #5140 by bouthier on
Comment #5333 by Johan on