Este artculo se public en la revista electrnica de Matemticas del Instituto Tecnolgico de Costa Rica. 2006.

EL AO EN QUE SE DEMOSTR LA CONJETURA DE POINCAR.

Vernor Arguedas Troyo

En matemtica las conjeturas juegan un papel importante, como tambin preguntas tales como: qu pasa s cambiamos esta hiptesis o es este el resultado ms general ?. Las preguntas sobre los diferentes temas es esencial para avanzar en nuestra ciencia y de paso hacer cambios profundos en otras disciplinas. El arte de conjeturar y preguntar debe fomentarse, es uno de los pilares del pensamiento creativo. Junto a las conjeturas, las hiptesis, las paradojas, las generalizaciones, nos encontramos con una larga lista de ejemplos y contraejemplos, problemas abiertos o simples especulaciones. A veces una afirmacin equivocada puede sealar un camino que habr una puerta, Para la escuela pitagrica todos los nmeros en nuestro lenguaje-eran racionales. Conmensurables usaban ellos. Pero, siempre hay un pero, apareci un nmero no conmensurable muy sencillo 2 . En el proceso de los pitagricos llegar a esos nmeros estaba en la etapa ms alta del conocimiento. Estos nmeros irracionales eran un verdadero dolor de cabeza. El siglo XIX y parte de los inicios del XX vivi esta novela matemtica.

Algunos hechos sorprendentes para la poca fueros los siguientes: haba ms nmeros irracionales que racionales. Con Lebesgue y su teora fundamental de la medida, se lleg a otro resultado, los nmeros racionales tienen medida de Lebesgue cero. Cuando surgieron conceptos topolgicos, los nmeros racionales tuvieron un papel esencial en el desarrollo. Constituan un conjunto denso numerable de los nmeros reales. Este principio tan sencillo condujo a un paradoja matemtica, monumental en la poca, quiz comparable con la existencia de 2 para los pitagricos. No era posible construir a los nmeros reales a partir de los racionales, esto enfrent a dos titanes, gigantes de la matemticas: Dedekind y Cantor, pero eso ser otra historia. Los pleitos entre matemticos y matemticos han sido muy abundantes y en ocasiones han propiciado grandes avances y a veces cotilleos que perduran a travs de los aos, los lustros y a veces centurias. Algunos han tenido desenlaces fatales. Sin embargo la densidad de los nmeros racionales en los nmeros reales, condujo a un mtodo de construccin matemtico vigente en nuestra das: la completizacin va sucesiones de Cauchy. Para Cauchy todas las funciones continuas eran uniformemente continuas, hasta que aparecieron los contraejemplos y un teorema clsico en la enseanza bsica del anlisis: Si f : [a, b] R es continua entonces f es uniformemente continua. Cuando apareci el concepto de conjunto compacto el teorema anterior se generaliz como: una funcin continua con valores reales definida sobre un conjunto compacto es uniformemente continua. En el siglo XIX haba una creencia popular, una conjetura en nuestro lenguaje: toda funcin continua definida sobre un intervalo tiene puntos en que es derivable. Pero lleg Karl Weierstrass en 1872 y present su famoso ejemplo de una funcin continua no derivable en ningn punto: n n f ( x) cos(b x) con ab 1 32 n 0a Hermite y su discpulo Poincar, consideraron este ejemplo de Weierstrass, deplorable, una cosa infernal. Hermite consideraba estos ejemplos una plaga mortal y su discpulo Poincar, deca algo como: Ayer, cuando se inventaba una funcin nueva, era para servir a un fin prctico, hoy en da slo se presentan para rebatir los argumentos de nuestros padres.

No se puede olvidar que Weierstrass era alemn y Hermite y Poincar eran franceses y que estos dos pueblos han tenidos ms de una guerra y disputas de todo tipo. Sin quererlo Weierstrass haba descubierto una mina riqusima: los fractales, su ejemplo es el primero conocido de un fractal y da origen a un mtodo que se investiga hoy en da-. Por cierto cuando este seor tena 70 aos descubri su clebre teorema de que toda funcin continua con valores reales, definida sobre un intervalo cerrado y acotado es el lmite uniforme de polinomios. Poincar hizo muchas cosas en matemtica y su primo en poltica francesa. Nuestro objetivo, no es hablar de la obra de Poncar en este artculo sino de su conjetura. Sin embargo debemos recordar que su geometra fue el modelo usado en la teora de la relatividad. En la biblioteca libre de la red Wikipedia encontramos los siguientes datos sobre Henri Poincar: http://es.wikipedia.org/wiki/Henri_Poincar%C3%A9 Jules Henri Poincar (* Nancy, Francia, 29 de abril de 1854 Pars, 17 de julio de 1912), generalmente conocido como Henri Poincar, fue un prestigioso matemtico, cientfico terico y filsofo de la ciencia. Poincar es descrito a menudo como el ltimo universalista (luego de Gauss) capaz de entender y contribuir en todos los mbitos de la disciplina matemtica. En 1894 descubri el grupo fundamental de un espacio topolgico. En el campo de la mecnica elabor diversos trabajos sobre las teoras de la luz y las ondas electromagnticas, y desarroll, junto a Albert Einstein y H. Lorentz, la Teora de la Relatividad restringida (tambin conocida como Relatividad especial). La conjetura de Poincar es uno de los problemas recientemente resueltos ms desafiantes de la topologa algebraica, y fue el primero en considerar la posibilidad de caos en un sistema determinista, en su trabajo sobre rbitas planetarias. Este trabajo tuvo poco inters hasta que comenz el estudio moderno de la dinmica catica en 1963. En 1889 fue premiado por sus trabajos sobre el problema de los tres cuerpos. Algunos de sus trabajos ms importantes incluyen los tres volmenes de Los nuevos mtodos de la mecnica celeste (Les mthodes nouvelles de la mcanique cleste), publicados entre 1892 y 1899, y Lecciones de mecnica celeste (Lons de mcanique cleste, 1905). Tambin escribi numerosas obras de epistemologa, propedutica, metodologa y divulgacin cientfica que alcanzaron una gran popularidad,

como Ciencia e hiptesis (1901), Ciencia y mtodo (1908) y El valor de la ciencia (1904). Adems Poincar y Einstein intercambiaron muchas veces informaciones, incluso hay anctodatas que han pasado a nuestro imaginario. No sabemos si sucedieron o no, pero las recordamos una y otra vez. Caminaban Einsteinn y Poincar juntos y se dio este dilogo: Einstein.:- Henri, al principio yo eetudiava matemtica, pero me pas a la fsica.Poincar:- Ah..No saba, Albert, y que pas? Einstein:- Lo que pas era muy simple, poda determinar cuales afirmaciones eran verdaderas o falsas, pero no poda determinar cuales eran importante. Poincar:- Que curioso Albert, al principio me quise dedicar a la fsica, pero me pas a las matemticas. Einstein:- Cul fue la razn? Poincar:- Muy simple, poda determinar cuales eran importantes, pero no cuales eran verdaderas. En nuestro lenguaje actual la conjetura de Poincar se podra enunciar como; Si una variedad 3 dimensional compacta sin frontera es simplemente conexa entonces existe un homoemorfismo entre la variedad y la esfera de dimensin 3. O equivalente su una variedad 3 dimensionall es homotopa con la esfera de dimensin 3 entonces existe un homeomorfismo entre la variedad y la esfera. Para los estudiantes de matemtica y matemticos en: http://www.4shared.com/account/file.jsp?id=16541682&sId=4VQOqc1gA U6fm43H recopil abundantes materiales sobre este tema. En el caso en que la liga no funcione, seleccione poincare en la seccin de bsqueda de 4shared,com.

Para n= 4 el resultado fue demostrado por Freedman en 1982, lo que le hizo ganador de la medalla Fields en 1986. n=5 fue demostrado por Zeeman en 1961. Para n=6 Stalling dio un demostracin en 1962.

El caso n>4 en general fue resuelto por Stephen Smale tambin en 1961, quien recibi la Fields medal en 1966, por este trabajo y la involucin de la esfera de dimensin mayor a 5. El teorema de Smale dice: Cualquier variedad de dimensin n>4 homotpicamente equivalente a la esfera de de dimensin n es homoemorfa con la esfera de dimensin n. Stephen Smale (1930) es todo un personaje en el mundo matemtico. Su pgina web http://math.berkeley.edu/~smale/ es un lugar de visita obligado para quienes deseen saber ms de esta leyenda viviente de la matemtica contempornea. En el Institut for Advanced Study contaban la leyenda que cuando Smale estuvo ah lo encontr aburridsimo y se fue a trabajar con Peixoto a Ro de Janeiro porque las garotas brasileas lo inspiraban.

La conjetura de Poincar es uno de los problemas del milenium del Clay Mathematical Institute dotado de un premio de un milln de dlares. En http://www.claymath.org/millennium/ se pueden consultar los 7 problemas. En su funcionamiento el Clay Institute requiere de dos aos de tiempo, antes de anunciar oficialmente la solucin de algunos de estos problemas.

En el caso de la conjetura de Poincar una de las personas encargadas de este dictamen es John Milnor. En agosto del 2006 se le concedi la medalla Fields a Grigori Perelman , matemtico ruso de San Petesburgo por sus contribuciones a la geometra y su gran creatividad analtica para entender los flujos de Ricci. En otras palabras haba resuelto en afirmativo la conjetura de Poincar. Pero siempre hay un pero, Grisha no acept el premio y no viaj a Espaa. En el famoso Instituto Steklov en San Petesburgo, con tristeza reconocen que Grisha los abandon y se fue a vivir en la casa de su madre.

Incluso hay varios blogs en la red sobre este hecho. Por ejemplo: http://www.math.columbia.edu/~woit/wordpress/?p=77 con datos sobre Perelman. http://www.alteregoproductions.org/blog/2006/08/grisha_perelman_refuses _to_acc.htm En el peridioco El Mundo de Espaa hicieron un reportaje sobre Perelman y su mundo o al menos como el periodista lo percibi. http://www.elmundo.es/suplementos/cronica/2006/565/1156629604.html El la enciclopedia Wikipedia http://es.wikipedia.org/wiki/Grigori_Perelman

Las razones de Grisha son entendibles para algunos e incomprensibles para ms. De alguna manera me recuerda a Robert Fischer cuando se neg a defender su corona de campen mundial FIDE de ajedrez contra Anatoly Karpov y perdi su ttulo tan brillantemente ganado contra Spasski. Antes de Grisha varios matemticos chinos haban afirmado que ellos haban resuelto la conjetura antes de Perelman.

Sylvia Nasar entrevist a Perelman la nica entrevista conocida- y escribi un artculo en el The Newyorker por el cual fue demandado por Shing-Tung Yau por considerar que daaba su imagen.

El artculo se puede leer en lnea en http://www.newyorker.com/archive/2006/08/28/060828fa_fact2 y se llama Manifold Destiny. Podramos decir el destino de la variedad, ella y su colaborador escriben muy bien y el artculo es muy entretenido y lleno de ancdotas. No nos olvidemos que ella escribi: A beautiful mind,.Una mente hermosa, que es la historia del matemtico John Nash y que fue llevada al cine y gan un premio Oscar. El prof Shing-Tung Yau gan la medalla Fields en 1982 por sus extraorinarios aportes en ecuaciones diferenciales parciales y la conjetura de Calaba en geometra algebraica entre otras cosas. El prof Tau defiende el papel de Cao y Zhu en la demostracin de la conjetura. Sin embargo esto dos cientficos reconocen a Perelman como el autor de la demostracin de la conjetura de Poincar. En http://www.ims.cuhk.edu.hk/~ajm/vol10/10_2.pdf se encuentra el artculo de ellos en donde queda completamente demostrada la conjetura y se establece sin dudas el papel esclarecedor de Grisha en el proceso. En http://www.doctoryau.com/9.18.06.pdf se puede leer la queja del prof Yau contra Sylvia Nasar y su colaborador. La revista Sciense Magazine declar el resultado de Perelman el aporte cientfico ms importante del 2006 y en su texto incluye posiblemente de la dcada. En http://www.sciencemag.org/cgi/content/full/314/5807/1848 se puede leer el texto completo.

En el nmero 8 del Notices de la AMS del 2006 Allyn Jackson nos indica que la conjetura de Poincar dej de existir y ahora es el teorema de Perelman Ver: http://www.ams.org/notices/200608/comm-perelman.pdf El teorema de Perelman Poincare en su forma de conjetura condujo a varios matemticos a recibir la medalla Fields y la conjetura abri caminos nuevos en el quehacer matemtico, cuyo final todava esta lejos. Lo mismo ocurri con el teorema de Fermat y su larga historia de demostraciones equivocadas hasta llegar a la demostracin de Andrew Wiles en 1993 cuando demostr la conjetura de Taniyama-Shimura para curvas elpticas semi estables. El artculo fue publicado en la famosa revista Annals of Mathematics, que edita la universidad de Princeton y el Institut for Advanced Study, en el Volume 141, No. 3 de 1995. Por cierto esta revista que est considerada como una de las mejores del mundo, tuvo que cambiar su lnea editorial a raz del trabajo de Hales sobre la conjetura de Kepler, en el cual hay una certeza superior al 95% de que los resultados son correctos. En el 2005 en el nmero 162, publicaron la parte no computacional del trabajo de Hales. Este afirma que se requiere unos 20 aos para finalizar los clculos correspondientes y verificar los resultados. El software que utiliza es el lenguaje funcional Caml y el verificador de resultados es el programa Hol., informacin al respecto se encuentra en: http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=232 La pgina oficial de Caml es: http://caml.inria.fr/ . Ambos programas son gratuitos y de arquitectura abierta, no cajas negras, como sucede con la mayora del software cientfico comercial. La discusin sobre el papel de las computadoras en los clculos y demostraciones, ha dividido a la comunidad matemtica al menos en dos bandos. Adems que presenta el debate tan interesante de cual software se debe utilizar y bajo que condiciones es posible aceptar una demostracin hecha con el ordenador. Por suerte hay suficientes conjeturas y problemas abiertos en el universo matemtico, cuyos resultados pueden incluso cambiar el modo en que vivimos, como sucedi con los trabajos de Radon y Shannon en el siglo

XX, para no mencionar la cantidad extraordinaria de aportes a la humanidad, producida por los matemticos y matemticas que han revolucionado a la humanidad.