![](//s1.studylibfr.com/store/data-gzf/aeafa2a32abaa5ad8a1ae9186067c996/1/000939323.htmlex.zip/bg1.jpg)
arXiv:math/0105212v1 [math.QA] 25 May 2001
Les alg`ebres de Hopf des arbres enracin´es d´ecor´es
L. Foissy
Laboratoire de Math´ematiques - UMR6056, Universit´e de Reims
Moulin de la Housse - BP 1039 - 51687 REIMS Cedex 2, France
1 Introduction
Dans [1, 3], une alg`ebre de Hopf des arbres enracin´es HRest introduite dans le
but d’´etudier un probl`eme de renormalisation. Cette alg`ebre de Hopf est commutative,
non cocommutative, et v´erifie une propri´et´e universelle en cohomologie de Hochschild. On
montre que le dual gradu´e de cette alg`ebre de Hopf est l’alg`ebre enveloppante de l’alg`ebre
de Lie des arbres enracin´es ; enfin, on construit dans [5] une bigraduation de HRqui
permet de calculer les dimensions des composantes homog`enes de l’espace des ´el´ements
primitifs de HR, sans toutefois donner une expression pour ces ´el´ements.
Dans ce papier, comme il ´etait sugg´er´e dans [3], nous introduisons une nouvelle alg`ebre
de Hopf HD
P,R, ni commutative, ni cocommutative, g´en´eralisant la construction pr´ec´edente.
Apr`es quelques r´esultats pr´eliminaires sur les alg`ebres de Hopf gradu´ees, nous montrons
que cette alg`ebre v´erifie une propri´et´e universelle en cohomologie de Hochschild. On mon-
tre de plus que son dual gradu´e (HD
P,R)∗gest isomorphe `a HD
P,R ; ce r´esultat permet de
construire un couplage de Hopf non d´eg´en´er´e ( ,) entre HD
P,R et elle-mˆeme. La base duale
(eF) de la base des forˆets est particuli`erement bien adapt´ee au calcul du coproduit ; en
particulier, elle permet de trouver facilement les ´el´ements primitifs de HD
P,R. De plus, nous
donnons un sens combinatoire au couplage ( ,), ce qui permet de donner une expression
combinatoire directe des ´el´ements primitifs. Ces r´esultats permettent de montrer que HP,R
est isomorphe `a l’alg`ebre de Hopf des arbres plans binaires introduite dans [13].
Enfin, on d´emontre plusieurs r´esultats sur les cog`ebres tensorielles ; appliqu´es `a HR,
ils permettent de retrouver les r´esultats de [3]. On termine en montrant que les alg`ebres
de Hopf des arbres plans d´ecor´es par un ensemble Dfini ou d´enombrable (voir [4]) sont
toutes isomorphes.
2 Dual gradu´e
2.1 Cas d’un espace vectoriel
Soit Vun espace vectoriel sur un corps commutatif K. On suppose Vmuni d’une
graduation (Vn)n∈N, telle que dim(Vn) soit finie pour tout n. Pour tout x∈V,x6= 0, on
pose poids(x) = min{n/x ∈V0⊕...⊕Vn}.
On identifie V∗
navec {f∈V∗/f(Vk) = (0) si k6=n} ⊆ V∗, et on pose V∗g=LV∗
n=
{f∈V∗/∃n0, f(Vn) = (0) si n≥n0}.V∗gest un espace gradu´e, avec (V∗g)n=V∗
n.
1