Groupe de Lorentz

Le groupe de Lorentz propre et orthochrone ou restreint ${\displaystyle \operatorname {SO} _{0}(1,3)}$ est un sous-groupe du groupe orthogonal ${\displaystyle \operatorname {O} (1,3)}$ qui réunit tous les automorphismes orthogonaux (applications linéaires bijectives) de l'espace vectoriel sous-jacent à l'espace de Minkowski.

Il inclut deux types de symétries :

1. les rotations statiques de l'espace ;
2. les transformations spéciales de Lorentz.

Ces transformations conservent non seulement la forme quadratique ${\displaystyle c^{2}t^{2}-x^{2}-y^{2}-z^{2}}$, forme de Lorentz de signature (1,3), mais aussi l'orientation ainsi que l'origine des repères de l'espace de Minkowski.

En physique, il s'agit des changements de référentiels de la relativité restreinte qui envoient un repère inertiel sur un autre, tout en conservant leur orientation aussi bien spatiale que temporelle, ainsi que l'origine du repère d'espace-temps. Ces transformations sont dites linéaires, propres et orthochrones.

• Transformations génératrices du groupe de Lorentz restreint
• 
  Rotations statiques de l'espace.
  Note : Il s'agit d'un pivotement d'angle ${\displaystyle \theta }$ autour d'un axe passant par l'origine, et non d'un mouvement de rotation continu.
• 
  Transformations spéciales de Lorentz (boosts de Lorentz).
  Note : Les transformations étant linéaires, les origines des repères sont confondues à t=t'=0.

Lien avec le groupe SL(2, ℂ)

Le groupe spécial linéaire SL(2, ℂ) est le groupe de revêtement universel du groupe de Lorentz restreint ${\displaystyle \operatorname {SO} _{0}(1,3)}$[alpha 1]. Par conséquent, toute transformation de Lorentz restreinte peut être réécrite de manière condensée sous forme d'une matrice 2 × 2 complexe.

Ces matrices agissent sur l'espace de Minkowski en identifiant chaque évènement ${\displaystyle (t,x,y,z)}$ par une matrice hermitienne 2 × 2. En prenant pour base les matrices de Pauli :

${\displaystyle X={\begin{bmatrix}ct+z&x-iy\\x+iy&ct-z\end{bmatrix}}=ct1\!\!1+x\sigma _{x}+y\sigma _{y}+z\sigma _{z},}$

Avec cette notation, le calcul du déterminant fait apparaître la forme quadratique invariante correspondant à la pseudo-norme relativiste :

${\displaystyle \det \,X=c^{2}t^{2}-x^{2}-y^{2}-z^{2},}$

La matrice de ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$ associée à une transformation de Lorentz donnée agit sur cet évènement via :

${\displaystyle X\mapsto PXP^{*}~.}$

où ${\displaystyle P^{*}}$ est la matrice adjointe de ${\displaystyle P}$. Cette transformation préserve bien la valeur du déterminant, et donc la structure de l'espace de Minkowski.

L'opération qui à toute matrice de ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$ associe une transformation de Lorentz est appelée application spineur ou morphisme spinoriel. L'intérêt de cette relation vient du fait que certaines propriétés de ${\displaystyle \operatorname {SO} _{0}(1,3)}$ peuvent être déduites de l'étude des propriétés bien connues de ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$. En particulier leurs algèbres de Lie sont similaires, ce qui facilite l'étude des représentations du groupe de Lorentz.

Quelques exemples de matrices de ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$ et leur image dans ${\displaystyle \operatorname {SO} _{0}(1,3)}$

	Rotation spatiale	Transf. de Lorentz spéciale	Quadrivis	Rotation lumière
${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$	${\displaystyle {\begin{pmatrix}\cos {\frac {\theta }{2}}&-i\sin {\frac {\theta }{2}}\\-i\sin {\frac {\theta }{2}}&\cos {\frac {\theta }{2}}\end{pmatrix}}}$	${\displaystyle {\begin{pmatrix}\cosh {\frac {\psi }{2}}&\sinh {\frac {\psi }{2}}\\\sinh {\frac {\psi }{2}}&\cosh {\frac {\psi }{2}}\end{pmatrix}}}$	${\displaystyle {\begin{pmatrix}\cosh {\frac {\psi -i\theta }{2}}&\sinh {\frac {\psi -i\theta }{2}}\\\sinh {\frac {\psi -i\theta }{2}}&\cosh {\frac {\psi -i\theta }{2}}\end{pmatrix}}}$	${\displaystyle {\begin{pmatrix}1+i\alpha &-i\alpha \\i\alpha &1-i\alpha \end{pmatrix}}}$
${\displaystyle \operatorname {SO} _{0}(1,3)}$	${\displaystyle \scriptstyle {\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&\cos \theta &-\sin \theta \\0&0&\sin \theta &\cos \theta \end{pmatrix}}}$	${\displaystyle \scriptstyle {\begin{pmatrix}\cosh \psi &\sinh \psi &0&0\\\sinh \psi &\cosh \psi &0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}}}$	${\displaystyle \scriptstyle {\begin{pmatrix}\cosh \psi &\sinh \psi &0&0\\\sinh \psi &\cosh \psi &0&0\\0&0&\cos \theta &-\sin \theta \\0&0&\sin \theta &\cos \theta \end{pmatrix}}}$	${\displaystyle \scriptstyle {\begin{pmatrix}1+2\alpha ^{2}&-2\alpha ^{2}&2\alpha &0\\2\alpha ^{2}&1-2\alpha ^{2}&2\alpha &0\\2\alpha &-2\alpha &1&0\\0&0&0&1\end{pmatrix}}}$

Note : L'application spineur est surjective. À toute transformation de Lorentz restreinte correspond une matrice de ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$ et son opposée (on parle de revêtement à deux feuillets).

Le groupe de Lorentz complet[alpha 2] ${\displaystyle \operatorname {O} (1,3)}$ est un sous-groupe du groupe de Poincaré complet ${\displaystyle R^{1,3}\rtimes \operatorname {O} (1,3)}$ qui réunit toutes les isométries affines de l'espace de Minkowski. Le groupe de Poincaré inclut en plus les translations statiques de l'origine, il est donc parfois appelé groupe de Lorentz affine ou inhomogène.

Le groupe de Lorentz homogène est un groupe linéaire fermé, c'est un groupe de Lie[3] non-compact[3]^,[4] et non-connexe[3]^,[4], de dimension 6[5]. Contrairement au groupe de Lorentz restreint, le temps peut être renversé (Symétrie T), ainsi que les coordonnées d'espace (Parité). Ces symétries supplémentaires mènent notamment à des applications en mécanique quantique.

Transformation de Lorentz pour une charge électrique. La charge est au repos dans un référentiel mais pas dans l'autre.

Les transformations du groupe de Lorentz sont représentées par des matrices 4 × 4 agissant sur des quadrivecteurs. On peut cependant souhaiter appliquer ces transformations à des objets de nature différente, tels que des scalaires (masse, temps propre, intervalle d'espace-temps...), des tenseurs (champ électromagnétique) ou encore des spineurs. On devra alors utiliser une représentation du groupe de Lorentz adaptée.

Ainsi, pour un objet ${\displaystyle F}$ quelconque (rapporté à un vecteur de dimension ${\displaystyle n}$), les changements de coordonnées s'écrivent :

${\displaystyle F'=\Pi (\Lambda )F}$

où ${\displaystyle \Pi }$ est une représentation du groupe qui décrit les transformations ${\displaystyle \Lambda }$ sous forme de matrices ${\displaystyle n\times n}$. La quantité ${\displaystyle F}$ est dite covariante.

Exemples :

• Prenons une quantité scalaire telle que la masse propre d'un corps. Cette quantité étant invariante par changement de référentiel, la représentation associée est la représentation triviale (autrement dit ${\displaystyle \Pi (\Lambda )\equiv 1}$).

• La transformation du champ électromagnétique nécessite aussi d'utiliser une représentation adaptée du groupe de Lorentz. En relativité restreinte, les champs électrique et magnétique ne peuvent en effet être considérés comme deux objets physiques séparés. Il n'est pas possible d'appliquer de manière naïve les transformations de Lorentz au champ électrique puis au champ magnétique de manière indépendante : le champ électromagnétique doit être vu comme un unique tenseur doté de six composantes indépendantes. Le groupe de Lorentz peut ainsi être représenté par des matrices ${\displaystyle 6\times 6}$ agissant sur un vecteur champ à 6 dimensions :

${\displaystyle F'={\begin{bmatrix}{E'}_{}^{1}\\{E'}_{}^{2}\\{E'}_{}^{3}\\{B'}_{}^{1}\\{B'}_{}^{2}\\{B'}_{}^{3}\end{bmatrix}}={\begin{bmatrix}\Pi (\Lambda )_{0}^{0}&\Pi (\Lambda )_{1}^{0}&\Pi (\Lambda )_{2}^{0}&\Pi (\Lambda )_{3}^{0}&\Pi (\Lambda )_{4}^{0}&\Pi (\Lambda )_{5}^{0}\\\Pi (\Lambda )_{0}^{1}&\Pi (\Lambda )_{1}^{1}&\Pi (\Lambda )_{2}^{1}&\Pi (\Lambda )_{3}^{1}&\Pi (\Lambda )_{4}^{1}&\Pi (\Lambda )_{5}^{1}\\\Pi (\Lambda )_{0}^{2}&\Pi (\Lambda )_{1}^{2}&\Pi (\Lambda )_{2}^{2}&\Pi (\Lambda )_{3}^{2}&\Pi (\Lambda )_{4}^{2}&\Pi (\Lambda )_{5}^{2}\\\Pi (\Lambda )_{0}^{3}&\Pi (\Lambda )_{1}^{3}&\Pi (\Lambda )_{2}^{3}&\Pi (\Lambda )_{3}^{3}&\Pi (\Lambda )_{4}^{3}&\Pi (\Lambda )_{5}^{3}\\\Pi (\Lambda )_{0}^{4}&\Pi (\Lambda )_{1}^{4}&\Pi (\Lambda )_{2}^{4}&\Pi (\Lambda )_{3}^{4}&\Pi (\Lambda )_{4}^{4}&\Pi (\Lambda )_{5}^{4}\\\Pi (\Lambda )_{0}^{5}&\Pi (\Lambda )_{1}^{5}&\Pi (\Lambda )_{2}^{5}&\Pi (\Lambda )_{3}^{5}&\Pi (\Lambda )_{4}^{5}&\Pi (\Lambda )_{5}^{5}\end{bmatrix}}{\begin{bmatrix}{E}_{}^{1}\\{E}_{}^{2}\\{E}_{}^{3}\\{B}_{}^{1}\\{B}_{}^{2}\\{B}_{}^{3}\end{bmatrix}}}$

Note : En pratique, le champ électromagnétique est généralement plutôt exprimé sous forme tensorielle, avec : ${\displaystyle F^{\mu '\nu '}={\Lambda ^{\mu '}}_{\mu }{\Lambda ^{\nu '}}_{\nu }F^{\mu \nu }.}$

• Les bispineurs intervenant dans l'équation de Dirac sont des vecteurs de nombres complexes à 4 composantes. Les matrices ${\displaystyle 4\times 4}$ originelles du groupe de Lorentz sont cependant inappropriées, même en se restreignant aux rotations. Une représentation spinorielle ${\displaystyle 4\times 4}$ des transformations de Lorentz est donc nécessaire.

Le concept du groupe de Lorentz se généralise naturellement à un espace-temps doté d'un nombre quelconque de dimensions. Mathématiquement, le groupe de Lorentz d'un espace de Minkowski à ${\displaystyle n+1}$ dimensions est le groupe ${\displaystyle \operatorname {O} (1,n)}$ (ou ${\displaystyle \operatorname {O} (n,1)}$) des transformations linéaires de ${\displaystyle \mathbb {R} ^{n+1}}$ qui préservent la forme quadratique :

${\displaystyle (x_{0},x_{1},\cdots ,x_{n})\mapsto (x_{0})^{2}-(x_{1})^{2}-\cdots -(x_{n})^{2}}$

La plupart des propriétés du groupe de Lorentz à quatre dimensions (n = 3) se généralisent pour des valeurs de n arbitraires. Les cas n = 1 et n = 2 servent principalement de modèles d'étude simplifiés pour le cas physique n = 3. Les cas de plus grande dimension sont utilisés dans des théories physiques qui postulent l'existence de dimensions cachées, comme la théorie des cordes, et dans certains modèles cosmologiques tels que l'univers de de Sitter.