Vous êtes sur la page 1sur 5

Algbre de Lie

Algbre de Lie
Pour les articles homonymes, voir Algbre (homonymie). En mathmatiques, une algbre de Lie, nomme en l'honneur du mathmaticien Sophus Lie, est un espace vectoriel qui est muni d'un crochet de Lie, c'est--dire d'une loi de composition interne bilinaire, antisymtrique et qui vrifie la relation de Jacobi. Une algbre de Lie est un cas particulier d'algbre sur un corps.

Dfinitions, exemples et premires proprits


Dfinition
Soit K un corps commutatif. Une algbre de Lie sur K est un espace vectoriel dans 1. 2. Le produit qui vrifie les proprits suivantes: ; est appel crochet de Lie (ou simplement crochet) de , on a aussi l'identit et . Puisque le crochet est une fonction dans . L'identit (2) ci-dessus sur K muni d'une application bilinaire de

bilinaire alterne de

pour tous

est appele l'identit de Jacobi. Une sous-algbre de Lie de est un sous-espace vectoriel de stable pour le crochet de Lie. Toute sous-algbre de Lie de est munie de manire vidente d'une structure d'algbre de Lie sur K. Remarque : contrairement aux algbres tensorielles (et aux algbres de Clifford, dont les algbres extrieures), les algbres de Lie ne sont pas unitaires, ni associatives.

Quelques exemples classiques d'algbres de Lie


Tout espace vectoriel peut tre muni d'une structure d'algbre de Lie, en posant . Une telle algbre de Lie, o le crochet de Lie est identiquement nul, est appele ablienne. On peut, partir de , une algbre associative sur un corps, construire une algbre de Lie, de la faon suivante : on pose (c'est le commutateur des deux lments x et y). Il est facile de vrifier que l'on dfinit ainsi sur une structure d'algbre de Lie. Inversement, toute algbre de Lie est contenue dans une algbre associative, appele algbre enveloppante, dans laquelle le crochet de Lie concide avec le crochet dfini ci-dessus. L'algbre enveloppante est beaucoup plus grande que l'algbre de dpart. Comme exemple concret de la situation ci-dessus, considrons , l'espace des matrices coefficients dans K. C'est une algbre associative pour le produit matriciel usuel. On peut donc galement lui donner une structure d'algbre de Lie, avec le crochet . On note cette algbre, lorsque l'on considre sa structure d'algbre de Lie. Bien videmment, tout sous-espace vectoriel de stable par le crochet est une algbre de Lie. Ainsi, on

peut vrifier que l'ensemble des matrices de trace nulle est une algbre de Lie, que l'on note . En fait, le thorme d'Ado montre que toute algbre de Lie de dimension finie peut tre vue comme une sous-algbre de . Un autre exemple fondamental, plus gomtrique, est le suivant. Soit vectoriel form par les champs de vecteurs sur algbre. une varit diffrentielle. Alors l'espace possde une structure naturelle d'algbre de Lie, sans tre une

Algbre de Lie En particulier, l'ensemble des champs de Killing d'une varit riemannienne ou pseudo-riemannienne forme une algbre de Lie, qui correspond au groupe d'isomtries de la varit considre. L'espace euclidien tridimensionnel 3 avec le produit vectoriel comme crochet de Lie est une algbre de Lie.

Morphismes et idaux
Un morphisme d'algbre de Lie est une application linaire . Un idal de Si est un sous-espace vectoriel tel que par . C'est en particulier une : c'est l'espace vectoriel quotient , muni du qui respecte le crochet de Lie, c'est--dire telle que

sous-algbre de Lie. Si une algbre de Lie n'admet pas d'idal non trivial, elle est dite simple. est un idal de , on peut former le quotient de crochet dfini par Lie. Une reprsentation d'une algbre de Lie application linaire telle que Le morphisme dfini par . La projection est un morphisme . dfinit une reprsentation de , appele est alors un morphisme d'algbres de . Autrement dit, c'est une

reprsentation adjointe(en). L'identit de Jacobi exprime prcisment le fait que ad respecte le crochet. Le noyau de cette reprsentation est le centre de l'algbre de Lie .

Relation avec les groupes de Lie et les groupes algbriques


Les algbres de Lie sont naturellement associes aux groupes de Lie. Si neutre, alors l'espace tangent en 1 est un groupe de Lie et 1 son lment est une algbre de Lie ; la construction exacte de cette algbre est dtaille

dans la section correspondante de l'article Groupe de Lie. La mme construction est valable pour les groupes algbriques. On note en gnral en petites lettres gothiques l'algbre de Lie associe un groupe de Lie, ou un groupe algbrique. Ainsi, comme on l'a dj vu, dsigne l'ensemble des matrices carres de taille n et dsigne l'ensemble des matrices carres de taille n de trace nulle. De la mme faon, dsigne l'ensemble des matrices carres A de taille n antisymtriques, etc. Dans tous ces exemples, le crochet de Lie n'est rien d'autre que le commutateur : [A,B]=AB-BA. Si est un morphisme de groupes entre deux groupes de Lie et , et si l'on suppose et de et diffrentiable, alors . En particulier, une sa diffrentielle en l'identit sera un morphisme entre les algbres de Lie

reprsentation de diffrentiable, on associe une reprsentation de . La classification des algbres de Lie est utilise de faon cruciale pour l'tude des groupes de Lie, des groupes algbriques et de leurs reprsentations.

Classification
Si et sont deux sous-algbres de Lie d'une algbre de Lie pour et . , notons le sous-espace vectoriel engendr par les lments de la forme

Algbres de Lie nilpotentes


Article dtaill : Algbre de Lie nilpotente(en). Une algbre de Lie est dite nilpotente lorsque toute suite de commutateurs nulle, lorsque n devient suffisamment grand. Plus prcisment, dfinissons S'il existe un i tel que par et . =0, on dit que est nilpotente. Cette notion est mettre en parallle avec celle de groupe finit par tre

nilpotent. Il est facile de voir que toute algbre de Lie ablienne est nilpotente.

Algbre de Lie

L'algbre

des matrices triangulaires strictes, c'est--dire de la forme

fournit un exemple

d'algbre de Lie nilpotente. Le thorme de Engel affirme qu'une algbre de Lie est nilpotente si et seulement si l'image de la reprsentation adjointe est conjugue une sous-algbre de . Cependant, l'exemple de l'algbre de Lie ablienne (donc nilpotente) nilpotentes de qui ne sont pas conjugues une sous-algbre de . montre qu'il existe des sous-algbres

Algbres de Lie rsolubles


Article dtaill : Algbre de Lie rsoluble(en). Dfinissons par rcurrence S'il existe un i tel que par =0, on dit que et est rsoluble. Comme dans le cas des algbres nilpotentes, cette notion des matrices triangulaires suprieures dans

correspond celle de groupe rsoluble. Il est facile de voir que toute algbre de Lie nilpotente est rsoluble. Un exemple d'algbre de Lie rsoluble est donn par l'algbre . Le thorme de Lie montre que, si K est corps algbriquement clos et de caractristique nulle, alors toute sous-algbre de Lie rsoluble de est conjugue une sous-algbre de .

Algbres de Lie semi-simples et rductives


Articles dtaills : Algbre de Lie semi-simple(en) et Algbre de Lie rductive(en). On dit qu'une algbre de Lie est semi-simple lorsqu'elle ne contient pas d'idal rsoluble non trivial. rductive lorsque sa reprsentation adjointe est semi-simple. Lorsque K est de caractristique nulle, et que non-dgnerescence de la forme de Killing trace. Par ailleurs, est de dimension finie, la semi-simplicit de dfinie par est semi-simple. est dite

est quivalente la , o tr dsigne la

est rductive si et seulement si

On peut montrer que, sous les mmes hypothses, toute algbre de Lie semi-simple est en fait une somme directe d'algbres de Lie simples. Les algbres de Lie simples de dimension finie sur le corps des nombres complexes sont classifies par les diagrammes de Dynkin. Il y a donc 4 familles d'algbres de Lie simples (ou 3 si on considre et comme une mme famille) et 5 algbres de Lie exceptionnelles, correspondant chacune un diagramme de Dynkin diffrent. un diagramme de Dynkin de type correspond l'algbre de Lie . un diagramme de Dynkin de type correspond l'algbre de Lie . un diagramme de Dynkin de type correspond l'algbre de Lie . un diagramme de Dynkin de type correspond l'algbre de Lie . Les algbres de Lie exceptionnelles, correspondant aux diagrammes de Dynkin restants (de type E6, E7, E8, F4 et G2) n'ont pas d'interprtation aussi simple. est, elle, rductive et son algbre de Lie drive est .

L'algbre de Lie

Les algbres de Lie semi-simples de dimension finie sur le corps des nombres rels sont classifies par les involutions d'algbres de Lie complexes ou, de faon quivalente, par les involutions de systmes de racines(en). Ceci correspond la notion d'algbre de Lie symtrique(en). Comme classe d'algbre de Lie simple relle, on peut citer :

Algbre de Lie Les algbres de Lie compactes. Ce sont les algbres de Lie de groupes compacts. Il y en a exactement une qui correspond chaque algbre de Lie complexe. Les algbres de Lie complexes vues comme algbres de Lie relles. Les autres peuvent tre classes en familles AI, AII, AIII, BI, CI, CII, DI, DIII et en algbres exceptionnelles EI, EII, EIII, EIV (de type (de type ) EV, EVI, EVII (de type ) EVIII, EIX (de type ) FI, FII (de type ) et GI ) suivant la notation d'Helgason(de)).

Dimension infinie
Il n'y a pas de classification gnrale des algbres de Lie de dimension infinie mais plusieurs classes de telles algbres ont t tudies. Une algbre de Kac-Moody est une algbre de Lie dfinie abstraitement en termes de gnrateurs et relations cods par une matrice de Cartan gnralise non ncessairement dfinie positive. Elles peuvent donc tre de dimension infinie. Leur classification gnrale est encore hors de porte mais plusieurs sous-types sont connus Une algbre de Kac-Moody affine(en) possde la proprit que tous les sous-diagrammes de Dynkin de son diagramme de Dynkin correspondent des sous-algbres de Lie de dimension finie. Sa matrice de Cartan gnralise est alors de corang 1. Les algbres de Kac-Moody affines ont t classifies par Victor Kac(en). Elles sont trs utilises en physique thorique dans l'tude des thories conformes des champs et en particulier dans l'tude des modles WZW. Une algbre de Kac-Moody hyperbolique possde un diagramme de Dynkin connexe avec la proprit que si on lui retire une racine, on obtient une algbre de Lie semi-simple de dimension finie ou bien une algbre de Kac-Moody affine. Elles ont t galement classifies et sont de rang 10 au maximum. Leur matrice de Cartan gnralise est non dgnre et de signature Lorentzienne (cest--dire avec exactement une direction ngative). algbre de Kac-Moody gnralise(en) ou algbre de Borcherds : c'est un type d'algbre de Lie gnralisant le concept d'algbre de Kac-Moody dont la matrice de Cartan gnralise peut possder des racines simples nommes imaginaires pour lesquelles l'lment diagonal de la matrice de Cartan gnralise est ngatif. Elles ont t introduite par Richard Ewen Borcherds dans le cadre de l'tude de la conjecture monstrous moonshine.

Gnralisation
Il existe diffrentes sortes de gnralisations des algbres de Lie, on citera les anneaux de Lie(en), les superalgbres de Lie, les groupes quantiques, les algbres de Leibniz, les algbres pr-Lie(en).

Note et rfrences
N. Bourbaki, lments de mathmatique, Groupes et algbres de Lie Jacques Dixmier, Algbres enveloppantes, ditions Jacques Gabay, Paris, 1996 (ISBN978-2-87647-014-9) (en) James E. Humphreys, Introduction to Lie Algebras and Representation Theory, New York, Springer, coll. GTM (no9), 1978, 2ed. (ISBN978-0-387-90053-7) (en) Nathan Jacobson, Lie algebras, New York, Dover, 1979 (1red. 1962) (ISBN978-0-486-63832-4, lire en ligne (http:/ /books.google.fr/books?id=hPE1Mmm7SFMC)) Portail de lalgbre

Sources et contributeurs de larticle

Sources et contributeurs de larticle


Algbre de Lie Source: http://fr.wikipedia.org/w/index.php?oldid=100448973 Contributeurs: Alain r, Ambigraphe, Anne Bauval, Archibald, Aschheim, Cbigorgne, Dacoucou, Desiderius Severus, Dfeldmann, Ektoplastor, Erasmus.new, Esnico30, Fafnir, FraD, GLec, Grendelkhan, Jaclaf, Jaimie Ann Handson, Jaipasdepseudo, Jean-Luc W, Jef-Infojef, Kilom691, LeYaYa, Linan, Lylvic, Lyoa, Moipaulochon, Neseb, Orthogaffe, Oxyde, Peps, Phulbert, Poulpy, Prtmrz, Quentinv57, Rmih, Snark, Speculos, Teuxe, Theon, Touriste, Valvino, Walterpfeifer, 29 modifications anonymes

Source des images, licences et contributeurs


Image:Disambig colour.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Disambig_colour.svg Licence: Public Domain Contributeurs: Bub's Fichier:Arithmetic symbols.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Arithmetic_symbols.svg Licence: Public Domain Contributeurs: Darapti, Elembis, Rocket000, SaMi, Sarang

Licence
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/