La curvatura: un hilo conductor en la Geometra Diferencial

A. M. Amores
Universidad Complutense
4 de Noviembre de 2010
1. Introduccin
Hemos preparado estas notas como resumen de una charla en el seminario Ideas y visualizaciones de
la Ctedra Miguel de Guzmn en la Facultad de Matemticas de la Universidad Complutense. Agradezco
a las profesoras Corrales y Gmez-Chacn, organizadoras del seminario, su invitacin a participar, y al
auditorio su inters por este trabajo.
Quisiera que fuera conocido y comprendido el enfoque de estas notas. En el programa del seminario,
aparece la conferencia como una sobre los fundamentos de la Geometra Riemanniana. Advierto que esto
no va a ser en absoluto un desarrollo histrico ni tampoco una exposicin de los resultados ms relevantes
incluyendo, si fuera posible, alguno reciente. Es una discusin sobre los fundamentos pero casi desde el
punto de vista de un estudiante. Mucho de lo que vamos a ver es la materis de Geometra Diferencial que
se estudia antes de meterse un poco a fondo en un texto de Geometra Riemanniana. Es en ese sentido
en el que lo que aqu se expone es un fundamento: se ven los conceptos, en una forma relativamente
sencilla, que ayudar a la comprensin e intuicin de otros conceptos ms generales. Es tambin muy
bueno que un estudiante tenga una idea, siquiera aproximada, de los primeros grandes resultados de
cualquier teora. Son como puntos de referencia que permiten situar todo el entramado. El lector debe
ver esto como una rpida visita turstica a una gran ciudad con poco tiempo y dinero. Subidos en un
autobs recorremos el centro de la ciudad donde se concentra lo ms valioso y monumental. No se puede
decir que hayamos visto los museos o apreciado a fondo la riqueza de su arquitectura y vida cultural. Sin
embargo, habr cosas que nos impresionarn o nos parecern prometedoras y sern objeto de una visita
mucho ms pausada en condiciones ms favorables. Nuestra visita turstica tiene un hilo conductor: el
concepto de curvatura, tan ubcuo y variable.
En esta exposicin rpida, es imposible pretender ser exacto. Eliminamos conscientemente muchos
detalles lo que hace que muchos asertos, tomados literalmente como aqui se enuncian, sean falsos. Hay
tambien mucho optimismo expositivo, que quiere decir a grandes rasgos que numerosas circunstancias
que podran impedir nuestro avance se dan por no existentes. Las funciones se pueden derivar cuanto
queramos, no se anulan cuando crean problemas, toda ecuacin puede resolverse, etc. . Nuestro optimismo
alcanza las ms altas cimas al pensar que unos adjetivos o conceptos casi comprensibles para el hombre
de la calle pueden sustituir a los realmente matemticos con toda su profundidad y sosticacin.
Seamos expositivamente optimistas. Estamos visitando Pars sin saber francs, casi sin bajarnos del
autobs, y puede que sin habernos informado previamente con una gua. Pero vemos de soslayo el inmenso
museo del Louvre (dicen que lleno de famosas pinturas y antigedades egipcias y mesopotmicas), las
hermosas perspectivas de sus avenidas, los paseantes junto al Sena, las libreras del Barrio Latino... .
Bien, por malo que sea el gua, por rpido que circule el autobs, por caro que sea el billete, cualquiera
con sensibilidad por lo bello sentir que se le abren perspectivas. Y que alguna vez habr que volver para
ver tantas bellezas con ms recursos y detenimiento.
2. Curvas planas
Sea c : R R
2
una curva plana con velocidad uno y T su vector tangente unitario; o sea, T (t) =
c
0
(t) . Visualizamos c(R) como una va de tren y c como el tren que se mueve con velocidad uno por
1
A. M. Amores La curvatura: un hilo conductor en la Geometra 2
Figura 1: La base de Frenet en el plano segn el sentido de giro
ella. Imaginemos que T es una aguja que se mueve en la esfera de un reloj de radio uno. Segn serpentea
el tren al moverse por la va, la aguja T oscila movindose en sentido horario y antihorario. Es evidente
que si calculamos la velocidad de T; es decir, T
0
= c
00
tenemos una medida de cunto se tuerce la va y
a esta medida se podra llamar curvatura. Modicamos un poco la denicin. Nuestro objetivo es que la
curvatura sea una magnitud escalar y T
0
es un vector. Afortunadamente, T
0
es perpendicular a T. Lo que
hacemos es aadir al reloj una segunda aguja de longitud uno y perpendicular a . Hay dos maneras
de hacerlo y deshacemos la ambigedad estipulando que el giro que debiramos realizar para superponer
T a yendo por el camino ms corto, deba hacerse en sentido antihorario (contrario al sentido de giro
de las agujas del reloj). Una vez determinado , como ya hemos dicho que T
0
debe ser proporcional a ,
denimos i, la curvatura, como el factor de proporcionalidad; o sea T
0
= i. Conviene ejercitar nuestra
imaginacin pensando en el tren y la va y traducir al lenguaje normal el signo de i. Por ejemplo, si la va
gira a izquierdas, i 0 y si gira a derechas, i 0, siendo i = 0 en los tramos rectos. Obsrvese, porque
luego tendr su trascendencia, que si hubiramos denido sustituyendo ...en sentido antihorario...
por ...en sentido horario... la nueva curvatura sera la antigua cambiada de signo y i 0 representara
entonces el giro a derechas. En resumen, en la denicin de curvatura debe elegirse un sentido de giro
como preferente, habiendo optado nosotros por el antihorario.
Otra manera de ver la curvatura es, guiados de la intuicin fsica, como aceleracin. Si viajamos en
nuestro tren, experimentaremos mayor aceleracin cuanto mas cerrada sea la curva. En realidad, esto
es prcticamente la denicin anterior pues c
00
= T
0
= i. Conocido T se conoce y i y c
00
se
corresponden biunvocamente.
Si, igual que calculamos la velocidad de T, queremos calcular la de , vemos fcilmente (pensar
en el reloj con dos agujas solidarias T y ) que
0
= iT. Tenemos pues las llamadas ecuaciones de
Frnet-Serret
_
T
0
= i

0
= iT
o en forma matricial
_
T
0

0
_
=
_
0 i
i 0
__
T

_
(1)
Estas ecuaciones sugieren muy claramente que i, la curvatura, contiene la informacin esencial de la
curva. El razonamiento es en lneas generales el siguiente: Las ecuaciones (1) constituyen una ecuacin
diferencial dependiente de i en la incgnita vectorial (T, ) . Si la resolvemos (hay teoremas que garanti-
zan que hay solucin), obtenemos T, y como c
0
= T, con una integracin ms se obtiene c. En el proceso
de resolucin e integracin quedan indeterminadas varias constantes. Se puede ver que la eleccin de
A. M. Amores La curvatura: un hilo conductor en la Geometra 3
estas constantes solo inuye en la posicin de la curva en el plano. Hablando intuitivamente, se recupera
la va del tren con su forma inalterada pero hay innitas formas de situarla en el plano. Aun as, se site
como se site la va, siempre tendr la misma curvatura.
Podemos preguntarnos qu sucede si la curva c no tiene velocidad uno, sino velocidad (t) =
|c
0
(t)| 0 que pueda uctuar. Se llega a unas ecuaciones
_
T
0
= i

0
= iT
o en forma matricial
_
T
0

0
_
=
_
0 i
i 0
__
T

_
(2)
que generalizan (1). Se tiene tambin que el par (, i) determina c salvo su situacin en el plano.
En esta seccin aparece un patrn que se repetir en el futuro: La denicin de curvatura siguiendo una
intuicin geomtrica (en el futuro, ms bien algebraica) incluye este objeto dentro de unas ecuaciones que
nos permiten recuperar informacin esencial sobre nuestro objeto geomtrico (curva, supercie, etc.). La
curvatura informa sobre cmo es la geometra pero, y esto es lo ms importante, la determina y restringe
de modo fundamental.
3. Curvas espaciales
Empezamos con la curva c : R R
3
con velocidad uno y tenemos, como en el caso del plano, T = c
0
.
La idea del plano se puede repetir. La diferencia es que ahora T se mueve en una esfera de radio 1 en
lugar de un crculo de radio 1. Podemos escribir T
0
(t) = i(t) (t) siendo (t) un vector unitario
ortogonal a T (t) (o sea, tangente a la esfera en que se mueve T) y i(t) un nmero. En el caso del
plano haba dos posibles elecciones de . Aqu preferimos imponer que venga dado por a condicin
T
0
= i y, adems, i _ 0. Esto determina unvocamente si suponemos que i(t) nunca se anula, lo
que mantendremos en adelante.
Antes tenamos como ejemplo el tren y su va. Ahora hemos de imaginar la trayectoria de un avin
con velocidad 1 en el espacio. Cuanto ms bruscamente gire el avin en su vuelo, mayor ser T
0
y por ello
i = |T
0
| . En trminos fsicos, i = |T
0
| = |c
00
| , luego i es el mdulo de la aceleracin. Nuevamente,
una trayectoria con bruscos giros es una trayectoria con aceleraciones y curvaturas altas.
Podemos preguntarnos si, dado que empezamos con T
0
= i, no tendremos tambin
0
= iT;
es decir, una ecuaciones de Frnet-Serret idnticas a (1). Pues no; en general
0
no es proporcional a
T. Sin embargo, veremos que hay otras ecuaciones de Frnet-Serret, aunque algo ms complejas. Para
cada t R aadamos a T (t) , (t) un tercer vector 1(t) de modo que T (t) , (t) , 1(t) sea una
base de vectores unitarios y mutuamente perpendiculares. Se pide adems que est bien orientada en un
sentido tcnico que ignoraremos. A efectos prcticos se trata de forzar una eleccin nica de 1 como
vector unitario ortogonal a T y de entre las dos posibles.
Si queremos obtener algo anlogo a las ecuaciones (1) para curvas planas, empezamos por derivar
0
y expresarlo como combinacin lineal de T, y 1, haciendo lo mismo con 1. El resultado es mucho
ms sencillo que lo que cabra esperar, pues obtenemos
_
_
_
T
0
= i

0
= iT +t1
1
0
= t
o en forma matricial
_
_
T
0

0
1
0
_
_
=
_
_
0 i 0
i 0 t
0 t 0
_
_
_
_
T

1
_
_
. (3)
Decimos que es sencillo porque en las ecuaciones de
0
y 1
0
podan haber salido hasta seis coecientes
diferentes de T, y 1. Sin embargo, tres coecientes son ceros, en otro aparece i y, solo hay una nueva
funcin t. Si se miran en su forma matricial, las ecuaciones son no meramente simples, sino tambin
simtricas. Las ecuaciones (3) son las ecuaciones de Frnet-Serret para curvas alabeadas. Si c no tiene
velocidad 1 sino 0 (funcin posiblemente no constante) hay que multiplicar el lado derecho de las
tres ecuaciones por .
La funcin t es una segunda curvatura; de hecho as se llamaba clsicamente. Hoy da se la llama
torsin. Hemos llegado a la torsin siguiendo una gua algebraica; luego comentaremos en trminos ms
visuales que representa. Lo verdaderamente importante de (3) es que nos permite repetir el razonamiento
bosquejado para curvas planas en el sentido de que el par (i, t) determina esencialmente la curva.
En efecto, seguimos teniendo una ecuacin diferencial determinada por (i, t) en la incgnita vectorial
A. M. Amores La curvatura: un hilo conductor en la Geometra 4
Figura 2: La base de Frnet en el espacio
(T, , 1) , la resolvemos e integrando c
0
= T llegamos a c. Las constantes arbitrarias que salen por
el camino mueven la posicin de la trayectoria en el espacio, pero no alteran su forma. Resumiendo al
mximo y con la terminologa clsica: las dos curvaturas (i, t) determinan esencialmente la curva. Lo
visto para curvas planas se repite de modo idntico para curvas espaciales.
Queda pendiente visualizar t, la torsin. Previamente hemos de resolver una cuestin. Cmo se
dene el plano tangente en un punto j
0
= c(t
0
) de una curva espacial. La idea es bastante sencilla.
Tomamos la recta tangente 1 a c en j
0
y otro punto c(t) , t ,= t
0
. La recta ja 1 y el punto mvil
c(t) determinan un plano mvil (t) que siempre contiene a 1 y que, segn se mueve t, va girando en
torno a 1. Si hacemos tender t a t
0
, el plano (t) tiende a un plano O(j
0
) . Intuitivamente, O(j
0
)
es el plano tangente en j
0
. (Obsrvese que se ha seguido una idea anloga a la de denir para una
curva la recta tangente en j
0
como la recta lmite de las secantes dadas por j
0
y c(t) cuando t tiende
a t
0
.) La terminologa clsica para O(j
0
) es la de plano osculador, aunque bien podemos llamarlo
plano tangente. Se puede probar que, aparte de pasar por j
0
, O(j
0
) tiene otra propiedad que lo ja
univocamente: el vector 1(t
0
) es unitario y ortogonal a l. Pues bien, con esto, jmosnos en la tercera
ecuacin 1
0
= t de (3). El vector unitario 1, traza una curva en la esfera unitaria y t nos da la
medida de esa velocidad, ms precisamente |1
0
| = [t[ . La torsin es la velocidad de oscilacin del plano
osculador.
4. Supercies
Nuestras supercies ' estarn en R
3
y no daremos denicin formal. Sin embargo tenemos que
llamar la atencin sobre el hecho de que si bien una curva es una funcin, una supercie es un conjunto
de puntos de R
3
, por supuesto, no arbitrario, debiendo carecer de picos, aristas y cualquier irregularidad
que le impida tener plano tangente en cada punto. Supondremos que tenemos denido en cada j '
un vector (j) unitario y ortogonal al plano tangente
1
T
p
' en j. Hay supercies como la banda de
Moebius en las que tal no existe y que consideraremos excluidas de nuestra exposicin. Si existe , hay
al menos otra normal unitaria, pues tambin sirve. Elegiremos una normal unitaria adscrita
a ' para siempre.
La idea inicial para el estudio de ' en un j ' es muy sencilla. Tomemos un vector tangente
unitario en j; o sea, T
p
' y (j) , = 0 ( , es el producto euclidiano en R
3
). Hay un plano

v
que pasa por j en cuya direccin estn los vectores y (j) . En paramtricas,

v
: r = j +` +j (j) , `, j R.
1
En el desarrollo formal de la materia el plano tangente es siempre un plano vectorial. Sin embargo, en esta exposicin
informal es ms intuitivo y til imaginarlo como un plano afn que pasa por el punto p:
A. M. Amores La curvatura: un hilo conductor en la Geometra 5
Figura 3: Seccin normal
Llamaremos a este plano el plano normal dado por . Es fcil intuir que el plano
v
corta a ' en una
curva, queriendo decir ahora con curva conjunto unidimensional de puntos. Imaginemos una curva
unitaria c
v
que toma valores en
v
' y que en t = 0 cumple c
v
(0) = j y c
0
v
(0) = . Para abreviar
llamaremos a c
v
, que es nica salvo en su intervalo de denicin, la seccin normal asociada a .
Claramente la curvatura i
v
(0) de c
v
en t = 0 nos da informacin sobre cmo se curva la supercie en el
espacio: altas curvaturas (en valor absoluto) son equivalentes a que la supercie se curve mucho. Por el
contrario, si la supercie se curva poco, siendo el caso ms extremo aquel en que la recta r = j +t est
contenida en ', se tiene que las i
v
(0) son pequeas. Si la recta r = j + t est contenida, i
v
(0) = 0.
Podemos pues imaginarnos situados en j y moviendo entre los vectores tangentes unitarios para luego
anotar los nmeros i
v
(0) .
Queremos comentar una cuestin tcnica pero importante para entender otras ulteriores. Cuando
hablamos al principio de la curvatura de curvas planas dijimos que haba que elegir un sentido de giro en
el plano. Nuestro plano, aquel en que toma valores c
v
no es R
2
sino el plano
v
.Nuestro sentido elegido
de giro, el equivalente a girar a izquierdas en R
2
, es el tomado al girar de a (j) por el camino ms
corto.
El plano
v
contiene una recta
1
v
: r = j +`, ` R,
que divide a
v
en dos semiplanos (mirar el signo de j!)

+
v
: r = j +` +j (j) , j _ 0,

v
: r = j +` +j (j) , j _ 0.
Verbalmente, en
+
v
esta j + (j) y

v
es el otro semiplano.
Vamos a relacionar la forma de c
v
y el signo de i
v
(0) . Imaginemos que c
v
tiene su traza en
+
v
.
Esto la fuerza a girar a izquierdas y por tanto i
v
(0) 0. Anlogamente, si c
v
tiene su traza en

v
queda forzada a girar a derechas por tanto i
v
(0) < 0. Volveremos a esto al tratar la curvatura de Gauss.
Hay varios resultados sorprendentes y difcilmente intuibles a primera vista.
1. Al moverse en el crculo unitario de T
p
' y determinar el mnimo /
1
(j) y mximo /
2
(j) de la
funcin resultante, descubrimos que los vectores unitarios
i
, i = 1, 2, tales que i
v
i
(0) = /
i
(j)
son ortogonales. Tenemos pues una base ortonormal distinguida
1
,
2
en T
p
' y dos valores
distinguidos /
i
(j) de las curvaturas.
A. M. Amores La curvatura: un hilo conductor en la Geometra 6
2. Las dos curvaturas /
i
(j) determinan cualquier otra curvatura. En efecto, si tenemos un vector
unitario = (cos .)
1
+ (sin.)
2
, se tiene que la curvatura i
v
(0) es expresable como
i
v
(0) = (cos .)
2
/
1
(j) + (sin.)
2
/
2
(j) .
Las curvaturas /
1
(j) _ /
2
(j) se las llama las curvaturas principales en j. Verdaderamente hacen
honor a su nombre pues la frmula precedente nos dice que, una vez conocidas, podemos saber la
curvatura en cualquier otra direccin. Este descubrimiento hizo que se estudiaran combinaciones de las
/
i
(j) . Por ejemplo, las curvaturas media y de Gauss se denen por
H (j) =
1
2
(/
1
(j) +/
2
(j)) , 1 (j) = /
1
(j) /
2
(j) .
La curvatura media es el promedio de las curvaturas principales. La idea original para denir 1 bien
pudo ser otro promedio de dos nmeros a, / 0, que es
_
a/. No se eligi
_
/
1
(j) /
2
(j), sino que se
quit la raz pues el radicando puede ser negativo.
Las curvaturas /
1
, /
2
, H y 1 aparecen de una forma muy armnica, fcil para el clculo y muy
prximo a nuestra intuicin geomtrica si se adopta un enfoque distinto al de las secciones normales.
Imaginemos una curva c : (-, -) ' con c(0) = j y c
0
(0) = T
p
'. Dijimos al principio que '
tiene una normal unitaria , luego c : (-, -) R
3
es una curva trazada sobre S
2
, la esfera estndar
de R
3
(centro el origen y radio 1). Tal como vimos en las curvas, la velocidad en t = 0 de c nos da
una idea de cmo se curva la supercie: a mayor curvatura (en sentido intuitivo) mayor (al menos en
mdulo). Observemos que, con la regla de la cadena,
d
dt
[
t=0
c(t) = d (j) (c
0
(0)) = d (j) () .
Es fundamental tener en cuenta que la derivada ( c)
0
(0) =
d
dt
[
t=0
c(t) mide el cabeceo de la
normal y por tanto la curvatura (en sentido intuitivo) en j '. La funcin o (j) es pues
2
( c)
0
(0) =
d
dt
[
t=0
c(t) = o (j) () , o (j) : T
p
' T
p
',
con la propiedad de ser lineal. Para cada funcin lineal 1 : E E podemos considerar sus valores y
vectores propios (puede haber problemas de existencia), su traza y su determinante. Pues bien, se tiene
que
1. Los valores y vectores propios de 1 = o (j) existen siempre y son respectivamente /
1
(j) , /
2
(j)
y
1
,
2
. Como consecuencia,
o (j) (
i
) = /
i
(j)
i
, i = 1, 2.
2. H (j) =
1
2
tr (o (j)) , 1 (j) = det (o (j)) ; o sea las curvaturas media y de Gauss son la semitraza y
el determinante de la transformacin de Weingarten.
Esta conexin entre la idea geomtrica y la algebraica permite desarrollar la teora ya que las posi-
bilidades de clculo con el lgebra Lineal son enormes.
Nos vamos a centrar
3
en la curvatura de Gauss 1. Por lo dicho en 1, en la base
1
,
2
la funcin
lineal o (j) tiene matriz diagonal
o (j) =
_
/
1
(j) 0
0 /
2
(j)
_
,
siendo los /
i
(j) las curvaturas principales. Por tanto,
1 (j) = det o (j) = det
_
/
1
(j) 0
0 /
2
(j)
_
= /
1
(j) /
2
(j) . (4)
2
Suele denirse S (p) (v) = (N )
0
(0) con el signo menos para evitar la aparicin de signos menos en otras frmulas.
3
La curvatura media H es tambin muy importante pues las supercies con H = 0 son las supercies minimales,
objeto de una amplia teora pero que no trataremos.
A. M. Amores La curvatura: un hilo conductor en la Geometra 7
Figura 4: Forma de copa o silla segn el signo de 1
Con palabras, la curvatura de Gauss es el producto de las curvaturas principales. Dado que tenemos
una idea geomtrica de lo que son las curvaturas principales (recordemos: los valores extremos de las
curvaturas de las secciones normales) podemos dar ahora una visin intuitiva de lo que representa 1 (j)
o, al menos, el signo de 1 (j) .
Imaginemos una supercie en el que para todo T
p
' unitario, la seccin normal c
v
est siempre
en el semiplano contrario a j + (j) ; o sea en

v
. (Esto es lo que pasa en la esfera tomando como la
normal exterior.) Segn se ha dicho ms arriba, ser i
v
(0) < 0 para todo ; en particular /
1
(j) , /
2
(j) < 0
y nos resulta 1 (j) = /
1
(j) /
2
(j) 0. Imaginemos ahora una supercie ' en forma de silla de montar.
Otra manera de describir ' es dibujar dos montaas vistas lateralmente con un collado entre ellas. El
punto j ser el centro del collado (o el centro de la silla de montar si se quiere la otra imagen). Para
mayor simetra supondremos las montaas idnticas, con la lnea que une las cumbres ortogonal a nuestra
visual, con T
p
' horizontal y (j) apuntando al cielo. Un montaero que con velocidad uno baje de la
cima de la primera montaa, pase por j, y suba a la de la segunda, traza una curva c
v
en
+
v
girando
a izquierdas. Por tanto, i
v
(0) 0. Por otra parte, otro montaero que suba al collado (no a la cima)
pasando por j y bajando al valle por el otro lado, traza una curva c
w
en

w
girando a derechas. Por
tanto i
w
(0) < 0. Vemos como muy plausible, y de hecho es cierto que 1 (j) = /
1
(j) /
2
(j) < 0 pues
parece ser que las /
i
(j) tendrn signos opuestos. El tosco razonamiento parte de cmo son las secciones
planas y deduce el signo de 1 (j) , que es positivo si todas las c
v
estn en un mismo semiplano y negativo
si las c
v
no cumplen esto.
Hay que decir que se puede probar con mayor dicultad tcnica que 1 (j) 0 implica los entornos
de j sucientemente pequeos quedan a un lado de T
p
' y que 1 (j) < 0 implica que por pequeo que
sea el entorno l de j siempre hay puntos l en los dos semiespacios en que T
p
' divide a R
3
. El caso
1 (j) = 0 no tiene respuesta sencilla. Si tomamos como ' un toro; o sea, el neumtico de un coche, los
puntos j en contacto con el suelo tienen 1 (j) 0 y los j ms proximos al centro de la rueda tienen
1 (j) 0. Ms todava, tracemos dos crculos C
1
y C
2
en ' formados por los puntos ms alejados y ms
cercanos al plano de simetra del coche; quitndolos tenemos dividido ' en dos partes. Si por ejemplo,
tomamos un punto en la parte interior (la ms cercana al eje de la rueda), vemos que T
q
' corta a '
cerca de luego ah es 1 () < 0. Anlogamente si j queda en la parte exterior, dado que el plano T
p
'
no deja a ' enteramente a un lado, deducimos que 1 (j) 0. Los puntos de los C
i
tienen curvatura
cero.
5. Teoremas sobre la curvatura de Gauss
5.1. El teorema egregio de Gauss
Si a cada j ' le asignamos 1 (j) tenemos una funcin 1 : ' R. Esta funcin puede ser
constante, mantener signo constante o cambiar de signo. Por ejemplo, es fcil adivinar que la esfera
A. M. Amores La curvatura: un hilo conductor en la Geometra 8
tendr 1 constante pues todas las secciones normales son arcos de crculo con radio el de la esfera. As
pues /
1
(j) = /
2
(j) = c (constante) y 1 (j) = c
2
. Los clculos analticos dan c = 1,r siendo r el radio
de la esfera. La esfera estndar tiene pues 1 = 1. Una supercie en forma de elipsoide (una lenteja)
cumple que para cada j, ' queda por completo a un lado de T
p
' y segn vimos ms arriba esto nos
lleva a 1 0, si bien la falta de simetra nos dice que 1 no ser constante. Este mismo razonamiento nos
permite adivinar que un punto concreto j ' a distancia mxima del origen debe vericar 1 (j) 0
pues ' est contenida en el semiespacio determinado por 1 (j) donde est el propio origen. Finalmente,
un toro (el neumtico de ms arriba) tiene puntos donde 1 es positiva, nula o negativa.
La curvatura tiene una importante relacin con las isometras. Qu es una isometra? Consideremos
c : '

' una funcin biyectiva, diferenciable y con inversa diferenciable, que llamaremos difeo-
morsmo. (No es preciso tener una idea exacta de los conceptos, basta admitir que las deniciones
son anlogas a las de las funciones entre abiertos del espacio euclidiano.). Diremos que c es entonces
una isometra si preserva las longitudes de las curvas
4
; o sea, que si c : 1 ' es una curva en ',
c = c c : 1

', que es una curva en

', tiene la misma longitud que c. La idea de longitud de
curvas permite denir una distancia en '. En efecto, dados j, ' consideramos todas las curvas
c que unen j con obteniendo el conjunto 1(j, ) de sus longitudes. el nmo de este conjunto es la
distancia d (j, ) entre j y . Para entender el concepto conviene imaginarse un lago con islas y dos
boyas j, en l. La distancia d (j, ) no es la distancia que necesita volar un pato en linea recta para ir
de j a , pudiendo pasar sobre tierra. El pato tiene que ir nadando e, intuitivamente, la longitud de la
trayectoria ms corta es la distancia. Se puede probar que se da para un difeomorsmo la equivalencia
entre preservar longitudes de curvas y preservar distancias.
El teorema egregio de Gauss dice que una condicin necesaria (pero no suciente) para que el
difeomorsmo c : '

' sea una isometra es que se cumpla

1 c = 1; o sea, la conmutatividad del diagrama

c

'
|

1
' R
1
El origen de este teorema est en el problema de si existe el mapa perfecto. Mapa perfecto es aquel
que en escala 1:1 permite representar una esfera o parte de ella en un plano preservando las distancias.
Con ms detalle, hay que determinar dado un abierto l de una esfera si hay una isometra c : l

l
siendo

l un abierto del plano. Tanto la esfera como el plano tienen curvatura constante, pero en la esfera
es 0 y en el plano es 0. No hay pues mapa perfecto, incluso aunque nos conformemos con representar
una parte l extraordinariamente pequea de la esfera. Es curioso que haya mapas que preservan ngulos
y reas, pero preservar distancias es imposible.
El teorema egregio tiene tambin otras aplicaciones. Imaginemos una curva c : 1 R
3
en el espacio
y un segmento mvil cuyo punto medio de apoya en c movindose a lo largo de ella. Los puntos barridos
son de la forma
r = c(t) +:\ (t) , t 1, [:[ < a.
Los puntos r as denidos forman una supercie, caso particular de las supercies regladas. Puede
probarse que las supercies regladas tienen 1 _ 0 Ya comentamos antes que un elipsoide tiene 1 0.
Es por tanto imposible encontrar una isometra entre un trozo (por pequeo que sea) de una supercie
reglada y una esfera.
Llegados aqu, podemos preguntarnos hasta qu punto es cierto el recproco del teorema egregio. Una
buena respuesta la da el teorema de Minding: Si suponemos que 1 y

1 son iguales y constantes
(digamos a c) para cada par de puntos j ' y j

' hay entornos l y

l de estos puntos y una
isometra c : l

l. Se puede ver por ejemplo que para c = 1 hay modelos de supercies con curvatura
1 que no son esferas. No ser signica que no hay isometras c : '

', pero s las hay entre pequeos
trozos l y

l. Se podran pues hacer mapas perfectos en estas supercies

' de pequeos trozos de una
esfera. El caso c = 1 es extraordinario pero en otro sentido. Su ejemplo ms signicativo se llama la
pseudoesfera, una supercie en forma de trompeta no acotada.que sirve de modelo para las geometras
no euclidianas.
4
No es la denicin ms manejable, pero s la ms intuitiva.
A. M. Amores La curvatura: un hilo conductor en la Geometra 9
El teorema egregio tiene otras consecuencias trascendentales. Imaginemos una hoja de papel, que es
un material exible pero no elstico. Si pintamos una curva en ella y la alabeamos, la curva no ve su
longitud alterada. Hay pues una isometra entre la hoja plana y la alabeada y por ello las dos tienen
1 = 0. En la hoja plana es obvio; en la hoja alabeada, que puede adoptar innidad de formas, no tanto.
Aparte de ese prodigioso mtodo de calcular instantneamente y sin esfuerzo, debe llamarnos la atencin
el que un ente como 1, que en principio debera depender de como est la hoja en el espacio ambiente,
dependa en realidad solo de las distancias internas en '. En efecto, si volvemos atrs y buscamos la
denicin (4) de 1 (j) como det o (j) y a su vez recordamos que o (j) () es la medida del cabeceo de
la normal en la direccin de , uno piensa inmediatamente que o (j) () depender de la forma de
' dentro del espacio. Volviendo a la hoja de papel, si esta est plana sobre la mesa, es constante
y su derivada es nula luego o (j) es nula para todo j. Sin embargo, si se enrolla la hoja en torno a
una columna cilndrica, deja de ser constante y tenemos o (j) ,= 0. Es muy razonable pensar que si
o (j) depende de como est ' en el espacio, a su determinante, que es 1 (j) , le pasar lo mismo. Pues
no es as, por el teorema egregio. Se abre la puerta a cuestiones muy interesantes: Que propiedades
geomtricas dependen de la posicin de ' en el espacio y cuales de su geometra interna? La denicin
precisa de las propiedades de las geometra interna es aquellas que se conservan por isometra. Esta
geometra y propiedades se calican de intrnsecas. La curvatura de Gauss es una magnitud intrnseca;
las otras curvaturas antes vistas, no.
5.2. Cmo determinar una esfera por su curvatura
Diremos que una supercie ' es conexa si dos puntos cualesquiera de ella se pueden unir por
una curva continua, y que es compacta si (a) Est acotada; o sea, cabe dento de una esfera de radio
sucientemente grande y (b) es cerrada; o sea, si una sucesin (r
n
) de puntos de ' converge a r R
3
ha
de ser r '. En esta seccin, para abreviar, supercie querr decir supercie compacta y conexa.
Qu hay que pedir a la curvatura de una tal supercie para que sea una esfera? He aqui dos teoremas.
El primer teorema es el de Hilbert-Liebmann. Dice que si 1 es constante y 1 0 la supercie es
una esfera. El teorema de Minding, visto anteriormente, nos da algo parecido, pero para pequeos trozos
de supercie; sin embargo este teorema es global.
El segundo teorema es el de Jellet-Liebmann y aparece la curvatura media H; no la de Gauss. Dice
que si H es constante, ' es una esfera.
La expresin, un tanto ambigua ser una esfera signica en ambos casos que ' es isomtrica a una
esfera de radio adecuado. Ambos teoremas sugieren una idea general un tanto difusa pero cierta: La
curvatura condiciona mucho la geometra de la supercie e imponerle propiedades limita su naturaleza.
El ltimo teorema no trata sobre esferas sino sobre algo parecido: los ovaloides. Son aquellas super-
cies ' tales que en cada j ' se tiene que ' j queda enteramente en uno de los semiespacios
abiertos de T
p
'. Una lenteja es un ovaloide; una patata posiblemente no, aunque si es bien redonda
s que puede serlo. Ya se coment antes que tales supercies tienen 1 0, aunque desde luego puede no
ser constante. Pues bien, nuestro ltimo teorema dice que el recproco es cierto: 1 0 es una condicin
suciente para ser ovaloide.
5.3. El teorema de Gauss-Bonnet
En toda la seccin, al igual que en la anterior, las supercies seguirn siendo compactas y conexas.
Vamos a dar al lector una idea aproximada del signicado de
_
M
)d, la integral de una funcin numrica
) sobre la supercie '. Si ' no fuera una supercie sino un intervalo [a, /] sabemos que la integral de
) sobre ', tradicionalmente denotada por
_
b
a
) (r) dr es un lmite de sumas
n

i=1
) ( r
i
) (r
i
r
i1
) .
Con ms detalle, troceamos [a, /] en subintervalos [r
i1
, r
i
] = J
i
, 1 _ i _ : suponiendo que
a = r
0
< r
1
< r
2
< . . . < r
n1
< r
n
= /
A. M. Amores La curvatura: un hilo conductor en la Geometra 10
y que r
i
J
i
. La idea de que
_
b
a
) (r) dr sea lmite de esas sumas (que no pueden numerarse) se dene
como que para cada - 0 existe un c tal que si las longitudes de los J
i
, que son los nmeros r
i
r
i1
son menores que c, cualquiera de las correspondientes sumas cumple

_
b
a
) (r) dr
n

i=1
) ( r
i
) (r
i
r
i1
)

< -.
Con esto es fcil intuir
_
b
a
) (r) dr como el rea entre el grafo de ) y el eje OA con un signo menos en
los tramos en que ) es negativa. La teora se extiende a funciones
) : [a
1
, /
1
] [a
2
, /
2
] . . . [a
n
, /
n
] R.
Describimos el caso : = 2. Troceamos el rectngulo ' = [a
1
, /
1
] [a
2
, /
2
] en rectngulos J
ik
en los que
se eligen puntos r
ik
y las sumas se convierten en

i;k
) ( r
ik
) (J
ik
)
representando (J
ik
) el rea del rectngulo J
ik
. Se exige que estos rectngulos sean casi disjuntos pues,
como mucho, se pueden cortar en parte de sus bordes. Nuevamente sucede que estas sumas convergen
a un nmero denotado por
_
M
)d interpretable como el volumen entre el grafo de ) y el plano OA1,
con un signo menos en las zonas en que ) es negativa. La convergencia resulta suponiendo que las reas
(J
ik
) se hacen tan pequeas como sea necesario.
La transicin a una supercie ' puede describirse de modo aproximado. Se trocea ' en partes casi
disjuntas J

, ` , se elige r

y se tiene una suma

2
) ( r

) (J

) , (J

) es el rea de J

,
y se ve que estas sumas convergen a un nmero
_
M
)d cuando las reas (J

) son sucientemente
pequeas. No le costar mucho al lector convencerse de que si ) : ' R representa la densidad puntual
de una supercie de la vida real (o sea, ) (r) es la densidad supercial del material del que est hecho
' cerca de r), el nmero
_
M
)d representa la masa de la supercie. Como caso particular, si ) = 1
(constante), la integral es el rea de '. Esto viene sugerido por d en la notacin de la integral. Para
lo que viene es esencial convencerse de que si ) mide de forma puntual una magnitud en trminos de
cantidad por unidad de rea,
_
M
)d representar la totalidad de esa magnitud en '.
Pues bien, imaginemos que integramos la curvatura de Gauss 1. Qu representa
_
M
1d ? Si vemos
1 como una medida puntual de la curvatura, una densidad puntual de curvatura, la integral
_
M
1d
ser toda la curvatura de la supercie, la curvatura ntegra. De hecho, clsicamente se usa el nombre
latino (por tanto sin tilde) curvatura integra para nombrarla. Hemos dicho que si ) es la densidad
puntual,
_
M
)d es la masa. Parece una armacin banal remarcar que cualquier valor es posible para
la masa
_
M
)d. Podemos pensar igualmente que al calcular
_
M
1d para ' (recordemos: compacta y
conexa) resultar cualquier nmero. Hay dos grandes sorpresas:
1.
_
M
1d es un mltiplo entero de 2;
_
M
1d = 2:, : Z, pero ni siquiera todos los valores de
: son posibles. Solo aparecen valores : = 2 (1 q) , q = 0, 1, 2, 3, . . . .
2. Las supercies difeomorfas dan el mismo valor para la integral.
Esto es fundamental y vamos a explicarlo con cierto detalle, pero llevar tiempo.
Un difeomorsmo c : '

' es una biyeccin diferenciable y con inversa diferenciable (o sea, como
una isometra pero quitando la condicin de preservar distancias o longitudes de curvas). Se imagina el
concepto como una deformacin de la supercie alterando quizs las distancias pero sin rasgarla. Dos
supercies difeomorfas son, en lenguaje no tcnico, dos supercies deformables usando su elasticidad,
una en otra. Una esfera y la supercie de una patata son difeomorfas. En todo caso, hay que tener
cuidado con la intuicin, como ahora mostraremos. Imaginemos una cuerda gruesa pero exible, por
ejemplo, una cuerda de escalada. Le hacemos un nudo muy complicado y pegamos los extremos de la
A. M. Amores La curvatura: un hilo conductor en la Geometra 11
Figura 5: Pegando un asa a la supercie
cuerda llamando ' a la supercie de la cuerda. Si no hacemos nudo alguno en la cuerda y la extendemos
sobre el suelo formando un crculo, la supercie de la cuerda es un toro

'. Son difeomorfas ' y

' ?
Podemos pensar que no, pues no podemos desanudar ' cuyos extremos estn pegados. Sin embargo
son difeomorfas. Describimos c
1
:

' '. Tomamos un punto j del toro, lo marcamos con un lpiz,
anudamos la cuerda y all donde en la cuerda anudada est la marca, ese es el punto c
1
(j) . Lo que
nos ha podido llevar a pensar que ' y

' eran difeomorfas es considerar una condicin ms fuerte:
que para un parmetro t [0, 1] hay difeomorsmos c
t
: '

'
t
de modo que c
0
= id
M
y

'
1
=

'.
Naturalmente nuestra intuicin nos dice que, al no poder cortar la cuerda, algn c
t
no podr ser inyectivo.
Falla la condicin fuerte
5
, pero ' y

' son difeomorfas.
Las supercies
6
compactas y conexas de R
3
tienen un sencillo criterio de clasicacin por difeomor-
smo. Clasicar signica
1. Dar una lista de modelos. En nuestro caso sern denotados por '
0
, '
1
, '
2
, . . . .
2. Asignar a cada supercie, incluidos los modelos, algn ente matemtico. En nuestro caso ser el
nmero de asas que, tcnicamente, se llama el gnero q.
3. Conseguir que la coincidencia de estos entes para dos supercies ' y

' sea equivalente a que sean
difeomorfas. En nuestro caso, '
k
tendr gnero / y las supercies con gnero / son exactamente
las difeomorfas a '
k
.
Empezamos con 1. Denimos '
0
como la esfera y '
1
como el toro (la supercie de una rosquilla).
Dada cualquier supercie ', le aadimos un asa por el siguiente procedimiento: recortamos dos pequeos
discos 1
1
y 1
2
en ' y pegamos un cilindro de altura nita a ', pegando cada crculo extremo de
a uno de los dos crculos que bordean los 1
i
. La supercie resultante es ' con un asa aadida. Por
denicin la esfera '
0
es una supercie sin asas y si le aadimos un asa resulta una supercie difeomorfa
al toro '
1
. Para visualizarlo, lo mejor es centrar los discos 1
i
en puntos opuestos y deshinchar la esfera
para que, cerrando la letra C del asa la complete a un toro. Si al toro '
1
le aadimos un asa, tenemos
por denicin '
2
. Podemos pintar '
2
como la supercie de una doble rosquilla en forma de ocho. La
denicin general de '
0
es pegar / asas a la esfera '
0
o pegar un asa a '
k1
.
La parte 2 es sencilla: a cada supercie ' se le asigna su gnero, que es el nmero de asas que
tenga. La esfera tiene gnero 0 y el toro gnero 1. El teorema de clasicacin de supercies dice
que dos supercies compactas y conexas de R
3
son difeomorfas si y solo si tienen el mismo gnero. La
caracterstica de Euler de la supercie ', denotada por (') , es otro entero que suele usarse en
5
Aunque sea pasarse un poco de rosca, lo que llamo condicin fuerte es que id
M
y sean difetopas, toscamente
denido como ser conectables por una curva de difeomorsmos.
6
La precisin M R
3
no es tan superua como pudiera parecer pues hay supercies en un sentido tcnico avanzado
que no son expresables en R
3
; como por ejemplo el plano proyectivo.
A. M. Amores La curvatura: un hilo conductor en la Geometra 12
Figura 6: Modelos de supercies con q _ 3
lugar del gnero. Se relaciona con l por la frmula (') = 2 (1 q). As pues, la caracterstica de la
esfera y del toro son respectivamente 2 y 0 y, ms generalmente, si ' tiene q asas (o sea, gnero q),
(') = 2 (1 q) . Vemos que toma siempre valores pares y solo _ 0 para la esfera y el toro.
El teorema de Gauss-Bonnet puede enunciarse ahora de modo completo diciendo que
_
M
1d = 2(') = 4 (1 q) . (5)
Se constata muy bien en la esfera de radio 1 pues ah 1 = 1 (constante) luego
_
M
1d =
_
M
d es su
rea, que vale 4. Por otra parte, q = 0 luego (') = 2 y queda 4 = 4.
Las profundas implicaciones del teorema de Gauss-Bonnet se basan en que relaciona la Geometra
Diferencial y la Topologa, permitiendo pasar informacin de uno a otro lado. Por ejemplo:
1. La curvatura 1, como ya hemos visto varias veces en lo que antecede, condiciona muchsimo como
puede ser la supercie '. Si es 1 _ 0 y no nula,
_
M
1d 0 y solo puede vericarse (5) si
(') 0; o sea, si ' es difeomorfa a una esfera.
2. Si deformamos ' difeomorcamente a

', es (') =
_

'
_
luego
_
M
1d =
_

M

1d. Por
supuesto 1 puede diferir mucho de

1, pero sus integrales valdrn lo mismo. Por ejemplo, si '
es una esfera y

' una patata, que es difeomorfa a ', puede muy bien suceder que la patata
tenga concavidades (o sea, deje de ser un ovaloide tal como se deni en la pgina 9). En estas
concavidades,

1 ser negativa. Aun as, las integrales, las curvatura integra, coinciden, luego es
como si la aparicin de concavidades al deformarse ' se viera compensada por un incremento
de la convexidad en otras parte, de modo que al integral, la cantidad total de curvatura debe
mantenerse constante. Es una maravillosa excepcionalidad que, por extrema que sea la variacin
de 1 a consecuencia de la deformacin, se mantenga inalterada su integral.
3. Las supercies difeomorfas al toro estn equilibradas por lo que a curvatura se reere: las partes
con curvatura negativa compensan aquellas que tienen curvatura positiva para dar
_
M
1d = 0.
El cero resulta evidentemente de ser (') = 0.
4. Si excluimos a la esfera y al toro, las dems supercies tienen (') < 0, luego
_
M
1d < 0. Esto
es como decir que la curvatura negativa predomina sobre la positiva. Ojo! no decimos que haya
una mayor rea con curvatura negativa, sino que la combinacin en forma de productos de reas
por valores de la curvatura negativa pesa ms en la integral que combinacin anloga cuando el
rea es positiva. De hecho, en el toro, la parte de curvatura negativa, el interior del neumtico,
tiene menor rea que la parte de curvatura positiva, el exterior del neumtico. Sin embargo, est
ms exionada la parte interior que la exterior y esto da curvatura integra cero.
A. M. Amores La curvatura: un hilo conductor en la Geometra 13
5.4. Geodsicas
Las curvas ms importantes de una supercie son las geodsicas. Una geodsica de ' es una curva
c : 1 ' cuya aceleracin c
00
es siempre ortogonal a '; con mayor precisin, para cada t 1 se tiene
que c
00
(t) es ortogonal a T
(t)
'. La denicin es adecuada para nuestra exposicin, pero no es la que
permite obtener de modo ms natural directo las mejores propiedades de las geodsicas. En efecto, el
concepto de geodsica es en apariencia extrnseco (que signica no intrnseco) pues hace referencia al
espacio exterior a '. Sin embargo puede probarse que es en realidad intrnseco (en el sentido denido
en la pgina 9) pues solo depende de las magnitudes internas de ' (las distancias y ngulos medibles
dentro de ') y no de la posicin de ' en el espacio R
3
. Uno puede intuir lo dicho de la siguiente manera.
Supongamos que ' est formada por dos lminas sumamente prximas para ser identicadas, a efectos
geomtricos, como una sola. Nuestra curva c es una bolita de masa 1 que se desliza en ' (bajo la piel
de ') sujeta a algn tipo de fuerza 1; en realidad va entre las dos lminas y sin holgura de ningn
tipo. La componente de 1 normal a ' no inuye en el movimiento pues tal fuerza es contrarrestada
por la que las lminas ejercen sobre la bolita. Si descubriramos que c
00
(t) es siempre ortogonal a '
sera como decir que c no est sujeta a fuerza alguna en sentido tangencial y por tanto c tendr un
movimiento uniforme. Los habitantes de ' pueden detectar las geodsicas sin necesidad de conocer c
00
;
les basta medir si el movimiento en la supercie es uniforme. Como uniforme signica que en intervalos
constantes de tiempo se recorre la misma distancia, un habitante de ' que pueda medir distancias (y,
por supuesto, que tenga un reloj) puede determinar si c es una geodsica sin necesidad de datos sobre
el espacio exterior a '. Recordando que una isometra c : '

' es un difeomorsmo que preserva
distancias, queda claro que si c tiene movimiento uniforme en ', c = c c lo tendr en

'. As pues,
las isometras llevan geodsicas en geodsicas.
Hay reglas visuales sencillas para detectar las geodsicas planas, y advertimos que muchas lo son.
Sea H un plano de R
3
y supongamos que c se mueve con velocidad constante c en ' H. Llamemos
n a un vector unitario perpendicular a H y supongamos que en cada j ' H los vectores n y (j)
son ortogonales (recordemos que es la normal unitaria a '). Resumiendo, tenemos c : 1 ' H
con velocidad constante siendo ' y H perpendiculares. Armamos que c es una geodsica. En efecto,
representando por , al producto euclidiano de R
3
, derivamos c
0
(t) , c
0
(t) = c
2
y c(t) , n = /
(constante) y vemos que c
00
(t) es ortogonal a c
0
(t) y n. Estos dos vectores son ortogonales y constituyen
una base de T
(t)
', luego c
00
(t) es ortogonal a T
(t)
' como queramos demostrar. Una aplicacin
directa de esto es tomar como H un plano de simetra de una supercie ', obtenindose que al recorrer
'H con velocidad constante, se traza una geodsica. Si ' es una esfera, llegamos a que los meridianos
recorridos con velocidad constante son geodsicas.
No todas las geodsicas son planas. Las hlices de un cilindro son geodsicas si se recorren con
velocidad constante. La descripcin informal de una hlice es esta: se traza una recta sobre una hoja de
papel (si se quiere, recta y hoja son innitas) se enrolla la hoja para formar un cilindro y la recta se
transforma en una hlice. Si se escribe formalmente la frmula de c y se deriva dos veces, se obtiene sin
ms que c
00
es ortogonal a ', luego tenemos una geodsica.
Antes de entrar en la relacin entre geodsicas y curvatura citamos propiedades fundamentales que
relacionan a las geodsicas con la distancia:
1. Una curva que una j y cuya longitud sea la distancia entre j y debe ser una geodsica.
2. Si la supercie es compacta, podemos asegurar para todo par de puntos j, que hay una curva como
en 1. Si ' es arbitraria esto sigue siendo posible con tal que y estn en trozos sucientemente
pequeos de '.
Fijemos j '. Hay multitud de geodsicas c en ' con c(0) = j. En un sentido es obvio: si
c : 1 ' es una geodsica y J es un subintervalo de 1, c[
J
es una geodsica tambin. Para evitar estas
duplicidades, se entiende por defecto que geodsica signica geodsica maximal; es decir aquella que
no puede extenderse a un intervalo mayor y que c(0) est denido. Aun con todo esto hay que contar
con la posibilidad de que c maximal no est denida en tode R sino en un intervalo menor. Nosotros,
para simplicar la exposicin, supondremos las geodsicas maximales denidas en R. Si ' es compacta,
esto es cierto.
Un teorema fundamental dice que para cada T
p
' hay una geodsica nica c
v
determinada por
A. M. Amores La curvatura: un hilo conductor en la Geometra 14
la doble condicin c
v
(0) = j y c
0
v
(0) = ; o sea, pasa en el instante cero por j llevando velocidad .
Tenemos una funcin llamada
7
la exponencial
exp
p
: T
p
' ', exp
p
() = c
v
(1) .
Lo que hacemos con ella es tomar un vector tangente , arrancar de j con velocidad y pararnos en
t = 1. Estamos entonces en exp
p
() . Es como si de alguna manera T
p
' fuese una hoja de papel que
por medio de exp
p
acabara envolviendo '. Desde luego exp
p
no es inyectiva. Por ejemplo, en la esfera
de radio 1 tomamos como j el polo norte y como el polo sur. Todos los vectores T
p
' con longitud
cumplen exp
p
() = . Podemos pensar sin embargo que si 1
r
es un disco de radio r centrado en j es
posible que la restriccin de exp
p
a 1
r
de un difeomorsmo sobre su imagen denida como

1
r
. En la
esfera de antes, esto es cierto para el disco de radio (suponemos que los discos son sin borde). Pues
bien, con toda generalidad podemos armar que, sea cual sea ', para cada j ' existe - = - (j) tal
que si r _ - (j) la restriccin de exp
p
da un difeomorsmo entre 1
r
y

1
r
.
Damos ahora una paso ms: podr conseguirse que el difeomorsmo exp
p
: 1
r


1
r
sea adems
una isometra? En general, no, aunque no quedamos demasiado lejos. Imaginemos dibujadas en T
p
'
las lneas radiales 1 y los crculos C centrados en j. Las curvas 1 y C son ortogonales en los puntos de
corte. Digamos lo que exp
p
, en una supercie general, cumple y deja de cumplir con vistas a ser una
isometra:
1. exp
p
lleva las lneas radiales 1 en las geodsicas c
v
y se preserva la distancia. Dos puntos distan
lo mismo en 1 que sus imgenes bajo exp
p
en '.
2. las imgenes exp
p
(1) y exp
p
(C) se siguen cortando ortogonalmente. Esto refuerza el posible
carcter isomtrico de exp
p
pues una isometra debe preservar los ngulos.
3. Sin embargo, las longitudes de los crculos C y exp
p
(C) dieren. (En realidad exp
p
(C) no es un
crculo sino una curva cerrada en '; una especie de crculo deformado.)
Vemos pues que la exponencial aplica las supercies en forma radial separando las lneas 1 de una
manera ms o menos acentuada de lo que lo estn en T
p
'. Para explicarlo mejor, nos imaginamos un
abanico puesto plano sobre T
p
' cuyas varillas conuyen en j y por tanto forman las lneas radiales 1.
La exponencial dobla las varillas pegndolas sobre la supercie siendo cada varilla doblada trayectoria
de una c
v
(las trayectorias de s proporcionales se superponen). El apartado 3 de arriba nos dice
aproximadamente que las varillas dobladas pueden estar ms o menos separadas que sus correspondientes
en T
p
'.
Esta idea de mayor o menor separacin de las varillas tras aplicar la exponencial se puede explicar
de un modo ms preciso. Supongamos que exp
p
: 1
r


1
r
sea un difeomorsmo, elijamos : < r y sea
C el crculo en T
p
' de radio : centrado en j. Lo parametrizamos por
o
s
(t) = : [(cos t) n
1
+ (sint) n
2
] , t [0, 2] ,
siendo n
1
, n
2
una base ortonormal. Es fcil ver que la velocidad a la que se recorre C
s
es \
s
= : (el
radio). Necesitamos por tanto a esa velocidad 2 segundos para dar una vuelta al crculo C
s
. Pues bien,
se puede probar que la velocidad a la que se recorre

C
s
por medio de
o
s
(t) = exp
p
(o
s
(t)) = exp
p
(: [(cos t) n
1
+ (sint) n
2
]) , t [0, 2]
es, con un pequeo error de aproximacin,

\
s
- :
1
6
1 (j) :
3
= \
s

1
6
1 (j) :
3
, equivalente a \
s


\
s
-
1
6
1 (j) :
3
(6)
siendo 1 (j) la curvatura de Gauss en j. Recordemos que

\
s
es la velocidad necesaria para dar una
vuelta a

C
s
en 2 segundos. Si tenemos que

\
s
< \
s
es porque las geodsicas estn ms apretadas,
ms cercanas en ' que en T
p
'. Es lo que sucede si 1 (j) 0. Al contrario, si

\
s
\
s
es porque
las varillas estn ms separadas en ' que en T
p
'. Se puede comprobar de modo tosco el signo de
7
El nombre exponencial se debe al papel que la exponencial de matrices juega en cierto ejemplos relevantes.
A. M. Amores La curvatura: un hilo conductor en la Geometra 15
Figura 7: La exponencial
1 (j) tomando una pequea etiqueta adhesiva de papel no elstico como la que llevan muchas naranjas
e intentndola pegar perfectamente en la supercie. En general ser imposible. Sin embargo, si para
conseguirlo, siquiera imperfectamente, debemos rasgar la etiqueta, es porque la supercie tiene curvatura
negativa y si hay que arrugarla es porque la curvatura es positiva. Hay otra explicacin un poco ms
abajo.
De un modo ms riguroso podemos interpretar (6) diciendo que \
s
es la velocidad de separacin
de las geodsicas radiales en el plano, que se toma como patrn. Por otra parte

\
s
es la velocidad de
separacin de las geodsicas en '. El valor 1 (j) da una medida de la diferencia de ambas velocidades.
Hay otra frmula que relaciona la curvatura con los crculos o
s
y o
s
. Sean 1
s
y

1
s
sus respectivas
longitudes. Para : sucientemente pequeo se tiene que
1
s


1
s
-
:
3
3
1 (j) . (7)
Queda claro que si 1 (j) 0, la longitud en el plano tangente supera la longitud del crculo enviado
a ' por exp
p
. Esto es intuitivo, pues si la exponencial dobla el disco plano 1
s
a

1
s
preservando las
distancias radiales, de modo que nuestro disco se convierte en una copa de vino, los crculos C
s
pasan a
ser crculos horizontales en la copa, necesariamente ms cortos. Si 1 (j) 0, la exponencial alarga las
longitudes de crculos al enviarlos al plano tangente. Esto da una explicacin de por que para pegar una
etiqueta de papel perfectamente en una supercie, ha de solaparse si la curvatura es positiva y rasgarse
si es negativa.
6. Un mundo ms abstracto y general
La teora de curvas y supercies es generalizable en muchos aspectos. La disciplina matemtica que
de ella ha surgido se llama la Geometra Riemanniana pues su primer gran impulsor fu Riemann
en 1854 con una famosa disertacin ante Gauss sobre los fundamentos de la Geometra. Nosotros nos
limitaremos a ir sealando lo que un conocedor de la teora clsica de curvas y supercies va descubriendo
segn lee obras ms generales.
1. Las supercies se transforman en las llamadas variedades diferenciables. Son como supercies
de dimensin : arbitraria. La generalizacin del concepto es superior a la que se observa en lgebra
o Anlisis al pasar de R
2
a R
m
. Para empezar, en muchos casos la variedad ' est contenida en
cierto R
m+k
con / _ 2 (las supercies hasta ahora estudiadas estn en R
3
= R
2+1
). Podemos
imaginar una supercie pero formada por puntos de R
5
? La denicin formal de variedad solo
A. M. Amores La curvatura: un hilo conductor en la Geometra 16
tiene en cuenta el que cada j ' tenga un entorno que sea como un disco de R
m
, sin referencia
alguna a que los puntos de ' estn en un R
q
especco. Es ms, el plano proyectivo ' tiene como
puntos las rectas de R
3
pero no puede decirse ' R
3
ya que una recta no es un punto de R
3
.
Las variedades no otan en un espacio ambiente R
q
sencillamente porque la denicin no hace
referencia a l.
2. El concepto de plano tangente es mucho ms complejo. Siempre imaginamos el plano tangente a
una supercie o la recta tangente a una curva como parte del espacio R
2
o R
3
que contiene a
la supercie o curva. Pero ya dijimos que ese espacio ambiente ha desaparecido. Qu hacemos
entonces? Vamos a indicar muy someramente la solucin al problema. Fijemos un punto j R
m
(puede pensarse si se quiere en : = 2) y una funcin ) : R
m
R. La funcin ) acta sobre los
vectores R
m
con su derivada en la forma
1) (j) () =
0) (j)
0r
1

1
+. . . +
0) (j)
0r
m

m
.
El nmero 1) (j) () es la derivada direccional en la direccin de . El nombre proviene de que
si c : (-, -) ' es una curva tal que c(0) = j y c
0
(0) = obtenemos
1) (j) () = () c)
0
(0) =
d
dt
[
t=0
) (c(t)) .
Esta segunda expresin nos dice que 1) (j) () es la variacin de ) a lo largo de c en t = 0,
apuntando ah c en la direccin . Nuestra descripcin est enfocada en el sentido que una ) ja
acta sobre mltiples . No obstante, la situacin es reversible: podemos jar un R
m
que acta
sobre una funcin variable ) segn

p
()) = 1) (j) () =
0) (j)
0r
1

1
+. . . +
0) (j)
0r
m

m
= () c)
0
(0) =
d
dt
[
t=0
) (c(t)) .
La nueva notacin es para hacer nfasis sobre quien es el sujeto activo y quien el pasivo de la accin.
Tenemos pues un operador
p
que es la derivada direccional en j segn . Las derivadas direccionales
en j pueden sumarse y multiplicarse por nmeros como los vectores ordinarios. Forman de hecho
un espacio vectorial que llamaremos TR
m
(j) y es isomorfo a R
m
, correspondiendo c
i
, el isimo
vector de la base natural de R
m
a la derivada parcial 0,0r
i
en j. Pues bien, si estamos en una
variedad abstracta ', la idea de vector tangente como en las supercies de R
3
se pierde, pero la
idea de derivada direccional no. Los vectores tangentes en j ' se denen como las derivadas
direccionales en j y constituyen el espacio tangente
8
T' (j) .
3. Se pueden multiplicar escalarmente vectores tangentes; es decir, es posible tener en cada T' (j)
un producto euclidiano q (j) con idnticas propiedades al familiar producto euclidiano en R
m
. A
diferencia de lo que sucede en supercies, donde hay una denicin natural por restriccin del
producto euclidiano de R
3
, en el caso abstracto puede que no haya ninguna que se imponga a las
dems. Es posible elegir algunas llenas de propiedades interesantes. El conjunto de mtricas q (j) ,
j ', que abreviaremos a q, es la mtrica de Riemann y es un dato fundamental de la variedad.
Muchos de los objetos matemticos interesantes, derivan de q y variar q, manteniendo ', supone
entrar en una geometra diferente. Si una propiedad o magnitud permanece invariante al modicar
q; es decir, solo depende de ', se celebra como una excepcionalidad maravillosa, pues tiene gran
trascendencia. Ms adelante citaremos una de estas magnitudes.
4. Muchos de los objetos que permiten estudiar una supercie son funciones ) : ' R. El aumento
de la dimensin obliga a considerar objetos ms complejos llamados tensores, dando la teora
un fuerte giro algebraico
9
. Un tensor de ' es una coleccin de funciones (j) , j '. Las
8
Hemos usado la notacin TM (p) ; distinta de T
p
M para vistinguir los vectores visibles de T
p
M de los mucho ms
abstractos en TM (p). Aparte de esto, al tratar de supercies, dijimos que convena ver T
p
M como un espacio n y en el
caso abstracto, TM (p) es un espacio vectorial.
9
No es que los tensores no existan en las supercies de R
3
: Simplemente, se puede exponer lo ms relevante sin tener
que hacer una exposicin amplia y general de lo que son los tensores y sus propiedades.
A. M. Amores La curvatura: un hilo conductor en la Geometra 17
funciones (j) no son funciones sobre ' sino sobre sobre productos de copias de T' (j) y son
lineales en cada variable. En resumen
(j) : T' (j) . . . T' (j) R, (j) (
1
, . . . ,
i1
, ,
i+1
, . . . ,
r
) lineal.
Para entender lo que sigue no hay que dominar esta denicin, basta quedarse con la idea general
de que las propiedades geomtricas del par (', q) quedan codicadas en funciones que actan sobre
vectores tangentes, no meramente sobre puntos de '.
5. En una variedad se derivan todo tipo de objetos, principalmente tensores, y, con frecuencia, ms de
una vez. El espacio R
m
tiene suciente riqueza de propiedades para que podamos derivar funciones
) : R
m
R. Una variedad ', por s sola, no tiene suciente riqueza de propiedades para que se
puedan denir todas las derivadas interesantes
10
. Sin embargo, con la mtrica q, s que se tienen
muchas ms posibilidades de derivar.
6. Para funciones ) : R
m
R se tiene el teorema de Schwarz, que dice que las derivadas (parciales)
se pueden reiterar en cualquier orden sin que vare el resultado. En una variedad con su mtrica q
esto es falso. El resultado verdadero es imposible de formalizar al nivel de estas notas, pero s que
puede explicarse con sencillez la esencia del asunto: La diferencia de resultado segn se elijan en
uno u otro orden las dos derivaciones, est determinado por un tensor que llamamos la curvatura,
y que, como simple abreviatura, llamaremos 1. Aqu 1 no es interpretable como una medida del
retorcimiento o alabeamiento de ', porque estas ideas llevan consigo el que ' est dentro de
une espacio ms grande, que sabemos no existe. Sin embargo, s que 1 es interpretable como la
diferencia entre el espacio R
m
y nuestra variedad (', q) desde una perspectiva algebraica. En efecto,
el nfasis precedente es esencial pues R
m
, donde el orden de derivacin es irrelevante, tiene 1 = 0
mientras que esto no pasa en (', q) . Por cierto, 1 depende de q. Puede darse el caso de que una
variedad sea euclidiana con una mtrica y no euclidiana con otra. Hemos puesto comillas pues
usamos las palabras en un sentido nada convencional
11
. Al decir euclidiana queremos decir que
1 = 0 y que, como en el espacio euclidiano R
m
, el orden de derivacin no importa. Y al decir no
euclidiana queremos decir lo contrario, sin referencia alguna a las geometras no euclidianas, si
bien es cierto que al estudiar estas geometras desde el punto de vista de la Geometra Diferencial
resultan tener curvatura no nula.
Qu lugar ocupa la curvatura de Gauss 1 de una supercie en todo esto? Dejando de lado la
precisin tcnica, es sencillo contar lo esencial: hay un tensor , el mismo para todas las supercies, tal
que 1 = 1. O sea, conocido 1 se conoce 1 (luego 1 = 0 implica 1 = 0) y conocido 1 se conoce 1. El
que la curvatura 1 sea prxima a cero indica que nuestra supercie, desde un punto de vista algebraico,
se parece mucho a un plano. En las frases anteriores nos referimos a todo tipo de supercies, estn o no
dentro de un espacio euclidiano y sea cual sea su mtrica, si bien es cierto que el tensor universal =
g
depende de la mtrica q. En la frmula 1 = 1
g
hay otra cosa muy relevante: La curvatura de Gauss es
uno de los pocos conceptos supervivientes, en el paso al mundo abstracto. Le acompaan las geodsicas
y las isometras, cosa algo previsible por su proximidad como concepto a la idea de distancia. En efecto,
estos conceptos dependen esencialmente de la distancia, la distancia de las longitudes de curvas, y la
longitud de una curva sale integrando la velocidad de la curva. Todo ello se mantiene gracias a q. Pero
hemos perdido las curvaturas principales, la curvatura media y la transformacin de Weingarten (u
operador forma). Extraamente, 1 sobrevive a pesar de ser un concepto derivado de ellos y, adems, en
una posicin central. El teorema egregio de Gauss sigue siendo cierto sin modicacin. Y el teorema de
Gauss-Bonnet toma una forma an ms fuerte que ahora exponemos.
En una supercie, abstracta o no, las funciones pueden integrarse. Tomando una mtrica q cualquiera
tenemos la correspondiente ecuacin 1
g
= 1
g

g
, ponindose el subndice q para indicar que todo
depende de la mtrica. Pues bien, se tiene nuevamente que
_
1
g
d = 2(') (8)
10
Para el lector instruido, se puede denir la derivada exterior o la derivada de Lie (en funcin de un campo) pero no se
pueden denir las derivadas que permite la conexin de Levi-Civit.
11
Las mtricas o variedades con R = 0 se llaman planas o llanas.
A. M. Amores La curvatura: un hilo conductor en la Geometra 18
no importa cual sea la mtrica q elegida. O sea, esta frmula no depende de que se haya tomado en ' una
mtrica ms o menos natural. No, incluso si en una supercie de R
3
hubisemos elegido otra mtrica,
por rara que fuera, la relacin (8) seguira siendo vlida. Pero (8) tiene mucha ms informacin. La
caracterstica de Euler (') , ligada al nmero de agujeros (el gnero) puede denirse en una supercie
abstracta, incluso aunque no est en R
3
y solo depende de ella (de su topologa, para ser exactos). Se
sigue entonces de (8) que en ' habr diversas mtricas q que den distintas curvaturas 1
g
, pero todas
tendrn la misma integral, ligada a un factor esencial de la supercie: el nmero (') .
7. Dos apuntes ms
7.1. La teora de la Relatividad
En nuestro paso al mundo general y abstracto de la seccin anterior, hemos supuesto siempre que
la mtrica q era como un producto euclidiano dando a entender entre otras cosas que, igual que en
R
m
sucede que un vector ,= 0 tiene , = ||
2
0, en una variedad, al multiplicar T' (j) por
si mismo con q (j) saldr tambin un nmero 0. Hay un tipo de mtricas no riemannianas q en las
que al multiplicar ,= 0 por s mismo con ellas, salen nmeros _ 0. Se pierde el concepto de distancia y
muchos teoremas de la Geometra Riemanniana. Sin embargo queda una teora con sus propios mtodos
y problemas y muy rica en resultados. Digamos, porque luego se usar, que sigue habiendo geodsicas e
isometras, derivadas y tensores, as como curvatura. La curvatura permanece como la medida de cmo
inuye el orden de derivacin. Las geodsicas no estn ligadas a una distancia, pues no existe; sin embargo
pueden tener una interpretacin intuitiva sorprendente que pronto daremos.
Se lleg a esta geometra por un motivo muy diferente del puro afn de generalidad. La gran impulsora
fue la Fsica; ms concretamente, la teora de la Relatividad. De hecho esta Geometra no Riemanianna
se denomina con frecuencia Geometra Lorentziana, siendo A. Lorentz
12
uno de los grandes creadores
de la teora de la Relatividad.
El modelo matemtico subyacente a esta teora dice que los sucesos son puntos de un espacio tiempo '
representando posiciones en el espacio y el tiempo. Se requieren cuatro parmetros, tres espaciales y uno
temporal, luego ' es una variedad pero de dimensin cuatro. La mtrica q no tiene una interpretacin
fsica directa sino indirecta, ya que es la manera de encapsular los datos fsicos en lenguaje geomtrico.
Una de estas variedades (', q) puede ser modelo del universo, del sistema solar o de un agujero negro.
El caso sencillo, que en Geometra Riemanniana era el espacio euclidiano, pasa aqu a ser un universo o
parte de l, sin materia y sin gravedad. En todo caso, una curva c en ' representa la evolucin de una
partcula en ese particular modelo fsico. Las geodsicas, que son un caso particular de curva, son ahora
las evoluciones de las partculas sujetas en exclusiva a la accin de la gravedad. Al hablar de Relatividad
se suele decir frecuentemente que el espacio es curvo. Esto no signica que el espacio est doblado o
retorcido sino que la curvatura no es cero y que por tanto nuestro modelo se aparta de una situacin de
espacio euclidiano.
La curvatura aparece en Relatividad en una ecuacin similar a la que se tiene que usar en la Geometra
Riemanniana para determinar si las geodsicas que arrancan de j se separan a mayor o menor velocidad
que en el espacio euclidiano. Esta ecuacin, llamada ecuacin de Jacobi, nos indica cmo la gravedad,
que se maniesta a travs de q y de la curvatura 1
g
que ella determina, impone una evolucin entre las
partculas diferente a la que se producira si no existiese gravedad.
7.2. La curvatura de Ricci
Hemos hablado de la curvatura 1 diciendo tan solo que es un tensor y que, en dimensin 2, es
proporcional a un tensor jo
g
con la curvatura de Gauss como factor de proporcionalidad. Con el
lenguaje clsico de ndices se suele representar la curvatura por 1
ijk`
, aunque pueden elegirse otros
ndices o, representando otro tensor ligeramente distinto, poner un superndice, quedando 1
i
jk`
. Aunque
1 contiene toda la informacin sobre la curvatura, y para nosotros curvatura signica la diferencia que
hay con R
m
al permutar el orden de derivacin, hemos de decir que hay otros objetos derivados de 1
ijk`
12
No confundir con el matemtico y meteorlogo Edward Lorenz (sin t) que acu el trmino efecto mariposa y lo
estudi.
A. M. Amores La curvatura: un hilo conductor en la Geometra 19
ms sencillos y que contienen muchsima informacin relevante. Nos limitamos
13
a la llamada curvatura
de Ricci o tensor de Ricci, que con la notacin clsica se denota por 1
ij
. Nosotros elegiremos Ric
como notacin moderna.
Desde luego, al considerar 1
ij
en lugar de 1
ijk`
se pierde informacin, pero mucho de lo fundamental
de la variedad y su mtrica queda jado por 1
ij
. Pondremos a veces 1
ij
(q) o Ric (q) para resaltar que
la curvatura o tensor de Ricci dependen de q. Comentamos dos puntos esenciales donde aparece este
tensor.
1. Ya hemos dicho ms arriba que, en Relatividad, la mtrica q es la manifestacin geomtrica de la
energa y la materia. Sin embargo, no hay por qu dar q directamente. Hay un tensor T llamado
tensor tensin-energa y un tensor de Einstein 1 que depende de la an no conocida q.
La situacin fsica sugiere una denicin de T y la ecuacin de Einstein 1 (q) = 8T nos da,
con q como incgnita, la ecuacin que q tiene que satisfacer. Pues bien, conocido 1 (q) se conoce
Ric (q) y viceversa. Esto coloca al tensor de Ricci en primera lnea de nuestro inters. En la foto que
incluimos de Einstein, vemos que est escribiendo 1
ik
= 0 (eligi i, / en vez de i, ,). Suponemos
que esta ecuacin se reere al modelo de Schwarzschild, y representa en todo caso una situacin
fsica en la que las fuentes gravitatorias son externas al modelo.
2. En dimensin 2 ya sealamos que 1
g
= 1
g

g
siendo 1
g
la curvatura de Gauss y
g
un tensor con
la misma estructura para todas las mtricas. Por ello, 1
g
y 1
g
contienen la misma informacin. Hay
otra manera de expresar esto haciendo intervenir la curvatura de Ricci Ric (en lugar de la curvatura
1) y que es mucho ms explcita. Se tiene que Ric (q) = 1q. Verbalmente: en dimensin 2, el tensor
de Ricci es proporcional a la mtrica siendo la curvatura de Gauss el factor de proporcionalidad.
13
Estn tambin por ejemplo la curvatura escalar y la curvatura seccional.
A. M. Amores La curvatura: un hilo conductor en la Geometra 20
Concluimos con un breve apunte sobre la conjetura de Poincar. Escribimos conjetura por pura
inercia, pues ha dejado de serlo desde hace tiempo para todas las dimensiones :, siendo : = 3 el caso que
ms se ha resistido. Perelman es quien ha demostrado
14
lo que debera llamarse el teorema de Poincar
en el bienio 2002-2003 para : = 3. Imaginemos en la esfera S
m
una curva cerrada sin autointersecciones
(curva cerrada simple) que pasa por el polo norte j. Esta curva puede deformarse a lo largo del tiempo
y reducirse al punto j; es como si se apretara un lazo corredizo que reduce el lazo de cuerda a un punto.
Poincar conjetur en 1904 que una variedad ' compacta y conexa en la que toda curva cerrada simple
fuese deformable a un punto deba de ser una esfera
15
. Fu Poincar quien primero prob su conjetura
para : = 2 y ms adelante se hizo para otras dimensiones en el orden : = 5, : _ 7, : = 6, : = 4 y
: = 3. Lo que nos importa es que el caso : = 3 requiri unas ideas diferentes a las antes usadas que
estas tienen que ver con la curvatura de Ricci. Explicamos algunas en el caso : = 2, aplicables en parte
a : = 3.
Observemos para empezar que en la foto de Perelman aparece la curvatura de Ricci 1
ij
. La idea
esencial es la de deformar la mtrica. Supongamos que en ' tenemos una familia de mtricas dependiendo
de un parmetro t R. En cada instante t tenemos una mtrica q
t
y nos imaginamos que la mtrica
vara con el tiempo. Es quizs mejor imaginarse que ' se deforma en el espacio R
3
a lo largo del tiempo
y que esto hace que la mtrica cambie. Por ejemplo, si tomamos un baln y lo deformamos apretndolo
entre dos tablas paralelas, la nueva supercie '
t
al cabo de t segundos ya no tendr 1 constante sino
que ser no constante. Es lo que corresponde a una supercie en forma de lenteja; lo que resulta al
aplastar el baln. Nosotros no partimos de un baln; al contrario, queremos llegar a un baln. Partimos
de una supercie '
0
con mtrica q
0
y queremos deformar q
0
a travs de una curva q
t
en el conjunto de
mtricas con el propsito de que, al avanzar el tiempo, las mtricas se vayan redondeando hasta llegar
a una mtrica redonda. Esto es, dicho con ms formalidad, que para cierto T 0 tengamos que q
T
es
una mtrica con curvatura de Gauss positiva y constante. Llegando ah hemos acabado pues se sabe (al
14
No debe olvidarse que los primeros resultados que hicieron sospechar que el ujo de Ricci (ver ms adelante) era un
concepto sumamente prometedor fueron de Hamilton en los aos 80.
15
La expresin exacta es homeomorfa a una esfera siendo los homeomorsmos biyecciones continuas con inversa
continua.
A. M. Amores La curvatura: un hilo conductor en la Geometra 21
menos para supercies en R
3
, basta el teorema de Hilbert-Liebmann antes citado o si no, le teorema de
Gauss-Bonnet) que ' debe ser una esfera.
La pregunta es cmo deformar la mtrica q
0
? La respuesta es: en la direccin opuesta a su curvatura
de Ricci. Miremos de nuevo la foto de Perelman. Sobre su cabeza est (q
ij
)
t
= 21
ij
. En realidad
faltan
16
dos cosas en esta ecuacin; debe decir, quitando los ndices i, ,,
d
dt
(q
t
) = 2 Ric (q
t
) .
Esta es la ecuacin del ujo de Ricci. Verbalmente: al derivar la mtrica, su variacin ha de ser
opuesta al doble de su curvatura de Ricci, que tambin depende de q
t
. (El factor 2 es irrelevante y se
pone por razones tcnicas.) Lo nico que podemos hacer es dar un argumento que parece indicar que
esta ecuacin es una buena eleccin, al menos en el caso : = 2. En este caso tenemos Ric (q) = 1q, con
1 la curvatura de Gauss. La ecuacin de Ricci pasa a ser
d
dt
(q
t
) = 21 (q
t
) q
t
, (9)
indicando 1 (q) que la curvatura depende de q. Tomemos un punto j y un vector tangente T' (j)
y consideremos la funcin ) (t) = q
t
(j) (, ) , observando que es la raz de esta funcin la que se integra
al calcular longitudes de curvas. En efecto, la longitud de c entre t = a y t = / es
1(c; a, /) =
_
b
a
q (c(t)) (c
0
(t) , c
0
(t))
1=2
dt.
La ecuacin (9) nos da
d) (t)
dt
= 21 (q
t
) (j) ) (t) .
La funcin ) es siempre _ 0. Si la curvatura es negativa, el lado derecho es negativo luego ) es decreciente
con t ya que su derivada es negativa. Al incrementarse t, las curvas, y en particular los crculos

C
s
, tratados
para las ecuaciones (6) y (7) ven su longitud disminuida, y (suponemos) aproximarn su longitud al
valor 2:, del que no pueden bajar. Dualmente, si 1 < 0, los crculos

C
s
ven su longitud incrementada y
(suponemos) aproximarn su longitud al valor 2:, del que no pueden subir. Lo ms que se puede decir
con este dbil argumento es que, al evolucionar q
t
bajo la ecuacin de Ricci (9) para : = 2, la supercie
tiende a redondearse. Queremos decir con esta palabra que donde 1 es negativa tiende a subir y donde
es positiva tiende a bajar. Aun con todo esto, est por ver que haya estabilidad en un valor constante y
positivo de 1, que es lo que sucede con las esferas.
16
Con seguridad, para Perelman el subndice t indica la derivacin respecto a t y no ha olvidado nada.