Hazugság superalgebra
A Lie superalgebra kiterjesztése a fogalom a Lie-algebra hozzáadásával ℤ 2 -graduation . Ez az osztás szétválasztja a szuperalgebrát egy páros és egy páratlan rész közvetlen összegére . Ezt a szerkezetet használják az elméleti fizikában a szuperszimmetria leírására . Az algebra elemei differenciál operátorokkal ábrázolhatók . Ezen elméletek többségében a páros elemek a bozonoknak , a páratlan elemek pedig a fermionoknak felelnek meg .
Meghatározás
A Lie superalgebra egy nem asszociatív superalgebra egy K gyűrűn (általában R vagy C ).
NÁL NÉL=NÁL NÉL0⊕NÁL NÉL1{\ displaystyle {\ mathcal {A}} = {\ mathcal {A}} _ {0} \ oplus {\ mathcal {A}} _ {1}}
-
NÁL NÉL0{\ displaystyle {\ mathcal {A}} _ {0}}megfelel a szuperalgebra páros és páratlan részének. Elemeiről azt mondják , hogy fokuk homogén . Ezzel ellentétben a páros és a páratlan részből álló elemeket nem homogénnek mondjuk . Így, definiáljuk a műveletet , mint jelölésére fokú homogén elem.NÁL NÉL1{\ displaystyle {\ mathcal {A}} _ {1}}NÁL NÉLén{\ displaystyle {\ mathcal {A}} _ {i}}én{\ displaystyle i}|⋅|:NÁL NÉL0∪NÁL NÉL1→{0,1}{\ displaystyle | \ cdot |: {\ mathcal {A}} _ {0} \ cup {\ mathcal {A}} _ {1} \ - \ {0,1 \}}|x|↦{0hax∈NÁL NÉL01hax∈NÁL NÉL1{\ displaystyle | x | \ mapsto {\ begin {cases} 0 \ quad {\ text {si}} \ quad x \ in {\ mathcal {A}} _ {0} \\ 1 \ quad {\ text {si }} \ quad x \ itt: {\ mathcal {A}} _ {1} \ end {esetben}}}
- A bilineáris belső terméket egy Lie superalgebra jelöli , és hívják Lie szuper horog vagy szuper kapcsolót . Meg kell felelnie a következő két feltételnek:
[⋅,⋅]:NÁL NÉL×NÁL NÉL→NÁL NÉL{\ displaystyle [\ cdot, \ cdot]: {\ mathcal {A}} \ szorzat {\ mathcal {A}} \ - {\ mathcal {A}}}
-
Szuper szimmetria :
∀x,y∈NÁL NÉL0∪NÁL NÉL1[x,y]=-(-1)|x||y|[y,x]{\ displaystyle \ forall x, y \ in {\ mathcal {A}} _ {0} \ cup {\ mathcal {A}} _ {1} \ quad [x, y] = - (- 1) ^ {| x || y |} [y, x]}
-
Jacobi szuper kapcsolat
∀x,y,z∈NÁL NÉL0∪NÁL NÉL1(-1)|x||z|[x,[y,z]]+(-1)|y||x|[y,[z,x]]+(-1)|z||y|[z,[x,y]]=0{\ 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}
Tulajdonságok
- ∀x∈NÁL NÉL0[x,x]=0{\ displaystyle \ forall x \ itt: {\ mathcal {A}} _ {0} \ quad [x, x] = 0}
- ∀x∈NÁL NÉL1[[x,x],x]=0{\ displaystyle \ forall x \ in {\ mathcal {A}} _ {1} \ quad [[x, x], x] = 0}
- |[x,y]|=|x|+|y|mod2{\ displaystyle | [x, y] | = | x | + | y | \ mod 2}
Példák
oso(1|2){\ displaystyle {\ mathfrak {osp}} (1 | 2)}
Hagyja , és olyat, hogy:
J0∈NÁL NÉL0{\ displaystyle J_ {0} \ in {\ mathcal {A}} _ {0}}J+∈NÁL NÉL1{\ displaystyle J _ {+} \ itt: {\ mathcal {A}} _ {1}}J-∈NÁL NÉL1{\ displaystyle J _ {-} \ in {\ mathcal {A}} _ {1}}
- [J0,J+]=J+{\ displaystyle [J_ {0}, J _ {+}] = J _ {+}}
- [J0,J-]=-J-{\ displaystyle [J_ {0}, J _ {-}] = - J _ {-}}
- [J+,J-]=2J0{\ displaystyle [J _ {+}, J _ {-}] = 2J_ {0}}
Ekkor a beállított , látva a Lie szuper horog által meghatározott bilinearity és a termékek , és ez képezi a Lie superalgebra .
{nál nél⋅J0+b⋅J++vs.⋅J-|nál nél,b,vs.∈VS}{\ displaystyle \ {a \ cdot J_ {0} + b \ cdot J _ {+} + c \ cdot J _ {-} | a, b, c \ in \ mathbb {C} \}}J0{\ displaystyle J_ {0}}J+{\ displaystyle J _ {+}}J-{\ displaystyle J _ {-}}oso(1|2){\ displaystyle {\ mathfrak {osp}} (1 | 2)}
Megjegyzések és hivatkozások
Megjegyzések
Hivatkozások
Lásd is
Kapcsolódó cikkek
Külső linkek
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">