这对甜甜圈,就是那把钥匙

来自北卡罗来纳州立大学、柏林工业大学还有慕尼黑工业大学的这三位研究人员,他们拿出了一对“双胞胎甜甜圈”,用这种方式终结了一条统治几何学整整150年的定律。原本看着差不多的两个曲面,摆到三维空间里一看,全局的形状完全不一样,这不是什么悖论,是数学史上的一个大答案。 要想搞懂这次突破,就得先把1867年法国数学家皮埃尔·奥西安·博内提出来的那个理论捋清楚。在描述曲面的时候,“度量”和“平均曲率”这两个基本量特别重要。“度量”决定了曲面上怎么测距离和角度,说白了就是曲面内部的样子;“平均曲率”则是看这个曲面在三维空间里弯成什么样。博内当年就说了,如果这两个量在每一点上都知道了,那整个曲面的整体形状就被定死了,局部信息能完全推导出全局形态。 这话听起来挺有道理,一百多年来大家也都信了。可问题来了,无限大的非紧致曲面有例外大家都知道,但像球面或者甜甜圈这种封闭有限的紧致曲面呢?数学家早就推算过,像环面这种形状,最多可能会有两个不同的曲面共享同样的度量和平均曲率,这对曲面就叫“博内对”。可谁也没找到过一个具体的例子来证明它们真的存在,这事儿在微分几何界空悬了几十年。 慕尼黑工业大学应用与计算拓扑学教授蒂姆·霍夫曼在新闻稿里说,经过多年琢磨,他们终于把这个具体的案例给找到了。他们用了一套巧妙的数学办法,借助“博内对”和“等温曲面”之间的关系,通过对一类特殊的环面施加变换,硬是造出了这对双胞胎。这两个环面在每个点上的度量和平均曲率都一模一样,但放到全局一看结构完全不同,是真正的两个曲面。 研究团队还进一步证明了这两个曲面是实解析的,数学上的光滑性达到了最严格的程度。这一点特别重要,因为之前还有一个大问题悬而未决:如果一个紧致曲面的度量具备实解析性,能不能唯一确定它的形状?这次造出来的博内对环面同时否定了这个问题。 这个发现的意义可不光是推翻了旧定律那么简单。微分几何是物理学、计算机图形学和材料科学的基础理论,搞懂局部性质和整体形状的关系对应用有很大帮助。更直接的是提醒大家:数学直觉和大家公认的道理不一定等于铁证如山的证明。只有找到那个具体的反例,才能真正关上争议的大门。这对甜甜圈,就是那把钥匙。