INTÉGRABILITÉ ET ALG`EBRES QUANTIQUES 1. Syst`emes

publicité
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
DAMIEN CALAQUE
1. Systèmes locaux et équations de Knizhnik-Zamolodchikov
1.1. Faisceaux.
1.1.1. Définition et exemples.
Soit X un espace topologique, qu’on supposera localement connexe et localement connexe
par arcs.
Définition 1.1. Un faisceau F sur X est la donnée
• d’un ensemble de sections F(U ) pour tout ouvert U de X,
• d’applications de restrictions rU,V : F(U ) → F(V ) pour tout inclusion V ⊂ U ,
satisfaisant les conditions suivantes :
(associativité) rV,W ◦ rU,V = rU,W si W ⊂ V ⊂ U ,
(recollement) soit U un ouvert de X, (Ui )i∈I un recouvrement de U par des ouverts, et si ∈ F(Ui ),
i ∈ I, des sections tels que pour tout (i, j) ∈ I 2 ,
rUi ,Uij (si ) = rUj ,Uij (sj ) .
Alors il existe une unique section s ∈ F(U ) telle que rU,Ui (s) = si quel que soit i ∈ I.
On parle de faisceau en groupes (resp. en espace vectoriels, en algèbres, etc...) si les
ensembles des section sont des groupes (resp. des espace vectoriels, des algèbres, etc...) et si
les applications de restriction sont des homomorphismes de groupes (resp. des applications
linéaires, des morphismes d’algèbres, etc...).
En l’absence d’ambiguı̈té, on note s|V := rU,V (s) la restriction d’une section s ∈ F(U ) à
un plus petit ouvert V ⊂ U .
Exemples 1.2. (i) X ⊃ U 7→ C 0 (U ) = {fonctions continues sur U } définit un faisceau (en
algèbres).
(ii) X ⊃ U 7→ C ∞ (U ), avec X une variété différentiable (par exemple un ouvert de Rn ),
définit un faisceau (en algèbres).
(iii) X ⊃ U 7→ Hol(U ), avec X une variété analytique complexe (par exemple un ouvert
de Cn ), définit un faisceau (en algèbres).
(iv) R ⊃ U 7→ {fonctions continues et intégrables sur U } n’est PAS un faisceau sur R.
(v) soit p : Y → X un homéomorphisme local, c.-a.-d. une application continue telle que
pour tout y ∈ Y il existe un voisinage ouvert W de y tel que p|W est un homéomorphisme
sur son image. On note F(U ) l’ensemble des applications continues s : U → p−1 (U ) telle
que p ◦ s = idU , qu’on appelle les sections de p. Montrer que la restriction de s à un plus
petit ouvert V ⊂ U est à valeurs dans p−1 (V ). En déduire que F est un faisceau sur X.
(vi) soit E un ensemble fixé. X ⊃ U 7→ E, avec rU,V = idE , est un faisceau. On note ce
faisceau E, qu’on qualifie de faisceau constant.
(vii) soit F un faisceau sur X et U un ouvert de X. Alors F|U : U ⊃ V 7→ F|U (V ) = F(V )
définit un faisceau sur U , qu’on appelle la restriction de F à U .
1
2
DAMIEN CALAQUE
Un morphisme de faisceaux f : F → G est la donnée d’applications f (U ) : F(U ) → G(U ),
pour tout les ouverts U ⊂ X, qui commute aux restrictions :
f (U )
F(U )
/ G(U )
rU,V
F(V )
rU,V
/ G(V )
f (V )
On dit que f est un isomorphisme si f (U ) est un isomorphisme quel que soit U .
1.1.2. Recoller des faisceaux.
Soit (Ui )i∈I un recouvrement de X par des ouverts. Étant donné un faisceau Fi sur
chaque Ui tel que pour tout couple (i, j) tel que1 Uij 6= ∅ on ait un isomorphisme de faisceaux
ϕij : Fi|Uij −→
˜ Fi|Uij , nous donnons maintenant une condition suffisante pour “recoller” les
faisceaux Fi en un faisceau F sur X :
(1.1)
ϕii = id
(ϕjk ◦ ϕij )|Uijk = ϕik |Uijk
et
Pour tout ouvert U de X, on définit F(U ) comme l’ensemble des (si )i∈I tels que si ∈
Fi (Ui ∩ U ) et ϕij (si |Uij ) = sj |Uij .
Exercice 1.3. Montrer que F défini comme précédemment est un faisceau sur X.
Deux tels faisceaux F et G recollé à l’aide de données locales (Fi , ϕij ) et (Gi , ψij ) pour un
˜ G|Ui
même recouvrement (Ui )i∈I sont isomorphes si il existe des isomorphismes fi : F|Ui −→
satisfaisant la suivante :
(1.2)
ψij ◦ fi |Uij = ϕij
1.1.3. Tiges et tirés-en-arrière.
Soit x ∈ X et F un faisceau sur X. La tige Fx de F en x est le quotient de la réunion
disjointe des F(U ) pour U ∋ x par la relations d’équivalence suivante : deux sections si ∈
F(Ui ), i = 1, 2, sont équivalentes si il existe un ouvert V ⊃ U1 ∩ U2 ∋ x sur lesquels leurs
restrictions coincident : s1|V = s2|V .
Les éléments de la tige Fx sont appelés les germes de sections de F en x.
Étant donné une application continue f : Y → X entre deux espaces topologiques et un
faisceau F sur X, on peut construire un faisceau f ∗ F sur Y , appelé tiré-en-arrière de F le
long de f , qui est tel que (f ∗ F)y = Ff (y) . On n’explicite pas cette construction pour les
faisceaux (qui est un peu compliquée) dans la mesure où nous verrons une construction ad
hoc plus simple dans le cas des systèmes locaux.
1.2. Systèmes locaux et groupe fondamental.
1.2.1. Définition et exemple principal.
Définition 1.4. Un système local sur X est un faisceau L de C-espaces vectoriels localement
isomorphe à un faisceau constant du type Cn . Plus précisément, quel que soit x ∈ X il existe
un voisinage ouvert U de x tel que L|U ∼
= Cn (n ∈ N n’est pas nécessairement fixé).
Par conséquent, étant donné un système local L sur X il existe un recouvrement (Ui )i
de X par des ouverts tels que L|Ui ∼
= Cni . Pour tout couple (i, j) tel que Uij 6= ∅, notons
nj
ni
˜ C l’isomorphisme suivant:
ϕij : C −→
id
id
˜ Cnj .
˜ L|Ui −→ L|Uij −→ L|Uj −→
Cni −→
1Pour un suite d’indices i , . . . , i , on note U
1
i1 ···ik := Ui1 ∩ · · · Uik .
k
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
3
De plus la condition d’associativité impose que
(1.3)
ϕii = id
et
ϕjk ◦ ϕij = ϕik
pour tout triplet (i, j, k) tel que Uijk 6= ∅. Dans ce contexte une section s ∈ L(U ) correspond
à la donnée d’un vecteur vi ∈ Cni pour chaque i tel que Ui ∩ U 6= ∅ satisfaisant la condition
de recollement suivante : ϕij (vi ) = vj pour tout couple (i, j) tel que Uij ∩ U 6= ∅.
Réciproquement, la donnée d’un recouvrement (Ui )i∈I de X par des ouverts et d’isomorphismes
de transition ϕij : Cni → Cnj satisfaisant (1.3) suffit à définir un sysème local sur X.
Remarque 1.5. Si X est connexe alors ni = nj quels que soient i et j.
Exercice 1.6. Supposons que X est un ouvert de Cn et considérons un système complet
d’équations aux dérivées partielles linéaires du premier ordre à coefficients holomorphes:
∂f
= Ki (f )
∂zi
∀i ∈ {1, . . . , n}, Ki ∈ Hol(X, End(V ) ,
où V est un C-espace vectoriel. Pour tout ouvert U ∈ X on note S(U ) l’ensemble des
solutions de ce système d’EDP. S définit un faisceau en C-espaces vectoriels sur X (avec les
applications de restrictions évidentes).
Montrer que S est un système local si et seulement si le système d’EDP est intégrable (on
dit aussi compatible) :
∂Ki
∂Kj
−
= [Ki , Kj ]
∂zj
∂zi
(quels que soient i et j) .
1.2.2. Tiré-en-arrière et représentation de monodromie.
Soit f : Y → X une application continue et L un système local sur X. Donnons-nous un
˜ Cnj
recouvrement (Ui )i∈I de X par des ouvertes tels que L|Ui ∼
= Cni , et notons ϕij : Cni −→
les isomorphismes de transition.
Le tiré-en-arrière f ∗ L de L par f peut être décrit de la manière suivante (on peut prendre
cette description comme une définition de f ∗ L) : on considère le recouvrement de Y donné
par les ouverts Vi := f −1 (Ui ), et on exige que (f ∗ L)|Vi = Cni avec les même isomorphismes
˜ Cnj que pour L.
de transition ϕij : Cni −→
On considère maintenant le cas particulier où Y = [0, 1]. Pour tout chemin γ : [0, 1] → X,
on a alors un système local V := γ ∗ L sur [0, 1].
Lemme 1.7. Tout système local V sur [0, 1] est isomorphe au faisceau constant V0 .
Démonstration. On recouvre [0, 1] par des intervalles ouverts Uk ⊂ [0, 1], k = 1, . . . , l, tels
que 0 ∈ U1 , 1 ∈ Ul , Uk ∩Uk+1 6= ∅, et V|Uk ∼
= C nk . Montrons maintenant que V est isomorphe
n1
au faisceau constant C .
Quel que soit k ∈ {1, . . . , l}, on définit par l’isomorphisme
˜ C nk −→
˜ V|Uk ,
fk : C n1 −→
˜ Cnk . Il est
où le premier isomorphisme est donné par ϕ(k−1)k ◦ · · · ◦ ϕ23 ◦ ϕ12 : Cn1 −→
assez facile de vérifier que la condition (1.2) est satisfaite, et que l’on peut ainsi recoller ces
données locales pour obtenir un isomorphisme de faisceaux f : V0 ∼
˜ V.
= Cn1 −→
On obtient ainsi, en considérant les tiges en 1 des faisceaux, un isomorphisme
˜ V1 .
g := f1 : V0 = (V0 )1 −→
Exercice 1.8. Montrer que cet isomorphisme ne dépend que de la classe d’homotopie à
extrémités fixes du chemin.
4
DAMIEN CALAQUE
En particulier, si γ est un lacet basé en x ∈ X (i.e. γ(0) = γ(1) = x) alors on récupère un
automorphisme de V0 = Lx , qui reste ne dépend que de la classe d’homotopie à point base
fixe du lacet. On obtient ainsi une application
ρL : π1 (X, x) −→
˜ GL(Lx ) .
Exercice 1.9. Montrer que cette application est un morphisme de groupes (le produit [γ1 ][γ2 ]
des classes de deux lacets dans le groupe fondamental est donné par la classe [γ1 γ2 ] de leur
concaténation, où on parcours γ1 en premier).
ρ définit donc une représentation du groupe fondamental π1 (X, x), qu’on appelle représentation
de monodromie.
Exemple 1.10. Revenons à l’exemple de l’exercice 1.6. Soit γ = (γ1 , . . . , γn ) : [0, 1] → X
un chemin différentiable. Dans ce cas γ ∗ L est le système local dont les sections sont les
solutions de l’équation différentielle ordinaire linéaire du premier ordre suivante :
n
X
γi′ Ki ∈ C ∞ ([0, 1], V ) .
(1.4)
f ′ = K(f )
K=
i=1
Ainsi l’isomorphisme V0 −→
˜ V1 est l’application qui, à un vecteur “condition initiale” donné
v0 associe la valeur v1 au temps 1 de l’unique solution f de (1.4) telle que f (0) = v0 .
1.3. Équations de Knizhnik-Zamolodchikov et groupes de tresses.
On pose Y = {(z1 , . . . , zn ) ∈ Cn |zi 6= zj si i 6= j} et X = Y /Sn , où l’action du groupe
symétrique Sn sur Y est la suivante :
σ · (z1 , . . . , zn ) := (zσ(1) , . . . , zσ(n) ) .
1.3.1. Les équations de Knizhnik-Zamolodchikov.
P
Soit g une C-algèbre de Lie, h ∈ C et t ∈ S 2 (g)g . Plus précisément, t = i xi ⊗ yi ∈ g ⊗ g
satisfait les deux conditions suivantes :
P
P
(symétrie) t2,1 := ν yν ⊗ xν = ν xν ⊗ yν = tP;
(invariance) pour tout a ∈ g, [a ⊗ 1 + 1 ⊗ a, t] = ν ([a, xν ] ⊗ yν + xν ⊗ [a, yν ]) = 0.
Remarque 1.11. Pour la seconde condition, le crochet de Lie considéré dans le membre le
plusà gauche gauche est le commutateur dans l’algèbre U (g) ⊗ U (g).
Soit V1 , . . . , Vn des représentations de g. On considère le système complet d’équations aux
dérivées partielles suivant, dites équations de Knizhnik-Zamolodchikov :
(1.5)
X ti,j
∂f
f
=h
∂zi
zi − zj
j|j6=i
{z
}
|
∀i ∈ {1, . . . , n} .
=:Ki
Ici les équations sont à valeurs dans le C-espace vectoriel W := V1 ⊗ · · · ⊗ Vn et on utilise
les notations suivantes :
P (i)
(j)
• ti,j = ν xν ◦ yν ;
• plus généralement si f = f1 ⊗ · · · ⊗ fm ∈ U (g)⊗m , avec m ≤ n, alors pour toute
combinaison (i1 , . . . , im ) de m éléments dans {1, . . . , n} on définit
(i1 )
f i1 ,...,im = f1
(im )
◦ · · · ◦ fm
∈ End(W ) ;
• pour tout a ∈ U (g) et tout i ∈ {1, . . . , n}
a(i) := idV1 ⊗ · · · ⊗ idVi−1 ⊗ a ⊗ idVi+1 ⊗ · · · ⊗ idVn ∈ End(W ) ,
et il est aisé de constater que a(i) et b(j) commutent si i 6= j.
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
5
Proposition 1.12. Le système (1.5) est intégrable :
h
∂Kj
∂Ki
−h
= h2 [Ki , Kj ] .
∂zj
∂zi
Démonstration. Nous allons montrer que
On commence par le plus facile :
∂Ki
∂zj
−
∂Kj
∂zi
= 0 = [Ki , Kj ].
∂Ki
∂Kj
ti,j − tj,i
−
=
= 0.
∂zj
∂zi
(zi − zj )2
La dernière égalité est une conséquence de la symétrie de t.
Continuons :
h X ti,k
X tj,l i
,
[Ki , Kj ] =
zi − zk
zj − zl
l|l6=j
k|k6=i
=
h
X
(k,l)|{k,l}6={i,j}
X tj,l i h X ti,k
ti,k
tj,i i
,
+
,
zi − zk
zj − zl
zi − z k zj − z i
l|l6=j
k|k6=i
h ti,j
X tj,k i
,
+
zi − zj
zj − zk
k|k6=j
h ti,k
X
tj,k i h ti,k
ti,j i h ti,j
tj,k i
=
,
,
,
+
+
zi − z k zj − z k
zi − zk zj − zi
zi − zj zj − zk
(i,j,k)|#{i,j,k}=3
Dans la dernière égalité nous avons utilisé le fait que ti,k et tj,l commutent si i, j, k, l sont
tous distincts deux à deux. Nous allons maintenant utiliser le lemme suivant pour montrer
que chaque terme de la somme principale est nulle.
Lemme 1.13. Si i, j, k sont tous distincts deux à deux alors [ti,j , ti,k + tj,k ] = 0.
Démonstration du lemme. Il suffit de faire la démonstration pour (i, j, k) = (1, 2, 3), et ce
dans U (g)⊗3 . On calcule :
X
[t1,2 , t1,3 + t2,3 ] = [t ⊗ 1,
(xν ⊗ 1 ⊗ yν + 1 ⊗ xν ⊗ yν )]
=
X
ν
[t, xν ⊗ 1 + 1 ⊗ xν ] ⊗ yν = 0 .
ν
La toute dernière égalité est une conséquence de l’invariance de t.
Fin de la démonstration de la proposition. En appliquant deux fois le lemme précédent on
trouve que
h ti,k
tj,k i h ti,k
ti,j i h ti,j
tj,k i
,
,
,
+
+
zi − zk zj − zk
zi − z k zj − z i
zi − zj zj − zk
h ti,k
h
h
j,k i
j,k i
i,k
t
t
tj,k i
t
ti,k
=
,
+
,
−
,
zi − zk zj − zk
zi − z k zi − z j
zi − zj zj − zk
1
1
1
+
−
= [ti,k , tj,k ]
(zi − zk )(zj − zk ) (zi − zk )(zi − zj ) (zi − zj )(zj − zk )
Or la fraction rationelle à l’intérieur de la parenthèse est identiquement nulle. La démonstration
de la proposition est donc terminée.
6
DAMIEN CALAQUE
1.3.2. Un système local sur le quotient X = Y /Sn .
D’après la propositon que nous venons de démontrer, nous avons un système local LKZ
sur Y dont les sections sont les solutions des équations de Knizhnik-Zamolodchikov. Ainsi,
on obtient une représentation de monodromie
π1 (Y, •) −→ GL(W ) .
Afin d’obtenir un représentation de π1 (X, •) on choisit des modules V1 = · · · = Vn =: V
identiques. De cette manière les sections de LKZ (i.e. les solutions des équations de K-Z)
sont équipés d’une action du groupe symétrique Sn , qui agit par permutation des facteurs.
On note alors LKZ le faisceau défini sur X dont de la manière suivante : LKZ (U ) est l’espace
des solutions holomorphes f : p−1 (U ) → W (i.e. f ∈ LKZ (p−1 (U ))) telles que
(1.6)
f (zσ(1) , . . . , zσ(n) ) = σ · f (z1 , . . . , zn ) .
Si Ũ est un ouvert Sn -invariant de X (i.e. si Ũ est de la forme p−1 (U )) alors les solutions holomorphes des équations de K-Z définies sur Ũ satisfaisant (1.6) sont dites (Sn -)équivariantes.
Proposition 1.14. LKZ est un système local sur X, dont la tige au-dessus de tout point
est W .
Démonstration. Remarquons que Sn agit librement sur Y . Ainsi pour tout x ∈ X pour un
ouvert U ∋ x assez petit on a f −1 (U ) ∼
= U × Sn . C’est-à-dire que
` si on choisit y ∈ Y tel
que p(y) = x alors il existe un ouvert V ∋ y tel que f −1 (U ) = σ∈Sn σ(V ). Ainsi on a
KZ ∼ n
LKZ |U ∼
= LKZ
|V . De plus, quitte à restreindre U on peut supposer que L|V = C .
On voit par ailleurs que la tige de LKZ au-dessus de x est identique à la tige de LKZ
au-dessus de y, qui est W .
Nous obtenons donc une représentation de monodromie
ρhKZ : π1 (X, •) −→ GL(V ⊗n ) .
En supposant que h est un paramètre formel (plutôt qu’un nombre complexe) on obtient
ρhKZ : π1 (X, •) −→ GL(V ⊗n )[[h]] .
1.3.3. Le groupe des tresses Bn .
Considérons un point base y = (z1 , . . . , zn ) ∈ Y pour lequel les zi sont des réels tels
que 0 < z1 < · · · < zn < 1. On note x = p(y) ∈ X et on définit Bn := π1 (X, x), le
groupe des tresses à n brins.
Nous allons maintenant donner une présentation de Bn par générateurs et relations. Dans
la prochaine section on explique comment obtenir des représentations de ce groupe à partir
de données purement algébriques.
Remarquons déjà qu’on peut représenter tout élément de Bn par un diagramme de tresse
comme suit :
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
7
Ici le croisement élémentaire
noté σi a pour inverse le croisement élémentaire opposé (i.e. où i-ième brin passe derrière
le (i + 1)-ième) et représente la classe d’homotopie [σi ] du chemin γ(t) = z1 (t), . . . , zn (t)
défini par zk (t) = zk pour k 6= i, j et2
zi (1 − eitπ ) + zi+1 (1 + eitπ )
zi (1 + eitπ ) + zi+1 (1 − eitπ )
et
zi+1 (t) =
.
2
2
La concaténation des lacets (i.e. le produit dans Bn ) se traduit ici par la concaténation des
diagrammes, et on peut vérifier graphiquement les faits suivants :
(1) les tresses élémentaires σi (i = 1, . . . , n − 1) et leurs inverses engendrent tous les
diagrammes de tresses via la concaténation ;
(2) si |i − j| ≥ 2 alors les diagrammes σi σj et σj σi représentent la même classe de lacets;
(3) les diagrammes σi σi+1 σi et σi+1 σi σi+1 représentent la même classe de lacets.
On a donc un homomorphisme surjectif du groupe engendré par les σi (i = 1, . . . , n − 1) avec
les relations
zi (t) =
σi σj = σj σi
(|i − j| ≥ 2)
et
σi σi+1 σi = σi+1 σi σi+1
(∀i) ,
vers Bn , donné par σi 7→ [σi ].
Théorème 1.15. Ce morphisme est un isomorphisme.
On ne donnera pas la démonstration de ce théorème.
2. Bigèbres et équation de Yang-Baxter
2.1. Bigèbres.
2.1.1. Définition et exemples.
Définition 2.1. Une bigèbre est la donnée d’une algèbre associative unitaire (B, m, 1), d’un
coproduit ∆ : B → B ⊗ B, et d’une coünité ǫ : B → k, satisfaisant les propriétés suivantes :
(1) ∆ est coassociatif :
(∆ ⊗ id) ◦ ∆ = (id ⊗ ∆) ◦ ∆ ;
(2) ∆ est coünitaire, de coünité ǫ :
(ǫ ⊗ id) ◦ ∆ = id = (id ⊗ ǫ) ◦ ∆ ;
(3) ∆ est un morphisme d’algèbres unitaires : pour tout a, b ∈ B
∆(ab) = ∆(a)∆(b)
et
∆(1) = 1 ⊗ 1 .
Ici on note xy le produit de deux éléments dans une algèbre donnée A, et B ⊗ B est
l’algèbre unitaire ayant produit (a ⊗ b)(a′ ⊗ b′ ) := aa′ ⊗ bb′ et unité 1 ⊗ 1 ;
(4) ǫ est un morphisme d’algèbres unitaires :
ǫ(ab) = ǫ(a)ǫ(b)
et
ǫ(1) = 1 .
À partir de maintenant on utilisera souvent les notations suivantes :
• ∆(n) := (∆ ⊗ id⊗(n−1) ) ◦ (∆ ⊗ id⊗(n−2) ) ◦ · · · ◦ ∆ : B → B ⊗(n+1) pour le coproduit
itéré n-fois (grâce à la coassociativité l’ordre dans lequel on l’itère importe peu) ;
2Topologiquement parlant, z passe “en-dessous” de z
i
i+1 dans le plan complexe.
8
DAMIEN CALAQUE
• ∆(b) = b′ ⊗ b′′ , où une somme est implicitement entendue (i.e. que b′ et b′′ ne sont
pas à proprement parler des éléments de B) ;
• plus généralement on note ∆(n) (b) = b′ ⊗ b′′ ⊗ b′′′ ⊗ · · · ⊗ b(n+1) ;
Exemples 2.2. (i) Soit (G, ∗, e) un groupe fini. On considère F(G) l’algèbre (commutative)
des applications définies sur G et à valeurs dans k. On définit le corpoduit et la coünité
comme suit : ǫ(f ) = f (e) et
∆ : F(G)
f
−→
F(G) ⊗ F(G) = F(G × G)
7 → ∆(f ) : (x, y) 7→ f (x ∗ y) .
−
C’est un exercice de vérifier que (F(G), ∆, ǫ) est une bigèbre. On laisse également le lecteur se
convaincre que ∆(n) (f ) est la fonction définie sur G×(n+1) par (x0 , . . . , xn ) 7→ f (x0 ∗ · · · ∗ xn ).
(ii) Soit (G, ∗, e) un groupe fini. On considére l’algèbre kG du groupe G, i.e. l’algèbre
engendrée par leséléments g ∈ G du groupe avec les relations gh = g ∗ h (g, h ∈ G). c’est
une algèbre associative unitaire, l’unité étant donnée par e. Dans la mesure où le coproduit
et la coünité d’une bigèbre sont des morphismes d’algèbres, il suffit de les définir sur les
générateurs. On pose donc ∆(g) = g ⊗ g et ǫ(g) = 1 pour tout g ∈ G. C’est encore une fois
un exercice de vérifier que (kG, ∆, ǫ) est une bigèbre3. On peut aussi facilement voir que
∆(n) (g) = g ⊗(n+1) pour tout générateur g ∈ G.
(iii) Soit g une algèbre de Lie. Son algèbre enveloppante U (g) est une algèbre associative
unitaire. Rappelons que U (g) est l’algèbre associative unitaire engendrée par les éléments
x ∈ g avec pour relations xy − yx = [x, y] (x, y ∈ g). Pour définir ∆ et ǫ il suffit de poser
∆(1) = 1 ⊗ 1 et ǫ(1) = 1, et de les donner sur les générateurs x ∈ g. On choisit de poser
ǫ(x) = 0 et ∆(x) = x ⊗ 1 + 1 ⊗ x. Il faut maintenant vérifier qu’ils sont bien définis, et ici
seul le cas de ∆ nécessite un calcul :
∆(xy − yx) = (x ⊗ 1 + 1 ⊗ x)(y ⊗ 1 + 1 ⊗ y) − (y ⊗ 1 + 1 ⊗ y)(x ⊗ 1 + 1 ⊗ x)
= xy ⊗ 1 + x ⊗ y + y ⊗ x + 1 ⊗ xy − (yx ⊗ 1 + y ⊗ x + x ⊗ y + 1 ⊗ yx)
=
(xy − yx) ⊗ 1 + 1 ⊗ (xy − yx) = [x, y] ⊗ 1 + 1 ⊗ [x, y] = ∆([x, y]) .
La vérification des propriétés restantes (coassociativité et coünitarité de ∆) sont laissées en
exercice au lecteur.
2.1.2. Représentations d’une bigèbre.
Soit (B, ∆, ǫ) une bigèbre. Étant données deux représentations V, W de B, le coproduit
∆ nous permet de faire agir B sur leur produit tensoriel V ⊗ W : pour b ∈ B, v ∈ V et
w ∈ W,
(2.1)
b · (v ⊗ w) := ∆(b) · (v ⊗ w) = (b′ · v) ⊗ (b′′ · w) .
Lemme 2.3. L’équation (2.1) définit sur V ⊗ W une structure de B-module.
Démonstration. Le résultat découle du fait que ∆ est un morphisme d’algèbres :
a · b · (v ⊗ w) = ∆(a) · ∆(b) · (v ⊗ w) = ∆(a)∆(b) · (v ⊗ w)
=
Le lemme est démontré.
∆(ab) · (v ⊗ w) = (ab) · (v ⊗ w) .
Exercice 2.4. Montrer que, étant données trois représentations V1 , V2 , V3 de B, l’identité
(V1 ⊗ V2 ) ⊗ V3 → V1 ⊗ (V2 ⊗ V3 ) est un isomorphisme de B-modules (utiliser la coassociativité
de ∆).
3Par définition ∆ et ǫ sont des morphismes d’algèbres. De plus on a immédiatement que ∆ et ǫ sont
unitaires. par conséquent il reste simplement à vérifier d’une part que ∆ et ǫ sont bien définis (i.e. préservent
les relations définissant kG) et d’autre part que ∆ est coassociatif et unitaire d’unité ǫ. Dans les deux cas ce
n’est pas très compliqué.
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
9
On remarque également que k est naturellement une représentation de B, où la structure
de module provient de la coünité ǫ : B → k (qui est, rappelons-le, un morphisme d’algèbres).
Ce module est appelé le module unité (parfois aussi le module “trivial”).
Les représentations d’une bigèbre forment l’exemple emblématique de catégorie monoı̈dale
(une notion que nous abordons plus loin).
Exemples 2.5. Reprenons deux des exemples donnés en 2.2.
Tout d’abord l’exemple (iii) : une représentation de U (g) est un g-module, et la structure
de g-module usuelle sur le produit tensoriel de deux g-modules coı̈ncide avec celle induite
par le coproduit. De plus le g-module trivial usuel est précisément le module unité.
Ensuite l’exemple (ii) : une représentation de kG est un G-module, et l’action diagonale de
G sur le produit tensoriel de deux G-modules est exactement celle induite par le coproduit.
Ici le G-module trivial usuel est aussi le module unité.
2.2. Bigèbres quasi-triangulaires.
Étant donnés deux B-modules V et W , si la transposition τ : V ⊗ W → W ⊗ V ; v ⊗ w 7→
w ⊗ v est un isomorphisme de k-modules, ce n’est pas pour autant un morphisme de Bmodules (à moins que ∆ soit cocommutative, i.e. ∆(b) = b′ ⊗ b′′ = b′′ ⊗ b′ =: ∆op (b)).
Cette observation motive l’introduction d’une classe particulière de bigèbres.
Définition 2.6. Une bigèbre quasi-triangulaire est la donnée d’une bigèbre (B, ∆, ǫ) et d’un
élément inversible R ∈ (B ⊗ B)× tel que
(1) pour tout b ∈ B, ∆op (b)R = R∆(b) ;
(2) (∆ ⊗ id)(R) = R1,3 R2,3 ;
(3) (id ⊗ ∆)(R) = R1,3 R1,2 .
Les deux dernières
dans B ⊗3 , et on utilise toujours la notation suivante
P identités ont lieu
⊗n
i,j
dans B
: si R = i ai ⊗ bi alors R := a(i) b(j) (i 6= j) ; et pour tout b ∈ B et 1 ≤ k ≤ n,
(k)
⊗(k−1)
b := 1
⊗ b ⊗ 1⊗(n−k−1) .
Ainsi on constate que si (B, R) est une bigèbre quasi-triangulaire alors l’identité (1) de la
définition implique que σ := τ ◦ R· : V ⊗ W → W ⊗ V est un isomorphisme de B-modules.
En effet,
b · (σ(v ⊗ w)) = τ ◦ ∆op (b)R · (v ⊗ w) = τ ◦ R∆(b) · (v ⊗ w) = σ b · (v ⊗ w) .
Nous abordons plus loin la signification des identités (2) et (3) de la définition. Néanmoins
les deux résultats qui suivent donnent un premier apperu de la richesse de cette structure
algébrique.
Proposition 2.7. Si (B, R) est une bigèbre quasi-triangulaire, alors R satisfait l’équation
de Yang-Baxter quantique :
R1,2 R1,3 R2,3 = R2,3 R1,3 R1,2 .
(2.2)
Démonstration. On calcule :
R1,2 R1,3 R2,3 = R1,2 (∆ ⊗ id)(R) = (∆op ⊗ id)(R)R1,2 = R2,3 R1,3 R1,2 .
Dans la dernière égalité on a utilisé l’image par la transposition τ ⊗ id de l’identité (2) de la
définition 2.6.
Corollaire 2.8. Si (B, R) est une bigèbre quasi-triangulaire et si V est une représentation
de B, alors pour tout n ≥ 2 l’application linéaire
Bn
σi
−→ GL(V ⊗n )
7−→ σ i,i+1
est un morphisme de groupes, i.e. définit une représentation de Bn .
10
DAMIEN CALAQUE
Démonstration. En réalité ce résultat est valable pour toute paire (V, R), où V est un kmodule et R ∈ GL(V ⊗ V ) vérifie l’équation de Yang-Baxter quantique (2.2) dans GL(V ⊗3 ).
La relation σi σj = σj σi , |i − j| ≥ 2, est préservée de manière évidente. Il reste donc à
vérifier que la relation σi σi+1 σi = σi+1 σi σi+1 l’est également. Il suffit de le faire pour n = 3
(et donc avec i = 1) :
σ 1,2 σ 2,3 σ 1,2
= τ 1,2 R1,2 τ 2,3 R2,3 τ 1,2 R1,2 = τ 1,2 τ 2,3 τ 1,2 R2,3 R1,3 R1,2
= τ 1,2 τ 2,3 τ 1,2 R1,2 R1,3 R2,3
(ici on a utilisé Yang-Baxter)
= τ 1,2 τ 1,3 R1,3 R1,2 τ 2,3 R2,3 = τ 2,3 R2,3 τ 1,2 R1,2 τ 2,3 R2,3
= σ 2,3 σ 1,2 σ 2,3 .
Le corollaire est démontré.
2.3. Algèbres de Hopf, dualité, et double. Dans ce paragraphe on présente une procédure
permettant d’obtenir une bigèbre quasi-triangulaire (et donc des représentations du groupe
des tresses) à partir d’une bigèbre donnée satisfaisant quelques propriétés supplémentaires.
2.3.1. Algèbres de Hopf.
Définition 2.9. Une algèbre de Hopf est une bigèbre (B, ∆, ǫ) munie d’un morphisme
d’algèbres unitaires S : B → B op (i.e. S(ab) = S(b)S(a) et S(1) = 1) tel que
ǫ◦S =S
et
∆ ◦ S = (S ⊗ S) ◦ ∆op ,
et qui satisfait
(S ⊗ id) ◦ ∆ = 1 ◦ ǫ = (id ⊗ S) ◦ ∆ .
S est appelé l’antipode.
Ici on note B op l’algèbre unitaire qui a pour espace vectoriel sous-jacent B, unité 1 et
produit ∗ donné par a ∗ b = ba.
Exemples 2.10. Reprenons les exemples 2.2.
Dans l’exemple 2.2.(i) on peut munir F(G) de l’antipode suivante : pour toute fonctions
−1
f sur G et tout
élément g ∈ G on pose S(f )(g) := f (g ). C’est un exercice facile de vérifier
que F(G), S devient ainsi une algèbre de Hopf.
On peut également munir la bigèbre kG (exemple 2.2.(ii)) d’une antipode définie sur la
base (g)g∈G par S(g) = g −1 . C’est une fois de plus un exercice de vérifier que S satisfait les
axiomes de la définition 2.9.
Enfin (exemple 2.2.(iii)) la bigèbre U (g) est aussi une algèbre de Hopf avec S définie sur
les générateurs x ∈ g par S(x) = −x. Nous devons vérifier que S est bien définie, i.e. que la
relation xy − yx = [x, y] est préservée ; il suffit pour cela de calculer :
S(xy − yx) = S(y)S(x) − S(x)S(y) = (−y)(−x) − (−x)(−y) = [y, x] = −[x, y] = S([x, y]) .
Vérifions que les conditions de la définition 2.9 sont bien remplies,
il suffit pour cela de
le faire sur les générateurs x ∈ g. On a tout d’abord ǫ S(x) = ǫ(−x) = 0 = ǫ(x) et
(S ⊗ S)(∆(x)) = (−x) ⊗ 1 + 1 ⊗ (−x) = ∆(S(x)). Ensuite (ici on utilise la notation
∆(x) = x′ ⊗ x′′ )
S(x′ )x′′ = (−x) + x = 0 = x + (−x) = x′ S(x′′ )
et
ǫ(x) = 0 .
2.3.2. La construction du double.
Soit (H, m, 1, ∆, ǫ) une bigèbre de dimension finie (i.e. qui est un k-module libre de dimension finie). Son dual H ∗ est alors naturellement muni d’une structure de bigèbre, ayant
pour multiplication ∆∗ : H ∗ ⊗ H ∗ = (H ⊗ H)∗ → H ∗ , pour unité ǫ∗ : k → H ∗ (autrement
dit, 1H ∗ = ǫ), pour coproduit m∗ : H ∗ → (H ⊗ H)∗ = H ∗ ⊗ H ∗ , et pour coünité 1∗ : H ∗ → k
(autrement dit, ǫH ∗ (ξ) = ξ(1)).4
4Il convient de remarquer que si H n’est pas un k-module libre de type fini alors on a H ∗ ⊗H ∗ ⊂ (H ⊗H)∗ .
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
11
Si H est de surcroit munie d’une antipode S qui en fait une algèbre de Hopf, alors
S ∗ : H ∗ → H ∗ est une antipode qui fait de la bigèbre H ∗ décrite précédemment une algèbre
de Hopf.
On suppose maintenant donnée une algèbre de Hopf (H, S) de dimension finie ayant
une antipode bijective. Nous allons définir une structure de bigèbre quasi-triangulaire sur
D(H) := H ⊗ H ∗ . Commençons par expliciter la structure de bigèbre sur D(H) :
• le produit de deux éléments a ⊗ ξ et b ⊗ η est donné par la formule suivante :
(2.3)
(a ⊗ ξ) · (b ⊗ η) := ξ ′′′ S −1 (b′ ) ξ ′ (b′′′ )ab′′ ⊗ ξ ′′ η .
(2)
(2)
Ici on a utilisé les notations ∆H (b) = b′ ⊗ b′′ ⊗ b′′′ et ∆H ∗ (ξ) = ξ ′ ⊗ ξ ′′ ⊗ ξ ′′′ ;
• l’unité pour ce produit est 1D(H) := 1H ⊗ 1H ∗ = 1H ⊗ ǫH ;
• le coproduit d’un élément a ⊗ ξ est donné par
∆D(H) (a ⊗ ξ) := (a′ ⊗ ξ ′ ) ⊗ (a′′ ⊗ ξ ′′ ) ,
où ∆H (b) = b′ ⊗ b′′ et ∆H ∗ (ξ) = ξ ′ ⊗ ξ ′′ ;
• la coünité pour ce coproduit est ǫD(H) (a ⊗ ξ) = ǫH (a)ǫH ∗ (ξ) = ǫH (a)ξ(1H ).
Remarque 2.11. Le produit d´finit par (2.3) peut être également caractérisé comme suit :
(a ⊗ 1H ∗ ) · (b ⊗ 1H ∗ ) = ab ⊗ 1H ∗ , (1H ⊗ ξ) · (1H ⊗ η) = 1H ⊗ ξη, (a ⊗ 1H ∗ ) · (1H ⊗ ξ) = a ⊗ ξ,
et
(1H ⊗ ξ) · (a ⊗ 1H ∗ ) = ξ ′′′ (S −1 (a′ ))ξ ′ (a′′′ )a′′ ⊗ ξ ′′ .
On définit ensuite R := id ∈ H ⊗ H ∗ ⊂ D(H)
P ⊗ D(H). Étant donnée une base (ei )i∈I de H
et une base duale (ξ i )i∈I de H ∗ , on a R = i∈I (ei ⊗ 1H ∗ ) ⊗ (1H ⊗ ξ i ).
Théorème 2.12. Avec les produit,
unité, coproduit et coünité définis ci-dessus, D(H) est
une bigèbre. De plus D(H), R est une bigèbre quasi-triangulaire.
Démonstration. La vérification des axiomes d’une bigèbre est laissée en exercice. Il reste à
montrer que R est
P inversible et satisfait les trois conditions de la définition 2.6.
Posons R̄ := i∈I (ei ⊗ 1H ∗ ) ⊗ (1H ⊗ (ξ i ◦ SH )) ; on a alors
X
RR̄ =
(ei ej ⊗ 1H ∗ ) ⊗ (1H ⊗ ξ i (ξ j ◦ SH )) .
i,j∈I
P
Considérons l’application φ : H → H définie par φ(x) := i,j ei ej ξ i (ξ j ◦ SH ) (x). RapP
pelons que i ei ξ i (x) = x et calculons
X
X i ′ X
φ(x) =
ei ej ξ i ⊗ (ξ j ◦ SH ) ∆H (x) =
ei ξ (x )
ej ξ j SH (x′′ )
i,j∈I
i∈I
j∈I
= x′ SH (x′′ ) = 1H ǫH (x) = 1H 1H ∗ (x) .
Donc RR̄ = (1H ⊗ 1H ∗ ) ⊗ (1H ⊗ 1H ∗ ). On démontre exactement de la même manière que
R̄R = (1H ⊗ 1H ∗ ) ⊗ (1H P
⊗ 1H ∗ ). R est donc inversible,
et R−1 = R̄.
P
En utilisant l’identité i,j ei ⊗ ej ⊗ ξ i ξ j = i e′i ⊗ e′′i ⊗ ξ i on trouve que5
X
R1,3 R2,3 =
(ei ⊗ 1H ∗ ) ⊗ (ej ⊗ 1H ∗ ) ⊗ (1H ⊗ ξ i ξ j )
i,j∈I
=
X
(e′i ⊗ 1H ∗ ) ⊗ (e′′i ⊗ 1H ∗ ) ⊗ (1H ⊗ ξ i ) = (∆ ⊗ id)(R) .
i∈I
5Cette identité se démontre comme suit : on remarque que
X
i,j
(ei ⊗ ej )(ξ i ξ j )(x) =
X
i,j
(ei ξ i (x′ )) ⊗ (ej ξ j (x′′ )) = x′ ⊗ x′′ = ∆(x) =
X
i
(e′i ⊗ e′′
i )ξ (x) .
i
12
DAMIEN CALAQUE
On démontre exactement de la même manière que R1,3 R1,2 = R1,23 .
Il reste donc à montrer que la condition (1) de la définition 2.6 est également vérifiée.
[...]
2.3.3. Dualité et double en dimension infinie.
Définition 2.13. Deux algèbres de Hopf sont dites en dualité si il existe une forme bilinéaire
non-dégénérée
e −→ k
h−, −i : H × H
e on a
telle que quels que soient a, b ∈ H et ξ, η ∈ H,
• h1, ξi = e
ǫ(ξ) et ha, e
1i = ǫ(a),
e
• hab, ξi = ha ⊗ b, ∆(ξ)i = ha, ξ ′ ihb, ξ ′′ i et ha, ξηi = h∆(a), ξ ⊗ ηi = ha′ , ξiha′′ , ηi,
e
• hS(a), ξi = ha, S(ξ)i.
Ici non-dégénérée signifie que les applications
e ∗ ; a 7−→ ha, −i
H −→ (H)
et
sont injectives.
e −→ H ∗ ; ξ 7−→ h−, ξi
H
Une algèbre de Hopf H de dimension finie et sa duale H ∗ sont évidemment en dualité.
e := k[G] l’algèbre
Exercice 2.14. Soit g = sln (C) et G = SL(n, C). Posons H := U (g) et H
des fonctions régulières sur le groupe algébrique G.
(1) Comme algèbre, k[G] = k[eij |i, j = 1, . . . , n]/hdet (eij )i,j −1i et sa structure d’algèbre
de Hopf provient de la structure de groupe sur G (le coproduit et la coünité sont les mêmes que
dans
P l’exemple 2.2.(i) et l’antipode est donnée dans l’exemple 2.10). Montrer que ∆(eij ) =
k eik ekj , ǫ(eij ) = δij et que S(eij ) est donné par le mineur mji de la matrice (ekl )k,l (qui
est bien un polynôme en les variables ekl ).
(2) L’inclusion d’algèbres de Lie g = sln (C) ֒→ gln (C) induit un morphisme d’algèbres
(associatives) U (g) → gln (C), et pour tout élément a ∈ U (g) on note aij les coefficients de
son image dans gln (C). Montrer que
ha, eij i := aij
définit une dualité de Hopf entre U (g) et k[G].
(3) Montrer que cette construction se généralise au cas d’un groupe algébrique complexe
G ⊂ GL(n, C) et de son algèbre de Lie g ⊂ gln (C).
3. Groupes quantiques et déformations
3.1. Déformations.
3.1.1. Modules topologiquement libres.
3.1.2. Déformations de structures algébriques.
3.1.3. La notion de limite semi-classique.
3.2. Rappels sur les algèbres de Lie semi-simples.
3.2.1. La présentation de Serre.
3.2.2. Construction de U (g) comme un double.
3.3. Groupes quantiques.
INTÉGRABILITÉ ET ALGÈBRES QUANTIQUES
13
References
[1] P. Etingof, I. Frenkel et A. Kirillov, Lectures on representation theory and Knizhnik-Zamolodchikov
equations, Math. Surveys and Monographs, vol. 58, AMS, Providence, RI, 1998.
[2] P. Etingof et O. Schiffmann, Lectures on quantum groups, International Press of Boston Inc, U.S.
[3] C. Kassel, Quantum groups, Graduate Texts in Mathematics 155, Springer-Verlag, New York, 1995.
Téléchargement