Une application lisse décrivant comment les éléments d'un groupe de Lie agissent comme des transformations lisses sur une variété différentiable, c'est‑à‑dire un homomorphisme de groupes du groupe de Lie vers le groupe des difféomorphismes de la variété, lisse à la fois en l'élément du groupe et en le point de base.

Principe

Une symétrie continue est représentée par une famille paramétrée lisse de difféomorphismes qui préserve la loi de composition du groupe, permettant de transférer la structure algébrique du groupe aux transformations géométriques.

Démonstration

Le groupe des rotations agissant sur la sphère S^2 en tournant chaque point ; l'action associe à chaque paramètre de rotation un bijection lisse de la sphère et partitionne la sphère en orbites (cercles de latitude pour certains sous-groupes).

Mauvaise application

Traiter une action d'un groupe discret ou topologique dépourvue de structure différentiable comme une action de groupe de Lie, ou supposer que chaque générateur infinitésimal s'intègre en une action globale sans vérifier la complétude.

Conséquence

Donne des décompositions en orbites, des sous-groupes d'isotropie, des champs de tenseurs invariants, des quantités conservées pour des dynamiques équivariantes et permet souvent la construction de variétés quotient pour des actions libres et propres.

Inversion

Un groupoïde d'action arbitraire ou une simple permutation ensembliste qui manque de régularité et de structure de variété reliant les paramètres du groupe aux transformations différentiables.

Limite

Nécessite un groupe de Lie et une variété différentiable avec une classe de régularité précisée ; exclut les actions purement topologiques, discrètes ou non lisses et les actions sur des espaces sans cartes de variété.

Tension sémantique

Action globale d'un groupe de Lie versus action infinitésimale de l'algèbre de Lie : cette dernière décrit les générateurs locaux sur les espaces tangents et peut ne pas s'intégrer en une action de groupe globale lisse.

Synthèse

Une action d'un groupe de Lie est une application lisse et structurelle qui réalise les éléments du groupe comme des difféomorphismes d'une variété, traduisant des symétries algébriques en transformations géométriques et en structures d'orbites.