如何看待 Levent Alpoge 发布的 S^6 的复结构构造的论文?
说实话,我第一眼看到这个标题的时候,手都抖了一下。
不是激动,是那种“卧槽,又来?”的复杂心情。
S^6,六维球面,复结构。这几个词放在一起,在数学圈里就跟“哥德巴赫猜想”在民间一样,自带光环。你要是跟一个做几何拓扑的人说“有人构造出了S^6的复结构”,他第一反应绝对不是“哇好厉害”,而是“你先等等,让我看看他的构造哪里出了问题”。

因为这个问题,实在是太老了,老到所有人都知道它是块硬骨头,老到已经有无数人声称啃下来了,结果一验证全是牙崩了。
先说清楚S^6的复结构到底是个啥。
简单讲,复流形就是局部看起来像复数空间的东西。你随便拿一个偶数维的光滑流形,它都可能有一套“近复结构”,就是让你能在这个流形上做复数乘法。但光有近复结构不够,还得要求它“可积”,也就是说这套结构得是相容的,能真正定义出全纯函数。S^6的特殊之处在于,它天生就带一个近复结构,而且非常自然——来自八元数。但问题是,这个自然结构不是可积的。于是大家就拼命找另一种近复结构,看能不能可积。

这一找,就是几十年。
期间你看看论文的标题,从“On the non-existence of complex structures on S^6”到“A new construction of a complex structure on S^6”,跟打地鼠一样,此起彼伏。每一个声称构造出来的,最后基本都能在细节里找到一个不可修复的bug,或者是在某个关键步骤里偷换了一个概念。

所以当看到Levent Alpoge这个名字,配上“S^6复结构构造”这个关键词,我的第一反应是:又是一个勇士。
但我也知道,勇士和炮灰之间,往往只隔着一个“更仔细的审稿人”。
那这篇论文到底该怎么看?
别急着高潮,也别急着嘲讽。第一个冷静下来的动作,是去读他的构造思路。如果他用的是常规的割补、形变、或者层论方法,那大概率是掉进同一个坑里。但如果他引入了全新的工具——比如某种代数几何里的奇技淫巧,或者把S^6看成某个特殊代数簇的实形式——那这事情就有意思了,哪怕最后错了,也可能带出几个有价值的新问题。
第二个动作,是看同行评议。但注意,S^6这种级别的问题,不是随便发个arXiv就能被认可的。真正的考验是:有没有人能在公开场合,一个等式一个等式地复现他的构造?历史上有个著名例子,有人声称证明了S^6不存在复结构,结果被人在一个关键的曲率估计里抓出了符号错误。这种事太多了。
所以,对于非专业的人来说,最健康的姿势是:看热闹,但别站队。
你可以为数学界又出现一次大胆尝试而鼓掌,也可以为这个问题的神秘感再添一笔而兴奋,但千万不要在微信群转发“百年难题被攻克”的标题党文章。因为大概率,半年后你会看到一个“Retraction”或者“A gap in the proof”的后续。
不过,从另一个角度说,Alpoge这件事本身,就算是错的,也挺有价值。
为什么?因为S^6复结构这个问题,已经不是一个单纯的“是”或“否”的问题了。它变成了一个测试场——测试我们对近复结构、可积性、以及流形分类工具的理解深度。每一个失败的构造,都是一块路标,告诉我们“这样走不通”。这种失败的价值,有时候比一个正确的证明还要大。
你看,很多大数学家都在这上面栽过跟头,但没人笑他们。因为敢于碰这个问题的人,本身就是有胆识的。就像你跑马拉松,虽然没拿名次,但你能全程跑完,就已经赢了99%的人了。
所以我的态度是:先别急着否定,也别急着狂欢。
如果Alpoge的论文真的放出来了,我会花一个下午仔细看看他的摘要和引言,然后翻一翻关键的section,找找有没有明显的不协调。如果看不懂,就等专家点评。数学这东西,最公平了,对不对?对就是对,错就是错,不存在“虽然有点错但意思对”的说法。
最后,送你一句话。
六维球面上的复结构,就像一个永远在和你捉迷藏的幽灵。每次有人大喊“我抓到它了”,大家冲过去一看,往往只是抓到了自己的幻觉。
但没关系,总得有人一次次伸出手去抓。万一哪天,真的抓到了呢?
那就是整个几何学界一起发疯的日子。