9.03.2005

<ph f="ecbx">Classification des objets galoisiens de </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>U</mi> <mi>q</mi> <mo>(</mo> <mo mathvariant="fraktur">g</mo> <mo>)</mo> </math> <ph f="cmr"> </ph><ph f="ecbx">à homotopie près</ph>

Thomas AUBRIOT

Introduction

Le concept d’extension Hopf-galoisienne qui a ete beaucoup etudie ces dernieres annees est une generalisation naturelle du concept classique d’extension galoisienne de corps commutatifs. C’est aussi l’analogue algebrique de la notion de fibre principal dans le cadre de la geometrie non commutative.
Bien qu’une litterature abondante ait ete consacree aux extensions Hopf-galoisiennes (voir par exemple [M] , [S] et les references donnees dans ces deux articles), on a peu de resultats sur leur classification a isomorphisme pres. Pour contourner la difficulte — qui semble grande — de classer les extensions Hopf-galoisiennes a isomorphisme pres, Kassel [K] a introduit une relation d’équivalence moins fine que l’isomorphie sur les extensions Hopf-galoisiennes, relation qu’il a appelee homotopie. Dans [KS] Kassel et Schneider en ont fait une etude systematique. Ils donnent notamment une application a la classification des extensions Hopf-galoisiennes lorsque l’algebre de Hopf est l’algebre enveloppante quantique U q ( g )   associee par Drinfeld et Jimbo a une algebre de Lie semi-simple complexe g   . L’une des consequences des resultats de [KS] porte sur l’ensemble ℋ k ( U q ( g ) )   des classes d’homotopie des extensions U q ( g )   -galoisiennes du corps de base k   (ces objets sont egalement appeles objets galoisiens de U q ( g )   ) : Kassel et Schneider demontrent que ℋ k ( U q ( g ) )   est en bijection avec le groupe de cohomologie H 2 ( G , k * )   , ou G   est le groupe des elements “group-like” de U q ( g )   opérant trivialement sur le groupe k ◆   des éléments inversibles de k   . Le groupe G   est un groupe abelien libre dont le rang t   est egal a celui de l’algebre de Lie g   . Il est bien connu que tout element de H 2 ( G , k * )   peut etre representé par une famille λ   de t ( t − 1 ) / 2   elements non nuls du corps de base.
Le but de cet article est de construire explicitement par generateurs et relations un objet galoisien A λ   de U q ( g )   pour toute famille λ   de ce type et de montrer que tout objet galoisien de U q ( g )   est homotope a un unique objet galoisien de la forme A λ   .
Au paragraphe 1   , nous rappelons la definition des concepts d’extension Hopf-galoisienne et d’objet galoisien. Nous redonnons egalement la presentation standard de l’algebre enveloppante quantique U q ( g )   .
Les objets galoisiens A λ   sont construits au paragraphe 2   . Nous y enonçons aussi le theoreme principal de l’article.
Le paragraphe 3   est entierement consacre a la demonstration du theoreme.

1 Rappels

1.1 Extensions galoisiennes et objets galoisiens

Soit k   un corps commutatif. Tous les objets de cet article appartiennent à la categorie tensorielle des k   -espaces vectoriels. Si H   est une algebre de Hopf et A   est une algebre H   -comodule a droite dont la coaction est le morphisme d’algebres δ : A → A ⊗ H   , nous definissons la sous-algebre B   des elements H   -covariants de A   par
B = { a ∈ A | δ ( a ) = a ⊗ 1 } . (1)
L’application lineaire β : A ⊗ B A → A ⊗ H   definie par
β ( a ⊗ a ′ ) = ( a ⊗ 1 ) δ ( a ′ ) , (2)
pour a   , a ′ ∈ A   , est appelee l’application canonique associee a A   .
Une algebre H   -comodule a droite A   est une extension H   -galoisienne de B   si B   est la sous-algebre des elements H   -covariants de A   , si l’application canonique β : A ⊗ B A → A ⊗ H   associee a A   est un isomorphisme et si A   est fidelement plat en tant que B   -module a droite ou a gauche.
Un objet galoisien d’une algebre de Hopf H   est une extension H   -galoisienne du corps de base k   .
Deux extensions H   -galoisiennes A   et A ′   de B   sont dites isomorphes s’il existe un morphisme f : A → A ′   d’algebres H   -comodules qui soit un isomorphisme et qui soit l’identite sur B   .
Nous notons G a l B ( H )   l’ensemble des classes d’isomorphisme d’extensions H   -galoisiennes de B   . L’ensemble G a l B ( H )   peut etre considere comme un foncteur contravariant en H   . En effet, soit i : K → H   un morphisme d’algebres de Hopf. Rappelons [EM] que, étant donné une algèbre de Hopf H   , un comodule A   à droite de coaction δ A   et un comodule K   à gauche de coaction δ K   , le produit cotensoriel A □ H K   est défini comme le noyau de l’application
δ A ⊗ I d K − I d A ⊗ δ K : A ⊗ K → A ⊗ H ⊗ K , (3)
(ou encore l’égalisateur des coactions de A   et K   ). Si A   est une extension H   -galoisienne de B   , alors
i ◆ ( A ) = A □ H K (4)
est une extension K   -galoisienne de B   d’après [S,Prop3.11(3)] .
Kassel et Schneider [KS] (voir aussi [K] ) ont defini une relation d’equivalence, notee ∼   et appelee homotopie, sur l’ensemble G a l B ( H )   (nous renvoyons a [KS] pour la definition). Nous notons ℋ B ( H )   l’ensemble des classes d’homotopie d’extensions H   -galoisiennes de B   . L’application
i * : G a l B ( H ) → G a l B ( K ) (5)
induite par un morphisme d’algebres de Hopf i : K → H   et definie plus haut, passe aux classes d’homotopie et definit une application
i * : ℋ B ( H ) → ℋ B ( K ) . (6)

1.2 Cocycles et extensions clivées

Suivant ([M,Chapitre7] ), nous dirons qu’une application linéaire σ : H ⊗ H → k   est un cocycle normalisé pour l’algèbre de Hopf H   si σ   vérifie les relations
σ ( x ( 1 ) , y ( 1 ) ) σ ( x ( 2 ) y ( 2 ) , z ) = σ ( y ( 1 ) , z ( 1 ) ) σ ( x , y ( 2 ) z ( 2 ) ) (7)
et
σ ( 1 , x ) = σ ( x , 1 ) = ɛ ( x ) , (8)
pour x , y , z ∈ H   .
Nous avons utilisé ici la notation de Sweedler Δ ( x ) = x ( 1 ) ⊗ x ( 2 )   pour la comultiplication Δ   de H   , notation que nous utiliserons dans la suite de l’article.
Rappelons ([M,Chapitre7] ) que si H   est une algèbre de Hopf, σ : H ⊗ H → k   un cocycle inversible normalisé et B   une algèbre, alors le produit croisé B ♯ σ H   est l’espace vectoriel B ⊗ H   muni du produit
( a ♯ h ) ( b ♯ k ) = σ ( h ( 1 ) , k ( 1 ) ) a b ♯ h ( 2 ) k ( 2 ) , (9)
pour tout a , b   dans B   et h , k   dans H   .
De plus, cette algèbre peut etre munie d’une structure d’algèbre H   -comodule à droite induite par la comultiplication de H   , ce qui fait de B ♯ σ H   une extension H   -galoisienne de B   . Les extensions H   -galoisiennes de cette forme sont appelées extensions clivées (cleft en anglais). Lorsque k = B   , le produit croisé k ♯ H   s’identifie à H   muni du produit
x ⋅ σ y = σ ( x ( 1 ) , y ( 1 ) ) x ( 2 ) y ( 2 ) , (10)
pour x , y   deux éléments de H   . Nous notons H σ   l’espace vectoriel H   muni de ce produit.

1.3 Les algebres enveloppantes quantiques de Drinfeld-Jimbo

Nous supposons désormais que k   est un corps de caractéristique différente de 2   ou 3   . Fixons la matrice de Cartan ( a i j ) 1 ≤ i , j ≤ t   d’une algèbre de Lie semi-simple complexe g   , des entiers ( d i ) 1 ≤ i ≤ t ∈ { 1 , 2 , 3 }   tels que d i a i j = d j a j i   pour tout 1 ≤ i , j ≤ t   ainsi qu’un élément inversible q ∈ k ◆   tel que q 2 d i ≠ 1   pour tout i = 1 , … , t   .
L’algèbre de Drinfeld-Jimbo (voir [J,Chapitre4] ) est l’algèbre associative unitaire engendrée par les générateurs E i , F i , K i   et K i − 1   pour 1 ≤ i ≤ t   et les relations
K i K j = K j K i , K i K i − 1 = K i − 1 K i = 1 , (11)
K i E j = q d i a i j E j K i , (12)
K i F j = q d i a i j F j K i , (13)
E i F j − F j E i = δ i j K i − K i − 1 q d i − q − d i , (14)
∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i E i 1 − a i j E j E i r = 0 , (15)
∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i F i 1 − a i j F j F i r = 0 , (16)
pour 1 ≤ i , j ≤ t   .
Il est bien connu ([J,Chapitre4] ) que U q ( g )   peut etre munie d’une structure d’algèbre de Hopf avec la comultiplication Δ   définie sur les générateurs par
Δ ( E i ) = E i ⊗ 1 + K i ⊗ E i , (17)
Δ ( F i ) = F i ⊗ K i − 1 + 1 ⊗ F i , (18)
Δ ( K i ± 1 ) = K i ± 1 ⊗ K i ± 1 , (19)
la counité ɛ   définie par
ɛ ( E i ) = 0 , ɛ ( F i ) = 0 , ɛ ( K i ± 1 ) = 1 . (20)
et l’antipode S   définie par
S ( E i ) = − K i − 1 E i , S ( F i ) = − F i K i , S ( K i ± 1 ) = K i ∓ 1 , (21)
pour tout 1 ≤ i ≤ t   .
Notons G   le sous-groupe multiplicatif de U q ( g )   engendré par K 1 , K 2 , … , K t   .
C’est un sous-groupe abélien libre de rang t   .

2 Le résultat

Nous considérons une famille ( λ i j ) 1 ≤ i < j ≤ t   d’éléments inversibles de k   . Par commodité, nous posons λ i j = λ j i − 1   et λ i i = 1   pour tout 1 ≤ j ≤ i ≤ t   . Si λ   et λ ′   sont deux telles familles, nous notons λ − 1   la famille des inverses ( λ i j − 1 ) 1 ≤ i , j ≤ t   de λ   ainsi que λ λ ′   la famille des produits ( λ i j λ i j ′ ) 1 ≤ i , j ≤ t   des éléments de λ   et λ ′   .
Nous définissons l’algèbre A λ   comme l’algèbre associative unitaire engendrée par des générateurs X i , Y i , Z i , Z i − 1   pour 1 ≤ i ≤ t   et les relations
Z i Z j = λ i j 2 Z j Z i , Z i Z i − 1 = Z i − 1 Z i = 1 , (22)
Z i X j = q d i a i j λ i j 2 X j Z i , (23)
Z i Y j = q d i a i j Y j Z i , , (24)
X i Y j − Y j X i = δ i , j Z i − 1 − Z i q − d i − q d i , (25)
∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r X i 1 − a i j X j X i r = 0 , (26)
∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i Y i 1 − a i j Y j Y i r = 0 , (27)
pour 1 ≤ i , j ≤ t   .
Si la famille λ   est identiquement égale à 1   , l’algèbre A λ   s’identifie à l’algèbre de Drinfeld-Jimbo U q ( g )   . Il suffit pour cela de poser E i = X i , F i = Y i   et K i ± 1 = Z i ± 1   pour tout 1 ≤ i ≤ t   et de comparer les relations ( 22 ) ( 27 ) et ( 11 ) ( 16 ).
Posons
δ ( X i ) = X i ⊗ 1 + Z i ⊗ E i , (28)
δ ( Y i ) = Y i ⊗ K i − 1 + 1 ⊗ F i , (29)
δ ( Z i ± 1 ) = Z i ± 1 ⊗ K i ± 1 , (30)
pour tout 1 ≤ i ≤ t   .
Nous énonçons maintenant notre résultat principal.
Theoreme. 1) Les formules ( 28 ), ( 29 ) et ( 30 ) munissent A λ   d’une structure d’objet galoisien clivé sur U q ( g )   .
2) Tout objet galoisien sur U q ( g )   est homotope à un objet galoisien de la forme A λ   .
3) Deux objets U q ( g )   -galoisiens A λ   et A λ ′   sont homotopes si et seulement si les familles λ   et λ ′   les définissant sont égales.
La suite de l’article est consacrée à la démonstration du théorème.

3 Démonstration du théorème

3.1 Cocycles sur U q ( g )   provenant d’une famille λ  

Pour toute famille λ = ( λ i j ) 1 ≤ i , j ≤ t   , nous définissons un cocycle de U q ( g )   comme suit. Notons σ λ : k [ G ] ⊗ k [ G ] → k   l’application linéaire déterminée par
σ λ ( K i ɛ ⊗ K j ɛ ′ ) = λ i j ɛ ɛ ′ , (31)
pour 1 ≤ i , j ≤ t   et ɛ , ɛ ′ ∈ { − 1 , 0 , 1 }   , et par
σ λ ( g 1 g 2 , h ) = σ λ ( g 1 , h ) σ λ ( g 2 , h ) , (32)
et
σ λ ( h , g 1 g 2 ) = σ λ ( h , g 1 ) σ λ ( h , g 2 ) , (33)
pour g 1 , g 2 , h ∈ G   .
Soit π : U q ( g ) → k [ G ]   le morphisme d’algèbres de Hopf défini par
π ( E i ) = π ( F i ) = 0 , π ( K i ± 1 ) = K i ± 1 , (34)
pour i = 1 , … , t   . Posons σ λ ~ = σ λ ∘ ( π ⊗ π ) : U q ( g ) ⊗ U q ( g ) → k   .
Lemme 1. Les applications σ λ   et σ λ ~   sont des cocycles normalisés sur k [ G ]   et U q ( g )   , respectivement, inversibles pour la convolution, d’inverses respectifs σ λ − 1   et σ λ − 1 ~   .
  • Demonstration. L’application σ λ   est un bi-caractère et par suite un cocycle, normalisé en vertu de ( 31 ). De plus cette définition comme bi-caractère (( 32 ) et ( 33 )) assure que la donnée de σ λ   sur les générateurs ( K i ± ) 1 ≤ i ≤ t   de G   , suffit à déterminer σ λ   sur k [ G ] ⊗ k [ G ]   . On vérifie alors immédiatement que σ λ − 1   est l’inverse de σ λ   pour la convolution par un rapide calcul pour ces générateurs.
    Nous pouvons aussi vérifier que σ σ λ ◆ σ λ ′ = σ λ λ ′   si λ   et λ ′   sont deux familles d’inversibles de k   et ◆   désigne le produit de convolution :
    ( σ λ ◆ σ λ ′ ) ( K i ɛ i ⊗ K j ɛ j ) = λ i j ɛ i ɛ j ( λ i j ′ ) ɛ i ɛ j = ( λ i j λ i j ′ ) ɛ i ɛ j = σ λ λ ′ ( K i ɛ i ⊗ K j ɛ j ) . (35)
    De plus, nous avons σ 1 = ν ∘ ɛ   et, par suite, σ λ − 1   est l’inverse de σ λ   pour la convolution.
    Comme σ λ   est un cocycle normalisé et que π   est un morphisme d’algèbres de Hopf, σ λ ~ = σ λ ∘ π ⊗ π   est un cocycle normalisé. Pour voir que σ λ − 1 ~   est l’inverse de σ λ ~   , nous pouvons faire un calcul direct sur les générateurs comme ci-dessus, ou remarquer que nous avons la relation σ λ ~ ◆ σ λ ′ ~ = σ λ λ ′ ~   , si λ   et λ ′   sont deux familles d’inversibles de k   et ◆   désigne le produit de convolution :
    ( σ λ ~ ◆ σ λ ′ ~ ) ( x , y ) = σ λ ~ ( x ( 1 ) , y ( 1 ) ) σ λ ′ ~ ( x ( 2 ) , y ( 2 ) ) = σ λ ( π ( x ( 1 ) ) , π ( y ( 1 ) ) ) σ λ ′ ( π ( x ( 2 ) ) , π ( y ( 2 ) ) ) = σ λ ( π ( x ) ( 1 ) , π ( y ) ( 1 ) ) σ λ ′ ( π ( x ) ( 2 ) , π ( y ) ( 2 ) ) = σ λ λ ′ ( π ( x ) , π ( y ) ) = σ λ λ ′ ~ ( x , y ) , (36)
    pour x , y ∈ U q ( g )   . Comme σ 1 ~   est encore égal à la composée de la counité et de l’unité, nous voyons que σ λ − 1 ~   est l’inverse de σ λ ~   . □

3.2 L’algèbre comodule A λ   comme produit croisé de U q ( g )  

Pour une famille λ = ( λ i j ) 1 ≤ i , j ≤ t   fixée, nous allons définir un morphisme d’algèbres
φ λ : A λ → U q ( g ) σ λ ~ , (37)
ou A λ   est l’algèbre définie au paragraphe 2 et U q ( g ) σ λ ~   est obtenue à partir de l’algèbre U q ( g )   du paragraphe 1.3 en utilisant le cocycle normalisé σ λ ~   défini au paragraphe 3.1. Posons, pour 1 ≤ i ≤ t   ,
φ λ ( X i ) = E i , φ λ ( Y i ) = F i , φ λ ( Z i ± ) = K i ± . (38)
Lemme 2. Les formules  38  ( )   définissent un morphisme φ λ : A λ → U q ( g ) σ λ ~   d’algèbres U q ( g )   -comodules à droite.
  • Demonstration. a) Vérifions d’abord que A λ   est un morphisme d’algèbres. Il suffit d’établir que l’image des relations  22  27  ( ) − ( )   est nulle dans U q ( g ) σ λ ~   .
    Considérons la relation ( 22 ) de commutation entre les Z i   :
    φ λ ( Z i Z j ) = φ λ ( Z i ) ⋅ σ λ ~ φ λ ( Z j ) = K i ⋅ σ λ ~ K j = σ λ ~ ( K i , K j ) K i K j = λ i j K i K j = λ i j K j K i = λ i j 2 σ λ ~ ( K j , K i ) K j K i = λ i j 2 K j ⋅ σ λ ~ K i = λ i j 2 φ λ ( Z j ) ⋅ σ λ ~ φ λ ( Z i ) = φ λ ( λ i j 2 Z j Z i ) . (39)
    De la meme façon on démontre que
    φ λ ( Z i Z i − 1 ) = φ λ ( Z i − 1 Z i ) = 1 . (40)
    Considérons la relation ( 23 ) de commutation entre Z i   et X j   :
    φ λ ( Z i X j ) = φ λ ( Z i ) ⋅ σ λ ~ φ λ ( X j ) = K i ⋅ σ λ ~ E j = σ λ ~ ( K i , E j ) K i 1 + σ λ ~ ( K i , K j ) K i E j = 0 + λ i j K i E j = λ i j q d i a i j E j K i = λ i j q d i a i j ( 0 + σ λ ~ ( K j , K i ) − 1 σ λ ~ ( K j , K i ) E j K i ) = λ i j 2 q d i a i j ( σ λ ~ ( E j , K i ) 1 K i + σ λ ~ ( K j , K i ) E j K i ) = λ i j 2 q d i a i j E j ⋅ σ λ ~ K i = λ i j 2 q d i a i j φ λ ( X j ) ⋅ σ λ ~ φ λ ( Z i ) = φ λ ( λ i j 2 q d i a i j X j Z i ) . (41)
    La relation ( 24 ) se démontre de façon similaire. Considérons la relation ( 25 ) de commutation entre X i   et Y j   :
    φ λ ( X i Y j − Y j X i ) = φ λ ( X i ) ⋅ σ λ ~ φ λ ( Y j ) − φ λ ( Y j ) ⋅ σ λ ~ φ λ ( X i ) = E i ⋅ σ λ ~ F j − F j ⋅ σ λ ~ E i = ( σ λ ~ ( E i , F j ) 1 K j − 1 + σ λ ~ ( E i , 1 ) 1 F j + σ λ ~ ( K i , F j ) E i K j − 1 + σ λ ~ ( K i , 1 ) E i F j ) − ( σ λ ~ ( F j , E i ) K j − 1 1 + σ λ ~ ( 1 , E i ) F j 1 + σ λ ~ ( F j , K i ) K j − 1 E i + σ λ ~ ( 1 , K i ) F j E i ) = 0 + E i F j − F j E i = δ i j K i − K i − 1 q d i − q − d i = φ λ ( δ i j Z i − Z i − 1 q d i − q − d i ) . (42)
    Considérons la relation de Serre quantique ( 26 ) pour le générateur X i   . Notons que
    E i ⋅ σ λ ~ E j = σ λ ~ ( E i , E j ) 1 + σ λ ~ ( E i , K j ) 1 E j + σ λ ~ ( K i , E j ) E i 1 + σ λ ~ ( K i , K j ) E i E j = λ i j E i E j . (43)
    et, en utilisant ( 32 ), ( 33 ) et ( 43 ), on obtient
    E i ⋅ σ λ ~ E j ⋅ σ λ ~ E j = σ λ ~ ( E i , ( E j 2 ) ( 1 ) ) 1 ( E j 2 ) ( 2 ) + σ λ ~ ( K i , ( E j 2 ) ( 1 ) ) E i ( E j 2 ) ( 2 ) = σ λ ~ ( E i , E j 2 ) 1 + σ λ ~ ( E i , E j K j + K j E j ) E j + σ λ ~ ( E i , K j 2 ) E j 2 + σ λ ~ ( K i , E j 2 ) E i + σ λ ~ ( K i , E j K j + K j E j ) E i E j + σ λ ~ ( K i , K j 2 ) E i E j 2 = σ λ ~ ( E i , E j ) 2 + σ λ ~ ( E i , E j ) σ λ ~ ( E i , K j ) + σ λ ~ ( E i , K j ) σ λ ~ ( E i , E j ) E j + σ λ ~ ( E i , K j ) 2 E j 2 + σ λ ~ ( K i , E j ) 2 E i + σ λ ~ ( K i , E j ) σ λ ~ ( K i , K j ) + σ λ ~ ( K i , K j ) σ λ ~ ( K i , E j ) E i E j + σ λ ~ ( K i , K j ) 2 E i E j 2 = λ i j 2 E i E j 2 . (44)
    De la meme manière, on a
    E i ⋅ σ λ ~ E i ⋅ σ λ ~ E j = λ i j 2 E i 2 E j . (45)
    Par récurence sur les entiers a   et b   , on montre facilement que le produit de a   fois le générateur E i   et de b   fois le générateur E j   vaut
    E i ⋅ σ λ ~ ⋯ ⋅ σ λ ~ E i ︸ a ⋅ σ λ ~ E j ⋅ σ λ ~ ⋯ ⋅ σ λ ~ E j ︸ b = E i a ⋅ σ λ ~ E j b = λ i j a b E i a E j b (46)
    dans U q ( g ) σ λ ~   . Remarquons en particulier que la puissance d’un élément E i   est la meme pour le produit classique de U q ( g )   ou pour celui de U q ( g ) σ λ ~   , ce qui justifie la notation E i a   . Alors, en utilisant ( 46 ) on a
    φ λ ( ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r X i 1 − a i j X j X i r ) = ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r φ λ ( X i ) 1 − a i j ⋅ σ λ ~ φ λ ( X j ) ⋅ σ λ ~ φ λ ( X i ) r ) = ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r E i 1 − a i j ⋅ σ λ ~ E j ⋅ σ λ ~ E i r ) = ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r λ i j 1 − a i j ( E i 1 − a i j E j ) ⋅ σ λ ~ E i r = ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i λ i j a i j − 1 + r λ i j 1 − a i j λ j i r E i 1 − a i j E j E i r = ∑ r = 0 1 − a i j ( − 1 ) r [ 1 − a i j r ] q d i E i 1 − a i j E j E i r = 0 . (47)
    De manière similaire, nous avons
    F i ⋅ σ λ ~ F j = σ λ ~ ( F i , F j ) K i − 1 K j − 1 + σ λ ~ ( F i , 1 ) K i − 1 F j + σ λ ~ ( 1 , F j ) F i K j − 1 + σ λ ~ ( 1 , 1 ) F i F j = F i F j (48)
    et en vertu de ( 32 ) et ( 33 ), le produit de deux éléments F i   et F j   est le meme dans U q ( g ) σ λ ~   et dans U q ( g )   . La relation de Serre quantique ( 27 ) dans A λ   pour le générateur Y i   est alors une conséquence immédiate de la relation ( 16 ) pour le générateur F i   dans U q ( g )   .
    b) Pour montrer que φ λ   est aussi un morphisme de comodules, il suffit, puisque la comultiplication de U q ( g )   est un morphisme d’algèbres, de vérifier que le diagramme
    A λ − − → φ λ U q ( g ) σ λ ~ ↓ δ ↓ Δ A λ ⊗ U q ( g ) − − − − → φ λ ⊗ I d U q ( g ) σ λ ~ ⊗ U q ( g ) (49)
    commute pour une famille de générateurs de l’algèbre A λ   .
    Pour les générateurs Z i ± 1   , on a
    Δ ∘ φ λ ( Z i ± 1 ) = Δ ( K i ± 1 ) = K i ± 1 ⊗ K i ± 1 = ( φ λ ⊗ I d ) ( Z i ± 1 ⊗ K i ± 1 ) = ( φ λ ⊗ I d ) ∘ δ ( Z i ± 1 ) ; (50)
    pour les générateurs X i   , on a
    Δ ∘ φ λ ( X i ) = Δ ( E i ) = E i ⊗ 1 + K i ⊗ E i = ( φ λ ⊗ I d ) ( X i ⊗ 1 + Z i ⊗ E i ) = ( φ λ ⊗ I d ) ∘ δ ( X i ) ; (51)
    pour les générateurs Y i   , on a
    Δ ∘ φ λ ( Y i ) = Δ ( F i ) = F i ⊗ K i − 1 + 1 ⊗ F i = ( φ λ ⊗ I d ) ( Y i ⊗ K i − 1 + 1 ⊗ F i ) = ( φ λ ⊗ I d ) ∘ δ ( Y i ) , (52)
    pour tout 1 ≤ i ≤ t   . □
Lemme 3. Le morphisme φ λ : A λ → U q ( g ) σ λ ~   est un isomorphisme.
  • Demonstration. Avec [J,Chapitre4] introduisons l’algèbre de Hopf U   engendrée par les générateurs E i , F i   et K i ± 1   soumis aux relations ( 11 ) ( 14 ) de commutation de U q ( g )   . Cette algèbre peut etre munie d’une structure d’algèbre de Hopf avec la comultiplication, la counité et l’antipode définies par les memes relations  17  21  ( ) − ( )   que pour U q ( g )   . L’algèbre U q ( g )   est alors le quotient de l’algèbre U   par l’idéal I   engendré par les relations de Serre quantiques ( 15 ) et ( 16 ) ; notons P   la projection de U   sur U q ( g )   . La famille
    E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲ = E i 1 α i 1 ⋯ E i n α i n F j 1 β j 1 ⋯ F j p β j p K l 1 γ l 1 ⋯ K l t γ l t , (53)
    ou i 1 , … , i n , j 1 , … , j p , l 1 , … , l t   parcourent { 1 , … , t }   , α i 1 , … , α i n , β j 1 , … , β j p   parcourent N   et γ l 1 , … , γ l t   parcourent Z   , est une base de U   (voir [J] ). L’algèbre de Hopf k [ G ]   est aussi la sous-algèbre engendrée par les éléments “group-like” de U   et l’application p : U → k [ G ]   définie pour tout i = 1 , … , t   par
    p ( E i ) = p ( F i ) = 0 , p ( K i ± 1 ) = K i ± 1 (54)
    est surjective. Nous pouvons considérer le cocycle inversible σ ˇ λ = σ λ ∘ ( p ⊗ p )   et noter U σ ˇ λ   l’algèbre obtenue de U   à partir du cocycle σ ˇ λ   en suivant le procédé décrit au paragraphe 1.2. Remarquons que σ λ ~ = P ∘ σ ˇ λ   . Aussi pour simplifier nous garderons la notation σ λ ~   pour le cocycle σ ˇ λ   .
    Cherchons maintenant une base de ce meme espace vectoriel adaptée au produit ⋅ σ λ ~   . Remarquons que de la meme manière que pour les relations ( 43 ) et ( 48 ), le produit d’un élément E i   avec un élément F j   vaut dans U q ( g ) σ λ ~  
    E i ⋅ σ λ ~ F j = σ λ ~ ( E i , F j ) K j − 1 + σ λ ~ ( E i , 1 ) F j + σ λ ~ ( K i , F j ) E i K j − 1 + σ λ ~ ( K i , 1 ) E i F j = E i F j , (55)
    celui d’un élément F i   avec un élément K j   vaut
    F i ⋅ σ λ ~ K j = σ λ ~ ( F i , K j ) K i − 1 K j + σ λ ~ ( 1 , K j ) F i K j = F i K j (56)
    et celui de deux éléments K i   et K j   vaut
    K i ⋅ σ λ ~ K j = σ λ ~ ( K i K j ) K i K j = λ i j K i K j , (57)
    pour tout 1 ≤ i , j ≤ t   . Si les indices i 1 , … , i n , j 1 , … , j p , l 1 , … , l t   parcourent { 1 , … , t }   , α i 1 , … , α i n , β j 1 , … , β j p   parcourent N   et γ l 1 , … , γ l t   parcourent Z   , notons J   la suite d’indice i 1 , … , i n , l 1 ,   l 2 , … , l t   et J k   la suite définie à partir de la précédente en ne gardant que les indices à partir de l’indice k   (par exemple J i 3 = i 3 , … , i n , l 1 , … , l t   et J l 5 = l 5 , … , l t   ). Alors, de manière similaire à ( 43 ) ( 46 ), nous utilisons les relations ( 43 ), ( 48 ) et ( 55 ) ( 57 ), exprimant les produits dans U q ( g ) σ λ ~   des générateurs E i , F j   et K l   sur la base E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲   , de manière répétée grace aux relations ( 32 ) et ( 33 ) de définition de σ λ ~   , pour exprimer les éléments E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲   sur la base E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲   :
    E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ = E i 1 α i 1 ⋅ σ λ ~ ⋯ ⋅ σ λ ~ E i n α i n ⋅ σ λ ~ F j 1 β j 1 ⋅ σ λ ~ ⋯ ⋅ σ λ ~ F j p β j p ⋅ σ λ ~ K l 1 γ l 1 ⋅ σ λ ~ ⋯ ⋅ σ λ ~ K l t γ l t = ( ( ∏ i 1 ≤ i < i ′ ≤ i n λ i i ′ α i α i ′ ) E i 1 α i 1 ⋯ E i n α i n ) ⋅ σ λ ~ ( F j 1 β j 1 ⋯ F j p β j p ) ⋅ σ λ ~ ( ( ∏ l 1 ≤ l < l ′ ≤ l t λ l l ′ γ l γ l ′ ) K l 1 γ l 1 ⋯ K l t γ l t ) = ∏ k ∈ J ∏ k ′ ∈ J k λ k k ′ κ k κ k ′ E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲ , (58)
    ou κ k   désigne α k   si k   est un indice relatif à E   (soit de la forme i m   ) et désigne γ k   si k   est un indice relatif à K   (soit de la forme l m   ). La famille E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲   forme une base de U   et de U σ λ ~   puisque les scalaires ∏ k ∈ J ∏ k ′ ∈ J k λ k k ′ κ k κ k ′   sont tous non nuls.
    Notons X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲   le produit X i 1 α i 1 ⋯ X i n α i n Y j 1 β j 1 ⋯ Y j p β j p Z l 1 γ l 1 ⋯ Z l t γ l t   si i ̲ , α i ̲ , j ̲ ,   β j ̲ , l ̲ , γ l ̲   sont les multi-indices correspondant à i 1 , … , i n , α i 1 , … , α i n , j 1 , … , j p ,   β j 1 , … , β j p , l 1 , … , l t , γ l 1 , … , γ l t   et définissons l’application linéaire ψ : U σ λ ~ → A λ   par sa donnée sur la base E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲   :
    ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ) = X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ . (59)
    Démontrons que ψ   est un morphisme d’algèbres. Notons λ i i ′ ̲ = ∏ i k ∈ i ̲ , i k ′ ∈ i ′ ̲ λ i k i k ′   le produit des λ i k i l ′   lorsque i k   décrit le multi-indice i ̲   et i l ′   décrit le multi-indice i ′ ̲   .
    Trouvons l’écriture dans la base E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲   du produit de deux éléments de cette base. Les calculs ( 39 ) ( 42 ) assurent aussi que
    K i ⋅ σ λ ~ K j = λ i j 2 K j ⋅ σ λ ~ K i , (60)
    K i ⋅ σ λ ~ E j = λ i j 2 q d i a i j E j ⋅ σ λ ~ K i , (61)
    K i ⋅ σ λ ~ F j = q d i a i j F j ⋅ σ λ ~ K i (62)
    et
    E i ⋅ σ λ ~ F j − F j ⋅ σ λ ~ E i = δ i , j K i − K i − 1 q d i − q − d i , (63)
    pour tout 1 ≤ i , j ≤ t   . En utilisant ces relations de commutation ( 60 ) ( 63 ) de manière répétée, nous obtenons
    E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ = λ l i ′ ̲ 2 q d l a l i ′ E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ = λ l i ′ ̲ 2 q d l a l i ′ ( E i ̲ α i ̲ ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ + E i ̲ α i ̲ ⋅ σ λ ~ δ i ′ , j K j ̲ − K j ̲ − 1 q d j − q − d j ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ ) = λ l i ′ ̲ 2 q d l a l i ′ ( E i ̲ α i ̲ ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ + E i ̲ α i ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ δ i ′ , j K j ̲ − K j ̲ − 1 q d j − q − d j ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ ) . (64)
    De manière similaire, les relations ( 22 ) ( 25 ) assurent que l’écriture dans A λ   du produit de deux éléments de la forme X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲   vaut
    ( X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ ) ( X i ′ ̲ α i ′ ̲ Y j ′ ̲ β j ′ ̲ Z l ′ ̲ γ l ′ ̲ ) = λ l i ′ ̲ 2 q d l a l i ′ ( X i ̲ α i ̲ ⋅ σ λ ~ X i ′ ̲ α i ′ ̲ ⋅ σ λ ~ Y j ̲ β j ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ + X i ̲ α i ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ δ i ′ , j Z j ̲ − Z j ̲ − 1 q d j − q − d j ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ ) . (65)
    Nous avons donc
    ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ ) = ψ ( λ l i ′ ̲ 2 q d l a l i ′ ( X i ̲ α i ̲ ⋅ σ λ ~ X i ′ ̲ α i ′ ̲ ⋅ σ λ ~ Y j ̲ β j ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ + X i ̲ α i ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ δ i ′ , j Z j ̲ − Z j ̲ − 1 q d j − q − d j ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ ) = λ l i ′ ̲ 2 q d l a l i ′ ( X i ̲ α i ̲ ⋅ σ λ ~ X i ′ ̲ α i ′ ̲ ⋅ σ λ ~ Y j ̲ β j ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ + X i ̲ α i ̲ ⋅ σ λ ~ Y j ′ ̲ β j ′ ̲ ⋅ σ λ ~ δ i ′ , j Z j ̲ − Z j ̲ − 1 q d j − q − d j ⋅ σ λ ~ Z l ̲ γ l ̲ ⋅ σ λ ~ Z l ′ ̲ γ l ′ ̲ ) = X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ X i ′ ̲ α i ′ ̲ Y j ′ ̲ β j ′ ̲ Z l ′ ̲ γ l ′ ̲ = ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ) ψ ( E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ ) , (66)
    ce qui établit que ψ   est un morphisme d’algèbres. Par suite, comme les générateurs de l’algèbre A λ   appartiennent à l’image de ψ   , celle-ci est surjective.
    Pour montrer que ψ   se factorise à travers U q ( g ) σ λ ~   , il suffit de montrer que le noyau de P   est inclus dans le noyau de ψ   . Soit u   appartenant au noyau de P   ; alors u   appartient à l’idéal engendré par les relations de Serre quantiques ( 15 ) et ( 16 ). Donc u   est une combinaison linéaire d’éléments de la forme
    E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s E s 1 − a s t E t E s r ) E i ′ ̲ α i ′ ̲ F j ′ ̲ β j ′ ̲ K l ′ ̲ γ l ′ ̲ (67)
    et de la forme
    E i ̲ α i ̲ F j ̲ β j ̲ K l ̲ γ l ̲ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s F s 1 − a s t F t F s r ) E i ′ ̲ α i ′ ̲ F j ′ ̲ β j ′ ̲ K l ′ ̲ γ l ′ ̲ , (68)
    avec i ̲ , α i ̲ ; j ̲ , β j ̲ , l ̲ , γ l ̲   des multi-indices de la forme précédente et s , t = 1 , … , t   .
    Par conséquent, sur la base E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲   , l’élément u   est une combinaison linéaire d’éléments de la forme
    E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s E s 1 − a s t ⋅ σ λ ~ E t ⋅ σ λ ~ E s r ) ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ (69)
    et de la forme
    E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s F s 1 − a s t ⋅ σ λ ~ F t ⋅ σ λ ~ F s r ) ⋅ σ λ ~ E i ′ ̲ α i ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ̲ . (70)
    Donc ψ ( u )   est une combinaison linéaire d’éléments de la forme
    ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s E s 1 − a s t ⋅ σ λ ~ E t ⋅ σ λ ~ E s r ) ⋅ σ λ ~ E i ′ ̲ α i ′ ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ′ ̲ ) = ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ) ψ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s E s 1 − a s t ⋅ σ λ ~ E t ⋅ σ λ ~ E s r ) ψ ( E i ′ ̲ α i ′ ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ′ ̲ ) = X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s X s 1 − a s t X t X s r ) X i ′ ̲ α i ′ ′ ̲ Y j ′ ̲ β j ′ ′ ̲ Z l ′ ̲ γ l ′ ′ ̲ (71)
    et, de façon similaire, d’éléments de la forme
    ψ ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ⋅ σ λ ~ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s F s 1 − a s t ⋅ σ λ ~ F t ⋅ σ λ ~ F s r ) ⋅ σ λ ~ E i ′ ̲ α i ′ ′ ̲ ⋅ σ λ ~ F j ′ ̲ β j ′ ′ ̲ ⋅ σ λ ~ K l ′ ̲ γ l ′ ′ ̲ ) = X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ ( ∑ r = 0 1 − a s t ( − 1 ) r [ 1 − a s t r ] q d s Y s 1 − a s t Y t Y s r ) X i ′ ̲ α i ′ ′ ̲ Y j ′ ̲ β j ′ ′ ̲ Z l ′ ̲ γ l ′ ′ ̲ . (72)
    Les deux derniers membres de ( 71 ) et de ( 72 ) sont nuls en vertu de ( 26 ) et ( 27 ). Il en résulte que ψ ( u )   est nul et que le morphisme ψ   se factorise en un morphisme Ψ : U q ( g ) σ λ ~ → A λ   .
    Le morphisme Ψ   est surjectif puisque ψ   l’est. De plus nous avons la relation
    ( φ λ ∘ Ψ ) ( E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ ) = φ λ ( X i ̲ α i ̲ Y j ̲ β j ̲ Z l ̲ γ l ̲ ) = φ λ ( X i ̲ ) α i ̲ ⋅ σ λ ~ φ λ ( Y j ̲ ) β j ̲ ⋅ σ λ ~ φ λ ( Z l ̲ ) γ l ̲ = E i ̲ α i ̲ ⋅ σ λ ~ F j ̲ β j ̲ ⋅ σ λ ~ K l ̲ γ l ̲ , (73)
    pour tout multi-indices i ̲ , α i ̲ ; j ̲ , β j ̲ , j ̲ , γ l ̲   . Donc φ λ ∘ Ψ   est égale à l’identité de U q ( g ) σ λ ~   . En conséquence, Ψ   est injective. Comme Ψ   est surjective, elle est bijective d’inverse φ λ   . □

3.3 Objets galoisiens de U q ( g )   et de k [ G ]  

Notons i   le plongement naturel de k [ G ]   dans U q ( g )   ; il nous permet en particulier de définir une structure d’algèbre U q ( g )   -comodule à gauche sur k [ G ]   par
k [ G ] − − − → Δ k [ G ] k [ G ] ⊗ k [ G ] − − − → i ⊗ I d U q ( g ) ⊗ k [ G ] . (74)
Comme nous l’avons expliqué au paragraphe 1.1, ce plongement i : k [ G ] → U q ( g )   induit une application
i ◆ : G a l k ( U q ( g ) ) → G a l k ( k [ G ] ) . (75)
Lemme 4. L’image de U q ( g ) σ λ ~   par l’application i ◆   est k [ G ] σ λ   .
  • Demonstration. Par définition, nous avons
    i ◆ ( U q ( g ) σ λ ~ ) = U q ( g ) σ λ ~ □ U q ( g ) k [ G ] . (76)
    Considérons les bijections linéaires (voir [EM,Prop2.1] )
    k [ G ] − → μ U q ( g ) □ U q ( g ) k [ G ] − → ν k [ G ] (77)
    données par μ = ( i ⊗ I d ) ∘ Δ   et ν = ɛ ⊗ I d   . Les structures d’espaces vectoriels et de comodules de U q ( g ) σ λ ~   et k [ G ] σ λ   étant par définition les memes que celles de U q ( g )   et k [ G ]   respectivement, ces bijections valent aussi pour k [ G ] σ λ   et U q ( g ) σ λ ~   :
    k [ G ] σ λ − → μ U q ( g ) σ λ ~ □ U q ( g ) k [ G ] − → ν k [ G ] σ λ . (78)
    Montrons maintenant que l’isomorphisme μ   est aussi un morphisme d’algèbres de k [ G ] σ λ   sur U q ( g ) σ λ ~ □ U q ( g ) k [ G ]   . Notons g 1 ⋅ σ λ g 2   le produit dans k [ G ] σ λ   de deux éléments g 1   et g 2   de G   et gardons la notation g 1 g 2   pour leur produit dans G   .
    Nous obtenons
    μ ( g 1 ⋅ σ λ g 2 ) = σ λ ( g 1 g 2 ) μ ( g 1 g 2 ) = σ λ ( g 1 g 2 ) ( g 1 g 2 ⊗ g 1 g 2 ) = ( σ λ ~ ( g 1 , g 2 ) g 1 g 2 ) ⊗ g 1 g 2 = g 1 ⋅ σ λ ~ g 2 ⊗ g 1 g 2 (79)
    pour tout g 1 , g 2 ∈ G   , ce qui assure que
    μ : k [ G ] σ λ → U q ( g ) σ λ ~ □ U q ( g ) k [ G ] (80)
    est un isomorphisme d’algèbres. □

3.4 Démonstration du théorème

Le point ( 1 )   est une conséquence des lemmes  2 et  3 .
Démontrons le point ( 2 )   . Soit A   un objet galoisien de U q ( g )   . Considérons son image i ◆ ( A )   dans G a l k ( k [ G ] )   . D’après [KS,Prop.3.2] ,
G a l ( k [ G ] ) ∼ = H 2 ( G , k ◆ ) . (81)
Il est bien connu que ce dernier groupe est isomorphe a H o m ( Λ 2 , k * )   (voir par exemple [B,Théorème V.6.4 (iii)] ). Par consequent, il existe une famille λ   telle que i * ( A ) ∼ = k [ G ] σ λ   . On a donc i ◆ ( A ) ∼ = i ◆ ( A λ )   par les lemmes  2 ,  3 et  4 . Or Kassel et Schneider [KS,Théorème4.5] ont montré que l’application i ◆ : ℋ k ( U q ( g ) σ λ ~ ) → ℋ k ( k [ G ] )   est une bijection sur les classes d’homotopie d’extensions galoisiennes. Par conséquent, A   et A λ   sont homotopes.
Démontrons le point ( 3 )   . Supposons que A λ   et A λ ′   définissent le meme élément de ℋ ( U q ( g ) σ λ ~ )   . Alors i ◆ ( A λ ) = i ◆ ( A λ ′ )   dans ℋ k ( k [ G ] )   . D’après [KS,Prop3.2] , on a ℋ k ( k [ G ] ) ∼ = G a l k ( k [ G ] )   . Il résulte de ceci et des bijections ( 81 ) que λ = λ ′   .
References

  1. K. S. Brown, Cohomology of groups, Graduate Texts in Mathematics, volume 87, Springer-Verlag, New York-Berlin, 1982.
  2. Y. Doi, Braided bialgebras and quadratic bialgebras. Comm. Algebra 21 (1993), no. 5, 1731–1749
  3. S. Eilenberg, J.-C. Moore. Homology and fibrations. I. Coalgebras, cotensor product and its derived functors. Comment. Math. Helv. 40 (1966) 199–236.
  4. J.-C. Jantzen, Lectures on Quantum Groups, Graduate Studies in Mathematics, Volume 6, Amer. Math. Soc., Providence, RI, (1995).
  5. C. Kassel, Quantum principal bundles up to homotopy equivalence, The Legacy of Niels Henrik Abel, The Abel Bicentennial, Oslo, 2002, O. A. Laudal, R. Piene (eds.), Springer-Verlag (2004), 737–748.
  6. C. Kassel, H.-J. Schneider, Homotopy theory of Hopf Galois extensions, preprint arXiv : math.QA/0402034, à paraıtre dans Annales Inst. Fourier (Grenoble) 55 (2005).
  7. S. Montgomery, Hopf algebras and their actions on rings. CBMS Regional Conference Series in Mathematics, 82. American Mathematical Society, Providence, RI, (1993).
  8. H.-J. Schneider, Principal homogeneous spaces for arbitrary Hopf algebras. Hopf algebras. Israel J. Math. 72 (1990), no. 1-2, 167–195.

Institut de Recherche Mathématique Avancée C.N.R.S. Université Louis Pasteur 7 rue René Descartes 67084 Strasbourg Cedex, France E-mail : aubriot@math.u-strasbg.fr Fax : +33 (0)3 90 24 03 28