一秒记住【笔趣阁】xbiquge365.net，更新快，无弹窗！
什么是霍奇猜想？
用一个不那么精确的比喻来说明。
想像一个由无数房间构成的复杂高维迷宫（射影复流形）。数学家有两种方式来理解这个迷宫的结构。
记住首发网站域名??????????.??????
第一种，是拓扑的方式。不必关心每个房间的具体形状，只需要通过测量迷宫中一些无法被填满的洞，来描绘其整体形态。比如一个甜甜圈有一个洞，一个篮球没有洞。这些「洞「的数学描述，经过一系列复杂操作后，就形成了所谓的「霍奇类「。它像是一种几何的「指纹「，告诉你这个迷宫大概长什么样。
第二种，是代数的方式。用最简单的丶由多项式方程定义的几何图形（代数闭链），比如直线丶平面丶抛物面等，作为「砖块「，去尝试搭建这个迷宫。
而霍奇猜想的核心论断是：所有用第一种「拓扑「方法测量出的「几何指纹「（霍奇类），都可以用第二种「代数「方法的「砖块「（代数闭链）拼凑出来。
换句话说，凡是你能「感知「到的几何结构，必能被「构造「出来。
……
套用到徐辰的问题上，就是这样：
MHD方程代表的等离子体系统，在复流形上表现为一个极其复杂的拓扑对象。它的稳定性结构，是通过霍奇类这种「几何指纹「来刻画的。但指纹只是感知，不是实体。
徐辰需要做的，就是证明这个霍奇类能被代数闭链构造出来——也就是说，这种复杂的拓扑结构，必然对应某个具体的丶由多项式方程定义的几何实体。
而一旦这个实体被构造出来，它就能被精确地投影回三维实空间，成为李雅普诺夫泛函的数学骨架。
简单说：霍奇猜想为真→等离子体的所有稳定模式都有对应的代数实现→李雅普诺夫泛函必然存在→可控核聚变从「概率稳定「变成「数学保证「。
（ps：方法为虚构。）
……
这个猜想，是英国数学家威廉·霍奇在1950年的国际数学家大会上提出的。
大众对霍奇这个名字或许感到陌生，毕竟他生于1903年，活跃的年代连菲尔兹奖都才刚刚诞生。但这并不妨碍他在当时的数学界封神。
他几乎包揽了同时期欧洲所有重量级学术荣誉，包括皇家学会最高荣誉科普利奖章丶皇家奖章丶德摩根奖章丶亚当斯奖，以及1959年的爵士封号。
而霍奇最着名的学生，正是日后统一了分析与拓扑两大领域的麦可·阿蒂亚爵士——菲尔兹奖与阿贝尔奖的双料得主。
如果你对阿蒂亚也感到陌生，也没关系，因为你大概率知道威藤。
两人在量子场论领域多次联手，上演了「阿蒂亚搭框架，威滕出奇迹」的佳话。
1990年，威滕更是成为史上唯一一位斩获菲尔兹奖的物理学家！而这背后最大的推手，正是时任国际数学联盟主席的阿蒂亚本人。当年，甚至是由阿蒂亚亲自为威滕撰写的领奖致辞。
……
回到霍奇猜想本身。
最初，数学界并非没有看到过曙光。
早在1924年，所罗门·莱夫谢茨就证明了莱夫谢茨(1，1)类定理——它比猜想本身还早二十多年，并成为霍奇提出猜想时的重要动机。这个定理顺手解决了低维情况：霍奇猜想在曲线和曲面（即一维和二维情形）下是成立的。至少，这个猜想在低维情况下不是假的。数学界看到了一线希望。
但随后的进展，几乎陷入了停滞。
面对这座久攻不下的堡垒，数学家们的老毛病犯了——既然在原定的范围里找不到突破口，那不如把它「推广「一下试试？
霍奇最初提出猜想时极其谨慎，把范围死死限定在「射影复流形「上。你可以把它理解为数学宇宙里一座规则森严的「代数内城「，里面的每一个几何结构，都必须由绝对严谨的多项式方程一笔一画刻画出来。
但数学家们心想，外面的世界那么大，那些包容性更强丶没有纯正代数血统的「外野世界「（比如卡勒流形），没准也能适用霍奇猜想呢？
于是，他们兴冲冲地把猜想往外推广。
结果刚一出城，就迎头撞上了死神。
在那些推广出去的版本里，反例像雨后春笋一样冒了出来。
1969年，美国数学家大卫·芒福德在研究高维阿贝尔簇时，构造了一个四维阿贝尔簇的例子。在这个例子中，存在一些霍奇类无法由除子类的乘积生成。这个反例虽然没有推翻整个猜想，但它宣告了低维证明技巧的全线失效。低维情况下行之有效的(1，1)判据，到了四维及以上便不再管用。在高维情况中，霍奇类和代数闭链之间，可能存在着某些我们还未理解的障碍。
然后，1961年，刚才提到的那位阿蒂亚和希策布鲁赫联手，直接用K理论砸碎了霍奇猜想的「整系数强形式」。
这一连串反例，逼得整个数学界只能狼狈地退守到最初的原始版本。
而即便是这个最保守的版本，至今也仍然没有被证明。
……
这也是为什么在霍奇猜想上，数学界的意见会发生如此罕见且严重的撕裂。在七大千禧年难题中，它是立场最分裂的一个。
怀疑派的顶尖学者们认为它必错无疑，理由简单粗暴：外围阵地已经死了一大片了！那些被推广出去的版本，如同多米诺骨牌般倒下。既然它在众多广义的领域里都被证明不成立，谁敢保证内城里那个原始版本，不是下一具倒下的尸体？
但坚守阵地的辩护方，依然死战不退，因为他们手里死死攥着两张底牌。
第一张，就是最初莱夫谢茨证明的(1，1)类定理——这证明了原始版本在低维下是绝对成立的，它并非空中楼阁。
而第二张底牌，则充满了一种震撼人心的宿命感——他们敏锐地指出，尽管外围版本纷纷失守，所有那些大杀四方的反例怪物，都恰好停在了射影情形这条生死线上。半步都没有跨进去！
一旦试图进入「由多项式方程定义」的原始内城，这些反例就会因为违背代数刚性而瞬间失效。
仿佛有一道无形的壁垒，在死死守护着猜想最后的堡垒。
真与假，对与错，就在这片高维的虚空里疯狂绞杀，几十年未分胜负。
……
<insclass="pubadx-slot"data-zoneid="10802"></ins>
