CURSO DE METODOS

DE LA F
ISICA MATEMATICA
TEOR
IA DE GRUPOS

H. FALOMIR
DEPARTAMENTO DE F
ISICA
FACULTAD DE CIENCIAS EXACTAS - UNLP

ALGEBRAS Y GRUPOS DE LIE

1.

n a las a
lgebras de Lie
Introduccio

Consideremos una funcion escalar a valores complejos denida sobre la variedad de

un grupo de Lie conexo G de dimension n, F : G C. Referida a un sistema local
de coordenadas establecido alrededor de un elemento generico b G (en el cual b tiene
asignadas coordenadas ( 1 , ..., n )), se tiene que
F (b) = f ( 1 , ..., n ),

(1.1)
que supondremos diferenciable.

Por multiplicacion a izquierda por a G, el elemento a1 b es aplicado en el elemento

b. Podemos entonces denir una funcion trasladada por a seg
un
(Ta F ) (b) := F (a1 b),

(1.2)

donde Ta es denido como un operador lineal sobre el espacio lineal de las funciones
sobre G. El conjunto de operadores {Ta , a G} constituye una representacion lineal del
grupo G. En efecto,
(1.3)

(
)
(Ta Tb F ) (c) = Ta F (b1 c)

y, llamando H(c) F (b1 c),

(Ta H) (c) = H(a1 c) = F (b1 a1 c) =
(1.4)
= F ((a b)1 c) (Tab F ) (c),
cualesquiera que sean a, b G, y F (c). Por lo tanto,
(1.5)

Ta Tb = Tab , a, b G.
Actualizado el 15 de abril de 2014.
1

H. Falomir

Supongamos ahora que el elemento a esta en un entorno del elemento identidad, e, y

que respecto de un sistema local de coordenadas tenemos la asignacion
a (1 , ..., n ),

(1.6)

e (0, ..., 0),

de modo que al elemento c = a1 b, contenido en un entorno de b, le correspondan las

coordenadas c ( 1 , ..., n ), dadas por
= (
, ),

(1.7)

donde las coordenadas

corresponden al elemento a1 .
En el sistema local de coordenadas establecido alrededor de e tenemos
(
, ) = = 0, .

(1.8)

Como se trata de un grupo de Lie, esa funcion puede ser desarrollada en serie de potencias
de sus argumentos, y teniendo en cuenta que ea = a = ae para todo a, se ve facilmente
que1
(1.12)

= + O()2 , = 1, 2, ..., n.

Desarrollando en serie de potencias el miembro de la derecha en (1.7), y teniendo en

cuenta que necesariamente (0, ) = , resulta
(
)
(
, )

(1.13)
=
+ O()2 .

=0

Dado que existe la inversa de cada elemento en G, podemos escribir a = b c1 , de

modo que la relacion entre ( ) y establecida en la anterior ecuacion debe ser
invertible. Esto implica que
(
(1.14)

det

(
, )

)
= 0.
=0

1En efecto, para a

y a genericos en un entorno de la identidad podemos escribir

(1.9)

(,
) = A + B
+ B + . . .

Tomando a
= e tenemos
(1.10)

(0, ) = A = 0, B = .

Similarmente, si a = e B = . Por lo tanto,

(1.11)

(,
) =
+ + . . .


Algebras
y grupos de Lie

Reemplazando (1.13) en la expresion de la funcion trasladada Ta F ,

Ta F (b) = F (a1 b) = f () =
(
(1.15)

f ()

(
, )

)
=0

f
() + O()2 =

{
(
)
(
)
}
(
, )

2
1
+ O() f (),

=0

de donde surge que los operadores diferenciales (con coecientes dependientes de las
coordenadas )
(
() =
X

(1.16)

(
, )

(
)

=0

ocian de generadores de las traslaciones sobre la variedad en el espacio de las funciones

escalares diferenciables denidas sobre el grupo G, obteniendo para los operadores de
traslaci
on Ta la realizacion
() + O()2 .
Ta = 1 X

(1.17)

Teniendo en cuenta que los operadores diferenciales (/ ), generadores de las

traslaciones a lo largo de los ejes coordenados, constituyen un conjunto de n operadores
linealmente independientes, y que la matriz en el miembro derecho de (1.16) es inver conforman una base del espacio lineal (n-dimensional) de los
tible, vemos que los X
operadores diferenciales de primer orden. Este espacio vectorial es isomorfo al espacio
tangente, por lo que ambos suelen identicarse. En ese sentido puede decirse que, para
elementos a proximos de la identidad y al mas bajo orden en las coordenadas, los operadores Ta dieren del operador identidad en () veces un vector del espacio tangente
a la variedad del grupo2.
Consideremos ahora una representacion matricial no trivial de dimension r del grupo
G, la que puede ser entendida como una funcion a valores matriciales denida sobre la
variedad: D(b), b G. Su trasladada por multiplicacion a izquierda por a es
(1.18)

Ta D(b) := D(a1 b) = D(a1 )D(b) = (D(a))1 D(b),

lo que nos provee de una representaci

on matricial para los operadores de traslacion
en terminos de matrices constantes (independientes del punto b sobre la variedad).
2N
otese que, por multiplicaci
on por un elemento fijo b G, un sistema local de coordenadas en un

entorno de e es aplicado en un sistema local en un entorno de b. En consecuencia, el espacio tangente a

la variedad en cualquier punto b es isomorfo al espacio tangente en e.

H. Falomir

En efecto,
Ta Tb D(c) = Ta D(b1 c) = Ta (D(b))1 D(c) = (D(b))1 D(a1 c) =
(1.19)
(D(b))1 (D(a))1 D(c) = (D(a b))1 D(c) = Tab D(c).
Para traslaciones innitesimales, esto proporciona tambien una representaci
on ma
tricial para los generadores X : por analoga con (1.17) escribimos
(1.20)

(D(a))1 = 1 X + O(2 ),

o bien, al mismo orden en ,

(1.21)

D(a) = 1 + X + O(2 ),

donde ahora las X son matrices constantes de dimension r r. Es decir, las matrices
que representan a elementos a proximos de e dieren de la matriz identidad (al mas bajo
orden en las coordenadas de a) en veces un vector del espacio lineal generado por las
matrices X , = 1, 2, ..., n. Este espacio lineal tiene la misma dimension que el grupo
de Lie si la representacion es localmente el e irreducible.
Consideremos, como antes, dos elementos a y b en un entorno de la identidad e, con sus
respectivas coordenadas, (1 , ..., n ) y ( 1 , ..., n ). El elemento c = a b a1 b1 sera en
general diferente de e (a menos que el grupo sea Abeliano) y, para y sucientemente
peque
nos, estara contenido en el mismo entorno de e, pudiendo ser referido al mismo
sistema local de coordenadas, c ( 1 , ..., n ). Tratandose de un grupo de Lie, las
son funciones analticas de y de , pudiendo ser desarrolladas en serie de potencias:
= (, ) = A + B + B +
(1.22)
+ C + D + D + O(, )3 .
Pero si tomamos a = e ( = 0), entonces c = e ( = 0) para todo b (). Similarmente, con b = e ( = 0), tambien tenemos c = e ( = 0) para todo a (). De ello
resulta que
(1.23)

A = B = B = D = D = 0.

En consecuencia, las coordenadas de c estan dadas (al mas bajo orden) por
(1.24)

= C + O(, )3 ,

donde las constantes de estructura, C , son caractersticas de la ley de composicion

del grupo en un entorno de la identidad (si bien, evidentemente, dependen de la eleccion
del sistema local de coordenadas).


Algebras
y grupos de Lie

Tomando a = b, resulta que c = e, o bien = = 0. Entonces, para coordenadas

arbitrarias tenemos que C = 0, lo que signica que las constantes de estructura
son antisim
etricas en el primer par de ndices,
C = C .

(1.25)

Los elementos contenidos en entornos de la identidad de dos grupos de Lie localmente

isomorfos estan en correspondencia biunvoca con el mismo conjunto de coordenadas
locales, y como localmente tienen la misma ley de composicion, resulta que tienen las
mismas constantes de estructura. Por lo tanto, las constantes de estructura son una
caracterstica del grupo de cubrimiento universal de la clase a la que pertenece el
grupo de Lie considerado.
Inversamente, se puede demostrar que dos grupos que tienen el mismo conjunto de
constantes de estructura son localmente isomorfos y, en consecuencia, ambos homomorfos
a un mismo grupo de Lie simplemente conexo. En ese sentido, las constantes de estructura
determinan localmente las propiedades del grupo en un entorno del elemento neutro e,
y ellas deben ser compatibles con las diferentes propiedades globales de los grupos en
esa clase.
Consideremos nuevamente la representacion matricial del grupo. Para los elementos
a y b proximos de e podemos escribir
D(a) = 1 + A,
(1.26)
D(b) = 1 + B,
donde
A = X + O(2 ),
(1.27)
B = X + O( 2 ).
Sus inversas son
(D(a))1 = 1 A + A2 + ...,
(1.28)
(D(b))1 = 1 B + B 2 + ...,
y, en consecuencia,
D(c) = D(a)D(b) (D(a))1 (D(b))1 =
(1.29)

{
}
= {1 + A + B + AB} 1 B + B 2 + ... A + AB + A2 + ... =
= 1 + (AB BA) + ... = 1 + C ,

H. Falomir

donde
(1.30)

C = X + ... = C X + O(, )3 .

Por lo tanto
C = [A, B] + ...
(1.31)
C X = [X , X ] , , ,
lo que implica que las matrices que representan a los generadores satisfacen el algebra
de conmutadores
(1.32)

[X , X ] = C X ,

cualquiera que sea la representaci

on del grupo considerada.
Similarmente, si tomamos el producto Tc = Ta Tb Ta1 Tb1 , a partir del desarrollo
(1.17) se puede demostrar que
[
]
(x), X
(x) = C X
(x),
(1.33)
X

(con un cambio de signo en el segundo miembro respecto de (1.32) - ver (1.17) y (1.21)).
Cabe se
nalar que en esta igualdad aparecen las mismas constantes de estructura
(x) tienen
que en (1.32), a pesar de que los operadores diferenciales de primer orden X
coecientes dependientes de las coordenadas x sobre la variedad (Teorema de Lie).
(x) constituyen una base del espacio tangente, la operacion
Como los generadores X
de conmutacion de (1.33) introduce en ese espacio una operacion bilineal, antisimetrica
y no asociativa entre vectores, que le conere la estructura de un
algebra de Lie. El
espacio vectorial generado por las matrices X , que satisfacen las reglas de conmutacion
de la ec. (1.32), constituye una representaci
on matricial del
algebra de Lie.
Como hemos dicho antes, el valor numerico de las constantes de estructura depende
de la eleccion del sistema local de coordenadas en un entorno de e. A un cambio en
el sistema de coordenadas, que haga que las nuevas coordenadas se obtengan de las
anteriores mediante una transformacion lineal homogenea,
a ( ) = ,
(1.34)
b ( ) = ,
, con = 1, 2, ..., n, que tambien
le corresponde un nuevo conjunto de generadores, X

es una base del espacio tangente.

Los elementos del algebra de Lie pueden ser referidos a distintas bases de ese espacio
vectorial, de modo que un mismo vector puede ser escrito como
(1.35)

= X
,
( ) X


Algebras
y grupos de Lie

lo que es cierto para todo . Pero esto requiere que los generadores se transformen como
= X
.
X

(1.36)

De ese modo tenemos, por una parte,

[
]

(1.37)
X , X = C X
mientras que, empleando (1.36), resulta
]
]
[
[
=
, X
= C X
, X
= X
X

(1.38)
= C X .
= C X
son linealmente independientes, se deduce que las constantes de
Como los generadores X
estructura se transforman (frente a las transformaciones lineales de coordenadas como en
(1.34)) como las componentes de un tensor dos veces covariante y una vez contravariante,
C = C .

(1.39)

La operacion introducida en el algebra de Lie no es asociativa, sino que satisface las

identidades de Jacobi,
[[
]
] [[
]
] [[
]
]
, X
, X
+ X
, X
, X
+ X
, X
, X
= 0,
(1.40)
X
igualdades algebraicas que se verican facilmente desarrollando los conmutadores seg
un
su denicion3.
Reemplazando los conmutadores de los generadores, y teniendo en cuenta que estos son
linealmente independientes, se obtienen las identidades de Bianchi para las constantes
de estructura,
(1.41)

C C + C C + C C = 0 ,

las que entonces no son todas independientes.

Introducimos ahora un conjunto de n matrices de dimension n n, M , cuyos elementos son proporcionales a las constantes de estructura del grupo:
(M ) := C .

(1.42)
3Las identidades de Jacobi,

[
]] [[
]
[
]] [
]
[
, X
+ X
, X
, X
, X
= X
, X
,
, X
X
tienen la misma forma que la derivada de un producto de funciones,
dg(x)
df (x)
d
(f (x) g(x)) = f (x)
+
g(x),
dx
dx
dx
raz
on por la cual la operaci
on en el
algebra de Lie tambien es la llamada derivada de Lie

H. Falomir

El conmutador de dos cualesquiera de ellas esta dado por

[M , M ] = (M ) (M ) (M ) (M ) =
(1.43)
C C + C C = C C = C (M ) ,
donde hemos usado las identidades de Bianchi.
En consecuencia, las matrices as denidas constituyen una representacion matricial
de los generadores del algebra de Lie del grupo, llamada representaci
on adjunta,
[M , M ] = C M .

(1.44)

Evidentemente, la representacion adjunta contiene la misma informacion sobre la ley de

composicion del grupo que el conjunto de sus constantes de estructura4.
Se puede demostrar que la representacion adjunta de un algebra de Lie es el e irreducible.
Consideremos ahora una representacion matricial del algebra de Lie de G, en la cual
los generadores esten representados por matrices X que satisfacen (1.32). Las matrices
correspondientes a elementos a proximos de e seran de la forma
D(a()) = 1 + X + O(2 ),

(1.48)

donde las son las coordenadas de a correspondientes a esa eleccion de una base para
el algebra de Lie.
Consideremos, en particular, los elementos correspondientes a matrices de la forma
(1.49)

1+

1

X + O( 2 ),
N
N

4Se define la forma de Killing (Wilhelm Killing, 1847-1923) de un

algebra de Lie como la matriz

simetrica cuyos elementos est

an dados por
g = tr {M M } = C C = g .

(1.45)

Se puede demostrar que un

algebra de Lie es semi-simple (es decir, que corresponde a un grupo
de Lie que no contiene subgrupos de Lie invariantes que sean Abelianos - ver Secci
on 8) si y s
olo si su
forma de Killing es regular (es decir, si det g = 0). En esas condiciones, su inversa existe y satisface
g g = .
Adem
as, un grupo de Lie semi-simple es compacto si y s
olo si la forma de Killing de su
algebra es
positiva definida.
Las nuevas constantes definidas por
(1.46)

C := C g = C C C

son totalmente antisimetricas en sus tres ndices. En efecto, empleando las identidades de Bianchi resulta
que
(1.47)

{
}
C = C C + C C C = i tr {M M M M M M } ,

donde el segundo miembro es antisimetrico debido a las propiedades de invarianza cclica la traza.


Algebras
y grupos de Lie

donde los son parametros nitos dados, toma valores continuos y N 1. Estos
elementos pueden ser multiplicados por s mismos N veces para alcanzar otros que (para
N grande) estaran alejados de e y representados por matrices
(
)N

1
1 + X + O( 2 )
=
N
N
(1.50)

(
)
)
N X (
N
1 + O( N12 ) = e X 1 + O( N1 ) .
k=1 e
En el lmite N obtenemos la matriz
(1.51)

D(a( )) := e X ,

relacion que puede ser entendida como la asignaci

on de los n parametros al elemento que denotamos por a( ) G.
Como el parametro es arbitrario, vemos que cada recta que pasa por el origen en el
algebra de Lie (espacio tangente a la variedad en e) es aplicada en elementos de G que
satisfacen

D(a(1 ))D(a(2 )) = e1 X e2 X =

(1.52)

e(1 + 2 ) X = D(a(2 ))D(a(1 )).

Y como eso vale para toda representacion matricial de G (incluso para las representaciones eles), los elementos que hemos identicado como a( ) (con jo y para todo
) pertenecen a un subgrupo Abeliano unidimensional de G.
Puede demostrarse que todo elemento de un grupo de Lie conexo compacto G pertenece a un subgrupo Abeliano unidimensional de G. Por lo tanto, la matriz que lo
representa en una dada representacion matricial del grupo siempre se puede obtener por
exponenciaci
on de un elemento (de la representacion matricial) del algebra de Lie.
En particular, por exponenciacion de vectores en la representacion adjunta del algebra
de Lie obtenemos las matrices de la representaci
on adjunta del grupo G considerado,
(1.53)

DAdj (a( 1 , ..., n )) = e M ,

que en general no es una representacion el de G.

Notese que para cada subgrupo de Lie unidimensional compacto la curva descrita
sobre la variedad de G por los elementos de la forma a( ) debe ser necesariamente
cerrada. Dicho de otro modo, las matrices D(a( )) deben ser funciones periodicas
de para toda representacion del grupo G. Las representaciones eles de G permiten
determinar el rango de valores que toma el parametro , mientras que para las que no
lo son, en general, las matrices D(a( )) se repetiran sobre ese rango.

10

H. Falomir

En el caso de grupos de Lie conexos no compactos, existen elementos que no yacen

sobre ning
un subgrupo Abeliano unidimensional, como lo muestra el siguiente ejemplo.
Ejemplo: Consideremos el grupo conexo SL(2, R). Sus elementos son matrices reales
de determinante det M = 1. Podemos parametrizarlas de la forma
(
)
A+D B+C
, A, B, C, D R ,
(1.54)
M=
C B AD
de modo que
(1.55)

(
) (
) (
) (
)
det M = A2 D2 C 2 B 2 = A2 + B 2 C 2 + D2 = 1 .

Por lo tanto, sin perdida de generalidad podemos escribir

(1.56)

A = cosh cos ,

B = cosh sin ,

C = sinh sin ,

D = sinh cos ,

con R y , [0, 2), de donde resulta que se trata de un grupo de Lie de dimension
3.
Como estas matrices no son periodicas en el parametro , este grupo es no compac(
)
to. Ademas, como A2 + B 2 = cosh 2 1, se ve que es m
ultiplemente conexo, con
1 (SL(2, R)) Z. Por otra parte, la traza de estas matrices,
(1.57)

trM = 2A = 2 cosh cos

puede tomar todos los valores reales.

En particular, este grupo contiene elementos de la forma

r 0
(1.58)
M (r) =
1 , r R \ {0} ,
0
r
que corresponden a tomar
(1.59)

tanh =

r2 1
,
r2 + 1

= 0,

= 0.

Mostraremos que estas matrices, con r 2, no pueden ser escritas como M = eA , con
A real y de traza nula5. Por lo tanto, esos elementos no yacen sobre ning
un subgrupo
Abeliano unidimensional de SL(2, R).
5Si M es una matriz (regular) de un grupo de matrices conexo, es posible trazar una curva continua

sobre la variedad del grupo, M (t) (que supondremos diferenciable), tal que M (0) = 1 y M (1) = M .
Podemos escribir
(1.60)

(
)
M (t + t) = M (t) + M (t) = M (t) 1 + M 1 (t)M (t) ,

y para su determinante
(
)
det M (t + t) = det M (t) det 1 + M 1 (t)M (t) =
(1.61)

(
[
]
)
det M (t) 1 + tr M 1 (t)M (t) + ... ,


Algebras
y grupos de Lie

11

En efecto, si M SL(2, R) se puede escribir como M = eA , la condicion det M = 1

implica que trA = 0. Por lo tanto

(
A=

(1.64)

c a

su determinante es
(
)
det A = a2 + bc ,

(1.65)
y su cuadrado es

A2 = ( det A) 12 .

(1.66)
De esto se deduce facilmente que
(1.67)

sinh( det A)
A

M = e = cosh( det A) 12 +
A,
det A

de modo que su traza

trM = 2 cosh( det A).

(1.68)

Como A es una matriz real, det A R, y en cualquier caso trM 2.

Pero, como hemos se
nalado antes, existen en SL(2, R) matrices M (r), como en (1.58)
con r 2, cuyas trazas son
(1.69)

trM (r) = r 1/r < 2

y que, por lo tanto, no son de la forma eA .

No obstante, M (r) puede ser escrita como6
(
)
r 0
(1.71)
M (r) = 12
= e 2 eln(r) 3 ,
0 1/r
donde ambos factores en el miembro de la derecha son elementos del grupo SL(2, R),
puesto que son exponenciales de matrices reales y de traza nula.
Este resultado reeja el hecho de validez general de que todo elemento de un grupo de
Lie conexo no compacto puede ser representado como el producto de un n
umero nito
a menos de terminos de orden superior en M (t). Pero entonces,
[
]
dM (t)
d
d
(1.62)
ln det M (t) = tr M 1 (t)
tr ln M (t).
dt
dt
dt
Y como ln det M (0) = 0 = tr ln M (0), resulta que
(1.63)

ln det M = tr ln M.

6Esta matriz tambi

en puede ser escrita como una u
nica exponencial de la forma

(1.70)

M (r) = e 3 eln(r) 3 = e 3 + ln(r) 3 ,

pero en este caso el exponente no es una matriz real, y por lo tanto no es el producto de por un
elemento del
algebra de Lie de SL(2, R).

12

H. Falomir

(y peque
no) de elementos que yacen sobre subgrupos Abelianos unidimensionales. En
consecuencia, las matrices de una dada representacion del grupo pueden ser obtenidas
como producto de un n
umero nito de exponenciales de elementos en la correspondiente
representacion del algebra de Lie del grupo.
De ese modo, el conocimiento de una representacion matricial del algebra de Lie de
un grupo de Lie conexo permite reconstruir (mediante la aplicacion exponencial) la
correspondiente representacion matricial del grupo.
Ejemplo: El grupo de Heisenberg real.
Consideremos el conjunto H de matrices regulares de la forma

1 a b

(1.72)
M (a, b, c) := 0 1 c ,
0 0 1
donde a, b, c R. Resulta inmediato vericar que det M = 1, que la inversa de M (a, b, c)
esta dada por

(1.73)

1 a b + ac

M (a, b, c)1 := 0

y que ese conjunto es cerrado frente a la multiplicacion de matrices,

1 a + a b + b + ac

(1.74)
M (a, b, c)M (a , b , c ) = 0
1
c + c
,
0

operacion que en ese conjunto resulta no conmutativa.

Por lo tanto, H constituye un grupo de Lie no Abeliano no compacto de dimension 3.
A partir de la ec. (1.74) se ve que el centro de H, C(H), esta formado por las matrices
de la forma

(1.75)

1 0 b

M (0, b, 0) = 0 1 0 ,
0 0 1

con b R, lo que corresponde a un subgrupo de Lie Abeliano unidimensional invariante.

En consecuencia, el grupo de Heisenberg no es semi-simple.
El grupo cociente H/C(H) tiene por elementos a los cosets M (a, b, c) C(H), conjuntos
formados por los elementos de la forma

(1.76)

1 a b + b

M (a, b, c)M (0, b , 0) = 0 1

0 0

b R .


Algebras
y grupos de Lie

13

La operacion entre cosets esta denida por

(
) (
)
(
)
(1.77)
M (a, b, c) C(H) M (a , b , c ) C(H) := M (a, b, c)M (a , b , c ) C(H) .
El hecho de que

(1.78)

0 0 ac a c

]
M (a, b, c) , M (a , b , c ) = 0 0

0 0

muestra que M (a, b, c)M (a , b , c ) y M (a , b , c )M (a, b, c) pertenecen al mismo coset, de

modo que el grupo cociente H/C(H) es Abeliano.
Para determinar el algebra de Lie de este grupo debemos considerar matrices proximas
de la identidad, M = 13 + A, donde

A = 0 0

(1.79)

0 0

.
0

Esa matriz pertenece a un espacio lineal de dimension 3, cuyos generadores pueden ser
elegidos como

0 1 0

(1.80) X1 = 0 0 0 ,

0 0 0

X3 = 0 0 0 .

X2 = 0 0 1 ,

0 0 0

0 0 0

0 0 0

0 0 1

Los conmutadores entre estas matrices estan dados por

]
]
[
]
[
[
X2 , X3 = O ,
X1 , X 3 = O ,
(1.81)
X1 , X2 = X3 ,
de donde resulta que X3 es un elemento central del algebra de Lie7.
Teniendo en cuenta que

0 0

A2 = 0 0

(1.83)

0 0

0 ,

A3 = O ,

vemos que la serie que dene la aplicacion exponencial se reduce en este caso a solo tres
terminos,

(1.84)

exp { (X1 + X2 + X3 )} = 13 + 0 0
0 0

0 0

1
+ 0 0
2
0
0 0

0 .
0

7Comp
arese este resultado con el
algebra de conmutadores entre la coordenada y el impulso conjugado

de la Mec
anica Cu
antica,
(1.82)

]
Q, P = I .

La asociaci
on Q X1 , P X2 , I X3 es lo que justifica el nombre de este grupo.

14

H. Falomir

Comparando con la ec. (1.72), vemos que la aplicacion exponencial establece una
relacion biunvoca entre elementos del algebra de Lie y las matrices del grupo,
M (a, b, c) = exp { (X1 + X2 + X3 )} ,

(1.85)

con a = , c = y b = +

2 .

Evidentemente, X3 es el generador del centro C(H) (ver ec. (1.75)).

La propiedad (1.83) hace que en este caso la formula de Baker-Campbell-Hausdor
tambien se reduzca a un n
umero nito de terminos, pudiendose demostrar de inmediato
que para dos matrices A y B en el algebra de Lie se tiene que
1

eA eB = e(A+B) 2 [A,B] .

(1.86)

A partir de las relaciones (1.81) podemos obtener la representacion adjunta del algebra,

(1.87)

0 0 0

M1 = 0 0 1 ,
0 0 0

0 0 1

M2 = 0 0 0 ,

0 0 0

M3 = 0 0 0 ,
0 0 0

0 0 0

que evidentemente no es el y corresponde a una accion trivial de los elementos del

centro C(H) (todos ellos asociados a la matriz identidad).
Dado un n
umero real positivo ~, puede construirse una representacion lineal unitaria
mediante los operadores denidos sobre L2 (R) como
W [M (a, b, c)]f (x) := e~b e~cx f (x a) .

(1.88)
En efecto,

W [M (a, b, c)]W [M (a , b , c )]f (x) := e~(b+b ) e~cx e~c (xa) f (x a a ) =

(1.89)
= W [M (a + a , b + b + ac , c + c )]f (x) ,
mientras que
(1.90)

W [M (a, b, c)]f (x) 2 = f (x) 2 .

Puede demostrarse que para cada valor de ~ > 0 se obtiene de esta manera una
representacion irreducible del grupo de Heisenberg.
Notese que la accion de los operadores W [M (a, b, c)] consiste en una traslacion de
la funcion en una cantidad a, luego una traslaci
on de su transformada de Fourier en
una cantidad ~c, para nalmente multiplicar la funcion resultante por una constante de
modulo 1.
Las u
nicas representaciones matriciales unitarias de H son representaciones unidimensionales de su representacion adjunta, ec. (1.87), dadas por
(1.91)

wA,B [M (a, b, c)] v := e(Aa+Bc) v ,


Algebras
y grupos de Lie

15

para A, B R.
2.

Algebras de Lie de los grupos SU (2) y SO(3)

Consideremos la representaci
on fundamental del grupo SU (2). Sus elemento son matrices unitarias de determinante igual a 1. Siendo un grupo de Lie conexo compacto,
todos sus elementos pueden escribirse como exponenciales de vectores en el algebra de
Lie,
U = eA

U = eA = U 1 = eA A = A

(2.1)

ln det U = tr ln U = tr A = 0.
Por lo tanto, el algebra de Lie de SU (2) es el espacio vectorial de las matrices de 2 2,
autoadjuntas y de traza nula. Su dimension es 3 (igual a la dimension de SU (2)).
Una base conveniente para ese espacio esta compuesta por las matrices de Pauli,
(
)
(
)
(
)
0 1
0
1
0
(2.2)
1 =
, 2 =
, 3 =
,
1 0

0
0 1
que satisfacen
(2.3)

k = k , tr k = 0, i j = ij 12 + ijk k ,

donde el smbolo ijk es totalmente antisimetrico, con 123 = 1.

Suele tomarse como generadores a Xk = k /2 de modo que, por calculo directo, se
obtienen (para esa eleccion) las constantes de estructura8,
[ ]
k
j
i
(2.7)
,
Cij k = ijk .
= ijk
2 2
2
Cada elemento en el algebra de Lie (combinacion lineal de las k /2) genera un subgrupo Abeliano unidimensional. Tomemos un vector n
R3 , tal que ni ni = 1, y llamemos
8Los generadores en la representaci
on adjunta (ver (1.42)) de SU (2) son las matrices cuyos elementos

son (Mi )jk = Cij k = ijk ,

0
0 0
0

(2.4)
M1 = 0
0 1 , M2 = 0
0 1 0
1

0
0
0

0
, M3 = 1
0
0

1
0
0

0
,
0

las que tambien satisfacen

(2.5)

[Mi , Mj ] = ijk Mk .

Por otra parte, para esta elecci

on de generadores la forma de Killing se reduce a
(2.6)

gij = ikl jlk = 2 ij .

Como gij es positiva definida (y, por lo tanto, regular), SU (2) es semi-simple y compacto.

16

H. Falomir

= ni i . Su cuadrado es
(2.8)

1
1

2 = ni nj i j = ni nj {i , j } = ni nj 2ij 12 = (
n)2 12 = 12 .
2
2

Entonces, empleando el desarrollo en serie de la exponencial, resulta de inmediato que

las matrices en el subgrupo Abeliano generado por
son de la forma
(2.9)

U ( n
) = e

( )
( )

2 = cos
12 + sin

.
2
2

Estas son funciones periodicas de la variable , de perodo 4, para todo n

(es decir,
para toda recta que pasa por el origen del algebra de Lie), lo que reeja el hecho de que
SU (2) es compacto. En particular,

(2.10)

U (4 n
) = e

( )
4
2 = cos
12 = 12 = U (0 n
),
2

para todo n
.
En esas condiciones, podemos describir la variedad (simplemente conexa) del grupo
SU (2) como los puntos de una esfera de radio 2 en R3 , con todo su borde identicado
con el elemento 12 . En efecto,
(2.11)

U (2 n
) = e

( )
2
2 = cos
12 = 12 ,
2

para todo n
. En esta variedad, los subgrupos Abelianos unidimensionales corresponden
a diametros de la esfera (que son lneas cerradas, ya que conectan dos puntos sobre el
borde de la variedad).
El grupo SU (2)/Z2 , homomorfo a SU (2), tiene por elementos a los cosets U Z2
{+U, U }, con U SU (2). Dado que
(2.12)

U ( n
) = U (2(
n)) U ( n
) = U ((2 )(
n)) ,

vemos que la variedad del grupo SU (2)/Z2 puede ser descrita como una esfera de radio
en R3 , con los puntos diametralmente opuestos sobre su borde identicados entre s.
En efecto, las matrices correspondientes a puntos diametralmente opuestos pertenecen
al mismo coset,
(2.13)

U ( n
) = U (2 n
) U ( (
n)) = U ( (
n)),

y consecuentemente corresponden al mismo elemento de SU (2)/Z2 que, de ese modo,

resulta doblemente conexo.
Consideremos ahora el grupo SO(3), de matrices ortogonales de 33 de determinante
1. Siendo un grupo (doblemente) conexo compacto, todos sus elemento yacen sobre alg
un


Algebras
y grupos de Lie

17

subgrupo Abeliano unidimensional, y pueden ser representados como la exponencial de

veces un vector del algebra de Lie de este grupo. Si R = eA , entonces

Rt = eA = R1 = eA At = A
t

(2.14)
ln det R = tr ln R = tr A = 0.

Es decir, el agebra de Lie de SO(3) es el espacio vectorial de las matrices reales antisimetricas (y, en consecuencia, de traza nula) multiplicadas por . Se trata de un espacio
de dimension 3 (igual al n
umero de parametros independientes del grupo SO(3)), en el
que podemos adoptar como base el conjunto de matrices
(2.15)

X1 = 0

0 0

0 1 ,

0 0 1

X2 = 0 0

0 1 0

1 0

0 ,

0 1 0

X3 = 1 0 0 ,

0 0 0

(coincidentes con los generadores de SU (2) en la representacion adjunta!, ver (2.4)) de

modo que A = k Xk .
Las constantes de estructura de SO(3) correspondientes a esta eleccion de generadores
se obtienen facilmente por calculo directo de los conmutadores

(2.16)

[Xi , Xj ] = ijk Xk ,

de modo que tambien para este grupo resulta que

Cij k = ijk .

(2.17)

Estas constantes de estructura son identicas a las antes obtenidas para SU (2), de
modo que estos dos grupos son (localmente) isomorfos en un entorno de la identidad.
Entonces SU (2), simplemente conexo, es el grupo de cubrimiento universal de la
clase de grupos localmente isomorfos a la que pertenece SO(3).
Cada subgrupo Abeliano unidimensional de SO(3) contiene las matrices de la forma

= nk X , con n
R( n
) = e X , donde X
un vector unitario en R3 . Por ejemplo, para
k

18

H. Falomir

nk = k3 , es facil vericar que9

1 0 0

(X3 )2 = 0 1 0 , (X3 )3 = X3 .

(2.22)

0 0 0
Entonces,
(2.23)

R( e3 ) = e X3 = 13 + i sin() X3 + (cos() 1) (X3 )2 .

En particular, R(2 n
3 ) = 13 = R(0 n
3 ).
La matriz R( n
3 ) es una funcion periodica de de perodo 2, y lo mismo se verica
para R(
n) cualquiera que sea el vector unitario n
R3 . De ese modo, la variedad
del grupo SO(3) puede ser descrita como una esfera de radio en R3 , con los puntos
diametralmente opuestos sobre su borde identicados entre s. En efecto,
(2.24)

R( n
) = R(2 n
)R( (
n)) = R( (
n)),

siendo SO(3) doblemente conexo.

En resumen, SO(3) es localmente isomorfo a SU (2); pero mientras que este es simplemente conexo, el primer grupo de homotopa de aquel es
1 (SO(3)) Z2 1 (SU (2)/Z2 ) .

(2.25)

Dado que el centro de SU (2) es isomorfo a Z2 , SO(3) solo puede ser globalmente
isomorfo a SU (2)/Z2 .
En consecuencia, SO(3) es homomorfo a SU (2) por un homomorsmo de n
ucleo
{12 , 12 } Z2 . Las representaciones de SU (2) seran, en general, representaciones
proyectivas (bivaluadas) de SO(3). Solo aquellas para las cuales
(2.26)

D(U ) = D(U ), U SU (2) D(12 ) = 1r = D(12 )

son representaciones ordinarias de SO(3).

9Para una direcci
on general,

(2.18)

nk Xk =
n3
n2

n3

n2

n1

n1

(nk Xk )2 = 13 n
n
,

y teniendo en cuenta que

(2.19)

(nk Xk ) n
=0

vemos que, para l 0,

(2.20)

(nk Xk )0 = 13 ,

(nk Xk )2l+1 = (nk Xk ) ,

(nk Xk )2l+2 = (nk Xk )2 .

En consecuencia,
(2.21)

R( n
) = e nk Xk = 13 + i sin (nk Xk ) + (cos 1) (nk Xk )2 .


Algebras
y grupos de Lie

3.

19

Algebras de Lie de otros grupos de matrices

Las representacion fundamental de cada uno de los grupos de matrices que hemos
denido ofrece una representaci
on matricial (fiel) para el algebra de Lie de esos
grupos, a partir de la cual es posible deducir la operacion entre vectores del algebra de
manera similar a como fue hecho antes para SU (2) y SO(3). Para ello, representamos
elementos del grupo como M = eA y establecemos, en cada caso, las condiciones que
debe satisfacer la matriz A.
Por ejemplo, para GL(n, R), grupo lineal de matrices (regulares) reales de n n, A
toma valores en el espacio lineal de las matrices reales de n n. Una base de ese espacio
vectorial esta dada por las matrices cuyos elementos son todos nulos salvo uno, tomado
igual a 1:
(3.1)

Ekl := |k l| ek (
el , ) (Ekl )rs = kr ls ,

donde los ek , k = 1, 2, ..., n forman una base ortonormal de Rn , k|l (

ek , el ) = kl .
Existen n2 de tales matrices, que pueden ser tomadas como generadores. De ese modo,
el algebra de Lie de GL(n, R) (y, por lo tanto, tambien el grupo GL(n, R)) es de dimension
n2 .
Para determinar las constantes de estructura asociadas con esta eleccion de generadores hay que calcular sus conmutadores. Teniendo en cuenta que
(3.2)

Ekl Ers = |k l|r s| = lr |k s| ,

resulta de inmediato
(3.3)

[Ekl , Ers ] = lr Eks sk Erl .

Para obtener matrices de GL(n, C) sera necesario considerar combinaciones lineales

complejas de los Ekl . Pero como debemos describir a los grupos de Lie en terminos de
paramentros reales, mas bien debemos duplicar el n
umero de generadores introduciendo
= E , en lo que se conoce como la complexificanuevas matrices, denidas como Ekl
kl

ci
on del algebra de Lie de GL(n, R). En consecuencia, el grupo GL(n, C) tiene dimension
2n2 .
Para obtener el resto de las constantes de estructura, se deben calcular los conmutadores
] = + E E ,
[Ekl , Ers
sk rl
lr ks

(3.4)
, E ] = E + E .
[Ekl
lr ks
sk rl
rs

Si se trata del grupo SL(n, R), subgrupo unimodular de GL(n, R), sus elementos
son matrices reales de determinante 1. Entonces, si M = eA , ln det M = 0 implica que
A tiene traza nula, trA = 0.

20

H. Falomir

Los generadores de este grupo son combinaciones lineales de los generadores de GL(n, R)
con traza nula. Para k = l, trEkl = 0, pero trEkk = 1. Entonces se pueden mantener
los primeros, pero es necesario tomar combinaciones de los generadores diagonales que
tengan traza nula. Por ejemplo, se puede tomar como base del algebra de Lie de SL(n, R)
al conjunto de generadores
Ekl , k = l,
(3.5)
(Ekk Enn ) , k = 1, 2, ..., n 1,
lo que corresponde a una dimension dim SL(n, R)

n2 1. Similarmente,

dim SL(n, C) = 2(n2 1).

Para los grupos unitarios, con U = eA , la condicion U = U 1 implica A = A.
Es decir, el algebra de Lie de U (n) es el espacio vectorial de las matrices autoadjuntas
de n n. Sus generadores son combinaciones lineales autoadjuntas de las matrices Ekl .

Teniendo en cuenta que Ekl

= (|k l|) = |l k| = Elk , vemos que una eleccion posible

es
Mkl = Ekl + Elk , k l,
(3.6)
Nkl = (Ekl Elk ) , k > l,
de donde resulta que dim U (n) = (n + n(n 1)/2) + n(n 1)/2 = n2 . Las correspondientes constantes de estructura se calculan facilmente a partir de (3.3)10.
Para el grupo SU (n) se debe imponer ademas la condicion de que los generadores tengan traza nula, lo que requiere tomar, por ejemplo, las combinaciones de los generadores
diagonales Mkk Mnn , con k = 1, 2, ..., n 1. De ello resulta que dim U (n) = n2 1.
Para los grupos ortogonales, si R = eA , la condicion Rt = R1 implica At = A, de
donde resulta que el algebra de Lie de SO(n) es el espacio lineal de las matrices reales
10Por ejemplo, para el grupo U (2) tenemos

M11 = 0 + 3 ,

M22 = 0 3 ,

M21 = 1 ,

N21 = 2 ,

(3.7)

donde 0 = 12 . Pero tambien podemos tomar como base del

algebra de Lie de U (2) directamente a
0 , 1 , 2 , 3 , cuyos conmutadores son
[i , j ] = 2 ijk k ,
(3.8)
[i , 0 ] = 0, i = 1, 2, 3.
Esta
algebra se separa en dos sub
algebras que conmutan entre s, lo que refleja el hecho de que
U (2) = U (1) SU (2), de modo que el grupo no es semi-simple y su forma de Killing es singular:
g0 = tr{M0 M } = tr{O M } = 0, para = 0, 1, 2, 3.


Algebras
y grupos de Lie

21

y antisimetricas de n n, multiplicadas por (). Sus generadores pueden ser tomados

como
Nkl = (Ekl Elk ) , k > l,

(3.9)

de modo que dim SO(n) = n(n 1)/2. Las constantes de estructura se calculan tomando
los conmutadores de los generadores y empleando (3.3).
Finalmente, para el grupo Sp(2n, R), adoptando la metrica de Darboux
)
(
n

0
1n
=
(3.10)
g=
[Ek,k+n Ek+n,k ] ,
1n 0
k=1
la condicion Mt gM = g, con M = eA 12n + A, implica que
gA = At g = {gA}t ,

(3.11)

de modo que gA pertenece al espacio lineal de las matrices reales simetricas de dimension
2n. Una base de dicho espacio puede ser construida como
(3.12)

gXkl = Mkl = Ekl + Elk , k l = 1, 2, , 2n,

de modo que
Xkl = g {Ekl + Elk } =

{(Er,r+n Er+n,r ) (Ekl + Elk )} =

r=1

(3.13)

{r+n,k Er,l + r+n,l Er,k r,k Er+n,l r,l Er+n,k } =

r=1

= {Ekn,l + Eln,k Ek+n,l El+n,k } , k l = 1, 2, , 2n,

donde Ek,l = 0 si k < 0 o k > 2n. Notese que
(3.14)

trXkl = {kn,l + ln,k k+n,l l+n,k } = 0,

como corresponde al hecho de que las matrices de Sp (2n, R) tienen determinante 1.

Estas matrices generan un algebra de Lie de dimension
(3.15)

dim sp (2n, R) = 2n + 2n(2n 1)/2 = 2n2 + n = n(2n + 1),

cuyas constantes de estructura se eval

uan calculando los correspondientes conmutadores. Por otra parte, su complexicacion corresponde al algebra de Lie de Sp (2n, C), de
dimension 2n(2n + 1).
Ejemplo: Algebra de Lie del grupo SU (3).

22

H. Falomir

Una base para el espacio de las matrices de 3 3 autoadjuntas y de traza nula, de

dimension 32 1 = 8, esta formada por las matrices de Gell-Mann denidas por

0 1 0

1 := E12 + E21 = 1 0 0 ,

0 ,

(3.16)

0 ,

i 0

1 0 0

0 0 i

5 := (E13 E31 ) = 0 0

0 0 1

4 := E13 + E31 = 0 0 0 ,

3 := E11 E22 = 0 1 0 ,

2 := (E12 E21 ) = i

0 0 0

0 i 0

0 0 0

6 := E23 + E32 = 0 0 1 ,
0 1 0

0 0 0

7 := (E23 E32 ) = 0 0 i ,
0 i

8 :=

1
3

1
3

(E11 + E22 2E33 ) =

0

1
3

23

0
Los generadores del algebra suelen denirse como Tk =

k
2

, k = 1, 2, . . . , 8. Las corres-

pondientes constantes de estructura, que resultan ser completamente antisimetricas, se

obtienen calculando los conmutadores
[Ti , Tj ] = fijk Tk .

(3.17)
De ellos se obtiene que
f123 = 1 ,

f147 = f246 = f257 = f345 = 12 ,

(3.18)
f156 = f367 =

4.

1
2

f458 = f678 =

3
2

n invariante
Medida de integracio

Las relaciones de ortogonalidad para grupos de orden nito, as como la equivalencia

de toda representacion con una representacion unitaria, se demuestran haciendo uso de
la siguiente propiedad de las sumas sobre los elementos del grupo:
(4.1)

gG

(g h1 ) =

g G

(g ), h G.


Algebras
y grupos de Lie

23

Para sumas parciales, sobre subconjuntos de G, se tiene

(4.2)
(g h1 ) =
(g ), h G.
g Sh1 G

gSG

De existir una propiedad similar para el caso de los grupos continuos, las sumas
deberan ser consideradas como integrales sobre la variedad, con una medida de integraci
on que de cuenta de la densidad de elementos del grupo alrededor de cada punto,

1
(4.3)
d(g) (g h ) =
d(g ) (g ).
Sh1 G

SG

Pero, cambiando de variable de integraci

on en el miembro de la izquierda, g g h,
tambien resulta

d(g) (g h1 ) =

(4.4)
SG

Sh1 G

d(g h) (g ).

Las igualdades (4.3) y (4.4) deberan valer S G, h G, y para toda funcion

(g) denida sobre el grupo, de modo que la medida de integracion sobre la variedad
debera ser invariante por multiplicacion a derecha,
d(g h) = d(g), g, h G.

(4.5)

Es decir, para el caso de grupos continuos se podran demostrar propiedades similares

a las que valen para grupos de orden nito siempre que se pueda construir una medida
de integraci
on invariante por multiplicaci
on a derecha (que satisfaga (4.5)), tal
que su integral sobre la variedad del grupo sea convergente.
Esta invarianza de la medida reeja el hecho de que la multiplicacion a derecha por
h establece una relacion biunvoca (dada la existencia de h1 G) entre los elementos
de un entorno Ug de g y los de la imagen de ese entorno, Ugh .
En el caso de grupos de Lie, una vez establecidos sistemas de coordenadas locales
sobre la variedad del grupo, la medida de integracion en el punto g puede ser referida a
sus coordenadas ,
d(g) = () dn .

(4.6)

Entonces, la densidad de elementos () debe tener en cuenta la variacion que sufre

el volumen de Sg cuando se lo multiplica a derecha por h para obtener Sgh , y esa
variacion puede ser determinada a partir de la ley de composicion en el grupo.
En efecto, sea a un elemento proximo de la identidad, que tiene asignadas coordenadas

en un sistema para el cual las coordenadas de e son = 0 , y sea un segundo elemento

b de coordenadas . Las coordenadas del producto c = ab, = (, ), son funciones

analticas de , de modo que
(4.7)

)
(, ) 
+ O()2 .


=0

24

H. Falomir

En consecuencia, la relacion entre un volumen elemental alrededor de e y su imagen por

multiplicacion a derecha por b esta dada por


(
)

 n
(, ) 
n

 d ,
(4.8)
d = det



=0
(
)

donde det (,)
= 0 (ver (1.14)).


=0

Entonces, tomando g = b y h = b1 en (4.5) y (4.6), tenemos para una medida

invariante a derecha
d(b b1 ) = d(e) = d(b)
(4.9)
(0) dn

() dn



(
)

 n
(, ) 

 d ,
= () det



=0

de donde resulta que

(4.10)


1
(
)

() 
(, ) 
 .
= det


(0)

=0

Esta densidad de elementos, determinada a menos de una constante multiplicativa,

permite construir una medida de integracion invariante a derecha.
La integral de esta medida invariante sobre una region compacta de la variedad del
grupo de Lie considerado permite denir un volumen invariante a derecha para dicha
region. En particular, el volumen invariante a derecha de (toda) la variedad de un grupo
de Lie compacto es nito.
En todo grupo de Lie puede construirse de manera similar una medida de integraci
on invariante por multiplicaci
on a izquierda, que distinguimos de la anterior
introduciendo los subndices R o L seg
un el caso.
La densidad de elementos que aparece en la expresion de la medida invariante a
izquierda esta dada por
dL (b) = L () dn ,
(4.11)


1
(
)

L () 
(, ) 
 .
= det



L (0)

=0

En ambos casos suele denirse L (0) = 1 = R (0).

En principio, las medidas invariantes a derecha e izquierda son diferentes. Sin embargo, en ciertos casos (como el de los grupos de Lie compactos) resultan ser iguales.
Si trasladamos un volumen elemental tomado alrededor de e, primero por multiplicacion a derecha por b y luego por multiplicacion a izquierda por b1 , en general no se
vuelve a la region de partida, sino que su imagen tendra un volumen distorsionado por


Algebras
y grupos de Lie

25

un factor de amplicacion. En efecto,

dn = dR (e) = dR (e b) = R ()dn =
(
(4.12)
(

R ()
L ()

(
n

L ()d =

)
)
)
(
(
R ()
R ()
R () n (1)
dL (b1 b) =
dL (e) =
d ,
L ()
L ()
L ()

es decir,
(4.13)

)
R ()
dL (b) =
L ()

(
n (1)

)
L () n
d = f () dn .
R ()

Si sobre el elemento de volumen resultante se realizan nuevamente las traslaciones, a

derecha por b y a izquierda por b1 , el volumen resultante aparecera corregido por el
factor de amplicacion (f ())2 , y en general, tras realizar N veces esa operacion,
(4.14)

dn (N ) = (f ())N dn .

Pero, dada la asociatividad del producto en G, ese factor es tambien el que corresponde
a la traslacion a derecha por bN y a izquierda por bN .
Notese que para todo N nito, esa transformacion es inversible, siendo su inversa la multiplicacion a derecha por bN y a izquierda por bN , a la que evidentemente
corresponde el factor de amplicacion de volumen (f ())N .
Ahora bien, si f () > 1 entonces (f ())N resulta mayor que cualquier n
umero positivo
con solo tomar N sucientemente grande. Pero eso no es posible en un grupo de Lie
compacto, puesto que la transformacion ha de ser inversible para todo N y el volumen
de la variedad en ese caso es nito. En efecto, si f () > 1 en un abierto de volumen nito
sobre la variedad, el volumen de la region imagen superara al de la variedad toda con
solo tomar N sucientemente grande, y en ese caso la transformacion no sera biunvoca.
Con un razonamiento similar se muestra que f () no puede ser menor que 1. Por lo
tanto f () = 1, lo que implica la igualdad de las medidas invariantes a derecha
e izquierda para todo grupo de Lie compacto,
(4.15)

L () = R () dL (b) = dR (b), b G.

El volumen invariante de un grupo de Lie compacto se dene como la integral de

la medida invariante (tanto a izquierda como a derecha) sobre su variedad,

(4.16)
V [G] :=
d(g) < .
G

Estos resultados permiten mostrar, en particular, que toda representaci

on matricial de un grupo de Lie compacto es equivalente a una representaci
on
unitaria.

26

H. Falomir

5.

Medida invariante para los grupos SO(3) y SU (2)

Para calcular la medida de integracion invariante sobre el grupo SO(3), primero notemos que su variedad (una esfera maciza de radio en R3 con los puntos diametralmente
opuestos sobre su borde identicados entre s) es simetrica frente a rotaciones. Dos rotaciones en un mismo
angulo son conjugadas una de la otra, siendo el elemento que
las relaciona la rotacion que lleva el eje de rotacion de la primera a coincidir con el
de la segunda. De ese modo, la densidad de elementos de SO(3) alrededor de una
rotacion particular dependera del angulo de la rotacion, pero no de la direccion de su
eje de rotacion.
Entonces, sin perdida de generalidad, consideraremos la medida de integracion alrededor del elemento b R( e ) = e X3 . Para ello debemos trasladar por multiplicacion
3

a derecha por la matriz

cos

sin 0

R( e3 ) = e X3 = sin cos 0

(5.1)

elementos proximos de la identidad que tienen la forma

a S = e Xk = 3
1

2 1

(5.2)

2
1

+ O()2 .

Tenemos entonces

R = S R( e3 ) = e X3 +

(5.3)

3 sin

3 cos

3 cos

3 sin

1 sin + 2 cos 1 cos + 2 sin

+ O()2 ,


Algebras
y grupos de Lie

27

donde R tambien puede escribirse de la forma11

R = e (1 X1 + 2 X2 + (3 + ) X3 ) = e X3 +

(5.7)

3 sin

3 cos

3 cos

3 sin

( cos 1 )

1 sin 2

+ 2 sin

( cos 1 )

( cos 1 )

( cos 1 )

1 sin

2 sin

+O()2 .
Entonces, a menos de terminos de orden ()2 ,
3 = 3
(5.8)

2 sin /2

de donde resulta que

cos /2

sin /2

)(

sin /2 cos /2

)
=

)
,

2 = M () 2 ,

(5.9)

3
siendo

cos /2 sin /2

.
0

2 sin /2
0

En consecuencia, la densidad (), que solo depende del angulo , esta dada por el

(5.10)

M () =

sin /2
2 sin /2
0

Jacobiano de esa transformacion,



(5.11)
() = 


 4 sin2 (/2)
1
=
,
n.
det M () 
2

11T
engase en cuenta que, para nk nk = 1,

nk Xk = i
n3

(5.4)

n2

(5.5)

(nk Xk )2 =

cos /2

n3

n2

n1

n1

(n2 )2 + (n3 )2

n1 n2

n1 n3

n1 n2

(n1 )2 + (n3 )2

n2 n3

n1 n3

n2 n3

(n1 )2 + (n2 )2

y que
(5.6)

(nk Xk ) n
= 0 (nk Xk )3 = nk Xk .

= 13 n
n
,

28

H. Falomir

La medida invariante puede escribirse como

d[SO(3)] (R( n
)) = () 2 d d2 = 4 sin2 (/2) d d2 ,

(5.12)

donde d2 es el elemento de integracion sobre la esfera S2 .

El volumen invariante de este grupo es

V [SO(3)] =
(5.13)

= 16
0

4 sin2 (/2) d d2 =

S2

1 cos
d = 8 2 .
2

Para hallar la medida invariante para el grupo SU (2), tengamos en cuenta que SO(3)
SU (2)/Z2 , y que su variedad es una esfera en R3 de radio 2 con su borde identicado
con el elemento 12 .
Por lo tanto, para < la medida invariante de SU (2) coincide con la de SO(3),
siendo entonces solo funcion de . Pero como los elementos de SU (2)/Z2 son cosets de
la forma {U, U }, y estan en correspondencia biunvoca con los elementos de SO(3), la
medida de integracion alrededor de U ( n
) = U ((2 )(
n)) debe ser la misma que
alrededor de U ( n
). En consecuencia, para >
d(U ( n
)) = d(U ((2 )(
n))) =
( (
))2
2
= 4 sin
d d2 = 4 sin2 (/2) d d2 .
2

(5.14)

Por lo tanto, la medida de integracion invariante (tanto a izquierda como a derecha)

sobre el grupo SU (2) esta dada por
d[SU (2)] (U ( n
)) = 4 sin2 (/2) d d2 , 0 2,

(5.15)

y el volumen invariante de este grupo es

4 sin2 (/2) d d2 =

V [SU (2)] =
0

(5.16)

= 16
0

6.

S2

1 cos
d = 16 2 .
2

Representaciones unitarias irreducibles del grupo SU (2)

Como SU (2) es un grupo de Lie compacto, toda representacion matricial es equivalente a una representacion unitaria. Entonces, basta con considerar representaciones
matriciales del algebra de Lie de SU (2) cuyos generadores sean matrices autoadjuntas.


Algebras
y grupos de Lie

29

En efecto, si las matrices Jk satisfacen

Jk = Jk , k = 1, 2, 3,
(6.1)
[Ji , Jj ] = ijk Jk , i, j, k,
entonces las matrices de la representacion (obtenidas mediante la aplicacion exponencial)
son unitarias,
[

k
[D (U ( n
))] = e n Jk

k
= e n Jk =

(6.2)
k
e n Jk = [D (U ( n
))]1 , U ( n
) SU (2).

Por otra parte, el operador de Casimir12 J2 := (J1 )2 + (J2 )2 + (J3 )2 conmuta con
los generadores,
(6.5)

[ 2 ]
J , Jj = Ji [Ji , Jj ] + [Ji , Jj ] Ji = ijk (Ji Jk + Jk Ji ) = 0,

( )
por lo que J2 (= J2 ) conmuta con todos los elementos de la representacion matricial
considerada,
[
]
k
2 n Jk
J ,e
= 0, , n
.

(6.6)

En consecuencia, si se trata de una representacion irreducible, el Lema de Schur requiere

que sea proporcional a la matriz identidad,
J2 = 1,

(6.7)

donde el valor de ( 0 puesto que J2 es suma de cuadrados de matrices autoadjuntas)

caracteriza la representacion.
Se trata entonces de construir el espacio de representacion correspondiente a una
representacion unitaria irreducible, caracterizada por un autovalor de J2 que, por conveniencia, escribiremos como = j(j + 1), con j 0.
12Hendrik Casimir (1909 - 2000) ha mostrado que toda
algebra de Lie semi-simple posee un inva-

riante fundamental cuadr

atico dado por
(6.3)

K = g X X ,

donde g es la inversa de la forma de Killing. En efecto,

[K, X ] = g [X , X ] X + g X [X , X ] =
(6.4)
= C g g (X X + X X ) = 0,
dado que las constantes C son totalmente antisimetricas.
En el caso de SU (2), Cij k = ijk , de modo que gij = ikl jlk = 2ij g ij = 12 ij .

30

H. Falomir

Podemos elegir una base para ese espacio formada por autovectores simultaneos de
J2

y de J3 13,
J2 |j m = j(j + 1) |j m ,

(6.8)
J3 |j m = m |j m ,
que supondremos normalizados, j m |j m = m m (donde hemos empleado la notacion
de Dirac para vectores y formas lineales).
Tomando las combinaciones J = J1 J2 , las reglas de conmutacion (6.1) se reducen
a
[J3 , J ] = J ,
(6.9)
[J+ , J ] = 2J3 ,
mientras que por calculo directo resulta que
J J+ = J2 J3 (J3 + 1)
(6.10)
J+ J = J2 J3 (J3 1) .
Entonces,
J J+ |j m = {j(j + 1) m(m + 1)} |j m ,
(6.11)
J+ J |j m = {j(j + 1) m(m 1)} |j m .
Teniendo en cuenta que (J ) = J , las anteriores igualdades implican que
J+ |j m 2 = j m| J J+ |j m = (j m) (j + m + 1) 0,
(6.12)
J |j m 2 = j m| J+ J |j m = (j + m) (j m + 1) 0,
de donde
(6.13)

j 2 m2

)(

)
(j + 1)2 m2 0.

Esas desigualdades son satisfechas solo si j 2 m2 , es decir, si los autovalores de J3

(6.14)

j m j.

Por otra parte, de (6.9) resulta que

(6.15)

J3 (J |j m) = J (J3 1) |j m = (m 1)J |j m .

13El rango de un
algebra de Lie es el m
aximo n
umero de generadores que conmutan entre s. En el

caso del grupo SU (2) el rango es 1, de acuerdo a la ec. (6.1).


Algebras
y grupos de Lie

31

Por lo tanto, por aplicacion del operador J+ (J ) al vector |j m resulta un nuevo

autovector de J3 con autovalor aumentado (disminuido) en 1:
J+ |j m = {(j m) (j + m + 1)}1/2 |j (m + 1) ,
(6.16)
J |j m = {(j + m) (j m + 1)}1/2 |j (m 1) ,
donde los factores de proporcionalidad han sido jados de acuerdo con (6.12).
Pero como m no puede tomar valores superiores a j, debe existir un valor maximo
para el autovalor de J3 , j M j, tal que
J+ |j M = 0,

(6.17)
de modo que

J+ |j M 2 = (j M ) (j + M + 1) = 0
(6.18)
M = j.
A partir de ese vector, por aplicacion de J , se puede generar el resto de los vectores
de la base del espacio de la representacion,
(6.19)

(J )n |j M |j (M n) , con n N.

Pero este espacio es de dimensi

on finita (por tratarse de una representacion matricial) y, como hemos visto, los autovalores de J3 deben ser mayores que j. Esto signica
que ese proceso debe terminar para alg
un entero n 0, es decir,
(6.20)

J |j (M n) = 0.

Igualando la norma de este vector a cero,

(6.21)

J |j (M n) 2 = (j + M n) (j M + n + 1) = 0,

obtenemos M = j = n j. Es decir, j = n/2, con n Z+ .

En consecuencia, el espacio de la representacion unitaria irreducible de SU (2) caracterizada por el semientero j = n/2, con n = 0, 1, . . . , esta generado por los vectores
(6.22)

{|j m , m = j, j + 1, ..., j 1, j} ,

siendo su dimension n + 1 = 2j + 1.

32

H. Falomir

Referidos a esa base, los generadores tienen por elementos de matriz a

j m | J2 |j m = j(j + 1) m , m ,
j m | J3 |j m = m m , m ,
(6.23)
j m | J+ |j m = {(j m) (j + m + 1)}1/2 m , m+1 ,
j m | J |j m = {(j + m) (j m + 1)}1/2 m , m1 .

Por lo dicho anteriormente, vemos que es posible construir representaciones

irreducibles del grupo SU (2) de cualquier dimensi
on.
Para j = 0, la dimension del espacio de representacion es 2j + 1 = 1, las matrices que
representan a los generadores son todas nulas, y se obtiene la representacion trivial del
grupo.
Para j = 1/2, la dimension es 2j + 1 = 2, los generadores estan dados por

(6.24)

3
J =
4
2

0 1

1
, J3 =
2

(
, J+ =

0 1

0 0

)
,

es decir,
(6.25)

J1 =

1
1
1
1 , J2 = 2 , J3 = 3 ,
2
2
2

y se obtiene la representaci
on fundamental del grupo.
Para j = 1, la dimension es 2j + 1 = 3, J2 = 2 13 , y los generadores estan dados por

(6.26)

1 0

J3 = 0 0

0 , J+ = 0

0 0 1

2
0

0

2 ,

obteniendose una representaci

on equivalente a la adjunta14.
14En efecto,

(6.27)

J3 = A1 X3 A ,

1
con A =
1
2
0

0
0
1

1
.
0


Algebras
y grupos de Lie

33

En el caso general, J3 = diag(j, j 1, ..., j + 1, j). Entonces, la matriz que corresponde al elemento 12 SU (2) se expresa, por ejemplo, como
D(U (2
e3 )) = e2J3 =
(
)
= diag e2j , e2(j 1) , ..., e2(j 2j + 1) , e2(j 2j) =

(6.28)

= e2j 12j+1 .
En esas condiciones (ver (2.26)), las representaciones unitarias irreducibles de SU (2)
son representaciones ordinarias de SO(3) solo si e2j = 1, es decir, s
olo si j es
un entero: j = 0, 1, 2, ...
Por lo tanto, las representaciones irreducibles del grupo SO(3) son de dimensi
on impar.
Similarmente a lo que ocurre con el grupo de rotaciones, SO(3), se puede demostrar
que dos elementos de SU (2), U ( n ) y U ( n
), son conjugados si y solo si = ,
cualesquiera que sean los vectores unitarios n
, n
R3 .
Los caracteres de la representacion irreducible j (caracteres simples),
{
}
(6.29)
(j) () = tr D(j) (U ( n
)) ,
son una propiedad de cada clase de elementos conjugados en el grupo, de modo que
pueden ser calculados tomando n
en la direccion mas conveniente. Por ejemplo,
{
}

m
(j) () = tr eJ3 = jm=j em = ej 2j
m=0 e
(
)
1 e(2j + 1)
sin[(j + 1/2)]
j
.
=e
=
sin[/2]
1 e

(6.30)

Recurriendo a la medida de integracion invariante antes calculada se puede vericar

la ortogonalidad de los vectores de caracteres,

(
)
1
dSU (2) (j ) () (j) () =
V [SU (2)]
(6.31)

1
16 2
1

7.

4 sin2 [/2] d d2
0

d
0

sin[(j + 1/2)] sin[(j + 1/2)]

=
sin2 [/2]

}
1{
cos[(j j)] cos[(j + j + 1)] = j ,j .
2

n de Clebsh Producto directo de representaciones. Descomposicio

Gordan

Tomando el producto directo de dos representaciones unitarias irreducibles de SU (2),

D(j1 )

y D(j2 ) , se obtiene una nueva representacion, que puede a su vez descomponerse

34

H. Falomir

como suma directa de representaciones irreducibles,

D(j1 j2 ) := D(j1 ) D(j2 ) =

(7.1)

aj D(j) ,

donde aj Z+ .
Por

otra

(j1 j2 ) (),

parte,

los

caracteres

de

la

representacion

son el producto de los caracteres simples

(j1 j2 ) ()

(j1 ) ()(j2 ) ()

j1

(j1 ) ()

j2

em1

m1 =j1

producto

directo,

(j2 ) (),
em2 =

m2 =j2

(7.2)
j
1 +j2

em =

j
1 +j2

(j) ().

j=|j1 j2 |

j=|j1 j2 | m=j

Es decir, aj = 1 para |j1 j2 | j j1 + j2 , y aj = 0 en todo otro caso15.

El espacio de la representacion D(j1 j2 ) esta generado por los vectores
|j1 j2 m1 m2 := |j1 m1 |j2 m2 ,

(7.4)

pero los subespacios invariantes correspondientes a las representaciones irreducibles que

contiene estan generados por las combinaciones
(7.5)

j1

|j1 j2 ; j m =

j2

|j1 j2 m1 m2 j1 j2 m1 m2 |j1 j2 ; j m ,

m1 =j1 m2 =j2

donde los coecientes de la transformacion, j1 j2 m1 m2 |j1 j2 ; j m, son llamados coeficientes de Clebsh - Gordan (cuando los distintos vectores estan todos normalizados
a 1 y de modo tal que los coecientes sean reales).
15Este resultado puede obtenerse reordenando las sumas en (7.2), o bien empleando la ortogonalidad

de caracteres, ecuaci
on (6.31),
1
V [SU (2)]
=
(7.3)

d
0

dSU (2)

(
)
(j) () (j1 j2 ) () =

sin[(j + 1/2)] sin[(j1 + 1/2)] sin[(j2 + 1/2)]

=
sin[/2]

1, para |j1 j2 | j j1 + j2
=

0, para j < |j j | o j > j + j

1
2
1
2


Algebras
y grupos de Lie

35

Referidas a esa base, las matrices de la representacion D(j1 j2 ) son llevadas a la forma
diagonal en bloques

D(j1 j2 )

(7.6)

D(j1 +j2 )

D(j1 +j2 1)

... ...

...

... ...

...

...

... ...

...

... D(|j1 j2 |)

Notese que
j
1 +j2

(7.7)

(2j + 1) = (2j1 + 1)(2j2 + 1).

j=|j1 j2 |

Si consideramos elementos cerca de la identidad del grupo,

(j1 j2 )

D(j1 j2 ) = 1(j1 j2 ) + k Jk
(7.8)

+ O()2 =

{
} {
}
(j )
(j )
= 1(j1 ) + k Jk 1 + O()2 1(j2 ) + k Jk 2 + O()2 =
{
}
(j )
(j )
= 1(j1 ) 1(j2 ) + k Jk 1 1(j2 ) + 1(j1 ) Jk 2 + O()2 .

Pero tambien
D(j1 j2 ) =
(7.9)
=

{
}
(j) + k J (j) + O()2 =
1
k
j=|j1 j2 |

j1 +j2

j1 +j2

(j)
j=|j1 j2 | 1

+ k

j1 +j2

(j)
j=|j1 j2 | Jk

+ O()2 ,

de donde resulta que

(j1 j2 )

Jk

(j1 )

= Jk

(7.10)
=

para k = 1, 2, 3.

(j2 )

1(j2 ) + 1(j1 ) Jk

j1 +j2

(j)
j=|j1 j2 | Jk ,

36

H. Falomir

Entonces, aplicado a los vectores de la base (7.5),

(j1 j2 )

Jk
=

(j )
j1 +j2
j =|j1 j2 | Jk

|j1 j2 ; j m =
(j)

|j1 j2 ; j m = Jk |j1 j2 ; j m =

{
}
(j )
(j )
= Jk 1 1(j2 ) + 1(j1 ) Jk 2 |j1 j2 ; j m =

(7.11)

j1

j2

j1 j2 m1 m2 |j1 j2 ; j m

m1 =j1 m2 =j2

{
}
(j )
(j )
Jk 1 |j1 m1 |j2 m2 + |j1 m1 Jk 2 |j2 m2 .

En particular,

(j1 j2 )

J3

|j1 j2 ; j m =

(j)

= J3 |j1 j2 ; j m = m |j1 j2 ; j m =
j1

=
(7.12)

j2

j1 j2 m1 m2 |j1 j2 ; j m

m1 =j1 m2 =j2

{
}
(j )
(j )
J3 1 |j1 m1 |j2 m2 + |j1 m1 J3 2 |j2 m2 =

j1

j2

m1 =j1 m2 =j2

(m1 + m2 ) |j1 j2 m1 m2 j1 j2 m1 m2 |j1 j2 ; j m ,


Algebras
y grupos de Lie

37

y
(j j2 )

J 1

|j1 j2 ; j m =

(j)

= J |j1 j2 ; j m = [(j + m)(j m + 1)]1/2 |j1 j2 ; j (m 1) =

j1

j2

j1 j2 m1 m2 |j1 j2 ; j m

m1 =j1 m2 =j2

{
}
(j )
(j )
J 1 |j1 m1 |j2 m2 + |j1 m1 J 2 |j2 m2 =

(7.13)

j1

j2

j1 j2 m1 m2 |j1 j2 ; j m

m1 =j1 m2 =j2

{
[(j1 + m1 )(j1 m1 + 1)]1/2 |j1 (m1 1) |j2 m2
}
+ [(j2 + m2 )(j2 m2 + 1)]1/2 |j1 m1 |j2 (m2 1) .

Consideremos el caso j1 = 1/2 = j2 . De lo anterior sabemos que el producto directo

de esas dos representaciones se descompone en la suma directa de las representaciones
con j = 0, 1, y que los generadores pueden expresarse como
(1/21/2)

(7.14)

Jk

(1/2)

= Jk

(1/2)

12 + 12 Jk

(1)

(0)

= Jk Jk .

Notemos que
(
(7.15)

(1/21/2)
J3
|1/2

1/2 |1/2 1/2 =

1 1
+
2 2

)
|1/2 1/2 |1/2 1/2 ,

y que ese es el u
nico vector del espacio de la representacion (1/2 1/2) con autovalor
m = 1, por lo que necesariamente
|1/2 1/2; 1 1 = |1/2 1/2 |1/2 1/2 .

(7.16)

(1/21/2)

Por aplicacion de J

sobre ese vector se puede generar el resto de la base

correspondiente a la representacion irreducible j = 1:

(1/21/2)

J
(7.17)

|1/2 1/2; 1 1 = [(1 + 1)(1 1 + 1)]1/2 |1/2 1/2; 1 0 =

[(1/2 + 1/2)(1/2 1/2 + 1)]1/2 |1/2 (1/2 1) |1/2 1/2

+ [(1/2 + 1/2)(1/2 1/2 + 1)]1/2 |1/2 1/2 |1/2 (1/2 1) ,

38

H. Falomir

es decir
|1/2 1/2; 1 0 =
(7.18)

1
= {|1/2 1/2) |1/2 1/2 + |1/2 1/2 |1/2 1/2} .
2

Similarmente,
(1/21/2)

J
(7.19)

|1/2 1/2; 1 0 = [(1 + 0)(1 0 + 1)]1/2 |1/2 1/2; 1 1 =

2
[(1/2 + 1/2)(1/2 1/2 + 1)]1/2 |1/2 1/2 |1/2 1/2 ,
2

es decir,
|1/2 1/2; 1 1 = |1/2 1/2 |1/2 1/2 .

(7.20)

Ahora bien, el vector que genera el espacio (unidimensional) de la representacion

irreducible j = 0 debe ser ortogonal a los anteriores, y corresponder al autovalor m = 0
(1/21/2)

de J3

, por lo que (una vez normalizado) necesariamente es

|1/2 1/2; 0 0 =

(7.21)

1
= {|1/2 1/2) |1/2 1/2 |1/2 1/2 |1/2 1/2} .
2

De las igualdades (7.16), (7.18), (7.20) y (7.21) resulta inmediato determinar los coecientes de Clebsh - Gordan:

1/2 1/2 1/2 1/2|1/2 1/2; 1 1 = 1,

1/2 1/2 (1/2) (1/2)|1/2 1/2; 1 0 = 1/ 2,

(7.22)

1/2 1/2 (1/2) (1/2)|1/2 1/2; 1 (1) = 1,

1/2 1/2 (1/2) (1/2)|1/2 1/2; 0 0 = 1/2,

con los demas coecientes nulos.
El producto directo de las representaciones j1 = 1 y j2 = 1/2 se descompone en la
suma directa de las representaciones irreducibles j = 3/2, 1/2. Sus generadores pueden
expresarse como
(7.23)

(11/2)

Jk

(1)

(1/2)

= Jk 12 + 13 Jk

(3/2)

= Jk

(1/2)

Jk

.
(11/2)

El (
unico) vector correspondiente al maximo autovalor posible de J3
es
(7.24)

|1 1/2; 3/2 3/2 = |1 1 |1/2 1/2 ,

, m = 3/2,


Algebras
y grupos de Lie

39
(11/2)

y a partir de el, aplicacndo reiteradamente el operador J

, se obtienen los demas

vectores de la base del espacio de la representacion j = 3/2:

|1 1/2; 3/2 1/2 =
}
1 {
=
2 |1 0 |1/2 1/2 + |1 1 |1/2 1/2 ,
3
|1 1/2; 3/2 1/2 =

(7.25)

}
1 {
2 |1 0 |1/2 1/2 + |1 1 |1/2 1/2 ,
=
3
|1 1/2; 3/2 3/2 = |1 1 |1/2 1/2 .
Ahora bien, existen en el espacio producto directo dos vectores linealmente indepen(11/2)

dientes que corresponden al mismo autovalor m = 1/2 de J3

. Una combinacion

lineal particular de ellos da el vector |1 1/2; 3/2 1/2 de (7.25), mientras que una combinacion ortogonal a ella debe ser proporcional al vector de maximo m (= 1/2) de la
representacion j = 1/2,
|1 1/2; 1/2 1/2 =
(7.26)

1 {
= |1 0 |1/2 1/2 2 |1 1 |1/2 1/2 .
3
(11/2)

Por aplicacion de J

se completa la base,
|1 1/2; 1/2 1/2 =

(7.27)

1 {
= |1 0 |1/2 1/2 2 |1 1 |1/2 1/2 ,
3

y de (7.24), (7.25), (7.26) y (7.27) se determinan los coecientes de Clebsh - Gordan

para este producto directo de representaciones.

8.

n de las a
lgebras de Lie simples
Clasificacio

Un subespacio F del algebra de Lie asociada a un grupo de Lie G, F G, constituye una sub
algebra de Lie si [Y1 , Y2 ] F para todo Y1 , Y2 F. Esta subalgebra
corresponde a un subgrupo de Lie H G.
El subgrupo H es invariante si ademas [X, Y ] F para todo X G y para todo
Y F . En ese caso se dice que el subespacio F es un ideal.

40

H. Falomir

Un algebra de Lie G se dice simple si tiene dimension dim G 2 y no contiene ideales

propios (distintos de G y de {0})16.
Un algebra de Lie G se dice semi-simple si es la suma directa de algebras de Lie
simples17.
Cartan (1869 - 1951) ha dado una clasicacion completa de las algebras de Lie
Elie
simples empleando las propiedades de su representacion adjunta.
Definici
on 8.1. El rango r < n de un algebra de Lie semi-simple de dimension n es el
maximo n
umero de vectores linealmente independientes de ese espacio que pueden ser
seleccionados de modo que conmuten entre s.
Un conjunto de r de tales vectores genera una sub
algebra abeliana del algebra de
Lie, llamada sub
algebra de Cartan,
(8.1)

[Hi , Hj ] = 0 ,

para i, j = 1, 2, . . . , r .

En esas condiciones, Cartan ha demostrado que siempre es posible seleccionar un conjunto de n r combinaciones lineales (en general complejas) de generadores linealmente
independientes de los anteriores, E , de modo que ellas resulten ser vectores propios
simult
aneos de las operaciones de conmutacion con los Hi ,
(8.2)

[Hi , E ] = i E ,

i = 1, 2, . . . , r ,

correspondientes a autovalores i no todos nulos. Ademas, siempre es posible

elegir los generadores Hi de manera tal que esos autovalores sean reales.
De ese modo, el conjunto de los r autovalores i correspondientes al generador E
forman un vector de un espacio real r-dimensional,
Rr , llamado raz correspondiente
a E . Similarmente, de (8.1) podemos decir que los generadores Hi corresponden a races
nulas.
Cartan ha demostrado que las races son no degeneradas, a excepcion de la raz
nula. Ademas, si
es una raz, entonces
tambien lo es.
(
)

Mas generalmente, para dos races

y cualesquiera resulta que 2
/ (

) =
(
)
(
)
(
)
n Z y que n
es tambien raz. En particular, si
> 0 2
=
(
)
n (

) = m , con n, m N, lo que condiciona los angulos entre races y la

16Un
algebra de Lie simple corresponde a un grupo de Lie simple, es decir, un grupo que no

contiene subgrupos de Lie propios invariantes.

17Un
algebra de Lie semi-simple corresponde a un grupo de Lie que es producto directo de grupos
de Lie simples. En particular, un grupo de Lie semi-simple no contiene subgrupos de Lie invariantes
abelianos.


Algebras
y grupos de Lie

41

relacion entre sus longitudes. En efecto,

(

)2

nm
(
)=
cos ( ) =
,
4
(

)
2

(8.3)

)

n
=
.
(

)
m

Por otra parte, de la identidad de Jacobi resulta que

[

[
]] [
[
]] [
]
Hi , E , E = E , Hi , E + [Hi , E ] , E =

(8.4)

[
]
= (i + i ) E , E ,

de modo que pueden presentarse dos situaciones:

(
)
[
]

Si
+ es una raz, entonces E , E E+
el
. En particular, para =
conmutador [E , E ] esta contenido en la subalgebra de Cartan.
(
)
[
]
Si
+ no es una raz, entonces E , E = 0.

Para esta eleccion de generadores, las constantes de estructura satisfacen las relaciones
Cij k = Cij = Cij = 0 ,

Ci = i ,
(8.5)

+ C i = 0 ,

)

C = 0 .

Se puede mostrar que las u

nicas componentes no nulas de la forma de Killing son
g()

= g(
)
y
(8.6)

gij =

i j (gij ) =

Normalizando adecuadamente los generadores podemos ademas jar g(

)
= 1.
Como el algebra de Lie considerada es semi-simple, det (g ) = 0 det (gij ) = 0, de
donde resulta que las races
generan el espacio eucldeo Rr .

42

H. Falomir

En esas condiciones, el algebra de Lie semi-simple queda descrita por los conmutadores
de los generadores de la base est
andar de Cartan,

[Hi , Hj ] = 0 , i, j = 1, 2, . . . , r ,

[Hi , E ] = i E , i = 1, 2, . . . , r ,
(8.7)

[E , E ] = i Hi ,
,

[E , E ] = N E ,

donde i = g ij j y N es cierta constante.

Se dice que la raz
es positiva si la primera componente no nula de ese vector es
positiva. Eso introduce un ordenamiento entre races de modo que
> si el vector
(
)

es positivo.
Una raz positiva se dice simple si ella no puede expresarse como suma de dos races
positivas. Un algebra de rango r tiene r races simples linealmente independientes.
Es posible demostrar que las races
de un
algebra de Lie simple pueden ser obtenidas
a partir del conjunto de r races simples por aplicacion de un grupo de orden nito de
transformaciones discretas llamado grupo de Weyl (Hermann Weyl, 1885 - 1955) del
algebra.
Por su parte, esas races simples satisfacen un conjunto de restricciones que hacen que
solo puedan tener dos longitudes distintas y formar entre s ciertos angulos particulares:
1
2
3
2 , 3 , 4

o 56 . De acuerdo a esas caractersticas es posible clasicar las algebras simples

en cuatro series innitas, correspondientes a los grupos SU (r + 1), con r 1, SO(2r +

1), con r 2, Sp(2r), con r 3, y SO(2r), con r 4, ademas de cinco
algebras
excepcionales no incluidas en las anteriores series, llamadas F4 , G2 , E6 , E7 , E8 , donde
el subndice indica el rango.
Esas algebras simples pueden ser puestas en correspondencia biunvoca con los llamados diagramas de Dynkin (Eugene Dynkin, 1924 - ), diagramas conexos en los cuales
las races simples son representadas por vertices (peque
nos crculos llenos o vacos seg
un
corresponda a las de longitud mayor o menor) unidos por 0,1,2 o 3 lneas seg
un sea que
entre ellas formen un angulo de 12 , 32 , 34 o 56 respectivamente. Para mas detalles, ver
la bibliografa sugerida.

Bibliografa:
H. Bacry, Lecons sur la Theorie des Groupes et les Symmetries des Particules
Elementaires.


Algebras
y grupos de Lie

R. Gilmore, Lie Groups, Lie Algebras and Some of Their Applications.

http://www.smat.sica.unlp.edu.ar/falomir/notas-metodos.html

43