Anneaux direntiels et drivations de Khler

Marc SAGE
30 avril 2009
Tous les anneaux considrs seront unitaires.
1 Drivation algbrique
Dnition.
Soient et 1 deux anneaux.
Une drivation de dans 1 est un morphisme
_
1
a a
0
de groupes additifs vriant la formule de
Leibniz :
\r, j , (rj)
0
= r
0
j +rj
0
.
Un anneau muni dune drivation valeurs dans lui-mme est appel anneau direntiel.
Lexemple historique est bien sr la drivation usuelle des fonctions rlles drivables sur un intervalle 1 inni
(drivation prenant ses valeurs dans lanneau R
I
). Nous verrons la section suivante une description exhaustive
des drivations dune sous-algbre de R
I
ainsi quun rponse la question : peut-on prolonger la drivation
usuelle sur 1
1
(1, R) C
0
(1, R).
Des exemples danneaux direntiels sont lanneau Z[A] des polynmes coecients entiers, lanneau des
fonctions relles de classe C
1
sur un intervalle inni, le corps C(A) des fractions rationnelles complexes,
lanneau des fonctions holomorphes sur un ouvert de C.
Proprits basiques.
Soit 1 une drivation.
Prendre r = j = 1 dans la formule de Leibniz montre que
1
0
= 0.
Des rcurrences immdiates donnent la drive dune puissance (entire positive)
(a
n
)
0
= :a
n1
a
0
ainsi que les drives sucessives dun produit (formules de Leibniz )
(a/)
(n)
=

p+q=n
_
:
j
_
a
(p)
/
(q)
,
(a
1
a
2
a
k
)
(n)
=

p1+p2++p
k
=n
_
:
j
1
j
2
j
k
_
a
(p1)
1
a
(p2)
2
a
(p
k
)
k
.
Anneau des constantes.
Le noyau dune drivation 1 est un sous-groupe additif de , et mme un sous-anneau daprs la
formule de Leibniz, appel anneau des constantes. En le notant C, la drivation a a
0
devient une application
C-linaire.
Par exemple, les constantes de la drivation usuelle des applications drivables sont les fonctions constantes,
ce qui justie la terminologie employe.
1
Un autre drivation des polynmes.
Soit un annneau direntiel. La drivation induit une application linaire sur
N
qui agit par drivation
sur chaque coordonne, Pour 1 =

a
i
A
i
dans [A] vu dans
N
, on notera son image par cette drivation
produit ( ne pas confondre avec la drive usuelle 1
0
)
0
1 :=

a
0
i
A
i
.
Observer quun polynme coecients dans lanneau des constantes est annul par 1
0
1, en particulier les
monmes, do la formule de Leibniz pour ces derniers (elle scrit 0 = 0), donc pour tous les polynmes (par
linairit). On dispose donc dune drivation sur [A] qui prolonge clairement celle de .
Un des intrets de cette drivation est quelle permet dexprimer la drive dun polynme de [A] valu
en un lment de . Pour un monme `A
n
, on trouve
(`a
n
)
0
= `:a
n1
a
0
+`
0
a
n
= a
0
[`A
n
]
0
(a) +
0
[`A
n
] (a) ,
do par linarit la formule gnrale
1 (a)
0
= 1
0
(a) a
0
+
0
1 (a) .
Extension direntielle.
Une extension direntielle est une extension danneaux direntiels telle que la drivation de lanneau
darrive prolonge celle de lanneau de dpart.
Exemple. Lorsque est un anneau direntiel commutatif intgre, sa drivation se prolonge dune
unique faon en une drivation du corps des fractions de . Lunicit dobtient en drivant lgalit
a
b
/ = a,
do la formule connue du quotient
_
a
/
_
0
=
a
0
/ a/
0
/
2
.
On laisse au soin du lecteur vrier que la formule ci-dessus ne dpend pas des reprsentants (a, /) de la fraction
et quelle satisfait la formule de Leibniz.
2 Drivations de Khler
Soit 1 un intervalle inni de R et une sous-R-algbre non nulle de R
I
. On pensera aux applications / fois
drivables ou de classe C
k
pour / = 0, 1, ..., .
On sintresse aux drivations linaires
1
de envoyant Id sur 1.
Remarque. Une drivation tant additive, la linarit quivaut lhomognit, laquelle implique la
nullit des `
0
pour ` application constantes :
`
0
= (` 1)
0
= ` 1
0
= ` 0 = 0.
Rciproquement, dire que les fonctions constantes sont dans lanneaux des constantes montre la R-linarit de
la drivation via la formule de Leibniz.
Proposition.
Soit d une drivation linaire sur C
1
(1, R) envoyant lidentit sur 1. Alors d concide avec la drivation
usuelle sur 1
2
(1, R).
Dmonstration.
Soit ) deux fois drivable. Fixons a 1 et montrons que d ()) (a) = )
0
(a).
1
A est un R-ev
2
On crit ) ) (a) = (Ida) q o q est une application envoyant a sur )
0
(a). En admettant un moment
que q soit C
1
(et donc que d (q) soit dni), on a donc
d ()) = d () ) (a)) car d annule les constantes
= d ((Ida) q)
= d (Ida) q + (Ida) d (q) car tout est C
1
= d (Id) q + (Ida) d (q) car d annule les constantes
= q + (Ida) q
0
car d envoie Id sur 1,
do en valuant en a
d ()) (a) = q (a) = )
0
(a) , CQFD.
Montrons que q est bien C
1
. Dj, q est bien continue sur 1 par dnition de )
0
(a). Ensuite, q est C
1
sur
1 a : il reste montrer que q est drivable en a et que q
0
est continue en a.
Dune part, on a (pour r ,= a)
q (r) q (a)
r a
=
f(x)f(a)
xa
)
0
(a)
r a
=
) (r) ) (a) )
0
(a) (r a)
(r a)
2
=
1
2
)
00
(a) +o (r a)
1
2
)
00
(a) ,
donc q est drivable en a avec q
0
(a) =
1
2
)
00
(a), dautre part on a (pour r ,= a)
q
0
(r) =
d
dr
) (r) ) (a)
r a
=
)
0
(r) (r a) +) (r) ) (a)
(r a)
2
=
)
0
(r) )
0
(a)
r a
. .
!f
00
(a)
+
)
0
(a) (r a) +) (r) ) (a)
(r a)
2
. .
=
1
2
f
00
(a)+o(xa)

1
2
)
00
(a) , CQFD.
Question. Pour faire marcher ce qui prcde, on a besoin que d soit dni en q qui est moins rgulire
que ). En particulier, si ) est juste drivable, q est juste continue. Lidal serait donc de pouvoir prolonger d
(dnie sur les applications drivables) sur les fonctions continues tout en conservant la formule du produit. Or,
lon va montrer quune drivation linaire sur C
0
(1, R) est ncessairement nulle.
Pire : on va montrer que, sans autre conditions, il y a beaucoup de drivations (autant que de rels !) autres
que la drivation usuelle.
Peut-on sauver la mise en imposant d de tranformer les application C
1
en des applications continues ? Jy
rchis encore...
Dnitions Notations. Pour a dans 1, on appellera
1. a-drivation sur toute forme linaire ) )
0
sur telle que
\), q , ()q)
0
= ) (a) q
0
+q (a) )
0
;
2. m
a
lidal
2
des applications 1 R sannulant en a ;
3. n
a
lidal m
2
a
:=

m
a
m
a
form des sommes nies de produits de deux lments de m
a
(cest un sev de
m
a
) ;
4. \
a
le R-ev quotient
ma

na
.
2
Lidal ma est maximal, do la notation.
3
Thorme. Les drivations linaires sur sont en bijection avec le produit

a2I
\

a
des duaux des \
a
pour a dcrivant 1.
Corollaires.
1. Sur R
I
et C
0
(1, R), il ny a pas dautre drivations linaires que lapplication nulle.
2. Sur 1
1
(1, R), la dimensions de lev des drivations linaires est suprieure au continu. Mme conclu-
sion pour lev des drivations linaires envoyant Id sur 1.
Dmonstration des corollaires.
1. Il ny pas de drivations linaires autre que lapplication nulle lorsque \
a
est nul pour tout a 1,
autrement dit lorsque n
a
= m
a
, ou (plus simplement) quand m
a
n
a
. Montrons que cest le cas pour
= R
I
et = C
0
(1, R).
Une application ) : 1 R sannulant en a scrit
) =
_
_
_
f
1
(R
+
)
_
)
. .
2ma
_
_
_
2
+
_
_
_
f
1
(R

)
_
)
. .
2ma
_
_
_
2
m
2
a
+ m
2
a
n
a
, CQFD.
Si ) est de plus continue, il sut de voir pourquoi les applications
f
1
(R
+
)
_
) et
f
1
(R

)
_
) sont
aussi continues sur 1.
Soit a 1 et montrons que
f
1
(R
+
)
_
) est continue en a.
Si ) (a) < 0, par continuit ) reste < 0 autour de a, donc
f
1
(R
+
)
_
) est nulle autour de a, a fortiori
continue.
Si ) (a) 0, on a
f
1
(R
+
)
_
) =
_
) autour de a, et mme conclusion.
Si ) (a) = 0, pour - 0, il y a un c 0 tel que [r a[ < c == [) (r) 0[ < -, et on conclut en
invoquant lingalit

f
1
(R
+
)
_
)

_
_
).
2. Pour = 1
1
(1, 1), montrons que \
a
contient une famille libre qui a la puissance du continu. On en
dduira
dimdrivations linaires sur = dim
_

a2I
\

a
_
_ dim\

a
_ dim\
a
_ 2
@0
, CQFD.
On exhibe pour cela les r (r a)
!
pour 1 _ . < 2. En eet, si

`
i
(r a)
!i
m
2
a
, en remarquant
quun ) m
a
est drivable et sannule a donc scrit ) (r) = (r a) q (r) avec q continue, on voit que les
lments de m
2
a
sont de la forme r (r a)
2
/(r) o / est continue. Divisant par (r a)
!
o . < 2 est
le plus grand .
i
tel que `
i
,= 0 et valuant en a, il vient `
i
= 0, absurde.
Si lon impose la condition d : Id 1, cela se traduit dans

a2I
\

a
, en identiant d la famille (,
a
)
de ses images, par la condition d
a
(Id) = 1 pour tout a. Cela revient se placer dans chaque \

a
dans
lhyperplan ane eval
Id
= 1 (o eval
f
est la forme linaire
_
\

a
R
, ,())
). Puisquon a montr que
\

a
est de dim innie, un hyperplan de \

a
restera de mme dimension, do la conclusion.
Dmonstration du thorme.
On commence par observer la bijection suivante (crire un petit peu)
_
_
_
drivations linaires sur

a2I
a-drivations sur
) )
0
) )
0
(a)
) [a d
a
())] (d
a
)
a2I
.
Il sut donc de montrer que les a-drivations sont en bijection avec \

a
pour tout a dans 1.
Fixons a dans 1.
4
Le sous-anneau contenant lapplication constante 1, faire ) = q = 1 dans la formule du produit donne
1
0
= 1
0
+ 1
0
, do 1
0
= 0, de sorte quune a-drivation annule les constantes.
Considrons une a-drivation sur . Daprs la formule du produit, elle sannule sur tout produit )q pour )
et q dans m
a
, donc sur tout n
a
, donc passe au quotient modulo n
a
. En restreignant auparavant notre drivation
de sur m
a
, on obtient une forme linaire sur \
a
.
Soit rciproquement , une forme linaire sur \
a
. En crivant pour ), q
)q )q (a) = ) (a) (q q (a)) +q (a) () ) (a)) + () ) (a)) (q q (a)) ,
on voit que lapplication ) ,() ) (a) modn
a
) est une forme linaire satisfaisant la formule du produit,
donc est une a-drivation.
Montrons que la correspondance sus-tablie est bijective :
_
_
_
a-drivations sur \

a
d d
j
mana
) ,() ) (a) modn
a
) ,
Soit d une a-drivation, , son image par la che ci-dessus. Pour ) , on a
,() ) (a) modn
a
)
= d () ) (a) modn
a
) pardnitiondelacheci-dessus
= d () ) (a)) par dnitino de d passe au quotient
= d ()) car d annule les constantes.
Soit , forme linaire sur \
a
, d son image par la che ci-dessus et c limage de d. Pour q dans m
a
, on a
c (q modn
a
)
= d (q modn
a
) par dnition de c
= d (q) car d sannule sur n
a
= ,(q q (a) modn
a
) par dnition de d
= ,(q modn
a
) car q sannule en a.
5