Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Lie group action
Résumé
In differential geometry, a Lie group action is a group action adapted to the smooth setting: G is a Lie group, M is a smooth manifold, and the action map is differentiable.
TOC
Let be a (left) group action of a Lie group G on a smooth manifold M; it is called a Lie group action (or smooth action) if the map is differentiable. Equivalently, a Lie group action of G on M consists of a Lie group homomorphism . A smooth manifold endowed with a Lie group action is also called a G-manifold.
The fact that the action map is smooth has a couple of immediate consequences:
the stabilizers of the group action are closed, thus are Lie subgroups of G
the orbits of the group action are immersed submanifolds.
Forgetting the smooth structure, a Lie group action is a particular case of a continuous group action.
For every Lie group G, the following are Lie group actions:
the trivial action of G on any manifold
the action of G on itself by left multiplication, right multiplication or conjugation
the action of any Lie subgroup on G by left multiplication, right multiplication or conjugation
the adjoint action of G on its Lie algebra .
Other examples of Lie group actions include:
the action of on M given by the flow of any complete vector field
the actions of the general linear group and of its Lie subgroups on by matrix multiplication
more generally, any Lie group representation on a vector space
any Hamiltonian group action on a symplectic manifold
the transitive action underlying any homogeneous space
more generally, the group action underlying any principal bundle
Following the spirit of the Lie group-Lie algebra correspondence, Lie group actions can also be studied from the infinitesimal point of view. Indeed, any Lie group action induces an infinitesimal Lie algebra action on M, i.e. a Lie algebra homomorphism . Intuitively, this is obtained by differentiating at the identity the Lie group homomorphism , and interpreting the set of vector fields as the Lie algebra of the (infinite-dimensional) Lie group .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.