La conjetura de Poincaré: el único problema del milenio resuelto

Un matemático ruso lo demostró en su apartamento de San Petersburgo, rechazó la Medalla Fields y luego rechazó también el millón de dólares.

De los siete problemas del milenio, solo uno tiene ya una demostración aceptada por toda la comunidad matemática y certificada por el Clay Mathematics Institute: la conjetura de Poincaré. Es también la historia con más ingredientes de drama humano de toda la lista: un matemático que resuelve uno de los mayores problemas abiertos del siglo y, después, rechaza tanto el reconocimiento como el dinero.

Qué dice exactamente la conjetura

Formulada por Henri Poincaré en 1904, la conjetura trata sobre formas en tres dimensiones. Dicho de manera intuitiva: si tienes un espacio tridimensional cerrado (sin bordes, de tamaño finito) en el que cualquier lazo que dibujes se puede contraer hasta un punto sin salirse de la forma —es decir, sin "agujeros" que lo impidan—, entonces esa forma es, en esencia, una esfera tridimensional.

Para una superficie bidimensional esto es fácil de imaginar: la piel de un globo cumple la condición y es, efectivamente, una esfera; la superficie de un donut (un toro) no la cumple, porque un lazo que rodee el agujero central no se puede contraer a un punto. Poincaré preguntó si lo mismo era cierto una dimensión más arriba, para formas tridimensionales dentro de un espacio de cuatro dimensiones. Esa generalización, aparentemente inocente, resultó extraordinariamente difícil de demostrar.

"Todo lo que no tiene agujeros, en tres dimensiones, es una esfera. La frase cabe en una línea. La demostración tardó noventa y ocho años."

Casi un siglo de intentos

Durante el siglo XX, la conjetura de Poincaré se convirtió en uno de los problemas más perseguidos de la topología. Varios matemáticos de primer nivel publicaron demostraciones que después resultaron erróneas, lo cual, lejos de ser un fracaso, ayudó a desarrollar herramientas matemáticas completamente nuevas. Curiosamente, la versión del problema en cinco o más dimensiones se resolvió antes (Stephen Smale, 1961) que la versión en cuatro dimensiones (Michael Freedman, 1982); la versión original, en tres dimensiones, era la más resistente de todas.

La pieza que lo cambió todo: el flujo de Ricci

En los años 80, el matemático Richard Hamilton propuso una estrategia radicalmente distinta: en lugar de atacar la forma directamente, usar una ecuación —el flujo de Ricci— que deforma progresivamente el espacio, suavizando sus irregularidades de manera parecida a como el calor se difunde uniformemente por un objeto. La idea era que, si se aplicaba correctamente, cualquier forma que cumpliera las condiciones de la conjetura acabaría "fluyendo" hacia una esfera perfecta.

El problema es que el flujo de Ricci, aplicado sin más, puede generar singularidades: puntos donde la deformación se vuelve infinita y el proceso se rompe. Hamilton desarrolló buena parte del programa pero se quedó atascado exactamente ahí, sin saber cómo tratar esas singularidades de forma general.

Grigori Perelman resuelve el problema

Entre 2002 y 2003, el matemático ruso Grigori Perelman publicó en internet (no en una revista, sino directamente en el repositorio arXiv) tres artículos que completaban el programa de Hamilton. Su aportación clave fue una técnica llamada flujo de Ricci con cirugía: cuando el flujo se acerca a una singularidad, se "corta" quirúrgicamente la parte problemática de la forma, se continúa el proceso por separado en cada pieza, y al final se demuestra que el resultado es consistente con la conjetura original.

La demostración era tan densa y tan nueva en sus técnicas que varios equipos de matemáticos tardaron varios años en verificarla línea a línea. No fue hasta 2006, con la publicación de análisis detallados independientes, cuando la comunidad matemática aceptó de forma generalizada que la demostración era correcta.

Dos rechazos históricos

Aquí es donde la historia se sale de lo puramente matemático. En 2006, la Unión Matemática Internacional decidió concederle a Perelman la Medalla Fields —el equivalente más cercano a un Nobel en matemáticas—. Perelman rechazó recogerla, y ni siquiera viajó al congreso de Madrid donde se entregaba.

En 2010, cuando el Clay Mathematics Institute confirmó oficialmente su demostración y le correspondía el millón de dólares del premio, Perelman volvió a rechazarlo. Según explicó en distintas entrevistas, consideraba injusto que se reconociera su trabajo por encima de las contribuciones previas de Richard Hamilton, sobre cuyo programa se había apoyado directamente, y mostraba un rechazo más general hacia cómo la comunidad matemática decide quién merece crédito y quién no.

Desde entonces, Perelman se ha mantenido prácticamente alejado de la vida académica pública. Es, probablemente, el ejemplo más citado de alguien que resuelve uno de los problemas más difíciles jamás planteados y decide que el reconocimiento no le interesa.

¿Por qué importa hoy?

Más allá de la anécdota humana, la conjetura de Poincaré demuestra algo que va más allá de las matemáticas: a veces la clave para resolver un problema antiguo no es atacarlo de frente, sino construir una herramienta completamente nueva (el flujo de Ricci) diseñada para otro propósito y aplicarla con la pieza que faltaba. Las técnicas desarrolladas por Hamilton y Perelman se siguen usando hoy en geometría diferencial, mucho más allá del problema original.

Es también el listón con el que se mide cualquier anuncio sobre los problemas restantes: publicación formal, años de revisión independiente y consenso de la comunidad. Como puedes ver en nuestro artículo sobre el reciente anuncio de OpenAI en Navier-Stokes, ese proceso está muy lejos de completarse en la mayoría de los casos.