一道悬了整整78年的世纪难题,三天就被破了!
问题是六维球面上到底有没有复结构,从1948年一路问到今天,现在答案是有。
给出这份答卷的,是哈佛数学家Levent Alpöge和Claude。
更狠的是破局的手法。
他们绕开了所有人走了几十年的老路,直接动手把这个东西造了出来,然后指着它宣告,这就是S6上的复结构。
而Alpöge在X上昭告天下时,敲下的第一句,更像是在宣布一个新生命的降生——
欢迎这个漂亮的新几何对象来到这个世界。
七十多年,就吊在这一个球面上
所有球面里,够资格谈复结构的只有两位,S2和S6,其他维度早被清理出局。
S2毫无悬念,它本身就是复几何地基里最基础的那块砖。
于是七十多年里,所有人的目光都死死盯在S6这一根独苗上。
有人跳出来说它存在,有人发誓它绝对不存在,但两边的人马全都栽了跟头。
比如,当代最伟大的数学家之一、菲尔兹奖得主Michael Francis Atiyah在2016年声称解决了它,但被指出论证存在漏洞。
华人数学大师 陈省身晚年也研究过这个问题。
Alpöge这次甩出来的,是一份厚达108页的论证文件。
构造里用到的每一个矩阵、每一块坐标、每一处粘合方式,他全都白纸黑字写了出来。
数学家Qiaochu Yuan特意用GPT-5.6 Sol去挑刺,结果盯着看了6分钟后发现,毫无破绽。
不死心又审了15分钟,依然挑不出任何毛病,反倒把这套论证逻辑吃得更透了。
Sol给出的结论是,如果这108页最终站稳脚跟,它可以说是迄今为止最重要的AI数学成果。
如果这项工作是纯人类完成的,那很可能斩获菲尔兹奖,哪怕不是因为它多困难或多有名,也至少因为它的影响力。
三个整数,宣判了这道题的生死
那么问题来了,这个新对象到底是怎么构造出来的?
第一步,先打好底座。
拿一个叫(3,4,∞)三角群的东西去折叠上半平面,折完剩下的那块形状,直观上就是一个球面。
只不过这个球面上钉着三个特殊点,一个3阶、一个4阶,还有一个尖点,位置分别在t = 0、t = 1和t = ∞。
Alpöge毫不掩饰自己的偏爱,直言三角群和挂在它上面的那串环面族,是他最得意的一笔。
第二步,往底座上挂载环面。
除了那三个特殊点,底座上的每一个点都被挂上一个复2-环面,一种在复数里是二维、在实数里是四维的结构。
挂在某一点头顶的这个东西,数学上就叫这一点的纤维,整个X就是这么一根一根排出来的。
做完这一步,那三个特殊点的头顶依然空空如也,等于整个球面被硬生生捅出了三个窟窿。
第三步,把三个窟窿填平。
所谓填洞,就是给这三个空着的点各配一根纤维安插进去,缝合成一个完整的紧致流形。
最巧的地方在于,三个窟窿用的并不是同一种办法,每一个洞口都恰好落进了一种经典填充法的适用范围。
t = ∞那个尖点用Mumford的环面退化,塞进去的那根纤维叫W,是把一个六次del Pezzo曲面的六边形边界,三对对边两两粘合起来得到的。
剩下t = 0和t = 1两个点用Kodaira的对数变换,重数分别是3和4,正好对上底座上那两个点的3阶和4阶。
三个窟窿填平的瞬间,一个名叫X的紧致复三维流形,就此横空出世。
东西造出来了,可它到底是不是S6?
此时的X已经是一个完全合法的复流形,但这个拷问还没答完。
论文第7节硬把X的基本群算了出来,结果是π1(X) ≅ Z / |12l0 − 4l1 − 3l2|。
基本群大致可以理解成,这个空间里有没有绕不开的洞。球面上随便画一个圈都能收缩成一个点,所以球面的基本群是平凡的。
公式里的(l0, l1, l2)这三个整数,记录的是缝补那三个窟窿时纤维被扭转的程度。
把(0, 1, −1)代进去,算出来是12×0 − 4×1 − 3×(−1) = −1,绝对值牢牢钉在了1。
而Z模1就是平凡群,基本群到这里彻底消失,X和球面对上了第一条。
由于X本身单连通,整同调和S6严丝合缝,搬出Hurewicz和Whitehead两大定理一压,它确凿无疑是一个同伦六维球,再套上Smale在1961年给出的广义庞加莱猜想,它同胚于S6。
最后,只剩光滑结构这一关。
因为在拓扑界,同胚并不等于微分同胚。两个东西看上去可以一模一样,但在上面做微积分的方式却对不上,这种冒牌货有个专门的名字,叫怪球。
幸运的是,早在1963年,Kervaire和Milnor就把这笔账算清了,六维世界里干干净净,恰好一个怪球都没有,换成七维,这玩意儿能一口气蹦出28个。
于是同胚在这里一步升级成了微分同胚,X的真身就是S6。
终结它的人,本行不是复几何
Alpöge的头衔是哈佛Society of Fellows初级研究员,同时兼着Anthropic的博士后,老本行是数论和算术几何,复几何这片水他并不常趟。
而Yuan爆料说,就在解开这道题的三天前,自己才刚跟他探讨过这个死局。
从找答案,到造答案
三天干掉一道卡了七十多年的题,这事本身已经够离谱了。
但它其实只是35天里的第三次。
7月20日,Alpöge用Claude Fable 5砸出了雅可比猜想的致命反例,那道题1939年提出,整整悬了87年无人能解。
仅仅三周后的8月10日,一个至今没有公开身份的未发布研究版Claude,把黎曼zeta函数零点落在临界线上的已证明比例,从41.6%拔高到了67.2%。
在那场算力消耗战中,它一口气调度了大约60个子智能体,敲下2400多条shell命令,烧掉了3100万个输出token。
再往后就是8月24日,也就是这次的S6。
前面两次,你尚且还能勉强解释,AI只是一台算力极强的搜索器,一个在已知的解空间里摸索着找反例,一个把两篇早就躺在库里的现成论文强行拼接。
唯独这一次,性质彻底变了。
这个几何对象原本就不存在,是模型硬生生把它造了出来。
纽约州立大学奥尔巴尼分校数学与统计学副教授Justin Curry直言:如果证明为真,这绝对是最近最了不起的AI成就。
过去78年里,所有人都在追问同一句,S6上到底有没有复结构。
而从这一刻开始,该问的可能已经是另一句了。
那里究竟还藏着多少个?
参考资料:https://alpo.ge/s6.pdf
本文来自微信公众号“新智元”,作者:ASI启示录;编辑:摩西 大卫
