GRIGORI YKOVLIEVICH PERELMAN: UN GENIO LOCO

O UN MATEMTICO NTEGRO Y HONESTO?

De cmo la Conjetura de Poincar se convirti en el Teorema de
Poincar-Perelman.
I. QUIN ES GRIGORI YKOVLIEVICH PERELMAN?
Nadie en su sano juicio se negara a aceptar un premio de miles de euros
cuando vive en una situacin econmica que muchos calicaran de "estrecha"
o cuando menos "poco cmoda". Grigori Ykovlievich Perelman, Grisha, para
sus amigos, ya ha rechazado dos: El premio de la Sociedad Matemtica Europea
del ao ... y la Medalla Fields de la IMU por "sus contribuciones a la geometra
y sus ideas revolucionarias en la estructura analtica y geomtrica del ujo de
Ricci". La Medalla Fields es ampliamente considerada como el mayor honor
que puede recibir un matemtico. Sin embargo, l declin tanto el premio como
asistir al congreso. An es probable que tampoco acepte el premio de un milln
de dlares, prometido por la Clay Mathematics Foundation, a quienes resuelvan
el problema de la Conjetura de Poincar, uno de los siete problemas matemticos
no resueltos de una lista seleccionada por dicha fundacin para estimular a los
matemticos que intenten resolver alguno de ellos.
Es por eso que incluso alguna prensa sensacionalista ha llegado a calicarlo
de loco. Sin embargo, los que han tenido la oportunidad de intercambiar con
l ya sea personalmente o a mediante el intercambio de correspondencia en el
correo electrnico, arman que siempre ha tenido un trato accesible y que ha
sido paciente al explicar sus ideas, de manera que aun cuando ha parecido estar
socialmente recludo, ha sido amable y paciente en su trato. Cuando a Morgan,
uno de los que present su demostracin del teorema de Poincar en el congreso
mundial de Madrid, le preguntaron si a l le pareca que Perelman era un genio,
dijo: "Yo no uso palabras como sa. l es un hombre increblemente talentoso
y un matemtico potente, de una intuicin poderosa. Lo que l ha tenido que
hacer es una reexin de increble poder".
Grigori "Grisha" Yakovlevich Perelman (en ruso:
), naci el 13 de junio de 1966 en Leningrado, URSS (ahora San
Petersburgo, Federacin de Rusia), es un matemtico ruso de origen judo que
ha hecho histricas contribuciones a la geometra riemanniana y la topologa
geomtrica. En particular, ha demostrado la conjetura de geometrizacin de
Thurston, y en consecuencia, ha resuelto armativamente la famosa conjetura
de Poincar, propuesta en 1904 y considerada uno de los problemas abiertos
ms importantes y difciles en matemticas.
Su educacin matemtica temprana ocurri en el Escuela secundaria 239 de
Leningrado, una escuela especializada con programas avanzados de matemti-
cas y fsica. En 1982, como miembro del equipo de la URSS compitiendo en
la Olimpiada Internacional de Matemtica, una competicin internacional para
estudiantes de bachillerato, gan una medalla de oro tras alcanzar un puntaje
perfecto. A principios de los 80, consigui la puntuacin ms alta en la pres-
tigiosa organizacin para personas con elevado coeciente intelectual Mensa.
Al nal de los aos ochenta, Perelman prosigui a adquirir un grado en Can-
didato de Ciencia (el equivalente ruso del PhD) en la Facultad de Mecnica y
1
Matemtica de la Universidad del Estado de Leningrado, una de las universi-
dades lderes de la ex-Unin Sovitica. Su disertacin se llam "Supercies en
silla en espacios eucldeos" (ver citas ms abajo). Era tambin un talentoso
violinista y jugaba tenis de mesa.[3]
Despus de la graduacin, Perelman comenz a trabajar en Leningrado en
el renombrado Instituto Steklov de Matemticas de la Academia Rusa de las
Ciencias. Sus asesores en el Instituto Steklov fueron Aleksandr Danilovich Alek-
sandrov y Yuri Dmitrievich Burago. Al nal de los ochenta y principios de los
noventa, Perelman tena puestos en varias universidades de EEUU. En 1992,
fue invitado a pasar sendos semestres en la Universidad de Nueva York y en
la Universidad de Stony Brook. De all, acept una beca de dos aos en la
Universidad de California, Berkeley en 1993. Volvi al Instituto Steklov en el
verano de 1995.
Hasta el otoo de 2002, Perelman era mejor conocido por su trabajo en
teoremas de comparacin en geometra riemanniana. Entre sus notables logros
estaba la demostracin de la conjetura de Soul.
Desde 2003, el programa de Perelman para la demostracin de las conje-
turas de Poincar y Thurston atrajo cada vez ms atencin de la comunidad
matemtica. En abril de 2003, acept una invitacin para visitar el Instituto
Tecnolgico de Massachussetts, la Universidad de Princeton, la Universidad de
Stony Brook, la Universidad de Columbia y la Universidad de Harvard, donde
dio una serie de charlas sobre su trabajo. Sin embargo, luego de su regreso a
Rusia, se ha dicho que dej gradualmente de responder a los correos electrnicos
de sus colegas.
En mayo de 2006, un comit de nueve matemticos votaron para premiar a
Perelman con una Medalla Fields por su trabajo en la conjetura de Poincar.
Sir John Ball, presidente de la Unin Matemtica Internacional, se dirigi a
Perelman en San Petersburgo en junio de 2006 para persuadirlo a que aceptara
el premio. Luego de 10 horas de persuasin durante dos das, se rindi. Dos
semanas ms tarde, Perelman resumi la conversacin as: "l me propuso tres
alternativas: acepta y ven; acepta y no vengas, y te enviaremos la medalla luego;
tercero, no aceptes ni vengas. Desde el principio le dije que haba escogido la
tercera." Sigui diciendo que el premio "era completamente irrelevante para
m. Todo el mundo entiende que si la demostracin es correcta entonces no se
necesita ningn otro reconocimiento".[2]
El 22 de agosto de 2006, se le ofreci pblicamente a Perelman la medalla en
el Congreso Internacional de Matemticos en Madrid, "por sus contribuciones a
la geometra y sus ideas revolucionarias en la estructura analtica y geomtrica
del ujo de Ricci". No asisti a la ceremonia y declin la medalla.
l haba rechazado previamente un prestigioso premio de la Sociedad Matemtica
Europea, presuntamente diciendo que senta que el comit del premio no estaba
calicado para evaluar su trabajo, incluso positivamente.[13]
II. BREVE HISTORIA DEL PROBLEMA DE POINCAR O
LA HISTORIA DE LA MODERNA TOPOLOGA.
Hablar de la historia de la Conjetura de Poincar es, en cierto modo, hablar
de la historia de la Topologa (al menos durante todo el siglo XX), considerando
2
que esta ciencia empieza a formalizar su lenguaje precisamente a partir de los
trabajos de H. Poincar (1854-1912).
La Topologa, como ciencia matemtica que estudia la forma de las guras
espaciales y las deformaciones continuas (es decir, sin rupturas o desgarramien-
tos) que ellas pueden experimentar, surge a mediados del siglo XVIII. Uno de
sus primeros resultados se considera que fue la solucin que dio Leonard Euler
del famoso problema de los siete puentes de Koenigsberg. No fue hasta medi-
ados del siglo XIX, y principalmente despus de la aparicin de las geometras
no euclidianas de Lobachevski y Bolyai, que en el desarrollo de la matemtica,
en general, y de la geometra, en particular, se fue introduciendo la nocin de
que una nueva concepcin del espacio y de la geometra eran necesarias no solo
para la matemtica sino tambin para la mecnica y la fsica.
Fue Bernhard Riemann (1826-1866), quien en su famosa disertacin de 1854
Sobre los fundamentos que estn en la base de la Geometra (publicada de-
spus de su muerte, en 1968), quien al introducir una concepcin ms amplia
del espacio como un conjunto arbitrario de varias dimensiones provisto de una
forma diferencial (o sea, un campo de formas cuadrticas usuales), fue de los
primeros en considerar la nocin de variedad topolgica n-dimensional y la teora
con ellas relacionadas, que se dio en llamar Anlisis Situs.
A nes del siglo XIX era conocida bsicamente la clasicacin de las super-
cies compactas bidimensionales orientables, que bsicamente puede reducirse a
la clasicacin de sus gneros. Toda supercie de gnero 0 (o sea, en la cual toda
curva cerrada simple pueda deformarse continuamente en un punto) es home-
omorfa a una esfera bidimensional S
2
; toda supercie de gnero 1 (o sea, que
tenga un solo hueco) es homeomorfa a un toro bidimensional T
2
; en general,
toda supercie orientable bidimensional de gnero g (o sea, que tiene g huecos)
es homeomorfa a una esfera con g asas. Las variedades no orientables, del tipo
de la Banda de Moebius, tambin pudieron ser clasicadas posteriormente, de
manera que hoy todas las variedades bidimensionales (compactas o no) pueden
ser clasicadas atendiendo a su gnero.
Desde los trabajos pioneros de Riemann y Enrico Betti (1823.1892) el Anli-
sis Situs apenas realiza sensibles progresos hasta la poca de H. Poincar. Este
armaba: Todos los caminos en los que yo me haba embarcado conducan
al Anlisis Situs. . . . Yo tena necesidad de los resultados de esa ciencia para
proseguir mis estudios sobre las curvas denidas por las ecuaciones diferenciales
y extenderlos a las ecuaciones diferenciales de orden superior, y en particular
a las del problema de los tres cuerpos. . . . Yo tambin los necesitaba para el
estudio de los perodos de las integrales mltiples y para la aplicacin de este
estudio al desarrollo de la funcin perturbadora. En n, yo vea en el Anlisis
Situs una va para abordar un problema importante de la teora de los grupos,
la bsqueda de los grupos discretos o de los grupos nitos contenidos en un
grupo continuo dado.
Poincar, tratando de interpretar el conjunto de las soluciones de una ecuacin
algebraica general f(x; y; z) = 0 , donde (x; y; z) C
3
, despus de intentar un
enfoque analtico termin por adoptar el enfoque de asignar invariantes alge-
braicos a objetos geomtricos ms generales, intentando su clasicacin sobre
3
esa base. Este enfoque puede ser considerado el comienzo de lo que se conoce
ahora como la Topologa Algebraica.
En efecto, en el artculo sobre el Anlisis Situs y en los cinco voluminosos
Complementos del Anlisis Situs que Poincar escribi entre 1894 y 1904,
se introducen conceptos fundamentales para la ciencia que luego se llamara la
Topologa (as denominada por primera vez por el matemtico norteamericano
S. Lfschetz en 1930). En dichos trabajos introdujo conceptos topolgicos funda-
mentales como el de homeomorsmo entre dos variedades y el de orientacin de
una variedad (hoy da se entiende por variedad topolgica n-dimensional a todo
espacio topolgico para el cual se cumpla que cada punto posee una vecindad
homeomorfa a un subconjunto abierto del espacio euclidiano n-dimensional R
n
.
Estos conceptos permitieron introducir la nocin de caras de una supercie
y la consideracin de supercies de una cara, como es la banda de Moebius,
por ejemplo. En los mismos trabajos dene el concepto de homotopa entre
dos aplicaciones continuas, introduce los nmeros de Betti (que son invariantes
topolgicos de la variedad, es decir, invariantes en presencia de homeomorsmo)
y establece para ellos un teorema de dualidad (en toda variedad compacta y
orientada n-dimensional el nmero de Betti de orden p es igual al nmero de
Betti de orden n p).
Poincar estaba tan entusiasmado con su idea de introducir los invariantes
algebraicos asociados a una variedad, que despus de determinar los invariantes
homolgicos de la esfera n-dimensional S
n
(n > 2), intent caracterizarlas me-
diante sus grupos de homologa y crey haberla obtenido para el caso general
n-dimensional, lo cual se enuncia de la manera siguiente: Si una variedad
polidrica compacta tiene los mismos grupos de homologa que una esfera n-
dimensional, entonces es homeomorfa a una esfera n-dimensional. Este resul-
tado lo expuso en un trabajo publicado en 1900; sin embargo, en un estudio
adicional, l mismo encontr un contraejemplo de su teorema. Milnor describe
geomtricamente este ejemplo de la manera que sigue: Considere todos los posi-
bles icosaedros inscritos en la esfera unitaria bidimensional. Este conjunto puede
ser considerado una variedad tridimensional, ya que cada icosaedro en ese caso
puede ser descrito por tres parmetros, o sea, el conjunto de todos los icosaedros
inscritos en una esfera bidimensional es una cierta variedad tridimensional M
3
.
Por l os mtodos de la teora de la homologa, Poincar no puede diferencia-
rla de una esfera tridimensional (o sea, tiene los mismos grupos de homologa).
Sin embargo, l pudo probar que M
3
no poda ser homeomorfa a una esfera
S
3
, construyendo una curva cerrada simple contenida en M
3
que no poda ser
deformada continuamente en un punto (o sea, que no es simplemente conexa).
La construccin de esta curva no es difcil: basta escoger un punto de M
3
que
representa a un icosaedro arbitrario y considerar las imgenes bajo rotacin
alrededor de uno de sus vrtices a travs de un ngulo tal que 0 6 6
2
5
:
Por la razn anterior, en el Deuxime Complment lAnalysis Situs
Poincar se limita al caso de la esfera tridimensional, pero ahora mediante
otra caracterizacin. Porque Poincar tambin haba introducido el concepto
de grupo fundamental de una variedad, deniendo una operacin entre
4
las clases de equivalencia de lazos homtopos en un punto (o sea, lazos que
pueden deformarse unos en otros), que convierte a este conjunto de clases en un
grupo asociado a la variedad. Por ejemplo, el grupo fundamental de una circun-
ferencia S
1
es el grupo Z de los nmeros enteros, mientras que el de cualquier
esfera ndimensional es trivial (se reduce a 1).
Por esto, en el trabajo de 1904, Poincar se restringi al caso tridimensional,
formulando la siguiente pregunta:
Si una variedad compacta tridimensional tiene un grupo funda-
mental trivial, debe ella ser homeomorfa a la esfera tridimensional?
Esta pregunta es la que posteriormente fue conocida como la Conjetura de
Poincar.
Teniendo en cuenta que toda variedad topolgica tridimensional admite una
estructura diferenciable y que todo homeomorsmo entre dos variedades suaves
tridimensionales puede ser aproximado por un difeomorsmo, la conjetura de
Poincar puede ser reformulada en la manera siguiente:
Si una variedad suave compacta tridimensional M
3
tiene la propiedad
de que toda curva simple cerrada en ella contenida puede ser defor-
mada continuamente en un punto, debe ser M
3
difeomorfa a la esfera
tridimensional S
3
?
Como se sabe, S
3
es la hipersupercie de R
4
denida por la ecuacin x
2
1
+
x
2
2
+ x
2
3
+ x
2
4
= 1:
Despus de Poincar muchos matemticos intentaron dar respuesta positiva
a su pregunta original, pero siempre fallaban. El siguiente teorema de impor-
tancia que tampoco result verdadero se debe a Henry Whitehead (1934).
Como parte de su demostracin, Whitehead armaba que toda variedad abierta
tridimensional contrctil (o sea, que puede ser deformada continuamente en un
punto) es homeomorfa al espacio euclidiano tridimensional R
3
. Siguiendo los
pasos de Poincar, Whitehead increment sustancialmente el conocimiento de
la topologa de las variedades tridimensionales descubriendo un contraejemplo
de su mismo teorema, lo que hech por tierra su demostracin (ver Milnor para
los detalles).
Desde ese tiempo, muchas otras han sido las demostraciones propuestas,
pero algunas incurran en errores que eran a veces difciles de detectar.
Los aos 50 y 60 del siglo XX vieron aparecer resultados que constituyeron
un considerable avance en el abordaje del problema originalmente propuesto
por Poincar, el cual, sorprendentemente comenz a hacerse ms tratable en
dimensiones superiores. Milnor aduce que una razn para que esto ocurra es la
siguiente: El grupo fundamental juega un papel importante en todas las dimen-
siones, incluso cuando es trivial, y las relaciones entre los generadores del grupo
fundamental corresponden a discos bidimensionales aplicados en la variedad. En
dimensin 5 o mayor, tales discos pueden ser puestos en una posicin general de
tal tipo que son disjuntos unos con otros, sin auto intersecciones, lo que no se
puede lograr en los casos de dimensin 3 4. El hecho de que en dimensiones
3 4 no sea posible evitar las intersecciones entre los discos bidimensionales
sumergidos en la variedad es la fuente de series dicultades que no resulta fcil
obviar.
5
StephenSmale anunci en 1960 una demostracin de la conjetura de Poincar
para n > 5. Fue seguido rpidamente por John Stallings, con un mtodo com-
pletamente diferente, y por Andrew Wallace, que haba estado trabajando en
lneas similares a las de Smale. Ambas demostraciones, la de Smale y la de Wal-
lace, se basaban ms en mtodos diferenciales que en topolgicos, construyendo
una variedad indirectamente, comenzando por una bola n-dimensional y suce-
sivamente agregando asas, y luego suavizando las esquinas para obtener una
variedad con borde ms grande. La demostracin se llevaba a cabo reordenando
y cancelando esas asas.
Teorema de Smale (n > 5).
Si M es una variedad compacta suave n-dimensional que tiene la
propiedad de que toda inmersiln f : S
k
M, (k - n; n > 5), puede
deformarse continuamente en un punto, entonces M es homeomorfa
a S
n
:
El mismo resultado fue obtenido por Wallace para n > 6: En el mismo
trabajo consultado por nosotros, Milnor hace la observacin de que el caso
n = 5 es particularmente difcil.
An ms difcil es el caso n = 4, ya que hubo que esperar veinte aos para
verse resuelto por Michael Friedman en 1986. Los mtodos de Friedman,
a diferencia de los utilizados por Smale y Wallace, que eran bsicamente de
geometra diferencial, eran esencialmente topolgicos. Friedman no solamente
demostr la Conjetura de Poincar para n = 4, sino tambin dio una clasicacin
completa de las variedades cerradas simplemente conexas de dimensin 4.
Despus del resultado de Friedman de los aos 80, quedaba solamente por
contestar armativamente a la pregunta original de Poincar formulada en 1904.
La dicultad de este caso se deba fundamentalmente a que en esa dimensin
existen discrepancias entre la teora diferencial y la topolgica que se vuelven
muy serias al considerar el grupo fundamental de la variedad. Habr que esperar
nuevamente unos 20 aos para que el resultado nal haya podido ser obtenido,
precisamene por Grisha Perelman.
De la dicultad que ha presentado la Conjetura de Poincar para los matemti-
cos que han intentado la demostracin a lo largo de casi 100 aos desde que
fue enunciada, dan cuenta las Medallas Fields que se han otorgado a distintos
matemticos por haber logrado sustanciales avances en su resolucin:
En 1962 John Willard Milnor, de la Universidad de Princeton, recibi
una Medalla Fields por haber construido contraejemplos de un problema muy
relacionado con la conjetura de Poincar para dimensn mayor o igual que 7.
En 1966, Stephen Smale, por haber resuelto el problema para las var-
iedades de cualquier dimensin mayor o igual que 5, recibi otra Medalla Fields
en el Congreso de la IMU celebrado en Mosc.
Ms tarde, en 1986 la Medalla Fields fue conferida a Michael Friedman, de
la Universidad de San Diego, por haber demostrado el teorema de Poincar para
dimensin n = 4. En el mismo ao fue premiado tambin Samuel Donaldson,
de la Universidad de Oxford, por haber resuelto tambin un problema muy
relacionado con la conjetura de Poincar en dimensin 4.
Por eso no debe sorprender que Perelman haya sido galardonado tambin
6
por una medalla Fields en el congreso de la IMU de Madrid, en 2006, pero de
su rechazo de tal premio hablaremos ms adelante.
III. LA CONJETURA DE GEOMETRIZACIN DE THURSTON.
Un problema fundamental de la topologa consiste en establecer cundo dos
espacios topolgicos dados son o no homeomorfos, y sobre esta base se plantea
el problema de la clasicacin de las variedades topolgicas (se recordar que
una variedad topolgica n-dimensional es un espacio tal que cada uno de sus
puntos posee una vecindad homeomorfa a un subconjunto abierto del espacio
euclidiano n-dimensional real.). La conjetura de Poincar fue el primer problema
de este carcter planteado en la topologa, al intentar clasicar las variedades
tridimensionales que estn en la misma clase de homeomorfa que la esfera tridi-
mensional.
El problema en dimensin 1 es bien sencillo: toda variedad topolgica unidi-
mensional (orientable o no) pertenece a una de dos clases, segn sea compacta
o no. Toda variedad unidimensinal cerrada (o sea, compacta) es homeomorfa
(e incluso difeomorfa) a la circunferencia S
1
(o sea, a la esfera unidimensinal en
el plano bidimensional), y toda variedad unidimensional abierta es homeomorfa
(y tambin difeomorfa) a la recta R
1
.
En el caso de las variedades topolgicas bidimensionales, como hemos dicho
ms arriba, la clasicacin era ya conocida desde nes del siglo XIX (y es por
ello que Poincar se plante el problema de clasicacin de las variedades ho-
motpicamente equivalentes a una esfera tridimensional). (Se dicen equivalentes
homotpicamente (en ingls homotopy equivalent) dos variedades topolgicas
que tengan los mismos grupos de cohomologa)
En lenguaje de variedades diferenciables, tiene lugar el siguiente teorema
sobre la clasicacin de las variedades bidimensionales:
Teorema. Toda variedad suave bidimensional, cerrada (o sea, com-
pacta) y conexa es difeomorfa a una de las variedades siguientes:
a) si es orientable, a la esfera bidimensional S
2
o a una esfera
bidimensional con g asas, donde g es el nmero de huecos de
la variedad;
b) si no es orientable, a una esfera bidimensional con una o
varias bandas de Moebius pegadas.
El problema de la clasicacin topolgica de las variedades tetradimension-
ales fue resuelto por Michael Freedman, lo que, como ya dijimos, le vali una
medalla Fields por haber demostrado, tambin, la conjetura de Poincar en
dimensin 4, empleando en todo momento recursos estrictamente topolgicos.
Sin embargo, Milnor escriba en 2003 que todava no se saba si toda variedad
tetradimensional homotpicamente equivalente a la esfera tetradimensional era
difeomorfa a S
4
, y tampoco se saba si las variedades estudiadas por Freedman
posean una estructura diferenciable. Los mayores resultados referentes a estos
problemas se deben a Simon Donaldson. Usando el trabajo de Donaldson,
Freedman mostr que R
4
admite una familia no numerable de estructuras difer-
enciables no equivalentes, lo que da una idea de las complicaciones que tiene el
problema de clasicacin de las variedades topolgicas en dimensin 4:
7
La clasicacin de las variedades topolgicas tridimensionales tiene impor-
tantes aplicaciones en fsica terica y teora de la relatividad, por cuanto el
espacio fsico natural en que vivimos, hasta donde tenemos noticia hasta el
momento, es un espacio tridimensional.
El problema de clasicacin de las variedades tetradimensionales fue re-
suelto, como hemos dicho, por mtodos estrictamente topolgicos, por Freed-
man. Sin embargo, en el caso tridimensional desaparecen las discrepancias entre
la geometra diferencial y la topologa, aunque las dicultades con el grupo fun-
damental se tornan severas. Por eso desde nales de la dcada del 70 y principios
de las del 80 del pasado siglo, los gemetras se han empeado en avanzar en la
clasicacin de las variedades tridimensionales usando mtodos de la geometra
diferencial, en particular, de geometra riemanniana.
Se vuelve as a la idea primigenia de Riemann que tantas implicaciones tuvo
en la elaboracin de la teora de la Relatividad de Einstein y por consiguiente
esta clasicacin tiene importantes consecuencias cosmovisivas y loscas.
En este sentido, William Thurston hizo en 1982 una propuesta denitiva
de clasicacin de las variedades tridimensionales compactas que se
resumen en la siguiente
Conjetura de Geometrizacin de Thurston.
El interior de toda variedad tridimensional compacta puede ser
descompuesto, de manera esencialmente nica, mediante toros y es-
feras bidimensionales disjuntos en ella sumergidos, en piezas que
poseen una estructura geomtrica determinada. Aqu se entiende por
estructura geomtrica una estructura riemanniana completa (o sea,
un tensor mtrico completo denido sobre la pieza en cuestin) que
es localmente isomtrica a uno de las ocho estructuras modelo que
a continuacin se relacionan:
la esfera tridimensional S
3
variedad riemanniana de curvatura
constante positiva e igual a +1;
el espacio euclidiano tridimensional R
3
variedad riemanniana
de curvatura nula;
el espacio hiperblico tridimensional H
3
, variedad riemanni-
ana de curvatura constante negativa e igual a -1;
S
2
S
1
, el producto cartesiano de una esfera bidimensional
por una circunferencia;
H
2
S
1
, el producto cartesiano de un plano hiperblico por
una circunferencia;
Una mtrica riemanniana invariante a la izquierda sobre el
grupo especial lineal bidimensional real Sl(2; R);
Una mtrica riemanniana invariante a la izquierda sobre el
grupo soluble de Poincar-Lorenz E(1; 1), que consiste en el conjunto
de los movimientos rgidos sobre un plano espaciotemporal (1+1)-
dimensional provisto de una mtrica dt
2
dx
2
;
Una mtrica invariante a la izquierda sobre el grupo nilpo-
tente de Heisenberg, que consta de las matrices cuadradas triangu-
lares superiores de orden 3 con 1 en la diagonal principal., o sea
8
0
@
1 a b
0 1 c
0 0 1
1
A
; donde a; b y c pertenecen al conjunto R de los nmeros
reales.
En cada caso, el cubrimiento universal de la variedad indicada
proporciona un modelo cannico de la correspondiente geometra.
Esta conjetura incluye como caso particular a la Conjetura de Poincar, ya
que la de geometrizacin de Thurston debera implicar que:
Una variedad cerrada tridimensional tiene un grupo fundamental
nito si y solo si tiene una mtrica de curvatura constante positiva.
En particular, toda variedad tridimensional con grupo fundamental
trivial debe ser homeomorfa a S
3
.
Otra consecuencia importante que dedujo el mismo Thurston para variedades
sucientemente grandes es la siguiente:
"Una variedad cerrada M
3
es hiperblica si y solo si ella es prima,
con un grupo fundamental innito que no contiene a Z Z"
(Una variedad tridimensional M
3
se llama prima si no es difeomorfa a
S
3
y cada variedad topolgica S
2
contenida en M
3
; que separa a M
3
en dos
piezas, tiene la propiedad de que una de las dos piezas es difeomorfa a una bola
tridimensional)
Por otra parte, Kneser demostro en 1929 un teorema segun el cual toda var-
iedad compacta tridimensional orientable admite una descomposicin en suma
nita conexa de varieades primas tridimensinales. Por ello el problema de la
clasicacin de las variedades compactas tridimensionales en realidad se reduce
a las variedades primas.
Los casos esfrico e hiperblico de la conjetura de Geometrizacin de Thurston,
segn Milnor, son extremadamente difciles. Sin embargo, las restantes seis
geometras son han sido bien comprendidas, gracias al trabajo de muchos geme-
tras.
IV. LA TEORA DE HAMILTON SOBRE LA ECUACIN
DEL FLUJO DE RICCI.
Richard Hamilton en 1982 propuso un mtodo para demostrar la conjetura
de Thruston basado en la ecuacin del ujo de Ricci. Como antes, todo se
formula en el contexto de la geometra diferencial de las variedades riemannias.
Milnor expone brevemente la idea de Hamilton del modo siguiente:
Sea M
n
una variedad suave riemanniana con tensor mtrico g (en realidad,
un campo tensorial sobre M), cuya expresin en coordenadas locales u
1
; :::; u
n
viene dada por la forma diferencial de grado dos que expresa la longitud de arco
ds
2
=
n
X
i;j=1
g
ij
du
i
du
j
, donde las g
ij
son funciones suaves denidas en el dominio
de la carta local correspondiente. (La restriccin de esta 2-forma diferencial
al espacio vectorial tangente T
x
M dene un producto escalar que lo convierte
en un espacio vectorial euclidiano n-dimensional). Al tensor mtrico g est
9
asociado un campo tensorial covariante de segundo grado R(X; Y ), llamado
de Ricci, que se dene como la traza de la aplicacin V K(V; X)Y sobre
T
x
M; V T
x
M;donde K representa al campo tensorial (tensor) de curvatura
riemanniana de la variedad (el cual es un campo tensorial covariante de grado
4, que a su vez se dene a partir del tensor mtrrico g mediante la expresin
K(X
1
; X
2
; X
3
; X
4
) = g(K(X
3
; X
4
)X
2
; X
1
); donde en la parte derecha se ha
denotado por la misma letra K la transformacin de curvatura de T
x
M; que
es un endomorsmo K(X
3
; X
4
) del espacio vectorial tangente T
x
M en cada
punto, denido por la igualdad K(X
3
; X
4
)X
2
= u(2(X

3
; X

4
))u
1
(X
2
); \X
2

T
x
M; donde u es cualquier punto de L(M);donde L(M) es el brado de los
refernciales lineales de la variedad y la forma de curvatura de la conexin
lineal de M): En las coordenadas locales u
1;
:::; u
n
el tensor (campo tensorial)
de Ricci se expresa mediante funciones R
ij
que dependen de los coecientes del
tensor mtrico g
hk
y de sus derivadas con respecto a las coordenadas locales
@g
hk
@u
r
;
@
2
g
hk
@u
r
@u
p
; o sea, R
ij
= R
ij
( g
hk
):
Hamilton dene el ujo de Ricci asociado a la estructura riemanniana
de la variedad M como una familia uniparamtrica g
ij
= g
ij
(t) de mtricas
riemannianas denido por la ecuacin diferencial
@g
ij
@t
= 2R
ij
; donde R
ij
= R
ij
( g
hk
) son los coecientes del campo
tensorial de Ricci en las coordenadas locales escogidas. En otras palabras, la
ecuacin del ujo de Ricci es la ecuacin de evolucin de la mtrica riemanni-
ana g
ij
(t): Hamilton demostr que esta ecuacin tiene solucin nica para un
intervalo de tiempo corto, para una mtrica suave arbitraria sobre una variedad
riemanniana cerrada (o sea, compacta).
Dice Milnor que Hamilton escogi esta ecuacin diferencial por la misma
razn que Einstein introdujo el tensor de Ricci en su teora de la gravitacin.
Hamilton necesitaba un tensor simtrico covariante de segundo grado que se
dene de manera natural a partir del tensor mtrico y cuya expresin depende de
las derivadas de los coecientes de ste en la expresin en las coordenadas locales.
El factor 2 en el segundo miembro de la ecuacin del ujo de Ricci es ms o
menos arbitrario, pero el signo negativo es esencial. La razn de esto es que
esta ecuacin (ms exactamente, sistema de ecuaciones) es una generalizacin
no lineal de la ecuacin clsica de la conduccin del calor
@'
@t
= '; donde
designa al operador laplaciano =
@
2
@x
2
+
@
2
@y
2
+
@
2
@z
2
; (x; y; z) R
3
; y tiene
propiedades que en cierta forma son similares. a las de esta ltima. Cuando
g
ij
(t) vara en funcin de t; la curvatura escalar R asociada a esta estructura
riemanniana, que recibe el nombre de curvatura de Ricci, y viene mediante la
frmula R =
X
g
ij
R
ij
(donde los R
ij
son los coecienes del tensor de Rici y
las funciones g
ij
denotan las componentes de la matriz inversa de G = (g
ij
),),
vara de acuerdo con la versin no lineal de la ecuacin de la conduccin del
calor,
@R
@t
= R+2
X
R
ij
R
ij
; donde tambin aqu los coecientes R
ij
son los
10
de la matriz inversa del tensor de Ricci (R
ij
) Se recordar que el ujo de calor
se desplaza de las zonas ms calientes del cuerpo hacia las ms fras, tendiendo a
la estabilizacin de la temperatura del cuerpo. De la misma manera, la accin
del ujo de Ricci sobre la variedad riemanniana inicial (M; g(0)) lleva en el
lmite, cuando t a una variedad riemanniana cuya estructura es uniforme
(M; g());que es la descrita en la conjetura de Geometrizacin de Thurston. Sin
embargo, en este proceso surgen complicaciones que no son de fcil solucin.
Para dar una idea de estas complicaciones, Milnor da el ejemplo del ujo de
Ricci asociado a la estructura riemanniana de una esfera de radio r en el espacio
euclidiano n+1)dimensional R
n+1
; S
n
r
=

(x
1
; :::; x
n+1
) R
n+1
: x
2
1
+ ::: + x
2
n+1
= r
2

:
El tensor mtrico toma la forma g
ij
= r
2
^
g
ij
; donde por
^
g
ij
se ha designado el ten-
sor mtrico de la esfera n- dimensional unitaria S
n
=

(x
1
; :::; x
n+1
) R
n+1
: x
2
1
+ ::: + x
2
n+1
= 1

:
En este caso se calcula el tensor de Ricci, que es igual a R
ij
= (n 1)
^
g
ij
y por
tanto es independiente de r: En este caso la ecuacin del ujo de Ricci se reduce
a
dr
2
dt
= 2(n 1); cuya solucin es r
2
(t) = r
2
(0) 2(n 1)t: As la esfera
correspondiente colapsa en un punto un tiempo nito (ya que su radio se hace
cero para t =
r
2
(0)
2(n 1)
:
Hamilton tambin demostr que el ujo de Ricci preserva la positividad del
tensor de Ricci en dimensin 3 y del operador de curvatura correspondiente, en
todas las dimensiones; adems, los valores propios del tensor de Ricci en dimen-
sin 3 y los del operador de curvatura en dimensin 4 se hacen cada vez ms
pequeos mientras que la curvatura se hace grande. Esta observacin le permi-
ti demostrar resultados sobre la convergencia de la estructura riemanniana de
la variedad inicial bajo la accin del ujo de Ricci. Concretamente, demostr
que la evolucin de la mtrica sobre una variedad cerrada de curvatura de Ricci
positiva en dimensin3 o de operador de curvatura positivo en dimensin 4,
converge con exactitud hasta un reescalamiento, a una mtrica de curvatura
constate positiva. Ms precisamente, demostr el teorema que sigue:
Teorema de Hamilton. .
Suponga que comenzamos por una variedad riemanniana compacta tridimen-
sional cuyo tensor de Ricci est positivamente denido dondequiera. Entonces,
cuando la variedad se reduce a un punto, bajo el efecto del ujo de Ricci cor-
respondiente, ella se vuelve ms y ms redonda. Si reescalamos la mtrica
de manera que el volumen de la variedad permanezca constante, entonces ella
converge a una variedad de curvatura constante positiva.
En consecuencia, Hamilton fue capaz de desarrollar su programa comen-
zando por una variedad tridimensional de curvatura de Ricci positiva y sobre
esa base construir una mtrica de curvatura constante, y resolvi as un caso
muy especial de la conjetura de geometrizacin de Thurston la conjetura de
Thurston
Hamilton trat de aplicar esta tcnica a variedades tridimensionales ms
generales, pero surgen serias dicultades porque el ujo de Ricci tiende a singu-
laridades. Hamilton conjetur que esas sigularidades deban tener una forma
11
muy especial, no obstante, el mtodo podra podido an ser vlido para construir
mtricas de curvatura constante.
V. LOS TRABAJOS DE GRIGORI PERELMAN EN LA RED.
Entre noviembre de 2002 y julio de 2003. Grigori Perelman hizo pblicos
tres trabajos en el arXiv:math en los que describe una manera de resolver las
dicultades encontradas por Hamilton en el desarrollo de su programa y de
los cuales se deduce una demostracin de la conjetura de geometrizacin de
Thurston.
A continuacin se dan los ttulos de los trabajos de Perelmn, que suscitaron
de inmediato un vivo inters entre los especialistas en todo el mundo que venan
siguiendo de cerca los esfuerzos de Hamilton para demostrar la conjetura de
geometrizacin, a los cuales Perelman envi los preprints especialmente por
correo electrnico. (todava son accesibles en la red):
1) "The entropy formula for the Ricci ow and its geometric ap-
plications", fue colocado en el arXiv.math.DG/0211159 v1 el 11 de
noviembre de 2002.
2) "Ricci ow with surgery on three-manifolds", apareci el 10 de
marzo de 2003 con el cdigo arXiv.math.DG/0303109 v1.
3) "Finite extinction time for the solutions to the Ricci ow on
certain three-manifolds", apareci en la red el 17 de julio de 2003,
con el cdigo arXiv.math.DG/0307245 v1.
En el primero de los preprints Perelman explica el mtodo de Hamilton y
resume sus planteamientos esenciales, advirtiendo que sin hiptesis sobre la cur-
vatura el comportamiento en tiempo largo de la mtrica que evoluciona bajo la
accin del ujo de Ricci puede ser ms complicado, porque cuando t se aproxima
a un tiempo nito T;la curvaturas pueden volverse arbitrariamente grandes en
una regin mientras que permanece acotada en su complemento. En tal caso,
es util mirar la "explosin" (blow up) de la solucin para t prximo a T en un
punto donde la curvatura es grande (el tiempo es reescalado con el mismo factor
que el tensor mtrico). Hamilton demostr un teorema de convergencia, que im-
plica que una subsucesin de tales reescalamientos converge suavemente (mdulo
difeomorsmos) a una solucin completa del ujo de Riccir dondequiera que la
curvatura de las mtricas reescaladas sean uniformrmente acotadas (sobre algn
intervalo de tiempo nito), y que sus radios de inyectividad en el origen estn
acotados lejos de cero; adems, si el tamao del intervalo de tiempo reescalado
tiende al innito, entonces la solucin lmite es antigua, esto es, denida sobre
un intervalo de tiempo de la forma (; T) : En particular puede ser difcil
de analizar una solucin antigua arbitraria. No obstante, Ivey y Hamilton
probaron que en dimensin tres, en los puntos donde la curvatura escalar es
grande, la parte negativa del tensor de curvatura es pequea comparada con
la curvatura escalar, y por tanto los lmites resultantes de la explosin (blow
up limits) tienen necesariamente una curvatura secional no negativa. Por otro
lado, Hamilton descubri una notable propiedad de las soluciones con operador
de curvatura no negativo en dimensin arbitraria, llamada la desigualdad difer-
encial de Harnack, que nos permite, en particular, comparar las curvaturas de
12
la solucin en diferentes puntos y en diferentes tiempos. Estos resultados con-
dujeron a Hamilton a ciertas conjeturas sobre la estructura de los lmites de la
explosin en dimensin 3, que Perelman conrma en este trabajo.
La manera ms natural de formar una singularidad en tiempo nito es pre-
sionando un "cuello" casi cilndrico. En ese caso es natural hacer una ciruga
cortando el cuello abierto y pegando pequeas capas en cada uno de sus bor-
des, y entonces continuando la accin del ujo de Ricci. Este procedimiento fue
descrito de manera exacta por Hamilton en el caso de las variedades tetradimen-
sionales que satisfacen ciertas hiptesis sobe la curvatura. l tambin expres
la esperanza de que un procedimiento similar debera funcionar en el caso tridi-
mensional, sin ninguna hiptesis a priori, y que despus de un nmero nito
de cirugas, el ujo de Ricci existira para todo el tiempo t ; y que sera
no singular, en el sentido de que la curvatura normalizada

Rm(x; y) = tR(x; t)
debera estar acotada. La topologa de tales soluciones fue descrita por Hamil-
ton en una extensin suciente para que ningn contraejemplo de la Conjetura
de geometrizacin de Thurston ocurra entre ellas. As, la implementacin del
programa de Hamilton debera implicar la conjetura de geometrizacin para las
variedades cerradas tridimensionales.
En este trabajo Perelmn desarrolla algunos detalles del programa de Hamil-
ton, en particular la teora de Hamilton sobre el ujo de Ricci con ciruga, que
era la tcnica propuesta por l para hacer el "blow up" de las singularidades que
enconraba en su paso el ujo de Ricci para luego proseguir su aplicacin despus
de completado mediante las soluciones "antiguas" de la ecuacin de Ricci, o sea,
las que estn denidas para todo t anterior al tiempo donde se hace singular el
ujo. Aunque Perelman no fue capaz de conrmar la esperanza de Hamilton
de que la solucin que existe para todo tiempo t necesariamente tiene una
curvatura normalizada acotada, sin embargo mostr que las regiones donde esto
no se cumple est localmente colapsada con curvatura acotada inferiormente, lo
que en virtud de un trabajo previo (parcialmente publicado) era suciente para
las conclusiones topolgicas.
El segundo trabajo es una continuacin del primero, y en l verica la may-
ora de las amaciones hechas en este ltimo, partiularmente la demostracin
del ltimo epgrafe, en el cual completa la teora del ujo de Ricci global en
dimensin 3, o sea, construye soluciones completas del ujo de Ricci con ciruga
para una mtrrica inicial arbitraria sobre una variedad trridimensional (cerrada
y orientada), y usa el comportamiento de dichas soluciones para clasicar las
variedades tridimensionales en tres tipos. Uno de esos tipos de variedades
tridimensionales tiene factores primos que son copias difeomrcas de formas
esfricas espaciales (o sea, variedades tridimensionales con grupo fundamental
nito) y productos cartesianos S
2
S
1
de esferas bidimensionales y circunferen-
cias, y se caracteriza por la propiedad de que admiten mtricas que dan lugar a
ujos de Ricci con ciruga, que se extinguen en un tiempo nito. En el trabajo,
Perelmn demuestra que esto ocurre para toda mtrica inicial denida sobre
una variedad de este tipo. Por consiguiente, con este argumento Perelmn
13
demuestra la llamada "conjetura de eliptizacin" . Esta es el nombre de la
nica parte de la conjetura de geomerrizacin de Thurston que quedaba por
demostrar, ya que de las ocho geometras tridimensionales posibles en el pro-
grama de Thurston, seis de ellas eran bien conocidas y hay un gran progreso
en las geometra de curvatura constante negativa. Sin embargo, la geometra
de curvatura constante positiva permaneca intocada. La geometra de elipti-
zacin de Thurston es precisamente la estensin de la conjetura de Poincar y
se formula de la manera siguiente:
Conjetura de eliptizacin de Thurston.
Toda variedad cerrada tridiensional con grup fundamental nito
posee una mtrica de curvatura constante positiva y, en consecuencia,
es homeomorfa al cociente S
3
/ de la esfera tridimensional S
3
por
la accin libre sobre la misma de algn subgrupo nito del grupo
SO(4; R) de las rotaciones del espacio euclidiano tetradimensional R
4
:
VI. DEMOSTR REALMENTE PERELMAN LA CONJETURA
DE GEOMETRIZACIN DE THURSTON Y, EN PARTICULAR,
LA CONJETURA DE POINCAR?
Los trabajos de Perelman en la red estaban dirigidos a un pblico de especial-
istas y en un lenguaje altamente tcnico y complejo, que an para los expertos
resultaba de difcil comprensin. En una apretada sntesis de algo menos 70
pginas, Perelman desarrolla y en ocasiones "esboza" su demostracin, por lo
cual los expertos esperaban por su publicacin detallada en revistas especial-
izadas, cosa que nunca produjo.
Sin embargo, el reconocimiento de Perelman como un gemetra destaado,
que haba incluso sido invitado a pronunciar una de las conferencias plenarias en
el congreso de la IMU celebrado en Zurich conceda gran crdito de los expertos
a sus armaciones.
Inmediatamente despus de la aparicin de sus preprints en la red, fue in-
vitado a los Estados Unidos para exponer en detalle sus argumentos, pero de-
spus de su regreso a San Petersburgo se aisl de la comunidad matemtica y no
apareci ninguna publicacin suya sobre el tema, ni sobre ninguna otra cuestin
matematica.
La vericacin de sus armaciones vino de otros cientcos, algunos de los
cuales incluso pretendieron arrebatarle la prioridad en la demostracin de las
conjeturas de Poincar y Thurston. No obstante, incluso los que pretendieron
ganar parte del reconocimiento por el logro de haber demostrado esas conje-
turas, han acabado por reconocer la autora de Perelman en ello y han dejado
constancia de ello por escrito en las publicaciones que han dedicado al asunto.
Algo ms de tres aos han necesitado esos cientcos para vericar en detalle
las armaciones que en apretada sntesis puso Perelman en conocimiento de la
comunidad matemtica internacional. Finalmente, en 2006 han visto la luz tres
trabajos medulares que han desarrollado "in extenso" toda la teora del ujo de
Ricci, de Hamilton y Perelmn, que conduce a la demostracin completa de las
conjeturas de geometrizacin de Thurston y de Poincar. Esos trabajos son:
14
1) "Notes on Perelmans papers", de Bruce Kleiner y John Lott, que colo-
caron en la red el 25 de mayo de 2006, con el cdigo arXib:math.DG/0605667 1v.
En este trabajo de 192 pginas sus autores desarrollan en toda su extensin y
detalle la demostracin de la Conjetura de Poincar, a partir fundamentalmente
de los dos primeros preprints de Perelman.
2) "A complete proof of the Poincar and Geometrization Conjectures -
Application of the Hamilton-Perelman Theory of the Ricci Flow", de Huai-
Dong Cao y Xi-Ping Zhu, apareci en la "Asian Journal of Mathematics", Vol.
10, N
o
2, pag 165-492. Estos autores, a diferencia de los dos restantes, que
se limitaron bsicamente a los dos primeros preprints de Perelman, los cuales
bastan para lograr la demostracin de la Conjetura de Poincar, dedican sus
esfuerzos a desarrollar los resultados fundamentales del tercero de los preprints,
del cual se deduce la conjetura de Geometrizacin de Thurston. El artculo
ocupa completamente el nmero de la revista correspondiente al mes de junio
de 2006, y tiene una extensin de 327 pginas.
3) "Ricci Flow and the Poincar Conjecture", de John W. Morgan y Gang
Tian, que apareci en el arXiv:math.DG/0607607 v1 el 25 de julio de 2006.
Se trata de un libro de .... 473! pginas que sus autores escribieron, segn
declar Morgan en una entrevista con los periodistas en el ICM de Madrid,
en agosto de 2006, ante todo para entender ellos mismos la manera en que
Perelman resolva la cuestin de las singularidades en el ujo de Ricci con ciruga
y nalmente lograba la demostracin de la conjetura de Poincar. No obstante,
mientras Perelman escribi para especialistas expertos, ellos hicieron su libro
pensando ms bien en los estudiantes de postgraduacin que estn preparando
sus doctorados.
En resumen, el que quiera asimilar verdaderamente el contenido de la teora
de Hamilton-Perelman y consecuentemente, la demostracin de las conjeturas
de Perelman y Thurston, debe estudiarse al menos los tres trabajos precedentes
(un total de 972 pginas) para comprender la esencia de los tres preprints de
Perelman (68 pginas), lo que hace un total de.... ms de 1000 pginas!
Por fortuna, para los estudiantes cubanos, quizs sea posible suavizar la
tarea teniendo en cuenta la proyectada Escuela de Verano que en el ao 2008
han prometido realizar en La Habana los matemticos del Centro Internacional
de Fsica Terica de Trieste, Italia, uno de cuyos temas ser precisamente la
teora de los ujos de Ricci con ciruga y sus aplicaciones (en particular, la
deduccin de las conjeturas de Poincar y geometrizacin de Thurston).
Pero no hemos dado respuesta a la pregunta con que iniciamos nuestro par-
grafo. Al respecto fueron concluyentes las declaraciones de los matemticos
Richard Hamilton y John Morgan en us entrevistas con la prensa internacional
en el marco del congreso internacional de la IMU celebrado en Madrid el ao
pasado.
15
Hamilton dijo encontrarse "increiblemente feliz de que Grisha Perelman haya
realizado todo su trabajo" y de que nalmente lograra la demostracin de la
conjetura de Poincar. Tratndose de uno de los creadores de la teora del
ujo de Ricci, no cabe duda que su armacin es la mxima garanta de la
veracidad de los resultados de Perelman. Al mismo tiempo declar su profunda
admiracin por el trabajo de Perelman y que estara encantado de trabajar con
l en el futuro.
John Morgan fue an ms categrico que Hamilto, si cabe, al declarar:
"El trabajo de Perelman es un logro extraordinario. En los ltimos cien
aos hemos aprendido tanto sobre topologa y como un resultado de todo ese
conocimiento alguien con la clara precepcin y una tcnica poderosa como Perel-
man pudo terminar este problema fundamental. Es un xito grandioso". Pero
al mismo tiempo apunt:
"La Matemtica es una disciplina en la cual existen problemas muy difciles
que uno no sabe cmo resolver, pero si uno estudia ms y ms uno pueede lograr
cada vez ms una comprensin ms profunda. Esto es lo que ha pasado con el
problema de la Conjetura de Poincar. Parafraseando a Newton, Perelman vio
ms lejos, pero para hacer eso l ha descansado en los hombros de gigantes. Y
ciertamente un gigante sobre el cual descansa Perelman es Richard Hamilton,
quien cuidadosa y detalladamente a lo largo de ms de 25 aos desarroll la
teora bsica y condujo al fundamento del trabajo de Perelman".
Rerindose a los cambios que este resultado implicar en el desarrollo de la
topologa y de la matemtica, en general, Morgan declar:
"En un sentido nada cambiar. En el trabajo con la topologa de las var-
iedades tridimensionales el estado del arte apenas cambiar... Lo signicativo es
la comprensin de las ecuaciones de evolucin, las ecuaciones del ujo de Ricci,
y la manera en que ellas desarrollan sus singularidades. Esto tendr aplica-
ciones en otras reas de la matemtica. ... Y siendo un poco ms especulativo,
la manera en que esas ecuaciones de evolucin desarrollan las singularidades
es increblemente importante dentro de las matemticas y en el estudio de los
fenmenos fsicos. Muchos de estos fenmenos son explicados por ecuaciones de
evolucin similares a las del ujo de Ricci, de modo que la comprensin de la
manera en que esas ecuaciones desarrollan sus singularidades y la manera de
tratar esas singularidades, tiene tremendas consecuencias dentro de las ciencias
matemticas y fsicas."
.
VII. CONCLUSIONES.
La conjetura de Poincar ha sido declarada resuelta en forma armativa,
como tambin la conjetura de geometrizacin de Thurston, gracias a la apli-
cacin del tratamiento de las singularidades que aparecen en el ujo de Ricci
con ciruga y la forma de desarrollarlas, que se debe al genio de Perelman.
Quizs sea la hora de comenzar a hablar del "teorema de Poincar-Perelman"
o el "teorea de geomerizacin de Thurston-Perelman" o incluso "teoemas de
16
Poincar-Hamilton.-Thurston-Perelman". Lo cierto es que, por grande que sea
el logro de Perelman, en realidad corona un bello edicio que es el resultado
de casi cien aos de topologa algebraica y diferencial, que vienen a lograr su
realizacin fuera de los marcos relativamente estrechos en que fuera concebido
inicialmente (La caracterizacin de las esferas tridimensionales) para abarcar
toda una ciencia, la geometra de las variedades tridimensionales, con recursos
que la hacen aplicable al conocimiento ms profundo del universo y del papel
del hombre en l.
Perelman ha declarado por qu la Medalla Fields era irrelevante para l:
"Todo el mundo entenda que si la demostracin era correcta, entonces ningn
otro reconocimiento era necesario".
Una leccin de eticidad semejante en un mundo globalizado en el que tantos
valores tradicionales se ven sometidos a concepciones geopolticas y ambiciones
de poder que nada tienen con la bsqueda de la verdad cientca y el desarrollo
del conocimiento humano, no puede ser menos que saludada con beneplcito
por la comunidad matemtica mundial. Y as parecen haberlo entendido los
directivos de la IMU cuando, no obstante haber rechazado el premio, declararon
pblicamente la concesin de la Medalla Fields a Grigori Ykovlievich Perelman
por sus aportes en la teora del ujo de Ricci con ciruga que permitieron resolver
la famosa Conjetura de Poincar, cerrando as todo un siglo de investigaciones en
el campo de la Topologa, la Topologa Diferencial y Algebraica y la Geometra
Diferencial de las variedades riemannianas.
Baldomero Valio Alonso, La Habana, primavera de 2008.
BIBLIOGRAFA.
1. Milnor, John. "Towards the Poincar Conjecture and the Classication
of 3-Manifolds", Notices of the AMS, Volume 50, Number 10, p. 1226-1233.
2. Milnor, John. "The Poincar Conjecture 99 years later: A Progress
Report".
3. Brittenham, Mark. "The Poincar Conjecture: Its Past, Present, and
Future". http://www.math.unl.edu/mbrittenham2/ldl/poincare.html.
4. Smale, Stephen. "Problemas matemticos para el prximo siglo". En:
La Gaceta, p. 413-434, Madrid, 2001.
5. Kovayashi, Shoshichi and Katsumi Nomizu. "Foundations of Dierential
Geometry", Volume I and II, Interscience Publishers, John willeyand Sons, New
York, 1963.
6. Dubrovin, B. A., Fomenko, A. T., Novikov, S. P. "Sovreminnaia
Gueometria", Moskva, "Naka", 1979.
7. Dubrovin, B., Fomenko, A. y Nvikov, S. "Geometra Moderna. Mtodos
de la Teora de Homologas", Editorial MIR, Mosc, 1987.
17