Quintic surfaces with 18 cusps

想象你是一位建筑师，正在用数学黏土设计一座雕塑。在代数几何的世界里，这种黏土被塑造成悬浮在四维空间中的曲面（尽管我们一次只能看到三维）。几个世纪以来，数学家们一直痴迷于这些雕塑上出现的“裂缝”和“凹痕”。有些凹痕是简单的凸起，称为“节点”（nodes）；而有些则是更尖锐、更剧烈的点，称为“尖点”（cusps），它们看起来像针尖，或者像两张纸相遇并折叠成一个锐利尖刺的地方。

核心问题在于：在这样一座单一的雕塑上，你最多可以堆叠多少个这样的尖锐尖刺而不至于让它崩塌？对于较简单的形状，我们已知答案。但对于一种被称为“五次曲面”（quintic surface，由最高项为五次的复杂方程定义）的特定类型雕塑，这个极限一直是个谜。我们知道它的尖点数量不会超过 20 个，但从未有人成功构建出拥有 20 个尖点的完美模型。目前的纪录保持者仅能做到 16 或 17 个。这就像是在尝试堆叠尽可能不稳定的积木；添加的积木越多，整个结构就越容易坍塌成一团乱麻。

这篇论文讲述了两位数学家——列夫·鲍里斯（Lev Borisov）和卡洛斯·里托（Carlos Rito）——是如何解决这个堆叠问题的。他们并没有仅仅靠猜测；他们建造了一种新型的脚手架来固定这些积木。他们的主要发现是，他们成功构建了一族通常具有 17 个尖点的五次曲面。更令人印象深刻的是，通过微调设计，他们找到了能够稳固承载 18 个尖点的特定实例。他们并非仅仅在计算机模拟中发现这些实例；他们结合了精巧的数字侦探工作和高精度数学，将其中一个实例从简单的数字世界提升到了真实的、复杂的数学世界，从而确凿无疑地证明了它的存在。

蓝图：寻找隐藏的模式

要理解他们是如何做到的，请将五次曲面想象成一个巨大的、隐形的拼图。数学家们知道，如果你拥有大量的尖点（cusps），它们并不会随机散布；它们遵循着一套秘密代码。这段代码就像被面中的图案，某些补丁必须完美对齐。

他们从一种被称为“Barth–Rams 分解”的已知技巧开始。想象你有一个复杂的形状，你可以通过组合两个较简单的形状（比如两个立方体）并减去第三个形状来描述它。在这种情况下，“尖点”出现在这些形状以非常特定方式接触的地方。通常，这种技巧会产生一个具有 12 个尖点的曲面。作者意识到，如果能迫使曲面同时满足两个这样的“Barth–Rams”规则，或许就能获得更多的尖点。

他们建立了一个系统，要求曲面同时满足两个不同的“Barth–Rams”规则。当他们这样做时，这两个拥有 12 个尖点的集合在 7 个地方发生了重叠。因此，最终得到的不是 24 个尖点，而是 17 个独特的尖点（12 + 12 - 7）。这创造了一个庞大的、6 维的曲面族，其中的所有曲面都自然地带有 17 个尖点。这就像制造了一台能自动生产 17 尖点雕塑的机器。

突破：破解第 18 个尖点

拥有一台制造 17 尖点曲面的机器固然很好，但目标是 18。作者知道，增加一个额外的尖点只需要满足两个额外的条件（就像拧紧两个特定的螺丝）。他们试图通过“有限域”（finite fields）的角度来寻找这些 18 尖点的曲面。

把有限域想象成一个数字会循环的视频游戏世界。与其无限计数 1, 2, 3...，你可能会数 1, 2, 3, 4, 5, 1, 2... 如此循环。在这些微小的、循环的世界里，数学计算速度极快。团队编写了一个程序，在这些微小的数字世界中进行搜索。他们发现了几个曲面恰好拥有 18 个尖点的例子。

然而，在一个“循环”的视频游戏世界里找到曲面，并不等同于证明它在真实的、无限的数学世界中存在。为了弥合这一差距，他们使用了一种称为“牛顿–亨泽尔提升”（Newton–Hensel lifting）的技术。想象你有一张模糊的人脸照片。你知道那是一个人，但细节很模糊。提升过程就像是用一个超强力变焦镜头对这张模糊的照片进行放大，逐像素地锐化，直到人脸变得清晰无比。他们从有限域中的 18 尖点实例出发，利用这种方法进行“缩放”，极其精确地细化数值，直到能够精确描述该曲面。

他们使用了 LLL（一种用于寻找数字中隐藏模式的数学侦探工具）来确定该曲面的精确代数配方。他们发现，该曲面可以用一个 22 次的“数域”（number field）来描述。这是一种高级说法，意味着涉及的数字虽然复杂，但它们是定义明确且真实的。

最后，他们用显微镜观察了这个曲面。他们检查了每一个点，以确保那里恰好有 18 个普通的尖点，且没有任何其他东西——没有多余的凸起，没有奇怪的裂缝，也没有隐藏的惊喜。他们确认了该曲面是稳定的，且完全符合他们的预测。

因此，虽然寻找拥有 20 个尖点的五次曲面的终极梦想在未来仍是一个“未知数”，但这篇论文证明了 18 个尖点是绝对可能的。他们不仅暗示了这可能是真的，还构建了曲面，将其从数字近似值提升为精确的数学对象，并向我们展示了它的真面目。这是理解数学雕塑所能承载的锐利点极限过程中，迈出的坚实一步。