1 GRUPOS DE LIE 2 Campos invariantes por la izquierda
1 GRUPOS DE LIE 2 Campos invariantes por la izquierda
1 GRUPOS DE LIE 2 Campos invariantes por la izquierda
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1 <strong>GRUPOS</strong> <strong>DE</strong> <strong>LIE</strong><br />
2 <strong>Campos</strong> <strong>invariantes</strong> <strong>por</strong> <strong>la</strong> <strong>izquierda</strong><br />
Definición 1 Un grupo de Lie es una terna (G, ·, A)donde (G, ·) es un grupo,<br />
(G, A) es una variedad y <strong>la</strong>s funciones.<br />
1) · : G × G → G, (g 1 ,g 2 ) → g 1 · g 2<br />
2) inv : G → G, g → g −1<br />
son suaves.<br />
En general es suficiente con checar que µ : G×G → G, (g 1 ,g 2 ) → µ(g 1 ,g 2 ) =<br />
g 1 · g2 −1 es suave. Un subgrupo de Lie H de G es un grupo en el que H ֒→ i<br />
G<br />
es un encaje, o sea si i y di son inyectivas.<br />
Proposición 2 Las tras<strong>la</strong>ciones derecha e <strong>izquierda</strong> son difeomorfismos.<br />
Demostración. Sea (G, ·,A) grupo de Lie y L g : G → G , g ′ → L g (g ′ ) =<br />
gg ′ y R g : G → G, g ′ → R g (g ′ ) = g ′ g. C<strong>la</strong>ramente L g y R g son suaves con<br />
inversas L g = L g y R g −1 = Rg<br />
−1 suaves.<br />
Todas <strong>la</strong>s proposiciones y teoremas serán demostrados <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>, <strong>la</strong>s<br />
demostraciones <strong>por</strong> <strong>la</strong> derecha son completamente análogas.<br />
Definición 3 Sea X ∈ TG en donde (G, ·,A) es grupo de Lie. Se dice que X<br />
es invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong> (<strong>por</strong> <strong>la</strong><br />
(<br />
derecha) ó L g -invariante (R g -invariante)<br />
)<br />
si d L g | g ′ (X g ′) = X g ′ ◦ L ∗ g = X gg ′ d R g | g ′ (X g ′) = X g ′ ◦ Rg ∗ = X g ′ g , para<br />
todos g,g ′ ∈ G.<br />
Proposición 4 Todo campo vectorial invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong> o derecha es<br />
determinado <strong>por</strong> su valor en <strong>la</strong> identidad.<br />
Demostración. Sea (G, ·,A) grupo de Lie y X ∈ TG invariante <strong>por</strong> <strong>la</strong><br />
<strong>izquierda</strong>. Se cumple d L g | e<br />
(X e ) = X g . Análogamente para R g .<br />
Proposición 5 Si X ∈ TG en un grupo de Lie cumple X g = d L g | e<br />
(X e ) para<br />
todo g ∈ G, esto implica que X es invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong> (análogamente<br />
<strong>por</strong> <strong>la</strong> derecha).<br />
Demostración. Observemos que L gg ′ = L g ◦ L g ′, esto implica que dL gg ′ =<br />
dL g ◦dL g ′ = d L g | g ′ o más específicamente d L g | g ′ (X g ′) . = d L g | g ′◦d L g ′| e<br />
(X e ) =<br />
d (L g ◦ L g ′)| e<br />
(X e ) = d L gg ′| e<br />
(X e ) = X gg ′, esto implica que X es invariante <strong>por</strong><br />
<strong>la</strong> <strong>izquierda</strong> (lo mismo <strong>por</strong> <strong>la</strong> derecha).<br />
De aquí en ade<strong>la</strong>nte solo consideraremos vectores <strong>invariantes</strong> <strong>por</strong> <strong>la</strong> <strong>izquierda</strong><br />
o <strong>por</strong> <strong>la</strong> derecha. El espacio tangente será un espacio exclisivamente de estos<br />
vectores.<br />
Esto implica que T α G iso<br />
∼= T g G para todo g ∈ G. De hecho se puede demostrar<br />
que para todo grupo de Lie, el haz tangente es un haz trivial, ya que <strong>la</strong> fibra está<br />
formada <strong>por</strong> vectores <strong>invariantes</strong> <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>, los cuales están globalmente<br />
definidos y estos forman secciones globales en el haz.<br />
1
Proposición 6 Sean (X,Y ) y (X ′ ,Y ′ ) ∈ TM m × TN n , M m ,N n variedades<br />
y ϕ ∈ C ∞ (M m ,N n ) tal que X,Y y X ′ ,Y ′ están ϕ re<strong>la</strong>cionados. Entonces<br />
([X,X ′ ],[Y,Y ′ ]) están ϕ-re<strong>la</strong>cionados.<br />
Demostración. Sea f ∈ C ∞ (N, R). Entonces<br />
[Y,Y ′ ] (f) ◦ ϕ = (Y (Y ′ (f)) − Y ′ (Y (f))) ◦ ϕ<br />
pero se cumple que ϕ ∗ ◦ Y = X ◦ ϕ ∗ , entonces<br />
= Y (Y ′ (f)) ◦ ϕ − Y ′ (Y (f)) ◦ ϕ = ∗,<br />
∗ = ϕ ∗ (Y (Y ′ (f))) − ϕ ∗ (Y ′ (Y (f))) = ϕ ∗ ◦ Y (Y ′ (f)) − ϕ ∗ ◦ Y ′ (Y (f)) =<br />
= X ◦ ϕ ∗ (Y ′ (f)) − X ′ ◦ ϕ ∗ (Y (f)) = X (ϕ ∗ ◦ Y ′ (F)) − X ′ (ϕ ∗ ◦ Y ′ (f)) =<br />
= X (X ′ ◦ ϕ ∗ (f)) − X ′ (X ◦ ϕ ∗ (f)) = [X,X ′ ] (f) ◦ ϕ,<br />
entonces [X,X ′ ] está ϕ re<strong>la</strong>cionado con [Y,Y ′ ].<br />
Coro<strong>la</strong>rio 7 Los campos invariatens <strong>por</strong> <strong>la</strong> <strong>izquierda</strong> forman una sub-álgebra<br />
G de TG l<strong>la</strong>mada Algebra de Lie correspondiente al grupo de Lie G. Esta<br />
subálgebra es isomórfica a TeG en cada punto g ∈ G. Se acostumbra tomar<br />
el álgebra de Lie G respecto a G como el álgebra de vectores <strong>invariantes</strong> <strong>por</strong> <strong>la</strong><br />
<strong>izquierda</strong> en <strong>la</strong> identidad e ∈ G. Si dL g (X) = X y dL g (Y ) = Y , resulta que<br />
dL g ([X,Y ]) = [X,Y ].<br />
3 La función exponencial<br />
Proposición 8 Sea (M n , A) variedad diferenciable y F ∈ Dif (M n ). Sea X ∈<br />
TM n y ψ el grupo 1-paramétrico inducido <strong>por</strong> X. Entonces X es F-invariante<br />
ssí ψ t ◦ F = F ◦ ψ t .<br />
Demostración. X y = ˙ψ y<br />
(0), (tomando ψ y (0) = y) y dF | y<br />
(X y ) = X y ◦F ∗ y<br />
, donde X y es el vector tangente al camino ˙ψ y<br />
en y y dF | y<br />
(X g ) es el vector<br />
tangente al camino ψ F(y) = F ◦ψ y en F (g). Se tiene que F ◦ψ y (t) = F ◦ψ t (y) =<br />
F ◦ ψ t ◦ F −1 (F (y))<br />
⇒) Si X es F-invariante<br />
X F(y) = dF | y<br />
(X g ) , esto es ˙ψ F(y) (0) = X F(y)<br />
<strong>por</strong> lo tanto ψ F(y) (f) = ψ t (F (y)) = F ◦ ψ t ◦ F −1 (F (y)), i.e.<br />
ψ t = F ◦ ψ t ◦ F −1<br />
⇐) Si<br />
ψ t = F ◦ ψ t ◦ F −1 esto implica que<br />
ψ F(t) (t) = ψ t (F (y))<br />
y esto implica que ˙ψ F(y) (0) =<br />
= X F(y) i.e. X F(y) = dF | y (X g )<br />
2
Definición 9 Sea G grupo de Lie y X ∈ G el álgebra correspondiente a G.<br />
Sea ψ el grupo uniparamétrico que induce a X y ψ 1<br />
∈ {ψ t }. La función<br />
exponencial se define como exp : G → G, X → exp(X) := ψ 1 (e) = ψ e (1). Es<br />
decir ψ : R × G → G, (t,g) → ψ (t,g); con<br />
i) ψ (0,g) = g,<br />
ii) ψ (t + s,g) = ψ (t,ψ (s,g)). X = ˙ψ e y ψ e (0) = e<br />
Proposición 10 exp (0) = e<br />
Demostración. ˙ψ e = 0 implica que ψ e (t) = cte ∈ G, pero ψ e (0) = e, <strong>por</strong><br />
lo tanto ψ e (t) = e. Entonces exp(0) = ψ e (1) = e.<br />
Proposición 11 exp (tX) = ψ t (e) = ψ e (t)<br />
( Demostración. ) Sea ˙ψ e (t) = X, vamos a denotar ψ e = ψ X . Entonces<br />
d<br />
dt x i ◦ ψ X = X i ◦ ψ X en <strong>la</strong>s coordenadas locales de G. Probemos primero<br />
que ψ rX (t) = ψ X (rt), i.e. ˙ψ rX (t) = (rX) = ˙ψ X (rt) lo que implica que<br />
(<br />
d<br />
dt x i ◦ ψ rX (t) ) (<br />
= d dt x i ◦ ψ X (rt) ) = (rX) i ◦ψ rX (t) = rX i ◦ψ X (rt). Hagamos<br />
t ′ = rt, se obtiene<br />
r d (<br />
x i<br />
dt ′ ◦ ψ rX (t) ) = r d (<br />
x i ◦ ψ X (t ′ ) ) = rX i ◦ ψ X (t ′ )<br />
dt<br />
lo cual es correcto. Entonces exp (tX) = ψ tX (1) = ψ X (t). De esta última<br />
expresión se tiene que<br />
y también<br />
d<br />
dt exp(tX) = ˙ψ X (t) = X ψX(t)<br />
ó<br />
d<br />
dt exp (tX)| t=0 = X e<br />
exp (tX + sX) = ψ X (t + s) = ψ X (t) · ψ X (s) = exp (sX) exp (tX) .<br />
Proposición 12 Sea ψ el grupo uniparamétrico inducido <strong>por</strong> X ∈ G, álgebra<br />
correspondiente a G, entonces ψ t = R exp(tX) .<br />
Demostración. ψ t (g) = ψ t (ge) = ψ t ◦ L g (e) = L g ◦ ψ t (e) = gψ t (e) = g<br />
exp (tX) = R exp(tX) (g).<br />
Proposición 13 exp: G → G tiene <strong>la</strong>s siguientes propiedades:<br />
i) exp es función suave<br />
ii) d exp| 0<br />
= id| G<br />
iii) Su U 0 ∈ τ G , exp| U0<br />
es inyectiva<br />
Demostración. Sin Dem.<br />
3
4 La representación Adjunta y <strong>la</strong> Forma de Maurer<br />
Cartan.<br />
Definición 14 Sea g ∈ G grupo de Lie y A g : G → G, g ′ → A g (g ′ ) = gg ′ g −1<br />
Proposición 15 A g ∈ Dif (G) y es un homomorfismo de grupos, es decir es<br />
un isomorfismo de grupos de Lie.<br />
Demostración. (A g ) −1 = A g −1 y ambas A g y A g −1 son suaves, <strong>por</strong> lo tanto<br />
A g ∈ Dif (G). A g (xy) = g(xy)g −1<br />
= gxg −1 gyg −1 = A g (x)A g (y), <strong>por</strong> lo tanto A g es un homomorfismo.<br />
Comentario 16 Observe que A gg ′ = A g ◦ A g ′ para todos gg ′ ∈ G.<br />
Definición 17 Sea V un espacio vectorial, G un grupo de Lie y Gl(V ) el conjunto<br />
de transformaciones lineales en V invertibles. Una representación de G<br />
sobre V es un homomorfismo ϕ : G → Gl(V ) del grupo G al grupo (Gl(V ) , ◦).<br />
Proposición 18 La función ϕ : G → Gl(T e G), g → ϕ(g) := d A g | e<br />
:= Ad g es<br />
una representación de G sobre T e G, l<strong>la</strong>mada <strong>la</strong> representación adjunta.<br />
Demostración. d A g | g ′ : T g ′G → T gg′ g−1G es un isomorfismo de espacios<br />
vectoriales y d A g | e<br />
(v e ) = v e ◦ A ∗ g es una transformación lineal d A g | e<br />
: T e G →<br />
T e G, i.e. d A g | e<br />
∈ Gl(TeG). Además ϕ(gg ′ ) = d A gg ′| e<br />
= d (A g ◦ A g ′)| | e =<br />
d A g | e=Ag ′(e) ◦ d A g ′| e<br />
<strong>por</strong> lo que ϕ es un homomorfismo de grupos.<br />
Definición 19 Sea w g ∈ Tg ∗ G, G grupo de Lie. w g es invariante <strong>por</strong> <strong>la</strong><br />
( )<br />
<strong>izquierda</strong> si para todos g,g ′ ∈ G, L<br />
∗<br />
g (w<br />
g ′ g ′) = w g −1 g ′ o w g es invariante<br />
<strong>por</strong> <strong>la</strong> derecha si para todos g,g ′ ∈ G, ( )<br />
Rg<br />
∗ (w<br />
g ′ g ′) = w g ′ g −1.<br />
Comentario 20 Note que ( )<br />
L ∗ g : T ∗ g ′ g ′G → T ∗ G = T ∗ L −1<br />
g (g ′ ) g −1 g<br />
G y ( )<br />
R ∗ ′ g :<br />
g ′<br />
Tg ∗ ′G → T ∗ G = T ∗ Rg −1 (g ′ ) g ′ g<br />
G. −1<br />
Proposición 21 Si w ∈ TG es invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong> o <strong>por</strong> <strong>la</strong> derecha,<br />
entonces w está determinada <strong>por</strong> su valor en <strong>la</strong> identidad del grupo.<br />
Demostración.<br />
)<br />
Sea w ∈ TG invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>, entonces w g =<br />
(L ∗ g<br />
(w −1 e ), lo mismo <strong>por</strong> <strong>la</strong> derecha.<br />
e<br />
Definición 22 Sea G grupo de Lie y G su respectiva álgebra. La forma canónica<br />
o de Maurer-Cartan sobre el grupo de Lie G es <strong>la</strong> 1-forma w g ∈ Tg ∗ G ⊗ G,<br />
con w g : T g G → T e G, X g → w g (X g ) := dL g −1∣ g<br />
(X g ) .<br />
Proposición 23 w es invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>.<br />
4
Demostración.<br />
(<br />
L<br />
∗<br />
g (w<br />
)g ′ g ′) ( ) (<br />
) (Xg )<br />
X g −1 g ′ = w g ′ ◦ d L g | g −1 g ′ −1 g ′ =<br />
( ( )<br />
d L g ′−1∣ ) (<br />
) (Xg )<br />
g ′ d L g | g −1 g ′ Xg −1 g ′ = d L g ′−1∣ g ′ ◦ d L g | g −1 g ′ −1 g ′ =<br />
d ( )∣ ( )<br />
( ) ( )<br />
L g ′−1 ◦ L ∣g g −1 Xg<br />
g ′ −1 g ′ = d L g ′−1∣ g −1 Xg<br />
g ′ −1 g ′ = wg −1 g ′ Xg −1 g ′<br />
lo que implica que ( L ∗ )<br />
g (w<br />
g ′ g ′) = w g −1 g ′<br />
Proposición 24 ( )<br />
Rg<br />
∗ (w<br />
g ′ g ′) = Ad g −1 ◦ w g′ g −1<br />
Demostración.<br />
d ( L g ′−1 ◦ R g<br />
)∣<br />
∣g′<br />
g −1 ◦ d<br />
(<br />
R<br />
∗<br />
g<br />
)g ′ (w g ′) ( X g ′ g −1 )<br />
( )<br />
d L g ′−1∣ g ′ ◦ d R g | g′ g −1 Xg′ g<br />
( )∣ −1<br />
L −1 ∣∣g′ ( )<br />
gg<br />
◦ L ′−1 gg ′−1 Xg′ g −1 g −1<br />
d ( )∣ ∣<br />
L g ′−1 ◦ R ∣g′ g ◦ d L 1 ∣∣e ( )<br />
g −1 g ′ g<br />
◦ w −1 g ′ g −1 Xg ′ g −1<br />
(<br />
)∣<br />
d L −1<br />
g ◦ R ∣∣e ( )<br />
′ g ◦ L g′ g −1 ◦ w g′ g −1 Xg′ g −1 ( )<br />
d A g −1∣ e<br />
◦ w g′ g −1 Xg′ g −1<br />
=<br />
(<br />
w g ′ ◦ d R g | g ′ g −1 ) (Xg ′ g −1 )<br />
=<br />
= d ( L g ′−1 ◦ R g<br />
)∣<br />
∣g ′ g −1 (<br />
Xg′ g −1 )<br />
=<br />
=<br />
=<br />
=<br />
= Ad g −1 ◦ w g′ g −1 (<br />
Xg′ g −1 )<br />
Sean {V 1 , · · · ,V n } una base de T e G. Con esta base podemos definir una base<br />
a traves de todo el espacio TG usando vectores <strong>invariantes</strong> <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>. Sea<br />
{X 1 , · · · ,X n } base de TG, tal que dL g (V µ ) = X µ (g) ( d L g | e<br />
(V µ ) = X µge<br />
)<br />
y<br />
sean θ µ ∈ T ∗ G sus duales, es decir, 〈θ µ ,X v 〉 = δ µ v . Como [X µ ,X v ] es también<br />
invariante <strong>por</strong> <strong>la</strong> <strong>izquierda</strong>, se cumple que [X µ ,X v ] = c λ µvX λ donde <strong>la</strong>s c λ µv son<br />
<strong>la</strong>s constantes de estructura del álgebra de Lie G, correspondiente a G, ya que<br />
<strong>la</strong> c λ µv puede ser determinada en e ∈ G. Esto se pude ver usando <strong>la</strong> invariacia<br />
<strong>por</strong> <strong>la</strong> <strong>izquierda</strong>. dL g ([X µ ,X v ]) = c µv λ X λ (g) para todo g ∈ G. En particu<strong>la</strong>r<br />
para e ∈ G, lo que hace que c µv λ no depende de g.<br />
Ejercicio 25 Demuestre que<br />
a) c µv λ = c λ µv<br />
b)C µv τ c τg λ + c gµ τ c τv λ + c vg τ c τµ λ = 0, identidad de Jacobi<br />
Proposición 26 La base dual {θ µ } base<br />
⊂ T ∗ G cumple con <strong>la</strong> ecuación<br />
dθ µ = − 1 2 c vx µ θ v ∧ θ λ<br />
donde <strong>la</strong>s c µ vλ<br />
a G.<br />
son <strong>la</strong>s constantes de estructura de G, el álgebra correspondiente<br />
5
Demostración. Sabemos que<br />
dθ µ (X v ,X λ ) = X v (θ µ (X λ )) − X λ (θ µ (X v )) − θ µ ([X v ,X λ ])<br />
= X v (δ µ λ ) − X λ (δ v µ ) − θ µ (c α µ<br />
vλ X α ) = −c vλ<br />
y − 1 2 c αβ µ θ α ∧ θ β (X v ,X λ ) = −c µ vλ<br />
Proposición 27 La forma de Maurer-Cartan w se puede escribir como<br />
w = V v ⊗ θ v , w (g) := w g , para toda g ∈ G<br />
donde {V µ } es <strong>la</strong> base de T e G iso<br />
∼= G y {θ µ } base<br />
⊂ T ∗ G y satisface <strong>la</strong> ecuación<br />
dθ + 1 [θ ∧ θ] = 0.<br />
2<br />
Demostración. Sea Y = Y µ X µ ∈ T g G, con X µ <strong>la</strong> base invariante <strong>por</strong> <strong>la</strong><br />
<strong>izquierda</strong> de TG, entonces<br />
( ) θ (Y ) = Y µ θ (X µ ) = Y µ d L g −1∣ g<br />
X µ | g<br />
= Y µ d L g −1∣ g<br />
◦ dL g (V µ )| e<br />
Por otro <strong>la</strong>do<br />
= Y µ d ( L g −1 ◦ L g<br />
)∣<br />
∣e (V µ ) = Y µ V µ<br />
V v ⊗ θ v (Y ) = Y µ V v θ µ (X µ ) = Y µ V µ .<br />
Observe que [θ ∧ θ] = [V µ ,V v ] ⊗ θ µ ∧ θ v , se sigue entonces<br />
dθ + 1 2 [θ ∧ θ] = −1 2 V µ ⊗ c µ vλ θν ∧ θ λ + 1 2 cµ vλ V µ ⊗ θ ν ∧ θ λ = 0<br />
5 Representación de Grupos y Algebras de Lie<br />
Definición 28 Sea G un grupo de Lie y H un grupo de Lie de matrices. Una<br />
representación de G es un homomorfismo ϕ : G → H.<br />
Definición 29 Sea G un álgebra de Lie y H un álgebra de Lie de matrices. Una<br />
representación de G es un homomorfismo ϕ : G → H<br />
Por lo general se trabaja con <strong>la</strong>s representaciones de los grupos o de <strong>la</strong>s<br />
álgebras, vamos a resumir <strong>la</strong>s álgebras y grupos de matrices más im<strong>por</strong>tantes.<br />
Sean GL(n, R) y GL(n, C) los conjuntos de matrices no singu<strong>la</strong>res n × n<br />
reales y complejas respectivamente. Estos conjuntos forman un grupo con <strong>la</strong><br />
multiplicación de matrices. Las coordenadas locales de ellos son <strong>la</strong>s n 2 entradas<br />
(X ij ) = M ∈ GL, los cuales forman un grupo de Lie de dimensión n 2 , real o<br />
compleja respectivamente. Topológicamente GL(n, R) es un grupo no compacto,<br />
6
para-compacto y no-conexo. Sea c una trayectoria en GL(n, R), c : (−ǫ,ǫ) →<br />
GL(n, R), c(0) = I <strong>la</strong> identidad en GL(n, R). Cerca de cero c(s) = I + sA +<br />
O ( s 2) , A matriz n×n, real. El vector tangente de c(s) en I es dc<br />
ds = ċ (s)∣ ∣<br />
s=0<br />
=<br />
A. Entonces el álgebra correspondiente a GL(n, R) es el conjunto gl (n, R) de<br />
matrices reales n × n (singu<strong>la</strong>res o no). Análogamente, el álgebra gl(n, C)<br />
correspondiente a GL(n, C) es el conjunto de matrices complejas n × n. Mas<br />
interesantes son los subgrupos de GL.<br />
i) Subgrupos de GL(n, R)<br />
a) O (n) = { M ∈ GL (n, R)|M T M = M M T = I } l<strong>la</strong>madas grupo Ortogonal.<br />
Una curva en O (n) debe cumplir c(s) T c(s) = I, <strong>por</strong> lo que si <strong>la</strong> diferenciamos<br />
obtenemos ċ(s) T c(s) + c ( s T) ċ (s) = 0. En s = 0 uno obtiene que<br />
A T + A = 0. Entonces el álgebra correspondiente a O (n) es o(n), el conjunto<br />
de matrices antisimétricas.<br />
b) SL(n, R) := {M ∈ GL (n, R)|det M = 1}, l<strong>la</strong>mado el grupo especial<br />
lineal. Si c es una trayectoria en SL(n, R) ,det c(s) = 1 + str (A) = 1, o<br />
sea tr (A) = 0. Entonces el álgebra correspondiente de SL(n, R) es sl (n, R),<br />
el conjunto de matrices con traza cero. La dimensión de este conjunto es dim<br />
SL(n, R) = n 2 − 1.<br />
c) SO (n) = O (n) ∩ SL(n, R), el grupo especial ortogonal, su álgebra<br />
correspondiente es también o(n) = so (n). Ambas álgebras tienen dimensión<br />
dimo(n) = n(n−1)<br />
2<br />
.<br />
II) Subgrupos de GL(n, C)<br />
a) U (n) = { M ∈ GL (n, C)|M M T = M T M = 1 } , el grupo unitario. Su<br />
álgebra u(n) es el conjunto de matrices complejas antihermitianas A T + A = 0.<br />
b) SL(n, C) = {M ∈ GL (n, C)|det M = 1}, el grupo especial lineal<br />
complejo, su álgebrasl (n, C) es un conjunto de matrices complejas con tr (A) =<br />
0.<br />
c) SU (n) = U (n) ∩SL(n, C), grupo especial unitario, su álgebra su(n),<br />
es el conjunto de matrices complejas antihermitianas con traza cero.<br />
Además existen una infinidad de grupos que se c<strong>la</strong>sifican diferente. Veamos<br />
algunos ejemplos explicitamente.<br />
Ejemplo 30 El grupo de Lorenz se define como<br />
O (1,3) = { M ∈ GL(4, R) | MγM T = γ, γ = diag (−1,1,1,1) } el cual no<br />
es compacto, es paracompacto y es no-conexo.<br />
Ejemplo 31<br />
{(<br />
x −y<br />
O (2) =<br />
y x<br />
)<br />
}<br />
| x 2 + y 2 = 1 SO (2) hom<br />
∼= { (x,y) ∈ R 2 | x 2 + y 2 = 1 }<br />
o sea, O (2) = SO (2) es topológicamente S 1 . Su álgebra es<br />
{( ) }<br />
0 −a<br />
o(2) =<br />
| a ∈ R<br />
a 0<br />
7
= so(2).Una base de esta algebra como espacio vectorial, es<br />
{( )} 0 −1<br />
o(2) =<br />
.<br />
1 0<br />
Ejemplo 32 U (1) = SU (1) = {z ∈ C | zz = 1} hom<br />
∼= { (x,y) ∈ R | x 2 + y 2 = zz = 1, z = x + iy } .<br />
De nuevo U (1) es topológicamente S 1 .<br />
Ejemplo 33<br />
SU (2) =<br />
{( )<br />
}<br />
z<br />
0<br />
−z hom<br />
1<br />
| (z<br />
z 1 z 0 ,z 1 ) ∈ C 2 ,z 0 z 0 + z 1 z 1 = 1 ∼ = S 3 ,<br />
0<br />
su álgebra es<br />
su (2) =<br />
{ (<br />
i<br />
c<br />
a + ib<br />
a − ib<br />
c<br />
)<br />
}<br />
| a,b,c, ∈ R .<br />
Una base de esta álgebra 3-dimensional es<br />
{ ( ) (<br />
0 1 0 −i<br />
σ 1 = i , σ<br />
1 0 2 = i<br />
i 0<br />
) (<br />
1 0<br />
, σ 3 = i<br />
0 −1<br />
)}<br />
que son <strong>la</strong>s matrices de Pauli, <strong>la</strong>s cuales cumplen con <strong>la</strong>s re<strong>la</strong>ciones de conmutación<br />
[σ 1 ,σ 2 ] = 2iσ 3 ,<br />
[σ 2 ,σ 3 ] = 2iσ 1 ,<br />
[σ 3 ,σ 1 ] = 2iσ 2<br />
8