Expo 2022 PDF

El grupo SU(2).
El grupo de Lorentz.
SU(2) y el Grupo de Lorentz.
El grupo de Lorentz y el grupo SU(2).
Christopher Oswaldo Zaragoza Moreno.
Facultad de Ciencias en Fı́sica y Matemáticas.

Universidad Autónoma de Chiapas.
2022
Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 1 / 31

El grupo SU(2).
Contenido
1 El grupo SU(2).
2 El grupo de Lorentz.
3 SU(2) y el Grupo de Lorentz.

El grupo SU(2).
Contenido
1 El grupo SU(2).

El grupo SU(2).
El grupo SU(2).
Definición
Un grupo de Lie G es una variedad diferenciable que admite una estructura de grupo de
tal forma que sus operaciones de grupo sean diferenciables, las cuales son

El grupo SU(2).
El grupo SU(2).
Definición
1) f : G × G −→ G dada por f (g1 , g2 ) = g1 · g2

El grupo SU(2).
El grupo SU(2).
Definición
2) h : G −→ G dada por h(g) = g −1

El grupo SU(2).
El grupo SU(2).
Definición
2) h : G −→ G dada por h(g) = g −1
Definición
Sea G un grupo de Lie y demos u, g ∈ G. Definimos la traslación derecha Ru : G −→ G
como Ru (g) = gu y la traslación izquierda Lu : G −→ G como Lu (g) = ug.

El grupo SU(2).
El grupo SU(2).
Definición
2) h : G −→ G dada por h(g) = g −1
Definición
Sea G un grupo de Lie y demos u, g ∈ G. Definimos la traslación derecha Ru : G −→ G
como Ru (g) = gu y la traslación izquierda Lu : G −→ G como Lu (g) = ug.
Definición
Un campo vectorial X sobre un grupo de Lie G es invariante por la izquierda si ∀u, g ∈ G
tenemos que Xug = (dLu )g (Xg ) con (dLu )g la diferencial de Lu en g.
Para cualesquiera X , Y campos vectoriales sobre un grupo de Lie, dando f : G −→ R una
función suave, definimos la operación [X , Y ]f = X (Y [f ]) − Y (X [f ]).

El grupo SU(2).
El grupo SU(2).
Definición
El conjunto de todos los campos vectoriales invariantes por la izquierda sobre un grupo de
Lie G, denotado por g, junto con la operación conmutador, se llama álgebra de Lie de G.

El grupo SU(2).
El grupo SU(2).
Definición
Teorema
Existe un isomorfismo lineal entre g y Te G

El grupo SU(2).
El grupo SU(2).
Definición
Teorema
Existe un isomorfismo lineal entre g y Te G
Demostración
Demos i : g −→ Te G definido por i(X ) = Xe , claramente la función es lineal.
Sea ⃗0 el neutro de g y ⃗0e el elemento neutro de Te G, luego demos X ∈ ker(i), ası́
Xe = ⃗0e y notemos que Xg = Xge = (dLg )e (Xe ) = ⃗0 para todo g ∈ G por lo que X = ⃗0 y
ker(i) = ⃗0 probando la inyectividad de i. Ahora, demos v ∈ Te G arbitrario, definamos
Xgv = (dLg )e (v ), ası́ damos X v = {Xgv : ∀g ∈ G}, claramente X v es un campo vectorial,
v
como (dLab )e = dLa ◦ (dLb )e entonces Xab = (dLab )e v = dLa ◦ (dLb )e v = dLa ◦ Xbv .
Por lo que el X es invariante por la izquierda, ası́ existe Xev = (dLe )e (v ) = v , entonces
v
v ∈ i(g) y ası́ i es sobreyectiva. Por tanto tenemos un isomorfismo lineal entre g y Te G.

■
El grupo SU(2).
El grupo SU(2).
Definición
El conjunto SU(2) definido sobre las matrices de 2 × 2 con entradas en C, denotado por
M2 (C), esta dado por SU(2) = {U ∈ M2 (C) : UU † = I = U † U, det(U) = 1}.
Con I la identidad en M2 (C) y U † la matriz transpuesta conjugada de U.

El grupo SU(2).
El grupo SU(2).
Definición
Teorema
El conjunto SU(2), de la definición anterior, es un grupo de Lie.

El grupo SU(2).
El grupo SU(2).
Definición
Teorema
Demostración
Cabe recalcar que el grupo especial lineal SL(2, C) es una subvariedad de la variedad
diferenciable GL(2, C) y definiendo f : SL(2, C) −→ C como f (A) = det(A), tenemos que
f −1 (1) = SU(2) donde 1 ∈ C es valor regular de f , por un teorema
.
.
.
.

El grupo SU(2).
El grupo SU(2).
Teorema
Sea q un valor regular de una función diferenciable f : M −→ N. Se tiene entonces que
P = f −1 (q) es una subvariedad diferenciable de M. Para cada p ∈ P se tiene que
Tp P = ker(dfp ).

El grupo SU(2).
El grupo SU(2).
Definición
Teorema
Demostración
Cabe recalcar que el grupo especial lineal SL(2, C) es una subvariedad de la variedad
diferenciable GL(2, C) y definiendo f : SL(2, C) −→ C como f (A) = det(A), tenemos que
f −1 (1) = SU(2) donde 1 ∈ C es valor regular de f , por un teorema tenemos que SU(2)
es una subvariedad diferenciable de SL(2, C) y tomando como operación de grupo a la
multiplicación usual de matrices, sus operaciones de grupo son diferenciales.
Por lo tanto SU(2) es un grupo de Lie.
■

El grupo SU(2).
El grupo SU(2).
Teorema
El álgebra de Lie asociada al grupo de Lie SU(2), la cual denotaremos como su(2), viene
definido como su(2) := {X ∈ M2 (C) : X = −X † , tr (X ) = 0}

El grupo SU(2).
El grupo SU(2).
Teorema
Demostración
Sea X ∈ TI SU(2) matriz de 2 × 2 con entradas en C y con I ∈ M2 (C) la identidad.
Ası́, por definición
.
.
.
.
.
.
.
.
.

El grupo SU(2).
El grupo SU(2).
Definición
El vector tangente a la curva c(t) en c(t0 ) = p ∈ M es un función X : D(p) −→ R
df (c(t))
definida por X [f ] = | que satisface.
dt t 0
1) X es lineal, es decir, X [αf + βg] = αX [f ] + βX [g] para todo f , g ∈ D(p) y α, β ∈ R

2) X [fg] = X [f ]g(p) + f (p)X [g] para f , g ∈ D(p)
El conjunto de todos los vectores tangentes en p es llamado espacio tangente y denotado
por Tp M.

El grupo SU(2).
El grupo SU(2).
Teorema
Demostración
Sea X ∈ TI SU(2) matriz de 2 × 2 con entradas en C y con I ∈ M2 (C) la identidad.
Ası́, por definición existe una curva v (t) en SU(2) tal que para algún t0 se tiene que
v (t0 ) = I y |v ′ (t)|t0 = X la derivada de v (t) con respecto a t evaluada en t0 .
Como v (t) ∈ SU(2), cumple que v (t)† v (t) = I y det(v (t)) = 1, entonces
d d d

| (v (t)† v (t)) = | (I) = | (v (t0 )) = 0

dt t0 dt t0 dt t0
d

Por otra parte, tenemos que | (v (t)† v (t)) = X † + X .

dt t0
Por lo que las matrices X ∈ TI SU(2) cumplen que X † + X = 0, es decir que X es
antihermitiana.

El grupo SU(2).
El grupo SU(2).
Demostración
d d

Ahora, derivando de nuevo, tenemos que | (det(v (t))) = | (1) = 0.

dt t0 dt t0
Ası́ también, tenemos que
d

| (det(v (t))) = X1 + X4 = tr (X )

dt t0
|v1′ (t)|t0 |v2′ (t)|t0

X1 X2
= X = |v ′ (t)t =

pues
X3 X4 0 |v3′ (t)|t0 |v4′ (t)|t0
Entonces las matrices X ∈ TI SU(2) cumplen que tr (X ) = 0, es decir, la traza de X es
cero.
Como ya hemos demostrado que existe una biyección entre TI SU(2) y su(2), entonces
su(2) := {X ∈ M2 (C) : X = −X † , tr (X ) = 0}.
■

El grupo SU(2).
Contenido
1 El grupo SU(2).

El grupo SU(2).
Definición
Para un cuadrivector x µ ≡ (x 0 , x i ) = (ct, −
→
x ). Se tiene que las transformaciones de
Lorentz cumplen que
3
X
x ′µ = Λµ ν µ ν
ν x ≡ Λν x
ν=0

El grupo SU(2).
Definición
→
Lorentz cumplen que
3
X
ν x ≡ Λν x
ν=0
En relatividad, considerando traslaciones sobre o alrededor de un eje, tenemos a las

rotaciones como transformaciones x 0 −→ x ′0 = x 0 , x i −→ x ′i = Rji x j
lol

El grupo SU(2).
Definición
→
Lorentz cumplen que
3
X
ν x ≡ Λν x
ν=0
En relatividad, considerando traslaciones sobre o alrededor de un eje, tenemos a las

rotaciones como transformaciones x 0 −→ x ′0 = x 0 , x i −→ x ′i = Rji x j
lol
Entonces, con respecto al eje z y un ángulo θ
t′ = t
x ′ = x cosθ + y sinθ
y ′ = −x sinθ + y cosθ
z′ = z

El grupo SU(2).
Por otra parte, para los boosts en dirección z, se tiene:
x ′0 = γx 0 + γvx 3
x ′1 = x 1 γ + γvx 3
x ′2 = x 2 γ + γvx 3
x ′3 = γvx 0 + γx 3

El grupo SU(2).
x ′0 = γx 0 + γvx 3
x ′1 = x 1 γ + γvx 3
x ′2 = x 2 γ + γvx 3
x ′3 = γvx 0 + γx 3
Donde
1
γ= √
1 − v2

El grupo SU(2).
x ′0 = γx 0 + γvx 3
x ′1 = x 1 γ + γvx 3
x ′2 = x 2 γ + γvx 3
x ′3 = γvx 0 + γx 3
Donde
1
γ= √
1 − v2
Y de esta manera podemos considerar como parámetro a un ángulo ϕ tal que γ = coshϕ
y γv = sinhϕ

El grupo SU(2).
Definición
Para un ángulo θ con respecto al eje z, la matriz de rotaciones esta dada por
 
1 0 0 0
 0 cosθ sinθ 0 
Rz = 
0 −sinθ cosθ 0 
0 0 0 1
lol

El grupo SU(2).
Definición
Para un ángulo θ con respecto al eje z, la matriz de rotaciones esta dada por
 
1 0 0 0
Rz = 
0 0 0 1
lol
Definición
Para un ángulo ϕ con respecto al eje z, la matriz de boosts esta dada por
 
coshϕ 0 0 sinhϕ
 0 1 0 0
Lz = 

0 0 1 0 
sinhϕ 0 0 coshϕ

El grupo SU(2).
De igual manera, podemos definir estas matrices con respecto al eje x .

   
1 0 0 0 coshϕ sinhϕ 0 0
 0 1 0 0  sinhϕ coshϕ 0 0 
Rx =  Lx = 

0 0 cosθ −sinθ  0 0 1 0 
0 0 sinθ cosθ 0 0 0 1

El grupo SU(2).

   
 0 1 0 0  sinhϕ coshϕ 0 0 
Rx =  Lx = 

0 0 cosθ −sinθ  0 0 1 0 
0 0 sinθ cosθ 0 0 0 1
Y con respecto al eje y

   
1 0 0 0 coshϕ 0 sinhϕ 0
 0 cosθ 0 sinθ   0 1 0 0 
Ry =  Ly = 
0 0 1 0  sinhϕ 0 coshϕ 0 
0 −sinθ 0 cosθ 0 0 0 1

El grupo SU(2).

   
 0 1 0 0  sinhϕ coshϕ 0 0 
Rx =  Lx = 

0 0 cosθ −sinθ  0 0 1 0 
0 0 sinθ cosθ 0 0 0 1
Y con respecto al eje y

   
1 0 0 0 coshϕ 0 sinhϕ 0
 0 cosθ 0 sinθ   0 1 0 0 
Ry =  Ly = 
0 0 1 0  sinhϕ 0 coshϕ 0 
0 −sinθ 0 cosθ 0 0 0 1
Definición
Al conjunto de todos los boost y de todas las rotaciones se le llama grupo de Lorentz.

El grupo SU(2).
Contenido
1 El grupo SU(2).

El grupo SU(2).
Notemos que si A ∈ SU(2) arbitrario, entonces

a b
A= ⇐⇒ c = −b ∗ , d = a∗ , det(U) = |a|2 + |b|2 = 1
c d

El grupo SU(2).

a b
A= ⇐⇒ c = −b ∗ , d = a∗ , det(U) = |a|2 + |b|2 = 1
c d
Definamos el vector columna ξ con entradas ξ1 , ξ2 ∈ C, por lo que definimos T (ξ) tal
que para una matriz U ∈ SU(2) arbitraria tenemos que

El grupo SU(2).

a b
A= ⇐⇒ c = −b ∗ , d = a∗ , det(U) = |a|2 + |b|2 = 1
c d

ξ1′ a b ξ1 a(ξ1 ) + b(ξ2 )
T (ξ) = = Uξ = =
ξ2′ −b ∗ a∗ ξ2 −b ∗ (ξ1 ) + a∗ (ξ2 )

El grupo SU(2).

a b
A= ⇐⇒ c = −b ∗ , d = a∗ , det(U) = |a|2 + |b|2 = 1
c d

ξ1′ a b ξ1 a(ξ1 ) + b(ξ2 )
T (ξ) = = Uξ = =
ξ2′ −b ∗ a∗ ξ2 −b ∗ (ξ1 ) + a∗ (ξ2 )

a∗ −b
(T (ξ))† = ξ1′ ∗ ξ2′ ∗ = (Uξ)† = ξ † U † = ξ1∗ ξ2∗

b∗ a
a∗ (ξ1∗ ) + b ∗ (ξ2∗ ) −b(ξ1∗ ) + a(ξ2∗ )

=

El grupo SU(2).
Ahora, definamos un nuevo vector columna ξ a partir de ξ con entradas −ξ2∗ , ξ1∗ ∈ C tal
que

El grupo SU(2).
que

−ξ2∗ ′ a b −ξ2∗ a(−ξ2∗ ) + b(ξ1∗ )
T (ξ) = = Uξ = =
ξ1∗ ′ −b ∗ a∗ ξ1∗ −b ∗ (−ξ2 ∗) + a∗ (ξ1 ∗)

El grupo SU(2).
que

−ξ2∗ ′ a b −ξ2∗ a(−ξ2∗ ) + b(ξ1∗ )
T (ξ) = = Uξ = =
ξ1∗ ′ −b ∗ a∗ ξ1∗ −b ∗ (−ξ2 ∗) + a∗ (ξ1 ∗)
†
(T (ξ))† = −ξ2′ ξ1′ = ξ U† = a∗ (−ξ2 ) + b ∗ (ξ1 )

−b(−ξ2 ) + a(ξ1 )

El grupo SU(2).
que

−ξ2∗ ′ a b −ξ2∗ a(−ξ2∗ ) + b(ξ1∗ )
T (ξ) = = Uξ = =
ξ1∗ ′ −b ∗ a∗ ξ1∗ −b ∗ (−ξ2 ∗) + a∗ (ξ1 ∗)
†
(T (ξ))† = −ξ2′ ξ1′ = ξ U† = a∗ (−ξ2 ) + b ∗ (ξ1 )

−b(−ξ2 ) + a(ξ1 )
Estos dos vectores ξ y ξ transforman de la misma manera bajo SU(2), más aún, notemos
que

El grupo SU(2).
que

−ξ2∗ ′ a b −ξ2∗ a(−ξ2∗ ) + b(ξ1∗ )
T (ξ) = = Uξ = =
ξ1∗ ′ −b ∗ a∗ ξ1∗ −b ∗ (−ξ2 ∗) + a∗ (ξ1 ∗)
†
(T (ξ))† = −ξ2′ ξ1′ = ξ U† = a∗ (−ξ2 ) + b ∗ (ξ1 )

−b(−ξ2 ) + a(ξ1 )
que

† † † ξ1
(T (ξ))† T (ξ) = ξ U † Uξ = ξ Iξ = ξ ξ =

−ξ2 ξ1 = −ξ2 ξ1 + ξ1 ξ2 = 0
ξ2

El grupo SU(2).
que

−ξ2∗ ′ a b −ξ2∗ a(−ξ2∗ ) + b(ξ1∗ )
T (ξ) = = Uξ = =
ξ1∗ ′ −b ∗ a∗ ξ1∗ −b ∗ (−ξ2 ∗) + a∗ (ξ1 ∗)
†
(T (ξ))† = −ξ2′ ξ1′ = ξ U† = a∗ (−ξ2 ) + b ∗ (ξ1 )

−b(−ξ2 ) + a(ξ1 )
que

† † † ξ1
(T (ξ))† T (ξ) = ξ U † Uξ = ξ Iξ = ξ ξ =

−ξ2 ξ1 = −ξ2 ξ1 + ξ1 ξ2 = 0
ξ2

† † † ξ1 † −ξ1 ξ2 ξ12
U†

T (ξ)(T (ξ)) = Uξξ U = U −ξ2 ξ1 U =U
ξ2 ξ22 ξ1 ξ2

El grupo SU(2).
Definición
Llamaremos espinor al vector ξ que desarrollamos anteriormente, y a partir de esto
†
definimos la matriz H = ξξ la cual cumple que su traza tr (H) = −ξ1 ξ2 + ξ1 ξ2 = 0 y la
†
transformación T(H) = T (ξ)(T (ξ))† = Uξξ U † = UHU † .

El grupo SU(2).
Definición
†
†
Además, se cumple que

†
−ξ1 ξ2 ξ12 −ξ1 ξ2 ξ12
−H † = H ⇐⇒ − =
ξ22 ξ1 ξ2 ξ22 ξ1 ξ2

(ξ1 ξ2 )∗ −ξ2∗ 2 −ξ1 ξ2 ξ12
⇐⇒ =
−ξ1∗ 2 −(ξ1 ξ2 )∗ ξ22 ξ1 ξ2

El grupo SU(2).
Definición
†
†
Además, se cumple que

†
−ξ1 ξ2 ξ12 −ξ1 ξ2 ξ12
−H † = H ⇐⇒ − =
ξ22 ξ1 ξ2 ξ22 ξ1 ξ2

(ξ1 ξ2 )∗ −ξ2∗ 2 −ξ1 ξ2 ξ12
⇐⇒ =
−ξ1∗ 2 −(ξ1 ξ2 )∗ ξ22 ξ1 ξ2
A partir de los espinores ξ tales que Re(ξ1 ξ2 ) = 0 definimos matrices H antihermitianas

con traza cero

El grupo SU(2).
Notemos que en una matriz U ∈ SU(2) las entradas complejas a, b las podemos ver
como a = t + iz y b = y + ix con x , y , z, t ∈ R.
Entonces

a b t + iz y + ix
U= =
−b ∗ a∗ −y + ix t − iz

1 0 0 1 0 −i 1 0
=t +i x +y +z
0 1 1 0 i 0 0 −1

El grupo SU(2).
Notemos que en una matriz U ∈ SU(2) las entradas complejas a, b las podemos ver
como a = t + iz y b = y + ix con x , y , z, t ∈ R.
Entonces

a b t + iz y + ix
U= =
−b ∗ a∗ −y + ix t − iz

1 0 0 1 0 −i 1 0
=t +i x +y +z
0 1 1 0 i 0 0 −1
Definición
Definimos las matrices de Pauli como sigue

0 1 0 −i 1 0
σx = σy = σz =
1 0 i 0 0 −1
Las matrices de Pauli cumplen que U = tI + i[x σx + y σy + zσz ] para U ∈ SU(2) y cada
una de estas matrices de Pauli está en su(2).

El grupo SU(2).
Ahora aplicando el conmutador con respecto a las matrices de Pauli, tenemos que
σi σj σk
h i
, = iϵijk con i, j, k ∈ {x , y , z}
2 2 2
Donde ϵijk es el tensor antisimétrico de Levi-Civita.

El grupo SU(2).
Ahora aplicando el conmutador con respecto a las matrices de Pauli, tenemos que
σi σj σk
h i
, = iϵijk con i, j, k ∈ {x , y , z}
2 2 2
Donde ϵijk es el tensor antisimétrico de Levi-Civita.
Haciendo la operación usual de matrices, tenemos que h′ esta dada por
′ ′

h11 h12
h′ = UhU † = ′ ′
h21 h22
′
Con h11 = (ab ∗ + ba∗ )x + (ba∗ − ab ∗ )iy + (|a|2 − |b|2 )z,
′
h12 = x (a2 − b 2 ) − iy (a2 + b 2 ) − 2ab,
′
h21 = x (a∗2 − b ∗2 ) + iy (a∗2 + b ∗2 ) − 2a∗ b ∗ y
h22 = −[(ab ∗ + ba∗ )x + (ba∗ − ab ∗ )iy + (|a|2 − |b|2 )z]
′

El grupo SU(2).
Por otra parte, definimos también h′ de manera análoga a h como sigue

z′ x ′ − iy ′
= h′
x ′ + iy ′ −z ′

El grupo SU(2).
Por otra parte, definimos también h′ de manera análoga a h como sigue

z′ x ′ − iy ′
= h′
x ′ + iy ′ −z ′
Entonces, igualando las dos definiciones de h′ , tenemos que

1 2 i
x′ = (a + a∗2 − b 2 − b ∗2 )x − (a2 − a∗2 + b 2 − b ∗2 )y − (a∗ b ∗ + ab)z
2 2
i 1
y ′ = (a2 − a∗2 − b 2 + b ∗2 )x + (a2 + a∗2 + b 2 + b ∗2 )y − (ab − a∗ b ∗ )iz
2 2
z ′ = (ab ∗ + ba∗ )x + (ba∗ − ab ∗ )iy + (|a|2 − |b|2 )z

El grupo SU(2).
Definición
La matriz de rotación en 4-dimensiones para cada coordenada x , y , z con respecto a un
ángulo de rotación θ está dada por
   
1 0 0 0 1 0 0 0
 0 1 0 0  0 cosθ 0 sinθ 
Rx =  Ry = 

0 0 cosθ −sinθ  0 0 1 0 
0 0 sinθ cosθ 0 −sinθ 0 cosθ
 
1 0 0 0
Rz = 
0 0 0 1

El grupo SU(2).
x′ = x
a = cos θ2 ′
Para tenemos y = y cosθ + z sinθ
b = isin θ2
z ′ = −y sinθ + z cosθ

cos θ2 i sin θ2
y Ux = ←→ Rx
i sin θ2 cos θ2

El grupo SU(2).
x′ = x
a = cos θ2 ′
b = isin θ2

cos θ2 i sin θ2
y Ux = ←→ Rx
i sin θ2 cos θ2
x ′ = x cosθ − z sinθ
a = cos θ2
Para tenemos y′ = y
b = sin θ2
z ′ = x sinθ + z cosθ

cos θ2 sin θ2
y Uy = ←→ Rx
−sin θ2 cos θ2

El grupo SU(2).
x′ = x
a = cos θ2 ′
b = isin θ2

cos θ2 i sin θ2
y Ux = ←→ Rx
i sin θ2 cos θ2
x ′ = x cosθ − z sinθ
a = cos θ2
Para tenemos y′ = y
b = sin θ2
z ′ = x sinθ + z cosθ

cos θ2 sin θ2
y Uy = ←→ Rx
−sin θ2 cos θ2
θ x ′ = x cosθ + y sinθ
a = ei 2 y ′ = −x sinθ + y cosθ
Para tenemos
b=0 z′ = z
θ
ei 2 0
y Uz = θ ←→ Rz
0 e −i 2
El grupo SU(2).
Definición
Tomando como parámetro a un ángulo ϕ tal que γ = coshϕ y γv = sinhϕ se definen los
boosts para cada coordenada x , y , z como sigue
   
coshϕ sinhϕ 0 0 coshϕ 0 sinhϕ 0
 sinhϕ coshϕ 0 0   0 1 0 0 
Lx =  Ly = 
0 0 1 0  sinhϕ 0 coshϕ 0 
0 0 0 1 0 0 0 1
 
coshϕ 0 0 sinhϕ
 0 1 0 0
Lz = 

0 0 1 0 
sinhϕ 0 0 coshϕ

El grupo SU(2).
Definición
Para una representación R se le asigna el operador lineal DR y para elementos
infinitesimales próximos a la identidad, tal como sucede en el Grupo de Lorentz, tenemos
que DR (δθ) = I − iδθa TRa . Ası́, a partir de los operadores Rv y Lv para una coordenada
v ∈ {x , y , z} se definen los generadores Jv para las rotaciones y Kv para los boosts como
sigue

1 dRv (θ)
|Jv = a partir de Rv (δθ) = I + iδθJv
i dθ θ=0

1 dLv (θ)
|Kv = a partir de Lv (δθ) = I + iδθKv
i dθ θ=0

El grupo SU(2).
La forma explı́cita de los generadores de las rotaciones y los boosts para cada coordenada
x , y , z es
     
0 0 0 0 0 0 0 0 0 0 0 0
 0 0 0 0   0 0 0 i   0 0 −i 0 
Jx =  , Jy =  , Jz =  ,
0 0 0 −i  0 0 0 0  0 i 0 0 
0 0 i 0 0 −i 0 0 0 0 0 0
     
0 −i 0 0 0 0 −i 0 0 0 0 −i
 −i 0 0 0  0 0 0 0  0 0 0 0 
Kx =  , Ky =  , Kz = 
 
0 0 0 0  −i 0 0 0  0 0 0 0 
0 0 0 0 0 0 0 0 −i 0 0 0

El grupo SU(2).
La forma explı́cita de los generadores de las rotaciones y los boosts para cada coordenada
x , y , z es
     
0 0 0 0 0 0 0 0 0 0 0 0
 0 0 0 0   0 0 0 i   0 0 −i 0 
Jx =  , Jy =  , Jz =  ,
0 0 0 −i  0 0 0 0  0 i 0 0 
0 0 i 0 0 −i 0 0 0 0 0 0
     
0 −i 0 0 0 0 −i 0 0 0 0 −i
 −i 0 0 0  0 0 0 0  0 0 0 0 
Kx =  , Ky =  , Kz = 
 
0 0 0 0  −i 0 0 0  0 0 0 0 
0 0 0 0 0 0 0 0 −i 0 0 0
Cabe destacar que los generadores Jx , Jy , Jz son hermı́ticos mientras que Kx , Ky , Kz no lo

son. Ası́ aplicando el comutador a estas matrices tenemos que
[Js , Jl ] = iϵslm Jm , [Ks , Kl ] = −iϵslm Jm , [Js , Kl ] = iϵslm Km .
Con s, l, m ∈ {x , y , z}.

El grupo SU(2).
Definición
Se reescriben los generadores del Grupo de Lorentz de la siguiente manera.
1 1
A= (J + iK) B= (J − iK)
2 2
Con A = (Ax , Ay , Az ) y B = (Bx , By , Bz ).
áuse Es fácil ver que estos 6 generadores son hermı́ticos, por lo que
[As , Al ] = iϵslm Am [Bs , Bl ] = iϵslm Bm [As , Bl ] = 0
Con s, l, m ∈ {x , y , z}. Más aún, de la relación anterior vemos que los generadores A
conmutan con los generadores B.

El grupo SU(2).
Definición
Se reescriben los generadores del Grupo de Lorentz de la siguiente manera.
1 1
A= (J + iK) B= (J − iK)
2 2
Con A = (Ax , Ay , Az ) y B = (Bx , By , Bz ).
áuse Es fácil ver que estos 6 generadores son hermı́ticos, por lo que
[As , Al ] = iϵslm Am [Bs , Bl ] = iϵslm Bm [As , Bl ] = 0
Con s, l, m ∈ {x , y , z}. Más aún, de la relación anterior vemos que los generadores A
conmutan con los generadores B.
Las relaciones anteriores nos dicen que tanto A como B generan un grupo SU(2) por
respetar las misma relaciones con el conmutador, por lo que el Grupo de Lorentz es
localmente isomorfo a SU(2) × SU(2).

El grupo SU(2).
Para finalizar...

El grupo SU(2).
Para finalizar...
“Los encantos de esta ciencia sublime, las matemáticas, sólo se le revelan a aquellos que
tienen el valor de profundizar en ella.”
Johann Carl Friedrich Gauss
lol
lol

El grupo SU(2).
Para finalizar...
“Los encantos de esta ciencia sublime, las matemáticas, sólo se le revelan a aquellos que
tienen el valor de profundizar en ella.”
Johann Carl Friedrich Gauss
lol
lol
GRACIAS

Expo 2022 PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Expo 2022 PDF

Cargado por

Copyright:

Formatos disponibles

El grupo SU(2).

El grupo de Lorentz y el grupo SU(2).

Christopher Oswaldo Zaragoza Moreno.

Facultad de Ciencias en Fı́sica y Matemáticas.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 1 / 31

3 SU(2) y el Grupo de Lorentz.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 2 / 31

3 SU(2) y el Grupo de Lorentz.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 3 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 4 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 4 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 4 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 4 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 4 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 5 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 5 / 31

v ∈ i(g) y ası́ i es sobreyectiva. Por tanto tenemos un isomorfismo lineal entre g y Te G.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 6 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 6 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 6 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 7 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 8 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 9 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 9 / 31

1) X es lineal, es decir, X [αf + βg] = αX [f ] + βX [g] para todo f , g ∈ D(p) y α, β ∈ R

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 10 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 11 / 31

|v1′ (t)|t0 |v2′ (t)|t0

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 12 / 31

3 SU(2) y el Grupo de Lorentz.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 13 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 14 / 31

En relatividad, considerando traslaciones sobre o alrededor de un eje, tenemos a las

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 14 / 31

En relatividad, considerando traslaciones sobre o alrededor de un eje, tenemos a las

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 14 / 31

Por otra parte, para los boosts en dirección z, se tiene:

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 15 / 31

Por otra parte, para los boosts en dirección z, se tiene:

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 15 / 31

Por otra parte, para los boosts en dirección z, se tiene:

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 15 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 16 / 31

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 16 / 31

De igual manera, podemos definir estas matrices con respecto al eje x .

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 17 / 31

De igual manera, podemos definir estas matrices con respecto al eje x .

Y con respecto al eje y

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 17 / 31

De igual manera, podemos definir estas matrices con respecto al eje x .

Y con respecto al eje y

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 17 / 31

3 SU(2) y el Grupo de Lorentz.

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 18 / 31

SU(2) y el Grupo de Lorentz.

Notemos que si A ∈ SU(2) arbitrario, entonces

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 19 / 31

SU(2) y el Grupo de Lorentz.

Notemos que si A ∈ SU(2) arbitrario, entonces

Christopher Oswaldo Zaragoza Moreno. El grupo de Lorentz y el grupo SU(2). 19 / 31

SU(2) y el Grupo de Lorentz.

Notemos que si A ∈ SU(2) arbitrario, entonces