Lemma 50.2.1 (0FL5)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 3: Topics in Scheme Theory
Chapter 50: de Rham Cohomology
Section 50.2: The de Rham complex
Lemma 50.2.1 (cite)

next lemma

numberstags

history
statistics
2 tags refer to this tag

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

be a cartesian diagram of schemes. Then the maps discussed above induce isomorphisms $f^*\Omega ^ p_{X/S} \to \Omega ^ p_{X'/S'}$.

Proof. Combine Morphisms, Lemma 29.32.10 with the fact that formation of exterior power commutes with base change. $\square$

Comments (0)

There are also:

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

Comments (0)

Post a comment