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

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

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
  • 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

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

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

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
 
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

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
  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
  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.

Voir aussi

modifier

Bibliographie

modifier

Articles connexes

modifier

Liens externes

modifier