Superalgebra di Lie
# Superalgebra di Lie

In matematica e in fisica teorica una superalgebra di Lie è una generalizzazione delle algebre di Lie con l'aggiunta di una struttura di algebra $\mathbb {Z} _{2}$-graduata. Le superalgebre di Lie sono importanti in fisica teorica, dove vengono utilizzate per descrivere la formulazione matematica della supersimmetria. Nella maggior parte di queste teorie, gli elementi di grado pari della superalgebra corrispondono ai bosoni e gli elementi di grado dispari ai fermioni (ma questo non è sempre vero, ad esempio, nella supersimmetria di BRST è il contrario).

## Definizione formale

Formalmente una superalgebra di Lie è un'algebra $\mathbb {Z} _{2}$-graduata non associativa, o superalgebra, su un anello commutativo (tipicamente $\mathbb {R}$ o Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): \mathbb{C} ), il cui prodotto $[\cdot ,\cdot ],$ chiamato superparentesi di Lie o supercommutatore, soddisfa alle seguenti due condizioni (analoghe ai soliti assiomi dell'algebra di Lie, con gradazione):

* Super anti-simmetria:

       $[x,y]=-(-1)^{|x||y|}[y,x].$
* Super identità di Jacobi:

       $(-1)^{|z||x|}[x,[y,z]]+(-1)^{|x||y|}[y,[z,x]]+(-1)^{|y||z|}[z,[x,y]]=0,$

dove $x,$ $y$ e $z$ sono $\mathbb {Z} _{2}$-graduate e $|x|$ denota il grado di $x$ (che può essere 0 oppure 1). La gradazione $|x|$ vale 0 per gli operatori bosonici chiamati anche elementi pari, e 1 per gli operatori fermionici chiamati anche elementi dispari.

Il grado di $[x,y]$ è la somma dei gradi di $x$ e $y$ modulo 2.

Si aggiungono a volte gli assiomi:

* $[x,x]=0$ per $|x|=0$ (se il numero 2 è invertibile, questa proprietà segue automaticamente);
* $[[x,x],x]=0$ per $|x|=1$ (se il numero 3 è invertibile, questa proprietà segue automaticamente).
