Skip to main content
2 of 2
added 3 characters in body
user avatar
user avatar

Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?

Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject to the following relations:

  1. $dr = 0$ if $r \in k$.
  2. $d(r+s) = dr + ds$.
  3. $d(rs) = r\,ds + s\,dr$.

We have a natural map $d: R \to \Omega_{R/k}$ of vector spaces which sends $r \mapsto dr$.

$\Omega_{R/k}$ is the universal receptacle for derivations of $R$ into some $R$-module $M$. If $\delta: R \to M$ satisfies the axioms above, then there exists a map of $R$-modules $\Omega_{R/k} \to M$ such that $\delta$ factors through $d$.

What is the motivation/geometric intuition of these definitions? Is there a good way of thinking about all this in context of algebraic curves? Hopefully nothing fancy is needed?

user74565