LGEBRAS DE LIE

4 de Fevereiro de 2016

Contedo
1

lgebras de Lie
1.1 Elementos fundamentais . . . . . . . . . . . . .
1.1.1 Definio . . . . . . . . . . . . . . . . . .
1.1.2 Sublgebras, Ideais e lgebras Simples
1.1.3 Homomorfismos . . . . . . . . . . . . .
1.1.4 Representao Adjunta . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

2
2
2
2
3
3

Captulo 1
lgebras de Lie
1.1
1.1.1

Elementos fundamentais
Definio

Definio 1. (LGEBRA DE L IE) Uma lgebra de Lie g, sobre o corpo C, um espao

vectorial com uma operao binria [, ] chamada de parenteses de Lie que bilinear, e
para cada x, y , z g possue as seguintes propriedades:

[ x, x ] = 0,
( IDENTIDADE DE J ACOBI ) [ x, [y, z] + [y, [z, x ]] + [z, [ x, y]] = 0.

(1.1.1)
(1.1.2)

Proposio 2. Seja A uma qualquer lgebra associativa respeito ao produto , ento podemos
definir uma estrutura de lgebra de Lie sobre A definendo por cada a, b em A as seguintes
parenteses de Lie
(1.1.3)
[ a, b] = a b b a.
Demonstrao. evidente que que por cada a A seja

[ a, a] = 0,

(1.1.4)

portanto s preciso demonstrar a identidade de Jacobi. Todavia uma simples substituo dos termos na identidade de Jacobi com a definio das parenteses de Lie prova
o resultado
Seja V um espao vetorial sobre K, ento End (V ) com a composio de endomorfismos uma lgebra associativa e portanto possvel definir as parenteses de Lie que
a tornam uma lgebra de Lie indicada por glK (V). Se V for um espao vetorial de
dimenso finita ento glK (V) simplesmente indicado por gln .
Definio 3. (LGEBRA DE LIE LINEAR) Se uma lgebra de Lie g uma sublgebra de
glK (V) ento g diz-se uma lgebra de Lie linear.

1.1.2

Sublgebras, Ideais e lgebras Simples

Definio 4. (SUBLGEBRA) Seja h um subespao vetorial de g, ento h diz-se sublgebra

se fechado respeito s parenteses de Lie, i.e.

[h, h] = {[h, k] g | h, k h} h.

(1.1.5)

CAPTULO 1. LGEBRAS DE LIE

Definio 5. (IDEAL) Seja h um subespao vetorial de g, ento h diz-se um ideal se por

cada elemento de g o produto com os elementos de h permanece em h, i.e.

[h, g] = {[h, g] g | h h, g g} h.

(1.1.6)

Definio 6. (SIMPLES) Uma lgebra de Lie que no possue ideais no triviais diz-se
uma lgebra simples.

1.1.3

Homomorfismos

Definio 7. Seja um homorfismo entre as lgebras de Lie g e h, ento diz-se homomorfismo de lgebras de Lie se
([ g1 , g2 ]) = [ ( g1 ) , ( g2 )] .

(1.1.7)

Proposio 8. Seja um homorfismo entre as lgebras de Lie g e h, ento

1. ker () um ideal de g;
2. Im () uma lgebra de Lie isomorfa a o quotiente g/h.
Definio 9. (CENTRO) Seja g uma lgebra de Lie, chamamos centro da lgebra g e
indicamos com Z (g) o ideal

Z (g) = { a g | [ a, g] = 0 g g} .

1.1.4

(1.1.8)

Representao Adjunta

Definio 10. (REPRESENTAO) Seja g uma lgebra de Lie. Um homomorfismo de

lgebras de Lie entre g e uma lgebra de Lie linear gl (V ), i.e. : g gl (V ), chamase representao.
Definio 11. (REPRESENTAO ADJUNTA) Seja g uma lgebra de Lieento chamamos
de representao adjunta ad a representao entre g e gl (g) definida por
a [ a, ] .

(1.1.9)

Teorema 12. Seja g uma lgebra de Lie simples, ento

1. o centro Z (g) o elemento nulo, Z (g) = {0};
2. a representao adjunta uma representao fel, i.e. ker ( ad) = {0};
3. g uma lgebra de Lie linear.
Demonstrao. Que o centro Z (g) seja o elemento nulo um corolrio imediato do
facto que o centro Z (g) um ideal. No especfico o centro da lgebra tambm o
ncleo da representao adjunta, i.e. Z (g) = ker ( ad). Sendo assim a representao
adjunta portanto uma representao fel e portanto g isomorfa a uma sublgebra de
gl (g) e portanto uma lgebra de Lie linear.