22.11.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!