Dos rosquillas idénticas… pero no del todo
Imagine dos objetos que puede examinar por todos sus lados, medir desde todos los ángulos, explorar hasta en el último rincón, y que parecen absoluta y rigurosamente idénticos. Sin embargo, son fundamentalmente distintos. No por un error de medición, ni porque se le haya escapado algo: simplemente porque la diferencia entre ambos resulta invisible a cualquier observación local. Este escenario, que parece un juego de manos filosófico, acaba de demostrarse matemáticamente. Y han hecho falta 150 años para lograrlo.
Unos matemáticos han demostrado la existencia de dos superficies con forma de toro —el nombre técnico de la rosquilla, esa forma anular que tanto adoran los geómetras— que son localmente indistinguibles, pero globalmente diferentes. Una distinción que suena abstracta, pero que cuestiona una regla aceptada desde la época en que los matemáticos aún llevaban levita.
El toro, estrella de la topología
Antes de seguir, conviene hacer un pequeño alto en el camino. En matemáticas, un toro es una superficie parecida a la de una rosquilla: es cerrada, sin borde y tiene un agujero en el centro. Es una de las formas más estudiadas en topología, la rama de las matemáticas que se interesa por la forma global de los objetos, no por sus medidas precisas, sino por su estructura global. En topología, una taza de café y una rosquilla son «la misma cosa» (ambas tienen un único agujero), pero una rosquilla y una esfera son radicalmente distintas.
La geometría, en cambio, se interesa por las medidas: distancias, ángulos, curvaturas. Y ahí es donde las cosas se ponen interesantes. Cuando hablamos de medidas locales, nos referimos a lo que podría observar a su alrededor un diminuto habitante que viviera en la superficie, sin llegar nunca a ver la forma global. Un poco como nosotros en la Tierra: a escala humana, el suelo parece plano, aunque la Tierra sea una esfera.
La regla de los 150 años: lo local determina lo global
Desde la segunda mitad del siglo XIX, un principio reinaba en la geometría de las superficies: si dos superficies tienen las mismas propiedades locales en todas partes —es decir, si son localmente idénticas en cada punto—, entonces son globalmente idénticas o, al menos, muy parecidas. Este principio, arraigado en los trabajos fundacionales de Bernhard Riemann y sus sucesores, proporcionaba a los matemáticos una poderosa herramienta: para comprender la forma de un espacio, bastaba, en teoría, con hacer su inventario local.
En concreto, eso significaba que, si dos superficies «parecen» lo mismo vistas desde dentro —si un diminuto habitante nunca pudiera distinguir una de otra mediante mediciones de distancias o curvaturas—, debían ser, en el fondo, la misma superficie (salvo algunas transformaciones). Resultaba tranquilizador. Resultaba elegante. Y, como acabamos de descubrir, era falso.
Dos rosquillas que se parecen… sin serlo
La nueva demostración establece la existencia de dos toros que comparten exactamente la misma geometría local en cada punto —misma curvatura, mismas distancias, misma estructura métrica a cualquier escala finita—, pero que son topológicamente distintos. Dicho de otro modo, ninguna deformación continua (sin desgarrar ni pegar) permite pasar de uno a otro. Son distintos en su esencia global, aunque ninguna medición local pueda revelarlo.
«Localmente idéntico» no quiere decir «globalmente idéntico». Esa es la lección que la geometría acaba de aprender por las malas.
Para captar lo extraño del asunto, piense en dos laberintos. Cada pasillo, cada cruce, cada muro es idéntico en ambos laberintos: misma anchura, misma altura, mismos ángulos. Un explorador ciego, que solo pudiera sentir sus pasos y tocar las paredes, jamás podría distinguirlos. Sin embargo, la estructura global de los dos laberintos es diferente: uno tiene una salida a la derecha y el otro a la izquierda, o uno se cierra en un bucle de una manera que el otro no. Eso es exactamente lo que han construido los matemáticos, pero para variedades curvas de dimensiones superiores.
Décadas de sospechas
Este resultado no ha caído del cielo. Desde hace décadas, varios matemáticos sospechaban que debían existir objetos así. Ejemplos parciales, casos límite y construcciones aproximadas habían alimentado la intuición colectiva. Pero faltaba la demostración rigurosa y, en matemáticas, la intuición no basta. Hace falta una demostración completa y sin fisuras.
La dificultad radicaba en la propia naturaleza del problema: construir dos objetos geométricos idénticos localmente exige un control extremadamente preciso de las ecuaciones que rigen la curvatura de las superficies. Hay que asegurarse de que la semejanza local sea perfecta en cada punto, no solo en unos cuantos lugares bien escogidos. Es un ejercicio de precisión formidable, que moviliza herramientas de la geometría diferencial, el análisis y la topología algebraica.
Lo que cambia y las posibilidades que abre
Las consecuencias de este descubrimiento van mucho más allá del caso particular de los toros. Plantea una pregunta fundamental para toda la geometría: ¿en qué situaciones bastan las medidas locales para caracterizar un espacio global? ¿Y en cuáles resultan engañosas?
Para los matemáticos que trabajan en la clasificación de variedades —el gran proyecto de enumerar y distinguir todas las formas posibles del universo matemático—, este resultado obliga a revisar ciertas estrategias. Deben reconsiderarse los métodos que se apoyaban implícitamente en la idea de que «igual localmente = igual globalmente».
También hay implicaciones más amplias, en ámbitos como la física teórica, donde la geometría del espacio-tiempo ocupa un lugar central en los modelos. Si el universo es una variedad de gran dimensión, el hecho de que sus propiedades locales no determinen su estructura global no es una cuestión puramente académica. Afecta a la cuestión de si podríamos, en principio, deducir la forma del universo a partir de observaciones locales, algo que hacemos, en cierto sentido, con las mediciones cosmológicas.
Ideas clave
Para los amantes de las matemáticas
En geometría riemanniana, una variedad riemanniana es un espacio (una superficie, un volumen o una generalización en cualquier dimensión) provisto de una métrica, es decir, de una manera de medir las distancias y los ángulos en cada punto. Dos variedades riemannianas se llaman localmente isométricas si, para cada punto de una de ellas, existe un entorno que puede identificarse mediante una isometría con un entorno de la otra. En otras palabras, un diminuto habitante no podría distinguir ambos espacios mediante ninguna medición realizada en un entorno arbitrariamente pequeño.
La pregunta clásica era: ¿dos variedades compactas localmente isométricas son necesariamente globalmente isométricas (o, al menos, isométricas tras pasar a un recubrimiento)? El nuevo resultado responde negativamente construyendo dos toros —variedades compactas de dimensión 2 y sin borde— que son localmente isométricos entre sí en cada punto, pero que no son homeomorfos (y, por tanto, a fortiori, tampoco isométricos) como espacios topológicos globales. La construcción recurre a técnicas de recubrimientos riemannianos y de análisis espectral, y explota el hecho de que el espectro del laplaciano no siempre determina la variedad, un eco del célebre problema «Can you hear the shape of a drum?» planteado por Mark Kac en 1966.
