Está en la página 1de 2

1 Colchetes derivadas

 

 n m 

 !


 n A B 
1) gl(n|m,C) =   = g , Z2 -graduada.
 m C D 

 
 

→ gl(n|m,C) é Z-graduada,
( sendo
!)

 0 0
 gl(n|m, C)−1 =

 = g−1 ;


 C 0

 ( !
 A 0
gl(n|m, C)0 = = g0 g0̄


 0 D
 ( !
0 B



 gl(n|m, C)1 = = g1


0 0
L L L L
→ gl(n|m, C) = gl(n|m, C)−1 gl(n|m, C)0 gl(n|m, C)1 = g−1 g0 g1
gi · gj ⊆ gi+j

Ex: [g1 , g1 ](∈ g2 ) = 0;

[g0 , g0 ] = 0;

[g−1 , g1 ] ⊆ g0

Def.:(Colchete derivada):

Seja:

X ∈ gi , deg X = i ou X̄ = i
D ∈ g1 → [D, D] = 0

[X, Y ]D = JX, Y K = [X, [D, Y ]]

Ex. (g−1 , JK) é uma álgebra de lie.

1)JX, Y K = −JY, XK ?
0 ∈g
−1 1 1
ad x
z }| { −1 z }|2{
→ [ X , [D, Y ]] = [[X, D], Y ] − [D, [X, Y ]] = −[Y, [X, D]] = −JY, XK•

1
2) Identidade de Jacobi :

JX, JY, ZK = JX, Y K, ZK + JY, JX, ZK?

[A[B, C]] = [[A, B], C] + (−1)ĀB̄ [B, [A, C])


( (?)
0
−1 1 −1 z }| { ?
→ JX, JY, ZK = [ X [D, [ Y , [D, Z]]]] = [X, [[D, Y ], [D, Z]] − [X, [Y, [D, [D, Z]]]
x
y
= [X, [[D, Y ], [D, Z]] + [D, Y ], [X, [D, Z]]] = [JX, Y K, [D, Z]] + [[D, Y ]JX, ZK
=JJX, Y K, ZK − JJX, ZK, Y K = JJX, Y K, ZK + JJY, KX, ZK•
!
0 In
Ex.: gl(n|n, C), D = .
0 0
Existe estrutura de álgebra de Lie em (g−1 , J, K) ?

También podría gustarte