Definition 17.27.3. Let $X$ be a topological space. Let $\varphi : \mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $X$. The module of differentials of $\varphi$ is the object representing the functor $\mathcal{F} \mapsto \text{Der}_{\mathcal{O}_1}(\mathcal{O}_2, \mathcal{F})$ which exists by Lemma 17.27.2. It is denoted $\Omega _{\mathcal{O}_2/\mathcal{O}_1}$, and the universal $\varphi$-derivation is denoted $\text{d} : \mathcal{O}_2 \to \Omega _{\mathcal{O}_2/\mathcal{O}_1}$.

There are also:

• 2 comment(s) on Section 17.27: Modules of differentials

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