第644章 霍奇猜想

什么是霍奇猜想？

用一个不那么精确的比喻来说明。

想象一个由无数房间构成的复杂高维迷宫（射影复流形）。数学家有两种方式来理解这个迷宫的结构。

第一种，是拓扑的方式。不必关心每个房间的具体形状，只需要通过测量迷宫中一些无法被填满的洞，来描绘其整体形态。比如一个甜甜圈有一个洞，一个篮球没有洞。这些“洞“的数学描述，经过一系列复杂操作后，就形成了所谓的“霍奇类“。它像是一种几何的“指纹“，告诉你这个迷宫大概长什么样。

第二种，是代数的方式。用最简单的、由多项式方程定义的几何图形（代数闭链），比如直线、平面、抛物面等，作为“砖块“，去尝试搭建这个迷宫。

而霍奇猜想的核心论断是：所有用第一种“拓扑“方法测量出的“几何指纹“（霍奇类），都可以用第二种“代数“方法的“砖块“（代数闭链）拼凑出来。

换句话说，凡是你能“感知“到的几何结构，必能被“构造“出来。

……

套用到徐辰的问题上，就是这样：

MHD方程代表的等离子体系统，在复流形上表现为一个极其复杂的拓扑对象。它的稳定性结构，是通过霍奇类这种“几何指纹“来刻画的。但指纹只是感知，不是实体。

徐辰需要做的，就是证明这个霍奇类能被代数闭链构造出来——也就是说，这种复杂的拓扑结构，必然对应某个具体的、由多项式方程定义的几何实体。

而一旦这个实体被构造出来，它就能被精确地投影回三维实空间，成为李雅普诺夫泛函的数学骨架。

简单说：霍奇猜想为真  →  等离子体的所有稳定模式都有对应的代数实现  →  李雅普诺夫泛函必然存在  →  可控核聚变从“概率稳定“变成“数学保证“。

（ps：方法为虚构。）

……

这个猜想，是英国数学家威廉·霍奇在1950年的国际数学家大会上提出的。

大众对霍奇这个名字或许感到陌生，毕竟他生于1903年，活跃的年代连菲尔兹奖都才刚刚诞生。但这并不妨碍他在当时的数学界封神。

他几乎包揽了同时期欧洲所有重量级学术荣誉，包括皇家学会最高荣誉科普利奖章、皇家奖章、德摩根奖章、亚当斯奖，以及1959年的爵士封号。

而霍奇最著名的学生，正是日后统一了分析与拓扑两大领域的迈克尔·阿蒂亚爵士——菲尔兹奖与阿贝尔奖的双料得主。

如果你对阿蒂亚也感到陌生，也没关系，因为你大概率知道威藤。

两人在量子场论领域多次联手，上演了“阿蒂亚搭框架，威滕出奇迹”的佳话。

1990年，威滕更是成为史上唯一一位斩获菲尔兹奖的物理学家！而这背后最大的推手，正是时任国际数学联盟主席的阿蒂亚本人。当年，甚至是由阿蒂亚亲自为威滕撰写的领奖致辞。

……

回到霍奇猜想本身。

最初，数学界并非没有看到过曙光。

早在1924年，所罗门·莱夫谢茨就证明了莱夫谢茨  (1，1)  类定理——它比猜想本身还早二十多年，并成为霍奇提出猜想时的重要动机。这个定理顺手解决了低维情况：霍奇猜想在曲线和曲面（即一维和二维情形）下是成立的。至少，这个猜想在低维情况下不是假的。数学界看到了一线希望。

但随后的进展，几乎陷入了停滞。

面对这座久攻不下的堡垒，数学家们的老毛病犯了——既然在原定的范围里找不到突破口，那不如把它“推广“一下试试？

霍奇最初提出猜想时极其谨慎，把范围死死限定在“射影复流形“上。你可以把它理解为数学宇宙里一座规则森严的“代数内城“，里面的每一个几何结构，都必须由绝对严谨的多项式方程一笔一画刻画出来。

但数学家们心想，外面的世界那么大，那些包容性更强、没有纯正代数血统的“外野世界“（比如卡勒流形），没准也能适用霍奇猜想呢？

于是，他们兴冲冲地把猜想往外推广。

结果刚一出城，就迎头撞上了死神。

在那些推广出去的版本里，反例像雨后春笋一样冒了出来。

1969年，美国数学家大卫·芒福德在研究高维阿贝尔簇时，构造了一个四维阿贝尔簇的例子。在这个例子中，存在一些霍奇类无法由除子类的乘积生成。这个反例虽然没有推翻整个猜想，但它宣告了低维证明技巧的全线失效。低维情况下行之有效的  (1，1)  判据，到了四维及以上便不再管用。在高维情况中，霍奇类和代数闭链之间，可能存在着某些我们还未理解的障碍。

然后，1961年，刚才提到的那位阿蒂亚和希策布鲁赫联手，直接用K理论砸碎了霍奇猜想的“整系数强形式”。

这一连串反例，逼得整个数学界只能狼狈地退守到最初的原始版本。

而即便是这个最保守的版本，至今也仍然没有被证明。

……

这也是为什么在霍奇猜想上，数学界的意见会发生如此罕见且严重的撕裂。在七大千禧年难题中，它是立场最分裂的一个。

怀疑派的顶尖学者们认为它必错无疑，理由简单粗暴：外围阵地已经死了一大片了！那些被推广出去的版本，如同多米诺骨牌般倒下。既然它在众多广义的领域里都被证明不成立，谁敢保证内城里那个原始版本，不是下一具倒下的尸体？

但坚守阵地的辩护方，依然死战不退，因为他们手里死死攥着两张底牌。

第一张，就是最初莱夫谢茨证明的  (1，1)  类定理——这证明了原始版本在低维下是绝对成立的，它并非空中楼阁。

而第二张底牌，则充满了一种震撼人心的宿命感——他们敏锐地指出，尽管外围版本纷纷失守，所有那些大杀四方的反例怪物，都恰好停在了射影情形这条生死线上。半步都没有跨进去！

一旦试图进入“由多项式方程定义”的原始内城，这些反例就会因为违背代数刚性而瞬间失效。

仿佛有一道无形的壁垒，在死死守护着猜想最后的堡垒。

真与假，对与错，就在这片高维的虚空里疯狂绞杀，几十年未分胜负。

……


　　(https://www.66kxs.net/book/4792/4792324/33928686.html)


1秒记住66小说网：www.66kxs.net。手机版阅读网址：m.66kxs.net