EJERCICIOS RESUELTOS DE GEOMETR

IA SEMI-RIEMANNIANA
Jos
e Antonio Manguce Tamayo
1. (a) Reparametrizaciones. Si : I M y h : J I son curvas suaves, con I, J
intervalos abiertos. Entonces = ( h) : J M es una curva suave, llamada
reparametrizaci
on de bajo h (denotado = (h)), que cumple:
0

(s) =

0
dh
(s) (h(s)).
du

Demostraci
on. Es claro que = (h) es una curva suave, pues es composici
n de
funciones suaves, ahora observe que
0

(s) = ( h) (s)

( h) (s)(xi )i |(h)(s)

d(xi ( h))
(s)i |(h)(s)
du
d((xi ) h))
=
(s)i |(h)(s)
du
d(xi )(h(s)) dh
=
(s)i |(h(s))
du
du
d(xi )(h(s))
dh
(s)
i |(h(s))
=
du
du
0
dh
=
(s) (h(s))
du
=

de donde se sigue el resultado.

0

(b) Efecto bajo un mapeo. Si : I M es una curva suave y : M N es un

mapeo suave. Entonces ( ) : I N es una curva suave en N que cumple:
0

d( (t)) = ( ) (t).
Demostraci
on. Sabemos que d( (t)) y ( ) (t) viven en T()(t) N , por ello,
consideremos g F(N ), luego, por el lema 15
0

d( (t))g

=
=
=
=

|i ))g
j

((d(t) t )( |i ))g
j

(d(t) (dt ( |i ))g

j
(d( ) |i (

(d(t) ( (t)))g

de donde se sigue el resultado.

2. Mostrar que X(M ) es un F(M )- modulo izquierdo.
Demostraci
on.
Se debe mostrar que las operaciones
+ : X(M ) X(M ) X(M ) y : F(M ) X(M ) X(M )
cumplen las siguientes propiedades:
Para todas f, g F(M ) y todos V, W, U X(M )
(a) V + W = W + V

(b)
(c)
(d)
(e)
(f)
(g)
(h)

(V + W ) + U = V + (W + U )
0 X(M ) tal que V + 0 = 0 + V = V
V X(M ), (V ) X(M ) tal que V + (V ) = 0
(f g)(V ) = f (gV )
(f + g)V = f V + gV
f (V + W ) = f V + f W
1V = V

Verificaci
on:
(a) Observe que para h, F(M ) y p M
(V + W )p h = Vp h + Wp h
= W p h + Vp h
=

(W + V )p h.

(b) An
alogo a (a).
(c) Definase 0p : F(M ) R por 0p f = 0 para toda f F(M ). Observe que
(V + 0)p f

= Vp f + 0p f
= Vp f + 0
=

0 + Vp f

= Vp f.
(d) Sea V X(M ) y definase Wp : F(M ) R por Wp f = (1)(Vp f ), luego
(V + W )p f

= Vp f + W p f
= Vp f + (1)Vp f
=

0.

As (V + W )p = 0p .
(e) Sean p M , f, g, h F(M ) y V X(M ), luego
((f g)V )(p)h =

(f g)(p)Vp h

(f (p)g(p))Vp h

f (p)(g(p)Vp h).

(f) Sean p M , f, g, h F(M ) y V X(M ), luego

((f + g)V )(p)h =

(f + g)(p)Vp h

(f (p) + g(p))Vp h

f (p)Vp h + g(p)Vp h.

(g) Sean p M , f, h F(M ) y V, W X(M ), luego

(f (V + W ))(p)h = f (p)(V + W )p h
= f (p)(Vp + Wp )h
= f (p)Vp h + f (p)Wp h.

(h) Definase f : M R por f (x) = 1 x M y sean p M , h F(M ) y V X(M ),

observe que
(f V )(p)h = f (p)Vp h
=

(1)Vp h

= Vp h.
En cada caso se tiene que las funciones resultantes son suaves, por ser sumas y
productos de suaves. Se ve entonces que X(M ) es un F(M )-modulo.
En X(M ) podemos definir la aplicacion [ , ] : X(M ) X(M ) X(M ) por
[V, W ] f = V [W f ] W [V f ] .
La anterior es llamada el producto bracket entre V y W .
3. Probar que la aplicaci
on bracket entre V y W es una derivacion, i.e. satisface las siguientes
propiedes:
(a) R - lineal. Para todo , R se cumple
[V, W ] (f + g) = [V, W ] f + [V, W ] g
(b) Leibniz.
[V, W ] (f g) = ([V, W ] f )g + f ([V, W ] g)
Demostraci
on.
Observacion 1. Por definici
on Vp cumple con las propiedades (a) y (b) de este ejercicio,
pues Vp T pM .
(a) Sean , R y f, g F(M ) y p M , luego, por la Observacion 1
[V, W ]p (f + g)

Vp [Wp (f + g)] Wp [Vp (f + g)]

Vp [Wp f ] + Vp [Wp g] Wp [Vp f ] Wp [Vp g]

Vp [Wp f ] + Vp [Wp g] Wp [Vp f ] Wp [Vp g]

Vp [Wp f ] + Vp [Wp g] Wp [Vp f ] Wp [Vp g]

= [V, W ]p f + [V, W ]p g.
de lo anterior se sigue el resultando.
(b) Sean f, g M , luego, por la observacion 1
[V, W ]p f g

= Vp [Wp f g] Wp [Vp f g]
= Vp [(Wp f )g(p) + f (p)(Wp g)] Wp [(Vp f )g(p) + f (p)(Vp g)]
= Vp [(Wp f )g(p)] + Vp [f (p)(Wp g)] Wp [(Vp f )g(p)] Wp [f (p)(Vp g)]
=

(Vp [Wp f ] Wp [Vp f ])g(p) + f (p)(Vp [Wp g] Wp [Vp g])

([V, W ]p f )g + f ([V, W ]p g).

4. Demostar que el bracket cumple las siguientes propiedades:

(a) R-bilineal.

Sean V, W, Z X(M ) y R, entonces

[V + W, Z] = [V, Z] + [W, Z] y [Z, V + W ] = [Z, V ] + [Z, W ] .

(b) Anti-simetria.

Sean V, W X(M ), entonces

[V, W ] = [W, V ] .

(c) Identidad de Jacobi.

Sean V, W X(M ), entonces

[V, [W, Z]] + [Z, [V, W ]] + [W, [Z, V ]] = 0

Demostraci
on.
(a) Si V, W, Z X(M ), p M y f F(M ), luego
[V + W, Z]p f

(V + W )p [Zp f ] Zp [(V + W )p f ]

= Vp [Zp f ] + Wp [Zp ] Zp [Vp f ] Zp [Wp f ]

= [V, Z]p f + [W, Z]p f.
de donde se sigue el resultado.
Por un razonamiento an
alogo se prueba que [Z, V + W ] = [Z, V ] + [Z, W ].
(b) Observe que
[V, V ]p f = Vp [Vp f ] Vp [Vp f ] = 0.
Entonces
0 = [V + W, V + W ]p f

[V, V + W ]p f + [W, V + W ]p f

[V, V ]p f + [V, W ]p f + [W, V ]p f + [W, W ]p f

[V, W ]p f + [W, V ]p f.

De aqu que [V, W ] = [W, V ].

(c) Primero desarrollemos uno de los sumandos, observe que

[V, [W, Z]]p f

h
i
= Vp [W, Z]p f [W, Z]p [Vp f ]
= Vp [Wp [Zp f ] Zp [Wp f ]] (Wp [Zp f ] Zp [Wp f ]) [Vp f ]
= Vp [Wp [Zp f ]] Vp [Zp [Wp f ]] Wp [Zp f ] [Vp f ] + Zp [Wp f ] [Vp f ]

An
alogamente
[Z, [V, W ]]p f = Zp [Vp [Wp f ]] Zp [Wp [Vp f ]] Vp [Wp f ] [Zp f ] + Wp [Vp f ] [Zp f ]

[W, [Z, V ]]p f = Wp [Zp [Vp f ]] Wp [Vp [Zp f ]] Zp [Vp f ] [Wp f ] + Vp [Zp f ] [Wp f ]
Seguido de sumar estos tres desarrollos se obtiene el resultado.
5. Verificar que para todo f, g F(M ) y V, W X(M ) se satisface la propiedad siguiente
[f V, gW ] = f g [V, W ] + f (V g)W g(W f )V.
Demostraci
on.
Sean f, g, h F(M ) y V, W X(M ), por definicion tenemos que
[f V, gW ] h = (f V ) [(gW )h] (gW ) [(f V )h]

(1)

Sabemos que cada campo vectorial tiene correspodencia u

nica con alguna derivacion, i.e.
podemos pensar a V y W como derivaciones, y aplicarlas a los productos g(W h) y f (V h)
respectivamente. De esta forma en (1) tenemos
[f V, gW ] h =

(f V ) [(gW )h] (gW ) [(f V )h]

= f (V g)W h + f g(V W h) g(W f )V h gf (W V h)

= f g [V, W ] h + f (V g)W h g(W f )V h
=

(f g [V, W ] + f (V g)W g(W f )V )h.

De donde se sigue el resultado. (Se hace mension el uso de la propiedad (f V )h = f (V h)).

6. Sean X1 , X2 X(M ), Y1 , Y2 Y(N ) y : M N mapeo suave.
Si X1 Y1 y X2 Y2 , entonces [X1 , X2 ] [Y1 , Y2 ].
Demostraci
on: Basta verificar que [X1 , X2 ] (g ) = ([Y1 , Y2 ] g) .
Para cada g F(N ) tenemos que (g ) F(M ), as por definicon de producto bracket,
tenemos
[X1 , X2 ] (g ) = X1 [X2 (g )] X2 [X1 (g )]
luego por hipotesis
[X1 , X2 ] (g )

= X1 [X2 (g )] X2 [X1 (g )]
= X1 [(Y2 g) ] X2 [(Y1 g) ]

nuevamente por hipotesis

[X1 , X2 ] (g )

= X1 [(Y2 g) ] X2 [(Y1 g) ]
=

(Y1 [Y2 g]) (Y2 [Y1 g])

(Y1 [Y2 g] Y2 [Y1 g])

([Y1 , Y2 ] g) .

7. Mostrar que X (M ) es un F(M )- modulo izquierdo.

Demostraci
on.
Se debe mostrar que las operaciones
+ : X (M ) X (M ) X (M ) y : F(M ) X (M ) X (M )
cumplen las siguientes propiedades:
Para todas f, g F(M ) y todos , , X (M )
(a) + = +
(b) ( + ) + = + ( + )
(c) 0 X (M ) tal que + 0 = 0 + =
(d) X (M ), () X (M ) tal que + () = 0
(e) (f g)() = f (g)
(f) (f + g) = f + g
(g) f ( + ) = f + f
(h) 1 =
Verificaci
on:

(a) Observe que para p M y v Tp M

(( + )p )v

(p + p )v

p v + p v

= p v + p v
=

(p + p )v

(( + )p )v.

(b) An
alogo a (a).
(c) Definase 0p : Tp M R por 0p v = 0 para todo v Tp M . Observe que
( + 0)p v

p v + 0p v

p v + 0

0 + p v

p v.

(d) Sea X (M ) y definase p : Tp M R por p v = (1)(p v), luego para

cualquier v Tp M

( + )p v

p v + p v

p v + (1)p v

0.

As ( + )p = 0p .
(e) Sean p M , f, g F(M ), v Tp M y X (M ), luego

((f g))p v

(f g)(p)p v

(f (p)g(p))p v

= f (p)(g(p)p )v
=

(f (g))p v.

(f) Sean p M , f, g F(M ), v Tp M y X (M ), luego

((f + g))p v

(f + g)(p)p v

(f (p) + g(p))p v

f (p)p v + g(p)p v

(f )p v + (g)p v.

(g) Sean p M , f F(M ) v Tp M y , X(M ), luego

(f ( + ))p v

f (p)(V + W )p v

f (p)(p + p )v

f (p)p v + f (p)p v

(f )p v + (f )p v.

(h) Definase f : M R por f (x) = 1 x M y sean p M , v Tp M y X (M ),

observe que
(f )p v

= f (p)p v
=

(1)p v

p v.

En cada caso se tiene que las funciones resultantes son suaves, por ser sumas y
productos de suaves. Se ve entonces que X (M ) es un F(M )-modulo.
8. Sean f, g F(M ) y h F(R). Entonces
(a) d(f g) = f dg + gdf
0

(b) d(h(f )) = h (f )df

Demostraci
on: Sea X X(M ), luego
d(f g)X = X(f g)

(Xf )g + f (Xg)

(gX)f + (f X)g

= d(f )(gX) + d(g)(f X)

= gd(f )X + f d(g)X.
lo u
ltimo ya que d(f ) es F(M )-lineal.
odulo
9. Muestre que Trs es un K-m
Se debe mostrar que las operaciones
+ : Trs Trs Trs y : K Trs Trs
cumplen las siguientes propiedades:
Para todas a, b K y todas A, B, C Trs
(a) A + B = B + A
(b) (A + B) + C = A + (B + C)
(c) 0 Trs tal que A + 0 = 0 + A = A
(d) A Trs , (A) Trs tal que A + (A) = 0
(e) (ab)(A) = a(bA)
(f) (a + b)A = aA + bA
(g) a(A + B) = aA + aB
(h) 1A = A
Demostraci
on.
De los ejercicios (2) y (7) se tiene que X (M ) y X(M ) son F(M )- modulos, siendo en este
caso K = F(M ). (F(M ) es un modulo por ser un espacio vectorial sobre R).
Se sigue de estos ejercicios que, para s y r no ambos cero, Trs es un F(M )-modulo. En el
caso de que algun r
o s sea cero, se tiene una demostracion identica a la de los ejercicios (2)
o (7) respectivamente. En el caso de que s y r sean ambos cero, se tiene que Trs = F(M )
lo cual es claramente F(M )-m
odulo.

10. Sea A (X(M )) , definimos X (M ) como sigue. Sea p M y v Tp M , por el

Lema 1.1, sea V X(M ) un campo vectorial tal que Vp = v, definimos
p (v) = A(V )p .
Demostrar que p es R-lineal y que es una 1-forma suave.
Demostraci
on.
Sea v Tp M , luego por definicion

((V + W ))p v

= A(V + W )p v
=

(A(V )p + A(f (p)Wp ))v

AVp v + f (p)AWp v

(AVp + f (p)AWp )v.

lo anterior considerando f : M R tal que f (x) = x M . (Se sabe que A es

F(M )-lineal).
Ahora, observe que es 1-forma suave ya que, si X es suave, entonces
p X = A(X)p
y A en principio es suave.