Aller au contenu

Groupe de Lorentz

Un article de Wikipédia, l'encyclopédie libre.

Le groupe de Lorentz est le groupe mathématique constitué par l'ensemble des transformations de Lorentz de l'espace de Minkowski.

Les formules mathématiques :

sont toutes invariantes sous les transformations de Lorentz. En conséquence, le groupe de Lorentz exprimerait la symétrie fondamentale de plusieurs lois de la nature.

Groupe de Lorentz restreint

[modifier | modifier le code]

Le groupe de Lorentz propre et orthochrone ou restreint est un sous-groupe du groupe orthogonal 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 , 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.

Définition

[modifier | modifier le code]

Les transformations du groupe de Lorentz sont des changements linéaires de coordonnées entre référentiels inertiels, qui transforment un quadrivecteur en  :

Pour être compatibles avec les principes de la relativité restreinte, ces transformations doivent préserver l'intervalle d'espace-temps entre deux évènements. Mathématiquement, cela signifie que les matrices satisfont la condition :

est la métrique de Minkowski diag. L'ensemble de ces matrices forme bien un groupe, car chaque transformation possède un inverse et le produit de deux transformations du groupe de Lorentz est aussi une transformation du groupe de Lorentz. De plus, le produit est associatif et il existe une transformation identité. Les transformations qui préservent l'orientation de l'espace sont dites propres, et correspondent aux matrices de déterminant positif  :

det

au contraire, les transformations telles que det sont dites impropres. Par ailleurs, les transformations qui préservent l'orientation du temps sont dites orthochrones et satisfont :

Le groupe de Lorentz restreint se limite aux transformations à la fois propres et orthochrones. Le groupe de Lorentz complet s'obtient à partir du groupe de Lorentz restreint en introduisant les opérateurs discrets de parité et renversement du temps.

Propriétés

[modifier | modifier le code]
  • Le groupe de Lorentz restreint est un groupe de Lie à 6 paramètres (3 paramètres pour les rotations et 3 pour les boosts). Toute transformation se décompose de manière unique comme le produit d'un boost et d'une rotation spatiale  :
  • La composition de deux rotations spatiales donne une rotation spatiale. L'ensemble des rotations spatiales forme un sous-groupe isomorphe au groupe des rotations .
  • La composition de deux boosts de directions différentes ne donne pas un autre boost, mais est équivalent au produit d'un boost et d'une rotation (on parle alors de rotation de Thomas, ou rotation de Wigner). Par conséquent, l'ensemble des boosts ne forme pas un sous-groupe.
  • La composition de deux boosts de même direction donne un autre boost (dans ce cas, ce sont les rapidités des deux boosts qui s'additionnent, et non leurs vitesses). L'ensemble des boosts de même direction forme un sous-groupe à un paramètre.

Classification des transformations

[modifier | modifier le code]

Le groupe de Lorentz restreint est isomorphe au groupe de Möbius , ce qui correspond au groupe de symétrie des transformations conformes de la sphère de Riemann. Ses éléments, autres que l'identité, peuvent être répartis par classes de conjugaison :

  • Transformations elliptiques : Cette classe inclut les rotations du système de coordonnées suivant un axe passant par l'origine.
    Exemple : Rotation d'angle autour de l'axe .
  • Transformations hyperboliques : Cette classe inclut les transformations spéciales de Lorentz, laissant inchangé un plan de l'espace.
    Exemple : Boost de vitesse selon l'axe (avec ), correspondant à une rotation hyperbolique .
  • Transformations loxodromiques[1] (ou quadrivis) : Transformations combinant une transformation spéciale de Lorentz de direction donnée et une rotation dans le plan qui lui est orthogonal. Elles se caractérisent par un angle et une rapidité.
    Exemple : Quadrivis combinant une rotation hyperbolique de rapidité suivant l'axe et une rotation spatiale d'angle autour de l'axe .
  • Transformations paraboliques[2] (ou rotations lumière) : Transformations laissant invariant un plan de l'espace de Minkowski tangent au cône de lumière.
    Exemple : Rotation lumière de paramètre réel . Un photon de quadri-moment se propageant suivant l'axe des dans le sens positif n'est pas affecté par la transformation (cette direction lumière invariante est unique pour chaque rotation lumière).

Note : Toute transformation du groupe de Lorentz restreint est nécessairement une quadrivis ou une rotation lumière. Les autres types de transformations peuvent être vus comme des cas limites de ces dernières.

Lien avec le groupe SL(2, ℂ)

[modifier | modifier le code]

Le groupe spécial linéaire SL(2, ℂ) est le groupe de revêtement universel du groupe de Lorentz restreint [a]. 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 par une matrice hermitienne 2 × 2. En prenant pour base les matrices de Pauli :

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

La matrice de associée à une transformation de Lorentz donnée agit sur cet évènement via :

est la matrice adjointe de . 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 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 peuvent être déduites de l'étude des propriétés bien connues de . 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 et leur image dans
Rotation spatiale Transf. de Lorentz spéciale Quadrivis Rotation lumière

Note : L'application spineur est surjective. À toute transformation de Lorentz restreinte correspond une matrice de et son opposée (on parle de revêtement à deux feuillets).

Groupe de Lorentz complet

[modifier | modifier le code]

Le groupe de Lorentz complet[b] est un sous-groupe du groupe de Poincaré complet 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.

Représentations du groupe de Lorentz

[modifier | modifier le code]
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 quelconque (rapporté à un vecteur de dimension ), les changements de coordonnées s'écrivent :

est une représentation du groupe qui décrit les transformations sous forme de matrices . La quantité 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 ).
  • 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 agissant sur un vecteur champ à 6 dimensions :
Note : En pratique, le champ électromagnétique est généralement plutôt exprimé sous forme tensorielle, avec :
  • Les bispineurs intervenant dans l'équation de Dirac sont des vecteurs de nombres complexes à 4 composantes. Les matrices originelles du groupe de Lorentz sont cependant inappropriées, même en se restreignant aux rotations. Une représentation spinorielle des transformations de Lorentz est donc nécessaire.

Généralisation en dimension supérieure

[modifier | modifier le code]

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 à dimensions est le groupe (ou ) des transformations linéaires de qui préservent la forme quadratique :

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.

Notes et références

[modifier | modifier le code]
  1. Plus précisément, est isomorphe au groupe projectif spécial linéaire .
  2. Le terme « complet » est ici employé au sens de « non-restreint », et non au sens mathématique.

Références

[modifier | modifier le code]
  1. Gourgoulhon 2010, chap. 6, sect. 6.3, § 6.3.6, p. 194, remarque.
  2. Gourgoulhon 2010, chap. 6, sect. 6.3, § 6.3.5, p. 193, remarque.
  3. a b et c Taillet, Villain et Febvre 2018, s.v. groupe de Lorentz, p. 349, col. 2.
  4. a et b Choquet-Bruhat 1968, chap. III, p. 98.
  5. Gourgoulhon 2010, chap. 7, sect. 7.1, § 7.1.2, p. 224.

Bibliographie

[modifier | modifier le code]

Articles connexes

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]