Opérateur de Casimir

En mathématiques, et plus spécifiquement en algèbre, l'opérateur de Casimir est un opérateur particulier. Plus précisément, étant donné une algèbre de Lie munie d'une forme bilinéaire non-dégénérée et invariante, et une représentation de dimension finie, l'opérateur de Casimir est une application linéaire continue particulière sur l'espace vectoriel de la représentation. Cet opérateur commute avec la représentation. Pour l'algèbre de Lie et la représentation étudiées, cet opérateur joue le rôle du laplacien.

Il y a un opérateur de Casimir par représentation, mais il n'y a qu'un opérateur de Casimir pour l'algèbre enveloppante de l'algèbre de Lie. Il n'y a pas de procédure générale pour déterminer les opérateurs de Casimir associés à une algèbre de Lie quelconque, comme il n'y a pas de procédure générale pour déterminer toutes ses représentations^[1], toutefois, le théorème de Racah permet d'en déterminer le nombre (fini ou non) et le rang de chacune.

En mathématiques, l'opérateur de Casimir a aidé à déterminer les représentations irréductibles d'une algèbre et d'un groupe de Lie, ainsi que les algèbres et groupes de Lie simples. En physique quantique, l'opérateur de Casimir a aidé à mieux connaitre les opérateurs agissant sur la fonction d'onde, et les invariants associés qui sont des nombres quantiques : la masse, le spin, l'isospin en sont des exemples.

L'opérateur de Casimir doit son nom à Hendrik Casimir, son découvreur pour le groupe de Lorentz au début des années 1930.^[2]

Formes bilinéaires non-dégénérées et invariantes

Soit $\mathfrak g$ une algèbre de Lie, $\Beta (~,~)$ une forme bilinéaire non-dégénérée invariante associée à l'algèbre. L'invariance de $\Beta (~,~)$ est l'invariance par la représentation adjointe $\ ad_X(Y) = [X,Y]$

$\forall X,Y,Z \in \mathfrak g \, ,$ $\Beta \left( ad_X(Y),Z \right) = - \Beta \left( Y , ad_X(Z) \right)$

ou encore

$\forall X,Y,Z \in \mathfrak g \, ,$ $\Beta \left( \left[ X,Y \right],Z \right) = - \Beta \left( Y ,\left[ X,Z \right] \right)$

Dans le cas d'une algèbre de Lie associée à un groupe de Lie connexe G, on démontre (par différentiation) que cette invariance est équivalente à l'invariance par l'action $\ Ad_g (X) = g.X.g^{-1}$ du groupe sur son algèbre :

$\forall g \in G , \forall Y,Z \in \mathfrak g \, ,$ $\Beta \left( Ad_g(Y),Ad_g(Z) \right) = \Beta \left( Y , Z \right)$

Exemples

• Sur une algèbre de Lie semi-simple, une forme utilisable est la forme de Killing.
• Sur l'algèbre de Lie associée à un groupe de Lie compact G, il existe une forme bilinéaire non-dégénérée et invariante construite à l'aide de la mesure de Haar $\ \mu$ du groupe : en utilisant un produit scalaire $(~|~)_0$ non-trivial sur $\mathfrak g$, le produit scalaire suivant convient $\left( X | Y \right) = \int_G \left( g.X.g^{-1} | g.Y.g^{-1} \right)_0 . \mu (dg)$
• Sur une sous-algèbre de Lie $\mathfrak g$ de $\mathbb M(n,\R)$ telle que $X \in \mathfrak g \Rightarrow X^T \in \mathfrak g$, où $\ X^T$ est la matrice adjointe, on peut prendre $B\left( X,Y \right) = tr\left( XY \right)$.

Définitions

Soit $\ ( \rho , V )$ une représentation de l'algèbre de Lie $\mathfrak g$: $\rho: {\mathfrak g}\to GL(V)$.

Première définition : Soit $\ \{ X_i / i = 1,...,n \}$ une base de $\mathfrak g$, et on note $\ \{ X^i / i = 1,...,n \}$ la base duale : $\ \Beta (X^i,X_j) = \delta_{i,j}$.

L'opérateur de Casimir est défini par :

$\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right)$

Une deuxième définition, qui n'utilise pas explicitement de la base duale tout en l'introduisant sans le dire, est :

en posant $\ g_{ij} = B(X_i,X_j)$, et $\left( g^{ij} \right) = \left( g_{ij} \right)^{-1}$ la matrice inverse, l'opérateur de Casimir est défini par :

$\Omega_{\rho} = \sum_{i,j=1}^{n} g^{ij}\rho \left( X_i \right) \rho \left( X_j \right)$

Une troisième définition introduit d'abord l'opérateur de Casimir $\ \Omega$ de l'algèbre enveloppante de l'algèbre de Lie, permettant ensuite d'introduire l'opérateur Ω_ρ associé à la représentation $\ ( \rho , V )$.

Dans ce cas, l'opérateur de Casimir est défini par :

$\Omega = \sum_{i=1}^{n} X^i X_i$

et on retrouve l'opérateur associé à la représentation $\ ( \rho , V )$ en prenant $\Omega_{\rho} = \rho \left( \Omega \right)$.

Propriétés

• Indépendance vis-à-vis de la base utilisée : si $\ \{ Y_i / i = 1,...,n \}$ est une autre base de $\mathfrak g$, alors $\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right)= \sum_{i=1}^{n} \rho \left( Y^i \right) \rho \left( Y_i \right)$, ce que l'on montre en utilisant la matrice de changement de base.
• Commutation avec la représentation : on sait que par définition $\rho : \mathfrak g \to L_{\mathbb C}(V)$ est un morphisme d'algèbre de Lie, et que $\Omega_{\rho} = \sum_{i=1}^{n} \rho \left( X^i \right) \rho \left( X_i \right) \in L_{\mathbb C}(V)$. Quelques calculs algébriques montrent que $\forall X \in \mathfrak g \, ,$ $\left[ \Omega_{\rho} , \rho (X) \right] = 0$
• Si $\ ( \rho , V )$ est une représentation $\C$-linéaire et irréductible de $\mathfrak g$, alors le lemme de Schur permet de conclure qu'il existe $\kappa_{\rho} \in \C$ tel que $\ \Omega_{\rho} = - \kappa_{\rho} .Id$. Ce nombre $\ \kappa_{\rho}$ est, en physique, le nombre quantique associé à l'opérateur de Casimir agissant sur la fonction d'onde.

Exemples

• Les opérateurs de Casimir du groupe de Lorentz permettent de dégager deux nombres quantiques : la masse et le spin. Il y a une infinité de valeurs pour le spin, et chacune vient d'une représentation irréductible.
• L'algèbre de Lie $\mathfrak{su} (3)$, algèbre du groupe $\ SU(3)$, permet de dégager les nombres quantiques isospin, étrangeté et charge électrique.

Notes

1. ↑ On connait toutefois toutes les représentations de $\mathfrak{su} (n,\C)$
2. ↑ Roger Godement, Introduction à la théorie des groupes de Lie, Springer, 2004, ISBN 3-540-20034-7, p 239-240.

Sources

• Jacques Faraut, Analyse sur les groupes de Lie : une introduction, éditions Calvage & Mounet, 2006, ISBN 2-916352-00-7.
• Yvette Kosmann-Schwarzbach, Groupes et symétrie : groupes finis, groupes et algèbres de Lie, représentations, éditions "Les éditeurs de l'école polytechnique", 2005, ISBN 2-7302-1257-4.
• L Marleau, Introduction à la physique des particules, cours en ligne de l'université de Laval.