Groupe de Poincaré (transformations)

L'éponyme[1] du groupe de Poincaré[2]^,[3] est le mathématicien français Henri Poincaré (1854-1912). Le groupe de symétrie[2] est ainsi désigné à la suite d'Eugene Wigner (1902-1995)[4]. Le groupe de Poincaré est aussi connu comme le groupe de Lorentz inhomogène[2]^,[5].

En physique et en mathématiques, le groupe de Poincaré est le groupe des isométries d'un espace de Minkowski : c'est le groupe des transformations affines de l'espace-temps de la relativité restreinte qui laissent invariant l'intervalle d'espace-temps.

L'espace de Minkowski est un espace affine (réel et de dimension quatre) muni d'une distance hyperbolique (la métrique de Lorentz). Dans un tel espace, la distance entre deux évènements ${\displaystyle X=(x,y,z,c.t)}$ et ${\displaystyle X^{\prime }=(x^{\prime },y^{\prime },z^{\prime },c.t^{\prime })}$ vérifie :

${\displaystyle d(X,X^{\prime })^{2}=(x-x^{\prime })^{2}+(y-y^{\prime })^{2}+(z-z^{\prime })^{2}-(c.t-c.t^{\prime })^{2}}$ .

Le groupe de Poincaré est l'ensemble des transformations conservant cette structure, noté ${\displaystyle \mathbb {R} ^{3,1}\rtimes \operatorname {O} (3,1)}$, qui regroupe les translations, rotations, transformations de Lorentz propres et orthochrones (boost), parité et renversement du temps. Il contient le groupe de Lorentz de la relativité restreinte ${\displaystyle \operatorname {O} (3,1)}$ qui est le groupe orthogonal de la métrique de Lorentz, c'est-à-dire le groupe linéaire des matrices M de taille 4 telles que ${\displaystyle ^{t}MI_{3,1}M=I_{3,1}}$, où ${\displaystyle ^{t}M}$ est la matrice transposée de M et ${\displaystyle I_{3,1}}$ la matrice associée à la forme de Lorentz :

${\displaystyle I_{3,1}=\left[{\begin{smallmatrix}1&&&\\&1&&\\&&1&\\&&&-1\end{smallmatrix}}\right]}$

Pour un quadrivecteur ${\displaystyle X}$ exprimé dans un référentiel inertiel donné, une transformation du groupe de Poincaré, notée ${\displaystyle (\Lambda ,a)}$, est une application affine correspondant à un changement de coordonnées de la forme :

${\displaystyle X\mapsto \Lambda X+a}$

où la partie vectorielle ${\displaystyle \Lambda \in \operatorname {O} (3,1)}$ est une transformation du groupe de Lorentz (incluant rotation, boost, parité et renversement du temps) et ${\displaystyle a\in \mathbb {R} ^{3,1}}$ est une translation d'espace-temps.

Le groupe de Poincaré est un groupe de Lie[2]^,[6] non compact[2] de dimension 10[2]^,[6], produit semi-direct[1]^,[7] du groupe des translations par le groupe de Lorentz[7]. Le groupe abélien des translations est un sous-groupe normal alors que le groupe de Lorentz est un sous-groupe, correspondant au stabilisateur d'un point. En d'autres termes, le groupe de Poincaré est le produit semi-direct des translations avec les transformations de Lorentz.

Une autre façon d'introduire le groupe de Poincaré est de le présenter en tant qu'extension de groupe du groupe de Lorentz par une représentation linéaire de celui-ci.

Ses représentations irréductibles et unitaires d'énergie positive sont caractérisées par la masse (nombre réel positif) et le spin (entier ou demi-entier), qui sont aussi associés à des particules en mécanique quantique.

En accord avec le programme d'Erlangen, la géométrie dans un espace de Minkowski est définie suivant le groupe de Poincaré : un espace de Minkowski est considéré comme un espace homogène pour ce groupe.

Le groupe de Poincaré est un groupe symétrique pour toute théorie relativiste. D'après le théorème de Noether cela implique que toutes les particules élémentaires ont les mêmes invariants associés qui permettent alors de les distinguer, et donc de les désigner : le quadri-moment (c'est-à-dire leur masse) et les nombres quantiques intrinsèques J^PC, avec J représentant le spin, P la parité et C le nombre quantique de symétrie C.

L'algèbre de Poincaré[8] est l'algèbre de Lie du groupe de Poincaré. En composantes, le crochet de Lie est donné par les relations suivantes :

• ${\displaystyle [P_{\mu },P_{\nu }]=0\,}$
• ${\displaystyle [M_{\mu \nu },P_{\rho }]=\eta _{\mu \rho }P_{\nu }-\eta _{\nu \rho }P_{\mu }\,}$
• ${\displaystyle [M_{\mu \nu },M_{\rho \sigma }]=\eta _{\mu \rho }M_{\nu \sigma }-\eta _{\mu \sigma }M_{\nu \rho }-\eta _{\nu \rho }M_{\mu \sigma }+\eta _{\nu \sigma }M_{\mu \rho }\,}$

où ${\displaystyle P}$ est le générateur de cette translation, ${\displaystyle M}$ est le générateur des transformations de Lorentz et ${\displaystyle \eta }$ est la métrique de Minkowski.