Espace vectoriel muni d'un crochet bilinéaire antisymétrique [·,·] satisfaisant l'identité de Jacobi ; pour un groupe de Lie il s'agit de l'espace tangent en l'identité qui encode la structure infinitésimale du groupe — réalisé en mécanique quantique par les commutateurs des générateurs (souvent avec des facteurs iħ).

Principe

Les transformations de symétrie infinitésimales se referment sous le crochet de Lie, produisant des constantes de structure qui classent l'algèbre ; l'application exponentielle relie les éléments d'algèbre de Lie aux éléments locaux du groupe et permet la théorie des représentations.

Démonstration

Algèbre de rotation so(3)/su(2) : [J_i,J_j] = iħ ε_{ijk} J_k. Les constantes de structure ε_{ijk} déterminent la composition des rotations infinitésimales successives et contraignent les représentations possibles étiquetées par le spin.

Mauvaise application

Appliquer les relations d'algèbre de Lie sans vérifier les représentations opératoires, les domaines, l'auto-adjonction ou les extensions centrales (en omettant des facteurs comme iħ), ou supposer que l'algèbre fixe les propriétés globales du groupe ou la multiplicité des représentations.

Conséquence

Classification des symétries infinitésimales possibles, déduction des règles de sélection et des quantités conservées, et restriction des types de représentations admissibles (représentations irréductibles et leurs poids) permettant de prédire spectres et amplitudes de transition.

Inversion

Une algèbre de Lie abélienne (crochet nul) où les générateurs commutent donne des constantes de structure triviales et aucune composition non triviale de transformations infinitésimales ; l'absence de non-commutativité contraste fortement avec les algèbres de rotation courantes.

Limite

L'algèbre de Lie décrit le comportement local linéarisé près de l'identité ; les informations topologiques globales (groupes de recouvrement, quotients discrets) et les subtilités analytiques (algèbres de dimension infinie, extensions centrales) échappent aux seules données algébriques.

Tension sémantique

Algèbre de Lie abstraite comme ensemble de constantes de structure versus réalisations opératoires concrètes sur espace de Hilbert où les domaines, l'unité et les conventions de facteurs (iħ) importent ; une même algèbre admet des représentations non équivalentes.

Synthèse

Une algèbre de Lie est l'ossature algébrique linéaire d'une symétrie continue : ses crochets bilinéaires et l'identité de Jacobi fixent des constantes de structure qui gouvernent la composition infinitésimale ; en mécanique quantique ces crochets sont réalisés par (i/ħ) fois les commutateurs d'opérateurs hermitiens et l'exponentiation reconstruit les éléments locaux du groupe.