Un article de Wikipédia, l'encyclopédie libre.
Une superalgèbre de Lie est une extension de la notion d'algèbre de Lie par l'ajout d'une ℤ2-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.
Une superalgèbre de Lie
est une superalgèbre non associative sur un anneau K (habituellement R ou C).
correspond à la partie paire de la superalgèbre et
à la partie impaire. Les éléments de
sont dits homogènes de degré
. À 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
tel que
pour noter le degré d'un élément homogène.
- Le produit interne bilinéaire d'une superalgèbre de Lie est noté
et nommé super-crochet de Lie ou super-commutateur. Il doit respecter les deux conditions suivantes :
- Super anti-symétrie:
![{\displaystyle \forall x,y\in {\mathcal {A}}_{0}\cup {\mathcal {A}}_{1}\quad [x,y]=-(-1)^{|x||y|}[y,x]}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/14bf5af48ecd79f7acf0d5a5e356fbebfb163565)
- Super-relation de Jacobi
![{\displaystyle \forall x,y,z\in {\mathcal {A}}_{0}\cup {\mathcal {A}}_{1}\quad (-1)^{|x||z|}[x,[y,z]]+(-1)^{|y||x|}[y,[z,x]]+(-1)^{|z||y|}[z,[x,y]]=0}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/2104a67d5fb452ed354a5c98c7bce7237ead5f71)
![{\displaystyle \forall x\in {\mathcal {A}}_{0}\quad [x,x]=0}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/3529458c2e9dce3a76b3d053a6c95c0774d99365)
![{\displaystyle \forall x\in {\mathcal {A}}_{1}\quad [[x,x],x]=0}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/8dad567a91bea8be645ca39f1b1cf20d21ca8b44)
![{\displaystyle |[x,y]|=|x|+|y|\mod 2}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/03b8d8e0974bd9751c539d3457bbc41105763117)
Soient
,
et
tels que :
![{\displaystyle [J_{0},J_{+}]=J_{+}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/7c0b741a0dd130c1ddc2cdd596443328b7309c70)
![{\displaystyle [J_{0},J_{-}]=-J_{-}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/f5194ea24f2f59cdaa0fffd4a895ba7268d6f742)
![{\displaystyle [J_{+},J_{-}]=2J_{0}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/cd9e5baa070c542375d5ee2aca8bc17232384632)
Alors l'ensemble
, muni du super-crochet de Lie défini par sa bilinéarité et par les produits de
,
et
, forme la superalgèbre de Lie
.