Vous êtes sur la page 1sur 13

CAPITULO 10 GEODESICAS

1.

INTERROGANTES CENTRALES DEL CAPITULO

Se pretende que el alumno sepa denir, establecer o determinar lo siguiente: Geod esica en un punto Ecuaciones locales de una geod esica El campo geod esico El ujo geod esico Geod esica maximal Lema de Homogeneidad La aplicaci on exponencial Entorno normal Coordenadas normales Supercie parametrizada Lema de Simetr a Entorno totalmente normal

2. CONTENIDOS FUNDAMENTALES DEL CAPITULO Consideremos una supercie S embebida en R3 y equipada con la m etrica inducida g (la primera forma fundamental de la supercie). Las curvas dibujadas sobre esta supercie, parametrizadas proporcionalmente a la longitud de arco y que, localmente, son el camino m as corto entre dos puntos son las curvas con vector aceleraci on normal, lo cual se deduce de las ecuaciones de Euler-Lagrange para el problema. Si c : I S R3 es una de tales curvas y D es la derivada covariante asociada D dc a g , entonces dicha condici on es, justamente, dt dt = 0. Nosotros ahora imitamos esta propiedad e introducimos la noci on de geod esica sobre una variedad diferenciable cualquiera, con una conexi on af n, como aquellas curvas cuyos campos de vectores tangentes son paralelos. Denici on 10.1 Sea (M, ) una variedad af n. Una curva parametrizada : I M es geod esica en t0 I si = 0 en el punto t0 . Se dice que es una geod esica si es una curva geod esica en todos los puntos de su dominio. Si [a, b] I y : I M es una geod esica, la restricci on de al intervalo [a, b] ser a denominada (segmento de) geod esica entre (a) y (b). A veces, y por abuso del lenguaje, se denomina geod esica a la traza de , lo cual es incorrecto como f acilmente se puede ver en R2 : las rectas de R2 son geod esicas si, y s olo si, su parametrizaci on es
D dt d dt

164

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

lineal. Esto signica que el par ametro de una geod esica no es arbitrario, y el hecho de que una curva sea una geod esica depende tanto de su forma como de su parametrizaci on. Con objeto de enunciar resultados generales sobre geod esicas en variedades debemos estudiar con cierto detalle la ecuaci on que las dene. No obstante, ya desde el comienzo pueden presentarse numerosos ejemplos de geod esicas en virtud de las siguientes dos observaciones. En primer lugar, la ecuaci on de una geod esica impone solamente una condici on local sobre la curva. M as precisamente, si cada punto de una curva tiene un entorno en el cual puede ser escrita en la forma (t) con D dt = 0, entonces es una geod esica. En segundo lugar, la propiedad de ser una geod esica es preservada por transformaciones anes, ya que la diferenciaci on covariante lo es y, por tanto, tambi en el paralelismo de un campo de vectores.

2.1. Ecuaciones locales de una geod esica La ecuaci on que dene una geod esica se traduce, cuando pasamos a un sistema de coordenadas locales, en un sistema de n ecuaciones diferenciales de segundo orden. Dicho sistema, considerado en el brado tangente, se transforma en un sistema de 2n ecuaciones diferenciales de primer orden, lo que nica geod permite asegurar que existe una u esica que pasa por un punto en una direcci on dada, utilizando para ello la teor a de existencia y unicidad de soluciones de ecuaciones diferenciales ordinarias. Sea : I M una geod esica y consideremos (U, x) una carta local tal que (I ) U = . Sea (x1 , . . . , xn ) el sistema de coordenadas asociado, entonces 2 D d d d d k 0= = (x ) + (ij ) (xi ) (xj ) dt2 k xk (t) dt dt dt dt
k i,j

Luego la geod esica est a caracterizada en U por satisfacer el siguiente sistema de ecuaciones diferenciales de segundo orden: d2 (xk ) + dt2 (k ij )
i,j

d d (xi ) (xj ) = 0, dt dt

k = 1, . . . , n.

(10.1)

k Es usual escribir xi (t) = xi ( (t)) y k on anterior puede transforij (t) = ij ( (t)), por lo que la ecuaci marse en la siguiente: xk + k k = 1, . . . , n. ij xi xj = 0, i,j

Para estudiar m as detalladamente el sistema (10.1) es conveniente que consideremos el brado tangente T M . Recordemos cu al es la estructura diferenciable en T M . Si (U, x) es una carta en M , denimos z : W R2n , con W = {(p, v ) T M ; p U, v Tp M }, por z (p, v ) = (x(p), dx1 (v ), . . . , dxn (v )). Entonces (W, z ) es una carta en T M , lo que signica que localmente el brado tangente se comporta como un producto. Consideremos las funciones yi = dxi denidas en W , de modo que z = (x, y ). Cualquier curva diferenciable (t) en M determina una curva ( (t), (t)) en su brado tangente. Si es una geod esica entonces la curva (, ) satisface el siguiente sistema de ecuaciones: xk = y k , yk =
imj

k = 1, . . . , n k ij yi yj , k = 1, . . . , n

SICAS GEOD E

165

La ventaja de trabajar en el brado tangente es evidente: hemos transformado un sistema de ecuaciones diferenciales de segundo orden en otro de primer orden.

2.2.

El campo y el ujo geod esicos

Proposici on 10.2 nico campo G en T M cuyas trayectorias son de la forma t ( (t), (t)), donde es una Existe un u geod esica de M . El campo G se denomina el campo geod esico en T M . Como consecuencia de la teor a de ecuaciones diferenciales se tiene el siguiente resultado. Proposici on 10.3 Para cada punto p M existe un entorno U de T U , donde (U, x) es un sistema de coordenadas en p y (p, 0) U , un n umero > 0 y una aplicaci on diferenciable : (, ) U T U tales que la nica trayectoria de G que satisface la condici aplicaci on t (t, q, v ) es la u on inicial (0, q, v ) = (q, v ) para cada (q, v ) U . Observemos que es posible escoger U de la siguiente forma: U = {(q, v ) T U ; q V, v Tq M, |v | < 1 } donde V U es un entorno de p. Poniendo = , donde : T M M es la proyecci on can onica, podemos reescribir el resultado anterior como sigue. Proposici on 10.4 Dado p M , existen un abierto V M , con p V , n umeros > 0 y 1 > 0, y una aplicaci on diferenciable : (, ) U M , U = {(q, v ); q V, v Tq M, |v | < 1 }, tales que la curva nica geod t (t, q, v ), t (, ), es la u esica de M que en el instante t = 0 pasa por q con velocidad v , para cada (q, v ) U . El hecho de que ser geod esica sea una propiedad local de curvas parametrizadas, como hemos indicado, permite deducir que si dos geod esicas coinciden (como conjuntos) en alg un intervalo, entonces su uni on, con una adecuada parametrizaci on, es tambi en una geod esica. Adem as, si dos geod esicas tienen un punto en com un y son tangentes en ese punto, entonces su uni on es tambi en una geod esica. M as precisamente, Proposici on 10.5 Sean , : I M , I conexo, dos geod esicas. Si existe un n umero a I tal que (a) = (a) entonces = . Como consecuencia obtenemos el siguiente resultado. Proposici on 10.6 nica geod Dados p M y v Tp M existe una u esica (p,v) (t) = (t, p, v ) en M tal que: (1) La velocidad inicial de es v , es decir, (0, p, v ) = v . (2) El dominio I (p, v ) de (p,v) es el mayor posible, es decir, si : J M es otra geod esica tal que (0) = v entonces J I (p, v ) y = (p,v) |J .

166

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

nica geod Esto implica que cada geod esica est a contenida en una u esica maximal (p,v) , esto es, en una geod esica que no es un subconjunto propio de ninguna otra geod esica. Se dice que (p,v) es geod esicamente inextendible. Lema 10.7 (Lema de Homogeneidad) Si la geod esica (t, p, v ) est a denida en (, ), entonces la geod esica (t, q, av ), a > 0, est a denida en (/a, /a) y se verica (t, q, av ) = (at, q, v ). Como consecuencia, es posible aumentar (disminuir) la velocidad de una geod esica disminuyendo (aumentando, respectivamente) su intervalo de denici on. El lema de homogeneidad nos sit ua en la pista del siguiente problema: qu e reparametrizaciones de una geod esica conservan el car acter de geod esica? Proposici on 10.8 Sea : I M una geod esica no constante. Una reparametrizaci on h : J M es una geod esica si, y s olo si, h(t) = at + b.

2.3. La aplicaci on exponencial Las propiedades de homogeneidad de las geod esicas tienen como consecuencia que, dado un punto, existe un entorno tal que todas las geod esicas que parten de ese punto est an denidas en un mismo intervalo de R . Este hecho permite construir, para cada punto m de M , la aplicaci on exponencial expm : Tm M M , que a cada vector tangente a M en m le hace corresponder la imagen de 1 por la geod esica que parte de m en la direcci on de dicho vector. Proposici on 10.9 Dado p M , existen un entorno V de p en M , un n umero > 0 y una aplicaci on diferenciable : (2, 2) U M , donde U = {(q, w) T M ; q V, w Tq M, |w| < }, tal que (t, q, w), nica geod t (2, 2), es la u esica de M que en el instante t = 0 pasa por q con velocidad w, para cada (q, w) U . Denici on 10.10 Sea p M y U T M el abierto dado en la proposici on anterior. Entonces la aplicaci on exp : U M dada por v exp(q, v ) = (1, q, v ) = (|v |, q, ), v = 0, |v | se llama la aplicaci on exponencial en U . La aplicaci on exponencial puede interpretarse de otra manera, que pasamos a describir. Sea un punto q (U ), donde : T M M es la proyecci on can onica. Denici on 10.11 La aplicaci on expq : B (0, ) Tq M M denida por expq (v ) = exp(q, v ), donde B (0, ) es la bola abierta de centro 0 Tq M y radio > 0, se denomina la aplicaci on exponencial en q .

SICAS GEOD E

167

Geom etricamente, la exponencial expq (v ) es el punto de M que se obtiene al recorrer una distancia |v |, a partir de q , a lo largo de la geod esica que pasa por q con velocidad igual a v/|v |. Por el lema de homogeneidad, lo anterior es equivalente a recorrer una distancia igual a 1, a partir de q , a lo largo de la geod esica que parte de q con velocidad v . Es inmediato probar el siguiente resultado: Proposici on 10.12 Sea m M . Entonces: (1) expm es una aplicaci on diferenciable con expm (0) = m. (2) Existe > 0 tal que expm : B (0, ) M es un difeomorsmo de la bola B (0, ) en un abierto de M. El hecho de que, para cada punto, la aplicaci on exponencial sea un difeomorsmo local permite considerar a su inversa como una carta de la variedad en un entorno del punto. Las coordenadas de un punto mediante un tal sistema de coordenadas se llaman coordenadas normales, y el entorno en el que est an denidas entorno normal. Precisemos un poco m as estas ideas. Sea m M y consideremos abiertos U (0) Tm M y V (m) M tales que expm : U V es un difeomorsmo. Entonces (V, ), = (expm )1 , es una carta local de M en un entorno de m. El abierto V se denomina entorno normal de m y el conjunto B (m, ) = expm (B (0, )) se denomina bola normal (o geod esica) de centro m y radio . Consideremos {e1 , . . . , en } una base de Tm M . Para todo punto p V se tiene que (expm )1 (p) U por lo que existen n umeros (x1 (p), . . . , xn (p)) tales que
n

(expm )1 (p) =
i=1

xi (p)ei .

Entonces x = (x1 , . . . , xn ) dene un sistema de coordenadas, denominadas coordenadas normales 1 asociadas a V . Las funciones coordenadas est an dadas por xi = fi exp m , donde {f1 , . . . , fn } es la base dual de {e1 , . . . , en }. Ejemplo 10.13 Sea M = Rn . Como la derivada covariante asociada a la conexi on can onica de Rn coincide con la n derivada usual, las geod esicas de R no son m as que las rectas parametrizadas linealmente: (t) = m + tv . En consecuencia, la aplicaci on exponencial es la identidad y el sistema de coordenadas est andar constituye un sistema de coordenadas normales. Denici on 10.14 (1) La frontera S (m, ) de una bola normal B (m, ) se denomina esfera normal (o geod esica). (2) Las geod esicas en B (p, ) que parten de p se denominan geod esicas radiales. Las coordenadas normales poseen un comportamiento especial que hace de ellas un instrumento til en el estudio de la geometr muy u a de la variedad. De entre sus propiedades m as importantes destacan las siguientes: Proposici on 10.15 (1) Las ecuaciones locales de las geod esicas que parten de m son de la forma xi (t) = tvi . (2) Los coecientes de la conexi on o s mbolos de Christoffel se anulan en m: k ij (m) = 0 para todo (i, j, k ).

168 2.4. El lema de simetr a

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Una curva diferenciable a trozos es una aplicaci on c : [a, b] M de un intervalo cerrado [a, b] R en M satisfaciendo la siguiente condici on: existe una partici on a = t0 < t1 < < tk1 < tk = b tal que las restricciones c|[t1 ,ti+1 ] , i = 0, . . . , k 1, son diferenciables. Se dice que c conecta los puntos ngulo determinado por c (t+ c(a) y c(b). Los puntos c(ti ) se denominan los v ertices de c y el a i ) = limtt+ c (t) y c (t ) = lim ngulo del v e rtice c ( t ) . c (t) se llama el a i i tt
i i

La primera observaci on que debemos hacer es que el transporte paralelo puede ser f acilmente extendido a curvas diferenciables a trozos. En efecto, dado v0 Tc(t) M , t [ti , ti+1 ], se extiende v0 a un campo paralelo V (t), t [ti , ti+1 ]; tomando V (ti ) y V (ti+1 ) como nuevos valores iniciales, podemos extender V (t) paralelamente al intervalo [ti1 , ti+2 ], y as sucesivamente. Denici on 10.16 Sea A un conjunto conexo de R2 tal que la frontera A de A es una curva diferenciable a trozos con ngulos en los v a ertices distintos de . Una supercie parametrizada en M es una aplicaci on diferenciable 2 s : A R M. Merece la pena hacer algunas observaciones respecto de la denici on que acabamos de presentar. Decir que s es diferenciable en A equivale a decir que existe un abierto U A donde s se extiende ngulos de los v diferenciablemente. Finalmente, la condici on sobre los a ertices de A es necesaria para que la diferencial de s no dependa de la extensi on considerada. Denici on 10.17 Un campo de vectores V a lo largo de una supercie parametrizada s es una aplicaci on V : A T M que asocia a cada punto q de A un vector V (q ) Ts(q) M , que es diferenciable en el siguiente sentido: si f C (M ) es una funci on diferenciable, entonces la aplicaci on q V (q )f es diferenciable. El siguiente razonamiento es an alogo al que se hace para supercies en R3 . Sean (u, v ) las coor2 denadas cartesianas de R . Para v0 jo, la aplicaci on u (u, v0 ), donde u pertenece a una componente s conexa de A {v = v0 }, es una curva en M cuyo vector tangente u = ds( u ) dene un campo de vectores a lo largo de dicha curva. Si razonamos igual para cualquier punto v0 podemos construir un s campo de vectores u a lo largo de la supercie parametrizada s. De forma totalmente an aloga podemos s denir v . La derivada covariante puede extenderse a supercies parametrizadas del siguiente modo. Sea V un campo de vectores a lo largo de s, entonces DV u (u, v0 ) es la derivada covariante a lo largo de la curva u s(u, v0 ) de la restricci on de V a esta curva. Esto dene DV u (u, v ) para todo punto (u, v ) A. DV An alogamente se dene v (u, v ). Lema 10.18 (Lema de Simetr a) Sea M una variedad diferenciable con una conexi on sim etrica y s : A M una supercie parametrizada. Entonces D s D s = v u u v Una de las principales aplicaciones del Lema de Simetr a es el Lema de Gauss, enunciado en variedades riemannianas, que arma que las geod esicas radiales son ortogonales a las esferas geod esicas. Para nalizar este cap tulo probaremos un renamiento del teorema de existencia de entornos normales.

SICAS GEOD E

169

Proposici on 10.19 Para cada punto p M existe un entorno W de p y un n umero > 0 tales que para cada q W , la aplicaci on exponencial expq es un difeomorsmo en B (0, ) Tq M y B (q, ) W . En otras palabras, W es un entorno normal de todos sus puntos, por lo que se denomina entorno totalmente normal. De este resultado podemos extraer dos interesantes consecuencias: nica geod (1) Dados dos puntos q1 , q2 en W existe una u esica minimizante uniendo q1 con q2 . (2) La geod esica depende diferenciablemente de (q1 , q2 ) en el siguiente sentido: dado (q1 , q2 ) existe nico vector v Tq1 M , que depende diferenciablemente de (q1 , q2 ), tal que (0) = v . un u

3.

DE LOS CONOCIMIENTOS ACTIVIDADES DE APLICACION

A.10.1. Sean (x1 , x2 ) las coordenadas habituales de R2 y sea la conexi on denida por los s mbolos siguientes: k excepto 2 2 ij = 0, 12 = 3, 21 = 2. (a) Escribe y resuelve las ecuaciones diferenciales de las geod esicas en un punto cualquiera de R2 . (b) Es una conexi on completa, es decir, el campo geod esico asociado es completo? (c) Si y son dos geod esicas tales que (0) = (0) y (0) = b (0), b R , prueba que (t) = (bt) para todo t posible. (Esta armaci on es consecuencia del teorema de existencia y unicidad de geod esicas; sin embargo, aqu hay que demostrarlo sin hacer uso de este teorema). C = {(x, y, z ) R3 ; x2 + y 2 = r2 }
3 con la conexi 3 4 n inducida de R .

A.10.2. Consideremos el cilindro

Prueba que las geod esicas de C son las h elices, las rectas generadoras y los c rculos (intersecci on de C con planos z =constante). (b) (a) Dados dos puntos p, q C , cu antas geod esicas conectan p y q ? A.10.3. Sea : I M una geod esica no constante. Entonces una reparametrizaci on h : J M es una geod esica si, y s olo si, h es una funci on lineal, es decir, h(t) = at + b, para ciertas constantes a y b. A.10.4. Una curva : I M es una pregeod esica si admite una reparametrizaci on como geod esica. Prueba que una curva es una pregeod esica si, y s olo si, su vector aceleraci on es proporcional a su vector velocidad, es decir, (t) = f (t) (t) para una cierta funci on diferenciable f . A.10.5. Prueba que la geod esica de n 2 Tp S (r ) viene dada por

Sn (r2 ) que pasa en el instante 0 por un punto p a velocidad v


|v |t r p+ r sen |v | |v |t r v.

(t, p, v ) = cos

170

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Como consecuencia, dado un punto p Sn (r2 ), un vector v Tp Sn (r2 ) es cr tico para la aplicaci on exponencial expp : Tp Sn (r2 ) Sn (r2 ) si, y s olo si, |v | = mr, con m Z+ .

DEL CAPITULO 4. BIBLIOGRAFIA W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic Press, 1986. R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970. L. CONLON. Differentiable Manifolds. A First Course. Birkh auser, 1993. W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.

5. PREGUNTAS DE EVALUACION E.10.1. Sean (x1 , x2 ) las coordenadas habituales de R2 . Denimos una conexi on en R2 considerando los s mbolos siguientes: k ij = 0, excepto
1 1 12 = 21 = 1.

(a) Escribe y resuelve las ecuaciones diferenciales de las geod esicas en un punto cualquiera de 2 R. (b) Es una conexi on completa, es decir, el campo geod esico asociado es completo? Salen geod esicas del origen pasando por cada punto del plano? (c) Si y son dos geod esicas tales que (0) = (0) y (0) = b (0), b R , prueba que (t) = (bt) para todo t posible. (Esta armaci on es consecuencia del teorema de existencia y unicidad de geod esicas; sin embargo, aqu hay que demostrarlo sin hacer uso de este teorema). E.10.2. Una geod esica a trozos es una curva diferenciable a trozos cuyos subsegmentos diferenciables son geod esicas. Prueba que una variedad diferenciable M , con una conexi on af n , es conexa si, y s olo si, cualesquiera dos puntos de M se pueden unir mediante una geod esica a trozos.

SICAS GEOD E

171

ANOTACIONES

........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ...........................................................................................

172

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

WILHELM KLINGENBERG (-) 6. BIOGRAFIA:

Wilhelm P.A. Klingenberg (-) naci o en Rostock, Mecklenburg, Alemania. Su familia se traslad o a Berl n en , donde Klingenberg asisti o al colegio, aprendiendo lat n, griego y franc es, y teniendo que estudiar matem aticas de forma autodidacta e independiente. Entr o en el Joachimsthalsces Gymnasium en y recibi o su diploma de graduaci on en . A continuaci on solicit o su ingreso en la Universidad de Berl n, lo cual no le fue concedido, teniendo que alistarse en el ej ercito. Klingenberg escribe:
Cuando el nal de la guerra me devolvi o la libertad, cambi e mi escritura y comenc e a buscar un lugar para estudiar. La devastada y ocupada ciudad de Berl n qued o relegada, Gotinga y Hamburgo estaban llenas, por lo que me march e a la Universidad de Kiel.

Klingenberg obtuvo su doctorado en con una tesis sobre geometr a diferencial af n. Desde hasta fue un investigador asistente en la Universidad de Kiel, donde F. Bachmann le hizo interesar poca resolvi se por los fundamentos de la geometr a. Durante esta e o un problema sobre las equivalencias de las conguraciones en un plano af n sobre el que Ruth Moufabg hab a estado trabajando. Blaschke le aconsej o que viajase a Italia, y Klingenberg pas o cierto tiempo durante el curso / en la Universidad de Roma, donde estuvo fuertemente inuido por F. Severi, E. Bompiani y B. Segre. Tras su regreso a Alemania, Klingenberg complet o su tesis de habilitaci on en Hamburgo y obtuvo un puesto de profesor permanente en la Universidad de Gotinga, trabajando con Reidemeister. Klingenberg escribe:
Tengo bonitos recuerdos de nuestros a nos all ; Reidemeister pose a una mente brillante y un gran abanico de intereses, siendo su esposa Elisabeth una renombrada fot ografa.

Figura 10.1: Wilhelm Klingenberg

Klingenberg pas o el curso / en la Universidad de Bloomington, en los Estados Unidos, visitando asiduamente a Morse, de la Universidad de Princeton. Sus intereses se alejaron de la geometr a diferencial af n y proyectiva, y volvieron a la geometr a riemanniana. Aunque permaneci o entre el profesorado de la Universidad de Gotinga hasta , Klingenberg pas o los cursos / y /

SICAS GEOD E

173

en el Instituto para Estudios Avanzados (IAS) en Princeton. En se desplaz o a la Universidad de California, en Berkeley, invitado por el profesor S.S. Chern. Klingenberg escribe:
Le conoc en Hamburgo en , cuando estaba visitando a su viejo profesor Blaschke, y desde entonces estuvo apoy andome en cada ocasi on que se le presentaba.

Mientras estaba en Berkeley, Klingenberg recibi o ofertas para ocupar sendas c atedras en las universidades de W urzburg y Mainz, inclin andose nalmente por la Universidad de Mainz. Tres a nos despu es, en , las universidades de Zurich y Bonn le ofrecieron c atedras. Klingenberg eligi o, no sin algunas dicultades, la c atedra en Bonn. Sin embargo, Bonn creci o r apidamente, tanto en profesorado como en alumnado:
. . . y parte del ntimo atractivo de un grupo unido se vino abajo. No sin tristeza y lucha, nalmente acept e el cambio y concentr e todas mis energ as en mi propio grupo de geometr a diferencial.

Klingenberg estuvo trabajando, durante sus a nos en la Universidad de Bonn, sobre geod esicas cerradas, retir andose en . Entre sus principales libros pueden destacarse los siguientes: A course in differential geometry (Un curso en geometr a diferencial, ), Lectures on closed geodesics (Lecturas sobre sta geod esicas cerradas, ) y Riemannian geometry (Geometr a riemanniana, ). Acerca de e ltima obra, Klingenberg comenta: u
Es el libro m as importante acerca de este tema desde la monograf a de L.P. Eisenhart en .

Bibliograf a Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. Internet. URL de la p agina: www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Klingenberg.html

Bibliograf a complementaria W.P.A. Klingenberg Selected papers of Wilhelm P A Klingenberg, (Singapore, 1991).

174 SIMON DONALDSON (-) 7. BIOGRAFIA:

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Simon Kirwan Donaldson (-) asisti o al colegio Sevenoaks en Kent desde hasta , traslad andose en dicho a no al College Pembroke, en Cambridge, donde estuvo hasta , recibiendo su B.A. en . Uno de sus tutores en Cambridge lo describe como un estudiante muy bueno, aunque no el mejor de su a no. En Donaldson comienza su trabajo de postgraduado en el College Worcester, en Oxford, primero bajo la supervisi on de Nigel Hitchen y despu es bajo la supervisi on de Atiyah, el cual dir a l lo siguiente: sobre e
En , cuando era un estudiante postgraduado de segundo a no, Simon Donaldson demostr o un resultado que asombr o a la comunidad matem atica.

Este resultado fue publicado por Donaldson en el Bolet n de la American Mathematical Society, y en l analizaba las conexiones autoduales y la topolog e a de las variedades de dimensi on cuatro. Atiyah contin ua la descripci on de Donaldson:
Junto al importante trabajo de Michael Freedman . . . , el resultado de Donaldson implica que existen espacios de dimensi on 4 ex oticos, es decir, variedades diferenciables de dimensi on 4 que son equivalentes topol ogicamente pero no diferenciablemente al espacio eucl deo R4 . Lo sorprendente de este resultado es que el valor n = 4 es el u oticos de nico posible para el cual existen espacios ex esa dimensi on. Estos espacios ex oticos tienen la notable propiedad de contener conjuntos compactos que no est an contenidos en ninguna esfera tridimensional embebida.

Despu es deobtener su doctorado en en la Universidad de Oxford, Donaldson fue seleccionado como Miembro Investigador Junioren el College All Souls, de Oxford. El curso acad emico lo pas o en el Instituto de Estudios Avanzados de Princeton. A su regreso a Oxford, ocup o la c atedra Wallis de matem aticas, cargo que desempe na en la actualidad.

Figura 10.2: Simon Donaldson

Donaldson ha recibido muchos honores y premios por su trabajo. En recibi o el Premio Whitehead Junior de la Sociedad Matem atica de Londres, en fue elegido miembro de la Real

SICAS GEOD E

175

Sociedad y, en el mismo a no, recibi o la Medalla Fields en el Congreso Internacional que se celebr o en Berkeley. En recibi o el premio Sir Williams Hopkins de la Sociedad Filos oca de Cambridge y, al a no siguiente, la Real Sociedad le ofreci o la Medalla Real. En recibi o el Premio Crafoord de la Real Academia Sueca de las Ciencias:
. . . for sus investigaciones fundamentales en la geometr a de cuatro dimensiones y su aplicaci on a los instantones, en particular su descubrimiento de nuevos invariantes geom etricos . . .

Atiyah describe del siguiente modo la contribuci on de Donaldson que le permiti o obtener la Medalla Fields:
Cuando Donaldson obtuvo sus primeros resultados sobre 4-variedades, las ideas eran tan novedosas y extra nas para los ge ometras y top ologos de la e on. poca que simplemente lo miraron con admiraci Lentamente el mensaje ha ido calando y hoy las ideas de Donaldson est an ya siendo utilizadas por otros matem aticos en muchos campos . . . Donaldson ha creado un a rea enteramente nueva, de modo que inesperados y misteriosos fen omenos acerca de las 4-variedades han sido descubiertos. Adem as los m etodos son nuevos y profundos, con utilizaci on de dif ciles ecuaciones no lineales en derivadas parciales. Por otra parte, la teor a se halla perfectamente anclada en el reino de las matem aticas, incorporando ideas de la f sica te orica y estando bien relacionada con la geometr a algebraica.

El art culo de Donaldson, citado en la bibliograf a, es muy interesante, pues contiene numerosos comentarios acerca de c omo Donaldson consigui o demostrar sus famosos resultados cuando s olo era un ltimas l estudiante en Oxford, as como un recopilatorio de sus u neas de investigaci on, en las que ha estado trabajando en los a nos recientes. El trabajo de Donaldson est a recogido por R. Stern:
En , Simon Donaldson inici o un rico viaje geom etrico que nos ha conducido a una de las conclusiones m as excitantes de este siglo. Ha creado un a on rea nueva y excitante de investigaci sobre la que trabajan numeros matem aticos, y que todav a contin ua proporcionando misteriosos e inesperados fen omenos acerca de la topolog a y la geometr a de las 4-variedades diferenciables.

Bibliograf a M. Atiyah On the work of Simon Donaldson, Proceedings of the International Congress of Mathematicians, Berkeley, 1986 1 (Providence, RI,1987), 3-6. S. Donaldson Remarks on gauge theory, complex geometry and 4-manifold topology, en M. Atiyah y D. Iagolnitzer (eds.), Fields Medallistists Lectures (Singapore, 1997), 384-403. M. Furuta The contributions of Simon Kirwan Donaldson, Sugaku 39 (1) (1987), 16-25. J. Mi The work of mathematicians awarded the Fields Medal in 1983 and 1986, J. Northwest Univ. 19 (1) (1989), 103-104. R. Stern y G. Tian Donaldson and Yau receive Crafoord prize, Notices Amer. Math. Soc. 41 (7) (1994), 794-796.