Un espace vectoriel sur un corps donné muni d'un crochet bilinéaire [·,·] qui est alternant (antisymétrique si la caractéristique ≠2) et satisfait l'identité de Jacobi ; le crochet encode la structure de commutateur infinitésimale.

Principe

Le crochet de Lie est une application bilinéaire V×V→V qui mesure la non-commutativité au niveau infinitésimal : [x,x]=0 (alternance) et [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 (Jacobi), organisant générateurs et relations pour les symétries continues et la linéarisation des commutateurs de groupe.

Démonstration

gl(n,F) : l'espace vectoriel des matrices n×n sur un corps F muni du crochet [A,B]=AB−BA est une algèbre de Lie. so(3) est constitué des matrices réelles 3×3 antisymétriques avec le crochet commutateur et correspond aux rotations infinitésimales de SO(3). Des constantes de structure par rapport à une base codent l'algèbre.

Mauvaise application

Traiter le crochet comme associatif, ou confondre la multiplication dans une algèbre associative avec le crochet de Lie sans prendre les commutateurs ; supposer que toute algèbre de Lie s'intègre globalement en un groupe de Lie sans tenir compte des obstructions topologiques ou globales ; ignorer les problèmes de caractéristique (par ex. caractéristique 2 où alternance et antisymétrie diffèrent).

Conséquence

Une algèbre de Lie gouverne le comportement local des groupes de Lie associés, détermine les représentations via des modules et l'action adjointe, et permet des stratégies de classification (par ex. décomposition semisimple, systèmes de racines) qui contrôlent la symétrie et la théorie des invariants.

Inversion

Une algèbre associative où la multiplication est l'opération principale, ou une algèbre de Lie abélienne dont le crochet est nul ; inverser le signe du crochet fournit une algèbre de Lie isomorphe mais orientée de façon opposée, utile dans certaines constructions duales.

Limite

Définie sur un corps ou un anneau précisé ; une attention particulière est requise sur les corps de petite caractéristique (notamment caractéristique 2 et phénomènes en caractéristique p>0) et pour les algèbres de Lie de dimension infinie où des structures topologiques ou graduées supplémentaires peuvent être nécessaires. Une algèbre de Lie n'est pas en soi un groupe de Lie et ne contient pas d'information topologique globale.

Tension sémantique

Tension entre la définition algébrique abstraite et la réalisation comme espace tangent en l'identité d'un groupe de Lie ; tension aussi entre les algèbres de Lie considérées comme objets purement algébriques et comme structures topologiques/gradées en physique mathématique.

Synthèse

Une Algèbre de Lie est le porteur linéarisé de la symétrie infinitésimale : un espace vectoriel muni d'un crochet bilinéaire alternant satisfaisant Jacobi, codant les relations de commutateur et servant d'ombre différentielle des groupes continus.