Geometría Diferencial de Curvas y Superficies en Lorentz
Geometría Diferencial de Curvas y Superficies en Lorentz
Geometría Diferencial de Curvas y Superficies en Lorentz
RAFAEL LOPEZ
En 1899, H. Liebmann mostró que si S es una superficie regular, compacta y con una curva
Gaussiana constante, entonces S es una esfera. Dos años después, en 1901, D. Hilbert probó
que no existe la superficie completa de curvatura Gaussiana constante negativa en R3. Estos
dos resultados fueron muy importantes dentro de la teoría de subvariedades porque clasifica
las superficies de curvatura Gaussiana constante en el R3, y ellos fueron extendidos para S3 y
H3, ya que en esos espacios las ecuaciones de Codazzi permanecen las mismas y la Fórmula de
Gauss es similar a la del R3. Sin embargo, no podemos extender para otros espacios, ya que las
ecuaciones de compatibilidad, en general, cambian bastante. A más o menos cincuenta y cinco
años, H.Hopf asoció formas diferenciales cuadráticas holomorfas a superficies con curvatura
media constante. Esta forma cuadrática se conoce como la diferencia de Hopf y es la clave
principal para la demostración de su teorema que afirma que una esfera inmersa en R3 con
curvatura media constante es la esfera redonda, es decir, todos sus puntos son umbílicos.
El título de este trabajo está motivado por el libro de MP do Carmo, Geometría diferencial de
curvas y superficies ([4]), y su origen fue un mini curso impartido por el autor en septiembre de
2008 en el Instituto de Matemática e Estat'ıstica (IME-USP) de la Universidad de Sao Paulo,
Brasil.
Definiciones basicas. Deje que R 3 denote el espacio vectorial real con su estructura vectorial
habitual. Denote por Bu = {E1, E2, E3} la base canónica de R 3, es decir, E1 = (1, 0, 0), E2 = (0, 1,
0), E3 = (0, 0, 1) . Denotamos (x, y, z) las coordenadas de un vector con respecto a Bu. También
consideramos en R 3 su estructura afín, y diremos "horizontal" o "vertical" en su sentido
habitual.
El espacio vectorial R 3 también admite la métrica euclidiana, que se denotará por h, es decir.
Escribimos el espacio euclidiano tridimensional como E 3 = (R 3, h, ie) para distinguirlo del
espacio de Lorentz-Minkowski.
Definición 1.2. Se dice que un vector v ∈ E 3 1 (1) espacia si hv, vi> 0 o v = 0, (2) como el
tiempo si hv, vi <0 y (3) lightlike si hv, vi = 0 y v 6 = 0
(2) (U ⊥) ⊥ = U.
Proposición 1.2.
(1) Dos vectores similares a la luz u, v ∈ E 3 1 son linealmente dependientes si y solo hu, vi = 0.
(2) Si uyv son dos vectores similares a la luz o con hu, vi = 0, entonces son vectores similares a
la luz .