Algèbre de Lie - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

En mathématiques, une algèbre de Lie, nommée en l'honneur du mathématicien Sophus Lie, est un espace vectoriel qui est muni d'un crochet de Lie bilinéaire, antisymétrique et qui vérifie l'identité de Jacobi. Une algèbre de Lie est un cas particulier d'algèbre sur un corps.

Définitions, exemples et premières propriétés

Définition

Soit \mathbb{K} un corps.

Une algèbre de Lie sur \mathbb{K} est un espace vectoriel \mathfrak{g} sur \mathbb{K} muni d'une application bilinéaire (x,y) \mapsto [x,y] de \mathfrak{g}\times\mathfrak{g} dans \mathfrak{g} qui vérifie les propriétés suivantes:

  1. \forall x \in \mathfrak{g},\ [x,x]=0;
  2. \forall x,y,z \in \mathfrak{g},\ [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0

Le produit [x,y] est appelé crochet de Lie (ou simplement crochet) de x et y. Puisque le crochet est une fonction bilinéaire alternée de x,y, on a aussi l'identité [x,y] = − [y,x] pour tous x,y dans \mathfrak{g}. L'identité (2) ci-dessus est appelée l'identité de Jacobi.

Une sous-algèbre de Lie de \mathfrak{g} est un sous-espace vectoriel de \mathfrak{g} stable pour le crochet de Lie. Toute sous-algèbre de Lie de \mathfrak{g} est munie de manière évidente d'une structure d'algèbre de Lie sur \mathbb{K}.

Remarque : contrairement aux algèbres tensorielles (et aux algèbres de Clifford, dont les algèbres extérieures), les algèbres de Lie ne sont pas unitaires, ni associatives.

Quelques exemples classiques d'algèbres de Lie

  • Tout espace vectoriel E peut être muni d'une structure d'algèbre de Lie, en posant \forall x,y \in E,\ [x,y]=0. Une telle algèbre de Lie, où le crochet de Lie est identiquement nul, est appelée abélienne.
  • On peut, à partir d'une algèbre associative (A, * ) , construire une algèbre de Lie, de la façon suivante : on pose \forall x,y \in A,\ [x,y]=x*y-y*x. Il est facile de vérifier que l'on définit ainsi sur A une structure d'algèbre de Lie.
    Inversement, toute algèbre de Lie \mathfrak{g} est contenue dans une algèbre associative, appelée algèbre enveloppante, dans laquelle le crochet de Lie coïncide avec le crochet définit ci-dessus. L'algèbre enveloppante est beaucoup plus grande que l'algèbre de départ.
  • Comme exemple concret de la situation ci-dessus, considérons \mathcal{M}_n(\mathbb{K}), l'espace des matrices n \times n à coefficients dans \mathbb{K}. C'est une algèbre associative pour le produit matriciel usuel. On peut donc également lui donner une structure d'algèbre de Lie, avec le crochet [A,B] = ABBA. On note \mathfrak{gl}_n(\mathbb{K}) cette algèbre, lorsque l'on considère sa structure d'algèbre de Lie.
  • Bien évidemment, tout sous-espace vectoriel de \mathfrak{gl}_n(\mathbb{K}) stable par le crochet est une algèbre de Lie. Ainsi, on peut vérifier que l'ensemble des matrices de trace nulle est une algèbre de Lie, que l'on note \mathfrak{sl}_n(\mathbb{K}).
    En fait, le théorème d'Ado montre que toute algèbre de Lie de dimension finie peut être vue comme une sous-algèbre de \mathfrak{gl}_n(\mathbb{K}).
  • Un autre exemple fondamental, plus géométrique, est le suivant. Soit M une variété différentielle. Alors l'espace vectoriel formé par les champs de vecteurs sur M possède une structure naturelle d'algèbre de Lie, sans être une algèbre.
  • En particulier, l'ensemble des vecteurs de Killing d'une variété forme une algèbre de Lie, qui correspond au groupe d'isométries de la variété considérée.
  • L'espace euclidien tri-dimensionnel \mathbb{R}^3 muni du crochet de Lie avec pour multiplication le produit vectoriel est une algèbre de Lie.

Morphismes et idéaux

Un morphisme d'algèbre de Lie \mathfrak{g} est une application linéaire φ qui respecte le crochet de Lie, c'est-à-dire telle que

\forall a,b \in \mathfrak{g},\ \phi([a,b])=[\phi(a),\phi(b)].

Un idéal de \mathfrak{g} est un sous-espace vectoriel \mathfrak{h} tel que \forall g\in\mathfrak{g},\ \forall h\in \mathfrak{h},\ [g,h]\in\mathfrak{h}. C'est en particulier une sous-algèbre de Lie. Si une algèbre de Lie n'admet pas d'idéal non trivial, elle est dite simple.

Si \mathfrak{h} est un idéal de \mathfrak{g}, on peut former le quotient de \mathfrak{g} par \mathfrak{h} : c'est l'espace vectoriel quotient \mathfrak{g}/\mathfrak{h}, muni du crochet défini par [g+\mathfrak{h},g'+\mathfrak{h}] = [g,g']. La projection \mathfrak{g}\to \mathfrak{g}/\mathfrak{h} est alors un morphisme d'algèbres de Lie.

Une représentation d'une algèbre de Lie \mathfrak{g} est un morphisme \phi\,:\,\mathfrak{g}\to \mathfrak{gl}_n(\mathbb{K}). Autrement dit, c'est une application linéaire telle que φ([g,h]) = φ(g)φ(h) − φ(h)φ(g).

Le morphisme ad:\mathfrak{g}\to\mathfrak{gl(g)} défini par ad(g)(h) = [g,h] définit une représentation de \mathfrak{g}, appelée représentation adjointe. L'identité de Jacobi exprime précisément le fait que ad respecte le crochet. Le noyau de cette représentation est le centre Z(\mathfrak{g})=\{g\in\mathfrak{g}\forall h\in\mathfrak{g} [g,h]=0\} de l'algèbre de Lie \mathfrak g.

Page générée en 2.423 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise