Teora del Grupo de Lorentz

s Dura
n Barraza
Mateo Andre
Universidad Nacional de Colombia
Departamento de Fsica

El grupo de Lorentz se define como el grupo de transformaciones lineales de coordenadas[1] que

cumple con:
7 0 = , donde , {0, 1, 2, 3}, = (t, x, y, z),
Y dejan invariante la cantidad:
= g = t2 + x2 + y 2 + z 2
Es por tanto isomorfo al grupo SO(1,3). Escribiendo lo anterior en lenguaje matricial obtenemos:
g 0 0 = g ( )( ) = g

g = g = (T ) g ( ) g = T g

Por convenci
on llamaremos a g, entonces queda de la forma:
= T
Donde es:
-1 0 0 0
0 1 0 0
=
0

0 1 0
0 0 0 1
Este es el tensor metrico de Minkoswki. Antes de profundizar mas en la tematica quiero hacer
enfasis en porque el grupo de Lorentz es un grupo como tal y no un conjunto. Un conjunto, llega a
la categora de grupo[2] si cumple con las siguientes propiedades:
1. Cerrado: Dados dos elemento que pertenecen al conjunto, su producto tambien pertenece al
conjunto ( a, b F , luego a b F )
2. Identidad: Existe un elemento que pertenece al conjunto tal que su producto por otro elemento
da el mismo elemento ( e F y a F , tal que e a = a)
3. Inverso: Para todo elemento a existe un elemento a1 tal que su producto es igual a la
identidad ( a F y a1 F tal que a a1 = e)
4. Asociatividad: Dado el producto de dos o mas elementos, el orden en que se efect uen las
operaciones no afecta el resultado ( a, b, c F entonces (a b) c = a (b c))
Como ejemplo, se demuestra la primera propiedad para el grupo de Lorentz:
Sea 3 = 1 2 entonces T3 3 = (1 2 )T (1 2 ) = T2 (T1 1 )2 = T2 2 =
maduranb@unal.edu.co

1
 Teora del Grupo de Lorentz Octubre 2016 Relatividad Especial

El grupo de Lorentz al igual que muchos otros grupos, tiene caractersticas en si mismo que lo
permiten clasificar, estas caractersticas se pueden escoger arbitrariamente pero por convencion se
escogieron las siguientes. Se aplica el determinante a la matriz y obtenemos:
Det[]=Det[T ]=Det[T ]Det[]Det[]=(Det[])2 Det[]
Por lo tanto (Det[])2 = 1, este resultado da lugar a dos clases de transformaciones:
(
+1, Transformaciones propias
Det[] =
1, Transformaciones inpropias

Este es el primer caso en el que se pueden clasificar los grupos de Lorentz. El segundo caso viene
de hacer el producto de las 3 matrices y observar a que corresponde la componente (0, 0) de :
0
0 10 20 30
0
0 01 02 03

-1 0 0 0
01 1
0 1 0 0 02

= 2 0

0 0 1 0 0
03 0 0 0 1 30

Los se usan para simplificar la cantidad de componentes. Al fijarnos en al primera componente de

hallamos la igualdad:
P3
1 = (00 )2 + (10 )2 + (20 )2 + (30 )2 = (00 )2 + i=1 (i0 )2
Con esto anterior se pueden clasificar el grupo de Lorentz en otros dos categoras mas:
s
3
(i0 )2 1
P
+ 1 + , Transformaciones ortocronas



0 i=1
0 = s
3
1 + P (i )2 1 , Transformaciones anti-ortocronas


0
i=1

En total el grupo de Lorentz se puede clasificar en 4 tipos: 1.)Propias ortocronas, para estas en
especfico, sus elementos son transformaciones continuas que se pueden conectar con la identidad
mediante sucesivas transformaciones infinitesimales. 2.)Propias anti-ortocronas. 3.) Impropias or-
tocronas. 4.) Impropias anti-ortocronas. Los boost de Lorentz hacen parte de la categora propias
ortocronas, ilustrare un ejemplo sencillo[3] de este tipo en una dimension, para simplificar el ejemplo
se tomar a v = 0 (velocidad relativa entre los dos marcos de referencia):
0
t v 0 0 t 1 0 0 0 t
x0 v 0 0 x 0 1 0 0 x
0 =
y 0 0 1 0 y 0 0 1 0 y
z0 0 0 0 1 z 0 0 0 1 z

Evidentemente, el determinante del boost es 1 por lo tanto es una transformacion propia. Los i0
son todos cero ya que es la matriz identidad y de salida sabemos que la componente 00 es 1, por el
argumento anterior la transformaci on es ortocrona.

Ahora vamos a introducir el concepto de grupos y algebras de Lie que son fundamentales para
la comprensi
on de los grupos de Lorentz. Los grupos de Lie[4] son grupos continuos y diferenciables
alrededor de un conjunto de parametros reales n , n = 1, 2, 3, ..., N tales que:

2
 Teora del Grupo de Lorentz Octubre 2016 Relatividad Especial

1. El elemento neutro es g(0) = e

2. El elemento inverso g 1 () = g()

un cercano a la identidad, g() = e in Tk , donde Tk = i g(

3. Para alg n)
n es un generador.

3
P
i Tk k
4. Cada elemento del grupo se puede parametrizar como g() = e k=1 .

Antes de proseguir con el

algebra de Lie se dara una definicion un poco somera de lo que respecta a
algebra en cuanto a grupos. Sea Mn (K) un espacio vectorial de las matrices de orden n x n sobre un

cuerpo K, hay estructuras algebraicas son propias de cada uno, estas son las algebras de los grupos.
Supongamos que tenemos A B C Mn (K), algunos tipos de algebras que podemos representar
son:

1. Distributiva: A(B + C) = AB + AC

2. Asociativa: A(BC) = (AB)C

3. Conmutativa: AB = BA

El
algebra[5] de Lie tiene las siguientes caractersticas:

[,]=g xg g

(x, y) 7 [x, y]

Esto significa que dado el producto de dos elementos del algebra[6] dan paso a un tercer elemento
del
algebra:

[Xj , Xk ] = if jkl Xl

Donde f jkl son las constantes de estructura del grupo. Los generador Tk satisfacen el algebra de
Lie. Tambien est
a el
algebra de Lie que va con el grupo de rotacion SO(n):

[Li , Lj ] = i~jkl Ll

Donde L es el operador momento angular y jkl es el Levi-Civita. Siguiendo con el algebra de Lie,
on infinitesimal = +  , luego:
ahora supondremos una rotaci

g = g = g ( +  )( +  ) = g +  +  + O(2 )

 = 

Es decir,  es antisimetrico y tienes 6 parametros independientes, esto se vea venir ya que hay 3
rotaciones y 3 boost, una para cada dimension. Para facilitar el entendimiento del calculo[7] siguiente
hemos de tomar la notaci on f ( ) para representar las transformaciones, entonces tenemos:

f ( ) 7 f (0 ) = f ( +  ) f ( ) +  f ) +

= f ( ) + 21  [ ]f () +

Ahora introducimos el operador M para simplificar:

f (0 ) = f () 2i  M f () +

3
 Teora del Grupo de Lorentz Octubre 2016 Relatividad Especial

Luego:

M = i( )

El generador M es tambien llamado el operador de Lorentz. Si aplicamos el algebra de Lie a Mij

y Mkl . es decir [Mij , Mkl ] obtenemos la siguiente relacion:

Mij = jkl Jk M0i = Ki

Reescribiendo J obtenemos:

Ji = 21 jkl Mjk

Donde J y K tambien cumplen con el algebra de Lie, J es el generador de rotaciones en el espacio

tridimensional y K es el generador del boost.

[Ji , Jj ] = ijkl Jk (1)

[Ji , Kj ] = ijkl Kk (2)

[Ki , Kj ] = ijkl Jk (3)
He de recalcar lo intrigante de ver como dos boost generan una rotacion (3). La primera igualdad
dice que los J generan rotaciones en el espacio tridimensional, el segundo dice que los K transforman
como un vector bajo rotaciones y el tercero completa el grupo de Lorentz[8]. Si suponemos la rotacion
y boost en una dimensi on entonces obtenemos explicitamente:

0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 1 0 0 -1 0
J1 =
0
J2 = J3 =
0 0 -1 0 0 0 0 0 1 0 0
0 0 1 0 0 -1 0 0 0 0 0 0

0 -1 0 0 0 0 -1 0 0 0 0 -1
-1 0 0 0 0 0 0 0 0 0 0 0
K1 =
0
K2 = K3 =
0 0 0 -1 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 -1 0 0 0

Una rotaci
on tpica es:
1 0 0 0
0 1 0 0
= exp(J1 ) =
0

0 cos -sen
0 0 sen cos
Un boost tpico donde cosh = y tanh = v es:

cosh -senh 0 0
-senh cos 0 0
= exp(K1 ) = 0

0 1 0
0 0 0 1

Retomando (1), (2) y (3), introducimos una nueva combinacion lineal:

4
 Teora del Grupo de Lorentz Octubre 2016 Relatividad Especial

Ni = 12 (Ji + iKi )
+
Aunque no es hermitiano (Ni 6= Ni ) cumple con el algebra de Lie:
[Ni , Nj ] = ijkl Nk
+
[Ni , Nj ] = 0
+ + +
[Ni , Nj ] = ijkl Nk
Con esto anterior hemos hallado dos operadores de Casimir[9], un operador de Casimir es un
operador que conmuta con todos los generadores. Para este caso en particular:
Ni Ni con eigenvalores n(n + 1)
+ +
Ni Ni con eigenvalores m(m + 1)

Donde m, n = 0, 12 , 1, 32 , ..., si m y n son enteros se les llama una representacion tensorial y si son
semienteros se les conoce por representacion espinorial. Las bases de las representaciones anteriores
se les conoce como Tensores y Espinores:
(A.) Tensor: Base que transforma a traves de una representacion tensorial del grupo de Lorentz
ante el cambio entre observadores inerciales.
(B.) Espinor: Base que transforma a traves de una representacion espinorial del grupo de Lorentz
ante el cambio entre observadores inerciales.
As, cualquier representaci
on del grupo de Lorentz cae en alguna de estas dos categoras. Solo por
esta vez nos enfocaremos en los espinores. Estas representaciones van entendidas por el par (m, n),
como ejemplos tenemos:
(a.) (0, 0) con spin 0, es la representacion escalar.
(b.) ( 21 , 0) con spin 1
2 representa el espinor derecho R .
(c.) (0, 21 ) con spin 1
2 representa el espinor izquierdo L .
El caso (b.) y (c.) son llamados espinores de Weyl, un ejemplo claro de estos sucede a nivel nuclear,
la fuerza de interaccion debil distingue si un fermion es derecho o izquierdo. Si combinamos las
representaciones esponiarles de Weyl ( 12 , 0) (0, 21 ) se genera una base de la forma:
 
L
D =
R

Que corresponde al espinor de Dirac, estos en la mecanica cuantica describen fermiones de spin
1
2 por ejemplo los electrones, son part culas con carga electrica no nula que se describen por un
espinor de Dirac. Si multiplicamos el espinor derecho por el izquierdo obtenemos una representa-
on de 1 spin con cuatro componentes, es decir ( 21 , 0) (0, 12 ) = ( 21 , 12 ), este es un tensor de rango
ci
uno que se conoce como cuadri-vector. Tambien podemos multiplicar dos espinores iguales tales
como ( 12 , 0) ( 12 , 0) = (0, 0) (1, 0) donde (0,0) como ya sabemos es la representacion escalar sin
embargo la representaci on (1,0) describe tensores antisimetricos de rango dos como el del campo
electromagnetico. Por u ltimo, se tiene una representacion tipo (1,1) que son tensores simetricos de
rango dos, estos permiten describir te oricamente la partcula que media la fuerza de la gravedad: el
gravit
on.

5
 Teora del Grupo de Lorentz Octubre 2016 Relatividad Especial

Glosario

Conjunto(general): Colecci
on de elementos que comparten al menos una caracterstica en com
un.

Generador(grupos)[10]: Sea S un subgrupo del grupo G tal que que todo elemento de G puede
ser expresado como el producto de un n
umero finito de elementos de S y de sus inversos.
Isomorfismo: Un morfismo que admite un inverso.
Morfismo: Sean A y A0 dos algebras sobre un cuerpo K. Una aplicacion f : A A0 es un morfismo
de algebras si f es una aplicaci
on lineal y se verifica f (xy) = f (x)f (y), para un algebra de Lie
f ([x, y]) = [f (x), f (y)].
Operador: Smbolo matem atico que ndica que debe ser llevado a cabo una accion u operacion
sobre alg
un operando ya sea un numero, vector, funcion etc.
SO(n): Special Orthogonal Group. Es el grupo cuyos elementos son matrices n x n las tiene la
caracterstica de ser ortogonales y cuyo determinante es 1.
SU(n)[11]: Special U nitary Group. Es el grupo de Lie de n x n matrices unitarias con determi-
nante 1.

Referencias
[1] Universidad de Granada. Teora Cuantica de Campos. Ignacio Jose, Jose Santiago. 2013.
[2] University of Chicago. Group Theory and the SO(3,1) Lorentz Group. Meehan Samuel. 2009.
[3] Universidad de M
alaga. El Grupo de Lorentz. Gutierrez Manuel. 2010.

[4] Universidad Nacional de Colombia. Principios de la Relatividad Especial: Fundamentos Fsicos,

Geometricos y Algebraicos. Ochoa Fredy. 2015.
[5] Universidad Complutense de Madrid, Espa
na. Algebras de Lie. Rodrguez Miguel. 2007.
[6] (Consultado octubre 23 de 2016) https://www.youtube.com/watch?v=geO7SME8SmM

[7] Lorentz Group. Ling Fong Li. (Consultado octubre 24 de 2016) http://www.phys.nthu.edu.
tw/~class/group_theory2012fall/doc/Lorentz%20Group.pdf
[8] Lorentz Generators. (Consultado octubre 25 de 2016) http://www.phys.ufl.edu/~fry/6607/
lorentz.pdf
[9] University of Florida. Field Theory: A Modern Primer. Ramond Pierre. 1990.

[10] (Consultado octubre 25 de 2016) https://es.wikipedia.org/wiki/Conjunto_generador_

de_un_grupo
[11] (Consultado octubre 25 de 2016) https://en.wikipedia.org/wiki/Special_unitary_group