Geometría Riemanniana
Geometría Riemanniana
Joaqun P
erez Mun
Geometra Riemanniana
Introducci
on
Estos son los apuntes de la asignatura Geometra Riemanniana, optativa de
quinto curso de la Licenciatura de Matematicas de la Universidad de Granada. Son de
libre distribuci
on, y pueden bajarse de la p
agina web
[Link]
En ellos encontrar
as los enunciados y demostraciones de los resultados contenidos en el
programa de la asignatura, distribuidos por temas tal y como esta se estructur
o y aprob
o en
Consejo de Departamento. Algunas veces, las demostraciones est
an resumidas y dejan que
el lector compruebe los detalles como ejercicio. Adem
as de estos, al final de cada tema hay
una relaci
on de ejercicios propuestos.
Como siempre en estos casos, los apuntes no estar
an libres de errores, y es labor conjunta del autor y de los lectores mejorarlos, un trabajo que nunca se termina. Si encuentras
alg
un error, enva un e-mail a jperez@[Link]
Todo lo que se dice en los apuntes puede encontrarse, a menudo explicado con m
as profundidad, en numerosos textos b
asicos. Recomiendo al lector interesado los siguientes:
V.I. ARNOLD, Mathematical Methods of Classical Mechanics, Springer 1984.
M. BERGER, A panoramic View of Riemannian Geometry, Springer 2003.
M. DO CARMO, Riemannian Geometry, Birkh
auser (1992).
W. KLINGENGERG, Riemannian Geometry, Walter de Gruyter (1982).
M. SPIVAK, A comprehensive introduction to Differential Geometry I-V, Publish
or Perish (1979).
F. WARNER, Foundations of differentiable manifolds and Lie groups, Scott-Foresman
(1971).
Granada, Diciembre de 2004.
Joaqun Perez Mu
noz
ii
Indice general
1. Variedades Riemannianas.
1.1. Longitudes y distancias. . . . . . . . . . . . . . . . . . . . . .
1.1.1. Curvas a distancia constante. . . . . . . . . . . . . . .
1.1.2. Billares. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. El concepto de variedad Riemanniana. . . . . . . . . . . . . .
1.3. Isometras, isometras locales, inmersiones isometricas. . . . .
1.4. Metricas Riemannianas y acciones propiamente discontinuas.
1.5. Variedades Riemannianas en Mec
anica cl
asica. . . . . . . . .
1.5.1. Sistemas con 1 grado de libertad. . . . . . . . . . . . .
1.5.2. Sistemas con 2 grados de libertad. . . . . . . . . . . .
1.5.3. El pendulo doble. . . . . . . . . . . . . . . . . . . . . .
1.5.4. Formulaci
on general de la mec
anica Lagrangiana. . . .
1.5.5. Principios de conservaci
on y el Teorema de Noether. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
3
6
10
11
13
13
17
18
19
21
2. C
alculo en variedades Riemannianas.
2.1. Gradiente de una funci
on. . . . . . . . . . . . . . . . . . . . . . . . .
2.2. La conexi
on de Levi-Civita. . . . . . . . . . . . . . . . . . . . . . . .
2.3. Derivada covariante y transporte paralelo. . . . . . . . . . . . . . . .
2.4. Geodesicas y aplicaci
on exponencial. . . . . . . . . . . . . . . . . . .
2.5. Divergencia de un campo. . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Hessiano de una funci
on. . . . . . . . . . . . . . . . . . . . . . . . . .
2.7. Laplaciano de una funci
on. . . . . . . . . . . . . . . . . . . . . . . .
2.8. Superficies parametrizadas. . . . . . . . . . . . . . . . . . . . . . . .
2.9. Curvaturas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10. Campos de Jacobi. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10.1. Campos de Jacobi en V.R. de curvatura seccional constante.
2.10.2. Campos de Jacobi y valores conjugados. . . . . . . . . . . . .
2.10.3. Campos de Jacobi y curvatura seccional. . . . . . . . . . . . .
2.10.4. Campos de Jacobi y coordenadas polares. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
26
28
31
43
44
45
46
47
58
60
62
64
65
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
3. Geometra y curvatura.
3.1. Distancia asociada a una metrica. . . . . . . .
3.2. Entornos totalmente normales. . . . . . . . .
3.3. Completitud. El Teorema de Hopf-Rinow. . .
3.4. Variedades con curvatura seccional constante.
3.4.1. Espacios recubridores Riemannianos. .
3.4.2. Clasificaci
on de las V.R. de c.s.c. . . .
3.5. Variedades de curvatura negativa. . . . . . . .
3.6. Variaciones de la energa. . . . . . . . . . . .
3.7. Variedades de curvatura positiva. . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
75
82
86
91
93
97
99
100
110
Captulo 1
Variedades Riemannianas.
Veremos en este primer tema los conceptos fundamentales de la asignatura, y los ejemplos m
as importantes de variedades, que nos servir
an para ilustrar los conceptos. Pero
antes daremos un recorrido por cuestiones de geometra elemental, que nos sugerir
an algunas de las cuestiones a estudiar posteriormente en ambientes m
as generales.
1.1.
Longitudes y distancias.
Cu
al es la curva m
as corta uniendo dos puntos del plano? Y en una superficie
de R3?
Sean S R3 una superficie, : [a, b] S una curva p.p.a. (la longitud es invariante
frente a reparametrizaciones) y f : [a, b] (, ) S una variaci
on de (i.e. f
C ([a, b] (, ), R3 ), f (t, 0) = (t)) con campo variacional V (t) = f
s (t, 0). Llamando
L() =longitud(), tenemos
Lema 1.1.1 (Primera f
ormula de variaci
on de la longitud) En la situaci
on anterior,
Z b
d
L(f
(,
s))
=
d
d
L(f (, s)) =
ds 0
ds 0
=
b
a
h0 (t),
Z
t (t, s) dt =
b f
a
2f
(t, 0)idt =
ts
b
a
h0 (t), V 0(t)idt =
d f
(t, s) dt =
ds 0 t
Z
b
a
b
a
h0 (t),
2f
(t, 0)idt
st
Si s
olo consideramos curvas que unan dos puntos p, q S, entonces las variaciones ser
an
propias (f (a, s) = p, f (b, s) = q s), luego V (a) = V (b) = 0 y
d
L(f (, s)) =
ds 0
h00(t), V (t)idt.
Como lo anterior es cierto V X() con V (a) = V (b) = 0 y de esta forma podemos
barrer todos los vectores tangentes a S en puntos de (a, b), se obtiene que la parte
tangente 00 (t)T de 00(t) es cero t (a, b) (y por continuidad, tambien en [a, b]).
Corolario 1.1.1 Si es una curva con la menor longitud de entre todas las curvas en S
uniendo p, q, entonces (00 )T 0.
En el caso particular de S = R2, 00 es tangente a S luego el Corolario 1.1.1 nos dice
que 00 = 0, y por tanto es un segmento recorrido a velocidad 1. Tenemos entonces el
resultado cl
asico
Corolario 1.1.2 La curva m
as corta entre dos puntos del plano es el segmento que los
une.
En general, la condici
on (00)T = 0 se enunciar
a diciendo que es una geodesica de S.
N
otese que esto no es suficiente para que la curva minimize la longitud entre sus extremos
(pensar en un trozo de crculo m
aximo en S2 (1) con longitud estrictamente mayor que ).
El concepto de geodesica ser
a uno de los centrales en el curso. Es interesante adelantar que
este concepto y muchos otros que nos aparecer
an, son intrnsecos: no dependen de c
omo
la superficie est
a metida en R3 . De hecho, los formularemos en ambientes mucho m
as
generales (variedades Riemannianas), donde el objeto sobre el que se hace geometra no
tiene porque tener dimensi
on 2 ni estar metido dentro de un espacio eucldeo de dimensi
on
superior.
En el ejemplo anterior hemos visto una herramienta que tambien usaremos para obtener
otros objetivos: el c
alculo de variaciones. Como ilustraci
on, veamos otra situaci
on en el
que el c
alculo de variaciones tiene interesantes aplicaciones geometricas y fsicas.
Lema 1.1.2 (Primera f
ormula de variaci
on de la distancia en R2 ) Sean , cur2
vas C 1 (no nec. p.p.a.) en R con (t) 6= (t) t. Entonces,
d
(t) (t)
|(t) (t)| = h0(t) 0(t),
i.
dt
|(t) (t)|
Demostraci
on. C
alculo directo.
Veamos dos consecuencias del Lema 1.1.2.
1.1.1.
~ s (t).
(t) Rs (t) y 0 (t) R
2.
~ s (t) .
(t1 (t)) Rs (t) y 0 (t1(t)) R
(1.1)
1.1.2.
Billares.
k
X
|pi+1 pi |.
i=1
i.
(1.2)
dt 0
|p2 p1| |p3 p2 |
p, q S,
ya que el nfimo anterior siempre existe. Estudiaremos a fondo d y veremos que siempre
define una distancia sobre S, y que esto puede generalizarse a variedades Riemannianas.
En el caso de una curva embebida y regular : I R3 , la distancia correspondiente
es d : (I) (I) R+
0 donde
d(p, q) =
|L()qp|
Z
=
t2
t1
| (t)| dt ,
0
Lema 1.1.5 Todas las curvas : I R3 embebidas y regulares con la misma longitud
son isometricas como espacios metricos.
Demostraci
on. Sea : I R3 una curva embebida y regular, con par
ametro t. Sea
: J R R3 una reparametrizaci
on por el arco de , con par
ametro s. Claramente,
L() coincide con la longitud del intervalo J, que a su vez es el di
ametro del espacio metrico
(J, d0) donde d0 es la distancia usual de R. El Lema estar
a probado (por transitividad) si
vemos que los espacios metricos ((I), d), (J, d0) son isometricos. Definimos F : (J, d0)
((I) = (J), d) mediante F (s) = (s) = (t(s)). Entonces,
t(s )
1.2.
i ai xi , Y |U )(p)
ai (p)(g|U )( x
, Y |U )(p).
i
Y ahora un razonamiento an
alogo al que hacamos para probar que g|U est
a bien definida
(cambiando el Lema 1.2.1 por el Lema 1.2.2) permite demostrar que gp tambien lo est
a.
gp es pues, un producto escalar definido positivo sobre TpM .
Si g es una metrica sobre M y (U, = (x1 , . . . , xn)) es una carta local, las funciones
gij = (g|U )( x
, ) est
an en F (U, R) y la matriz (gij )i,j se llama la matriz de g respecto
i xj
a (U, ).
Definici
on 1.2.2 Una metrica g sobre M n se dice Riemanniana o diferenciable si X, Y
X(M ), g(X, Y ) C (M ). Al par (M, g) se le llama una variedad Riemanniana (V.R.)
Proposici
on 1.2.1 Sea g una metrica sobre M y {(U , )} un atlas en M . Son equivalentes:
1.
2.
3.
, i, j = 1, . . ., n, gij
C (U ).
Demostraci
on. Ejercicio.
Definici
on 1.2.3 Sea (M, g) una V.R. Dado X X(M ), la norma de X es la funci
on
p
kXk = g(X, X) C (M {p M | Xp = 0}). Dos vectores v, w Tp M se dicen
ortogonales si lo son respecto a gp. Dos campos X, Y X(M ) se dicen ortogonales si lo
son en cada p M .
Ejemplos de variedades Riemannianas.
1. El espacio eucldeo n-dimensional. M = Rn , g0 (X, Y ) =
(X1, . . . , Xn), Y = (Y1 , . . . , Yn ) X(Rn ) C (Rn , Rn ).
Pn
i=1 Xi Yi
donde X =
2. M
etricas conformes y homot
eticas. Si (M, g) es una V.R. y f C (M, R+ ),
entonces f g es otra metrica Riemanniana sobre M , que se dice conforme a g. Si
f es constante, a f g se le llama metrica homotetica a g (ejercicio: probar que ser
conforme a y ser homotetica adefinen relaciones de equivalencia en el conjunto
de metricas Riemannianas sobre una variedad diferenciable).
3. El espacio hiperb
olico n-dimensional (modelo del semiespacio).
M = (Rn )+ = {x Rn | xn > 0}, g = x12 g0. N
otese que gx (e1 , e1) = x12 , luego ke1k
n
n
se hace mayor cuanto m
as nos aproximamos al borde de (Rn )+ .
4. El espacio hiperb
olico n-dimensional (modelo de la bola).
n
4
M = B (0, 1) = {x Rn |kxk0 < 1}, g = (1kxk
2 )2 g0 . De nuevo ke1 k se hace mayor
0
n
cuanto m
as nos aproximamos al borde de B (0, 1), y g se acerca a g0 cuando x 0.
5. El grupo lineal general.
2
M = Mn (R) Rn , g(B, C)(A) = Traza(BC t ), A Mn (R), B, C X(Mn(R))
C (Mn (R), Mn(R)).
6. M
etrica producto.
Sean (M1n , g1), (M2m, g2) V.R.. Se define la metrica producto de g1 y g2 como
[(g1 g2 )(Z1, Z2)] (p1 , p2) =
2
X
i=1
2
X
(1.3)
i=1
(g1)ij 1
0
0
(g2)ij 2
2
X
gi (Xi, Yi ) i .
i=1
7. M
etrica pullback por una inmersi
on.
Sea F : M n N m una inmersi
on y g una metrica Riemanniana sobre N . Se define
F g (metrica pullback de g por F ) mediante
(F g)(X, Y )(p) = gF (p)(dFp (Xp), dFp(Yp )),
X, Y X(M ), p M.
e
e
p U V ) tales que (F X)|F (U ) = X|
acil
F (U ), (F Y )|F (U ) = Y |F (U ). Ahora es f
e Ye ) F en U , luego (F g)(X, Y ) C (U ).
ver que (F g)(X, Y ) = g(X,
10
8. La esfera Sn (R).
Dado R > 0, sea Sn (R) = {x Rn+1 | kxk = R}. Como la inclusi
on i : Sn (R) ,
n+1
R
es un embebimiento, tiene sentido g = i g0 (metrica can
onica sobre Sn (R)). As,
n
n
1.3.
Definici
on 1.3.1 Una isometra entre dos V.R. (M1n , g1), (M2n, g2) es un difeomorfismo
: M1 M2 tal que p M1 , dp es una isometra vectorial entre (TpM1 , (g1)p ) y
(TF (p)M2 , (g2)F (p) ) (esto u
ltimo equivale a que g1 = g2 ). En tal caso, (M1n , g1), (M2n, g2)
se dicen variedades Riemannianas isometricas.
Ser isometrica a es una relaci
on de equivalencia en el conjunto de todas las V.R. (ejercicio). El conjunto Iso(M, g) de todas las isometras de una V.R. en s misma tiene estructura
de grupo con la composici
on.
Ejemplos.
2
1. La aplicaci
on : Mn (R) Rn dada por (A) = (a11, . . . , ann ) si A = (aij )i,j
2
es una isometra si en Mn (R), Rn consideramos sus respectivas metricas usuales
(ejercicio).
2. Las V.R. (Sn (R), g) y (Sn (1), R2g) son isometricas (ejercicio).
2i z1
3. La transformaci
on de M
obius (z) = i1
a entre los modelos
z+i es una isometr
2 +
D(0, 1) y (R ) del plano hiperb
olico (ejercicio).
1.4. METRICAS
RIEMANNIANAS Y ACCIONES PROPIAMENTE DISCONTINUAS.11
Definici
on 1.3.2 Una isometra local entre dos V.R. (M1n , g1), (M2n, g2) es un difeomorfismo local : M1 M2 tal que g1 = g2). En tal caso, (M1n , g1), (M2n, g2) se dicen
variedades Riemannianas localmente isometricas.
Definici
on 1.3.3 Una inmersi
on isometrica entre dos V.R. (M1n , g1), (M2m, g2) es una
inmersi
on : M1 M2 tal que g1 = g2). As, una isometra local es una inmersi
on
isometrica entre variedades de la misma dimensi
on. Y si F : M n (N m , g) es una
inmersi
on, entonces F : (M, F g) (N, g) es una inmersi
on isometrica.
1.4.
M
etricas Riemannianas y acciones propiamente discontinuas.
Definici
on 1.4.1 Sea M n una variedad diferenciable y G un grupo algebraico. Una acci
on
es una aplicaci
on : G M M tal que g, g1, g2 G, p M ,
1. e p = p,
2. g1 (g2 p) = (g1 g2 ) p.
Dado g G, se define g : M M por g (p) = g p. Entonces, g es una biyecci
on, con
inversa g1 .
La acci
on se dice diferenciable cuando g G, g es un difeomorfismo de M en
s misma (i.e. cuando g C (M, M )), y se dice propiamente discontinua cuando p M ,
U M abierto conteniendo a p tal que U g (U ) = g G {e}.
Toda acci
on sobre M define una relaci
on de equivalencia sobre M :
p G q g G | g p = q.
Llamemos : M M/G = M/ G a la proyecci
on can
onica de M en su cociente. es
continua si en M/G consideramos la topologa cociente, y abierta (porque 1((O)) =
gG g (O), O M ).
Proposici
on 1.4.1 Si la acci
on es diferenciable y propiamente discontinua, entonces
existe una u
nica estructura diferenciable D sobre M/G que convierte a en difeomorfismo
local. Adem
as, la topologa subyacente a D es la topologa cociente.
Demostraci
on. Existencia.
Consideremos en M/G la topologa cociente T /G de la topologa T de M . Dado p M ,
sea U un abierto de M conteniendo a p dado por la discontinuidad de la acci
on . Entonces,
|U : U (U ) es un homeomorfismo (es continua, sobreyectiva, inyectiva y abierta).
12
Existe una metrica Riemanniana g 0 sobre M/G que hace a : (M, g) (M/G, g 0)
isometra local.
2.
h Iso(M, g) h G.
Adem
as, g 0 es u
nica (cuando exista).
Demostraci
on. Si g 0 existe, entonces dados p M y u, v TpM se tendr
a gp(u, v) =
0
g(p) (dp(u), dp(v)). Como es sobreyectiva y dp biyectiva, la u
ltima ecuaci
on determina
a g 0. Adem
as dado h G,
0
ghp ((dh)p(u), (dh)p(v)) = g(p)
(d( h )p(u), d( h )p (v))
0
= g(p)
(dp (u), dp(v)) = gp(u, v)
0
0
0
g (X , Y ) = g(X, Y ). Como g(X, Y ) C (M ), tenemos que g (X , Y ) C (M/G).
por u
ltimo, que : (M, g) (M/G, g 0) se hace isometra local es evidente (ejercicio). 2
Ejemplos.
13
1.5.
1.5.1.
Supongamos que una partcula se mueve en una trayectoria rectilnea x(t) con
x
(t) = f (x(t)),
(1.4)
donde f C (R) (este es el caso de, por ejemplo, un movimiento oscilatorio rectilneo
como un muelle2. Estamos interesados en describir los movimientos del sistema, que son las
soluciones del EDO anterior. La teora general de EDO nos dice que x(t) est
a determinada
unvocamente por x(0), x(0).
14
1
2
,
2 [x(t)]
V (x) =
f () d.
0
L(, )dt,
cuyos puntos crticos son exactamente las ecuaciones de movimientos del sistema. Para
ver esto, tomemos una variaci
on s : [0, 1] R de definida en |s| < , con s (0) =
s
P, s (1) = Q s. Llamando (t) =
s (t, 0) al campo variacional de s ,
d
(s) =
ds 0
=
1
0
1
0
d
L(s , s) dt
ds 0
Z
L
s
((t), (t))
(t, 0) dt +
x
s
1
L
L
(, ) dt +
(, )
x
x
L
s
((t), (t))
(t, 0) dt
x
s
1
1
0
L
(, )
dt.
x
Como la variaci
on es propia, (0) = (1) = 0 y
d
(s ) =
ds 0
1 L
Z
0
L
x
(, ) dt.
Por tanto, los puntos crticos de sobre F son las funciones x : [0, 1] R tales que
L
=
x
t
L
.
x
A (1.5) se les llama las ecuaciones de Euler-Lagrange del sistema. En nuestro caso,
L
dT
2L
dV
. Ahora de (1.4) y (1.5) deducimos que
dx = f (x) y x = dx = lxuego tx = x
Los puntos crticos de en F coinciden con los movimientos del sistema.
(1.5)
L
x
15
=
dt
dt
1
2
[x(t)]
x(t)
f ()d
= x(t)x(t)
( f (x(t))) = 0.
El sistema (1.4) es una EDO de segundo orden, y por tanto equivalente a un sistema de
dos EDO de primer orden:
(
x = y
(1.6)
y = f (x),
sistema que puede verse sobre el llamado espacio de fases, que en nuestro caso no es m
as
que T R = R R y que en general es el fibrado tangente del espacio de configuraciones. El
sistema (1.6) determina un campo X X(T R), X(x,y) = (y, f (x)). A las curvas integrales
de X se es llama curvas de fases. As, una curva (t) = (x(t), y(t)) T R es curva de fase si
y s
olo si x(t) es un movimiento del sistema, y encontrar los movimientos de nuestro sistema
equivale a calcular las curvas de fases. Como por cada punto de una variedad para una
u
nica curva integral de un campo dado sobre la misma, tenemos otra forma de justificar el
que para cada x(0), x(0)
R existe una u
nico movimiento con esas condiciones iniciales.
N
otese que una curva de fase podra reducirse a un s
olo punto del espacio de fases, y que
esto ocurre precisamente en un cero del campo X. A los ceros de X en el espacio de fases
se las llama posiciones de equilibrio.
La ley de conservaci
on de la energa puede enunciarse diciendo que si x(t) es un
movimiento, entonces (x(t), x(t))
16
Figura 1.1: Izquierda: El potencial V = V (x). Derecha: espacio de fases y curvas de fases.
Si (x0, y0) T R no es una posici
on de equilibrio, entonces el conjunto de nivel
{E = E(x0, y0)} es una curva regular y embebida alrededor de (x0, y0), cuya primera
componente define el movimiento del sistema con codiciones iniciales x(0) = x0 ,
x(0)
= y0 .
Por ejemplo, supongamos que el potencial sigue una gr
afica como la de la Figura 1.1
izquierda. V tiene tres puntos crticos: dos mnimos locales x0, x2 y un m
aximo local x1 .
Los puntos (x0, 0), (x1, 0), (x2, 0) del espacio de fases son las posiciones de equilibrio del
sistema. La energa total es E(x, x)
= 12 (x)
2 + V (x). Al recorrer una curva de fase E
se mantiene constante, luego cuanto menor sea la energa potencial en un punto de
mayor ser
a la energa cinetica en tal punto (se recorre la curva m
as r
apido). La geometra
de las curvas de fase {E = c} puede describirse analizando los valores de c pr
oximos a
las posiciones de equilibrio. Por ejemplo, para (x, x)
pr
oximo (pero no igual) a (x0, 0), el
potencial se desarrolla V (x) = V (x0) + 12 V 00(x0 )(x x0)2 + O((x x0)3 ). As, la ecuaci
on
E = c se transforma en c = 12 (x)
2 +V (x0)+ 12 V 00 (x0)(xx0)2 +O((xx0 )3 ). Despreciando
el termino O((x x0 )3), tenemos la c
onica del (x, x)-plano
(x)
2 + V 00(x0)(x x0 )2 = 2(c V (x0)).
(1.7)
N
otese que V 00 (x0) 0 (x0 es mnimo local de V ) y que c V (x0) 0 (en caso contrario
(1.7) no tiene soluciones en el (x, x)-plano,
17
1.5.2.
Supongamos ahora que nuestra partcula se mueve en un plano siguiendo una trayectoria p(t) = (x1 (t), x2(t)) R2 tal que
p(t) = f (p(t)),
(1.8)
R2 . La
2
2
energa cinetica de p(t) es la evaluaci
on en p(t)
R = Tp(t)R de la forma cuadr
atica
T (p, v) = T (v) =
1
g0(v, v)
2
(g0 es el producto escalar usual de R2). A diferencia del caso 1-dimensional, la energa
potencial no puede definirse siempre (f es ahora un campo, luego integrarlo supone encontrar una funci
on sobre R2 cuyo gradiente sea ese campo). El sistema se dice conservativo
si V C (R2 ) tal que f = 0 V (gradiente en el sentido del An
alisis), lo cual equivale
a que el rotacional del campo f sea cero. De ahora en adelante supondremos que nuestro
sistema es conservativo. De nuevo el potencial determina las ecuaciones de movimiento y
sus soluciones (i.e. los movimientos del sistema) y si sumamos una constante al potencial,
las ecuaciones de los movimientos no cambian. Estas ecuaciones
diferenciales coinciden con
R1
las ecuaciones de Euler-Lagrange del funcional () = 0 L(, )dt,
donde L C (T R2)
es el lagrangiano L(p, v) = T (v) V (p), y se aplica a cualquier curva : [0, 1] R2
con extremos prefijados.
18
1
p)
+ V (p) = g0(p,
p) + g0(0 V )(p), p)
= g0(p,
p f (p)) = 0.
g0 (p,
2
p = q
q = f (p),
(1.9)
El campo asociado al sistema anterior es X X(T R2 ), X(p,q) = (q, f (p)), y las curvas
integrales (t) = (p(t), q(t)) T R2 de X proyectan al primer factor dando movimientos
de (1.8) y viceversa. La ley de conservaci
on de la energa se enuncia diciendo que para
cada movimiento p(t), la curva (p(t), p(t))
1.5.3.
El p
endulo doble.
h
i
1
2 + 1 m2kCk
2 = 1 (m1 + m2)r1212 + m2 r2222 + m2 r1r2 cos(1 2 )1 2 ,
m1 kBk
2
2
2
19
L(, )
dt
0
definido sobre el espacio F de curvas en M que unen dos puntos P, Q dados, donde
L C (T M ) es el lagrangiano L = T V , y por tanto son las soluciones de las ecuaciones
de Euler-Lagrange de ,
d
dt
L
1
L
=
,
1
d
dt
L
2
L
2
(esto se ver
a en general en la Secci
on 1.5.4).
1.5.4.
Formulaci
on general de la mec
anica Lagrangiana.
L(, )
dt
0
20
i = 1, . . ., n,
Demostraci
on. Tomemos una variaci
on propia u (t) de con campo variacional = (t)
X().
Z 1
Z 1
d
d
L(
(t),
(t))dt
=
u
u
L(u (t), u(t))dt =
du u=0 0
0 du 0
n
1X
L
i
i
L
(u (t), u(t))
(u (t), u(t))
(t, u) +
(t, u)
pi
u
vi
u
0 i=1
XZ
0
X Z
i
1
0
dt =
u=0
L
L
2 i
((t), (t))i(t) +
((t), (t))
(t, 0) dt =
pi
vi
ut
L
(, )i dt +
pi
1
0
d L
i
2L
i
(, )
(, )
(t, 0)
(t, 0) dt .
dt vi
u
tvi
u
Como la variaci
on es propia, el sumando central anterior se anula por la regla de Barrow
luego
d
du u=0
X Z
i
XZ
i
1
0
1
0
L
(, )
i dt
pi
L
2L
pi tvi
1
0
2L
(, )
i dt
tvi
(, )i dt.
21
contante multiplicativa, con el funcional energa de g y por tanto sus puntos crticos son
las geodesicas de la metrica g. En general, para que las ecuaciones de Euler-Lagrange de
L sean las de las geodesicas de una metrica necesitamos que el potencial V dependa no
s
olo de la posici
on, sino tambien de la velocidad.
1.5.5.
Principios de conservaci
on y el Teorema de Noether.
= L((t), (t))
(1.10)
n
X
i=1
L((t), (t)) =
L((t, s),
(t, s))
s
s
t
i(t, s) L
2 i(t, s)
((t, s),
((t, s),
.
(t, s))
+
(t, s))
pi
t
s
vi
t
st
(1.11)
Fijado s,
z }|
z }|
{
{
L
L
L
2L
2L
(s , s ) =
(s (), (ds) ())
=
(, )
=
(, )
=
(s , s ),
pi
pi
pi
tvi
tvi
22
donde hemos usado (1.10) en la segunda igualdad. Por el Lema 1.5.1, t 7 (t, s) es un
movimeinto del sistema. Sustituyendo en (1.11) queda
0=
n
X
i=1
i(t, s) L
2 i(t, s)
2L
((t, s),
((t, s),
(t, s))
+
(t, s))
tvi
t
s
vi
t
st
=
n
X
i=1
donde F (t, s) =
i(t, s)
((t, s),
(t, s))
vi
t
s
Pn
i(t,s)
L
i=1 vi ((t, s), t (t, s)) s .
I(p, v) =
n
X
L
i=1
F (t, s)
,
t
Si ahora definimos
d
(p, v) is (p)
vi
ds 0
23
Ejercicios.
1. En el semiplano superior (R2 )+ = {(x, y) / y > 0} se considera la metrica hiperb
olica
on de M
obius que conserve dicho semiesg = y 2 h, i. Demostrar que toda transformaci
pacio, (z) = az+b
a de ((R2 )+ , g)
cz+d , donde a, b, c, d R con ad bc > 0, es una isometr
en s mismo. Concluir que dados p, q (R2)+ , existe una isometra de ((R2)+ , g) en
s mismo que lleva p en q.
2. Dada una base B de Rn , denotemos por TB al toro n-dimensional obtenido como
cociente de Rn por el grupo Zv1 . . . Zvn , y sea g0 su metrica llana estandar. Por
otro lado, dado r > 0 consideremos la circunferencia S1 (r) R2 centrada en el origen y
de radio r, con metrica estandar g inducida por el producto escalar usual de R2 . Probar
que para cualesquiera r1 , . . . , rn > 0, existe una base B de Rn tal que el toro (TB , g0)
unica?
es isometrico a (S1 (r1) . . . S1 (rn), g .n). . g). Es B
3. Se considera el embebimiento dado por el toro de Clifford,
F : S1(1) S1 (1) S3 (1)
1 (x1 , x2, x3 , x4 ).
2
F (t1 , t2) =
1
3
Sea el retculo de R2 generado por los vectores v1 = (1, 0), v2 = (0, 1). Demostrar
que Fe induce un embebimiento F del toro T = R2 / en S5 (1) (toro equilatero). En
S5 (1), T = R2/ se consideran respectivamente la metrica can
onica g (inducida por el
producto escalar usual de R6) y la metrica pullback F g. Encontrar una metrica g1 sobre
R2 que se induzca al cociente T = R2 / y que lo haga isometrico a (T, F g).
5. Demostrar que el embebimiento de Veronese, inducido en RP2 por la inmersi
on
.
Fe : S2 (1) S4(1/ 3)
Fe (x, y, z) = 12 (x2 y 2), xz, yz, xy, 63 (x2 + y 2 2z 2 )
es un embebimiento isometrico si en RP2 , S4 (1/ 3) consideramos sus respectivas metricas estandar (cociente de la metrica can
onica sobre S2(1) e inducida por el producto
escalar usual de R5 , respectivamente).
6. Se considera el embebimiento de Tai F : RPn S(n+1, R), inducido por la inmersi
on
Fe : Sn (1) S(n + 1, R) / Fe (p) =t p p,
24
7. Un difeomorfismo : (M1, g1) (M2, g2) entre V.R. se dice una transformaci
on
conforme si la metrica pullback g2 es conforme a g1 .
(A) Probar que toda transformaci
on conforme conserva angulos (si (M, g) es una V.R.
y p M , el angulo entre u, v Tp M {0} se define como el menor [0, 2[
que cumple gp(u, v) = kukkvk cos ).
(B) Demostrar que la proyecci
on estereografica respecto de un punto a Sn (1) es una
transformaci
on conforme de (Sn (1) {a}, g1) en (Rn , g0), donde g1, g0 son las
metricas can
onicas de Sn (1) y Rn , respectivamente.
8. Se consideran dos isometras i : (Mi, gi) (Ni, gei), i = 1, 2. Demostrar que la
aplicaci
on producto 1 2 : (M1 M2, g1 g2 ) (N1 N2 , ge1 ge2 ) es una
isometra.
9. Probar que sobre toda variedad diferenciable existe una metrica Riemanniana (Indicaci
on:
usar particiones de la unidad).
Captulo 2
C
alculo en variedades
Riemannianas.
Una forma de encarar el estudio de una V. R. es por medio de los espacios de funciones,
campos o formas que soporta. Sobre estos espacios de funciones, campos y 1-formas act
uan
ciertos operadores diferenciales, en terminos de los que podemos estudiar ecuaciones diferenciales que nos dar
an informaci
on sobre la V.R. Dedicaremos este tema a introducir
algunos de estos operadores diferenciales sobre una V.R. (M n , g).
2.1.
Definici
on 2.1.1 Sea f C (M ). Dado p M , se define (f )p TpM como el u
nico
vector de TpM que cumple
gp((f )p, v) = v(f ),
v Tp M.
2
f
f
x1 , . . . , xn
26
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
Proposici
on 2.1.1 Sean f, h C (M ).
(f h) = f h + hf ,
(1/f ) = f12 f .
1.
(f + h) = f + h,
2.
3.
4.
Demostraci
on. (Ejercicio).
2.2.
La conexi
on de Levi-Civita.
Z X(M ),
xi
n
X
=
kij
,
xj
xk
k=1
DE LEVI-CIVITA.
2.2. LA CONEXION
27
donde los coeficientes kij (llamados smbolos de Christoffel de g) vienen dados por
n
1X
kij =
2 h=1
xi
xj
xh
g hk .
(2.1)
f X1 +X2 Y = f X1 Y + X2 Y,
una conexi
on afn sobre M ).
2.
3.
4.
es la u
nica conexi
on afn sobre M libre de torsi
on y que paraleliza a la metrica.
X (f Y1 + Y2 ) = X(f )Y1 + f X Y1 + X Y2 ( es
Demostraci
on. 1,2,3 son consecuencia directa de la f
ormula de Koszul. En cuanto a 4, si
es una conexi
on afn sobre M libre de torsi
on y que paraleliza a g, entonces
X(g(Y, Z)) = g(X Y, Z) + g(Y, X Z),
Y (g(Z, X)) = g(Y Z, X) + g(Z, Y X),
Z(g(X, Y )) = g(Z X, Y ) + g(X, Z Y ).
Sumando las dos primeras ecuaciones, restando la tercera y usando que es libre de
torsi
on, obtenemos
X(g(Y, Z))+Y (g(Z, X))Z(g(X, Y )) = g(2X Y +[Y, X], Z)+g(Y, [X, Z])+g(X, [Y, Z]),
luego tambien cumple la f
ormula de Koszul, de donde = .
La demostraci
on anterior justifica la Definici
on 2.2.1.
Definici
on 2.2.2 En la situaci
on anterior, a se le llama la conexi
on de Levi-Civita de
n
(M , g).
Ejemplos.
1. La conexi
on de Levi-Civita de (Rn , g0) es X Y = dY (X) (esto se deduce de la
expresi
on local de y de (2.1) con gij = ij ).
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
28
X, Y X(M1 ).
(Ejercicio).
n de Levi-Civita y me
tricas conformes.
5. Conexio
Sea g 0 = e2u g una metrica conforme a g sobre M , donde u C (M ). Entonces, la
f
ormula de Koszul da la siguiente relaci
on entre las conexiones de Levi-Civita de
g y 0 de g 0:
0X Y = X Y + X(u)Y + Y (u)X g(X, Y )u,
donde u es el gradiente de u respecto de g (ejercicio).
2.3.
Sea C (]a, b[, M ) una curva y t0 ]a, b[ tal que 0 (t0 ) 6= 0. Dado X X(), existe
e X(M ) con X
e
> 0 y X
(t) = X(t) siempre que |t t0 | < .
e no depende de la extensi
e de X.
Lema 2.3.1 0 (t0 ) X
on X
Demostraci
on. Expresar X como combinaci
on lineal de una base local de campos asociada
a una carta. Las propiedades de tensorialidad de una conexi
on nos llevar
an a que la
e no depende m
e a lo largo de en
expresi
on de 0 (t0) X
as que del comportamiento de X
un entorno de (t0 ), donde coincide con X (ejercicio).
2
El Lema 2.3.1 nos permite hacer la siguiente definici
on.
29
Definici
on 2.3.1 En la situaci
on anterior, la derivada covariante de X en t0 es el vector
DX
e
(t0 ) = 0 (t0) X.
dt
Proposici
on 2.3.1 La derivada covariante tiene las siguientes propiedades:
DX
dt
1.
X X(),
X().
2.
3.
d
dt (g(X, Y ))
D(f X+Y )
dt
= f 0 X + f DX
dt +
DY
dt
DY
= g ( DX
dt , Y ) + g(X, dt ).
Demostraci
on. 1 es consecuencia de la expresi
on local de
(x1 , . . . , xn)):
DX
dt
n
n
X
X
DX
a0 +
(xi )0aj (kij )
=
k
dt
x
k
i,j=1
k=1
(2.2)
donde X = i ai x
y kij son los smbolos de Christoffel en dicha carta. 2 es una
i
aplicaci
on directa de las propiedades de una conexi
on (en realidad, 1,2 son v
alidas para
cualquier conexi
on afn), y 3 se deduce de que la conexi
on de Levi-Civita paraleliza a la
metrica.
2
Definici
on 2.3.2 Sea :]a, b[ M una curva regular. Un campo X X(M ) se dice
paralelo si DX
dt = 0.
Como los campos paralelos son el n
ucleo del operador D
dt : X() X(), forman un sube
spacio vectorial de X() (pero no un C (]a, b[)-m
odulo). Del apartado 3 de la Proposici
on 2.3.1 se sigue que
Lema 2.3.2 Si X, Y X() son paralelos, entonces g(X, Y ) es constante en ]a, b[. En
particular, la norma de un campo paralelo es constante.
Una consecuencia de (2.2) es que los campos paralelos son localmente las soluciones del
sistema de EDO en ]a, b[
a0k +
n
X
(2.3)
i,j=1
Teorema 2.3.1 Sea : [a, b] M una curva regular1. Dado t0 [a, b] y v T(t0) M ,
!X X() paralelo tal que X(t0) = v.
1
es restricci
on a [a, b] de una curva regular definida en un intervalo abierto que contiene a [a, b].
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
30
Demostraci
on. Si la traza de est
a contenida en un abierto coordenado, entonces el
teorema es consecuencia directa de la teora general de EDO. En el caso general, se recubre
([a, b]) por abiertos coordenados y se usa la unicidad de soluci
on de un p.v.i. para probar
que los campos paralelos dados por el caso anterior coinciden en la intersecci
on de dos
parches.
2
Definici
on 2.3.3 Sea :]a, b[ M una curva regular y [t0, t1 ] ]a, b[. El traslado paralelo
de t0 a t1 lo largo de es la aplicaci
on tt01 : T(t0) M T(t1) M tal que tt01 (v) es el valor
en t1 del u
nico campo X X() paralelo con X(t0) = v.
Proposici
on 2.3.2 En la situaci
on anterior,
1.
tt01 es una isometra vectorial de (T(t0) M, g(t0) ) en (T(t1) M, g(t1)), con inversa
(tt01 )1 = tt10 .
2.
Demostraci
on. La linealidad de tt01 es consecuencia directa de que estructura de espacio
vectorial en el conjunto de campos paralelos y de la unicidad del campo paralelo a partir
de una condici
on inicial. Para ver que tt01 es biyectiva, primero hay que dar sentido a tt10
cuando t1 > t0 . Sea : [t0, t1 ] M la reparametrizaci
on (s) = (t0 +t1 s) de recorrida
al reves. Entonces, tenemos un isomorfismo de C ([t0 , t1])-m
odulos : X() X()
DX
DX
=
ds
dt
(probarlo usando coordenadas locales). Por tanto, lleva campos paralelos a lo largo de
en campos paralelos a lo largo de (y viceversa). De aqu se deduce f
acilmente que
tt01 () tt01 () = 1T(t1 ) M ,
que es el sentido riguroso de la igualdad (tt01 )1 = tt10 del enunciado. Que tt01 respeta las
metricas es consecuencia del Lema 2.3.2.
2
Si :]a, b[ M es una curva regular, [t0, t1 ] ]a, b[ y {v1 , . . ., vn } es una base de
T(t0) M , entonces los campos Pi X(|[t0,t1 ] ) paralelos definidos por Pi (t0 ) = vi o equivalentemente Pi (t) = tt0 (vi ), forman base de cada T(t)M en cada t [t0, t1 ], y se llaman
la base de campos paralelos que extiende a {v1, . . . , vn }. Adem
as, si {v1, . . . , vn } es g(t0) ortonormal, entonces {P1 (t), . . . , Pn(t)} es g(t)-ortonormal t [t0 , t1], luego todo campo
X X(|[t0,t1 ] ) se expresar
a
X=
n
X
i=1
g(X, Pi)Pi .
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
31
Lema 2.3.3 Sea {P1 , . . ., Pn } X(|[t0,t1 ] ) la base de campos paralelos que extiende a
una base {v1, . . . , vn } de T(t0) M (no necesariamente ortonormal). Entonces, un campo
P
X : [t0 , t1] M a lo largo de es diferenciable si y s
olo si X = ni=1 ai Pi con ai
C ([t0, t1]), 1 i n.
Demostraci
on. Ejercicio.
(X Y )p = lm
X
i
"
a0i (0)vi
1
1 X
lm [ai (t) ai (0)] vi = lm
ai (t)(0t)1 (Pi (t)) Y(0) ,
t0 t
t0 t
i
2.4.
Geod
esicas y aplicaci
on exponencial.
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
32
D
ds
d
ds (
) =
d2
ds2
d
dt
d D
ds ds
d
el apartado b) del Ejercicio 8 al
dt . Aplicando
h
i
d D d
D d
(2.4)
i,j
n
n
X
X
XG =
qk
qi qj (kij )
X( 1(U )).
q
k
k
k=1
k=1 i,j=1
(2.5)
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
33
e ser
Demostraci
on. En principio,
a del tipo (, W ), donde :]a, b[ U y W X(). Pero
G
e 0(t) = Xe
=
(t)
X
k
qk (, W )
[W (t)](xi)
qk
qk
(,W )
(,W )
qi (, W )qj (, W )kij ()
i,j,k
i,j,k
qk
qk
(,W )
(,W )
Por tanto,
0
e)=
= ( e) = de (
[W (t)](xi)d(,W )
i,j,k
qk
qk
(,W )
(,W )
Si vemos que
d(p,v)
qk
(p,v)
entonces tendremos
0 =
xk
[W (t)](xi)
d(p,v)
xk
qk
= 0,
(2.6)
(p,v)
= W (t),
como dese
abamos. La demostraci
on de (2.6) es como sigue: Sabemos que los campos b
asicos
asociados a una carta en T M son la imagen inversa por la diferencial de la carta de los
e es f
vectores de la base can
onica de R2n . Usando esto para ( 1) ,
acil llegar a
d(p,v)
d(p,v)
qk (p,v)
qk (p,v)
= d( e1)(p,(ai))
xk p , 0
= d( e1)(p,(ai)) (0, ek ) ,
(p,(ai))
xk p , 0
xk p
d( e1)(p,(ai)) (0, ek ) = 0.
2
Proposici
on 2.4.1 En la situaci
on anterior, se tiene:
34
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
1.
2.
e )0 = k q
ey
obtenemos (qk
e )0 =
(qk
n
X
i,j=1
e )(qj
e )(kij
e ),
(qi
1 k n.
(2.7)
G
La curva (, p, v) = (p,v)
: I(p,v) M es la u
nica geodesica de (M, g) con
0
condiciones iniciales (0, p, v) = p, (0, p, v) = v e I(p,v) es su intervalo maximal de
definici
on.
2.
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
35
Demostraci
on. 1 es consecuencia de los resultados anteriores, y 2 de la teora general del
grupo uniparametrico local asociado a un campo.
2
Lema 2.4.3 (Homogeneidad de las geod
esicas) Dados (p, v) T M y > 0, se tiene
1
I(p,v) = I(p,v) y (t, p, v) = (t, p, v), t I(p,v).
Demostraci
on. Como (t) = (t, p, v) es una reparametrizaci
on proporcional al arco de
una geodesica, es tambien geodesica. Sus condiciones iniciales son (0) = p, 0 (0) =
v, luego a() = (, p, v) por unicidad de las geodesicas. De aqu el Lema se deduce
f
acilmente.
2
Ejemplos de V.R. y sus geod
esicas.
1. Geod
esicas en (Rn , g0).
Las geodesicas son las rectas afines recorridas con velocidad constante.
2. Geod
esicas en (Sn (1), g).
Dados p Sn (1) y v Tp Sn (1) = hpi, kvk = 1. Sea : R Sn (1) el crculo
m
aximo (t) = cos t p + sen t v. La conexi
on de Levi-Civita de la esfera implica que
D 0
n
0
0
0
,
dt = dX ( ) + h , X i, donde X X(S (1)) cumple X = localmente. As
0
D
00
0 2
esica. Si ahora tomamos cualquier
dt = + k k = + = 0, luego es geod
v Tp Sn (1) {0}, entonces el Lema de homogeneidad implica que (t, p, v) =
v
v
(kvkt, p, kvk
) = cos(kvkt) p + sen(kvkt) kvk
. Estas son todas las geodesicas en la
esfera (adem
as de las constantes).
sicas en RPn .
3. Geode
Como una isometra local conserva las conexiones de Levi-Civita (apartado 4 de la
p
agina 28), el punto anterior nos dice que las geodesicas no triviales de RPn son
las proyecciones a RPn de los crculos m
aximos de Sn (1), recorridos con velocidad
constante en norma.
4. Geod
esicas en el plano hiperbolico con el modelo del semiplano.
A continuaci
on determinaremos todas las geodesicas del plano hiperb
olico usando
transformaciones de M
obius. El estudio que sigue puede hacerse en dimensi
on n,
donde hay tambien un concepto de transformaci
on de M
obius (entendida como una
composici
on de inversiones respecto a (n 1)-esferas o (n 1)-planos de Rn ) aunque
no tengamos la ayuda del An
alisis complejo. En el ejercicio 4 pueden encontrarse las
geodesicas del espacio hiperb
olico Hn con el modelo del paraboloide en el espacio de
Lorentz-Minkowski.
Consideremos sobre (R2 )+ = {(x, y) R2 | y > 0} la metrica hiperb
olica g = y12 g0
y la carta global ((R2 )+ , 1d). Los smbolos de Christoffel de g respecto a esta carta
36
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
son (ver ejercicio 5):
111 = 212 = 221 = 122 = 0,
1
,
y
luego la ecuaci
on (2.4) de las geodesicas = (1, 2) se transforma en el sistema de
EDO
0 0
00 2 1 2 = 0,
1
2
(2.8)
0 2
0 2
00 + (1 ) (2 ) = 0
2
2
2
Empezamos buscando soluciones de (2.8) de la forma (t) = (a, 2(t)) con a R
(rectas verticales). La primera ecuaci
on de (2.8) ahora no dice nada, y la segunda
200
20
se transforma en 0 = 2 . Integrando dos veces tenemos 2(t) = eb+ct , luego salvo
2
un cambio de par
ametro afn, (t) = (a, et). N
otese que g ( 0, 0) = 1, luego esta geodesica est
a normalizada, y definida para todo valor del par
ametro. Su traza
2
coincide con una geodesica en la metrica g0 de R , pero no su parametrizaci
on. Si
hacemos algo parecido buscando geodesicas del tipo (t) = (1(t), b) llegaremos a
constante.
En cuanto al resto de geodesicas, sabemos por el ejercicio 1 del Tema 1 que toda
transformaci
on de M
obius (z) = az+b
a
cz+d con a, b, c, d R, adbc > 0, es una isometr
2 +
de (R ) , g) en s mismo. Sea L una recta vertical en C, y una transformaci
on de
M
obius del tipo anterior. (L) ser
a una recta o circunferencia en C que corta ortogonalmente a (R) = R, luego o bien (L) es una recta vertical (que ya hemos estudiado como geodesica del plano hiperb
olico) o (L) es una circunferencia centrada en
un punto de R. Adem
as como (t) = (a, et) es una parametrizaci
on como geodesica
de una semirrecta vertical y es isometra, conclumos que ( )(t) = (a + iet)
es una geodesica de (R2 )+ , g), definida t R. De forma que toda recta vertical o
circunferencia centrada en un punto de R C, cortada con el semiplano superior,
admite una parametrizaci
on como geodesica de ((R2)+ , g). Geometricamente es claro
2 +
que dados p (R ) y v R2 = Tp(R2 )+ , ! recta vertical
o circunferencia centrada un un punto de R que pasan por p y son tangentes a v, luego por unicidad de
las geodesicas estas son todas las geodesicas de ((R2 )+ , g). Otro hecho gr
aficamente
2 +
evidente es que dados p, q (R ) distintos, existe una u
nica geodesica que los une
(esto ser
a generalizable a variedades de Cartan-Hadamard, ver Teorema 3.5.1).
D1G
G
G
Volvamos al grupo uniparametrico {G
esico. Sea A =
t : Dt Dt }t del flujo geod
= {(p, v) T M | 1 I(p,v) }, abierto de T M
A contiene a la secci
on cero de T M .
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
2.
37
Demostraci
on. 1 se deduce de que p M , I(p,0) = R porque (, p, 0) p. En cuanto
a 2, A(p) es abierto de la subvariedad TpM de T M porque A(p) = A Tp M , A(p)
contiene al origen por el punto 1 anterior y es estrellado respecto del origen por el Lema
de Homogeneidad.
2
Definici
on 2.4.2 En la situaci
on anterior, se define la aplicaci
on exponencial de (M, g)
como exp : A M donde
exp(p, v) = (1, p, v),
(p, v) A.
As, exp = G
1 luego exp C (A, M ). Fijado p M , se define la exponencial en p
como expp : A(p) M ,
expp(v) = exp(p, v), v A(p),
d
dt 0 exp p (tv)
d
dt 0 (t, p, v)
= 0(0, p, v) = v.
38
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
Demostraci
on. Sea v =
i i
xi p
TpM . La expresi
on local de la geodesica (t) =
la Proposici
on 2.4.2. Definimos X = j aj x
X(Up ). Por resultados de extensi
on de
j
campos, Vp Up abierto de M conteniendo a p y W X(M ) tales que W |Vp = X|Vp .
As, Wp = Xp = w y s
olo resta comprobar que v W = 0 v TpM :
v W = (|Vp )v
X
j
aj
=
aj v
.
xj
xj
j
Ahora s
olo hay que expresar v x
en combinaci
on lineal de
j
x1 p , . . . ,
xn p
y usar
la Proposici
on 2.4.2 para terminar.
cumplen v x
=
0,
entonces
estas funciones coeficientes f cumplen v(f ) = 0 para todo
j
v Tp M , de donde ya es f
acil deducir que v Ej = 0, 1 j n. Este resultado es muy
u
til a la hora de hacer c
alculos sobre una V.R.
Proposici
on 2.4.3 Sea : (M1 , g1) (M2 , g2) una isometra local, y p1 M1 ,r > 0
tales que expp1 est
a definida en B1 (0, r) = {v1 Tp1 M1 | (g1)p1 (v1 , v1) < r2 }. Entonces,
expp2 est
a definida en B2 (0, r) = {v2 Tp2 M2 | (g2)p2 (v2, v2) < r2 } y expp2 dp =
expp1 en B1(0, r). Si adem
as es isometra, entonces expp1 es biyectiva en B1 (0, r) si
y s
olo si expp2 es biyectiva en B2 (0, r).
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
39
Demostraci
on. Ejercicio.
p, v Rn .
v
,
kvk
p Sn (1), v p.
Adem
as, fijado p Sn (1), expp est
a definida en todo hpi. Para ver cu
al es el
n
mayor entorno normal de p en S (1), empezamos estudiando los puntos crticos de
v
expp(v) = cos kvk p + sen kvk kvk
, que son los v hpi tales que ker(d expp )v 6= 0.
Como (d expp)0 es la identidad, podemos suponer v 6= 0. Dado w Tv (TpSn (1))
Tp Sn (1), un c
alculo sencillo lleva a
(d expp )v (w) =
d
dt 0 exp p (v
+ tw) = hv,wi
kvk sen kvkp +
hv,wi
kvk2
cos kvk
sen kvk
kvk
v+
sen kvk
kvk w.
Como p v y p w, obtenemos
ker(d expp )v =
)
hv, wi sen kvk = 0
(),
h
i
w TpS (1) hv,wi
.
kvk
kvk cos kvk sen
v + sen kvkw = 0 ()
kvk
40
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
llegar al punto antpoda p, pero sin tomar este valor. Es geometricamente claro
que estos medios crculos m
aximos no se cortan, de donde conclumos que expp es
inyectiva en B(0, ). Por tanto,
El mayor entorno normal de p Sn (1) es expp (B(0, )) = Sn (1) {p}.
EXPONENCIAL.
2.4. GEODESICAS
Y APLICACION
41
(2.9)
donde | | representa el m
odulo de un n
umero complejo. Aparentemente, encontrar
todas las soluciones del sistema de EDO anterior es muy complicado. Pero el contenido geometrico del sistema nos llevar
a a solucionarlo completamente. Como en
nuestro caso es 1(t) = f (t) cos t, 2(t) = f (t) sen t donde v = ei , (2.9) se reduce a
(1 f 2 )f 00 cos + 2f (f 0)2 cos = 0
(1 f 2 )f 00 sen + 2f (f 0)2 sen = 0
0
00
0 2
(2.10)
0
)f +2f (f )
f
f
Pero 1f
= (1f (1f
, luego (2.10) equivale a 1f
2
2 )2
2 = cte. (esta misma
ecuaci
on se podra haber obtenido imponiendo simplemente que k 0k es constante
en la metrica hiperb
olica, pero entonces no sabramos si es o no geodesica). Como
f0
f (0) = 0 y f 0 (0) = 1 deducimos que 1f
2 = 1, luego
f 0 = 1 f 2,
f (0) = 0.
(2.11)
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
42
f (t) =
Es f
acil comprobar que f es un difeomorfismo creciente y que cumple (2.10). Esta es,
por tanto, la u
nica soluci
on del p.v.i. (2.10), luego la u
nica geodesica de (D(0, 1), g)
0
con (0) = 0 y (0) = v unitario es
(t, 0, v) = f (t)v = tanh t v,
t R.
(t, 0, v) = kvkt, 0,
v
kvk
= tanh(kvkt)
v
,
kvk
t R.
v
v
= f (kvk)
,
kvk
kvk
v 6= 0.
hv, wi 0
f (kvk)
f (kvk)
f (kvk)
v+
w,
2
kvk
kvk
kvk
(2.12)
donde h, i es el producto escalar usual de R2 . Si v, w fueran linealmente independientes y w ker(d exp0)v {0}, entonces (2.12) implicara que f (kvk)kvk = 0 luego
f (kvk) = 0. Como f es inyectiva y f (0) = 0, tendramos v = 0, contradicci
on. As que
supuesto que d(exp0 )v no es un isomorfismo, entonces ker d(exp0 )v = hvi 6= {0}.
Veamos que esto u
ltimo es imposible en cualquier V.R. (M n , g):
Si p M y v Tp M {0}, entonces
(d expp )v (v) =
d
d
d
expp((1+t)v) = (1, p, (1+t)v) = (1+t, p, v) = 0(1, p, v),
dt 0
dt 0
dt 0
2.5.
43
Divergencia de un campo.
Definici
on 2.5.1 Sea X X(M ). La divergencia de X es la funci
on divX : M R dada
por
!
Tp M T p M
(divX)(p) = Traza
.
v
7 v X
Lema 2.5.1 El operador divergencia cumple las siguientes propiedades:
1.
divX C (M ), X X(M ).
2.
"
n
X
aj
j=1
xj
n
X
ai jij
i=1
i ai xi
con ai C (U )
n
1 X
=
ai G ,
G i=1 xi
(2.13)
donde kij son los smbolos de Christoffel respecto de la carta (U, ) y G = det(gij )i,j
C (U, R+ ).
3.
4.
5.
X X(M ).
Demostraci
on. 1 es consecuencia directa de 2. Una forma alternativa de probar 1 es usando
que U M abierto conteniendo a p y {E1, . . . , En} X(U ) base local ortonormal de
campos tales que v Ei = 0 v TpM , 1 i n (p
agina 38), luego (divX)|U =
P
i g(Ei X, Ei) C (U ).
La primera igualdad de 2 es f
acil (ejercicio). Veamos la segunda igualdad: Primero,
ai
ai G
(ai G) =
G+
.
xi
xi
2 G xi
Para calcular
G
xi
G
xi
=G
gjk kj
j,k xi g .
As,
ai ai X gjk kj
(ai G) = G
+
g
.
xi
xi
2 j,k xi
(2.14)
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
44
Por otro lado,
"
X aj
j
xj
ai jij
X ai
X
=
+
aj iij
(2.1) X ai X aj X
=
+
i
xi
xi
xi
xj
xh
g hi .
Tras desarrollar la u
ltima expresi
on las sumas segunda y cuarta se cancelar
an, quedando
X ai
i
xi
X aj gih
2 xj
i,j,h
g hi =
X ai
xi
X ai gjh
i,j,h
2 xi
g hj .
2.6.
Definici
on 2.6.1 Sean M una variedad diferenciable, f C (M ) y p M un punto
crtico de f . Se define (2f )p : TpM TpM R mediante
(2f )p (v, w) = v(W (f )),
(2.15)
d2
( f )p (v, v) = 2 (f )(t),
dt 0
2
2.7. LAPLACIANO DE UNA FUNCION.
45
1.
2.
Demostraci
on. Tomemos una curva :] , [ M con (0) = p, 0(0) = v. Como v 6= 0,
V X(M ) tal que V = 0 en ] , [(puede que tengamos que tomar m
as peque
no
pero esto no afecta a lo que sigue). Entonces,
d
d
( f )p (v, v) = v(V (f )) = V(t)(f ) = [0 (t)](f ) = (f )00(0).
dt 0
dt 0
2
X, Y X(M ).
2.7.
X, Y X(M ).
Definici
on 2.7.1 Sea M n , g) una V.R. y f C (M ). Se define el laplaciano de f como
la funci
on
f = div(f ) = Traza(2f ) C (M ).
Como 2 f es una forma bilineal simetrica, su traza es independiente de la base s
olo entre
bases ortonormales. Si {E1, . . . , En} es una base ortonormal de X(U ) (siendo U M
P
P
abierto), entonces Traza(2f )|U = i (2f )(Ei, Ei) = i g(Ei f, Ei) = div(f )|U ,
que es la segunda igualdad en la Definici
on.
2
Esta definici
on puede hacerse para cualquier conexi
on afn sobre M , no necesariamente libre de torsi
on.
Cuando es una conexi
on afn cualquiera sobre M , entonces 2 f es simetrico si y s
olo si es libre
de torsi
on.
4
Esta f
ormula ya no es v
alida para conexiones afines cualesquiera.
3
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
46
n
X
n
n
X
X
2f
f g jk
f ik j
g jk +
+
g ij ,
xj xk
xk xj
xk
j,k=1
j,k=1
i,j,k=1
(2.16)
(f + h) = f + h,
(f h) = f h + hf + 2g(f, h).
Demostraci
on. Ejercicio.
2
n
2.8.
Superficies parametrizadas.
1
A f (U ) podemos escribir X(u, v) = i ai (u, v) xi
. Entonces, X X(f ) si y
s
olo si ai C (A), 1 i n (ejercicio). Por ejemplo,
f
u
(u0 ,v0 )
f
v
f (u,v)
f f
,
u v :
(u0 ,v0 )
A T M dados por
f
u
(u0 ,v0 )
f
u
respecto
(xi f )
(u0 , v0),
u
siendo esta u
ltima la derivada parcial cl
asica del An
alisis (an
alogamente para
f
v ).
2.9. CURVATURAS.
47
Definici
on 2.8.2 Sea X X(f ). Se definen las derivadas covariantes
como
: A TM
DX(u0 + t, v0)
DX
,
(u0 , v0) =
u
dt
t=0
DX DX
u , v
DX DX
u , v
DX(u0, v0 + t)
DX
.
(u0, v0) =
v
dt
t=0
X(f ), ya que sus expresiones locales en una carta (U, ) son (ejercicio)
n
n
X
X
DX
a
(xj f ) k
k +
ai
=
(ij f )
u
u
u
xk
i,j=1
k=1
DX
v ),
(y an
alogamente para
donde X =
ai
xi f
D(hX+Y )
u
2.
3.
D
u
h
u X
+ h DX
u +
DY
u
(an
alogamente para
D
v ),
DY
(g(X, Y )) = g( DX
alogamente para
u , Y ) + g(X, u ) (an
f
v
D
v
f
u
v ),
Demostraci
on. 1 y 2 se dejan como ejercicio. Veamos 3: Sea (U, ) una carta de M . Usando
DX
las expresiones locales de f
v y de du , tenemos
D
u
f
v
X 2(xk f ) X (xi f ) (xj f )
=
,
+
(ij f )
k
uv
i,j
2.9.
xk
Curvaturas.
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
48
Definici
on 2.9.1 Se define el tensor de curvatura (de tres variables) de (M, g) como
R : X(M ) X(M ) X(M ) X(M )
(X, Y, Z)
7 R(X, Y )Z = X Y Z Y X Z [X,Y ] Z.
Ejemplos de tensores de curvatura de tres variables.
1. El espacio Eucldeo (Rn , g0).
En este caso tenemos X Y = dY (X). De aqu se deduce f
acilmente que si X, Y, Z
X(Rn ), entonces
Y Z =
Yj dZ(e j ),
X Y Z =
i,j
XiYj (d2Z)(ei , ej ),
i,j
Xiei (an
alogamente para Y).
i,j
Por u
ltimo,
[X,Y ] Z =
[Xi ei ,Yj ej ] Z
i,j
X
i,j
i,j
1
g
x2n 0
, el tensor de curvatura es
X, Y, Z X((Rn )+ ).
2.9. CURVATURAS.
49
4. Superficies regulares de R3 .
Sea S R3 una superficie regular. Sabemos que la conexi
on de Levi-Civita de la
metrica g inducida por g0 = h, i es
X Y = dY (X) hX, AY iN,
(2.17)
(2.18)
Proposici
on 2.9.1 El tensor de curvatura de tres variables cumple las siguientes propiedades:
1.
2.
3.
4.
R
,
xi xj
n
X
ljk
lik
=
xk
xi
xj
l=1
X
+
ljk hil lik hjl
,
xl l,h=1
xh
n
X, Y, Z X(M ).
50
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
Demostraci
on. Ejercicio.
Definici
on 2.9.2 El tensor de curvatura (de cuatro variables) de (M, g) es
R : X(M ) X(M ) X(M ) X(M ) C (M )
(X, Y, Z, W )
7 R(X, Y, Z, W ) = g(R(X, Y )Z, W ).
Ejemplos de tensores de curvatura de cuatro variables.
1. El espacio Eucldeo (Rn , g0).
R(X, Y, Z, W ) = 0, X, Y, Z, W X(Rn ).
2. La esfera (Sn (1), g).
R(X, Y, Z, W ) = hX, W ihY, Zi hX, ZihY, W i,
lico (Hn ,g).
3. El espacio hiperbo
Con el modelo del semiespacio (Rn )+ , g =
1
g
x2n 0
X, Y, Z, W X(Sn (1)).
X, Y, Z, W X((Rn )+ ).
2.
R(X, Y, Z, W ) = R(Y, X, Z, W ).
3.
4.
5.
R(X, Y, Z, W ) = R(Z, W, X, Y ).
2.9. CURVATURAS.
6.
51
X, Y, Z, W X(M ).
Demostraci
on. 1 se deja como ejercicio. 2,3 son consecuencias directas de los apartados
2,3 de la Proposici
on 2.9.1. Para probar 4, basta ver que R(X, Y, Z, Z) = 0 X, Y, Z. Un
c
alculo directo que s
olo usa la definici
on de R y que paraleliza a g, muestra que
R(X, Y, Z, Z) =
i
1h
X(Y (kZk2)) Y (X(kZk2)) [X, Y ](kZk2) = 0.
2
Por u
ltimo, si escribimos 4 versiones de la primera identidad de Bianchi donde la cuarta
variable es X, Y, Z, W en cada ecuaci
on, y sumamos las cuatro ecuaciones, el resultado es
2R(W, Y, Z, X) + 2R(X, Z, W, Y ), lo que implica 5. 6 se deja como ejercicio.
2
Definici
on 2.9.3 Dado p M y Tp M un plano vectorial, se define la curvatura
seccional de como
K() =
donde {v1, v2} es una base de (a kv1 v2k2 = kv1k2 kv2k2 gp (v1, v2)2 > 0 se le llama
elemento de
area de gp asociado a la base).
Para que la definici
on anterior tenga sentido, no debe depender de la base {v1 , v2} elegida. Una forma c
omoda de hacer esto es probar que el cociente anterior es invariante al
aplicar las transformaciones elementales A(v1 , v2) = (v1, v2), B(v1 , v2) = (v1 + v2, v2),
C(v1 , v2) = (v2 , v1) (ejercicio). En el caso particular de que {v1, v2} sea base ortonormal
de (, gp| ), queda K() = Rp(v1, v2, v2, v1).
Cuando n = 2 s
olo podemos tomar = TpM , luego K es en realidad una funci
on de
p M y no de (p, ) como en dimensi
on arbitraria, donde K ha de verse como funci
on en
la Grassmanniana de planos5 sobre M , G2(M ) = pM { TpM | es plano vectorial}.
Ejemplos de curvaturas seccionales.
1. El espacio Eucldeo (Rn , g0).
K(p, ) = 0, TpRn y p Rn .
5
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
52
X, Y, Z, W X(Sn (1)),
R(Xu, Xv , Xv , Xu)
eg f 2
=
,
kXu Xv k2
EG F 2
que es la definici
on cl
asica de la curvatura de Gauss de la superficie S. Por esta
raz
on, para una V.R. abstracta de dimensi
on 2, su curvatura seccional K = K(p) se
llama tambien la curvatura de Gauss de (M 2 , g).
Como consecuencia del apartado 6 de la Proposici
on 2.9.2, tenemos
Teorema 2.9.1 (Egregium de Gauss) La curvatura seccional es invariante frente a
isometras locales.
En particular:
1. Si S1 , S2 R3 son dos superficies regulares de forma que : S1 S2 que conserva
las primeras formas fundamentales, entonces tambien conserva la curvatura de
Gauss. Esto es lo que ocurre con el plano y el cilindro, o con la catenoide y el
helicoide.
2. El modelo del disco para el plano hiperb
olico tiene curvatura de Gauss 1.
2.9. CURVATURAS.
53
2.
3.
y las mismas propiedades son ciertas para R0. Si R(x, y, y, x) = R0 (x, y, y, x) x, y, entonces R = R0 .
Demostraci
on. Sea T = R R0 . Desarrollando 0 = T (x, y + z, y + z, x) se llega a que
T (x, y, z, x) = 0,
x, y, z.
(2.20)
Adem
as,
0 = T (x + z, y, w, x + z) = T (x, y, w, x) + T (z, y, w, z) + T (x, y, w, z) + T (z, y, w, x).
Por (2.20), los sumandos primero y segundo anteriores son cero. Por otro lado, razonando
como en la demostraci
on del punto 5 de la Proposici
on 2.9.2 deducimos de las hip
otesis
1,2,3 que R(x, y, z, w) = R(z, w, x, y), y lo mismo para R0 y para T . As lo u
ltimo queda
0 = T (x, y, w, z) + T (w, x, z, y) = T (x, y, w, z) + T (x, w, y, z),
de donde
T (x, y, w, z) = T (w, x, y, z),
x, y, z, w.
(2.21)
(2.21) implica que z V , dos de los sumandos de la suma cclica x,y,w T (x, y, w, z)
son iguales, pongamos el segundo y el tercero. Cambiando letras, (2.21) tambien implica que los sumandos segundo y tercero de la misma suma cclica coinciden. As, 0 =
x,y,w T (x, y, w, z) = 3T (x, y, w, z) luego T = 0.
2
Proposici
on 2.9.3 Si la curvatura seccional de (M n , g) depende s
olo de p M y no de
2
(p, ) G (M ), entonces
R(X, Y, Z, W ) = K [g(X, W )g(Y, Z) g(X, Z)g(Y, W )], X, Y, Z, W X(M ).
(2.22)
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
54
Demostraci
on. Fijado p M , basta aplicar el Lema 2.9.1 a Tp M , Rp y (x, y, z, w)
7
K(p) [gp(x, w)g(y, z) g(x, z)g(y, w)].
2
Corolario 2.9.1
1.
2.
Definici
on 2.9.4 La derivada covariante del tensor de curvatura de 3 variables es
X R : X(M ) X(M ) X(M ) X(M ),
(X R)(Y, Z)W = X (R(Y, Z)W ) R(X Y, Z)W R(Y, X Z)W R(Y, Z)X W.
Lema 2.9.2 (2a identidad de Bianchi)
X,Y,Z (X R)(Y, Z)W = 0, W M.
Demostraci
on. Ejercicio.
2
a
Una aplicaci
on de la 2 identidad de Bianchi es el siguiente resultado, que muestra que
la condici
on K(p, ) = K(p) es muy restrictiva cuando dim M 3.
Teorema 2.9.2 (Schur) Si (M n , g) es un V.R. conexa con n 3 y K(p, ) = K(p) (p, )
G2 (M ), entonces (M, g) tiene c.s.c.
Demostraci
on. Por la Proposici
on 2.9.3,
R(X, Y, Z, W ) = K [g(X, W )g(Y, Z) g(X, Z)g(Y, W )], X, Y, Z, W X(M ).
De aqu deducimos que K C (M ) y que
R(X, Y )Z = K [g(Y, Z)X g(X, Z)Y ] = K T (X, Y, Z), X, Y, Z X(M ),
(2.23)
2.9. CURVATURAS.
55
Es f
acil ver que W T = 0 (porque paraleliza a g), de donde
(W R)(X, Y )Z = W (K) [g(Y, Z)X g(X, Z)Y ] , X, Y, Z X(M ),
(2.24)
Tp M
v
hp
Tp M
7 Rp (v, Xp)Yp
N
otese que hp es lineal, luego tiene sentido su traza. Que S(X, Y ) C (M ) se deduce de
que si {E1, . . . , En} X(U ) es una base local ortonormal de campos, entonces
S(X, Y )|U =
n
X
R(Ei, X, Y, Ei).
(2.25)
i=1
Proposici
on 2.9.4 El tensor de Ricci cumple:
1.
2.
S es la contracci
on (1, 4) del tensor de curvatura6 de 4 variables.
6
Como R es un tensor covariante, sus contracciones s
olo est
an bien definidas haciendo sumas en bases
ortonormales.
56
3.
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
La expresi
on local de S respecto a una carta (U, = X1 , . . ., xn )) es
S(X, Y )|U =
n
X
g ik R
xi , X, Y, xk
i,k=1
4.
Demostraci
on. Ejercicio.
Definici
on 2.9.6 La curvatura de Ricci de (M n , g), Ric : X(M ) C (M ), es la forma
cuadr
atica asociada al tensor de Ricci,
Ric(X) = S(X, X).
Proposici
on 2.9.5 La curvatura de Ricci tiene las siguientes propiedades:
1.
2.
R
7 Sp (v, v)
Ric :
TM R
(p, v) 7 +Sp (v, v)
Sean p M y v Tp M con kvk = 1. Sean v2 , . . . , vn TpM tales que {v, v2, . . . , vn}
es base gp -ortonormal de TpM . Entonces,
Ricp (v) =
n
X
K(v vi ),
i=2
Demostraci
on. Ejercicio.
Definici
on 2.9.7 Una V.R. (M n , g) con n 3 se dice una variedad Einstein si f
C (M ) tal que el tensor de Ricci viene dado por S(X, Y ) = f g(X, Y ), X, Y X(M ), o
equivalentemente, si la curvatura de Ricci cumple Ric(X) = f kXk2, X X(M ).
En realidad, la definici
on anterior fuerza a f a ser muy especial.
Proposici
on 2.9.6 Si (M n , g) es una V.R. conexa y Einstein (n 3), entonces Ric() =
2
f k k con f constante.
2.9. CURVATURAS.
57
Demostraci
on. Fijemos p M y sea {E1, . . . , En} una base local g-ortonormal de campos
diferenciables sobre un abierto U M que contenga a p, que adem
as cumplan Eip Ej = 0,
1 i, j n. Dados i, j, k, l {1, . . ., n}, sea Rijkl = R(Ei, Ej , Ek , El) C (U ). Por el
ejercicio 15,
Eip (Rjkl ) + Ekp (Rijl) + Ejp (Rkil) = 0,
i, j, k, l, = 1, . . . , n.
(2.26)
n
X
Ricp (ei ),
i=1
R(Ei, Ej , Ej , Ei).
i,j
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
58
1.
2.
Demostraci
on. 1 se prob
o en la p
agina 52. 2 se deja como ejercicio.
2.10.
Campos de Jacobi.
(2.27)
2.
0
y V J cumpliendo hV , i = 0 en todo [a, b].
3.
Sea V J . Si existen t1 , t2 [a, b] distintos tales que V (t1 ), V (t2 ) son ortogonales
a 0(t1 ), 0(t2 ) respectivamente, entonces hV, 0i = 0 en todo [a, b].
4.
DV
dt
59
Demostraci
on.
2
(f )
1. Sea f C ([a, b]). Como 0 es un campo paralelo a lo largo de , es D dt
= f 00 0.
2
Como el tensor de curvatura R(u, v)w es antisimetrico en u, v, es R(f 0, 0) 0 = 0.
De esta forma, la ecuaci
on de Jacobi sobre f 0 se escribe f 00 0 0, que se cumple si
olo si f es una funci
on afn.
y s
olo si f 00 0, esto es, si y s
D2 V
dt2
+ R(V, 0) 0 = f 00 0 +
= f 00 0 +
D2 V
dt2
D2 V
dt2
+ R(f 0 + V , 0) 0
i
+ R(V , 0) 0 .
probar
a que V J . De nuevo la antisimetra de R(u, v)w en u, v nos dice que
2
0
igualdad hV , i = 0.
3. Apliquemos a nuestro campo V J la descomposici
on del apartado 2, de forma
que V = f 0 + V con f afn y V J ortogonal a 0. Evaluando en t1 , t2 esta
igualdad deducimos que f (t1 ) = f (t2 ) = 0, lo cual es suficiente para concluir que f
es identicamente nula por ser funci
on afn.
4. El razonamiento es el mismo del apartado anterior, salvo que ahora para concluir
que f es identicamente nula usamos que en t1 , tanto f como su derivada se anulan.
2
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
60
Definici
on 2.10.2 En la situaci
on anterior, a y b se dicen valores conjugados7 a lo largo
de si J,0 = {V J | V (a) = V (b) = 0} 6= {0}. En este caso, a la dimensi
on de J,0 se
le llama la multiplicidad de a y b como valores conjugados.
Desde luego, J,0 {V J | V (a) = 0}, que tiene dimensi
on n. Todava puede rebajarse
en uno esta dimensi
on:
Corolario 2.10.1 dim J,0 n 1.
Demostraci
on. Sea : {V J | V (a) = 0} {f : [a, b] R | f es afn, f (a) = 0} la
aplicaci
on lineal definida por (V ) = f , donde V = f 0 + V seg
un la descomposici
on del
apartado 2 de la Proposici
on 2.10.1. es trivialmente sobreyectiva luego su n
ucleo tiene
dimensi
on n 1. Adem
as si V J,0, entonces V se anula en dos puntos distintos luego
hV, 0i es identicamente nulo por el apartado 3 de la Proposici
on 2.10.1. En otras palabras,
(V ) = 0, luego J,0 ker().
2
2.10.1.
A continuaci
on determinaremos el espacio de campos de Jacobi J a lo largo de una
geodesica : [a, b] Mn (k) en una V.R. de c.s.c. k R (Mn (k) no es necesariamente
completa ni simplemente conexa). En particular, veremos que la desigualdad del Corolario 2.10.1 no puede mejorarse ya que la igualdad se alcanza en este tipo de variedades,
y estudiaremos la existencia de valores conjugados a lo largo de una geodesica en funci
on
del signo de k.
Dado V J , la Proposici
on 2.10.1 nos dice que V = f 0 +V con f funci
on afn y V
ortogonal a 0. As, s
olo tenemos que determinar c
omo es V . Tomemos una base ortogonal
de campos paralelos a los largo de del tipo { 0, P2, . . . , Pn} (n
otese que no exigimos
que este parametrizada por el arco, luego la base es ortogonal pero no necesariamente
,P i
P
i
ortonormal). V se escribir
a V = ni=2 fi Pi con fi = hVkP ik
diferenciable y
2
0=
n
X
00
D2 V
0 0
+
R(V
,
)
=
fi Pi + fi R(Pi , 0) 0 .
2
dt
i=2
(2.28)
Usando el apartado 2 del Corolario 2.9.1 tenemos R(X, Y )Z = k [g(Y, Z)X g(X, Z)Y ]
X, Y, Z X(M ), luego (2.28) es equivalente a
0=
Xh
X
fi00 + kk 0k2fi Pi .
7
A veces se usa la terminologa (a), (b) son puntos conjugados. Sin embargo, esto puede llevar a
confusi
on porque la geodesica podra no ser embebida.
61
J (M (k)) =
f +
n
X
fi P i
i=2
f es afn y
on de 00 + kk 0k2 = 0
fi es soluci
En realidad, s
olo hemos probado que J est
a contenido en el conjunto de la derecha; para
la igualdad basta contar dimensiones.
Ahora determinaremos J,0 . A partir de ahora supondremos que est
a parametrizada
por el arco y que [a, b] = [0, L], donde L = L() (en realidad estas normalizaciones no
suponen restricci
on alguna; basta conservar ciertas constantes en lo que sigue). Dado
P
V J,0, V debe ser ortogonal a 0 luego se escribir
a V = ni=2 fi Pi con fi soluci
on de
00 + k = 0. La forma general de una soluci
on de esta ecuaci
on diferencial es
(t) = ASk (t) + BCk (t),
donde A, B son n
umeros reales y
Sk (t) =
sen( kt)
t
senh( kt)
1
k
1
k
si k > 0,
si k = 0,
si k < 0,
cos( kt)
Ck (t) =
1
cosh(kt)
si k > 0,
si k = 0,
si k < 0.
(2.29)
1. k > 0. En este caso, Sk (t) = 1 sen( kt) tiene sus ceros en los m
ultiplos enteros de
k
. Esto nos dice que el primer valor conjugado de cero a lo largo de una geod
esica
k
n
3. k < 0. As, Sk (t) = 1k senh( kt), que tampoco se anula salvo en t = 0, por lo
que en una V.R. con c.s.c. negativa no hay valores conjugados de cero a lo largo de
ninguna geodesica.
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
62
2.10.2.
de f cumple V J .
Demostraci
on. V es C por serlo f . Veamos que
ejercicio 14,
D2 V
dt2
(t) =
D D f
dt ds t (t,0)
D D f
ds dt t (t,0)
D D f
ds dt t (t,0)
Por tanto, s
olo resta probar que
+R
D2 V
dt2
f
t (t,0) ,
f
s (t,0)
f
t (t,0)
D D f
ds dt t (t,0)
D f
dt t (t,s)
f
t (t,s)
es el
Nota 2.10.1 El Lema 2.10.1 tiene un recproco: Si V J , entonces existe una variaci
on
f de por geodesicas cuyo campo variacional es V . Adem
as si V (a) = 0, entonces f
puede elegirse propia en a (es decir, f (a, s) = (a) s). Sin embargo, si V (a) = V (b) = 0,
entonces no podemos asegurar que la variaci
on por geodesicas f deba ser propia en ambos
extremos (por otro lado, existe una variaci
on de propia en ambos extremosy con campo
variacional V , pero no necesariamene por geodesicas).
C
Lema 2.10.2 Sea W :] , [ T(a)M con W (0) = 0(a). Entonces, 1 ]0, ] tal que
f : [a, b]] 1 , 1[ M dada por f (t, s) = exp(a) ((t a)W (s)) cumple
1.
f est
a bien definida8 y es una variaci
on de por geodesicas (i.e. f (t, 0) = (t) t
[a, b] y cada f (, s) es geodesica).
2.
V (t) =
f
s (t,0)
J y V (a) = 0.
63
Demostraci
on. Para que f este bien definida, debemos justificar que exp(a) est
a definida
en (t a)W (s) s suficientemente peque
no y t [a, b]. Sea A T M el abierto donde
la exponencial A M est
a definida y es C . Como (b) = exp(a)(b a)W (0), la
curva (s) = ((a), (b a)W (s)) T M verifica (0) A. Por continuidad, 1 ]0, ]
tal que (s) A siempre que |s| < 1 . Esto quiere decir que para tales s, la geodesica
que parte en el instante t = 0 de (a) con velocidad W (s) est
a definida en t = b a,
luego tambien est
a definida en t a para a t b, es decir, exp(a) est
a definida en
(ta)W (s) para cada (t, s) [a, b]]1, 1[. Por tanto, f tiene sentido y es C . Adem
as,
f (t, 0) = exp(a)(t a)W (0) = exp(a) (t a) 0(a) = (t), y fs (t) = exp(a)(t a)W (s) =
(t a, (a), W (s)) es geodesica s, lo que prueba 1. Que V sea de Jacobi se deduce del
Lema 2.10.1, y V (a) = 0 porque f (a, s) = (a) s.
2
Una consecuencia del Lema 2.10.2 es la siguiente expresi
on explcita para los campos
de Jacobi que se anulan en el primer extremo de la geodesica, a partir de su derivada
covariante en este instante:
Proposici
on 2.10.2 Sea V J tal que V (a) = 0. Entonces,
V (t) = d exp(a)
(ta) 0 (a)
(t a)
DV
(a) ,
dt
t [a, b].
Demostraci
on. Tomemos W C (] , [, T(a)M ) con W (0) = 0(a) y W 0 (0) = DV
dt (a).
Tomando suficientemente peque
no, el Lema 2.10.2 asegura que la variaci
on de dada por
f (t, s) = exp(a) (t a)W (s) tiene sentido, es C y por geodesicas, su campo variacional
V1 es de Jacobi y V1 (a) = 0. Veamos que V = V1: como ambos son de Jacobi sobre y
DV1
V (a) = V1(a) = 0, bastar comprobar que DV
dt (a) = dt (a). Primero notemos que
f
t (a,s)
d
du 0 f (a
+ u, s) =
luego
DV1
(a) =
dt
d exp(a)
(ta)W (0)
D f
dt s
d
du 0 exp (a) uW (s)
(a,0)
f
s (t,0)
0
D f
ds t
d
du 0 (u, (s), W (s)) =
= W 0 (0) =
(a,0)
d
= ds
exp(a)(t a)W (s) =
0
(ta) 0 (a)
W (s),
DV
(a).
dt
(t a) DV
dt (a) .
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
64
que es el valor en t a de la u
nica geodesica 1 con las condiciones iniciales 1(0) = (a),
0
0
1 (0) = (a). Por tanto, 1 (t) = (t + a) luego (t a, (a), 0(a)) = 1(t a) = (t). Y
ahora veamos la equivalencia del enunciado:
Supongamos que b es valor conjugado de a a lo largo
de . As
, V J
{0} tal que
DV
V (a) = V (b) = 0. Por la Proposici
on 2.10.2, V (t) = d exp(a)
(t
a)
(a)
,
dt
0
luego evaluando en b deducimos que (b
a) DV
dt
(ta)(a)
(ba) 0 (a)
. Adem
as,
(b
a) DV
a identicamente nulo porque V (a) = 0), luego
dt (a) 6= 0 (en caso contrario V ser
d exp(a)
(ba) 0 (a)
Recprocamente si d exp(a)
0 (a)
(ba)
(ta) 0 (a)
(v) = 0.
(ba) 0 (a)
porque DV
dt (a)
= v
(Proposici
on 2.10.2). Sin embargo, V (a) = 0 = V (b), luego b es valor conjugado de a a lo
largo de .
2
2.10.3.
donde (t a)
O (t a)
est
a acotada cuando t a.
Demostraci
on. Sea f (t) = kV (t)k2 . Como V (a) = 0, es f (a) = 0. Derivando sucesivamente
y usando la ecuaci
on de Jacobi,
f 0 = 2h DV
dt , V i,
2
DV 2
0 0
f 00 = 2h Ddt2V , V i + 2
DV
dt
= 2hR(V, ) , V i + 2k dt k ,
f 000 =
=
f 0000 =
D V DV
0 0
0 0 DV
2h D
dt [R(V, ) ], V i 2hR(V, ) , dt i + 4h dt2 , dt i
0 0
0 0 DV
2h D
dt [R(V, ) ], V i 6hR(V, ) , dt i,
2
0 0 DV
0 0 D V
2h D
[R(V, 0) 0], V i 8h D
dt [R(V, ) ], dt i 6hR(V, ) , dt2 i.
dt2
65
Evaluando en a,
f (a) = 0,
DV
f (a) = 2k
(a)k2,
dt
Calculamos
D
0 0
dt [R(V, ) ]t=a .
00
0 0
hD
dt [R(V, ) ], W i(a) =
000
f (a) = 0,
Dado W X(),
d
0 0
dt t=a R(V, , , W )
D
DV
f (a) = 8h [R(V, 0) 0]
,
(a)i.
dt
dt
t=a
0000
d
dt t=a
hR(V, 0) 0, DW
dt i(a)
R(V, 0, 0, W ) =
d
0 0
dt t=a R(W, , , V )
0 0
0 0 DV
= hD
dt [R(W, ) ], V i(a) + hR(W, ) , dt i(a)
DV
DV
0 0
0 0
= R(W, 0, 0, DV
dt )(a) = R( dt , , W )(a) = hR( dt , ) , W i(a)
D
0 0
dt [R(V, ) ]t=a
0
0
= R( DV
dt (a), (a)) (a).
DV
0
0
As, f 000(a) = 8R(a) DV
dt (a), (a), (a), dt (a) . El resto se reduce a desarrollar f en
serie alrededor de t = a.
2
Corolario 2.10.3 Sea : [0, L] M una geodesica p.p.a. con p = (0), v = 0(0). Sean
w TpM unitario y ortogonal a v, y V el u
nico campo de Jacobi a lo largo de con
DV
V (0) = 0, dt (0) = w. Entonces, para t pr
oximo a cero se tiene
1
kV (t)k2 = t2 K(v w)t4 + O(t5 ).
3
La igualdad anterior es la formulaci
on cuantitativa del hecho comentado arriba: la curvatura seccional en un punto p M informa sobre la velocidad de dispersi
on de las geodesicas
radiales en p.
2.10.4.
debida principalmente a Elie Cartan. Para estudiarla, necesitamos introducir las coordenadas polares geodesicas.
Sea p un punto en una V.R. (M n , g). Tomemos un radio geodesico R > 0 en p (luego
expp es un difeomorfismo de B(0, R) = {w TpM | kwk < R} en la bola geodesica
B(p, R)) y llamemos Sn1
(1) = { TpM / kk = 1} a la esfera unidad de (TpM, gp).
p
Dado Sp (1), sea = (t) la u
nica geodesica en (M, g) con condiciones iniciales
(0) = p, 0 (0) = ( es p.p.a. y est
a definida al menos para |t| < R). Tenemos
66
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
d
d
dF(t,)(1, 0) =
F (t + s, ) =
(t + s) = 0 (t),
ds 0
ds 0
y si v hi = T Sp (1) entonces
dF(t,)(0, v) = d expp
t
(tv)
(Proposici
on 2.10.2)
:=
Jv (t),
v
donde Jv es el u
nico campo de Jacobi a lo largo de con Jv (0) = 0, DJ
dt (0) = v. Por la
0
Proposici
on 2.10.1, Jv (t) es siempre ortogonal a (t).
C
omo se escribe la metrica g en coordenadas polares? Por bilinealidad, basta controlar
los siguientes terminos:
67
Ejercicios.
1. Sea a Sn (1). Calcular el gradiente de la funci
on altura f : Sn (1) R dada por
f (p) = hp, ai, si en la esfera se considera su metrica estandar. Comprobar que las
hipersuperficies de nivel de f son ortogonales al campo gradiente de f .
2. Probar que en (Rn , g0), un campo X a lo largo de una curva regular es paralelo si si
s
olo si X es constante. Deducir que el traslado paralelo a lo largo de es la identidad.
3. Sean (M1n , g1), (M2m , g2) dos variedades Riemannianas. En M1 M2 se considera la
metrica producto g = g1 g2.
(A) Denotemos por 1, 2, a las conexiones de Levi-Civita de (M1 , g1), (M2 , g2) y
(M1 M2 , g). Demostrar que para X1 , Y1 X(M1 ), X2 , Y2 X(M2 ) se cumple
en A1(p1 ) A2 (p2).
n
X
xi yi xn+1 yn+1 ,
i=1
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
68
(A) Llamemos Hn (1) = {p Rn+1 / hp, piL = 1, xn+1 (p) > 0}, que es una de
las dos componentes de un paraboloide no reglado en Rn+1 . Probar que Hn (1)
es una hipersuperficie de Rn+1 .
(B) Mostrar que dado p Hn (1), el espacio tangente a Hn (1) viene dado por
TpHn (1) = {v Rn+1 / hv, piL = 0}.
Dado p Hn (1), llamemos gp : Tp Hn (1) TpHn (1) R al tensor gp (v, w) =
hv, wiL, v, w Tp Hn (1). Demostrar que (Hn (1), g) es una variedad Riemanniana.
(C) Sea la conexi
on de Levi-Civita para g. Probar que
(X Y )p = (Xe Ye )p hXp, Yp iL p,
p Hn (1),
(D) Dados p Hn (1) y v TpHn (1) con kvk = 1, probar que la curva t
R 7 (t) = cosh(t)p + sinh(t)v es una geodesica en (Hn (1), g) con (0) = p,
0(0) = v. Demostrar que la exponencial expp : Tp Hn (1) Hn (1) es un
difeomorfismo.
(E) Probar que (Hn (1), g) tiene curvatura seccional constante 1.
5. Probar que los smbolos de Christoffel del espacio hiperb
olico con el modelo del semiespacio ((Rn )+ , g 0 = x12 g0 ) respecto a la carta ((Rn )+ , 1d) son
n
1
xn
69
D(X)
ds
= 0
DX
dt
Sean [s0 , s1] ]c, d[ y [t0, t1 ] = ([s0, s1 ]) ]a, b[. Probar que si es creciente,
entonces tt01 () = ss01 ().
9. Derivada de un determinante.
a) Sea A C (]a, b[, Mn(R)) una familia de matrices tal que t0 ]a, b[ con A(t0) =
In . Probar que (det A)0(t0 ) = Traza(A0(t0 )) (indicaci
on: usar la tensorialidad del
determinante sobre las columnas de A(t) para calcular (det A)0(t)).
b)
t(A1 )
kA1 k2
70
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
(A) Probar que los tensores de curvatura R, R0 de g y g 0 se relacionan mediante
n
1
g
x2n 0
es
X, Y, Z X((Rn )+ ).
X, Y, Z X(Sn (1)),
f f
R
,
u v
D
X=
u
DX
v
DX
u
71
15. Sea (M n , g) una V.R., p M y {E1, . . ., En } una base local de campos diferenciables sobre un abierto U que contiene a p, ortonormales en cada punto de U y
cumpliendo Eip Ej = 0, i, j = 1, . . ., n. Dados i, j, k, l {1, . . ., n}, llamemos
Rijkl = R(Ei, Ej , Ek , El) C (U ). Usar la segunda identidad de Bianchi para probar
que
Eip (Rjkl ) + Ekp (Rijl) + Ejp (Rkil) = 0,
i, j, k, l, = 1, . . ., n.
(?)
16. Curvaturas y m
etrica producto.
Para i = 1, 2, sea (Mi , gi) una variedad Riemanniana con tensor de curvatura Ri , curvatura seccional Ki , curvatura de Ricci Rici y curvatura escalar i. Llamemos R, K, Ric
y a las curvaturas correspondientes en (M1 M2 , g1 g2 ). Sean (p1, p2) M1 M2 ,
v1 , w1 Tp1 M1 linealmente independientes y v2 , w2 en Tp2 M2 linealmente independientes. Probar que
(A) La curvatura seccional del plano generado por v1 , w1 en Tp1 M1 y la del plano
generado por (v1, 0), (w1, 0) en T(p1,p2 ) (M1 M2 ) cumplen K((v1, 0) (w1, 0)) =
K1(v1 w1 ). Analogamente, K((0, v2) (0, w2)) = K2(v2 w2).
(B) K((v1, 0) (0, v2)) = 0.
(C) (Ric1 )p1 (v1) = Ric(p1 ,p2 )(v1 , 0). Analogamente, (Ric2 )p2 (v2) = Ric(p1 ,p2 )(0, v2).
(D) = 1 1 + 2 2 , donde i es la proyecci
on can
onica de M1 M2 en Mi ,
i = 1, 2.
17. Sea (M, g) una variedad Riemanniana, con conexi
on de Levi-Civita . Sea define la
derivada covariante del tensor de curvatura como R : X(M ) .4). . X(M ) X(M )
dada por
(R)(X, Y, Z, W ) = X (R(Y, Z)W )R(X Y, Z)W R(Y, X Z)W R(Y, Z)X W,
para cualesquiera X, Y, Z, W X(M ). Probar que R es tensorial en sus cuatro variables.
18. Variedades localmente sim
etricas.
Una variedad Riemanniana (M n , g) se dice localmente simetrica si R = 0 (con la
notaci
on del problema anterior).
(A) Probar que si (M, g) tiene curvatura seccional constante, entonces es localmente
simetrica. Demostrar que cuando dim M = 2, el recproco es cierto.
(B) Supondremos en los apartados que restan que (M, g) es localmente simetrica (con
dim M = n). Dada una curva regular :]a, b[ M y tres campos paralelos
X, Y, Z X() a lo largo de , probar que R(X, Y )Z vuelve a ser un campo
paralelo a lo largo de .
72
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
(C) Sea : [0, +[ M una geodesica. Dado t 0, se considera el endomorfismo
f 0 (t) : T(t)M T(t)M / f 0 (t)(v) = R(t)(v, 0(t)) 0(t).
Demostrar que f 0 (t) es autoadjunto respecto a g(t), t 0. Sea {e1, . . . , en } una
base ortonormal de (T(0)M, g(0)) formada por vectores propios de f 0 (0), esto
es, f 0 (0)(ei ) = iei para ciertos i R, i = 1, . . . , n. Demostrar que la base
ortonormal de campos paralelos {P1 , . . . , Pn} X() dados por las condiciones
iniciales Pi (0) = ei (1 i n) cumple
f 0 (t) (Pi (t)) = iPi (t),
t 0, i = 1, . . ., n.
e
i := Ei f X (f ) n + 1 i m.
y dado cualquier campo normal a f , se tiene que es diferenciable en U si
P
y s
olo si = m
i=n+1 ai i con ai C (U, R) i = n + 1, . . . , m.
(B) Deducir de lo anterior que dado X X(N ), existen X X(M ), X (f ) tales
que
X f = df (X) +
en M.
(C) Sean X, Y X(M ). Viendo df (X), df (Y ) como campos globales en N (en rigor,
fijado p M tenemos un abierto U alrededor de p tal que f : U N es un
embebimiento, y campos X, Y X(N ) tales que (f |U ) X = X, (f |U ) Y = Y en
f (U ); en lo que sigue, identificaremos df (X) con X y df (Y ) con Y abusando de
notaci
on). Probar que si aplicamos a df (X)df (Y ) la descomposici
on del apartado
(B), obtenemos la siguiente relaci
on entre las conexiones de Levi-Civita de (M, g)
y (N, g):
df (X)df (Y ) = df (X Y ) + (X, Y ),
73
n
1X
1
ki = Traza(),
n i=1
n
K=
n
Y
ki = det() C (M ).
i=1
Una inmersi
on isometrica se dice minimal si H 0 en M .
(E) Demostrar que el toro de Clifford es un embebimiento minimal de S1 (1) S1 (1)
en S3(1) (se conjetura que es el
unico toro minimal embebido en S3 (1), pero este
problema sigue abierto).
74
CAPITULO 2. CALCULO
EN VARIEDADES RIEMANNIANAS.
Captulo 3
Geometra y curvatura.
Una vez introducidas las herramientas necesarias, obtendremos en este tema algunos
de los resultados centrales en la Geometra Riemanniana.
3.1.
k0 (t)kdt =
k Z
X
ti
k0 (t)k dt.
i=1 ti1
Por la f
ormula del cambio de variable en integraci
on, la longitud es invariante frente a
reparametrizaciones. Tambien es claramente invariante por isometras locales.
En la Secci
on 1.1 plante
abamos la cuesti
on de cu
al es la curva m
as corta uniendo
dos puntos del plano o de una superficie regular de R3 . Ahora nos plantearemos la misma pregunta en nuestra V.R. (M n , g). En el caso (M, g) = (Rn , g0), podemos repetir el
razonamiento a traves del Lema 1.1.1 y los Corolarios 1.1.1 y 1.1.2, concluyendo que la
curva m
as corta que une dos puntos de (Rn , g0) es el segmento de recta que los une. Y la
distancia usual en Rn es justamente la longitud de dicho segmento. Esto justifica definir
Definici
on 3.1.2 Dados p, q M , se define la distancia de p a q como
d(p, q) = inf{L() | curva C a trozos con origen p y extremo q}.
Para que el nfimo anterior tenga sentido, necesitamos el siguiente
75
76
d(p, q) 0.
2.
3.
Demostraci
on. 1 es trivial. 2 se deduce de que existe una biyecci
on que conserva las longitudes, del conjunto de curvas diferenciables que empiezan en p y terminan en q en el
conjunto de curvas diferenciables que empiezan en q y terminan en p. Para 3 basta conectar curvas que empiezan en p y terminan en x con curvas que comienzan en x y terminan
en q, y luego comparar los nfimos de las longitudes de estas curvas conectadas con todas
las que comienzan en p y terminan en q.
2
Para que d sea una distancia, falta ver que si p 6= q son puntos de M , entonces d(p, q) > 0.
Esta propiedad costar
a m
as esfuerzo que las anteriores. Recordemos que dado p M , la
exponencial expp est
a definida y es C sobre un abierto A(p) TpM que es estrellado
respecto al origen.
Lema 3.1.2 (Gauss) Sea v C (] , [, M ) una curva tal que tv(s) A(p), (t, s)
] , 1 + [] , [ para cierto > 0. As, f :] , 1 + [] , [ M dada por
f (t, s) = expp (tv(s)) es una superficie parametrizada. Si kv(s)k es constante, entonces
f
g( f
t , s ) = 0 en ] , 1 + [] , [.
Esta es una propiedad de espacios topol
ogicos: si (X, T ) es un espacio topol
ogico conexo y localmente
arcoconexo, y C es una componente arcoconexa de (X, T ), entonces C es abierta. Como X se escribe en
uni
on disjunta de sus componentes arcoconexas y estas son abiertas, entonces caso de haber m
as de una
se contradira la conexi
on de (X, T ).
1
3.1. DISTANCIA ASOCIADA A UNA METRICA.
77
Demostraci
on. Usando la definici
on de f y el Lema de homogeneidad, es f
acil ver que
f
t
= 0(t, p, v(s)),
t, s.
(3.1)
(t,s)
D
t
f
t
= 0 t, s.
2
f
= k 0(t, p, v(s))k2 = kv(s)k2 = cte., luego
(3.1) tambien implica que
t
(t,s)
f
g( f
t , s ) = g
D f f
t t , s
+g
f D f
t , t s
=g
f D f
t , s t
1
2 s
2 = 0.
k f
t k
f
Como lo anterior es cierto t, s, tenemos que para s arbitrario, g( f
t , s ) no depende de t.
f f
As queel Lema
estar
a
ltimo se deduce
probado si vemos que g( t , s )(0, s) = 0, y esto u
de que
f
s (0,s)
d
d o
expp (0 v(s + )) = 0.
gexpp v (d expp )v (v), (d expp )v (w) =
(d expp )v (v)
= k 0(1, p, v)k2 = kvk2 = gp (v, w).
Ahora supongamos gp (v, w) = 0. Por tanto, podemos ver w como vector tangente a
Sn1 (kvk) (TpM, gp ) en el punto v Sn1 (kvk), luego v = v(s) :] , [ Sn1 (kvk)
curva C tal que v(0) = v, v 0(0) = w. Como v A(p) y A(p) es abierto, no perdemos
generalidad suponiendo que v(] , [) A(p). Como v([ 2 , 2 ]) es un compacto contenido en el abierto A(p), > 0 tal que tv(s) A(p) (t, s) ] , 1 + [] 2 , 2 [ As,
f (t, s) = expp (tv(s)) es una superficie parametrizada definida en ] , 1 + [] 2 , 2 [ a
f
la que podemos aplicar el Lemade Gauss, que nos dice g(f
t , s ) = 0 t, s. Evaluando en
t = 1 y s = 0 tendremos gexpp v (d expp )v (v), (d expp)v (w) = 0.
2
Definici
on 3.1.3 Sea p M . Una bola geodesica centrada en p y de radio r > 0 es un
entorno normal del tipo B(p, r) = exp(B(0, r)), donde B(0, r) = {v Tp M | kvk < r}. Una
esfera geodesica centrada en p y de radio r es la frontera topol
ogica de la bola geodesica
B(p, r), siempre que exista > 0 tal que B(p, r + ) sea tambien bola geodesica. En
particular, expp es un difeomorfismo de B(0, r) en B(p, r) y de Sn1 (0, r) = B(0, r) en
S(p, r) = B(p, r).
78
N
otese que a
un no sabemos si B(p, r) = {q M | d(p, q) < r}, S(p, r) = {q
M | d(p, q) = r} (veremos esto en la Afirmaci
on 3.1.2).
Proposici
on 3.1.2 Las geodesicas radiales partiendo de p M son ortogonales a las
esferas geodesicas centradas en p.
Demostraci
on. Sea S(p, r) una esfera geodesica de radio r > 0, y q S(p, r), w Tq S(p, r).
Como expp : S(0, r) S(p, r) es un difeomorfismo, !x S(0, r), ! TxS(0, r) = hxi
tales que expp x = q, (d expp )x() = w. Por el Corolario 3.1.1,
L() = kvk.
2.
Demostraci
on. 1 es claro. Veamos 2 discutiendo dos casos sobre la curva .
Caso I: Supongamos ([0, 1]) B(p, r).
Sea = exp1
a trozos en B(0, r) con la misma partici
on de vertices que
p , curva C
y (0) = 0, (1) = v. Sea t ]0, 1] cumpliendo (t) = 0, (t) 6= 0 t ]t, 1]. En
]t, 1] =]t, 1] {vertices de }, podemos descomponer
0
= gp
,
kk
0
+ ,
kk
en ]t, 1],
= (d expp ) ( ) = gp
y
0 2
k k = gp
,
kk
0
,
(d expp )
kk
0
+ (d expp ) ( )
kk
2
2
(d exp )
+ k(d exp ) ( )k2
p
p
kk
3.1. DISTANCIA ASOCIADA A UNA METRICA.
+2gp 0 ,
g (d expp )
kk
79
, (d expp ) ( ) .
kk
Como = exp , podemos usar el Lema de Gauss en los sumandos primero y tercero.
Como , el tercer sumando se anula. As obtenemos
0 2
k k = gp
,
kk
0
2
(A)
+ k(d expp ) ( )k gp
,
kk
0
2
Y de aqu,
(B)
L()
L()1t
=
kk dt
t
(C) Z
gp 0, dt
kk
1
t
gp
,
dt
kk
()
gp 0 , kk
kk
0
kk
kk
= cI en I. De la igualdad en (B) se
80
p Sn (1) es B(p, ) = Sn (1) {p}, luego dado cualquier punto q Sn (1) {p}, la
curva m
as corta uniendo p con q es el u
nico arco de crculo m
aximo de longitud <
con estos extremos (la unicidad se pierde cuando la distancia es , y los arcos de crculo
m
aximo de longitud > no son minimizantes).
Corolario 3.1.2 d es una distancia sobre M , y la topologa que genera coincide con la
topologa subyacente de M como variedad diferenciable2.
Demostraci
on. Para que d sea una distancia, s
olo queda ver que si p 6= q, entonces d(p, q) >
0. Esto ser
a consecuencia de la siguiente
Afirmaci
on 3.1.1 Si B(p, r) es una bola geodesica y q
/ B(p, r), entonces d(p, q) r.
Demostraci
on de la Afirmaci
on 3.1.1. Basta ver que toda curva C a trozos uniendo
p y q cumple L() r. Fijemos una curva de este tipo y sea r0 ]0, r[. Como es
continua, (0) B(p, r0) y (q)
/ B(p, r0), t0 [0, 1] tal que (t0 ) B(0, r0) =
0
0
expp ( B(0, r )) = S(p, r ) (esfera geodesica). Llamemos x B(0, r0) al u
nico vector de
B(0, r) que se aplica en (t0 ) por expp. Como x B(p, r), el Teorema 3.1.1 implica que
L()t00 r0, luego L() r0. Como esto es cierto r0 ]0, r[, tenemos L() r y la
Afirmaci
on est
a probada.
Sea Td la topologa generada por d y T la topologa original de M . Td tiene por base
de entornos de cada p M a {Bd (p, r) = {q M | d(p, q) < r} | r > 0}, mientras que
T tiene por base de entornos de p a {B(p, r) = expp (B(0, r)} | r es radio geodesico en p}.
Por tanto, T coincidir
a con Td si vemos la siguiente
Afirmaci
on 3.1.2 Si B(p, r) es una bola geodesica, entonces B(p, r) = Bd (p, r).
Demostraci
on de la Afirmaci
on 3.1.2. La Afirmaci
on 3.1.1 implica que Bd (p, r) B(p, r).
Recprocamente, si q B(p, r) entonces v B(0, r) tal que q = expp v. Por el Teorema 3.1.1, d(p, q) = kvk < r luego q Bd (p, r).
2
Corolario 3.1.3 (Funci
on distancia a un punto) Sea p0 M y dp0 : M R la
funci
on continua3
dp0 (p) = d(p, p0), p M.
Si r > 0 es un radio geodesico4 en p, entonces dp0 C (B(p0 , r) {p0}).
2
En particular, la topologa generada por la distancia asociada a una metrica no depende de la distancia
ni de la metrica.
3
La desigualdad triangular implica que la funci
on distancia a un punto es continua en cualquier espacio
metrico.
4
Un radio geod
esico es el radio de una bola geodesica.
3.1. DISTANCIA ASOCIADA A UNA METRICA.
81
Demostraci
on. Por el Teorema 3.1.1, la expresi
on local de dp0 respecto a la carta (B(p0 , r), exp1
p0 )
es (dp0 expp0 )(v) = kvk, v B(0, r).
2
Ejemplos de distancias asociadas a V.R.
1. El espacio eucldeo n-dimensional.
En (Rn , g0), dp0 (p) = kp p0 k p Rn (porque todos los radios son geodesicos en
cualquiero punto p0 Rn ).
2. La esfera est
andar (Sn (1), g).
n
v
Dados p S (1) y v TpSn (1), tenamos (t, p, v) = cos(kvkt)p + sen(kvkt) kvk
.
n
n
Adem
as, B(p, ) = S (1){p} es bola geodesica luego q S (1){p}, d(p, q) =
kvk donde v B(0, ) TpSn (1) viene dado por (1, p, v) = q. De esta u
ltima
igualdad, tomando producto escalar con p, tenemos cos kvk = hp, qi luego
d(p, q) = arc coshp, qi, p, q Sn (1).
(3.2)
(en realidad s
olo hemos probado (3.2) cuando p 6= q; el caso p = q se tiene por
continuidad).
Definici
on 3.1.4 El di
ametro de una V.R. (M n , g) es el di
ametro del espacio metrico
(M, d) donde d es la distancia asociada a g:
diam(M, g) = sup{d(p, q) | p, q M }.
Ejemplos de di
ametros.
1. diam(Rn , g0) = .
2. diam(Sn (1), g) = .
3. diam(RPn , g) = 2 :
Sabamos que dado p Sn (1) con proyecci
on [p] RPn , B([p], 2 ) es bola geodesica.
n
Por tanto, diam(RP , g) 2 . Por otro lado, dado cualquier q Sn (1) al menos
un elemento del conjunto {q, q} est
a en el hemisferio superior cerrado centrado en
p, luego una de las distancias en (Sn (1), g) de p a q o de p a q es 2 . Como
conserva longitudes de curvas y podemos unir p con q (o p con q) por una curva en
Sn (1) de longitud 2 , deducimos que [p], [q] pueden unirse en RPn por una curva
de longitud 2 . Como [p], [q] son arbitrarios, tenemos diam(RPn , g) 2 luego se
tiene la igualdad.
82
3.2.
Recordemos que en toda V.R. (M n , g), la exponencial exp estaba definida y era diferenciable en un abierto A T M que contiene a la secci
on cero.
Proposici
on 3.2.1 Dado p M , existen abiertos V A y U M con (p, 0) V y
p U , tales que la aplicaci
on
(, exp) :
U U
(q, v) 7 (q, expq v)
es un difeomorfismo.
Demostraci
on. Por el Teorema de la funci
on inversa aplicado a (, exp) : A M M ,
basta probar que d(, exp)(p,0) : T(p,0)A = T(p,0)T M Tp M TpM es un isomorfismo de
espacios vectoriales. Esto lo haremos viendo que d(, exp)(p,0) es sobreyectiva, lo que a su
vez ser
a consecuencia de los siguientes dos puntos:
(A) v TpM , (v, 0) est
a en la imagen de d(, exp)(p,0).
(B) v TpM , (v, v) est
a en la imagen de d(, exp)(p,0).
Sea v TpM y : (, ) M una curva diferenciable con (0) = p, 0 (0) = v. Tomemos
e := (, W ) es una curva diferenciable sobre
un campo W X() tal que W (0) = 0. As,
e (0) = (p, 0) luego por continuidad podemos suponer (t)
e
TM y
A t (, ).
Adem
as,
e 0(0)) =
d(, exp)(p,0)(
d
d
(t), exp(t) W (t) = v, exp(t) W (t) .
dt 0
dt 0
Supongamos ahora que es una geodesica (luego necesariamente (t) = (t, p, v)) y que
W es de la forma W (t) = f (t)0 (t), con f C (, ), f (0) = 0. As,
e 0(0)) =
d(, exp)(p,0)(
d
v, exp(t) f (t)0 (t) .
dt 0
Por otro lado, (s) = (t + s) es una geodesica con condiciones iniciales (0) = (t),
0 (0) = 0 (t), y s 7 exp(t) s0 (t) es otra geodesica con las mismas condiciones iniciales,
luego (t + s) = exp(t) s0 (t) siempre que |t + s| < y |t| < . En particular,
(t + f (t)) = exp(t)(f (t)0 (t))
para |t| < y para cierto > 0. As,
e 0 (0)) = v,
d(, exp)(p,0)(
d
(t + f (t)) = (v, [1 + f 0 (0)]0(0)) = (v, [1 + f 0 (0)]v).
dt 0
83
0
la imagen de d(, exp)(p,0); por u
ltimo, si tomamos f C (, ) con f (0) = 0, f (0) = 0,
tenemos que (v, v) est
a en la imagen de d(, exp)(p,0).
2
Lema 3.2.1 Sean W M un abierto que contenga a p y > 0. Llamemos
W() = {(q, v) T M | q W, gq (v, v) < 2 }.
Entonces, B(p,0) = {W() | W M abierto conteniendo a p, > 0} es base de entornos
abiertos de (p, 0) en la topologa de T M .
Demostraci
on. Sea F : T M R, F (q, v) = (q, gq(v, v)). Como F es continua y W() =
1
F (W ] , [), W() es abierto de T M . Por tanto, B(p,0) ser
a base de entornos de (p, 0)
en T M si vemos que O T M abierto con (p, 0) O, W M abierto con p W y
> 0 tales que (p, 0) W() O (que (p, 0) W() es gratis).
Una base de la topologa de T M es
abto.
abto.
n
X
a2i
gq (v, v) C2 (q)
i=1
n
X
a2i ,
i=1
xi q
| 1 i n} de
Sean q O1 y v = i ai xi
con gq (v, v) < 2 . Como C1 i a2i gq (v, v) < 2 ,
tenemos
2
i ai <
2
C1
84
2.
q W , W B(q, ).
abto.
Demostraci
on. Por la Proposici
on 3.2.1, V A y U M con (p, 0) V y p U ,
abto.
85
86
3.3.
2.
3.
87
Demostraci
on. 1,2 son evidentes. Para ver 3, basta ver que toda sucesi
on de Cauchy en
a convergente por ser (M, g)
(M, dg0 ) es tambien de Cauchy en (M, dg ) (en tal caso ser
completa, y ser convergente s
olo depende de la topologa). Esto es consecuencia de que
0
dg dg0 porque g g . Por u
ltimo, usando 1 podemos reducir 4 al caso en que es la
inclusi
on. Sean dg , dig las distancias inducidas por g, i g en N, M respectivamente. Como
Lg () = Lig () curva en M , tenemos dg (p, q) di g (p, q), p, q M . Esto implica
que si {pk }k M es de Cauchy en dig , entonces es tambien de Cauchy en dg , luego
convergente en N . El lmite en N de {pk }k tiene que estar en M por ser esta cerrada,
luego {pk }k M es convergente en M .
2
Empezamos ya los preparativos del Teorema de Hopf-Rinow.
Lema 3.3.1 Sea p M tal que expp est
a definida en todo TpM . Entonces, todo q M
puede unirse a p por una geodesica minimizante.
Demostraci
on. Fijemos q M y sea R = d(p, q). Tomemos r > 0 tal que S(p, r) es esfera
geodesica. Cu
al es la direcci
on del camino m
as corto de p a q? Sea f : S(p, r) R la
funci
on distancia a q, f (x) = d(x, q), x S(p, r). Como S(p, r) es compacta, x0 S(p, r)
donde f alcanza un mnimo. Para este x0 , !v Tp M con kvk = 1 tal que expp(rv) = x0 .
Veamos que (t) = (t, p, v) es la geodesica buscada: primero, est
a definida en todo R.
Como es p.p.a., es L()t0 = t t > 0. Basta entonces comprobar que (R) = q. Sea
A = {t [r, R] | d((t), q) = R t}.
A es cerrado (es el conjunto de coincidencia de dos funciones continuas).
Afirmaci
on 3.3.1 r A (luego A 6= ).
Demostraci
on de la Afirmaci
on 3.3.1. R = d(p, q) d(p, x0) + d(x0, q) = r + d(x0, q). Por
tanto, d((r), q) = d(x0, q) R r. Veamos que la desigualdad estricta es imposible: por
reducci
on al absurdo, supongamos d(x0 , q) > R r. Tomamos > 0 tal que R r + <
d(x0 , q). Como R + > R = inf{L() | curva uniendo p, q}, : [0, 1] M curva C
a trozos con (0) = p, (1) = q, R L() < R + . Por conexi
on, x ([0, 1]) S(p0, r).
q
x
q
As, r+L()x L()p +L()x = L() < R+ luego d(x, q) L()qx < Rr+ < d(x0, q),
lo que contradice que x0 es mnimo de f .
Afirmaci
on 3.3.2 sup A = R.
88
Demostraci
on de la Afirmaci
on 3.3.2. sup A existe porque [r, R] es acotado y por la Afirmaci
on 3.3.1. Basta probar que dado t0 A con t0 < R, > 0 tal que t0 + A. Elegimos
> 0 tal que t0 + R y S((t0), ) es esfera geodesica. Usando el razonamiento hecho
hasta ahora, y0 S((t0), ) donde d(, q)|S((t0),) alcanza su mnimo. Por la Afirmaci
on 3.3.1 en este caso, tenemos d(y0 , q) = d((t0), q) = R t0 (porque t0 A). Sea
b (0) = (t0),
b () = y0 , L(
b ) = d((t0), y0) =
b : [0, ] M la u
nica geodesica tal que
t0
b
b es C a trozos,
(n
otese que no tiene porque estar definida en todo R). La curva |0
une p con y0 y tiene velocidad cte. 1 en norma donde tenga sentido. Si vemos que |t00 b
minimiza la longitud entre sus extremos, ser
a diferenciable por el Corolario 3.2.1. Por la
desigualdad triangular, R = d(p, q) d(p, y0) + d(y0, q) = d(p, y0) + R t0 , luego
b ) = L(|t00 ) + L(
b) = t0 + d(p, y0) L(|t00
b ),
d(p, y0) t0 + . Entonces L(|t00
t0
b
luego |0 minimiza la longitud entre sus extremos, y por tanto es diferenciable en (t0).
Como |t00 y b son geodesicas con las mismas condiciones iniciales en (t0), coincidir
an:
b (t) = (t + t0 ), t [0, ]. Veamos ya que t0 + A: t0 + R por definici
on de , y
b(), q) = d(y0, q) = R t0 .
d((t0 + ), q) = g(
2
Dado p M y r > 0 (no necesariamente radio geodesico), denotaremos por Bd (p, r)
la bola metrica centrada en p y de radio r. Para radios geodesicos, Bd (p, r) = B(p, r).
Lema 3.3.2 Sea p M tal que expp est
a definida en todo Tp M . Entonces, expp (B(0, r)) =
Bd (p, r) r > 0 (esto era conocido para radios geodesicos).
Demostraci
on. Fijemos r > 0. Que expp (B(0, r)) Bd (p, r) es por definici
on de distancia
asociada a g. Recprocamente, si q Bd (p, r) entonces el Lema 3.3.1 implica que
geodesica minimizante, uniendo p con q y p.p.a. As se escribe (t) = expp (t 0(0)) luego
q = (d(p, q)) = expp (d(p, q) 0(0)) expp (B(0, r)).
2
Lema 3.3.3 Sea : [0, t0[ M una geodesica tal que q = lmtt (t) M . Entonces,
0
puede extenderse como geodesica a [0, t0 + [ para cierto > 0, con (t0) = q.
Demostraci
on. Claramente podemos suponer p.p.a. Tomemos un entorno totalmente
normal W de q, con radio asociado > 0. Como la curva : [0, t0] M dada por
(t) =
(t) si 0 t < t0
q
si t = t0
es continua y (t0 ) = q W que es abierto, t1 [0, t0[ tal que (]t1 , t0]) W . Como
q = lmtt (t), podemos tomar t0 ]t1 , t0[ tal que d((t0), q) 2 . Como (t0) W y
0
este es un entorno totalmente normal, B((t0), ) es bola geodesica. Por tanto, todas las
geodesicas radiales saliendo de (t0) est
an definidas al menos, en ] , [. Como es una
de ellas salvo una traslaci
on de par
ametro, estar
a definida en [t0 , t0 + ] y minimiza la
2,
89
en particular est
a definida en t0 ,
2
Teorema 3.3.1 (Hopf-Rinow, 1931) Sea (M, g) una V.R. conexa. Entonces, son equivalentes:
1.
(M, g) es completa.
2.
p M , expp est
a definida en todo TpM .
3.
4.
Adem
as, cualquiera de los puntos anteriores implica que p, q M existe una geodesica
minimizante que une p con q.
Demostraci
on.
1 2. Sea p M . Probar que expp est
a definida en todo Tp M equivale a demostrar
que v TpM con kvk = 1, la geodesica (t) = expp (tv) est
a definida en todo
R. Supongamos entonces que para un v TpM con kvk = 1, (t) est
a definida en
[0, t0[ pero no en t0 (al menos est
a definida en un entorno de cero). Si probamos
que lmtt (t) M , entonces el Lema 3.3.3 producir
a la contradicci
on buscada.
0
Sea {tk }k [0, t0[ con tk % t0 . {(tk )}k es de Cauchy porque d((tk), (tl))
L()ttlk = |tk tl |. Como (M, g) es completa, {(tk )}k es convergente luego q M
tal que (tk ) q cuando k . Para probar que lmtt (t) = q, veremos que
0
2 3. Evidente.
3 4. En un espacio metrico, todo compacto es cerrado y acotado. Recprocamente, si
A M es cerrado y acotado, entonces A Bd (p, R) para cierto R > 0 (p es el punto
de M donde suponemos que expp est
a definida en todo Tp M ). Por el Lema 3.3.2,
Bd (p, R) = expp (B(0, R)) expp (B(0, R)). Como expp (B(0, R)) es imagen continua
de un compacto, tambien es compacto. Como A es cerrado dentro de un compacto,
tambien ser
a compacto.
4 1. Sea {pk }k de Cauchy. Como {pk }k es acotada, R > 0 tal que {pk }k Bd (p, R),
que es compacto (p es cualquier punto de M ). Por tanto, {pk }k admite una parcial
convergente. Pero una sucesi
on de Cauchy con una parcial convergente es ella misma
convergente.
90
Finalmente, la u
ltima afirmaci
on del Teorema 3.3.1 es consecuencia de Lema 3.3.1.
91
3.4.
En esta Secci
on estudiaremos las V.R. con c.s.c. k R. Veremos que en el caso completo
y simplemente conexo, s
olo hay treos modelos para estas geometras. Tambien obtendremos
informaci
on para topologas m
as complicadas, va espacios recubridores.
fn, ge) dos V.R. con tensores de curvatura reTeorema 3.4.1 (Cartan) Sean (M n , g), (M
e
f
f e ) una isometra vectorial.
spectivos R, R. Sean p M, pe M e I : (TpM, gp) (Te
p M , ge
p
Supongamos adem
as que para ciertos r > 0, k R se tienen
1.
2.
3.
e
e g
e e 0 )
e 0 )
e 0 = k k
e 0 k2 X
ee
e0 ,
Re (X,
(X,
e X(
e geod
e)
,
esicas radiales en B(p, r) y en exppe(B(0, r)) y X X(), X
respectivamente.
f g
e) es una isometra
Entonces, la aplicaci
on = exppe I (expp )1 : (B(p, r), g) (M,
local con dp = I.
92
Demostraci
on. es C por composici
on. Fijemos q B(p, r) y veamos que dq es una
isometra vectorial. Basta entonces probar que
kdp(w)k = kwk,
(3.3)
v
Consideremos la geodesica p.p.a. (t) = expp t kvk
en (M, g), que est
a definida el menos
v
e (t) = exppe tI( kvk
en [0, kvk] (tiene imagen contenida en B(p, r)). Sea
) , t [0, kvk],
f, g
e). Entonces,
geodesica en (M
(0) = p, (kvk) = q,
v
e = ,
e (0) = pe y
e 0(0) = I( kvk
f (t, s) = expp
(I v)(s)
e
f (t, s) = expe
= ( f )(t, s).
p t
kvk
v(s)
t
,
kvk
Como f, fe son variaciones por geodesicas de , ge, el Lema 2.10.1 asegura que los respectivos
campos variacionales V, Ve de f, fe son campos de Jacobi a lo largo de , e. Como f, fe son
e 0:
propias en p, pe tenemos V (0) = Ve (0) = 0. Veamos que V 0 y Ve
0
f
s
f
,
t
(t,0)
(t,0)
()
= gp t
v 0 (0) v
,
kvk kvk
=0
v)0(0)
(expp
caso a comprobar
(3.4)
93
f, ge) se comportan
La hip
otesis 3 nos dice que los tensores de curvatura de (M, g) y (M
sobre direcciones radiales en p, pe como los tensores de curvatura de una variedad de c.s.c.
k (con la misma cte. para ambas). En particular, esto es cierto a lo largo de , ge. Por
tanto, ahora podemos usar la descripci
on de los campos de Jacobi en una geodesica p.p.a.
de una V.R. con c.s.c. k R que hicimos en la p
agina 60 y ss. Usando esto, que , e son
e 0 con V (0) = Ve (0) = 0, tenemos
p.p.a. y que V, Ve son ortogonales a 0,
donde Sk se defini
o en (2.29) y P (t), Pe (t) son los u
nicos campos paralelos a lo largo
e
DV
, kV (kvk)k = |Sk (kvk)|kP (kvk)k =
dt (0). As
DV
e
|Sk (kvk)|kP (0)k = |Sk (kvk)|
dt (0)
y an
alogamente kVe (kvk)k = |Sk (kvk)|
DdtV (0)
Por
DVe
tanto, el Teorema estar
a probado si vemos que
DV
(0)
=
(0)
.
dt
dt
de , e con P (0) =
DV
dt
(0) y Pe (0) =
DV
d
v(s)
D
expp t
(0) =
dt
t t=0 ds t=0
kvk
v
Llamando X(t) = (d expp )t kvk
v 0 (0)
kvk
D
v
=
t(d expp )t kvk
t t=0
v 0(0)
.
kvk
, tenemos
DV
v 0(0)
D
tX(t)
=
X(0)
=
(d
exp
)
(0) =
p 0
dt
t t=0
kvk
Con Ve podemos hacer lo mismo, de donde
e
DV
dt (0)
v 0(0)
.
kvk
v (0)
= (d expe
p )0 I( kvk ) = I
DVe
I es una isometra, conclumos que
DV
(0)
=
(0)
.
dt
dt
v 0 (0)
kvk
. Como
2
Corolario 3.4.1 Dos V.R. con la misma dimension y con la misma c.s.c. son localmente
isometricas.
Por ejemplo, un plano y un cilindro de R3 son localmente isometricos, y lo mismo pasa
con un plano y un toro cociente de R2 por dos traslaciones linealmente independientes.
N
otese que una esfera no puede localmente isometrica a un plano por el Teorema egregium
de Gauss, lo que justifica los distintos modos de proyectar mapas en cartografa).
3.4.1.
94
(1 (X,e
x0 ))
e )).
#(hojas del recubridor) = #(Aut(X,
1.
2.
3.
f, ge) tambi
Si (M, g) es completa, entonces (M
en lo es.
f que haga a
Demostraci
on. Veamos 1: Para definir una estructura diferenciable en M
f. Usando la trivializaci
difeomorfismo local, se considera un punto pe M
on local del
f
recubridor, podemos restringir a un abierto de M conteniendo a pe como homeomorfismo
sobre su imagen, y luego componerla con una carta en M definida dentro de dicha imagen
f. Esto producir
(con abierto coordenado que contenga a (pe)), y luego variar pe en M
a un
atlas con cambios de cartas diferenciables (los cambios de cartas son los de M ), que
e sobre M
f que hace a difeomorfismo
a su vez genera una estructura diferenciable D
95
e 0 sobre M
f hace a
local. La unicidad se deduce de que si otra estructura diferenciable D
e yD
e 0 han de ser diferenciables
difeomorfismo local, entonces los cambios de cartas entre D
0
e
(escribir localmente usando para bajarla una carta de D y otra de M ).
f, ge = (d ) (g
Para probar 2, uno define para cada pe M
p
e
p
e
(e
p) ), que es producto escalar
porque de
es
difeomorfismo
local.
Usando
trivializaciones
locales
es f
acil probar que ge es
p
f, g
e) (M, g) se hace isometra local. Para comprobar que
on : (M
C , y por definici
toda transformaci
on del recubridor se hace isometra de ge, basta pasar a diferenciales la
igualdad = y usar que es isometra local.
f. Dado ve T M
f, la
Por u
ltimo, supongamos que (M, g) es completa y sea pe M
p
e
e (t) = expe
e) est
geodesica
a definida, al menos, en un entorno de cero. Como (M, g) es
p (tv
e
completa, la geodesica (t) = exp(e
a definida en todo R. Usamos la propiedad
p)(tde
p (v ) est
f con condici
b : R M
de levantamiento de curvas del recubridor para levantar a
on
f
b
e
b
e
incial (0) = p. Como es isometra local, es geodesica de (M , g ), y por unicidad de las
f, ge) es
geodesicas coincide con e en un entorno de 0. Por el Teorema de Hopf-Rinow, (M
completa.
2
T
M
.
Como
Afirmaci
on 3.4.1 Sea p M y R > 0 es radio geodesico en p entonces R es radio
geodesico en cada punto de 1 ({p}) y : B(pe, R) B(p, R) es un difeomorfismo.
Demostraci
on de la Afirmaci
on 3.4.1. Consideremos la bola metrica Bde(pe, R). Como
es isometra local no puede aumentar las distancias, luego (Bde(pe, R)) Bd (p, R) =
e (0, R), B(0, R) las
B(p, R) (esta u
ltima igualdad se da por la Afirmaci
on 3.1.2). Sean B
f e ), (TpM, gp ) respectivamente.
bolas centradas en el origen y de radio R en (Te
p M , ge
p
96
e (0, R)
B
de
p
- B(0, R)
expe
p
expp (difeom.)
Bde(pe, R)
B(p, R)
e (0, R) B (pe, R)
es difeomorfismo luego tambien lo es. En particular, exppe : B
de
f, ge) completa (Lema 3.3.2). Pasando a
es inyectiva. Tambien es sobreyectiva por ser (M
diferenciales el diagrama anterior, expe
p es difeomorfismo local, luego es un difeomorfismo.
Por u
ltimo, el diagrama implica que tambien es difeomorfismo.
Afirmaci
on 3.4.2 Sea p M y R > 0 tal que 2R es radio geodesico en p. Entonces,
B(p, R) es un entorno fundamental de p.
Demostraci
on de la Afirmaci
on 3.4.2. Por la Afirmaci
on 3.4.1, : B(pe, 2R) B(p, 2R)
es un difeomorfismo, pe 1 ({p}). Veamos que
e, r)
1 (B(p, r)) = e
p1 ({p})B(p
(uni
on disjunta)
e B(pe1 , R) B(pe2 , R)
Dados pe1 , pe2 1 ({p}) con B(pe1 , R) B(pe2 , R) 6= , x
e
e
e
e) + d(x
e, f
luego d(pe1, pe2 ) d(pe1, x
p2 ) < 2R. Por tanto, pe1, pe2 B(pe1 , 2R) tienen la
misma imagen por luego pe1 = pe2 .
e 1 (B(p, R)). As x = (x
e) B(p, R) (bola geod
Sea x
esica) luego ! geodesica
minimizante y p.p.a. : [0, L] M con (0) = p, (L) = x. Definimos : [0, L]
f con
M por (t) = (L t) (geodesica p.p.a.). Considero la ! geodesica e : R M
1 0
e
e
e, e0 (0) = (de
(0)
=x
esica en (M, g) ( es isometra local),
x ) ( (0)). es geod
e
y tiene las mismas condiciones iniciales que luego e = . As (L)
1 ({p})
e (L),
e
e L = L = L()L = d(p, x) < R, de donde x
e
e) L()
e B((L),
luego d(
x
R), y
0
0
1
e
hemos probado que (B(p, R)) e
B(
p
,
R).
1
p ({p})
e, R) 1 (B(p, R)) es consecuencia de que no aumenta las
Que e
p1 ({p})B(p
distancias por ser isometra local.
2
f, g
e) (M, g) una isometra local entre dos V.R., siendo
Corolario 3.4.2 Sea : (M
f, ge) completa y 1 (M ) = 0. Estonces, es una isometra.
(M
f M un difeomorfismo local entre dos variedades diferCorolario 3.4.3 Sea : M
f
enciables, siendo M compacta. Entonces, es una proyecci
on recubridora. Si adem
as
1 (M ) = 0, entonces es un difeomorfismo.
3.4.2.
97
Clasificaci
on de las V.R. de c.s.c.
S
(
),
g
=
i
si k > 0,
k
n
n
(M (k), gk ) =
(R , g0 = h, i)
si k = 0,
Hn , g = 1 g
si k < 0,
k
k 1
andar en Hn con c.s.c. 1.
donde g1 es la metrica est
Demostraci
on. Supongamos k 0.
Fijemos x Mn (k), p M y sea I : (TxMn (k), (gk)x ) (TpM, gp) una isometra vectorial.
Tomando r = + en el Teorema local de Cartan (n
otese que (M, g) es completa y
n
B(x, +) = M (k) es bola geodesica por ser k 0), deducimos que = expp I
(expx )1 : (Mn (k), gk ) (M, g) es una isometra local. Como (Mn (k), gk ) es completa y
1 (M ) = 0, el Corolario 3.4.2 implica que es una isometra.
Supongamos k > 0.
Fijemos x Mn (k) = Sn ( 1 ). El mayor radio geodesico que podemos tomar es , que
k
que cumple (y) = (y), dy = dy . Por tanto, , son isometras locales de (Sn ( 1k )
{x, y}, gk ) en (M, g). Como Sn ( 1 ) {x, y} es conexa (n 2), el Corolario 3.2.2
k
98
Demostraci
on. Por el Corolario 3.4.4, subgrupo de Iso(Sn ( 1 ), gk ) actuando diferenciak
ble, propia y discontinuamente sobre Sn ( 1 ) tal que (M n , g) es isometrica a (Sn ( 1 )/, gk /).
k
k
S
olo resta ver que se reduce a = {In+1 } o a {In+1 }.
Sea A {In+1 }. Entonces P O(n + 1, R) tal que
Pt A P =
Ir
Is
B1
..
.
Bk
donde Bi =
cos i sen i
sen i
cos i
(3.5)
3.5.
99
Lema 3.5.1 Sea : [a, b] M una geodesica en una V.R. Supongamos que la curvatura
seccional K(t) de cada plano t T(t)M conteniendo a 0(t) es menor o igual que cero,
t [a, b]. Entonces, b no es valor conjugado de a a lo largo de .
Demostraci
on. Sea V J,0 (ver definici
on 2.10.2). Basta probar que V = 0 en [a, b].
Consideremos la funci
on f = 12 kV k C ([a, b]). As f 0 = h DV
on
dt , V i y usando la ecuaci
DV 2
00
0 0
0 0
de Jacobi, f = k dt k R(V, , , V ) R(V, , , V ), donde R es el tensor de curvatura de 4 variables. Si V (t), 0(t) son linealmente dependientes para un t [a, b], entonces R(V, 0, 0, V )(t) = 0. Y si V (t), 0(t) son linealmente independientes, entonces
R(V, 0, 0, V )(t) = k 0 k2(t)K(t) 0, donde t es el plano generado por {V (t), 0(t)}
en T(t)M . El cualquier caso, f 00 0 en [a, b] luego f 0 es no decreciente. Pero f 0 (a) =
f 0 (b) = 0 luego f 0 = 0 en [a, b] y kV k2 es constante en [a, b]. Como V (a) = 0, tenemos
kV k = 0 en [a, b].
2
100
3.6.
Variaciones de la energa.
(t
i )
d
= (|[ti1,t ] )(t),
i
dt ti
(t+
i )
d
= ([ti ,ti+1 ] )(t) T(ti) M.
dt ti
Rb
a
k0(t)k dt =
R ti
i=1 ti1
Pk
k0 (t)k dt.
Definici
on 3.6.1 En la situaci
on anterior, se define la energa de respecto de g como
E() =
k Z
X
ti
i=1 ti1
k0(t)k2 dt =
k0 (t)k2 dt [0, [.
Que relaci
on hay entre la energa y la longitud?
Proposici
on 3.6.1 Para una curva C a trozos : [a, b] M , L()2 (b a)E(),
con igualdad si y s
olo si est
a parametrizada proporcionalmente al arco.
Demostraci
on. Aplicar a las funciones f = 1, h = k0k la desigualdad de Schwarz en
el espacio vectorial metrico eucldeo (L2([a, b]), (, )L2 ) con el producto escalar (f, h)L2 =
Rb
a definida salvo en los vertices de la partici
on, pero esto no impide que
a f h dt (ojo: h est
este en L2 ([a, b])).
2
Nota 3.6.1 De la demostraci
on anterior se deduce que si es C a trozos y L()2 =
0
(b a)E(), entonces k k es constante en [a, b] (incluidos los vertices de la partici
on).
n
Si (M, g) = (R , g0), esto no quiere decir que sea un trozo de recta: puede ser una
lnea poligonal cuyos segmentos se recorren todos con la misma velocidad. En particular,
la igualdad L()2 = (b a)E() no implica que sea diferenciable.
101
E() =
(B)
(C)
1
1
L()2
L()2 E(),
ba
ba
f
t
(t,s)
f
s
(t,s)
102
para todo (t, s) [ti1 , ti]] , [. Llamando [a, b] = [a, b] {t1 , . . . , tk1 }, tenemos que
f
es C en [a, b]], [. Sin embargo, en los puntos (ti , s) tenemos dos expresiones para
t
f
t (t,s) ,
f
t
(t
i ,s)
=
f
|
,
[t
,t
]],[
i1 i
t (ti ,s)
f
t
(t+
i ,s)
=
f
|
Tf (ti,s) M.
[t
,t
]],[
i i+1
t (ti ,s)
Sin embargo, f
on en todo [a, b]] , [, es un campo a
s no plantea dificultades de definici
lo largo de f , continuo en su dominio y diferenciable en cada [ti1 , ti ]], [. Si evaluamos
este u
ltimo campo en (t, 0) obtendremos el campo variacional de f ,
V : [a, b] T M / V (t) =
f
s
(t,0)
Definici
on 3.6.3 En la situaci
on anterior, un campo C a trozos X a lo largo de es
una aplicaci
on continua X : [a, b] T M tal que X(t) T(t)M t [a, b], para la que
existe una partici
on (que en principio no tiene porque coincidir con la partici
on asociada a
, pero tras un refinamiento com
un s coincide con esta) a = t0 < . . . < tk = b de manera
que X|[ti1,ti ] es C i. Llamaremos derivada covariante de X al campo diferenciable
DX
: [a, b] T M
dt
DX
D (X|[ti1, ti ])
(t) =
(t)
dt
dt
si t ]ti1 , ti[
D X|[ti1,ti ]
dt
(ti ),
DX +
(t ) =
dt i
D X|[ti,ti+1 ]
dt
(ti ) T(ti) M.
Proposici
on 3.6.2 Sea : [a, b] M una curva C a trozos y X un campo C a trozos
a lo largo de (supondremos ambos con la misma partici
on asociada). Entonces, > 0
y f : [a, b]] , [ M variaci
on de (con la misma partici
on que y X) cuyo campo
variacional es X. Adem
as, si X(a) = X(b) = 0, la variaci
on f puede elegirse propia.
103
Demostraci
on. Dado t [a, b], tomemos un entorno totalmente normal Wt conteniendo
a (t). Cada Wt lleva asociado un t > 0 tal que q Wt , la bola metrica B(q, t) es
bola geodesica. Como la familia {Wt }t[a,b] es un recubrimiento por abiertos del compacto
([a, b]), podemos extraer un subrecubrimiento finito ([a, b]) ki=1 Wti . En principio,
estos ti no han de ser los vertices de la partici
on de (y de X), pero podemos suponer
que esto es cierto tras un refinamiento de la misma. Llamemos = mn(t1 . . . ., tk ) > 0.
As, B((t), ) es bola geodesica para todo t [a, b] (en particular, exp(t) est
a definida
en B((t), )).
Llamemos U = {v T M / v T(t)M para alg
un t [a, b] y kvk < } y sea m =
m
axt[a,b] kX(t)k, que existe por ser X continuo en [a, b]. Sea > 0 tal que m < . Para
este , definimos
f : [a, b]] , [ M / f (t, s) = exp(t) sX(t),
aplicaci
on bien definida porque t [a, b] tenemos sX(t) T(t)M y ksX(t)k < m < .
f
s
=
d
d
= (df )(t,0)(0, 1) =
f (t, s) =
exp(t) sX(t)
ds 0
ds 0
(t,0)
d
d
(1, (t), sX(t)) =
(s, (t), X(t)) = X(t),
ds 0
ds 0
E(s) = E(fs ) =
b
a
f
t (t,s)
dt
104
hV,
a
k1
X
D0
0 +
hV (ti ), 0(t
i dt + hV (b), 0(b)i hV (a), 0(a)i +
i ) (ti )i.
dt
i=1
(3.6)
Rb
Demostraci
on. E(s) =
grando,
X
dE
(s) =
ds
i
=2
ti
ti1
=2
d
dt
ti1
X
2
k( f
t )(t,s)k dt. Derivando en el inte-
X Z ti f
2
d
D
f
dt = 2
h ds
, f
t
t
t (t,s)idt.
(t,s)
(t,s)
ds
ti1
i
ti
=2
XZ
R ti
i=1 ti1
Pk
2
k( f
t )(t,s)k dt =
XZ
f
s (t,s) ,
ti1
i
f
s (t,s) ,
ti
D f
dt s (t,s) ,
f
t (t,s)i
f
t (t,s)i
ti1
f
t (t,s) idt
XZ
dt 2
ti
ti1
ti
f
s (t,s) ,
f
s (t,s) ,
D f
dt t (t,s)idt
D f
dt t (t,s)idt
(3.7)
(Esta u
ltima ecuaci
on anterior nos ser
au
til para obtener la segunda formula de variaci
on
de la energa, ver Teorema 3.6.2). Evaluando (3.7) en s = 0,
X f
1 dE
h s
, f
(0) =
t (t,0)i
(t,0)
2 ds
i
X
hV (t), 0(t)i
ti
ti1
ti
b
a
h
a
ti1
b
a
0
0
hV, D
dt i dt + hV (t1 ), (t1 )i hV (a), (a)i
k1
Xh
D f
dt t (t,0)idt
f
s (t,0) ,
0 +
0
0 +
hV (ti ), 0(t
i )i hV (ti1 ), (ti1 )i + hV (b), (b)i hV (tk1 ), (tk1 )i
i=2
hV,
a
D0
dt i dt +
k1
X
0 +
hV (ti ), 0(t
i ) (ti )i.
i=1
2
Gracias a la primera f
ormula de variaci
on de la energa, podemos caracterizar las geodesicas
como los puntos crticos del funcional energa para variaciones propias:
105
Corolario 3.6.2 Sea : [a, b] M una curva C a trozos. Entonces, es geodesica (en
particular, C ) si y s
olo si para toda variaci
on propia f de , la funci
on energa E de f
cumple dE
(0)
=
0.
ds
Demostraci
on. Supongamos primero que es geodesica, y examinemos los sumandos que
aparecen en el miembro de la derecha de (3.6). El primer sumando vale cero porque
es geodesica; los sumandos segundo y tercero se anulan porque la variaci
on es propia y
finalmente, la sumatoria es cero porque es C .
Recprocamente, llamemos a = t0 < . . . < tk = b a la partici
on asociada a . El
argumento se divide en tres partes: primero probaremos que |]ti1,ti[ es geodesica i, en
segundo lugar veremos que es de clase C 1 en cada vertice ti , y terminaremos probando
que es geodesica en [a, b].
1. Tomemos una funci
on h : [a, b] R que se anule en cada vertice ti (incluyendo
a y b), que sea estrictamente positiva en cada ]ti1 , ti[, i = 1, . . . , k, continua en
[a, b] y diferenciable en cada ]ti1 , ti[, i = 1, . . . , k. Definimos V : [a, b] T M
0
mediante V (t) = h(t) Ddt(t) , campo diferenciable a trozos a lo largo de . Como
V (a) = V (b) = 0, la Proposici
on 3.6.2 asegura la existencia de una variaci
on propia
f de con campo variacional V . Llamemos E a la funci
on energa de f . Teniendo
en cuenta que V se anula en todos los vertices de la partici
on (incluidos a y b), la
primera f
ormula de variaci
on de la energa nos dice que
1 dE
0=
(0) =
2 ds
b
a
0
2
hk D
dt k dt
k Z
X
ti
i=1 ti1
2
hk D
dt k dt.
hW,
a
D 0
dt i dt
k1
X
0 + 2
k 0(t
i ) i (ti )k .
i=1
Adem
as, la integral anterior vale cero porque puede escribirse como suma de in0
tegrales sobre cada subintervalo ]ti1 , ti [, donde D
enticamente nulo. As,
dt es id
P
0 (t+ )k2 y por tanto 0 (t ) = 0(t+ ) para cada i = 1, . . ., k 1.
0 = i k 0(t
)
i i
i
i
i
106
3. Ahora sabemos que es de clase C 1 en [a, b], y vamos a probar que es diferenciable
(de clase C ) en dicho intervalo. En cada ]ti , ti1 [ es de clase C por definici
on
de curva C a trozos (de hecho, en cada subintervalo es geodesica). Tomemos un
vertice ti con 1 i k 1. Entonces, existe una u
nica geodesica que pasa por
0
(ti) en el instante ti con velocidad inicial (ti ) = 0(t+
a definida en
i ), que estar
un intervalo abierto J R que contiene a ti . Por la unicidad de las soluciones de
un p.v.i., debe coincidir con sobre J]ti1 , ti [ y sobre J]ti , ti+1 [, luego es de
0
clase C en ti . Por u
ltimo, como D
enticamente nulo en [a, b], esta igualdad
dt era id
ahora se extiende a los vertices de la partici
on, y el Corolario est
a probado.
2
Corolario 3.6.3 Sea p,q (M ) = { : [a, b] M C s a trozos | (a) = p, (b) = q}. Si
p,q (M ) cumple E() E() p,q (M ), entonces es una geodesica8.
El conjunto p,q (M ) puede dotarse de estructura de variedad infinito dimensional (no
lo haremos). Las curvas en esta variedad pasando por un punto p,q (M ) son las
variaciones propias de , y el espacio tangente a p,q (M ) en es el espacio de campos
variacionales C a trozos que se anulan en los extremos de . Desde este punto de vista, el
funcional energa es una aplicaci
on diferenciable E C (p,q (M
on
)), y para una variaci
d
dE
propia f de con campo variacional V se tiene (dE)(V ) = ds
E(fs ) = ds (0), luego las
0
geodesicas uniendo p y q son los puntos crticos de la funci
on diferenciable E.
La raz
on principal de que se estudie la energa y no la longitud para descubrir hasta
cu
ando minimiza la distancia una geodesica, es que los u
nicos mnimos de la energa son las
geodesicas que minimizan la longitud (en particular, reparametrizaciones no proporcionales
al arco de geodesicas no dar
an mnimos de la energa aunque preserven la longitud):
Corolario 3.6.4 Si : [a, b] M es una curva C a trozos que minimiza la energa
entre sus extremos, entonces es una geodesica que minimiza la longitud (en particular,
es C ).
Demostraci
on. Como minimiza la energa entre sus extremos, el funcional energa E =
E(s) de cualquier variaci
on propia de ha de tener un mnimo en s = 0. Por el Corolario 3.6.2, es una geodesica (C ). Queda ver que minimiza la longitud entre sus
extremos. Supongamos, por reducci
on al absurdo, que existe una curva C a trozos,
uniendo los mismos extremos que y con L() < L(). Reparametrizamos en [a, b] de
8
En otras palabras, todo mnimo de la energa es una geodesica. Pero el recproco no es cierto: un
trozo de crculo m
aximo en una esfera de radio r, con longitud estrictamente mayor que r, nos da un
contraejemplo.
107
+h
a
DV
D f
0
ds s (b,0) , (b)i
D f
0
ds s (a,0) , (a)i,
(3.8)
+ h
D f
ds s (t,0) ,
D f
ds s (t,0) ,
D f
dt t (t,0)i dt
b
f
i
t (t,0)
a
+ h
f
s (t,0) ,
D f
dt t (t,0)
f
s (t,0) ,
D D f
ds dt t (t,0)i dt
b
D f
i
.
ds t (t,0)
a
D 0 (t)
dt
(3.9)
hV (t),
hV (t),
a
f
s (t,0) ,
D D f
dt ds t (t,0)i dt +
D D f
dt dt s (t,0)i dt
D D f
ds dt t (t,0)i dt
hV (t), R
a
f
s (t,0) ,
hV, R(V, 0) 0i dt =
b
a
f
t (t,0)
f
t (t,0)i dt
D f
ds s (t,0) ,
b
f
t (t,0)i
a
=h
D f
0
ds s (b,0) , (b)i
D f
0
ds s (a,0) , (a)i.
9
Hay una versi
on C a trozos de la segunda f
ormula de variaci
on de la energa, ver ejercicio 16. Para
lo que sigue, s
olo usaremos la versi
on diferenciable.
108
Por u
ltimo, el cuarto sumando de (3.9) vale
f
s (t,0) ,
b
D f
i
ds t (t,0)
a
= hV (t),
b
D f
i
dt s (t,0)
a
ib
= hV, DV
dt i .
a
2
hDV
dt
b
a
2
0 0
k DV
dt k R(V, , , V ) dt + h
D f
0
ds s (b,0) , (b)i
D f
0
ds s (a,0) , (a)i.
b
a
!
2
R(V, 0, 0, V ) dt.
DV
dt
Definici
on 3.6.5 Sea : [a, b] M una geodesica. Denotaremos por
R
Z
b
DV DW
h
,
i R(V, 0, 0, W ) dt,
dt
dt
(integral de Lebesgue).
I es una forma bilineal simetrica sobre X()0 y el Corolario 3.6.5 dice que
I (V, V ) para V X()0. Por tanto,
1 d2 E
2 ds2 (0)
109
0 = I (V, W1) =
ib
h DV
dt , W1 i
b
a
DW1
0 0
h DV
dt , dt i R(V, , , W1 ) dt
(A)
b
a
b
a
ib
= h DV
dt , W i
DW
0 0
h DV
dt , dt i R(V, , , W ) dt
b
a
110
El primer sumando anterior se anula porque W (a) = W (b) = 0, y el segundo vale cero por
ser V de Jacobi.
2
Usando el Corolario 2.10.1 y la Proposici
o 3.6.3 deducimos que el radical de la forma
ndice es siempre de dimensi
on finita (a la dimensi
on de Rad(I ) se le llama la nulidad de
) y que si dim M = n, entonces dim Rad(I ) n1. Tambien vimos que esta desigualdad
se transforma en igualdad cuando (M n , g) tiene c.s.c. (p
agina 60 y ss.)
3.7.
Teorema 3.7.1 (Myers) Sea (M n , g) una V.R., : [0, L] M una geodesica p.p.a. y
R > 0. Si la curvatura de Ricci de (M, g) cumple Ric( 0(t)) n1
R2 para todo t [0, L] y
L > R, entonces no es un mnimo local de la energa ni de la longitud.
Demostraci
on. Sea I la forma ndice de . Supongamos que existe V X()0 tal que
I (V, V ) < 0 y veamos que no puede ser un mnimo local de la energa ni de la longitud:
Por la Proposici
on 3.6.2, f : [0, L]] , [ M variaci
on propia y diferenciable de
cuyo campo variacional es V . Sea E = E(s) = E(fs ) la funci
on energa asociada a f .
0
00
Entonces E (0) = 0 por ser geodesica (Corolario 3.6.2) y E (0) = 2I (V, V ) < 0, luego
E(s) tiene un m
aximo local en s = 0 y E(fs ) < E() s 6= 0 suficientemente peque
no.
En particular, no minimiza localmente la energa. Adem
as, la Proposici
on 3.6.1 implica
que para los s anteriores, L(fs )2 L E(fs) < L E() = L()2 y por tanto tampoco
minimiza localmente la longitud.
S
olo resta probar que V X()0 tal que I (V, V ) < 0. Como es p.p.a. podemos
tomar una base ortonormal de campos paralelos a lo largo de del tipo { 0, P2, . . . , Pn }.
Para poder usar nuestra hip
otesis sobre la curvatura de Ricci necesitaremos sumar curvaturas seccionales del tipo R(Pi , 0, 0, Pi) sobre una base ortonormal como la que tenemos.
Pero Pi no se anula en los extremos 0, L de , luego no podemos evaluar en Pi la forma
ndice. Por este motivo, truncaremos
Pi mediante una funci
on que se anule en t = 0, L.
Definimos Vi(t) = sen t
P
(t),
i
=
2,
.
.
.,
n.
Como
V
(0)
=
V
i
i
i (L) = 0, se tiene Vi X()0
L
y podemos evaluar I (Vi , Vi):
I (Vi , Vi) =
L
0
Z
DV i
2
0
0
dt
R(Vi, , , Vi) dt =
L
0
Ln
0
t
t
2
2 sin2
+ sin2
R(Pi , 0, 0, Pi) dt,
L
L
L
y sumando en i = 2, . . ., n,
n
X
i=2
I (Vi, Vi) =
L
0
X
t
2
2 (n 1) +
R(Pi, 0, 0, Pi ) sin2
dt.
L
L
i=2
111
I (Vi , Vi)
L
0
t
2
n1
2 (n 1) +
sin2
dt
2
L
R
L
2
1
= (n 1)
2
2
L
R
!Z
sin
0
t
dt.
L
112
Ejercicios.
1. Sea (N, g) una V.R., y M N una subvariedad suya. Denotemos por d a la distancia
en N asociada a g y por d(g|M ) a la distancia en M asociada a la metrica inducida.
Probar que d|M d(g|M ) y encontrar un ejemplo donde la desigualdad estricta ocurra
en un par de puntos.
2. Sea : (M1 , g1) (M2, g2) una isometra local entre dos V.R. Demostrar que la relaci
on
entre las distancias asociadas a ambas metricas es
dM2 ((p), (q)) dM1 (p, q),
p, q M1.
Probar que si es una isometra entre ambas V.R., entonces la desigualdad anterior
se convierte en igualdad (esto es, es una isometra de espacios metricos11). Deducir
que si dos V.R. son isometricas, entonces sus diametros coinciden (el diametro es un
invariante Riemanniano).
3. Se considera el modelo Lorentziano del espacio hiperb
olico n-dimensional, Hn (1) =
{p Rn+1 / hp, piL = 1, xn+1 (p) > 0} con la metrica g = (h, iL)|Hn (1), siendo
hx, yiL =
n
X
xi yi xn+1 yn+1 ,
x, y Rn+1 .
i=1
(A) Demostrar que (Hn (1), g) es completa. Deducir que este es realmente un modelo
valido para el espacio hiperb
olico n-dimensional, en el sentido de que es isometrico
a, por ejemplo, el modelo del semiespacio para el espacio hiperb
olico n-dimensional.
1
t
(B) Llamemos O
! (n + 1, R) = {A Gl(n + 1, R) / A G A = G}, donde G =
In 0
. Admitiendo que O1 (n + 1, R) tiene cuatro componentes conexas
0 1
CI , CB , CG , CD donde CA denota la componente conexa de la matriz A y
1
0
0
B = 0 In1 0 ,
0
0
1
11
1
0
0
D = 0 In1 0 ,
0
0
1
113
Concluir que
diam(M1 M2 , g1 g2) =
114
1 0
0 1/y
(x, y) (R2)+ .
(A) Probar que g es una metrica Riemanniana no completa sobre (R2)+ (Indicaci
on:
estudiar el segmento vertical {(0, y) / 0 < y 1}).
(B) Demostrar que dados dos puntos p, q (R2)+ con la misma segunda coordenada,
el segmento (t) = (1 t)p + tq, t [0, 1], es una geodesica uniendo p y q que
minimiza la distancia asociada a g entre tales puntos.
12. Sea (M, g) una V.R. completa, y X X(M ) un campo acotado, esto es, existe c > 0
tal que kXk c en M . Probar que X es un campo completo.
13. Probar que toda V.R. de dimensi
on 1 es localmente isometrica a (R, g0).
f M un homeomorfismo local y propio12. Probar que es una proyecci
14. Sea : M
on
recubridora con un n
umero finito de hojas.
15. Sea : [a, b] M una curva diferenciable. Dados v T(a)M , w T(b) M , demostrar
que existe un campo diferenciable W a lo largo de tal que W (a) = v y W (b) = w.
rmula de variacio
n de la energa en el caso C a trozos.
16. Segunda fo
Sea : [a, b] M una geodesica y f : [a, b]] , [ M una variaci
on C a trozos
de , con partici
on asociada t0 = a < . . . < tk = b y campo variacional V . Probar que
1 d2 E
2 ds2 (0)
a
h Ddt2V + R(V, 0) 0, V i dt +
k h
X
hV, DV
dt i
i=1
12
iti
ti1
D f
D f
0
0
ds s (b,0) , (b)i h ds s (a,0) , (a)i
Z b
k1
X
2
h DdtV + R(V, 0) 0, V i dt +
hV (ti ), DV
dt
a
i=1
DV
DV
+hV
(b), dt (b)i hV (a), dt (a)i
f
D
D f
0
0
+h ds
,
(b)i
h
s (b,0)
ds s (a,0) , (a)i,
+h
e.
Es decir, la imagen inversa todo compacto de M es un compacto de M
(t
i )
DV
dt
(t+
i )i