# Petit groupe

En relativité, on appelle petit groupe le sous-groupe des transformations de Lorentz ${\Lambda ^{\alpha }}_{\beta }$ dont les éléments laissent invariant une quadri-impulsion $p^{\alpha }$ donnée. Si ${W^{\alpha }}_{\beta }$ est un membre de ce groupe, on a donc :
    $p^{\alpha }={W^{\alpha }}_{\beta }p^{\beta }$

## Structure du petit groupe (cas particulier)

(Nous adoptons ici comme métrique lorentzienne $\eta _{\mu \nu }$ de signature $(+,-,-,-)$, ainsi que le système d'unités « naturelles » où $\hbar =c=1$)
Considérons, par exemple, une particule matérielle de quadri-impulsion $p^{\alpha }\neq 0$. Il existe alors un référentiel lorentzien dans lequel cette particule est au repos ; on peut donc y écrire : $p^{\alpha }=^{t}(M,0,0,0)$.
Tout élément du petit groupe correspondant doit donc vérifier : $p^{\alpha }={W^{\alpha }}_{\beta }p^{\beta }$. Donc, en particulier : $p^{0}={W^{0}}_{0}p^{0}(+0+0+0)$, c'est-à-dire ${W^{0}}_{0}=1$.
Pour toutes les autres composantes $p^{i}=0$, nous avons : $p^{i}=0={W^{i}}_{\alpha }p^{\alpha }$, donc ${W^{i}}_{0}=0$.
Considérons maintenant, conformément à la méthode générale sur les groupes de Lie, une transformation du petit groupe ${W^{\alpha }}_{\beta }$ arbitrairement proche de l'identité, de sorte que l'on puisse écrire, au premier ordre :
    ${W^{\alpha }}_{\beta }={\delta ^{\alpha }}_{\beta }+{\omega ^{\alpha }}_{\beta }$
où ${\omega ^{\alpha }}_{\beta }$ est une transformation infinitésimale. Puisque ${W^{\alpha }}_{\beta }$ est une transformation de Lorentz, elle doit vérifier :
    $\eta _{\nu \mu }={W^{\alpha }}_{\nu }{W^{\beta }}_{\mu }\eta _{\alpha \beta }$
Ceci donne, en remplaçant ${W^{\alpha }}_{\nu }$ et ${W^{\beta }}_{\mu }$ par leurs développements correspondants :
    $\eta _{\nu \mu }=({\delta ^{\alpha }}_{\nu }+{\omega ^{\alpha }}_{\nu })({\delta ^{\beta }}_{\mu }+{\omega ^{\beta }}_{\mu })\eta _{\alpha \beta }=({\delta ^{\alpha }}_{\nu }{\delta ^{\beta }}_{\mu }+{\delta ^{\alpha }}_{\nu }{\omega ^{\beta }}_{\mu }+{\delta ^{\beta }}_{\mu }{\omega ^{\alpha }}_{\nu }+...)\eta _{\alpha \beta }$
    $={\delta ^{\alpha }}_{\nu }{\delta ^{\beta }}_{\mu }\eta _{\alpha \beta }+{\delta ^{\alpha }}_{\nu }{\omega ^{\beta }}_{\mu }\eta _{\alpha \beta }+{\delta ^{\beta }}_{\mu }{\omega ^{\alpha }}_{\nu }\eta _{\alpha \beta }=\eta _{\nu \mu }+{\delta ^{\alpha }}_{\nu }\omega _{\alpha \mu }+{\delta ^{\beta }}_{\mu }\omega _{\beta \nu }=\eta _{\nu \mu }+\omega _{\nu \mu }+\omega _{\mu \nu }$
D'où : $\omega _{\nu \mu }+\omega _{\mu \nu }=0$.
La matrice 4x4 $\omega _{\nu \mu }$ est donc antisymétrique, et possède ainsi 6 composantes indépendantes. Avec la condition de nullité des trois composantes ${W^{i}}_{0}=0$, on se retrouve avec 3 composantes indépendantes seulement.
Les matrices infinitésimales $(\omega _{\nu \mu })^{i}$ sont donc engendrées par trois matrices élémentaires de type $\left({\begin{array}{cc}0&0\\0&\epsilon _{ijk}\end{array}}\right)$. On reconnaît là les trois générateurs du groupe des rotations de R³, $SO(3)$.
Le petit groupe est donc ici le groupe $SO(3)$, un résultat intuitif attendu.

## Autres cas

La quadri-impulsion ne peut prendre que deux autres valeurs physiques :
* Dans le cas d'une "particule de masse nulle au repos" $p^{\alpha }=0$, le petit groupe est évidemment le groupe de Lorentz homogène $SO(3,1)$ ;
* Dans le cas d'une particule de masse nulle se déplaçant à la vitesse de la lumière ${\frac {dx}{dt}}=1,p^{\alpha }=^{t}(1,1,0,0)$, le petit groupe est le groupe $ISO(2)$ des rotations et translations du plan euclidien.