霍奇猜想——号称最难讲明白的百万美元数学难题

大家好，我是 Senko。本文将解读千禧年大奖难题中号称“最难说明白”的难题“霍奇猜想”。

先老实交代一句。这个问题在本系列处理过的题目里也抽象得格外突出。黎曼猜想与 P 与 NP 问题还能翻译成日常语言，霍奇猜想却连专家都异口同声地说“面向大众的准确说明几乎不可能”，要理解其内容需要好几门研究生水平的数学。所以本文的目标并不是让您理解内容，而是尽可能诚实地让您带走“原来存在这样气质、这样地位的一个问题”这一点感觉。

先从“数洞”这个发想说起

直接切核心是不行的，我们从远处慢慢靠近。出发点是数一数图形有几个“洞”这个数学发想。

甜甜圈有 1 个洞，8 字形的椒盐卷饼有 2 个洞。研究这种“洞的个数”、即图形怎么伸缩都不改变的特征的领域，就是本系列庞加莱猜想里也提到过的拓扑学。数学家为了把这些洞规规矩矩地数清、分好类，发展出了一整套精巧的工具。不只是简单的洞，高维复杂图形所拥有的、肉眼看不见的各种“类似洞的东西”，都能被成体系地数出来。

这里登场的图形，并不是我们想象中甜甜圈那样朴素的东西。它是“由方程定义的、复数世界里的图形”，是维数非常高的抽象对象。不过，只要抱着“复杂图形上开着好多种洞”这个印象，就能往下走了。

哪些洞是“老实材料做成的”

霍奇猜想问的，大致是下面这件事。

复杂图形上开着的众多洞当中，哪些是把“方程能写出来的老实图形”拼贴起来做成的。

再补一点画面感。图形的洞有各式各样的“出身”。有的洞，是把方程能简洁写出的零件（数学上称为代数的图形）组合起来的，可以说是用干净的材料造出来的。另一些洞，也许用这类老实材料根本造不出来，来路更加不明。

另一方面，数学家还有一套完全不同系统的工具，用来考察洞的“外观特征”（称为霍奇理论的解析手法）。霍奇猜想主张的，是只要考察这份“外观特征”，就能分辨出这个洞是不是由老实材料做成的这样一种对应关系。

也就是说，构图与本系列的 BSD 猜想很像。几何性质（洞是不是老实材料做的）与解析性质（洞的外观特征）——用不同方法查出的两份结果，其实应当完全一致，这就是猜想的内容。架在异领域之间的、看不见的桥。现代数学最钟爱的主题，在这里同样占据中心。

打个比方大概是这样。要判断某个零件是不是金属做的，如果不必一个个削开验内部，“只要拿磁铁靠近就能分辨”，那该多方便。霍奇猜想说的就是，“洞是不是老实材料做的”这种难查的性质，仅凭“外观特征”这种好查的性质就能判定，这类方便的对应关系应当成立。当然实际对象没有磁铁那么简单，可“用好查的性质言中难查的性质”这个发想骨架，与这个比喻完全一样。

为什么会难到这个地步

霍奇猜想的难，有很清楚的理由。

第一，处理的对象位于直觉够不到的高维、复数世界。庞加莱猜想的三维就已经很难想象了，霍奇猜想的舞台还要更靠后。想拿手能摸到的例子试一试，基本做不到。

第二，这个猜想要求把应当能造出来的东西实际造给人看。对于满足外观特征的洞，必须证明造出它的老实材料确实存在，而把本应存在之物具体地构造出来，是数学中最难的一类工作。可以说，这是本系列奇完全数里见过的“本该有却找不到，本该没有却证不出”的更纠缠版本。

老实补一句，我自己也并没有完全理解这个猜想的技术内容。所以在这篇文章里，我想珍视的是不装懂、“承认难的东西就是难”这个态度。世上确实存在专家倾尽一生也把不住全貌的知识高峰。知道这个事实本身，我觉得就能养出一份智识上的谦逊。能坦白地说出自己不懂，反倒是件挺舒服的事。

“讲不明白”本身在告诉我们什么

难得聊到这里，我想稍微品一品这个问题的难懂本身。为什么黎曼猜想能面向大众说明，霍奇猜想却不能呢。

理由在于理解问题所需的“前提数量”之别。黎曼猜想的主角是素数的排列，谁都在小学就打过照面。P 与 NP 问题可以从“解开与确认”这份日常实感切入。可霍奇猜想的主角，是不叠上好几层抽象就根本不会现身的对象。它待在地基之上再垒地基的高楼顶层，想从一楼走楼梯上去，光是中间各层的说明就要一整本教科书。

这不是这个问题的缺点。毋宁说，它是人类的知识垒得有多高的证据。数学花了数千年，在抽象之上再叠抽象，建起了一座塔。有些风景只有从最顶层才看得见，而霍奇猜想就在那里。“存在无法一步登天的知识”这个事实，让人有点不甘，同时又非常令人安心。因为人类至今还没能把自己盖起来的这座塔的塔顶，完全看个遍。

不懂也能品味的几个疑问

说到底，我们该带走什么

三点就够了。第一，这是千禧年大奖难题之一，是悬赏 100 万美元的数学最重要问题。第二，其内容是“复杂图形的洞里，哪些由老实材料做成，能否用别的方法分辨”这样一个连接异领域的桥的问题。第三，它抽象到连专家都放弃给出面向大众的准确说明。抓住这三点，作为常识已经绰绰有余。世上确实也存在这样的问题——这份感觉，就是本文的礼物。

为什么要给这么难懂的问题挂 100 万美元

因为难懂与重要是两码事。霍奇猜想位于“代数几何学”这个领域的根基，一旦被证明，人们期待围绕图形与方程的庞大数学会被统一地整理起来。这与本系列的黎曼猜想一旦被证明就会成为支撑整栋数论建筑的地基，是同一个构图。越是朴素难懂的地基，抽掉时的损害与夯实后的恩惠就越大。数学家看重的不是华丽，而是“能否成为支撑其他众多结果的基础”。

外行想再往里走一步该怎么办

老实说，我想说霍奇猜想“不是该先爬的那座山”。同样的智识兴奋，在更好爬的山上体会更健康。本系列的庞加莱猜想有“宇宙的形状”这份手感，P 与 NP 问题可以从解开与确认的日常实感切入。若想尝连接异领域之桥的乐趣，好歹有具体例子的 BSD 猜想更适合当入口。至于霍奇猜想，把它当成享受过那些之后“听说世上还有这么座高峰”、从远处眺望的地图标记，我觉得这个距离感刚刚好。