Algèbres de Hopf combinatoires et applications

publicité
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres de Hopf combinatoires et applications
Loïc Foissy
10 octobre 2014
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Formalisme des algèbres de Hopf
Graduation
Les algèbres de Hopf combinatoires sont des algèbres de Hopf
graduées, connexes, souvent basées sur une famille d’objets
combinatoires (mots, permutations, ensembles ordonnés,
arbres. . . )
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Formalisme des algèbres de Hopf
Graduation
Soit A un espace vectoriel. Le carré tensoriel de A est un
espace vectoriel A ⊗ A, muni d’un produit bilinéaire
⊗ : A × A −→ A ⊗ A, satisfaisant une propriété universelle.
Si (ei )i∈I est une base de A, alors (ei ⊗ ej )i,j∈I est une
base de A ⊗ A.
Si A est une algèbre associative, son produit
m : A × A −→ A devient une application linéaire
m : A ⊗ A −→ A. L’associativité de A est traduite par le
diagramme commutatif d’applications linéaires suivant :
m⊗Id
A⊗A⊗A
Id⊗m
A⊗A
Loïc Foissy
/A⊗A
m
m
/A
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Formalisme des algèbres de Hopf
Graduation
En dualisant l’axiome d’associativité, on obtient la notion
de cogèbre : une cogèbre est un espace vectoriel C muni
d’un coproduit ∆ : C −→ C ⊗ C, vérifiant :
C
∆
C⊗C
/C⊗C
∆
Id⊗∆
/C⊗C⊗C
∆⊗Id
Une algèbre de Hopf est à la fois une cogèbre et une
algèbre, avec l’axiome de compatibilité :
∆(xy ) = ∆(x)∆(y ).
(Et une condition technique d’existence d’un antipode).
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Formalisme des algèbres de Hopf
Graduation
Exemples
Si G est un groupe, KG est une algèbre de Hopf, avec
∆(x) = x ⊗ x pour tout x ∈ G.
Si g est une algèbre de Lie, son algèbre enveloppante est
une algèbre de Lie, avec ∆(x) = x ⊗ 1 + 1 ⊗ x pour tout
x ∈ g.
Si H est une algèbre de Hopf de dimension finie, son dual
est aussi une algèbre de Hopf.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Formalisme des algèbres de Hopf
Graduation
Algèbres de Hopf H graduées connexes
M
1
H=
Hk , avec H0 = K 1H .
k ≥0
2
Pour tous k , l ≥ 0,
m(Hk ⊗ Hl ) ⊆ Hk +l .
3
Pour tout n ≥ 0,
M
∆(Hn ) ⊆
Hk ⊗ Hl .
k +l=n
Série formelle de H :
FH (x) =
∞
X
dim(Hk )x k .
k =0
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
L’algèbre FQSym (ou algèbre de Malvenuto-Reutenauer) a
pour base l’ensemble des permutations.
Son produit est donné par les battages décalés :
(12)(123) = (12)(345)
= (12345) + (13245) + (13425) + (13452)
+(31245) + (31425) + (31452) + (34125)
+(34152) + (34512).
Son coproduit est donné par la standardisation :
∆(1432) = (1432) ⊗ 1 + (143) ⊗ (2)
+(14) ⊗ (32) + (1) ⊗ (432) + 1 ⊗ (1432)
= (1423) ⊗ 1 + (132) ⊗ (1)
+(12) ⊗ (21) + (1) ⊗ (321) + 1 ⊗ (1432).
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Proposition
FQSym est graduée par la taille des permutations.
Elle est librement engendrée par les permutations
indécomposables : σ ∈ Sn est décomposable s’il existe
1 ≤ i ≤ n − 1 tel que σ({1, . . . , i}) = {1, . . . , i}.
Elle est isomorphe à son dual, via le couplage défini par
hσ, τ i = δσ,τ −1 (couplage de Hopf non dégénéré).
Elle est donc colibre.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Autres exemples
L’algèbre des fonctions de parking (Novelli-Thibon).
L’algèbre des permutations par blocs (Aguiar-Orellana).
L’algèbre des compositions ensemblistes / des mots
tassés.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
L’algèbre des arbres enracinés HCK est utilisée par Connes et
Kreimer pour la Renormalisation en Théorie des Champs
Quantiques.
Une base de cette algèbre est donnée par les forêts
enracinées :
q q qq
q
q
1, q , q q , q , q q q , q q , ∨q , q ,
q
qq
qqq q q ∨
q
q
q q q q qq
q q q q , q q q , q q , ∨q q , q q , ∨q , ∨q , q ,
qq
q
q ...
Le produit est donné par l’union disjointe des forêts.
qq
qq
qq
qq
∨q . qq = ∨q qq = qq ∨q = qq . ∨q .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Le coproduit est donné par les coupes admissibles :
X
∆(t) =
P c (t) ⊗ R c (t).
c coupe admissible
q
qq
∨q
∨q
coupe c
Admissible ? oui oui
∨q
oui
∨q
∨q
oui non
q
qq
q
qq
∨q
oui
∨q
totale
non
oui
qq qq
qq
q ∨q
q q qq
qq q q
qq q q
qqqq
q
qq
∨q
qq
qq
∨q
qq
qq
qq
q
∨q
oui
×
q
qq
×
1
×
qq q
qq
×
q
qq
∨q
q
qq
∨q
W c (t)
R c (t)
P c (t)
q
1
q
q
qq
qq
q
qq
q
q
q
qq
q
qq
q
qq
q
q
qq
∨q
qq q
q q
qq
qq
qq
q
q
q
∆( ∨q ) = ∨q ⊗1+1⊗ ∨q + q ⊗ q + q ⊗ ∨q + q ⊗ q + q q ⊗ q + q q ⊗ q .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Application
Renormalisation de Théorie Quantique de Champs
Classification des équations de Dyson-Schwinger :
X = B(f (X )),
avec B l’opérateur de greffe.
q
qq
qq q
B( ) = ∨q .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
L’algèbres des arbres plans HNCK est une version non
commutative de HCK .
Une base de cette algèbre est donnée par les forêts
planes enracinées :
q
q
q
q qq q
1, q , q q , q , q q q , q q , q q , ∨q , q ,
q q q q qq q q qq q q
qq
qq q
q q q q , qq q q , q qq q , q q qq , qq qq , ∨q q , q ∨q , qq q , q qq , ∨q , ∨q , ∨q , ∨qq ,
Le produit est donné par la concaténation des forêts
planes.
qq
qq
q qq
q qq
∨q . qq = ∨q qq ,
q . ∨q = q ∨q .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
q
qq
q
...
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Coproduit :
q
q
q
q
qq
qq q q
qq
qq
q q
q
∆( ∨q ) = ∨q ⊗1+1⊗ ∨q + q ⊗ q + q ⊗ ∨q + q ⊗ q + q q ⊗ q + q q ⊗ q .
q
q
q
qq
qq
qq
qq q q
qq
q
q
∆( ∨q ) = ∨q ⊗1+1⊗ ∨q + q ⊗ q + q ⊗ ∨q + q ⊗ q + q q ⊗ q + q q ⊗ q .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Proposition
Cette algèbre est graduée par le nombre de sommets des
forêts. Sa série formelle est :
√
1 − 1 − 4X
.
2X
Elle est librement engendrée par l’ensemble des arbres
enracinés plans.
Elle est isomorphe à son dual.
Elle est donc colibre.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Isomorphisme φ entre HNCK et son dual :
q
q
1
qq
qq
qq
q
q
2
1
1
0
Loïc Foissy
qqq
q
q q
q qq
qq
∨q
qq
q
qqq
qq q
q qq
6
3
3
2
3
1
1
1
1
0
qq
qq
q
3
1
1
0
∨q
2
1
0
0
1
0
0
0
0
0
0
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres des permutations
Algèbres d’arbres
Autres exemples
Si D est un ensemble gradué, on peut construire l’algèbre
des arbres plans enracinés décorés par D.
a q qb
a q qb
q
q
a q qb
∆( ∨qc ) = ∨qc ⊗ 1 + 1 ⊗ ∨qc + q a ⊗ q bc + q b ⊗ q ac + q a q b ⊗ q c .
L’algèbre de Hopf des forêts ordonnées.
1 q q3
1 q q3
1 q q3
q
q
∆( ∨q2 ) = ∨q2 ⊗ 1 + 1 ⊗ ∨q2 + q 1 ⊗ q 21 + q 1 ⊗ q 12 + q 1 q 2 ⊗ q 1 .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Une bigèbre bidendriforme est une algèbre de Hopf dont le
produit peut s’écrire m =≺ + et le coproduit peut s’écrire
∆ = ∆≺ + ∆ , avec les compatibilités suivantes :
Algèbre dendriforme :
(a ≺ b) ≺ c = a ≺ (bc)
(a b) ≺ c = a (b ≺ c)
(ab) c = (a b) c.
Cogèbre dendriforme :
(∆≺ ⊗ Id) ◦ ∆≺ = (Id ⊗ ∆) ◦ ∆≺
(∆ ⊗ Id) ◦ ∆≺ = (Id ⊗ ∆≺ ) ◦ ∆
(∆ ⊗ Id) ◦ ∆≺ = (Id ⊗ ∆ ) ◦ ∆ .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Compatibilités entre les deux produits et les deux
coproduits :
0
00
0
00
∆ (a b) = a0 b
⊗ a00 b
+ a0 ⊗ a00 b + b
⊗ a b
0
00
+ab
⊗ b
+ a ⊗ b,
0
00
0
00
∆ (a ≺ b) = a0 b
⊗ a00 ≺ b
+ a0 ⊗ a00 ≺ b + b
⊗ a ≺ b
,
0
00
0
00
∆≺ (a b) = a0 b≺
⊗ a00 b≺
+ ab≺
⊗ b≺
0
00
⊗ a b≺
,
+b≺
0
00
∆≺ (a ≺ b) = a0 b≺
⊗ a00 ≺ b≺
+ a0 b ⊗ a00
0
00
+b≺
⊗ a ≺ b≺
+ b ⊗ a.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Théorème de rigidité
Les bigèbres bidendriformes libres sont les algèbres
d’arbres plans décorés.
Toute bigèbre bidendriforme graduée et connexe est
librement engendrée (comme algèbre dendriforme) par les
éléments primitifs pour les coproduits ∆≺ et ∆ , donc est
une algèbre de Hopf d’arbres plans décorés.
Les décorations correspondent à une base des éléments
primitifs pour les deux coproduits.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Par exemple, FQSym est bidendriforme :
(12) ≺ (123) = (12345) + (13245) + (13425) + (13452)
(12) (123) = (31245) + (31425) + (31452) + (34125)
+(34152) + (34512).
∆≺ (2314) = (2314) ⊗ 1 + (231) ⊗ (1)
∆ (2314) = (12) ⊗ (12) + (1) ⊗ (213) + 1 ⊗ (2314).
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Corollaire
1
FQSym est isomorphe à une algèbre d’arbres plans
décorés pour un certain ensemble de décorations.
6
7
8
n 1 2 3 4 5
dn 1 0 1 6 39 284 2305 20862
2
La sous-algèbre dendriforme de FQSym engendrée par
(1) est isomorphe à HNCK .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Morphisme injectif de HNCK dans FQSym :
q
q
q
qq
q q
∨q
q
qq
q qq
qq q
qqq
−→ (1)
−→ (12)
−→ (12) + (21)
−→ (123) + (132)
−→ (123)
−→ (123) + (213) + (231)
−→ (123) + (132) + (312)
−→ (123) + (132) + (213) + (231) + (312) + (321)
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Ordres linéaires sur une forêt ordonnée
Soit F une forêt ordonnée à n sommets et soit σ ∈ Sn . On dit
que σ est un ordre linéaire sur F si pour tous 1 ≤ i, j ≤ n,
(j → i dans F ) =⇒ (σ −1 (i) < σ −1 (j)).
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Théorème
L’application suivante définit un morphisme surjectif de l’algèbre
de Hopf des forêts ordonnées vers FQSym :
X
F −→
ordre linéaire sur F .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
q1
qj
qi
q1 q2
q q
∨qi k
qq k
q ji
q
q i q kj
q
q ji q k
j
q1 q2 q3
Algèbres dendriformes
Applications
Ordres linéaires
−→ (1)
−→ (ij)
−→ (12) + (21)
−→ (ijk ) + (ikj)
−→ (ijk )
−→ (ijk ) + (jik ) + (jki)
−→ (ijk ) + (ikj) + (kij)
−→ (123) + (132) + (213) + (231) + (312) + (321)
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Forêts ordonnées en tas
Soit F une forêt ordonnée à n sommets. Elle est ordonnée en
tas si pour tous 1 ≤ i, j ≤ n,
(i → j dans F) =⇒ (i > j).
Forêts ordonnées en tas ayant au plus trois sommets :
q
1, q 1 , q 21 , q 1 q 2 ,
2
q q q3
∨q1 3 , qq 21 , qq 21 q 3 , qq 31 q 2 , q 1 qq 32 , q 1 q 2 q 3 .
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Algèbres dendriformes
Applications
Ordres linéaires
Théorème
L’application suivante définit un isomorphisme de l’algèbre de
Hopf des forêts ordonnées en tas vers FQSym :
X
F −→
ordre linéaire sur F .
Applications : théorie des chemins rugueux.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
(12) −→
q1
qq 2
(123) −→
q3
qq 2
1
(1) −→
Algèbres dendriformes
Applications
Ordres linéaires
1
q
(21) −→ − q 21 + q 1 q 2
q3
qq
q
2
3
(132) −→ − q 21 + ∨q1
q
2 q q3
(213) −→ − ∨q1 + q 31 q 2
qq 3
2 q q3
q
q
(231) −→ − q 21 + ∨q1 − q 31 q 2 + q 1 q 32
2 q q3
q
(312) −→ − ∨q1 + q 21 q 3
(321) −→
qq 3
q 21 − q 1 qq 32 − qq 21 q 3 + q 1 q 2 q 3
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Introduction
Exemples
Des forêts aux permutations
Résultats généraux sur les algèbres de Hopf libres et colibres
Théorème
1
2
Soit H une algèbre de Hopf libre et colibre. Alors elle est
isomorphe à son dual.
Soient H et H 0 deux algèbres de Hopf libres et colibres.
Alors elles sont isomorphes si, et seulement si, elles ont la
même série formelle.
Loïc Foissy
Algèbres de Hopf combinatoires et applications
Téléchargement