Elise Cutts · 2026-01-21

两种扭曲形状解开百年拓扑谜题

摘要

数学家首次发现了一对紧凑的环面曲面，它们共享相同的度量和平均曲率等局部几何信息，却拥有完全不同的全局结构。这一发现打破了人们长期以来的信念，即闭合曲面可以由局部信息唯一确定。研究团队结合离散几何和计算机搜索方法，经过多年努力终于找到了这一百年难题的反例。

内容框架与概述

文章从一个通俗的类比开始：即使看不到星空，人们也可以通过地面测量确定地球是球体。这引出了数学中的核心问题：局部几何信息是否足以唯一确定曲面的整体形状。1867年，法国数学家Bonnet证明度量和平均曲率通常可以唯一确定曲面，但总有例外情况。

过去150年里，数学家们找到了各种违背Bonnet定理的曲面例子，但它们都是非紧致的曲面，要么无限延伸，要么有边缘。对于紧致曲面如球体和环面，人们一直相信局部信息足以唯一确定它们。1981年有数学家证明球体确实如此，环面最多只能有两个不同的解，但没人能找到这样的反例，以至于人们开始怀疑它们根本不存在。

Bobenko团队从离散几何领域获得灵感。离散曲面类似像素化的低分辨率版本，可以用计算机研究。Sageman-Furnas在博士期间就研究了离散情形下的Bonnet问题，找到了构造例外情况的方法。2018年，他通过计算机搜索找到了一个特殊的环面作为起始曲面，研究团队在此基础上发展出完整理论，最终在连续光滑情形下构造出了第一个紧凑Bonnet对。