La conjetura de Poincar e

Jos Luis Tbara e a

Introduccin o Homolog a Homotop a Dimensiones superiores Thurston y la geometr a El ujo de Ricci Bibliograf a

1 3 5 7 9 12 13

Introduccin o
El problema fundamental de la topolog es el de la clasicacin: dar cria o terios necesarios y sucientes para que dos espacios sean homeomorfos. Dos espacios topolgicos homeomorfos son, bajo el punto de vista topolgico, o o exactamente iguales. El programa as descrito es enormemente ambicioso y totalmente intratable, al menos en el momento actual. Aunque no tenemos propiedades ni invariantes adecuados para saber si dos espacios son homeomorfos, al menos tenemos bastantes criterios para armar que dos espacios no pueden equivalentes. Por ejemplo, si un espacio es compacto, no puede ser homeomorfo a otro espacio que no lo sea, debido a que la compacidad es una propiedad que se conserva por aplicaciones continuas. Lo mismo se puede decir de prcticamente todos los conceptos que se estudian en la rama a de las matemticas conocida como Topolog General. a a Como la clasicacin completa de los espacios topolgicos es inviable, o o debemos restringirnos a una clase ms selecta de espacios: estudiaremos a unicamente las variedades topolgicas de dimensin nita. Estos espacios se o o pueden construir pegando abiertos de un espacio eucl deo. Si los abiertos considerados son de dimensin n, decimos que la variedad es de dimensin n. o o En algunas variedades puede ser necesario recurrir a innitos abiertos o a abiertos con volumen innito. Pero incluso la clasicacin completa de las o variedades no parece posible que sea realizada en la actualidad. Debemos imponer algn criterio que implique de alguna manera la nitud. Lo ms u a natural es considerar las variedades compactas. Estas se obtienen pegando un nmero nito de abiertos, cada uno de los cuales tiene un volumen nito. u Adems se puede suponer que las variedades son conexas, puesto que las a componentes conexas de cualquier variedad se pueden estudiar por separado. Proponemos entonces el siguiente problema: Clasicar todas las variedades compactas y conexas de dimensin o nita El caso de la dimensin cero es trivial. La unica variedad es el punto. El o caso unidimensional tambin es sencillo: toda variedad conexa y compacta e de dimensin 1 es homeomorfa al c o rculo. Las cosas empiezan a ponerse interesantes en dimensin 2. Este problema es equivalente al estudio de o las supercies nitas sin bordes. En el siglo xix se obtuvo la clasicacin o completa. Teorema. Toda supercie compacta tiene un nmero natural asociado, u llamado gnero. Dos supercies son homeomorfas si y solo si tienen el mismo e gnero. e 1

La supercie ms sencilla es la esfera, que tiene gnero cero. El toro tiene a e gnero 1 y la gura e

tiene gnero dos. En general una supercie de gnero n es una gura similar e e pero con n agujeros. Intuitivamente el gnero mide el nmero de agujeros e u que presenta la supercie. La clasicacin completa de las variedades tridimensionales se conoce coo mo programa de Thurston. Todo el programa de clasicacin, que posteo riormente comentaremos, se apoya en una piedra angular, que es la conjetura de Poincar. Expresada en un lenguaje vulgar dice: e Si una variedad tridimensional es sencilla entonces es (equivalente) a la esfera S 3

Homolog a
Anteriormente hemos hablado de variedad sencilla. Pero que entendemos por sencilla? Para situarnos haremos una analog con el caso bidimena sional. Una variedad sencilla ser para nosotros una variedad sin agujeros. a Debemos estudiar entonces una teor que de alguna manera sea capaz de a estudiar los agujeros n-dimensionales. Esa fu la idea de Poincar. La genee e ralizacin que se le ocurri a Poincar fue la teor de la homolog La idea o o e a a. que subyace en la teor de la homolog es el estudio de las subvariedades y a a sus fronteras. Por ejemplo, en dimensin 2, si trazamos un c o rculo arbitrario sobre una esfera y realizamos un corte a lo largo de dicho c rculo, la variedad se divide en dos partes disconexas. El c rculo es justamente el borde de cada una de las componentes conexas. Sin embargo en un toro existen c rculos tales que al cortar a traves de ellos la variedad no se desconecta. En el toro existen c rculos que no son la frontera de ninguna variedad.

En una serie de trabajos presentados a partir de 1895 Poincar da inicio e a la rama de las matemticas conocida como Topolog Algebraica. Para a a poder realizar clculos, Poincar estudia unicamente los poliedros. Dene el a e concepto de homolog de los poliedros en cualquier dimensin. Tambin a o e estudia la homolog de las supercies. Para ello triangula la supercie y a la deforma para convertirla en un poliedro. Las conclusiones que obtiene son independientes de la triangulacin tomada y dependen unicamente de o la supercie. Ese mismo procedimiento de triangulacin puede realizarse en o dimensiones superiores. Con ello es capaz de estudiar la homolog de la a 3

esfera tridimensional, que el consideraba que era la variedad tridimensional ms sencilla. Ello le lleva a formular, en 1900, una conjetura. a Si una variedad tridimensional tiene la misma homolog que la a 3 esfera S entonces es homeomorfa a dicha esfera. Durante cuatro aos crey Poincar que su conjetura era correcta, pero n o e en 1904 encontr un contraejemplo. Construy la variedad SO(3)/I60 (dono o de I60 es el grupo de isometr de un icosaedro) cuya homolog era igual as a a la de la esfera y sin embargo demostr que no eran homeomorfas. Pao ra la demostracin de este hecho introdujo conceptos nuevos. El principal o era la homotop de caminos, que es otra forma de estudiar los agujeros en a dimensiones superiores.

Homotop a
Un camino en una variedad es una aplicacin continua de un intervalo o cerrado, pongamos [0, 1], en la variedad. Si denotamos por c al camino, decimos que c(0) es el origen del camino y que c(1) es el nal.

En el caso particular de que el origen coincida con el nal decimos que es un camino cerrado o lazo. Consideremos ahora el conjunto de todos los lazos cuyo origen y nal es un punto p de la variedad. Dados dos lazos, se puede hablar de su composicin: recorremos primeramente uno y despus o e recorremos el otro. De esta manera obtenemos una aplicacin del intervalo o [0, 2] en la variedad. Si hacemos que la velocidad a la que se recorren los caminos sea el doble, obtenemos un lazo denido en el intervalo unidad. De este modo se dene una operacin interna en el conjunto de lazos con origen o y nal en p. Dado un camino c, llamamos inverso de c al camino recorrido en sentido contrario. La aplicacin constante del intervalo unitario en p se o denomina camino neutro. Estas deniciones pueden inducir a error, pues el conjunto de lazos con este producto no es un grupo. Para conseguir introducir una estructura de grupo en este conjunto debemos denir una relacin de equivalencia: decimos o que dos caminos son equivalentes u homotpicos si se pueden deformar de o manera continua uno en el otro.

El conjunto de clases de equivalencia de lazos con la composicin de cao minos inducida es ya un grupo. Lo denominamos grupo fundamental o grupo de Poincar de la variedad. Si tomamos otro punto y la variedad es conexa e por arcos (las variedades conexas lo son) el grupo obtenido es isomorfo. En denitiva, el grupo fundamental no depende del punto base que hemos utilizado en la construccin. Adems es sencillo demostrar que dos variedades o a homeomorfas tienen grupos fundamentales isomorfos. Precisamente Poincar e 3 demostr que S y SO(3)/I60 no pod ser equivalentes dado que el grupo de o an la esfera ten un unico elemento y el de la otra variedad ten 120 elementos. a a El caso ms simple es aquel en que el grupo es trivial. Decimos que a una variedad es simplemente conexa si su grupo fundamental es trivial. Ello equivale a armar que todo lazo se contrae a un punto. Resulta que en dos dimensiones, la esfera es la unica variedad simplemente conexa. En la gura se observan dos lazos en un toro que no se pueden deformar a punto.

Ejemplos anlogos se tienen en otras supercies de gnero superior. En cierto a e sentido, un grupo de homotop no trivial implica la existen de agujeros. a Hemos introducido los conceptos necesarios para formular, en trminos e modernos, la conjetura de Poincar. e Si una variedad tridimensional tiene un grupo fundamental trivial entonces es homeomorfa a una esfera. Esta reexin la hizo Poincar y aadi mais cette question nous eno e n o tranerait trop loin (pero este tema nos llevara demasiado lejos). Natu ralmente Poincar no se pod imaginar que pasar casi cien aos hasta e a an n obtener la demostracin. o

Dimensiones superiores
Aunque Poincar formul su conjetura para las variedades de dimensin e o o 3, el mismo problema se puede plantear para cualquier dimensin. Pero ya en o dimensin 4 tenemos la variedad S 2 S 2 , que es simplemente conexa y no es o homeomorfa a la esfera S 4 (la homolog de ambas no coincide). Si queremos a realizar un estudio anlogo en dimensiones superiores debemos generalizar la a armacin de Poincar. La idea que subyace en la conjetura de Poincar es o e e que una condicin relativamente debil, la homotop implica una condicin o a, o ms fuerte, que es el homeomorsmo. Debemos claricar que signica que a dos variedades sean homotpicamente equivalentes. o Denicin. o Dadas dos variedades de la misma dimensin X e Y , o decimos que son homotpicamente equivalentes si existen aplicaciones f : o X Y y g : Y X tales que f g y gf sean homotpicamente equivalentes o a la identidad. En particular, las variedades que son homotpicamente equivalentes a un o punto se dice que son contrctiles. a La conjetura de Poincar en dimensines superiores dice: e o Si una variedad de dimensin n es homotpicamente equivalente o o a la esfera S n , entonces ambas variedades son homeomorfas. El estudio de este resultado presenta diversos problemas. Uno de los principales es que los invariantes ms destacados de las variedades, los grua pos de homolog y los grupos de homotop no son solamente invariantes a a, por homeomorsmos, sino que tambin son invariantes por homotop Si e a. queremos distinguir variedades que sean homotpicamente equivalentes, peo ro no homeomorfas, debemos introducir nuevos invariantes. A pesar de las dicultades se fue derrotando paulatinamente a la conjetura. En 1960 Smale demuestra la conjetura en dimensin igual o superior a 5. o En realidad Smale no demostr la conjetura en la categor de la variedades o a topolgicas sino en la de variedades diferenciables, pero esos son detalles o tcnicos que en este momento carecen de importancia. Tan importante se e consider su trabajo que recibi por l la medalla Fields. Y no es el unico o o e toplogo que ha recibido tal honor por resultados directamente relacionados o con la conjetura de Poincar. e En la misma dcada otros matemticos demostraron tambin la conjetura e a e de Poincar, pero con detalles tcnicos ligeramente distintos. El principal e e resultado se debe a Stallings y a Zeeman que probaron la conjetura en la categor de variedades lineales a trozos a

En 1982 Freedman demostr un resultado ms general que la conjetura de o a Poincar en dimensin 4. Freedman clasic todas las variedades simplemene o o te conexas de dimensin 4. Si la variedad es homotpicamente equivalente a o o la esfera, se obtiene como corolario la conjetura de Poincar. Otro resultado e relacionado con el teorema de Freedman es la sorprendente propiedad de que R4 admite un conjunto innito de estructuras diferenciables que no son difeomorfas. Este caso es la excepcin, pues todos los dems espacios eucl o a deos tienen una estructura diferenciable unica.

Thurston y la geometr a
En una variedad topolgica no existe ningn concepto de distancia entre o u puntos. Esto es ciertamente lgico, pues la mtrica no se conserva por aplio e caciones continuas. Dos variedades pueden ser topolgicamente equivalentes o y ser sin embargo muy diferentes desde el punto de vista geomtrico. Esto no e quiere decir que la geometr no sea util a la hora de estudiar la topolog a a. Algunas veces resultados geomtricos aportan nueva luz a la topolog Un e a. caso especialmente importante se da en las variedades bidimensionales compactas. Ya Koebe y Poincar demostraron el teorema de uniformizacin. e o Teorema. En toda supercie compacta (orientable) existe una mtrica e (de Riemann) cuya curvatura es 0, 1 1. o Este es un teorema de existencia, pero no de unicidad. En algunas de las supercies existen en efecto varias mtricas que hacen que la curvatura e sea constante. De este modo no se puede asociar de modo cannico una o unica mtrica a la variedad, pero si un conjunto de mtricas especialmente e e adaptadas a dicha variedad. La existencia de mtricas de curvatura constante reduce el problema toe polgico de clasicacin de supercies a un problema algebraico relacionado o o con la teor de grupos. Para obtener todas las supercies debemos seguir a varios pasos. 1.- Primeramente debemos estudiar las variedades completas1 cuya curvatura sea 0, 1 1 y que sean simplemente conexas. En dimensin o o 2 existen unicamente tres variedades de estas caracter sticas: la esfera S 2 asociada a la curvatura 1, el plano eucl deo R2 de curvatura nula y el plano hiperblico H 2 de curvatura 1. o 2.- Despus estudiamos los grupos de isometr de las tres variedades e as anteriores, comprobando que dan lugar a espacios homogneos2 . e 3.- Estudiamos los subgrupos de los grupos anteriores que cumplan que al hacer cociente por ellos se obtengan supercies compactas. De este modo construimos todas las supercies posibles. La idea de Thurston es la misma. Utilizar la geometr sobre la variedad a para reducir el problema de clasicacin a un problema meramente algebraio co, que normalmente es ms sencillo. Nuestro primer problema es denir que a entendemos por una geometr en tres dimensiones. a
Una variedad riemanniana es completa si cualquier geodsica se puede prolongar ine denidamente. 2 Si G es un grupo que actua en un espacio X decimos que X es un espacio homogeneo si dados dos puntos arbitrarios x, x existe un elemento del grupo g tal que g x = x
1

Siguiendo los pasos dados en dos dimensiones, debemos encontrar modelos de variedades tridimensionales que sean simplemente conexas, que sean completas y que sean homogeneas. Como adems estamos interesados en el a caso compacto debemos ver cuales de esas geometr dan lugar a variedaas des compactas al hacer cociente. Thurston resolvi el problema (y recibi o o por ello una medalla Fields) y encontr que hab exactamente 8 geometr o a as tridimensionales con cocientes compactos. Tres de ellas son las asociadas a las curvatura constante positiva, negativa y nula. Las otras se obtienen bsicamente al hacer productos y analizar mtricas invariantes en grupos de a e Lie. Podemos dar entonces la Denicin. Una estructura geomtrica en una variedad es una mtrica o e e de Riemann completa y localmente homogenea (su recubridor universal es homogneo). e Existen variedades tridimensionales que no admiten ninguna estructura geomtrica, debido a obtrucciones de tipo topolgico. Thurston sab que e o a era posible realizar cirug con dichas variedades y descomponerlas en varias a componentes. Para ello deb hechar mano de resultados ya conocidos. El a primero de ellos de ellos se conoce como descomposicin prima y arma que o toda variedad compacta se puede cortar a lo largo de esferas bidimensionales dando lugar a varias componentes. Cada una de estas componentes no puede ser dividida del mismo modo y por lo tanto decimos que es prima. La descomposicin obtenida de este modo es unica salvo homeomorsmos. Despus o e a cada una de las componentes primas se le puede aplicar la descomposicin o trica, donde los cortes esta vez se dan a lo largo de toros. Ya podemos o enunciar la conjetura de Thurston: Dada una variedad tridimensional compacta, despus de efectuar e la descomposicin prima y la descomposicin trica, cada una de o o o las componentes admite una estructura geomtrica. e Se ha demostrado la validez de la conjetura en algunos tipos de variedades, pero todav no se sabe si es o no correcta. Los trabajos de Perelman parecen a indicar que si. Si la conjetura es cierta, el problema de clasicacin de las variedades o tridimensionales compactas se reduce al estudio y clasicacin de las 8 geoo metr as. De estas 8, 6 estn perfectamente estudiadas y clasicadas. En a las otras 2 se conocen muchas cosas, pero el tema todav no est cerrado. a a A proposito, las dos que peor se conocen no son ninguna de las geometr as raras sino la esfrica y la hiperblica. e o En particular, la conjetura de Poincar, es un simple corolario de este e resultado. Si fuese falsa, tambin ser falsa la conjetura de Thurston y la e a 10

clasicacin de las variedades tridimensionales ser ms compleja de lo que o a a creemos en este momento.

11

El ujo de Ricci
El problema de la existencia de mtricas con caracter e sticas especiales sobre las variedades siempre ha cautivado a los matemticos. Ejemplos t a picos son los teorema de uniformizacin y el problema de Yamabe. En el mejor de o los casos, si la mtrica es unica, se pueden realizar clculos con dicha mtrica e a e y obtener informacin topolgica. El modo habitual de atacar este probleo o ma es proponer un problema variacional en el espacio de las mtricas y los e extremos de ese problema es probable que sean mtricas con caracter e sticas espaciales. Sin embargo, en la dcada de los 80, Hamilton inventa un nuevo mtodo, e e denominado ujo de Ricci. En realidad la idea no es nueva, pues el ujo de Ricci se estudia habitualmente en Relatividad General, pero aplicado a mtricas semirriemannianas. En este caso se estudian ecuaciones diferene ciales ordinarias (en dimensin innita) que debe satisfacer la mtrica. Se o e introduce una mtrica arbitraria en la variedad, se hace evolucionar mediante e la ecuacin diferencial y se observa si converge a alguna solucin. En el cono o junto de mtricas de Riemann de una variedad se pueden proponer muchas e ecuaciones diferenciales diferentes, pero el ujo de Ricci es la ecuacin ms o a sencilla. Su expresin anal o tica es dg = 2Ricg(t) + (t) g dt donde g denota la mtrica riemanniana y Ric el tensor de Ricci asociado. e Hamilton estudi el caso en que es nulo y lleg a interesantes resultados. o o El principal es que si el tensor de Ricci es denido positivo en todo punto, la mtrica evoluciona, tras una renomalizacin, hacia una mtrica de curvatura e o e constante positiva. En una variedad donde se pueda introducir una mtrica e cuyo tensor de Ricci sea denido positivo la conjetura de geometrizacin es o cierta. Pero al estudiar el ujo en el caso general se presentaban singularidades y no era posible demostrar la conjetura de geometrizacin. o Si la mtrica var de acuerdo al ujo de Ricci, la curvatura escalar evoe a luciona mediante la ecuacin o dR = R + 2 dt Ricij ij

que es una ecuacin similar a la del calor pero no l o neal.

12

Bibliograf a
John Milnor. The Poincar Conjecture One Hundred Years Later. e http://www.math.sunysb.edu/~jack/ Michael T. Anderson. Geometrization of 3-Manifolds Via the Ricci Flow. http://www.math.sunysb.edu/~anderson/ John Milnor. Towars the Poincar Conjecture and the Classication of e 3-Manifolds. http://www.math.sunysb.edu/~jack/ Graham P. Collins. Las Formas del Espacio. Investigacin y Ciencia, Octuo bre 2004. Michael T. Anderson. Scalar Curvature and Geometrization Conjectures for 3-Manifolds.http://www.math.sunysb.edu/~anderson/ Michael Kapovic. Geometrization Conjecture and Ricci Flow. http://www.math.ucdavis.edu/~kapovich/

13