F ORMAS Y CURVATURA

M ÁSTER EN MATEM ÁTICAS

G EOD ÉSICAS MINIMIZANTES Y LUGAR DE CORTE
Curso 2018-19

1. Sea M una variedad Riemanniana y γ : [0, L] → M una geodésica p.p.a.

(i) Probar que γ es estable si y sólo si Iγ (V,V ) ≥ 0, para cada V ∈ X0 (γ).

(ii) Deducir que si M tiene curvatura seccional no positiva entonces γ es estable.

2. La desigualdad de Wirtinger para funciones reales de variable real establece que, para cada
función diferenciable f : [0, π] → R tal que f (0) = f (π) = 0, se cumple:
Z π Z π
0 2
f (t) dt ≥ f (t)2 dt.
0 0

Demostrar la desigualdad de Wirtinger usando que cada geodésica de longitud π en la

esfera unidad S2 es estable.

3. Sea M una variedad Riemanniana completa con dim M = n ≥ 2. Supongamos que existen
una constante c > 0 y una función acotada f ∈ C∞ (M), tales que:

Ric p (v, v) ≥ c + (d f ) p (v), ∀p ∈ M, ∀v ∈ S p M.

Demostrar que se cumple la desigualdad:

π p
2

diám(M) ≤ d + d +c ,
c
donde d = sup{| f (p)| / p ∈ M}. Concluir que M es compacta. Deducir como caso particu-
lar el teorema de Bonnet-Myers.

4. Describir con rigor tres ejemplos de superficies S en R3 que, respectivamente, cumplan:

(i) todas las geodésicas de S son estables pero al menos una de ellas no es minimizante.
(ii) hay una geodésica p.p.a. γ : [0, L] → S sin puntos conjugados y no minimizante.
Problemas del curso “Formas y Curvatura” 2

(iii) hay una geodésica p.p.a. γ : R+ 0 → S con γ(0) = p que tiene un punto de corte γ(T )
que no es conjugado. En este caso, mostrar de forma explı́cita una geodésica p.p.a.
eγ 6= γ tal que eγ(0) = p y eγ(T ) = γ(T ).

5. Sea M una variedad Riemanniana completa y γ : R+ 0 → M una geodésica p.p.a. tal que
γ(0) = p. Demostrar que, si q = γ(T ) es el punto de corte de p a lo largo de γ, entonces p
es el punto de corte de q a lo largo de la geodésica β : R+
0 → M dada por β(t) = γ(T − t).

6. Sea M una variedad Riemanniana completa y p ∈ M. Demostrar que el lugar de corte C(p)
es cerrado en M.

7. Sea M una variedad Riemannian completa. Probar que las siguientes afirmaciones son
equivalentes:

(i) M es compacta,
(ii) se cumple que µ p (v) < +∞, para cada p ∈ M y para cada v ∈ S p M,
(iii) existe p ∈ M tal que µ p (v) < +∞, para cada v ∈ S p M.

Se elegirán y entregarán resueltos sólo 3 de los ejercicios propuestos.

Los ejercicios elegidos se resolverán de manera individual y podrán ser objeto de evaluación pre-
sencial o virtual. Se penalizarán los indicios de copia.
Los ejercicios resueltos se enviarán por correo electrónico a la dirección ((crosales@ugr.es)) con
fecha lı́mite el 26 de abril de 2019 a las 23:55.
La evaluación de esta parte supondrá 1/8 de la nota final de la asignatura. La calificación obte-
nida sólo se tendrá en cuenta cuando la evaluación no se produzca mediante examen, ya sea éste
solicitado voluntariamente por el alumno, o de realización obligatoria por el número de faltas de
asistencia.