POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES VARIÉTÉS ABÉLIENNES (D’APRÈS Y. ZARHIN ET B. MOONEN) ANNA CADORET Contents 1. Introduction 2. Algèbres de Lie semisimples scindées (ALSSS) 2.1. Algèbres de Lie semisimples ALSS 2.2. sl2 (k) 2.3. Sous-algèbres de Cartan 2.4. Système de racines associé à une k-ALSSS et structure 3. Systèmes de racines 3.1. Indépendence du corps de base et complète réductibilité 3.2. Orientation: bases, chambres de Weyl et groupe de Weyl 3.3. Quelques mots sur la classification 3.4. Réseaux des poids et des racines 3.5. Poids minuscules 4. Représentations simples des ALSSS 4.1. Le théorème du plus haut poids 4.2. Représentations minuscules 5. Preuve du théorème 1.1 5.1. Un résultat général 5.2. Structures de Hodges pures 5.3. Variétés abéliennes References 1 2 2 3 4 4 6 6 7 8 9 10 11 11 12 12 12 14 14 15 Dans cet exposé, k désignera toujours un corps de caractéristique 0. 1. Introduction L’objectif de cet exposé est d’introduire la théorie des algèbres de Lie semisimples scindées, notamment d’expliquer comment associer à toute algèbre de Lie semisimple scindée un système de racines et décrire comment cette donnée permet de classifier les algèbres de Lie semisimples scindées et leurs représentations de dimension finie. On terminera l’exposé par une étude succinte des représentations minuscules d’une algèbre de Lie semisimple scindée que l’on appliquera pour montrer le théorème suivant (initialement présenté par Nicolas Ratazzi dans l’exposé 7) Theorem 1.1. Soit A une variété abélienne sur C de dimension impaire et d’anneau d’endomorphismes Z. Alors M T (A) = GSp(H1B (A(C), Q), ϕ). La plupart des preuves seront omises d’une part par paresse, d’autre part pour ne pas noyer l’exposé dans des détails techniques. Le matériel présenté ici est par ailleurs standard. Pour les algèbres de Lie semisimples scindées, on pourra se référer à [B90], [H72] ou [S66]. Pour la théorie des représentations minuscules appliquées aux groupes de Mumford-Tate, aux notes de B. Moonen [Mo99] et à l’article Date: Rencontre ARIVAF 8 - 10 novembre 2011, Paris. 1 2 ANNA CADORET original de Y. Zarhin [Za85] dont elles s’inspirent. Soit V un k-espace vectoriel de dimension finie. On appelle reflexion de V toute automorphisme klinéaire s : V →V ˜ tel que ker(s − IdV ) (resp. ker(s + IdV )) est un hyperplan (resp. une droite) de V ; on dit alors que les éléments non nuls de ker(s + IdV ) sont les vecteurs de s : V →V ˜ . Si s : V →V ˜ est une reflexion de V , le choix d’un vecteur α détermine un unique α∗ ∈ V ∨ tel que (α, α∗ ) := α∗ (α) = 2 et ker(α∗ ) = ker(s − IdV ). On a alors s(v) = v − (v, α∗ )α, v ∈ V . On appelle système de racines sur k tout couple (V, R) où V est un k-espace vectoriel de dimension finie et R ⊂ V un sous-ensemble vérifiant les trois axiomes suivants (SR1) 0 6∈ R, |R| < +∞, R engendre V comme k-espace vectoriel; (SR2) pour tout α ∈ R il existe une (unique) reflexion sα : V →V ˜ de vecteur α telle que sα (R) = R; (SR3) pour tout α, β ∈ R on a sα (β) − β ∈ Zα. Remark 1.2. (1) Sous (SR1) et la condition sα (α) = −α, l’unicité de sα : V →V ˜ est automatique; c’est donc l’existence qui importe. (2) (SRi), i = 1, 2, 3 équivalent à (SR1) et pour tout α ∈ R il existe un unique α∗ ∈ V ∨ tel que (α, α∗) = 2, (R, α∗ ) ⊂ Z et sα,α∗ (R) = R. (3) Pour tout α ∈ R on a toujours kα ∩ R = {±α} ou kα ∩ R = {±α, ± 12 α}. Dans le premier cas, on dit que (V, R) est réduit. 2. Algèbres de Lie semisimples scindées (ALSSS) 2.1. Algèbres de Lie semisimples ALSS. Soit g une k-algèbre de Lie de dimension finie. Pour tout x ∈ g, on note adg (x) : g → g l’endomorphisme k-linéaire défini par adg (x)(y) = [x, y], y ∈ g et κg : g ⊗k g → k x ⊗ y → T rg (adg (x) ◦ adg (y)) la forme de Killing de g, qui est une forme k-bilinéaire symétrique associative i.e. κg (x ⊗ [y, z]) = κg ([x, y] ⊗ z) (identité de Jacobi). Proposition 2.1. Les conditions suivantes sont équivalentes (1) g ne contient pas d’idéal commutatif non trivial; (2) Rad(g) = 0, où Rad(g) est le radical résoluble de g; (3) κg : g ⊗k g → k est non-dégénérée; (4) g n’a qu’un nombre fini d’idéaux Qsimples g1 , . . . , gr et g = ⊕1≤i≤r gi (comme k-espace vectoriels) ou, de façon équivalente, g = 1≤i≤r gi (comme k-algèbres de Lie). On dit alors que g est semisimple. Dérivations et décomposition de Jordan abstraite: Soit g une k-algèbre de Lie de dimension finie. Notons Derk (g) := {d : g → g k − linéaire | d([x, y]) = [dx, y] + [x, dy], x, y ∈ g} ⊂ gl(g) la sous-k-algèbre de Lie des dérivations de g. On a toujours une suite exacte de k-algèbres de Lie adg 0 → Z(g) → g → Derk (g) Lorsqu’on suppose de plus g semisimple, on a mieux. Lemma 2.2. Si g semisimple alors adg : g→Der ˜ k (g) est un isomorphisme. Supposons maintenant g semisimple. Pour tout x ∈ g on dispose de la décomposition de Jordan usuelle adg (x) = adg (x)n + adg (x)s POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES comme somme d’un endormorphisme nilpotent et d’un endomorphisme semisimple uniques et polynomiaux en adg (x). On montre facilement que adg (x)n et adg (x)s sont encore des dérivations. Par le lemme 2.2, il existe donc un unique couple xn , xs ∈ g tel que adg (xn ) = adg (x)n , adg (xs ) = adg (x)s . On dit alors que x = xn +xs est la décomposition de Jordan abstraite de x dans g. Cette décomposition de Jordan abstraite s’incarne dans toutes les représentations de dimension finie de g en la décomposition de Jordan usuelle. Proposition 2.3. (Préservation de la décomposition de Jordan) Pour toute représentation ρ : g → gl(V ) de dimension finie, ρ(xs ) = ρ(x)s , ρ(xn ) = ρ(x)n , x ∈ g. Représentations: Notons Repk (g) la catégorie des représentations de dimension finie de g sur k i.e. des couples (V, ρ), où V est un k-espace vectoriel de dimension finie et ρ : g → gl(V ) un morphisme de k-algèbres de Lie. On a alors l’énoncé suivant, justifiant la terminologie ’semisimple’. Theorem 2.4. (Weyl) g est semisimple si et seulement si Repk (g) est semisimple. 2.2. sl2 (k). Les k-algèbres de Lie de dimension 1 et 2 sont abéliennes ou résolubles. C’est en dimension 3 qu’apparait la première k-ALSS, qui est sl2 (k), le noyau de la trace sur gl2 (k). On peut la décrire par générateurs et relations comme suit. sl2 (k) = kx ⊕ ky ⊕ kh [h, x] = 2x, [h, y] = −2y, [x, y] = h. et, concrètement, on peut prendre 0 1 0 0 1 0 x= , y= , h= 0 0 1 0 0 −1 Notons que x = xn , y = yn et h = hs . On va voir que sl2 (k) est la brique de base qui apparait dans le théorème de structure des k-ALSSS. Pour en comprendre la preuve, il est indispensable d’avoir bien compris les représentations simples de sl2 (k) sur lesquelles h agit diagonalement (rappelons que par préservation de la décomposition de Jordan, h agit toujours de façon semisimple). On va donc décrire leur classification ci-dessous. Cela nous donnera également le ’baby-case’ du théorème de classification des modules simples de dimension finie sous une k-ALSSS. Soit donc V un sl2 (k)-module de dimension finie sur lequel h agit diagonalement. Ecrivons M V = V0 ⊕ Vλ , λ∈P (V ) où P (V ) désigne l’ensemble des poids de V i.e. des valeurs propres non nulles de h agissant sur V et Vλ l’espace de poids λ i.e. Vλ := ker(h − λIdV ). On appelle vecteur primitif de V de poids λ ∈ P (V ) tout v ∈ Vλ , v 6= 0 tel que xv = 0. Etant donné un vecteur primitif v0 de poids λ, posons v−1 = 0 vi = i!1 y i v0 i ≥ 0 (= 1i vi−1 , i ≥ 1). On peut alors décrire explicitement (par récurrence, en utilisant Jacobi et les relations de sl2 (k)) les actions de x, y, h sur les vi , i ≥ −1. 4 ANNA CADORET Lemma 2.5. Pour tout i ≥ 0 on a (1) hvi = (λ − 2i)vi ; (2) yvi = (i + 1)vi+1 ; (3) xvi = (λ − i + 1)vi−1 . La relation (1) impose aux vi non nuls d’être libres donc, V étant de dimension finie, cela permet de définir le plus petit entier m tel que vm 6= 0 mais vm+1 = 0. Les relations (1), (2), (3) montrent alors que M kvi W := 0≤i≤m est un sl2 (k)-sous-module. En outre, h agit encore diagonalement sur W avec P (W ) = {λ − 2i | 0 ≤ i ≤ m} et dimk (Wλ ) = 1, λ ∈ P (W ). Cela impose à W d’être un sl2 (k)-module simple. En effet, si W 0 ⊂ W est un sous-sl2 (k)-module, h agit encore diagonalement sur W 0 (puisque le polynôme minimal de h|W 0 divise celui de h|W donc est scindé sur k) donc contient au moins l’un des vi . Mais alors, par les relations (2) et (3), il les contient tous. Enfin, la relation (3) pour i = m + 1 montre que λ = m = dimk (W ). On peut résumer ces observations par Lemma 2.6. (Classification des sl2 (k)-modules simples de dimension finie) Notons Repirr sl2 (k) la catégorie des sl2 (k)-modules simples de dimension finie. On a alors une correspondance bijective Repirr ↔ Z≥−1 sl2 (k) / ' V → dimk (V ) − 1 V (m) (défini par les relations (1), (2), (3)) ← m 2.3. Sous-algèbres de Cartan. Soit g une k-ALSS de dimension finie et h ⊂ g une sous-k-algèbre de Lie. On dit que h est torique si x = xs , x ∈ h et que h est de Cartan (déployante) si h est torique maximale (et spec(adg (x)) ⊂ k, x ∈ h). On a le résultat élémentaire - mais essentiel - suivant. Lemma 2.7. Toute sous-k-algèbre de Lie torique est abélienne. Notons C(g) l’ensemble des sous-k-algèbres de Cartan déployantes. Alors, Theorem 2.8. Le groupe AutLie/k (g) agit transitivement sur C(g). On peut donc définir le rang d’une k-ALSS g comme la k-dimension commune des éléments de C(g). Enfin, on appelle k-algèbre de Lie semisimple scindée (ou déployée) (ALSSS) tout couple (g, h), où g est une k-ALSS de dimension finie et h ⊂ g une sous-k-algèbre de Cartan déployante. Example 2.9. Dans sln (k) les algèbres de Cartan sont toutes conjuguées à la sous-k-algèbre des matrices diagonales de trace nulle; le rang de sln (k) est donc n − 1. 2.4. Système de racines associé à une k-ALSSS et structure. Soit (g, h) une k-ALSSS. Par le lemme 2.7, h agit diagonalement sur g par adjonction. On peut donc décomposer M g = Cg (h) ⊕ gα , α∈h∨ \{0} où, pour tout α ∈ h∨ on a posé gα := {x ∈ g l [h, x] = α(h)x, h ∈ h}. Notons enfin R := {α ∈ h∨ \ {0} | gα 6= 0}. L’identité de Jacobi montre que pour tout α, β ∈ h∨ on a toujours [gα , gβ ] ⊂ gα+β . En particulier, si α + β 6= 0, gα et gβ sont orthogonales pour la forme de Killing. On en déduit que la forme de Killing POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES reste non dégénérée sur les gα + g−α , α ∈ h∨ (donc en particulier sur g0 = Cg (h)). On a le fait suivant, pas tout à fait immédiat Lemma 2.10. Cg (h) = h. La forme de Killing est donc non dégénérée sur h aussi. Cela permet d’identifier h → ˜ h∨ t → κg (t, −) tα ← α et de munir h∨ d’une forme k-bilinéaire symétrique non-dégénérée h−, −i : h∨ ⊗k h∨ → k définie par hα, βi = κg (tα , tβ ). Commençons par le petit lemme suivant. Lemma 2.11. Pour tout α ∈ h∨ , x ∈ gα , y ∈ g−α on a [x, y] = κg (x, y)tα . Preuve. Comme κg est non dégénérée sur h, il suffit de montrer que κg ([x, y] − κg (x, y)tα , h) = 0, h ∈ h. Or κg ([x, y], h) = κg (x, [y, h]) = α(h)κg (x, y) par associativité de κg alors que κg (κg (x, y)tα , h) = α(h)κg (x, y) par définition de tα . Notons hα := [gα , g−α ]. Le lemme 2.11 nous dit déjà que hα est de dimension au plus 1. En fait Lemma 2.12. hα est de dimension 1 et il existe un unique hα ∈ hα tel que (hα , α) = 2. Preuve. Pour la première partie de l’assertion, il suffit d’observer que pour tout x ∈ gα , x 6= 0 il −α pour la existe y ∈ g−α , 6= 0 tel que [x, y] = κg (x, y) 6= 0. En effet, Msinon, x serait orthogonal à g forme de Killing or on sait déjà que x est orthogonal à gβ . Donc comme κg est non dégénérée, β6=−α cela imposerait x = 0. L’unicité dans la seconde partie de l’assertion résulte du fait que hα est de dimension 1. Pour l’existence, il suffit de montrer que hα, αi = α(tα ) 6= 0 (puis poser hα = 2tα /hα, αi). Si on avait α(tα ) = 0, en choisissant x ∈ gα , y ∈ g−α tels que κg (x, y) = 1 donc [x, y] = tα , on aurait [tα , x] = [tα , y] = 0. Donc rα := kx ⊕ ky ⊕ ktα serait une sous-k-algèbre de Lie résoluble et par théorème de Lie appliqué à rα opérant par adjonction sur g, on aurait adg (tα ) = [adg (x), adg (y)] nilpotent donc tα = tα,n . Mais par hyothèse, tα = tα,s donc tα = 0: contrad. Pour tout α ∈ R et pour tout xα ∈ gα , xα 6= 0 il existe donc yα ∈ g−α tels que [xα , yα ] = hα et sα = kxα ⊕ kyα ⊕ khα est isomorphe à sl2 (k). En fait, le lemme suivant montre que gα est de dimension 1 donc une fois que xα est donné, yα est également uniquement déterminé. Lemma 2.13. gα est de dimension 1. Preuve. Supposons que gα soit de dimension ≥ 2 alors on peut toujours trouver y ∈ g−α tel que [xα , y] = 0. Mais comme [hα , y] = −2y, y apparaı̂t comme un vecteur primitif du sα -module g de poids −2. C’est impossible puisque les vecteurs primitifs sont de poids positif. Proposition 2.14. R ⊂ h∨ est un système de racines réduit. Preuve. Elle repose essentiellement sur les deux lemmes suivants. 6 ANNA CADORET Lemma 2.15. Pour tout α, β ∈ R tels que α 6= ±β notons p = max{n ∈ Z |; β − nα ∈ R}, q = max{n ∈ Z |; β + nα ∈ R} et introduisons V := M gβ+nα n∈Z (1) V est un sous-sα -module simple de poids p + q et pour tout −p ≤ n ≤ q, on a β + nα ∈ R; (2) β(hα ) = p − q ∈ Z; (3) pour tout −p ≤ n ≤ q − 1, adg (xα ) induit un isomorphisme adg (xα ) : gα+nβ →g ˜ α+(n+1)β . Preuve. L’hypothèse α 6= ±β assure que V est bien un sous-sα -module. Ses poids sont P (V ) := {β(hα ) + 2n | n ∈ Z, β + nα ∈ R}. En particulier, 0 et 1 ne peuvent pas être simultanément des poids et comme pour tout λ ∈ P (V ), Vλ est de dimension 1 par le lemme 2.13, il résulte du lemme 2.6, que V est un sα -module simple. Les autres assertions découlent immédiatement de cette observation et de la structure des sα -modules simples. Lemma 2.16. Pour tout α ∈ R on a kα ∩ R = {±α}. Preuve. Là encore on introduit les sous-sα -modules M W := gaα . a∈k, a6=0,±1 On a V := M gaα = ker(α) ⊕ sα ⊕ W a∈k et P (V ) = {2a | a ∈ k, a 6= 0, aα ∈ R}. Comme les poids de W sont impairs (0 n’est pas poids), les seuls poids pairs de V sont 0 et ±2; en particulier 2α 6∈ R. Si 1 était un poids de W , on aurait 12 α ∈ R: contrad. Donc W = 0. Conclusion: Le lemme 2.16 dit précisément que R est réduit. (SR2) et (SR3) découlent du lemme 2.15 hφ,αi en posant sα (φ) = φ − 2 hα,αi α et en observant qu’alors, pour tout β ∈ R on a sα (β) = β − β(hα )α. ∨ Enfin, pour (SR1), si h n’était pas engendré par R il existerait φ ∈ h∨ , φ 6= 0 tel que hα, φi = 0, α ∈ R donc tφ ∈ ker(adg ) = Z(g) = 0: contrad. ∗ , Example 2.17. Si Ei,j , 1 ≤ i, j ≤ r désigne la base canonique de gln (k) et si on pose i,j = Ei,j ∗ ∗ δi,j = Ei,i − Ej,j alors le système de racines de (sln (k),sln (k) ∩ Dn (k)) est R = {δi,j }1≤i<j≤n et on peut prendre xδi,j = Ei,j , yδi,j = Ej,i et hδi,j = Ei,i − Ej,j . 3. Systèmes de racines 3.1. Indépendence du corps de base et complète réductibilité. Soit (V, R) un système de racines sur k et V0 ⊂ V le sous-Q-espace vectoriel engendré par R. Alors (V0 , R) est encore un système de racines sur Q et V0 ⊗Q k →V ˜ . Cela permettra dans la suite de se limiter au cas k = R. Lemma 3.1. (Complète réductibilité) (1) Soit (Vi , Ri ), i = 1, . . . , r des systèmes de racines. Alors (⊕ri=1 Vi , tri=1 Ri ) est encore un système de racines. POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES (2) On dit qu’un système de racines (V, R) est indécomposable s’il ne peut s’écrire sous la forme (V, R) = (V1 ⊕ V2 , R1 t R2 ), avec (Vi , Ri ), i = 1, 2 des systèmes de racines non nuls. En général, il existe une unique partition R = tri=1 )Ri telle que, si Vi désigne le sous-k-espace vectoriel engendré par Ri alors (V, R) = (⊕ri=1 Vi , tri=1 Ri ). Example 3.2. Soit (g, h) une k-ALSSS alors g est simple si et seulement si (h∨ , R) est indécomposable. En général, écrivons g = ⊕ri=1 gi comme somme directe de ses idéaux simples. Alors hi := h ∩ gi est une sous-k-algèbre de Cartan ∨ ∨ déployante de gi , i = 1, . . . r et en notant ˜ : h∨ i ,→ h l’injection canonique (qui envoie αi ∈ hi sur ∨ α̃i ∈ h défini par α̃i |hi = αi , α̃i |hj = 0, i 6= j), on a (h∨ , R) = (⊕ri=1 h̃i , t1≤i≤r Ri ). 3.2. Orientation: bases, chambres de Weyl et groupe de Weyl. Soit (V, R) un système de racines sur R. Le groupe de Weyl de (V, R) est le sous-groupe de GL(V ) engendré par les sα , α ∈ R. Par (SR2) W (R) agit sur R et par (SR1) cette action est fidèle donc W (R) est fini d’ordre au plus |R|!. En particulier, on peut toujours munir V d’un produit scalaire h−, −i : V ⊗R V → R W (R)-invariant. . Avec cette notation, sα : V →V ˜ est la reflexion orthogonale de vecteur α et α∗ = 2 hα,−i ||α||2 Les notions de base et de chambre de Weyl - qui sont équivalentes (Lemme 3.3) - permettent d’orienter un système de racines. Le choix d’une telle orientation jouera un rôle prépondérant dans la suite. Notons CW (R) := π0 (V \ [ ker(sα )) α∈R l’ensemble des chambres de Weyl de (V, R) et B(R) l’ensemble des bases de (V, R) i.e. des sousensembles S ⊂ R qui sont des bases de V et tels que R = RS+ t −RS+ , où RS+ = R ∩ ⊕α∈S Z≥0 α ⊂ R est l’ensemble des racines positives de (V, R) par rapport à S. Soit T ∈ CW (R) et t ∈ T , on peut définir Rt+ := {α ∈ R | ht, αi ≥ 0} (racines positives par rapport à t) et St := {α ∈ Rt+ | α 6= α0 + α00 , α0 , α00 ∈ Rt+ } (racines indécomposables par rapport à t) Alors Lemma 3.3. (1) ST := St ne dépend que de T (pas de t ∈ T ) et est une base de (V, R). En particulier, B(R) 6= ∅. (2) La correspondance T → ST induit une bijection CW (R)→B(R). ˜ (3) W (R) agit simplement transitivement sur CW (R) i.e. tout T ∈ CW (R) induit donc une bijection −(T ) : W (R)→CW ˜ (R). P Lemma P 3.4. Pour tout S ∈ B(R), il existe une unique racine αS = α∈S nα α ∈ R telle que pour tout α∈S mα α ∈ R on a mα ≤ nα , α ∈ S. On dit que la racine αS est la plus grande racine de R par rapport à S. 8 ANNA CADORET Example 3.5. Dans le cas de slP n (k), le groupe de Weyl est Sn+1 et la plus longue racine par rapport à la base δi,i+1 , i = 1, . . . , n est ni=1 δi,i+1 . Cf. [H72, p. 66] pour la liste exhaustive des plus longues racines et groupes de Weyl des systèmes de racines indécomposables. Le choix d’une base S ∈ B(R) permet également de définir un ordre partiel sur V en posant v ≤S v 0 si et seulement si M v0 − v ∈ Z≥0 α. α∈S 3.3. Quelques mots sur la classification. Soit toujours (V, R) un système de racines muni d’un produit scalaire W (R)-invariant h−, −i : V ⊗R V → R et S ∈ B(R). Pour tout α, β ∈ S posons nα,β := (α, β ∗ ) = 2hα, βi . ||β||2 En se plaçant dans le plan Π engendré par deux racines α 6= β ∈ S et en observant que (Π, R ∩ Π) est encore un système de racines, un calcul élémentaire montre que Lemma 3.6. Pour tout α 6= β ∈ S, quitte à échanger α et β, les seules possibilités sont nα,β nβ,α nα,β nβ,α ||β||2 /||α||2 angle (α, β) 0 1 −1 1 −1 1 −1 0 1 −1 2 −2 3 −3 0 1 1 2 2 3 3 ? 1 1 2 2 3 3 π/2 π/3 2π/3 π/4 3π/4 π/6 5π/6 Cf. [H72, Fig.1, p.44] pour une illustration. On appelle matrice de Cartan de (V, R) dans S la matrice CS (V, R) := (nα,β )α,β∈S . et diagramme de Dynkin de (V, R) dans S le graphe orienté DS (V, R) dont les sommets sont les éléments de S et, pour tout α, β ∈ R on a • si |α| = |β|: nα,β nβ,α flèches non-orientées entre α et β; • si |α| < |β|: nα,β nβ,α flèches orientées de β vers α. On a les lemmes suivant, préliminaires à la classification. Lemma 3.7. Supposons V de dimension n. (1) Pour tout σ ∈ Sn , notons Pσ = (δi,σ(j) )1≤i,j≤n ∈ GLn (R) la matrice de permutation associée. Cela définit une action Sn × Mn (R) → Mn (R) (σ, M ) → Pσ M Pσ−1 . L’orbite de CS (V, R) sous cette action ne dépend que de R et pas de la base S; on la note donc juste C(V, R). Et on a C(V, R) = C(V 0 , R0 ) ⇐⇒ (V, R) ' (V 0 , R0 ). (2) De même, DS (V, R) ne dépend que de (V, R) et pas de la base S; on le note donc juste D(V, R). Et on a D(V, R) = D(V 0 , R0 ) ⇐⇒ (V, R) ' (V 0 , R0 ). Lemma 3.8. (V, R) est irréductible si et seulement si D(V, R) est connexe. Par ces lemmes, la classification des systèmes de racines indécomposable se ramène donc à la classification des diagramme de Dynkin connexe et à montrer que chaque diagramme de Dynkin connexe correspond bien à un système de racines. POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES Theorem 3.9. Il y a 4 famille de systèmes de racines ’classiques’ An , n ≥ 1, Bn , n ≥ 2, Cn , n ≥ 3, Dn , n ≥ 4 et 5 systèmes de racines exceptionnels E6 , E7 , E8 , F4 , G2 (ici, l’indice désigne toujours la dimension de V ). Cf. [H72, p.58, 59] pour la liste des diagrammes de Dynkin et des matrices de Cartan correspondants. Application à la classification des ALSSS: L’une des premières applications de la théorie des systèmes de racines est la classification des ALSSS. Plus précisément, on a Theorem 3.10. (Unicité) Soit (gi , hi ) une k-ALSSS de système de racines (h∨ i , Ri ) et supposons fixée une base Si ∈ B(Ri ), i = 1, 2. Alors pour toute bijection r : S1 →S ˜ 2 et pour tout choix de xαi ∈ gαi i , xαi 6= 0, αi ∈ Si , i = 1, 2, il existe un unique isomorphisme de k-AL φr : g1 →g ˜ 2 tel que φr (xα1 ) = xr(α1 ) et φr (hα1 ) = hr(α1 ) , α1 ∈ S1 . Theorem 3.11. (Existence) Soit (V, R) un système de racines réduit et supposons k algébriquement clos. Alors il existe une k-ALSS de système de racines (isomorphe à) (V, R). Example 3.12. Les systèmes de racines classiques An , n ≥ 1, Bn , n ≥ 2, Cn , n ≥ 3, Dn , n ≥ 4 correspondent respectivement aux 4 familles suivantes de k-ALSS • sln (k) := {M ∈ gln (k) | Tr(M ) = 0}; • o2n+1 (k) := {M ∈ gl2n+1 (k) | t M J + JM = 0} où 1 0 0 J = 0 0 In ; 0 In 0 • sp2n (k) := {M ∈ gl2n (k) | t M J + JM = 0} où 0 In J= ; −In 0 • o2n (k) := {M ∈ gl2n (k) | t M J + JM = 0} où 0 In J= . In 0 3.4. Réseaux des poids et des racines. Dans cette section, on introduit les notions de réseau des poids et monoide des poids dominants. Dans le cas d’une k-ALSSS (g, h), on verra que les éléments de du réseaux des poids apparaissent effectivement comme poids des représentations de dimension finie de g et que les poids dominants classifient précisément les représentations simples de dimension finie de g. Rappelons que pour tout système de racines (V, R) et α ∈ R il existe un unique α∗ ∈ V ∨ tel que (α, α∗ ) = 2, sα,α∗ (R) = R et (R, α∗ ) ⊂ Z. Notons R∗ := {α∗ | α ∈ R}. Lemma 3.13. (V ∨ , R∗ ) est un système de racines et on a une correspondance bijective B(R) → ˜ B(R∗ ) S → S ∗ := {α∗ | α ∈ S}. Pour tout X ⊂ V réseau, on note X ∨ := {φ ∈ V ∨ | (R, φ) ⊂ Z} ⊂ V ∨ . ∨ Alors X ∨ ⊂ V ∨ est un réseau et si x1 , . . . , xn est une Z-base de X, sa base duale x∨ 1 , . . . , xn est une ∨ Z-base de X . Notons Q(R) = X α∈R Zα ⊂ V 10 ANNA CADORET le réseau des racines de (V, R) et P (R) = Q(R∗ )∨ = {ω ∈ V | (w, α∗ ) ∈ Z, α ∈ R} ⊂ V qui, d’après ce qui précède, est un réseau appelé réseau des poids de (V, R). Fixons-nous en outre une base (i.e. une orientation) S ∈ B(R) et notons ωα , α ∈ S la base duale de α∗ , α ∈ S (donc α∗ (β) = δα,β ), α, β ∈ R). On a alors M P (R) = Zωα . α∈S Introduisons enfin le sous-monoide des poids dominants M PS++ (R) := Z≥0 ωα = {ω ∈ P (R) | hα, ωi ≥ 0, α ∈ S}. α∈S On dit que les ωα , α ∈ S sont les poids fondamentaux dominants (relativement à S). Cf. [H72, Fig.1, p.69] pour l’expression des ωα , α ∈ S dans la Q-base S Remark 3.14. Notons que par (SR3) on a toujours Q(R) ⊂ P (R) et comme Q(R), P (R) sont des réseaux de V , P (R)/Q(R) est un groupe abélien fini appelé groupe fondamental de (V, R). Proposition 3.15. On a une action naturelle W (R) × P (R) → P (R) (s, ω) → s(ω) ˜ (R)/W (R). telle que PS++ (R)→P 3.5. Poids minuscules. Soit encore (V, R) un système de racines. On dit qu’un sous-ensemble Π ⊂ P (R) est R-saturé si pour tout α ∈ R et λ ∈ Π on a λ − iα ∈ Π, i = 0, . . . , (λ, α∗ ). Puisque pour tout λ ∈ P (R) on a sα (λ) = λ − (λ, α∗ )α et que W (R) est engendré par les sα , α ∈ R, un ensemble saturé Π est W (R)-invariant . Lemma 3.16. Pour tout λ ∈ P (R), notons Πλ ⊂ P (R) le plus petit sous-ensemble saturé contenant λ. Les conditions suivantes sont équivalentes. (1) W (R)λ = Πλ ; (2) (λ, α∗ ) = 0, ±1, α ∈ R. En outre, pour tout sous-ensemble Π ⊂ P (R) R-saturé il existe λΠ ∈ P (R) tel que Π = ΠλΠ . Supposons maintenant que (V, R) est une base S ∈ B(R). Soit ωα , α ∈ S les poids P simple, fixons-nous ∗ ∗ ∗ dominants fondamentaux et αS = α∈S nα α ∈ R la plus grande racine de (V ∨ , R∗ ) correspondants. On pose J := {α ∈ S | nα = 1}. Lemma 3.17. Les conditions (1) et (2) du lemme 3.16 sont également équivalentes à (3) (λ, αS ∗ ) = 1; (4) Il existe α ∈ J tel que ωα = λ. En outre, les ωα , α ∈ J forment un système de représentants de P (R)/Q(R) \ {0}. Donc, en notant P MS (R) l’ensemble des poids minuscules de (V, R) i.e. des λ ∈ PS++ (R) vérifiant les conditions équivalentes des lemmes 3.16 et 3.17 on obtient que l’application naturelle P MS (R)→P ˜ (R)/Q(R) est bijective. Example 3.18. Des calculs explicites utilisant la caractérisation (2) montre qu’une fois fixée une base S, les poids minuscules non nuls sont fondamentaux dominants et qu’il y en a exactement n pour An , n ≥ 1, 3 pour Dn , n ≥ 4, 2 pour E6 , 1 pour Bn , n ≥ 2, Cn , n ≥ 3 et E7 et que E8 , F4 , G2 n’ont pas de poids minuscules non nuls. Cf. [Mo99, Table 3, p.28]. POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES 4. Représentations simples des ALSSS 4.1. Le théorème du plus haut poids. Supposons k algébriquement clos. Soit (g, h) une k-ALSSS de système de racines (h∨ , R) et V un g-module. Pour tout λ ∈ h∨ , notons Vλ := {v ∈ V | hv = λ(h)v, h ∈ h} ⊂ V le sous-espace de poids associé et introduisons P (V ) := {λ ∈ h∨ \ {0} | Vλ 6= 0} ⊂ h∨ \ {0} l’ensemble des poids de V . Notons que P (V ) est stable par W (R). On s’intéresse à la classification des g-modules de dimension finie. Par le théorème de Weyl, il suffit de se limiter aux g-modules simples. Fixons-nous une base S ∈ B(R) et ω ∈ h∨ , ω 6= 0. On dit que v est primitif de poids ω si v ∈ Vω , v 6= 0 et gα v = 0, α ∈ RS+ (ce qui équivaut à gα v = 0, α ∈ S). Theorem 4.1. Soit V un g-module simple possédant un vecteur primitif v de poids ω. Alors (1) Les seuls vecteurs L primitifs de V sont les multiples scalaires de v; (2) ω − P (V ) ⊂ α∈S Z≥0 α (autrement dit, pour tout λ ∈ P (V ) on a λ ≤S ω). En particulier Vω = kv est de dimension 1; (3) Pour tout λ ∈ P (V ), Vλ est de dimension finie; En particulier ω est unique; on le note ωV et on dit que c’est le plus haut poids de V . Theorem 4.2. (1) Soit Vi un g-module simple possédant un vecteur primitif de poids ωi , i = 1, 2. Alors V1 ' V2 ⇐⇒ ω1 = ω2 . (2) Pour tout ω ∈ h∨ , il existe un (nécessairement unique d’après (1)) g-module simple possédant un vecteur primitif de poids ω; on le note V (ω) et on dit que c’est le g-module simple de plus haut poids ω. (3) En outre, pour tout ω ∈ h∨ , dimk (V (ω)) < +∞ ⇐⇒ ω ∈ PS++ (R). Comme un g-module simple de dimension finie possède toujours un vecteur primitif, on déduit en particulier du théorème 4.2 que la correspondance {g − modules simples de dim. finie}/ ' → ˜ PS++ (R) V → ωV V (ω) ← ω est bijective. Notons enfin qu’on a l’analogue du lemme 2.15. Lemma 4.3. Pour tout V g-module de dimension finie et pour tout α ∈ R, λ ∈ P (V ) notons p = max{n ∈ Z |; λ − nα ∈ P (V )}, q = max{n ∈ Z |; λ + nα ∈ P (V )}. (1) Pour tout −p ≤ n ≤ q, on a λ + nα ∈ P (V ); (2) λ(hα ) = p − q ∈ Z; (3) Pour tout 0 ≤ n ≤ P + q on a sα (λ + (p − n)α) = λ + (−q + n)α donc, en particulier dimk (Vλ+(p−n)α ) = dimk (Vλ+(−p+n)α ). 12 ANNA CADORET 4.2. Représentations minuscules. Supposons toujours k algébriquement clos et soit (g, h) une kALSSS de système de racines (h∨ , R). Soit V un g-module simple de dimension finie et de plus haut poids ω. On dit que V = V (ω) est minuscule si ω ∈ PS++ (R) est minuscule au sens du paragraphe 3.5. Lemma 4.4. V (ω) est minuscule si et seulement si pour tout α ∈ R et x ∈ gα , on a x2V = 0. Dans ce cas, pour tout λ ∈ P (V (ω)), l’espace de poids Vλ associé est de dimension 1. Pour résumer, on a des correspondances bijectives P (R)/Q(R) \ {0} → ˜ P MS (h∨ , R) → ˜ {V g-module simple de dim. finie | W (R)ωV = P (V )}/ ' → ˜ {V g-module simple de dim. finie | x2V = 0, x ∈ gα , α ∈ R}/ '. Fixons-nous à nouveau une base s ∈ B(R). On va introduire trois applications: s, l, p : PS++ (R) → Z≥0 . Pour les définir, on admettra qu’il existe une unique involution wS ∈ W (R) telle que wS (RS+ ) = RS− et, pour tout λ ∈ P (R), on notera λ0 := −wW (λ). Pour tout λ ∈ PS++ (R), écrivons X X λ= cα α = mα ωα α∈S α∈S avec cα ∈ Q≥0 et mα ∈ Z≥0 . On pose P P P s(λ) = α∈S (λ, α∗ ) = α∈S λ(hα ) = α∈S mα ; p(λ) = max{(λ, α∗ ) | α ∈ R} = (λ, αS ∗ ); l(λ) = min{cα + cα0 | α ∈ S}. Par définition, on a s(λ) ≤ p(λ) ≤ l(λ). Les s(λ), p(λ) et l(λ) sont faciles à calculer en fonction des mα , α ∈ S cf. [Mo99, Table 1, p.27]. On a en particulier s(λ) = 1 ⇔ p(λ) = 1 ⇔ l(λ) = 1 ⇔ Terminons ce paragraphe avec λ est un poids fondamental dominant; λ est un poids minuscule; λ est un poids minuscule et R est de type classique. un lemme technique caractérisant l(λ). Lemma 4.5. Supposons g simple. Soit λ ∈ PS++ (R) et Πλ (= P (V (λ))) ⊂ P (R) le plus petit sousensemble R-saturé contenant λ. Alors si φ : P (R) → Q est un morphisme de groupe non trivial, φ(Πλ ) contient une progression arithmétique à p(λ) + 1 termes et on a l(λ) = min{n ∈ Z | ∃φ : P (R) → Q morphisme de groupes non nul tq |φ(Πλ )| = n + 1} = min{n ∈ Z | ∃φ : P (R) → Q morphisme de groupes non nul tq φ(Πλ ) est contenu dans une progression arithmétique à n + 1 termes} 5. Preuve du théorème 1.1 On supposera connu les résultats des exposés 5 et 6 décrivant la structure du groupe de Mumford-Tate. 5.1. Un résultat général. Soit k un corps de caractéristique 0, K un corps algébriquement clos contenant k, G un groupe réductif sur k et ρ : G ,→ GLV une représentation fidèle de dimension finie de G sur k. Ecrivons GK = G0 G1 · · · Gr comme produit presque direct de son centre G0 := Z(G)K et de ses facteurs simples. Notons Qi := Q 0≤j6=i≤r Gj et pi : GK → GK /Qi := G0i la projection canonique, i = 0, . . . , r. POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES Notons également gi :=Lie(Gi ), i = 0, . . . , r et Lie(GK ) = g(= g0 × · · · × gr ). Enfin, pour i = 1, . . . , r, fixons une sous-algèbre de Cartan (automatiquement déployante) hi de gi , notons (h∨ i , Ri ) le système ∨ de racines associé et choisissons une base Si de (hi , Ri ). Alors h = h1 × · · · × hr est une sous-algèbre de Cartan de g de système de racines (h∨ , R := tri=1 Ri ) et S := tri=1 est encore une base de (h∨ , R). Supposons en outre donné un cocaractère γ : GmK → GK . En appliquant le foncteur Lie, on obtient un morphisme de K-algèbres de Lie lγ := Lie(γ) : K → g0 × · · · × gr , x → (lγ,0 (v), · · · , lγ,r (v)) Notons que lγ,i s’identifie à Lie(pi ◦ γ), i = 1, . . . , r et qu’on peut toujours supposer que l’image de lγ est contenu dans z × h1 × · · · × hr . En dualisant, on obtient donc un morphisme ∨ ∨ ϕγ = − ◦ Lie(γ) : g∨ → K 0 × h1 × · · · × hr λ = (λ0 , λ1 , · · · , λr ) → λ0 ◦ lγ,0 (1) + λ1 ◦ lγ,1 (1) + · · · + λr ◦ lγ,r (1). Rappelons que le foncteur Lie induit un monomorphisme Z ' HomK (GmK , GmK ) ,→ HomK (Lie(GmK ), Lie(GmK ) → ˜ K f → f (1). On identifiera Z à HomK (GmK , GmK ) dans ce qui suit. Etant donné un groupe algébrique Γ sur K, on note X ∗ (Γ) le groupe de ses caractères i.e. des morphismes de K-groupes algébriques Γ → GmK . Enfin, notons Hi le sous-tore maximal de G0i tel que Lie(Hi ) = hi . Lemma 5.1. On a φγ (X ∗ (Z(G)K ) × P (R)) ⊂ Q Preuve. Déjà, pour tout χ ∈ X ∗ (Z(G)K ), φγ (χ) = Lie(χ ◦ p0 ◦ γ)(1) ∈ Z par définition. Alors que pour i = 1, . . . , r, on a toujours Q(Ri ) ⊂ X ∗ (Hi ) ⊂ P (Ri ) avec P (Ri )/Q(Ri ) fini. En particulier, pour tout ωi ∈ P (Ri ), il existe ni ∈ Z, i = 6 0 tel que ωi = ni Lie(χi ) pour un certain caractère χi : Hi → Gm donc φγ (χi ) = ni Lie(χi ◦ pi ◦ γ)(1) ∈ Z. Soit maintenant W ⊂ V un sous-g-module irréductible. On peut décomposer ρ(−)|W comme produit tensoriel (W, ρ(−)|W ) = (W0 , χ) ⊗ (W1 , ρ1 ) ⊗ · · · ⊗ (Wr , ρr ) (ri ) le plus de représentations irréductibles de gi , i = 0, . . . , r1. Pour i = 1, . . . , r, notons ωi ∈ PS++ i haut poids de Wi et soit Xi := P (Wi ) ⊂ P (Ri ) \ {0} l’ensemble des poids de Wi . Proposition 5.2. Considérons la représentation ρ ◦ γ : GmK → GLW,K et notons N + 1 le nombre de poids distincts de cette représentation. Soit I ⊂ {1, . . . , r} le sous-ensemble des i = 1, . . . , r tels que pi ◦ γ n’est pas triviale. Alors X l(ωi ) ≤ N. i∈I Preuve. On a ∨ ∨ P (W ) = {χ} × X1 × · · · × Xr ⊂ g∨ 0 × h1 × · × hr donc N + 1 = |φγ (P (W ))| = |φγ (X1 ) + · · · + φγ (Xr )| = | X φγ (Xi )| i∈I 1Bizarement, je n’ai pas trouvé de référence pour ce résultat forcément standard... On peut le voir comme une conséquence de [FH91, Prop. 9.7] allié au fait que toute représentation complexe simple d’un produit de groupes compacts K1 × · · · × Kr est un produit tensoriel de représentations simples de Ki , i = 1, . . . , r et, qu’enfin, toute algèbre de Lie semisimple complexe de dimension finie est la complexifiée de algèbre de Lie d’un groupe de Lie compact. Mais il y a sûrement plus simple. 14 ANNA CADORET Or, on montre facilement par récurrence sur |I| que si Xi ⊂ Q, i ∈ I sont des ensembles finis, on a toujours X X Xi | ≥ ( |Xi |) − (r − 1). i∈I i∈I Par conséquent, on a N =| X i∈I φγ (Xi )| ≥ X (|Xi | − 1) ≥ i∈I X l(ωi ), i∈I où la dernière inégalité résulte du lemme 4.5 et du fait que, par hypothèse, les morphismes φγ |P (Ri ) : P (Ri ) → Q sont non-nuls pour i ∈ I. 5.2. Structures de Hodges pures. On se place maintenant dans le cas particulier où k = Q, K = C, V est une Q-structure de Hodge polarisable pure de poids n, h : S → GLV,R est le morphisme correspondant du tore de Deligne S et G = M T (V ) est son groupe de Mumford-Tate (agissant sur V par sa représentation tautologique). Soit ϕ : V ⊗Q V → Q(−n) une polarisation sur V . Rappelons qu’en notant µ : Gm,C → SC le cocaractère défini par µ(z) = (z, 1), γ := hC ◦ µ : Gm,C → GLV,C est le cocaractère défini par γ(z)(v) = z −p v, v ∈ (VC )p,n−p . On peut alors définir M T (V ) comme le plus petit sous-groupe algébrique G ⊂ GLV sur Q tel que γ : GmC → GLV,C se factorise par GC . Proposition 5.3. Soit N + 1 le nombre d’entiers p ∈ Z tels que (VC )p,n−p 6= 0. Alors, avec les notations du paragraphe 5.1 on a l(ωi ) ≤ N, i = 1, . . . , r. Preuve. Le fait que l(ωi ) ≤ N pour i ∈ I résulte immédiatement de la proposition 5.2. On peut toujours se ramener à cette situation par le lemme suivant. Lemma 5.4. Il existe un G(C)-conjugué de γ : Gm,C → GLV,C défini sur Q; notons-le δ : Gm,Q → GLV,Q . Pour chaque σ ∈ ΓQ := Gal(Q|Q), notons Iσ ⊂ {1, . . . , r} l’ensemble des i = 1, . . . , r tels que pi ◦σ δ n’est pas trivial et soit I := ∪σ∈ΓQ Iσ . Alors Y Gi ⊂ GQ GI := Z(G)Q × i∈I est un sous-groupe algébrique défini sur Q tel que γ : Gm,C → GLV,C se factorise par GI,C . Donc GI = G et I = {1, . . . , r}. La conclusion résulte alors à nouveau de la proposition 5.2 en remplaçant γ : Gm,C → GLV,C par un caractère σ δC : Gm,C → GLV,C approprié. Remark 5.5. En particulier, si VC = (VC )1,0 ⊕ (VC )0,1 , on a l(ωi ) = 1 donc Wi est minuscule et gi est de type classique, i = 1, . . . , r. 5.3. Variétés abéliennes. On suppose maintenant que V est la structure de Hodge associée à une variété abélienne A de dimension g sur C i.e. V = H1 (A, Q) (on est donc dans la situation de la remarque 5.5). On suppose en outre (i) 2 6 |g; (ii) End(A) = Z. La condition (ii) assure que V est un G-module simple (sinon, on aurait, End(A) ⊗Z Q = EndQ (V )G ⊃ Q2 : contrad.). La condition sur la parité de la dimension est plus subtile et vient de la table suivante, où sont classifiées les representations minuscules des systèmes de racines simples. POIDS ET SYSTÈMES DE RACINES - APPLICATION À LA DÉTERMINATION DU GROUPE DE MUMFORD-TATE DE CERTAINES Dans cette table −, + et 0 signifient que les représentations correspondantes sont respectivement symplectique, orthogonale et non autoduale. Rappelons qu’une représentation simple de dimension finie ρ : g → gl(V ) est dite symplectique (resp.orthogonale) s’il existe une forme k-bilinéaire alternée (resp. symétrique) B : V ⊗k V → k 0 g-invariante (i.e. telle que B(g · v, v ) + B(v, g · v 0 ) = 0, g ∈ g, v, v 0 ∈ V ). Par définition, une représentation symplectique ou orthogonale est automatiquement autoduale. La table nous dit en particulier qu’une représentation minuscule autoduale est automatiquement orthogonale ou symplectique et toujours de dimension paire. Mettons tout cela ensemble pour montrer le théorème 1.1. Tout d’abord, le fait que V soit pure de poids 1 (impair) nous dit que ϕ : V ⊗Q V → Q est symplectique. En particulier, la représentation associée ρ : g → gl(V ) est symplectique. Rappelons aussi qu’on a toujours G ⊂ GSp(V, ϕ) et Gm ⊂ G (homothéties). Il suffit donc de montrer que g1 × · · · × gr = Lie(G1 · · · Gr ) = Lie(Sp(V, ϕ)C ). Notons g0 := g1 × · · · × gr . On sait déjà que V est une représentation simple, fidèle et symplectique donc en particulier autoduale de g0 . Comme V est autoduale, par unicité de la décomposition (V, ρ) = (V1 , ρ1 ) ⊗ · · · ⊗ (Vr , ρr ) on déduit que chacune des représentations (Vi , ρi ) est autoduale, i = 1, . . . , r. Comme V est simple et fidèle, on déduit de la proposition 5.3 que chacune des représentations (Vi , ρi ) est minuscule et que gi est de type classique, i = 1, . . . , r. Mais si Vi est minuscule et autoduale, elle est symplectique ou orthogonale et de dimension paire, i = 1, . . . , r. En outre, comme V est symplectique, le nombre de représentations symplectiques parmi les Vi , i = 1, . . . , r est forcément impair. Enfin, le fait que dim(V1 ) · · · dim(Vr ) dim(V ) = 2 2 est impaire alors que les Vi sont de dimension paire impose r = 1. Donc V est une représentation simple, minuscule, symplectique tel que dim2(V ) est impair: la seule possibilité est g = sp2g . References [B90] N. Bourbaki, Groupes et algèbres de Lie, Chap 1-9, Masson, Paris, 1990. 16 ANNA CADORET [FH91] W. Fulton et J. Harris, Representation theory - a first course (Chap IV §1 App. D), G.T.M. 129, SpringerVerlag, 1991. [H72] J. E. Humpreys, Introduction to Lie algebras and representation theory, Springer-Verlag, 1972. [Mo99] B. Moonen, Notes on Mumford-Tate groups, unpublished lecture notes - March 1999, disponibles sur http://staff.science.uva.nl/˜bmoonen/index.html#NotesMT [S66] J.-P. Serre, Algèbres de lie semisimples complexes, W.A. Benjamin 1966. [Za85] Y. G. Zarhin Weights of simple Lie algebras in the cohomology of algebraic varieties, Math. USSR-Izv. 24, 1985, pp. 245–281.