请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
什么是霍奇猜想?
用一个不那么精确的比喻来说明。
想象一个由无数房间构成的复杂高维迷宫(射影复流形)。数学家有两种方式来理解这个迷宫的结构。
第一种,是拓扑的方式。不必关心每个房间的具体形状,只需要通过测量迷宫中一些无法被填满的洞,来描绘其整体形态。比如一个甜甜圈有一个洞,一个篮球没有洞。这些“洞“的数学描述,经过一系列复杂操作后,就形成了所谓的“霍奇类“。它像是一种几何的“指纹“,告诉你这个迷宫大概长什么样。
第二种,是代数的方式。用最简单的、由多项式方程定义的几何图形(代数闭链),比如直线、平面、抛物面等,作为“砖块“,去尝试搭建这个迷宫。
而霍奇猜想的核心论断是:所有用第一种“拓扑“方法测量出的“几何指纹“(霍奇类),都可以用第二种“代数“方法的“砖块“(代数闭链)拼凑出来。
换句话说,凡是你能“感知“到的几何结构,必能被“构造“出来。
……
套用到徐辰的问题上,就是这样:
MHD方程代表的等离子体系统,在复流形上表现为一个极其复杂的拓扑对象。它的稳定性结构,是通过霍奇类这种“几何指纹“来刻画的。但指纹只是感知,不是实体。
徐辰需要做的,就是证明这个霍奇类能被代数闭链构造出来——也就是说,这种复杂的拓扑结构,必然对应某个具体的、由多项式方程定义的几何实体。
而一旦这个实体被构造出来,它就能被精确地投影回三维实空间,成为李雅普诺夫泛函的数学骨架。
简单说:霍奇猜想为真→等离子体的所有稳定模式都有对应的代数实现→李雅普诺夫泛函必然存在→可控核聚变从“概率稳定“变成“数学保证“。
(s:方法为虚构。)
……
这个猜想,是英国数学家威廉·霍奇在1950年的国际数学家大会上提出的。
大众对霍奇这个名字或许感到陌生,毕竟他生于1903年,活跃的年代连菲尔兹奖都才刚刚诞生。但这并不妨碍他在当时的数学界封神。
他几乎包揽了同时期欧洲所有重量级学术荣誉,包括皇家学会最高荣誉科普利奖章、皇家奖章、德摩根奖章、亚当斯奖,以及1959年的爵士封号。
而霍奇最著名的学生,正是日后统一了分析与拓扑两大领域的迈克尔·阿蒂亚爵士——菲尔兹奖与阿贝尔奖的双料得主。
如果你对阿蒂亚也感到陌生,也没关系,因为你大概率知道威藤。
两人在量子场论领域多次联手,上演了“阿蒂亚搭框架,威滕出奇迹”的佳话。
1990年,威滕更是成为史上唯一一位斩获菲尔兹奖的物理学家!而这背后最大的推手,正是时任国际数学联盟主席的阿蒂亚本人。当年,甚至是由阿蒂亚亲自为威滕撰写的领奖致辞。
……
回到霍奇猜想本身。