Superalgèbre de Lie

Une superalgèbre de Lie est une extension de la notion d'algèbre de Lie par l'ajout d'une [[Algèbre graduée|ℤModèle:Ind-graduation]]. Cette graduation sépare la superalgèbre en la somme directe d'une partie paire et d'une partie impaire. Cette structure est utilisée en physique théorique pour décrire la supersymétrie. Les éléments de l'algèbre peuvent y être représentés par des opérateurs différentiels. Dans la plupart de ces théories, les éléments pairs correspondent aux bosons et les éléments impairs aux fermions.

Définition

Une superalgèbre de Lie $𝒜={𝒜}_0\oplus {𝒜}_1$ est une superalgèbre non associative sur un anneau K (habituellement R ou C).

• ${𝒜}_0$ correspond à la partie paire de la superalgèbre et ${𝒜}_1$ à la partie impaire. Les éléments de ${𝒜}_i$ sont dits homogènes de degré $i$. À l'inverse, les éléments qui sont composés d'une partie paire et d'une partie impaire sont dits non homogènes. Ainsi, on définit l'opération $|\cdot |:{𝒜}_0\cup {𝒜}_1\to \{0,1\}$ tel que $|x|\mapsto \{\begin{array}{c}0\text{si}x\in {𝒜}_0\\ 1\text{si}x\in {𝒜}_1\end{array}$ pour noter le degré d'un élément homogène.
• Le produit interne bilinéaire d'une superalgèbre de Lie est noté $[\cdot ,\cdot ]:𝒜\times 𝒜\to 𝒜$ et nommé super-crochet de Lie ou super-commutateur. Il doit respecter les deux conditions suivantes :
  • Super anti-symétrie:
    $\mathrm{\forall }x,y\in {𝒜}_0\cup {𝒜}_1[x,y]=-(-1{)}^{|x||y|}[y,x]$
  • Super-relation de Jacobi
    $\mathrm{\forall }x,y,z\in {𝒜}_0\cup {𝒜}_1(-1{)}^{|x||z|}[x,[y,z]]+(-1{)}^{|y||x|}[y,[z,x]]+(-1{)}^{|z||y|}[z,[x,y]]=0$

Propriétés

• $\mathrm{\forall }x\in {𝒜}_0[x,x]=0$
• $\mathrm{\forall }x\in {𝒜}_1[[x,x],x]=0$
• $|[x,y]|=|x|+|y|mod2$

Exemple : 𝖔𝖘𝖕(1|2)

Soient $J_0\in {𝒜}_0$, $J_{+}\in {𝒜}_1$ et $J_{-}\in {𝒜}_1$ tels que :

• $[J_0,J_{+}]=J_{+}$
• $[J_0,J_{-}]=-J_{-}$
• $[J_{+},J_{-}]=2J_0$

Alors l'ensemble $\{a\cdot J_0+b\cdot J_{+}+c\cdot J_{-}|a,b,c\in ℂ\}$, muni du super-crochet de Lie défini par sa bilinéarité et par les produits de $J_0$, $J_{+}$ et $J_{-}$, forme la superalgèbre de Lie $𝔬𝔰𝔭(1|2)$.

Voir aussi

• Modèle:Lien
• Superalgèbre
• Algèbre graduée
• Algèbre de Lie
• Relation de Jacobi