La Intuición de Sophus Lie a Prueba: El Quinto Desafío de Hilbert

 

"Mi teoría es como un vasto océano en el que apenas he navegado unas pocas brazadas." Sophus Lie (Noruega 1842 – 1889).

Entre estos desafíos planteados por Hilbert en el Congreso Internacional de Matemáticas de París 1900 (ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html), el Quinto Problema planteaba una pregunta fundamental sobre la naturaleza de las simetrías continuas: ¿es posible describir las transformaciones suaves y continuas de la geometría utilizando únicamente la noción de continuidad, sin asumir de antemano el cálculo diferencial?

Para comprender la esencia del Quinto Problema, primero debemos definir qué es un Grupo de Lie, nombrado así en honor al matemático noruego Sophus Lie.

En matemáticas, y específicamente en el álgebra abstracta, un grupo es un conjunto de elementos junto con una operación que satisface cuatro propiedades fundamentales (asociatividad, elemento neutro, elemento inverso y clausura). Por ejemplo, los números enteros con la suma forman un grupo, sin embargo con la multiplicación los números enteros no serían un grupo dado que el inverso de la multiplicación puede ser un número racional, es decir, ya no estaría dentro del conjunto de los enteros.

El álgebra abstracta no busca estudiar número por número, sino las estructuras y patrones generales. Al demostrar que algo es un grupo (sea un conjunto de ecuaciones, las partículas fundamentales de la física o las simetrías de un cristal), automáticamente sabes que hereda todas las propiedades matemáticas comprobadas para los grupos.

Un Grupo de Lie es un objeto híbrido que une dos áreas de las matemáticas: álgebra con geometría y topología, dado que es un grupo abstracto cuyos elementos se pueden combinar y además es un espacio geométrico continuo y suave (una variedad diferenciable), como una esfera o la superficie de un toro. Un Grupo de Lie es la herramienta matemática para estudiar la simetría continua; formalmente, es un conjunto que es simultáneamente un grupo algebraico y una variedad diferenciable suave.

La teoría de los grupos de Lie surgió en la década de 1870, cuando el matemático noruego Sophus Lie buscaba crear un equivalente continuo para las ecuaciones diferenciales de lo que Évariste Galois había logrado para las ecuaciones algebraicas con la teoría de grupos finitos. 

En la década de 1830, Évariste Galois demostró que una ecuación polinómica se puede resolver mediante radicales si y solo si su "grupo de simetrías" (un grupo finito) tiene una estructura resoluble, ver https://gilbeworld.blogspot.com/2026/08/evariste-galois-el-fuego-de-la.html.

Lie se planteó el siguiente objetivo: ¿Es posible determinar si una ecuación diferencial se puede resolver por integraciones directas analizando sus simetrías continuas?

• Descubrió que cuando una ecuación diferencial se mantiene invariable bajo una familia continua de transformaciones (por ejemplo, rotaciones o escalados), la dimensión del problema se puede reducir.

• Al estudiar estas transformaciones continuas, notó que se podían manipular analizando únicamente sus cambios "infinitesimales" (derivadas cerca de la identidad), convirtiendo problemas geométricos y analíticos difíciles en problemas de álgebra lineal mucho más sencillos..

Dado que las rotaciones forman un espacio geométrico suave donde se pueden aplicar derivadas y cálculo diferencial, la familia de todas las rotaciones tridimensionales constituye un Grupo de Lie.

A finales del siglo XIX, Sophus Lie formuló su teoría asumiendo que las funciones que describían estas simetrías eran analíticas (es decir, infinitamente derivables y expresables mediante series de potencias).

Hilbert se preguntó si esta suposición era realmente necesaria:

Enunciado simplificado del Quinto Problema: Si tenemos un grupo de transformaciones que es simplemente continuo (sin saltos, pero no necesariamente "suave" o derivable a simple vista), ¿se deduce automáticamente que debe ser un Grupo de Lie analítico y derivable?

En términos cotidianos: si una trayectoria no tiene interrupciones bruscas, ¿significa que en el fondo es completamente suave y libre de picos o esquinas afiladas?

La respuesta no llegó de forma inmediata. Hizo falta medio siglo de avances en topología y álgebra abstracta para resolver la incógnita. En 1952, los matemáticos Andrew Gleason (EE.UU 1921 - 2008), Deane Montgomery (EE.UU 1909 - 1992) y Leo Zippin (EE.UU 1905 – 1995) dieron la solución definitiva para el caso de dimensiones finitas. Ellos demostraron que cualquier grupo topológico localmente compacto que cumpla ciertas condiciones mínimas (como no tener "subgrupos arbitrariamente pequeños") es isomórfico a un Grupo de Lie analítico, de manera que la respuesta al Quinto Problema era SÍ.

Gleason demostró que si un grupo topológico localmente compacto no contiene "subgrupos arbitrariamente pequeños" (es decir, existe un entorno del elemento identidad que no alberga ningún subgrupo propio completo), entonces dicho grupo es isomórfico a un Grupo de Lie analítico.

Por su parte, Montgomery y Zippin demostraron que todo grupo topológico de dimensión finita, localmente compacto y conexo cumple precisamente con la condición de no tener subgrupos arbitrariamente pequeños.

Al unir ambos teoremas, demostraron que todo grupo topológico localmente compacto de dimensión finita que sea una variedad topológica es un Grupo de Lie. Esto confirmó la intuición de Hilbert: en el contexto de grupos de transformaciones continuas, la mera estructura topológica y la continuidad obligan a que el espacio sea automáticamente "suave", analítico y diferenciable, sin necesidad de asumirlo previamente.

Por lo tanto, la exigencia de "suavidad" o "diferenciabilidad" no era una condición arbitraria añadida por Sophus Lie, sino una consecuencia natural e inevitable de la propia estructura del grupo y la continuidad.

La resolución del Quinto Problema de Hilbert tuvo un impacto profundo en el desarrollo de la matemática moderna y la física teórica. Conectó la topología general (el estudio de las formas y la continuidad sin distancias rígidas) con el análisis matemático y el álgebra de Lie.

Hoy los Grupos de Lie son la herramienta matemática central de la física cuántica y la teoría de la relatividad. Saber que la continuidad garantiza la derivabilidad asegura que las leyes de simetría de la naturaleza puedan analizarse siempre mediante ecuaciones diferenciales.

Por otra parte, la búsqueda de la solución al Quinto Problema impulsó el desarrollo de la topología algebraica y la teoría de grupos topológicos, permitiendo abordar problemas aún más complejos en dimensiones infinitas.

La visión de Hilbert de conectar simetrías continuas, análisis y geometría sigue más viva que nunca. En el Congreso Internacional de Matemáticos (ICM) de 2026, la Medalla Fields —el máximo galardón de las matemáticas para investigadores menores de 40 años— premió avances que son descendientes directos de este legado:

John Pardon (EE.UU 1989) fue galardonado por sus aportaciones a la geometría simpléctica y la topología, áreas donde las acciones de grupos de Lie sobre variedades geométricas son fundamentales para entender la física cuántica y las estructuras geométricas continuas, ver https://gilbeworld.blogspot.com/2026/09/de-los-nudos-imposibles-y-las-arrugas.html.

Yu Deng, ver https://gilbeworld.blogspot.com/2026/09/del-caos-molecular-al-fluido-continuo.html, y Hong Wang , ver https://gilbeworld.blogspot.com/2026/09/la-conjetura-de-kakeya-y-su-odisea.html, recibieron la medalla por sus avances en ecuaciones en derivadas parciales y análisis armónico, herramientas que nacieron precisamente para estudiar las simetrías analíticas que Lie y Hilbert exploraron.

El Quinto Problema de Hilbert demostró que la "suavidad" no es un parche ni un supuesto arbitrario, sino una consecuencia inevitable de la propia estructura de simetría continua. Sin la certeza de que las simetrías continuas son diferenciables, la formulación matemática de la mecánica cuántica y la relatividad general carecería del rigor fundamental sobre el que se apoyan hoy.

La colaboración implícita entre Lie, Hilbert, Gleason, Montgomery y Zippin muestra cómo un problema geométrico del siglo XIX necesitó del desarrollo de la topología del siglo XX para ser comprendido en su totalidad. Como reflejan las Medallas Fields 2026, las preguntas planteadas hace más de un siglo sobre grupos de Lie, variedades y análisis siguen alimentando las fronteras más avanzadas de la matemática contemporánea.

Acertijo o un mapa de caminos: La verdadera naturaleza del Cuarto Problema de Hilbert

 

«El Cuarto Problema de Hilbert no pedía encontrar un número o resolver una ecuación, sino construir una nueva visión de lo que significa medir el espacio cuando la recta sigue siendo la guía.» Herbert Busemann (Alemania 1905 – 1994).

En la geometría euclidiana nos enseñan un axioma intuitivo: la distancia más corta entre dos puntos es la línea recta. Sin embargo, a lo largo del siglo XIX, matemáticos como Lobachevsky, Bólyai y Gauss demostraron que existen geometrías no euclidianas perfectamente válidas. En una esfera, por ejemplo, las "rectas" (las trayectorias más cortas o geodésicas) son los grandes círculos, como el ecuador.

Hilbert entonces planteó la siguiente pregunta fundamental: ¿Es posible construir métricas (formas de medir distancias) donde las líneas rectas ordinarias del espacio euclidiano sigan siendo las trayectorias más cortas, pero los ángulos o las áreas se comporten de forma completamente diferente?

El Cuarto Problema sufría de una intencionada vaguedad en su formulación. Hilbert no impuso condiciones estrictas de suavidad sobre la función de distancia ni especificó la dimensión exacta del espacio.

Enunciado de Hilbert del Cuarto Problema en el Congreso de París, extracto resumido del texto original de 1900:

«Se trata de hallar todas las geometrías posibles en las que el axioma de la línea recta como el camino más corto entre dos puntos se verifique, y estudiar sus propiedades... Este problema exige la construcción y clasificación de todas las métricas en las que las rectas del espacio euclidiano funcionan como geodésicas.»

Su planteamiento se centraba en determinar las geometrías que surgen si se mantiene el concepto de que la línea recta euclidiana es la trayectoria más corta entre dos puntos, pero se descartan o modifican los demás axiomas clásicos.

Hilbert propuso investigar las geometrías que satisfacen las siguientes condiciones:

• Soberanía de la línea recta: Las líneas rectas del espacio euclidiano ordinario (o segmentos de ellas) continúan siendo las trayectorias que minimizan la distancia entre cualquier par de puntos.
• Flexibilidad de los demás axiomas: Se prescinde del axioma de las paralelas de Euclides y de las nociones habituales de ángulo y área.
• Propiedades de la métrica: La función de distancia $d(P, Q)$ debe cumplir la desigualdad triangular estándar ($d(P, Q) \le d(P, R) + d(R, Q)$) y ser continua, garantizando que el camino en línea recta sea estrictamente el de menor longitud.

Dado lo anterior, la comunidad matemática coincide en que el Cuarto Problema debe entenderse como un campo de estudio abstracto dedicado a la clasificación de métricas geométricas, más que un problema cuya solución sea SÏ o NO. El desarrollo de este problema requirió redefinir lo que entendemos por "medir" en un espacio continuo.

El primer acercamiento a la solución del Cuarto Problema vino en fecha tan reciente como 1901 con los trabajos de Georg Hamel (Alemania 1877 - 1954), tan solo un año después de que David Hilbert presentara el problema en el Congreso Internacional de Matemáticos de París.

En su tesis doctoral (dirigida por el propio Hilbert), Hamel intentó dar un marco analítico preciso a la vaga formulación de su maestro. Para ello, asumió que la función de distancia debía ser "suave" (infinitamente diferenciable, $C^\infty$) e introdujo una función $F(x, y, dx, dy)$ donde la longitud de un segmento infinitesimal $ds$ dependía tanto de la posición $(x, y)$ como de la dirección $(dx, dy)$.

Al aplicar el cálculo de variaciones mediante las ecuaciones de Euler-Lagrange (conjunto de ecuaciones diferenciales ordinarias que constituyen el pilar fundamental del cálculo de variaciones. Su objetivo es encontrar la trayectoria que minimiza o maximiza una cantidad dada por una integral, conocida como el funcional de acción, ver https://gilbeworld.blogspot.com/2026/03/el-anillo-unico-de-las-ecuaciones.html), e imponer la condición de que las soluciones que minimizaban la distancia fueran líneas rectas euclidianas ($y = ax + b$), Hamel demostró la existencia de una familia infinita de métricas no euclidianas que cumplían el axioma de Hilbert.

En la literatura matemática actual es muy común leer que Hamel empleó métricas de Finsler para dar esta primera solución. Sin embargo, esto constituye un anacronismo histórico, dado que Paul Finsler (Alemania 1894 – 1970), no definiría estos espacios hasta 1918, cuando presentó su tesis sobre curvas y superficies en espacios generales. Finsler sistematizó el marco abstracto, la curvatura y las nociones de ángulo en entornos donde la medida depende de la dirección.

Aunque el trabajo de Hamel en 1901 demostró que el problema tenía infinitas respuestas y sentó las bases operativas de las métricas proyectivas, no cerró el debate por dos limitaciones clave:

• La restricción de suavidad: Hamel exigió que la métrica fuera diferenciable ($C^\infty$). El enunciado original de Hilbert no imponía esta condición, dejando la puerta abierta a métricas que fueran continuas pero no suaves.
• Dimensiones reducidas: Sus demostraciones se limitaron al plano y al espacio tridimensional, dejando sin clasificar las métricas en dimensiones superiores.

A pesar de no ser la palabra final, el trabajo de Hamel en 1901 transformó la intuición de Hilbert en una línea de investigación concreta, abriendo el camino para que décadas más tarde Herbert Busemann y Aleksandr Pogorélov completaran el mapa de este fascinante territorio geométrico.

Herbert Busemann (Alemania 1905 – 1994) es considerado la figura central en la resolución del Cuarto Problema de Hilbert a mediados del siglo XX, impulsado por los trabajos previos de Karl Pohlke (Alemania 1810 – 1876), pintor y matemático quien aportó las bases geométricas en el siglo XIX. Pohlke demostró un teorema, el Teorema de Pohlke, que establece que cualquier proyección paralela de un objeto tridimensional sobre un plano puede construirse a partir de la elección libre de tres ejes y sus escalas de acortamiento, un pilar fundamental de la representación gráfica y la geometría descriptiva.

Mientras que Hamel abordó el problema mediante el cálculo de variaciones y la suposición de que las métricas eran diferenciables ($C^\infty$), Busemann revolucionó el enfoque al cambiar la perspectiva analítica por una perspectiva sintética y métrica.

Busemann eliminó por completo la exigencia de suavidad en las funciones de distancia, formulando el problema en el marco de los espacios métricos abstractos. A lo largo de las décadas de 1940 y 1950, formalizó la noción de espacio de Finsler generalizado sin necesidad de coordenadas ni derivadas, apoyándose estrictamente en la desigualdad triangular y en la noción de convexidad.

Busemann logró clasificar y caracterizar una amplia familia de métricas (conocidas como métricas de Busemann o métricas proyectivas continuas) en las que los segmentos de recta euclidianos actúan como geodésicas únicas, aun cuando el espacio no sea suave.

El trabajo de Pohlke y, fundamentalmente, la monumental obra de Busemann demostraron que el problema de Hilbert no pertenecía en exclusiva al cálculo de variaciones ni a la geometría diferencial tradicional, sino a la geometría métrica general, preparando el terreno para que Aleksandr Pogorélov (Rusia 1919 – 2002) lograra la solución definitiva en 1973 para las dimensiones 2 y 3.

Los resultados principales de Pogorélov fueron publicados en una célebre monografía de 1973 (traducida al inglés en 1979 bajo el título A realization of Hilbert's Fourth Problem). A diferencia de Hamel (1901), quien exigía que la función de distancia fuera diferenciable ($C^\infty$), Pogorélov abordó el problema asumiendo únicamente que la métrica fuera continua y satisficiera los axiomas básicos de distancia.

La gran innovación de Pogorélov fue emplear herramientas de la geometría integral. Demostró que cualquier métrica en el plano (o en el espacio de dimensión 3) donde las líneas rectas son las geodésicas más cortas puede representarse mediante una medida positiva sobre el conjunto de hiperplanos (o rectas) que cortan a un segmento dado.

Pogorélov logró clasificar todas las métricas continuas, homogéneas e invariantes por traslación que hacen que las rectas euclidianas sean geodésicas. Demostró que toda métrica de este tipo en $d=2$ y $d=3$ es una métrica de Blaschke-Minkowski o puede expresarse como la integral de una medida de áreas/volúmenes sobre el espacio de cortes.

Gracias al trabajo de Pogorélov, el Cuarto Problema quedó plenamente resuelto en el espacio tridimensional habitual, abriendo la puerta a la teoría moderna de la medida y la tomografía matemática.

El impacto del Cuarto Problema trasciende su enunciado original, habiendo alimentado áreas clave de las matemáticas modernas:

• Geometría de Finsler: Estructura que generaliza la geometría riemanniana al permitir que la distancia dependa de la dirección en cada punto, fundamental en la física teórica actual.
• Geometría Integral: La solución de Pogorélov utilizó medidas en el espacio de líneas rectas, impulsando el desarrollo de la tomografía matemática y el procesamiento de imágenes.
• Geometría Métrica y Espacios de Hilbert-Geometría: El estudio de espacios donde la noción de métrica no requiere derivadas ni estructuras diferenciales.

Desde los primeros e intuitivos avances de Georg Hamel en 1901 —quien aplicó el cálculo de variaciones adelantándose 17 años a la formalización de la geometría de Finsler—, pasando por el enfoque sintético de Herbert Busemann a mediados de siglo, hasta la brillante caracterización mediante geometría integral de Aleksandr Pogorélov en 1973, el problema ha servido como motor de desarrollo para la teoría de la medida y los espacios métricos abstractos.

El Cuarto Problema de Hilbert demostró que la verdadera riqueza de las matemáticas a menudo no reside en resolver una ecuación con un resultado único, sino en redefinir los conceptos más fundamentales. Al cuestionar qué hace que una recta sea la distancia más corta, Hilbert no planteó una adivinanza, sino la cartografía de un nuevo territorio geométrico.

Lo que comenzó como una reflexión sobre los axiomas de Euclides es hoy una herramienta imprescindible en áreas que van desde la física teórica y la relatividad general hasta la tomografía médica y el procesamiento moderno de imágenes. El Cuarto Problema nos recuerda que, cuando cambiamos la forma en que medimos el espacio, el universo entero adquiere una nueva perspectiva.

De las tijeras de Euclides a los invariantes modernos: El Tercer Problema de Hilbert

 

"La geometría es el arte de razonar bien sobre figuras mal hechas." Henri Poincaré (Francia 1854 – 1912).

Imagina que tienes una figura de papel, digamos un triángulo. Con unas tijeras, la cortas en tres o cuatro piezas y las vuelves a ensamblar para formar un rectángulo perfecto. Intuitivamente, sabemos que esto siempre es posible en el plano de dos dimensiones. Pero, ¿ocurre lo mismo en el espacio tridimensional si usamos un bisturí para cortar poliedros?

Esta pregunta, aparentemente sencilla, es el corazón del Tercer Problema de Hilbert  presentado en el histórico Congreso Internacional de Matemáticos de París en 1900. Para entender la importancia del planteamiento, primero debemos definir el concepto de equidescomponibilidad (o congruencia por tijeras).

Decimos que dos figuras planas $A$ y $B$ son equidescomponibles si podemos dividir la figura $A$ en un número finito de piezas poligonales $P_1, P_2, \dots, P_n$ y, tras rotar o trasladar esas piezas sin superponerlas, volver a armarlas para obtener exactamente la figura $B$.

En el siglo XIX, el matemático húngaro Wolfgang Bolyai (Hungría 1775 – 1856) y el oficial prusiano Paul Gerwien (1799 - 1858) demostraron independientemente el Teorema de Bolyai-Gerwien:

Teorema: Dos polígonos en el plano tienen la misma área si y solo si son equidescomponibles.

Esto significa que, en 2D, el área y la descomposición mediante cortes rectos son conceptos equivalentes. Si dos figuras ocupan la misma superficie, siempre puedes pasar de una a otra usando solo un par de tijeras y una regla.

Al pasar al espacio tridimensional (3D), la idea intuitiva es que dos poliedros con el mismo volumen deberían poder cortarse en un número finito de piezas tetraédricas y reensamblarse el uno en el otro.

Sin embargo, en el cálculo del volumen de pirámides o tetraedros, los matemáticos se topaban constantemente con un obstáculo: el método de exhaustión de Arquímedes (o el Principio de Cavalieri), que requiere un proceso de límite infinito.

Hilbert se preguntaba: ¿Es realmente necesario recurrir al análisis matemático y al infinito para calcular el volumen de cuerpos con caras planas, o existe una forma puramente geométrica y finita (a base de cortes) de demostrar que dos poliedros del mismo volumen son equivalentes? Hilbert se enunció así su problema:

Dados dos tetraedros de la misma base y la misma altura (y por tanto, de igual volumen), ¿es siempre posible descomponer el primero en un número finito de tetraedros más pequeños y reensamblarlos para formar el segundo?

A finales del siglo XIX podemos resumir el conocimiento sobre estos temas de la siguiente manera:

Aspecto	Geometría Plana (2D)	Geometría Espacial (3D)
Cálculo de Área/Volumen	Suma finita de triángulos	Requiere integración / límites infinitos
Equidescomponibilidad	Demostrada (Bolyai-Gerwien)	¿Desconocida hasta 1900?
Herramientas necesarias	Álgebra y geometría elemental	Análisis matemático avanzado

Hilbert estaba profundamente interesado en los fundamentos de la geometría. En 1899 había publicado sus Grundlagen der Geometrie (Fundamentos de la Geometría), donde axiomatizó la geometría euclidiana con una rigurosidad nunca antes vista.

En la tradición griega, la geometría plana se construía sin necesidad del concepto numérico de "área continuous" gracias a las transformaciones finitas. Pero para los sólidos en 3D (como la pirámide), ni Euclides ni Gauss habían logrado evitar el cálculo infinitesimal.

Hilbert sospechaba firmemente que la respuesta al problema era NO: creía que existían poliedros de igual volumen que jamás podrían convertirse el uno en el otro mediante un número finito de cortes planos. De confirmarse su intuición, se demostraría que el análisis matemático y el uso del infinito son estrictamente indispensables para medir el espacio tridimensional.

Lo que no imaginaba Hilbert era que la respuesta a su tercer problema ya estaba prácticamente terminada en la mente de uno de sus propios estudiantes al momento de su conferencia. Este problema fue el primero de la lista en ser resuelto, y su solución tardó apenas unos meses después de la conferencia de Hilbert en París.

En 1901, Max Dehn (Alemania 1878 – 1952), publicó la demostración que resolvía negativamente la conjetura de Hilbert, convirtiéndolo en el primer problema de la lista en ser tachado.

Para demostrar que dos cosas con el mismo volumen no son equidescomponibles, Dehn inventó una "firma matemática" o una "huella digital" para cada poliedro, un valor que nunca cambia cuando cortas el poliedro y lo vuelves a armar. En matemáticas, esto se conoce como un invariante.

Si cortas un poliedro $P$ en piezas $P_1, P_2, \dots, P_k$ y reorganizas esas piezas para formar $Q$, entonces:

$$\text{Invariante}(P) = \sum_{i=1}^k \text{Invariante}(P_i) = \text{Invariante}(Q)$$

Por lo tanto, si encuentras dos poliedros $P$ y $Q$ con el mismo volumen pero con diferente invariante, ¡es matemáticamente imposible transformar uno en el otro usando tijeras!

El invariante diseñado por Dehn combina dos datos de cada arista del poliedro:

1. La longitud de la arista ($l_i$).

2. El ángulo diedro ($\theta_i$) formado por las dos caras que se cruzan en esa arista.

El Invariante de Dehn (denotado como $D(P)$) se define como una suma sobre todas las aristas del sólido:

$$D(P) = \sum l_i \otimes \theta_i$$

Donde $\theta_i$ se mide en términos de múltiplos de $\pi$ (mód $\pi$) y $\otimes$ es el producto tensorial entre la arista y el ángulo.

No es objetivo de este artículo adentrarnos en la definición y propìedades del producto tensorial, solo basta con conocer que si el ángulo $\theta$ es múltiplo racional de $\pi$ el producto tensorial será cero.

Para un cubo perfecto de lado $1$:

• Todas sus aristas miden $1$.

• Todos sus ángulos diedros son de $90^\circ$ ($\frac{\pi}{2}$).

• Como el ángulo es un múltiplo racional de $\pi$, su Invariante de Dehn se anula completamente: $D(\text{Cubo}) = 0$.

Ahora tomemos un tetraedro regular de volumen 1 (con 4 caras triangulares equiláteras):

• Todas sus aristas miden $l = \sqrt[3]{6\sqrt{2}} \approx 2.0396$.

• Sus ángulos diedros son $\arccos(1/3)$, un ángulo cuyos múltiplos no son racionales respecto a $\pi$.

• Al calcular su invariante, el resultado nunca es cero: $D(\text{Tetraedro Regular}) \neq 0$.

Dado que un cubo y un tetraedro regular de igual volumen tienen distintos invariantes de Dehn ($0$ versus un valor distinto de cero), es imposible descomponer un tetraedro regular en piezas finitas y construir un cubo con ellas. De manera que la intuición de Hilbert era totalmente acertada.

La resolución del Tercer Problema de Hilbert no fue solo un triunfo intelectual rápido; dejó huellas profundas en la matemática del siglo XX por varias razones fundamentales:

• Separación de dimensiones: Demostró que la geometría en 3D es fundamentalmente más compleja que la geometría en 2D. Lo que en el plano se soluciona con aritmética finita, en el espacio requiere la topología y el análisis.

• Justificación del Cálculo: Confirmó de manera inapelable que el análisis infinitesimal y el concepto de límite (desarrollados por Newton y Leibniz) no son "trucos" para calcular volúmenes rápidamente, sino herramientas lógicas necesarias. No existe un atajo puramente algebraico o finito para medir el volumen de los poliedros.

• Nacimiento del Teorema de Sydler (1965): Décadas más tarde, el matemático Jean-Pierre Sydler (Suiza 1921 – 1988) demostró el inverso completo del trabajo de Dehn: dos poliedros en el espacio 3D son equidescomponibles si y solo si tienen exactamente el mismo volumen y el mismo invariante de Dehn.

• Conexiones con el Álgebra Abstracta: La construcción del invariante de Dehn requirió formalizar el producto tensorial sobre grupos ($A \otimes B$), una herramienta que más tarde se convertiría en un pilar del álgebra homológica y la topología algebraica.

El Tercer Problema de Hilbert nos enseña una lección hermosa sobre la naturaleza de la matemática: a veces, para responder a la pregunta más básica sobre un objeto físico tridimensional, debemos construir estructuras abstractas completamente nuevas. Lo que comenzó como un juego de cortes y pliegues terminó revelando la frontera exacta donde termina la geometría elemental y comienza el cálculo infinito.

De la obsesión de Hilbert a la genialidad de Gödel: La historia del Segundo Problema

 

"Gödel demostró que las matemáticas no están completas y jamás lo estarán." John von Neumann (Hungría 1903 – 1957).

Las matemáticas nos han permitido construir puentes, enviar naves al espacio y encriptar la red. Sin embargo, a finales del siglo XIX y principios del XX, los matemáticos se enfrentaron a una pregunta tan simple como aterradora: ¿estamos completamente seguros de que $1 = 0$ nunca podrá demostrarse utilizando las reglas de la aritmética?

Esta interrogante no es un mero pasatiempo filosófico. Se trata del centro del Segundo Problema de Hilbert, uno de los desafíos más profundos e influyentes en la historia de la ciencia, presentado por el matemático alemán David Hilbert (Alemania 1862 – 1943) en el Congreso Internacional de Matemáticos de París en el año 1900 (ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html).

Para entender por qué David Hilbert incluyó la consistencia de los axiomas de la aritmética en su famosa lista de 23 problemas no resueltos, debemos remontarnos al siglo XIX. Durante este periodo, las matemáticas vivieron una auténtica revolución de rigorización.

Durante más de dos mil años, los Elementos de Euclides fueron el modelo ideal de deducción: se partía de unos pocos axiomas (proposiciones evidentes que se asumen verdaderas sin demostración) y, mediante la lógica estricta, se deducían todos los teoremas de la geometría.

A finales del siglo XIX, los matemáticos buscaron aplicar este mismo nivel de rigor a la aritmética y al análisis matemático. Giuseppe Peano (Italia 1858 – 1932) formalizó los axiomas de los números naturales (los célebres Axiomas de Peano), mientras que Gottlob Frege (Alemania 1848 – 1925) y Georg Cantor (Alemania 1845 - 1918) sentaban las bases de la teoría de conjuntos, el lenguaje unificador sobre el que se construiría toda la matemática moderna.

Sin embargo, el entusiasmo duró poco. A medida que la teoría de conjuntos cobraba fuerza, surgieron contradicciones profundas dentro de sus cimientos. La más famosa de ellas fue la Paradoja de Russell, enunciada por Bertrand Russell (Reino Unido 1872 – 1970) en 1901: Considere el conjunto $R$ de todos los conjuntos que no se contienen a sí mismos como miembros. ¿Se contiene $R$ a sí mismo? Si se contiene, no debería pertenecer a $R$. Pero si no se contiene, por definición debe pertenecer a $R$.

La lógica matemática se encontraba atrapada en un bucle infinito de contradicción. En lógica formal existe un principio conocido como el principio de explosión (ex falso quodlibet): si un sistema axiomático contiene al menos una contradicción, es posible demostrar cualquier afirmación dentro de él, ya sea verdadera o falsa. Si la aritmética fuera inconsistente, todo el edificio matemático se vendría abajo.

Ante esta crisis, David Hilbert, en la década de los años veinte del siglo pasado, emergió con una visión audaz conocida como el Programa de Hilbert. Su objetivo era formalizar todas las matemáticas en un lenguaje lógico perfecto y mecánico, demostrando tres propiedades fundamentales del sistema:

1. Completitud: Toda afirmación matemática verdadera dentro del sistema se puede demostrar.

2. Decidibilidad: Existe un algoritmo o método mecánico para determinar si cualquier proposición es un teorema válido.

3. Consistencia (El Segundo Problema): Probar, utilizando métodos puramente finitos y rigurosos, que las reglas de la aritmética no pueden llevar jamás a una contradicción (como $0 = 1$).

Para Hilbert y su generación, la respuesta debía ser afirmativa. Como solía decir el propio Hilbert: "Debemos saber; sabremos".

La razón principal por la que Hilbert enunció su Programa fue la Crisis de los Fundamentos de las Matemáticas. La aparición de contradicciones en la teoría de conjuntos (como la Paradoja de Russell) demostró que la matemática clásica tenía grietas en sus cimientos.

Liderados por L.E.J. Brouwer (Holanda 1881 - 1966), los matemáticos "intuicionistas" proponían rechazar partes enteras de la matemática tradicional (como el infinito actual o el principio del tercero excluido en pruebas infinitas) para evitar contradicciones.

Por otra parte, Hilbert consideraba intolerable la idea de desechar siglos de avances matemáticos. Propuso su Programa para "blindar" formalmente la matemática mediante la Teoría de la Demostración (Metamatemática), probando rigurosamente que los sistemas axiomáticos eran consistentes usando únicamente razonamientos finitos.

El Programa de Hilbert no fue una idea aislada, sino la evolución y consolidación operacional de varios desafíos que él mismo había enunciado en el Congreso de París de 1900.

El Segundo Problema pedía una demostración directa de que los axiomas de la aritmética no contenían contradicciones. En los años 20, Hilbert expandió esta idea puntual en un programa integral: no solo había que probar la consistencia de la aritmética, sino crear un método (métodos finitistas) para probar la consistencia de toda la matemática formalizada.

El Primer Problema (la Hipótesis del Continuo), ver https://gilbeworld.blogspot.com/2026/09/la-hipotesis-del-continuo-el-primer.html, puso en evidencia que trabajar con infinitos requería una axiomática estricta (que derivaría en los axiomas ZFC de Zermelo-Fraenkel). El Programa de Hilbert buscaba probar que el uso de estos "objetos ideales" o infinitos en las demostraciones no causaría contradicciones en los "objetos reales" o finitos.

En su famoso discurso de 1900, Hilbert defendió el axioma filosófico de que "todo problema matemático bien planteado debe tener una solución". El Programa de Hilbert de los años 20 tradujo esa convicción en un objetivo técnico estructurado en los tres pilares arriba mencionados.

A medida que avanzaba la década de 1920, parecía que el sueño de Hilbert estaba a punto de cumplirse. Se lograron probar la consistencia y la completitud de sistemas lógicos más pequeños y restringidos (como la lógica proposicional o sistemas simplificados de la aritmética sin multiplicación). La demostración completa para la aritmética ordinaria parecía tan solo cuestión de tiempo.

Sin embargo, en 1931, el curso de la historia matemática cambió drásticamente para siempre. La "solución" al Segundo Problema de Hilbert vino en la forma más inesperada. El joven lógico austriaco de 25 años Kurt Gödel (República Checa 1906 - 1978) publicó un artículo que sacudió los cimientos del pensamiento humano: los Teoremas de Incompletitud.

• Primer Teorema de Incompletitud: Si un sistema axiomático recursivo y consistente es capaz de hacer aritmética básica, entonces no es completo. Es decir, siempre existirán afirmaciones verdaderas sobre los números naturales que el sistema no puede demostrar ni refutar.

• Segundo Teorema de Incompletitud (Respuesta directa a Hilbert): Ningún sistema axiomático consistente que contenga a la aritmética de Peano puede demostrar su propia consistencia utilizando únicamente sus propios axiomas y reglas lógicas.

Para lograr esto, Gödel inventó una técnica ingeniosa llamada numeración de Gödel. Asignó un número entero único a cada símbolo matemático, a cada fórmula y a cada secuencia de fórmulas (que representan demostraciones). De este modo, tradujo la metamatemática (el estudio de las proposiciones matemáticas) en pura aritmética.

Gracias a esto, Gödel logró construir una frase matemática en la aritmética de Peano que afirma simbólicamente:

$$\text{G: "Esta afirmación no es demostrable dentro de este sistema."}$$

Lo anterior significa que el objetivo original de Hilbert es imposible de alcanzar en los términos en que él lo planteó. No podemos utilizar la aritmética de Peano para probar, con sus propios métodos, que la aritmética es consistente. Para probar que la aritmética no tiene contradicciones, debemos apoyarnos en un sistema lógico más potente y complejo; pero ese sistema más potente requerirá a su vez de otro aún más fuerte para probar su propia consistencia, cayendo en una regresión infinita.

Posteriormente, el matemático Gerhard Gentzen (Alemania 1909 – 1945) logró demostrar la consistencia de los axiomas de Peano. Sin embargo, para hacerlo tuvo que utilizar un principio lógico adicional conocido como inducción transfinita (sobre el ordinal $\varepsilon_0$). Esto confirmó lo que Gödel había predicho: para probar la consistencia de la aritmética, es imprescindible salirse de las reglas estrictas de la propia aritmética básica.

El Segundo Problema de Hilbert no se resolvió con la demostración de un "Sí" definitivo, sino con la revelación de un límite fundamental de la lógica y la razón humana. La consistencia de los axiomas de la aritmética nos enseña una lección fascinante: la verdad matemática trasciende las fronteras de cualquier conjunto finito de reglas. Nuestro edificio matemático no es un castillo cerrado de hormigón, sino una estructura abierta en constante expansión.

Antes de Gödel, se creía que:

$$\text{Verdad} = \text{Demostrabilidad}$$

Gödel demostró que la Verdad es un concepto más amplio que la demostración. Que un sistema no pueda probar una frase dentro de sus propias reglas no significa que la frase no sea verdadera o que la matemática falle; solo indica que necesitamos enriquecer el sistema.

La incompletitud demostró que un sistema de reglas no puede capturarlo todo. En lugar de derribar la disciplina, sus teoremas la liberaron de un idealismo rígido e impulsaron áreas enteras de la ciencia moderna.

La incompletitud solo significa que hay verdades matemáticas que no se pueden demostrar usando un conjunto fijo de reglas iniciales. La matemática cotidiana (el cálculo, el álgebra, la geometría) sigue siendo completamente sólida, útil y confiable.

Si el Programa de Hilbert hubiera funcionado, la matemática habría quedado "cerrada": un conjunto gigante pero finito de axiomas que una máquina podría procesar para generar todas las respuestas posibles.

La incompletitud demostró que las matemáticas son un proceso creativo infinito:

• Nuevos axiomas: Cuando encontramos una afirmación indecidible, podemos elegir agregar un nuevo axioma para seguir construyendo.

• Sistemas más potentes: Para resolver problemas inaccesibles en un nivel, simplemente ascendemos a un marco lógico superior.

El esfuerzo por entender los límites de la incompletitud llevó directamente al nacimiento de las computadoras. Alan Turing (Reino Unido 1912 – 1954) tomó la idea central de los Teoremas de Gödel —la autorreferencia y el colapso de la lógica mediante sus propios límites— y la tradujo al lenguaje de la computación. Mientras Gödel usó números para codificar frases lógicas, Turing inventó la Máquina de Turing (el modelo teórico de una computadora) para codificar algoritmos como datos.

La incompletitud no fue una tragedia, sino el hallazgo de un límite natural. Al igual que la teoría de la relatividad demostró que la física de Newton no lo explicaba todo pero seguía siendo útil, los teoremas de Gödel demostraron que la matemática no es una prisión de reglas cerradas, sino un territorio inagotable.

La Hipótesis del Continuo: El primer problema de Hilbert y la búsqueda del infinito

 

Nadie nos expulsará del paraíso que Cantor ha creado para nosotros. David Hilbert (Alemania 1862 – 1943)

Durante la mayor parte de la historia humana, el infinito fue visto como un concepto filosófico, un límite inalcanzable o una simple abstracción. Desde la antigüedad el infinito o lo infinito fue considerado como un enigma peligroso, una paradoja o un mero límite inalcanzable.

Haciendo un breve repaso de las concepciones que dominaron el pensamiento occidental cientos de años antes de nuestra era podemos mencionar:

• Anaximandro de Mileto (610 – 546 a.C.), introdujo el concepto de Apeiron (lo ilimitado o indefinido) como el principio creador del universo, una entidad abstracta e infinita de la que todo surge.
• Zenón de Elea (490 430 a.C), formuló sus famosas paradojas (como la de Aquiles y la tortuga) para demostrar que la división infinita del espacio y el tiempo generaba contradicciones lógicas.
• Aristóteles (Grecia 384 – 322 a.C.), estableció la distinción fundamental entre infinito potencial (un proceso que nunca termina, aceptado en matemáticas) e infinito actual (una totalidad infinita completada, el cual rechazó categóricamente).
• Galileo Galilei (Italia 1564 – 1642), en el año 1638 expuso la Paradoja de Galileo: observó que hay tantos números enteros como cuadrados perfectos, a pesar de que los cuadrados son solo una pequeña parte de los enteros.
• Gottfried Leibniz (Alemania 1646 – 1716) desarrolló el cálculo infinitesimal utilizando cantidades "infinitamente pequeñas" (infinitésimos), aunque mantuvo una postura ambigua sobre la existencia del infinito como conjunto completado.
• Bernard Bolzano (República Checa 1781 – 1848), en su obra Las paradojas del infinito, publicada póstumamente en 1851, defendió la existencia del infinito actual y anticipó que un conjunto infinito podía ser equivalente a una de sus partes, sentando el precedente directo para Cantor.

La distinción de Aristóteles entre infinito potencial y actual dominó el pensamiento occidental durante más de dos milenios. La mayoría de los matemáticos —incluido Carl Friedrich Gauss a principios del siglo XIX— se negaban a tratar al infinito como un objeto matemático real, considerándolo únicamente como una forma de hablar sobre límites ($x \to \infty$). Fue la audacia de Cantor la que rompió esta tradición al tratar al infinito no como un proceso sin fin, sino como una cantidad fija y calculable. A finales del siglo XIX el matemático alemán Georg Cantor (1845 – 1918) revoluciona el pensamiento científico al demostrar algo que parecía contraintuitivo: no todos los infinitos son del mismo tamaño.

Cantor definió que dos conjuntos infinitos tienen el mismo tamaño (o la misma cardinalidad) si es posible poner sus elementos en una correspondencia biunívoca, es decir, emparejar cada elemento del primer conjunto con exactamente uno del segundo, sin que sobre ninguno. Sorprendentemente, demostró que los números pares, los enteros e incluso los números racionales (fracciones) tienen el mismo tamaño que los números naturales. A este tamaño de infinito lo llamó $\aleph_0$ (Aleph cero).

Por ejemplo, si multiplicamos cada número natural por 2 obtenemos una biyección entre los números naturales y los números pares, demostrando que ambos conjuntos tienen la misma cardinalidad.

Sin embargo, cuando Cantor intentó hacer lo mismo con los números reales, fracasó. Mediante un célebre razonamiento conocido como el argumento de la diagonal, demostró de forma irrefutable que es imposible listar todos los números reales. La recta numérica es "un infinito más grande" que el conjunto de los números naturales. Al tamaño del infinito de los números reales se le denominó el continuo ($c$ o $2^{\aleph_0}$).

La demostración de Georg Cantor de que el conjunto de los números reales $\mathbb{R}$ es incontable (no numerable) se realiza mediante un razonamiento por reducción al absurdo. Supongamos que los números reales del intervalo (0,1), por ejemplo, son numerables, entonces se puede construir una lista ordenada de todos los números dentro de este intervalo. A partir de esta lista se construye un nuevo número, cambiando convenientemente los valores de la diagonal de cada representación del número real (de ahí el nombre de “argumento de la diagonal”) llegando a la contradicción de que, por construcción debe ser parte del intervalo (0,1), pero por otro lado no puede ser igual a ningún número de la lista inicial donde se encuentran todos los números del intervalo (0,1).

Aquí surgió la gran pregunta que desvelaría a Cantor durante el resto de su vida: ¿Existe algún conjunto cuyo tamaño esté estrictamente entre el infinito de los números naturales y el infinito de los números reales?

La afirmación de que no existe ningún infinito intermedio entre $\mathbb{N}$ y $\mathbb{R}$ se conoce como la Hipótesis del Continuo (HC). Cantor estaba convencido de que la hipótesis era cierta, pero jamás pudo demostrarla.

En el verano de 1900 se celebró en París el Congreso Internacional de Matemáticos. El célebre matemático David Hilbert pronunció una conferencia histórica en la que presentó una lista de 23 problemas no resueltos. Hilbert creía firmemente que estos desafíos guiarían el desarrollo de la matemática durante el siglo XX.

De todos los problemas posibles, Hilbert colocó la Hipótesis del Continuo como el Problema Número 1. ¿Por qué le dio tanta prioridad?

• Cimientos de la matemática: La teoría de conjuntos desarrollada por Cantor se estaba convirtiendo en el lenguaje fundamental sobre el que se apoyaba toda la estructura matemática (el álgebra, el análisis, la geometría). Responder si existía o no un infinito intermedio era esencial para consolidar la base de la disciplina.

• Naturaleza de la recta real: El continuo representa la intuición de la continuidad espacial y temporal en física y cálculo. No comprender la cardinalidad de los subconjuntos de la recta real significaba dejar una brecha en la comprensión matemática del propio espacio.

• Optimismo matemático: Hilbert promovía la idea de que en matemáticas debemos saber y sabremos (Wir müssen wissen. Wir werden wissen). El Problema No. 1 era la prueba de fuego para evaluar si las matemáticas formales podían resolver sus propias preguntas sobre el infinito.

La resolución del Problema del Continuo no llegó a través de una demostración convencional de "sí" o "no", sino a través de un giro conceptual que cambió para siempre la lógica matemática. La respuesta definitiva requirió dos décadas clave y el trabajo de dos mentes brillantes.

La historia de la solución se divide en dos actos:

1. Kurt Gödel (Austria 1906 - 1978): El lógico austriaco demostró en 1940 que la Hipótesis del Continuo no se puede refutar utilizando los axiomas de ZFC (el sistema estándar aceptado hoy en día para la teoría de conjuntos: los axiomas de Zermelo-Fraenkel con el axioma de Elección). Es decir, construir una matemática donde la Hipótesis del Continuo sea cierta no genera ninguna contradicción interna.

2. Paul Cohen (EE.UU. 1934 - 2007): En 1964 el matemático estadounidense inventó una revolucionaria técnica llamada forcing (forzamiento) para demostrar lo inverso: la Hipótesis del Continuo tampoco se puede demostrar a partir de los axiomas de ZFC . Demostró que es posible construir un modelo matemático completamente válido donde sí existan infinitos intermedios.

El veredicto final: La Hipótesis del Continuo es indecidible e independiente de los axiomas estándar de la teoría de conjuntos.

Podemos decir que la Hipótesis del Continuo es a la teoría de conjuntos lo que el Quinto Postulado de Euclides fue a la geometría. Puedes aceptar que la Hipótesis del Continuo es cierta y construir una matemática válida, o puedes asumir que es falsa y construir otra matemática igualmente válida e indivisible.

El resultado de Gödel y Cohen no destruyó las matemáticas; por el contrario, inauguró una nueva era de madurez formal. Sus implicaciones más relevantes para el panorama actual son:

• Geometrías y Matemáticas Alternativas: Al igual que la independencia del postulado de Euclides permitió el nacimiento de las geometrías no euclidianas (esenciales para la teoría de la relatividad de Einstein), la independencia de la hipótesis del continuo reveló la existencia de un abanico de «universos matemáticos» posibles (el multiverso de la teoría de conjuntos).

• Nuevos Axiomas: Muchos matemáticos modernos no se conforman con la indecidibilidad. Lógicos contemporáneos buscan nuevos axiomas intuitivamente razonables que puedan añadirse a ZFC para resolver la Hipótesis del Continuo de forma definitiva.

• Límites del Conocimiento Formal: El problema del continuo es la demostración práctica de los Teoremas de Incompletitud de Gödel: existen verdades o proposiciones en las matemáticas que los sistemas axiomáticos finitos no pueden confirmar ni desmentir.

El primer problema de Hilbert nos enseñó que el infinito no es solo una abstracción fascinante, sino una estructura rica, compleja y abierta a múltiples realidades lógicas.

De los nudos imposibles y las arrugas del Universo a la Medalla Fields

 

"Los matemáticos no estudian los objetos, sino las relaciones entre los objetos." Mikhael Gromov (Rusia n.23-12-1943)

Cierra los ojos un momento y piensa en los cordones de tus zapatillas. Cuando haces un nudo doble para que no se desaten durante el día, estás realizando una operación intuitiva sobre un objeto tridimensional. Si quisieras desatarlo sin romper el cordón ni soltar los extremos, tendrías que deshacer cada paso en sentido inverso.

En matemáticas, sin embargo, el concepto de nudo tiene una pequeña trampa: los extremos del cordón siempre están pegados. Imagina un bucle cerrado de cuerda flotando en el espacio. Si dicho bucle no tiene ningún enredo, lo llamamos el un-knot o un-nudo (un aro simple). Pero si antes de pegar los extremos lo retorciste y lo pasaste por dentro de sí mismo, habrás creado un nudo topológico.

Aquí nace una rama fascinante de las matemáticas: la Topología, ver https://gilbeworld.blogspot.com/2026/05/el-puente-entre-la-forma-y-la.html. A la topología no le importan las distancias ni los ángulos; no le importa si tu cuerda es de goma flexible, de cuero o de acero inoxidable. Lo único que le importa son las propiedades que se mantienen inalteradas cuando estiras, doblas o retuerces un objeto sin llegar a cortarlo ni pegarlo.

En la geometría euclideana cambiar el tamaño o la forma altera las propiedades del objeto. En topología, en cambio, una taza de café de cerámica y un dónut son exactamente la misma cosa: objetos tridimensionales con un solo agujero. Para la topología, un objeto no se define por cómo mide, sino por cómo está conectado.

Pero los nudos plantean un problema endiablado: si te entrego una maraña gigantesca de cuerda cerrada, ¿cómo puedes saber con certeza matemática si es un nudo real o si, tras manipularlo pacientemente durante tres horas, se simplificará hasta convertirse en un simple aro? Este dilema —determinar si dos nudos son equivalentes sin romper la cuerda— fue la chispa inicial que conectó el juego de cuerdas infantil con el galardón más codiciado del mundo matemático: la Medalla Fields.

Para resolver el problema de si dos nudos son iguales, las matemáticas utilizan los invariantes topológicos. Un invariante es una propiedad matemática (un número, una ecuación, un polinomio) que asignamos a un nudo. Si dos nudos tienen invariantes distintos, podemos garantizar sin margen de error que es imposible transformar uno en el otro sin cortar la cuerda.

En la década de 1980, el matemático Vaughan Jones (Nueva Zelanda 1952 -2020) descubrió un invariante revolucionario que hoy conocemos como el Polinomio de Jones. Asignaba a cada nudo un polinomio algebraico con exponentes enteros. Si calculabas el polinomio de un "enredo" y te daba algo como:

$$V(t) = t^{-1} + t^{-3} - t^{-4}$$

Saber que el polinomio del "un-nudo" es simplemente $V(t) = 1$ te daba la prueba irrefutable de que tu enredo no era trivial. Por este hallazgo, Jones fue galardonado con la Medalla Fields en 1990.

Sin embargo, surgió un misterio profundo: ¿por qué el Polinomio de Jones funcionaba tan bien? La respuesta no vino de un matemático puro, sino de la física teórica. Edward Witten (EE.UU 1951, el único físico en la historia en ganar una Medalla Fields, también en 1990) demostró que el Polinomio de Jones surgía de manera natural a partir de la Teoría Cuántica de Campos.

Witten descubrió que si calculas cómo se mueven las partículas cuánticas en un espacio-tiempo curvado y sumas todas las trayectorias posibles usando una herramienta avanzada llamada Integral de Camino de Feynman, el resultado obtenido para partículas que viajan a lo largo de un nudo es, precisamente, el Polinomio de Jones.

Si los nudos en tres dimensiones ya resultan contraintuitivos, ¿qué ocurre cuando intentamos entender la forma del Universo entero?

En la Teoría de la Relatividad General de Einstein, aprendemos que la gravedad no es una fuerza invisible que "tira" de las masas, sino la curvatura del propio tejido del espacio-tiempo. El Sol deforma el espacio a su alrededor igual que una bola de bolos deforma una cama elástica, y la Tierra simplemente sigue la trayectoria más recta posible dentro de esa deformación.

Pero los físicos teóricos modernos, al intentar unificar la gravedad con la mecánica cuántica (mediante la Teoría de Cuerdas), descubrieron que nuestro universo podría tener más de las tres dimensiones espaciales que percibimos. Sugieren que existen dimensiones adicionales —hasta seis o siete más— que están "enrolladas" o comprimidas en formas geométricas extremadamente complejas llamadas variedades de Calabi-Yau.

Estas variedades multidimensionales son las verdaderas "arrugas" del Universo. Para estudiar estas superficies curvadas e invisibles, los matemáticos utilizan una rama llamada Geometría Simpléctica.

La geometría simpléctica no mide distancias ni ángulos rígidos. Proviene del estudio del "espacio de fases" en física clásica: un espacio abstracto donde cada punto representa simultáneamente la posición ($x$) y el momento lineal ($p$) de una partícula. En lugar de preservar longitudes, la geometría simpléctica preserva áreas orientadas.

Una de las técnicas más potentes para entender estas arrugas multidimensionales consiste en "contar" cuántas superficies o curvas de cierto tipo pueden dibujarse dentro de ellas. Es el equivalente a arrojar una red de pescar dentro de una habitación a oscuras para adivinar la forma de los muebles según cómo se enreda la red.

Durante más de dos décadas, la comunidad matemática enfrentó una contradicción incómoda. Para "contar" esas curvas dentro de las variedades simplécticas (las arrugas del universo), existían dos métodos teóricos completamente distintos:

1. Un método dinámico, derivado directamente de la física de la teoría de cuerdas (propuesto por Gromov y Witten).

2. Un método estático, derivado de las ecuaciones de la teoría de campos (propuesto por Donaldson y Thomas).

Ambos métodos predecían resultados numéricos para la forma de las dimensiones ocultas, pero utilizaban lenguajes matemáticos radicalmente incompatibles. La célebre conjetura MNOP (formulada por Maulik, Nekrasov, Okounkov y Pandharipande) afirmaba que ambos métodos debían dar exactamente la misma respuesta. Era como tener dos diccionarios en idiomas desconocidos y sospechar que ambos traducían el mismo poema.

Aquí es donde entra John Pardon (EE:UU 1989), uno de los matemáticos más brillantes de nuestra era.Pardon ya había causado sensación en la comunidad científica cuando, siendo apenas un estudiante universitario de grado, resolvió un problema famoso formulado por Mikhael Gromov sobre la "distorsión" de los nudos de toro (cuánta tensión geométrica debe sufrir un nudo para atarse sobre la superficie de un dónut).

Años más tarde, abordó el problema de las arrugas del Universo. Mediante un trabajo colosal de abstracción en geometría simpléctica, Pardon construyó un nuevo marco riguroso —redefiniendo herramientas conocidas como ciclos fundamentales virtuales— que finalmente demostró la equivalencia de ambos métodos de conteo de curvas. Su trabajo no solo unificó dos visiones del cosmos, sino que le valió la Medalla Fields 2026.

En el Congreso Internacional de Matemáticas de 1900 Hilbert dio a conocer sus famosos problemas, ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html. Específicamente el quinto problema planteaba una pregunta engañosamente simple sobre la naturaleza del espacio y las transformaciones de la física: ¿es posible separar la estructura topológica de la estructura analítica (diferenciable)? del espacio y las transformaciones de la física: ¿es posible separar la estructura topológica de la estructura analítica (diferenciable)?. Específicamente, Hilbert preguntó si un grupo de transformaciones continuo (un grupo topológico localmente euclidiano) debía ser, por fuerza, un grupo de Lie suave (diferenciable, donde se puede calcular cálculo infinitesimal).

En 1952, Andrew Gleason (EE.UU 1921 - 2008), Deane Montgomery (EE.UU 1909 - 1992) y Leo Zippin (EE.UU 1905 – 1995) resolvieron afirmativamente el Quinto Problema de Hilbert para dimensiones finitas: si un grupo de transformaciones es topológicamente suave, siempre se puede dotar de una estructura diferenciable única.

La disquisición más fascinante surge cuando salimos de las condiciones de Hilbert y miramos qué ocurre en las dimensiones del Universo real: La topología y la geometría diferenciable van de la mano. Los nudos son objetos topológicos, pero para calcular invariantes como el Polinomio de Jones a través de la física cuántica (Witten), necesitamos ecuaciones diferenciales integrables en el espacio.

Aquí ocurre algo extraordinario que dejó atónita a la matemática del siglo XX. Michael Freedman (EE.UU 1951, Medalla Fields 1986) y Simon Donaldson (Reino Unido 1957) mostraron que existen las $\mathbb{R}^4$ exóticas: espacios de 4 dimensiones que topológicamente son idénticos al espacio euclidiano ordinario, ¡pero que admiten infinitas estructuras diferenciables incompatibles entre sí! Esa discrepancia significa que en las 4 dimensiones de nuestro universo, la "continuidad" no determina las reglas del cálculo. La topología sola no basta para fijar la física.

La conexión entre el Quinto Problema de Hilbert y los trabajos de John Pardon es un hito histórico directo. Pardon resolvió uno de los grandes eslabones perdidos que heredamos de la formulación moderna de Hilbert: la conjetura de Hilbert – Smith.

La Conjetura de Hilbert-Smith emergió en la década de 1930 y lleva el nombre del matemático estadounidense Paul Althaus Smith ( EE.UU 1900–1980), profesor e investigador de la Universidad de Columbia. Mientras que David Hilbert planteó la pregunta general sobre los grupos de transformaciones, fue Paul A. Smith quien desarrolló las herramientas matemáticas necesarias para formular el problema en su versión moderna: Si un grupo topológico compacto $G$ actúa de forma continua y fiel sobre una variedad topológica $M$, entonces $G$ debe ser un grupo de Lie.

La Conjetura de Hilbert-Smith es la ramificación abierta más importante del Quinto Problema de Hilbert. Plantea una pregunta fundamental sobre la naturaleza de las simetrías en la geometría: ¿puede un objeto puramente fractal o discontinuo actuar como una simetría continua en un espacio suave?

Aunque la conjetura sigue abierta para dimensiones $n \ge 4$, se han logrado avances extraordinarios en dimensiones bajas. Dimensiones 1 y 2:fue demostrada a mediados del siglo XX mediante análisis complejo y topología de superficies. Dimensión 3 (El espacio físico): fue demostrada afirmativamente en 2013 por el matemático estadounidense John Pardon (mientras era estudiante de grado en la Universidad de Princeton). 

Pardon utilizó herramientas avanzadas de la topología de 3-variedades y la teoría de superficies minimales para demostrar que si $\mathbb{Z}_p$ actuara en un espacio tridimensional, crearía arrugas y auto-intersecciones imposibles en la superficie del espacio, obligando al sistema a colapsar.

Lo fascinante de este recorrido es la profunda interconexión de las matemáticas. Lo que comenzó como una curiosidad sobre cómo se enredan los hilos en nuestro espacio cotidiano tridimensional evoluciona hasta convertirse en el lenguaje abstracto necesario para describir la estructura física fundamental del espacio-tiempo.