Remark 29.32.6. The lemma above gives a second way of constructing the module of differentials. Namely, let $f : X \to S$ be a morphism of schemes. Consider the collection of all affine opens $U \subset X$ which map into an affine open of $S$. These form a basis for the topology on $X$. Thus it suffices to define $\Gamma (U, \Omega _{X/S})$ for such $U$. We simply set $\Gamma (U, \Omega _{X/S}) = \Omega _{A/R}$ if $A$, $R$ are as in Lemma 29.32.5 above. This works, but it takes somewhat more algebraic preliminaries to construct the restriction mappings and to verify the sheaf condition with this ansatz.

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)