Matemáticos Descubren Excepción en Forma de Dona a Regla de 150 Años, Porque Claro Que lo Hicieron

Durante más de un siglo y medio, los matemáticos han operado bajo el reconfortante, aunque ligeramente rígido, supuesto de que si conoces dos cosas clave sobre una superficie compacta -su métrica (cómo funcionan las distancias en ella) y su curvatura media (cómo se curva en el espacio)- puedes deducir su forma exacta. Este principio, originado con el matemático francés Pierre Ossian Bonnet, ha sido ahora amasado suave pero firmemente en una nueva forma por investigadores de la Universidad Técnica de Múnich (TUM), la Universidad Técnica de Berlín y la Universidad Estatal de Carolina del Norte.

Han construido el primer contraejemplo explícito a esta regla de larga data. El equipo construyó dos superficies compactas y autónomas con forma de rosquillas, conocidas como toros. Estos dos toros comparten valores idénticos tanto para la métrica como para la curvatura media en cada punto, sin embargo, sus estructuras generales no son las mismas. Este tipo de ejemplo, un par de superficies que son localmente idénticas pero globalmente diferentes, se había buscado durante décadas.

Los matemáticos ya eran conscientes de que la regla de Bonnet tenía sus límites, con excepciones conocidas que involucran superficies no compactas que se extienden infinitamente o tienen bordes. Se pensaba que las superficies compactas como las esferas estaban a salvo de tal ambigüedad. Para superficies con forma de toro, la teoría había sugerido que un solo conjunto de valores de métrica y curvatura media podría corresponder a hasta dos formas diferentes, pero nadie había horneado nunca un ejemplo concreto.

"Después de muchos años de investigación, hemos logrado por primera vez encontrar un caso concreto que muestra que incluso para superficies cerradas, similares a rosquillas, los datos de medición local no determinan necesariamente una única forma global", dijo Tim Hoffmann, Profesor de Topología Aplicada y Computacional en la Escuela de Computación, Información y Tecnología de la TUM. El hallazgo resuelve un problema de décadas, demostrando que incluso con información local completa, la forma total de una superficie no siempre puede determinarse de manera única."