# nLab universal differential envelope

## Motivation

$k$-linear derivations of a (not necessarily commutative) associative unital $k$-algebra $A$ with values in $A$-bimodules are often considered: these are $k$-linear maps $d:A\to M$ satisfying the Leibniz identity: $d\left(ab\right)=d\left(a\right)b+ad\left(b\right)$. One would like to construct a universal construction of that kind.

## Definitions

The triple $\left(A,M,d\right)$ is then called a differential calculus over $A$, provided $M$ is in the $k$-linear span of all expressions of the form $ad\left({b}_{1}\right)d\left({b}_{2}\right)\cdots d\left({b}_{n}\right)$ where $a,{b}_{1},\dots ,{b}_{n}\in A$. Morphisms of differential calculi over $A$ are straightforward to define. A universal object in that category is the universal differential calculus and $\Omega A=M$ in that case is called the universal differential envelope of $A$. It is constructed as the quotient of the tensor algebra $TA$ modulo the ideal generated by the (“augmentation”) kernel $I\subset A\otimes A$ of the multiplication map $A\otimes A\to A$; then $da=1\otimes a-a\otimes 1$.

This is a bit confusing. The subbimodule $I$ should rather be the degree-1 component of $\Omega A$ (see Bourbaki, Algèbre III, paragraph Problème universel pour les dérivations: cas non commutatif). —Benoit Jubin

Eric: I’m probably confused, but $A$ is degree-0 and $A\otimes A$ is degree-1.

Benoit Jubin: I agree. To me, we should have $\Omega A=A\oplus I\oplus \dots$, whereas the article currently proposes $\Omega A=\mathrm{TA}/⟨I⟩$.

The bimodule $\Omega A$ is in fact a $k$-algebra, generated by degree-$1$ elements (in $A$); differential $d:A\to \Omega A$ can be naturally extended along the inclusion $A↪\Omega A$ to a differential $d:\Omega A\to \Omega A$ satisfying the Leibniz rule, by setting $d1=0$, $d\left(wy\right)=d\left(w\right)y+\left(-1{\right)}^{p}wd\left(y\right)$, where $w,y$ are forms and $w\in {\Omega }^{p}A$ is homogeneous.

## Discussion

Eric: I have some notes on my personal web, but they need work before transferring them here.

Revised on October 18, 2010 10:29:51 by Eric Forgy (220.241.233.67)