\section{Differentiale}
\begin{DefBem}
Sei $A$ eine kommutative $R$-Algebra, $M$ ein $A$-Modul.
\begin{enumerate}
\item Eine $R$-lineare Abbildung $\delta: A \to M$ heißt
\emp{Derivation}\index{Derivation}, wenn für alle $f,g \in A$ gilt:
\[\delta(f \cdot g) = f \cdot \delta(g) + g \cdot \delta(f)\]
\item $\mbox{Der}_R(A,M) \defeqr \{ \delta: A \to M: \delta \;
R\text{-lineare Derivation}\}$ ist ein $A$-Modul.
\item $M \mapsto \mbox{Der}_R(A,M)$ ist ein Funktor (Unterfunktor von $\Hom_R(A,\cdot)$).
\end{enumerate}
\end{DefBem}
\begin{nnBsp}
\begin{enumerate}
\item[1.)] $A = R[X], d = \frac{d}{dX}$ ist eine $R$-Derivation $d: A \to
A$, definiert durch $d(\sum_{i=0}^n a_i X^i) \defeqr \sum_{i=1}^n a_i
i X^{i-1}$
\item[2.)] $A = R \llbracket X \rrbracket, d = \frac{d}{dX}$ wie in 1.) mit
$\infty$ statt n.
\textbf{Beh.:} $\mbox{Der}_R(A,A) = A \cdot d$ \\
\textbf{Bew.:} Sei $\delta: A \to A$ eine $R$-lineare Derivation, $f \defeqr \delta(X)$. \\
Dann ist $\delta(1) = \delta(1 \cdot 1) =1 \cdot \delta(1) + 1
\cdot \delta(1) \Rightarrow \delta(1) = 0
\Rightarrow \forall r \in R:\delta(r) = 0$ \\
$\delta(X^2) = 2 \cdot X \cdot \delta(X)$ und (Induktion) $\delta(X^n) = X
\cdot \delta(X^{n-1}) + X^{n-1} \cdot \delta(X) = n \cdot X^{n-1}\cdot f
\overset{\delta\; R\text{-linear}}{\Rightarrow} \delta(\sum a_i
X^i) = \sum a_i i X^{i-1} \cdot f \Rightarrow \delta = f \cdot d$
\item[3.)] $A = R[X_1,\dots,X_n]$, $\partial_i = \frac{\partial}{\partial
X_i}$ ist Derivation genauso wie für 1.)\\
$\mbox{Der}_R(A,A)$ ist freier $A$-Modul mit Basis $\partial_1, \dots , \partial_n$.
\end{enumerate}
\end{nnBsp}
\begin{PropDef} \label{1.21}
Der Funktor $M \mapsto \mbox{Der}_R(A,M)$ ist ,,darstellbar``, d.h. es gibt
einen $A$-Modul $\Omega_{A/R}$ und eine Derivation $d: A \to \Omega_{A/R}$ mit
folgender UAE:\\
Zu jedem $A$-Modul $M$ und jeder $R$-linearen Derivation $\delta: A \to M$
existiert genau eine $A$-lineare Abbildung $\varphi: \Omega_{A/R} \to M$ mit
$\delta = \varphi \circ d$.
\[
\begin{xy}
\xymatrix{
A \ar[rr]^{d} \ar[rd]_{\delta} & & \Omega_{A/R} \ar@{-->}[dl]^{\exists!\varphi} \\
& M &
}
\end{xy}
\]
\end{PropDef}
\begin{Bew}
Sei $F$ der freie Modul mit Basis $A$, dabei sei $X_f$ das zu $f \in A$
gehörige Basiselement von $F$.
Sei $U$ der Untermodul von $F$, der erzeugt wird von allen
\[\left. \begin{array}{l}
X_{f+g} - X_f - X_g\\
X_{\lambda f} - \lambda X_f\\
X_{f \cdot g} - f \cdot X_g - g \cdot X_f
\end{array} \right\} \text{für alle } f,g \in A, \lambda \in R\]
Sei $\Omega_{A/R} \defeqr F/U, d: A \to \Omega_{A/R}, f \mapsto [X_f] \defeql
d f$. $d$ ist Derivation nach Konstruktion (,,universelle Derivation``).
\textbf{UAE:} Sei $M$ $A$-Modul, $\delta: A \to M$ Derivation. Sei $\Phi: F \to
M$ die $A$-lineare Abbildung mit $\Phi(X_f) = \delta(f)$. $U \subseteq
\Kern(\Phi)$, weil $\delta$ Derivation, d.h. $\Phi$ induziert $\varphi:
F/U \to M$.
\end{Bew}
\begin{nnBsp}
$A = R[X_1, \dots , X_n]$, $\Omega_{A/R}$ ist freier Modul mit Basis $d X_1,
\dots d X_n$,\\
denn für $f = \sum_{\nu = (\nu_1, \dots , \nu_n)} a_{\nu} X_1^{\nu_1} \cdot \dots \cdot X_n^{\nu_n} \in A$ $(a_{\nu} \in R)$ ist $d f = \sum_{i=1}^n \frac{\partial f}{\partial X_i} d X_i$\\
$\Rightarrow$ die $d X_i$ erzeugen $\Omega_{A/R}$.
Nach \myref{Prop.}{1.21} ist \fbox{$\mbox{Der}_R(A,A) = \Hom_A(\Omega_{A/R},A)$}.
\[
\begin{xy}
\xymatrix{
A \ar[rr]^{d} \ar[rd]_{\delta} & & \Omega_{A/R} \ar@{-->}[dl]^{\exists!\varphi} \\
& A &
}
\end{xy}
\]
Zu zeigen: die $dX_i$ sind linear unabhängig.\\
Sei also $\sum_{i = 1}^n a_i d X_i = 0 \Rightarrow 0 =
\frac{\partial}{\partial X_j}(\sum a_i X_i) = a_j$
\end{nnBsp}
\begin{nnBsp}
Sei $X \subseteq \mathbb{R}^n$ offen (für ein $n>1$), $A \defeqr
\mathcal{C}^{\infty}(X)$ die $\mathbb{R}$-Algebra der beliebig oft
differenzierbaren Funktionen auf $X$.\\
\textbf{Beh.:} $\mbox{Der}_{\mathbb{R}}(A,A)$ ist ein freier $A$-Modul mit
Basis $\partial_1, \dots , \partial_n$ (mit $\partial_i \defeqr
\frac{\partial}{\partial X_i}$ partielle Ableitung nach $X_i$).\\
Dann ist auch $\Omega_{A/\mathbb{R}}$ freier $A$-Modul mit Basis $d X_1, \dots , d
X_n$.\\
\textbf{Beh.1:} Für jedes $x \in X$ wird das Ideal $I_x = \{ f \in A: f(x) = 0
\}$ erzeugt von $X_i - x_i \; (x = (x_1, \dots , x_n)), i = 1 , \dots , n$
(Taylor-Entwicklung).\\
Sei nun $\partial: A \to A$ Derivation. Zu zeigen: $\partial = \sum_{i = 1}^n
\partial(X_i) \partial_i$.\\
Setze $\partial' \defeqr \partial - \sum_{i = 1}^n \partial(X_i) \partial_i$\\
\textbf{Beh.2:} Für jedes $x \in X$ ist $\partial'(I_x) \subseteq I_x$\\
\textbf{Bew.2:} Sei $f \in I_x, f = \sum_{i = 1}^n g_i (X_i - x_i)$ (siehe
Beh. 1) mit $g_i \in A$. Also ist $\partial'(f) = \underset{\in
I_x}{\underbrace{\sum_{i = 1}^n
\partial'(g_i)(X_i - x_i)}} + \sum_{i = 1}^n g_i \underset{=0, \text{ da } \partial_j(X_i-x_i)=\delta_{ij}}{\underbrace{\partial'(X_i -
x_i)}}$.\\
Sei nun $g \in A, x \in X$.
Schreibe $g = \underset{\in I_x}{\underbrace{g - g(x)}} + g(x) \Rightarrow
\partial'(g) = \partial'(g \cdot g(x)) \in I_x$\\
d.h. $\partial'(y)(x) = 0 \Rightarrow \partial'(y) = 0 \Rightarrow \partial' =
0$
\end{nnBsp}
\begin{Prop}
\begin{enumerate}
\item[a)]
$\Omega_{\cdot/R}$ ist ein Funktor. \underline{R-Alg} $\rightarrow$ \underline{R-Mod}.
\begin{Bew}
Sei $\varphi: A \rightarrow B$, $R$-Algebra-Homomorphismus
$$
\begin{xy}
\xymatrix{
A \ar[rr]^{d_A} \ar[d]_{\varphi} & & \ar@{-->}[d]^{\exists!\, d\varphi \text{ $A$-linear}} \Omega_{A/R} \\
B \ar[rr]^{d_B} & & \Omega_{B/R}
}
\end{xy}
$$
So ist $d_B \circ \varphi : A \rightarrow \Omega_{B/R}$
$d_B \circ \varphi(\lambda \cdot a) = d_B(\lambda \varphi(a)) = \lambda d_B(\varphi(a))$ $\forall$ $\lambda \in R, a \in A$.\\
$d_B \circ \varphi(a_1 \cdot a_2) = d_B(\varphi(a_1) \cdot \varphi(a_2)) = \varphi(a_1) \cdot d_B(\varphi(a_2)) + \varphi(a_2) \cdot d_B(\varphi(a_1))$
$\Rightarrow$ Derivation, wenn $\Omega_{B/R}$ vermöge $\varphi$ als $A$-Modul aufgefasst wird.
[Man kann $\Omega_{A/R}$ aufwerten zum $B$-Modul durch $\otimes_A B$:]
$$
\begin{xy}
\xymatrix{
A \ar[rr]^{d_A} \ar[d]_{\varphi} & & \ar@{-->}[d]^{\exists!\, d\alpha \text{ $B$-linear}} \Omega_{A/R} \otimes_A B \\
B \ar[rr]^{d_B} & & \Omega_{B/R}
}
\end{xy}
$$
Etwa durch $\alpha(\omega \otimes b) = b \cdot d\varphi(\omega)$
\end{Bew}
\item[b)]
$$\Omega_{A/R} \otimes_A B \overset{\alpha}{\rightarrow} \Omega_{B/R} \overset{\beta}{\rightarrow} \Omega_{B/A} \rightarrow 0$$
ist exakte Sequenz von $B$-Moduln für jeden $R$-Algebra-Homomorphismus $\varphi: A \rightarrow B$
\begin{Bew}
$\beta$ surjektiv: $\checkmark$ (Konstruktion von $\Omega_{\cdot/\cdot}$)
,,$\beta \circ \alpha = 0$`` (d.h. $\Bild(\alpha) \subseteq \Kern(\beta)$)\\
$d_{B/A}\varphi(a) = 0$ für jedes $a \in A$. \\
(In $\Omega_{B/A}$ werden alle ,,konstanten $A$-Funktionen`` durch die Derivation zu 0).
,,$\Kern(\beta) \subseteq \Bild(\alpha)$``,\\
Sei $\omega = \sum_{i=1}^n{b_i} d_{B/R}(c_i) \in \Kern(\beta)$ mit $b_i,c_i \in B$\\
Dann ist $\beta(\omega) = \sum_{i=1}^n{b_i d_{B/A}}(c_i) = 0$\\
$\Rightarrow$ $\sum_{i=1}^n{b_i x_{c_i}} \in U_{B/A}$ (im freien $B$-Modul mit Basis $\{ x_b : b \in B \}$ vgl Beweis zu \ref{1.21})\\
$\Rightarrow$ $\sum_i b_i x_{c_i} = \sum_j b_j \underbrace{(x_{f_j + g_j} - x_{f_j} - x_{g_j})}_{\in U_{B/R}} + \sum_k b'_k (x_{\varphi(\lambda_k) g_k} - \varphi(\lambda_k) x_{g_k}) + \sum_l b''_l \underbrace{(x_{f_l g_l} - f_l x_{g_l} - g_l x_{f_l})}_{\in U_{B/R}}$ für gewisse $b_j, b'_k, b''_l \in B$, $f_j,f_k,f_l,g_k,g_j,g_l \in B$, $\lambda_k \in A$
$\Rightarrow w = \sum_k b'_k (d_{B/R}(\varphi(\lambda_k) g_k) - \varphi(\lambda_k) d_{B/R}(g_k))$\\
$= \sum_k b'_k (\varphi(\lambda_k) d_{B/R}(g_k) + g_k d_{B/R}(\varphi(\lambda_k)) - \varphi(\lambda_k) d_{B/R}(g_k))$\\
$= \sum_k b'_k g_k d_{B/R}(\varphi(\lambda_k))
= \alpha(\sum_k d\lambda_k \otimes b'_k g_k)$
\end{Bew}
\end{enumerate}
\end{Prop}
