💡 Resumen (TL;DR):
- Tres investigadores refutaron el teorema de Pierre Ossian Bonnet al probar que datos locales no dictan una forma global única.
- Lograron construir dos superficies compactas en forma de dona que comparten métrica y curvatura pero son estructuralmente distintas.
- El hallazgo, publicado en Publications Mathématiques de l’IHÉS, resuelve problemas matemáticos pendientes desde 1929.
Un equipo de tres investigadores demostró que el principio matemático establecido por el francés Pierre Ossian Bonnet en 1867 es incorrecto. Los académicos construyeron dos superficies estructuralmente distintas en forma de dona que comparten exactamente la misma métrica y curvatura media, un hallazgo que redefine las bases de la geometría diferencial moderna.
Durante más de 150 años, la regla de Bonnet sostuvo que la forma de una superficie compacta se determinaba de manera única por su métrica (la distancia entre puntos) y su curvatura media (qué tanto se dobla en el espacio).
Los matemáticos Alexander Bobenko (Universidad Técnica de Berlín), Tim Hoffmann (Universidad Técnica de Múnich) y Andrew O. Sageman-Furnas (Universidad Estatal de Carolina del Norte) publicaron la refutación del teorema esta semana en la revista Publications Mathématiques de l’IHÉS.
Un par compacto de Bonnet es un concepto geométrico que consiste en dos toros inmersos en el espacio tridimensional que son isométricos y comparten la función de curvatura media, pero que no resultan congruentes entre sí.
La ciencia ya conocía excepciones a la regla de Bonnet, pero solo ocurrían en superficies no compactas, es decir, formas que se estiran hasta el infinito o tienen bordes abruptos. Para las superficies compactas como las esferas, los matemáticos daban por hecho que la regla de exclusividad se mantenía intacta.
“Después de muchos años de investigación, hemos logrado por primera vez encontrar un caso concreto que demuestra que, incluso para superficies cerradas parecidas a donas, los datos de medición local no determinan necesariamente una forma global única”, detalló Tim Hoffmann. “Esto nos permite resolver un problema de décadas en la geometría diferencial para superficies”.
Computadoras y aproximaciones de baja resolución
El proyecto arrancó formalmente en 2018, cuando Sageman-Furnas ejecutó una búsqueda por computadora para explorar superficies discretas. Estos modelos funcionan como aproximaciones pixeladas y de baja resolución que permiten un análisis computacional rápido.
Al encontrar un toro discreto que servía para su teoría, el equipo lo utilizó como mapa para construir una contraparte suave y matemática real. La clave del éxito requirió restringir las líneas de curvatura para que descansaran en planos o sobre esferas, basándose en el trabajo clásico del siglo XIX del matemático Gaston Darboux.
Este modelo resuelve de paso un problema abierto planteado por Cohn-Vossen en 1929 y destacado por Marcel Berger en 2010, el cual cuestionaba si la analiticidad real de la métrica por sí sola basta para determinar una inmersión compacta única.
El trabajo geométrico tiene espacio para evolucionar. Los dos toros matemáticos que el equipo descubrió se atraviesan a sí mismos, por lo que Bobenko busca ahora probar la existencia de figuras de Bonnet que no sufran de auto-intersección.
“La gente lo creyó durante mucho tiempo porque no podían construir ningún ejemplo”, apuntó Robert Bryant, investigador de la Universidad de Duke, sobre los motivos que llevaron a la comunidad académica a aceptar el dogma de Bonnet durante más de un siglo.
