next up previous contents index
Next: Distinction entre et Up: L'algèbre différentielle Previous: Rappel sur les dérivations

Formes différentielles

Classiquement, une forme différentielle tex2html_wrap_inline25382 est une n-forme sur l'algèbre de Lie des champs de vecteurs, antisymétrique, linéaire par rapport aux scalaires, bien sur, mais aussi linéaire par rapport aux fonctions, et à valeur dans les fonctions.

On va définir ici les formes différentielles comme des objets qui soient des n-formes sur l'algèbre de Lie des dérivations de tex2html_wrap_inline25388 , antisymétrique, linéaire par rapport au scalaires, bien sur, mais aussi linéaire par rapport au centre tex2html_wrap_inline25390 de tex2html_wrap_inline25392 et à valeurs dans l'algèbre tex2html_wrap_inline25394 .

En d'autres termes, on pose

displaymath25396

Cette définition est due à [6]

C'est une algèbre différentielle graduée avec un produit défini par

displaymath25398

tex2html_wrap_inline25400 et tex2html_wrap_inline25402 , et o ù d est une différentielle définie comme suit: la forme différentielle tex2html_wrap_inline25406 peut se définir directement par son action sur tout (k+1)-uplet tex2html_wrap_inline25410 de dérivations, en posant

eqnarray6879

où le symbole tex2html_wrap_inline25412 désigne l'omission de l'argument correspondant.

En particulier, pour une 1-forme da (agissant sur la dérivation v) on a simplement

displaymath25420

On peut immédiatement vérifier que d est alors une dérivation graduée de degré 1 sur l'algèbre tex2html_wrap_inline25426 et que tex2html_wrap_inline25428

Les définitions qui précèdent sont tout à fait naturelles puisque ce sont exactement les mêmes que pour les différentielles habituelles (rappelons encore une fois que, dans le cas usuel de la géométrie "commutative", les dérivations d'algèbres tex2html_wrap_inline25430 de l'algèbre tex2html_wrap_inline25432 ne sont autres que les champs de vecteurs).



Robert Coquereaux
Thu Jun 20 15:52:24 MEST 2002