Hay una regla de geometría que los matemáticos daban por buena desde el siglo XIX. Decía, en términos simples, que si dos superficies tienen exactamente las mismas medidas en todos sus puntos, entonces son idénticas en su estructura global. La intuición es razonable: si algo mide igual en cada punto, ¿cómo podría ser diferente en su forma total?
Un equipo de tres matemáticos acaba de demostrar que la intuición era incorrecta. Construyeron dos toros —superficies con forma de donut— que tienen las mismas medidas locales en cada punto, la misma curvatura, las mismas métricas. Y que, sin embargo, son globalmente distintos. No son la misma superficie.
El principio que cayó lleva el nombre del matemático francés Pierre Ossian Bonnet, que lo formuló en el siglo XIX.
Qué es un toro y por qué importa
Un toro es la superficie geométrica que tiene forma de donut: una esfera deformada que se dobla sobre sí misma hasta que sus extremos se encuentran. Es una de las superficies fundamentales de la topología y la geometría diferencial, el campo matemático que estudia las propiedades de las superficies en el espacio.
En geometría diferencial, cuando se quiere comparar dos superficies se usan dos herramientas principales: la métrica —que describe cómo se miden distancias en la superficie— y la curvatura media —que describe cómo de curva está la superficie en cada punto. El teorema de Bonnet establecía que si dos superficies cerradas comparten métrica y curvatura media en cada punto, entonces son congruentes: se pueden superponer perfectamente.
Durante 150 años, nadie encontró un contraejemplo. No porque no lo buscaran, sino porque la demostración parecía robusta para los casos más comunes. El problema era que la prueba original tenía una condición implícita que los matemáticos asumían sin enunciarlo explícitamente.
La demostración
El equipo está formado por Alexander Bobenko y Tim Hoffmann, de la Universidad Técnica de Múnich, y Andrew Sageman-Furnas, de la Universidad Estatal de Carolina del Norte. Tras años de trabajo, construyeron explícitamente —no solo demostraron que existe, sino que lo construyeron con una formulación matemática concreta— dos toros que satisfacen todas las condiciones del teorema de Bonnet pero que no son congruentes entre sí.
Los dos donuts tienen exactamente la misma métrica y la misma curvatura media en cada uno de sus puntos. Si los analizás localmente, en cualquier región pequeña que elijas, son indistinguibles. Pero sus estructuras globales son diferentes: no se pueden superponer sin distorsionar la superficie.
La diferencia existe en algo que la métrica local y la curvatura no capturan: cómo se conecta la superficie consigo misma a escala global. Dos regiones que localmente son idénticas pueden conectarse de formas globalmente distintas.
Por qué le importa a alguien que no es matemático
El teorema de Bonnet no tiene aplicaciones directas en ingeniería o física aplicada. Pero la geometría diferencial sí. Las superficies que describe este campo aparecen en la relatividad general —donde el espacio-tiempo es una variedad geométrica—, en el diseño de materiales, en modelos de fluidos y en múltiples ramas de la física teórica.
Más fundamentalmente, el resultado cambia lo que los matemáticos saben sobre la relación entre propiedades locales y globales de una superficie. Esa pregunta —cuándo lo local determina lo global— es central en geometría y topología. La respuesta que acaba de revisarse es: menos de lo que pensábamos.
Hay también algo más inmediato en este resultado: demuestra que las matemáticas del siglo XIX, que se consideran territorio conocido y resuelto, todavía guardan sorpresas. El teorema de Bonnet no era oscuro ni marginal. Era una piedra estable en un edificio que muchos consideraban terminado. Esa piedra acaba de moverse.
El paper fue publicado en una revista de geometría diferencial revisada por pares. No es especulación ni resultado provisional: es una demostración formal con construcción explícita del contraejemplo. La geometría de los donuts ya no es lo que era.
Fuente original: Quo
