Groupe de Carnot

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Un groupe de Carnot est un groupe de Lie réel, nilpotent et stratifié. On peut considérer les groupes de Carnot comme des « espaces vectoriels non commutatifs » (les espaces vectoriels sont les seuls groupes de Carnot commutatifs). L'exemple le plus simple d'un groupe de Carnot non trivial est le groupe de Heisenberg.

Algèbre de Lie[modifier | modifier le code]

Une algèbre de Lie \mathfrak n est dite nilpotente s'il existe s tel que \mathfrak n^{s+1}=\{0\}, où \mathfrak n^{i} est défini récursivement par \mathfrak n^{i+1}=[\mathfrak n,\mathfrak n^{i}] pour tout i\geq1 et \mathfrak n^{1}=\mathfrak n. On dispose donc d'une suite descendante \mathfrak{n}=\mathfrak{n^1}\supset...\supset\mathfrak{n^s}\supset\mathfrak{n^{s+1}}=\{0\}.

Cette algèbre de Lie est de plus stratifiée s'il existe un sous-espace V satisfaisant pour tout i\geq 1, \mathfrak{n}^{i}=\mathfrak{n}^{i+1}\oplus V^iV^{i+1}=[V,V^i] pour i\geq 1 et V^1=V. Ainsi si X_1,...,X_k représente une base de V, les vecteurs de la forme [X_{i_1},[X_{i_2},[...,[X_{i_{l-1}},X_{i_l}]]]] engendrent l'algèbre complète (ici l\in\{1,\ldots,s\} et X_{i_j} est un élément de la base pour tout j\in\{1,\ldots,l\}).

Les algèbres de Lie des groupes de Carnot possède des morphismes particuliers D_\lambda, appelés dilatations. Ceux-ci sont paramétrés par \lambda>0 de telle façon que V^i soit un espace propre de valeur propre \lambda^i.

Groupe de Lie[modifier | modifier le code]

Un groupe de Carnot est groupe simplement connexe dont l'algèbre de Lie est telle que décrite précédemment. On peut identifier un groupe de Carnot à son algèbre de Lie en utilisant la formule de Baker-Campbell-Hausdorff (en).

Références[modifier | modifier le code]

  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations. John Mitchell, « On Carnot-Carathéodory metrics », Journal of Differential Geometry, vol. 21, no  1, 1985, p. 35-45 [lire en ligne].
  • Pierre Pansu, Géométrie du groupe d'Heisenberg, thèse de l'Université Paris VII, 1982, [lire en ligne]
  • Pierre Pansu, « Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un », Annals of Mathematics, vol. 129, no  1, 1989, p. 1-60
  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations.
  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations. Richard Montgomery, A Tour of Subriemannian Geometries, Their Geodesics and Applications (Mathematical Surveys and Monographs, Volume 91), 2002, AMS Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations..
  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations. Gerald B. Folland (en) et Elias M. Stein, Hardy spaces on Homogeneous groups.
  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations. A. Bonfiglioli, E. Lanconelli et F. Ugguzzoni, Stratified Lie Groups and Potential Theory for Their Sub-Laplacians.
  • Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations. Le Donne Enrico, Lecture notes on sub-Riemannian geometry, [lire en ligne]

Erreur de script : Le module a renvoyé une valeur . Il est supposé renvoyer un tableau d’exportations.