Finding equations of the fake projective plane $(C18,p=3,\{2I\})$

不要将形状的世界想象成海滩球那样的光滑曲线或盒子那样的尖锐棱角，而要将其想象为一个由“复曲面”（complex surfaces）构成的广袤、无形的景观。这些是存在于更高维度的数学对象，远超肉眼所能及的范围。其中一些曲面类似于熟悉的射影平面（想象一张平坦的纸，其平行线在水平线上交汇），而另一些则是狂野、扭曲的近亲，它们从远处看完全一样，但在内部却隐藏着秘密的、隐蔽的结构。数学家称这些看似相同的物体为“伪射影平面”（fake projective planes）。它们稀有、珍贵且极难寻找。几十年来，我们知道它们的存在，但无法写出它们的精确蓝图——就像知道宝藏埋在某个岛上，却拿不到挖掘它的地图。这篇论文旨在为一对全新的这类隐藏宝藏绘制那份地图。

作者列夫·鲍里索夫（Lev Borisov）和王博洁（Bojue Wang）成功找到了新的一对伪射影平面的显式方程，特别是那些在著名的分类系统中被标记为 (C18, p = 3, {2I}) 的平面。你可以将这些方程视为该形状的 DNA；一旦拥有了它们，你就能在计算机上构建出这个曲面，并研究它的每一个扭转与转折。他们并非从零开始寻找这些形状，而是从一个已知方程的“近亲”形状出发。接着，他们构建了一架复杂的数学阶梯——向上攀爬至一个巨大的、共享的“父辈”形状，然后再向下攀爬回到新的目标。在此过程中，他们必须解决一个涉及数千位精度的谜题，并处理一个庞大的对称群（一种包含 648 种不同动作的数学舞蹈），以确保新形状是真实的，而非仅仅是计算机产生的误差。最终，他们证明了这些新方程描述了一个真正的伪射影平面，为已知的 100 个集合中又增加了两个独特的形状。

隐藏双胞胎的故事

为了理解作者所做的工作，请想象你拥有一个非常奇特、复杂的雕塑。你知道它的存在，也知道它从外面看是一个完美的球体，但如果你放大观察，它有一个秘密的、扭曲的核心，使其与普通球体不同。在数学世界中，这些就是伪射影平面（FPPs）。它们是具有与标准射影平面相同的“霍奇数”（Hodge numbers，一种计算孔洞和环的方法）但实际上并非相同形状的曲面。长期以来，数学家已知这类形状恰好有 100 个（分为 50 对镜像对称的组合），但对于其中大多数，我们只有模糊的描述。我们知道它们是“复 2-球”（complex 2-ball，一种高级的弯曲空间）的商空间，但我们并没有它们的显式代数方程。

这篇论文关于寻找其中特定一对的方程。作者将他们的新发现称为 $\widehat{P^2_{fake}}$（“带帽”版本），并将他们起始的那个形状称为 $P^2_{fake}$（“普通”版本）。

旅程：攀爬对称性的阶梯

作者并非靠猜测方程。他们使用了一种涉及形状“家族树”的巧妙策略。以下是他们的具体步骤：

1. 起点：
他们从已知“普通”伪射影平面（$P^2_{fake}$）的方程开始。这个形状存在于一个 9 维空间中，由 84 个三次方程定义。这些方程中的数字非常巨大（约 100 位长），并且涉及一种特定类型的复数。

2. 第一次攀爬（寻找切口）：
为了从普通形状移动到新形状，他们需要找到一个“非还原线性切口”（nonreduced linear cut）。想象一下，这个形状是一块奶酪。正常的切口会干净利落地切开它；而“非还原”切口则像是一个薄到几乎不存在、或者“重叠”在一起的切片。寻找这个特定的切口就像是在寻找一把秘密钥匙。他们利用计算机通过寻找该形状模某个质数（73）的情况来搜索这把钥匙，然后使用一种称为“提升”（lifting）的技术来精炼这把钥匙，直到它能以完美的精度发挥作用。这把钥匙允许他们改变坐标系，使数学运算变得更加简洁。

3. 构建桥梁（双重覆盖）：
利用新的坐标，他们构建了一系列“覆盖”（covers）。将覆盖想象成包裹在形状周围的一张纸。如果你包裹两次，你就得到了一个“双重覆盖”。

• 他们首先构建了原始形状的一个双重覆盖（2 层）。
• 然后构建了一个四重覆盖（4 层）。
• 接着构建了一个八重覆盖（8 层）。
• 最后，他们到达了一个巨大的 72 重覆盖（我们称之为“超级形状”）。

这个“超级形状”是旧的伪射影平面和他们想要寻找的新平面共同的祖先。它拥有一个巨大的对称群，包含 648 种不同的动作（旋转和反射），这些动作能保持其外观不变。

4. 棘手的部分（72 重攀爬）：
这是最困难的一步。作者必须弄清楚这个“超级形状”如何与新的目标形状相关联。他们必须找到超级形状方程中不同部分之间的特定关系。这就像是在尝试解决一个 71 维的谜题，而其中的碎片是由代数函数构成的。
他们利用超级形状的对称性来寻找新形状的“基”（basis，即一组构建模块）。他们以惊人的精度计算了这些构建模块的值——达到数百甚至数千位小数位——以确保其足够精确，从而能够识别出底层的代数数。

5. 返回下降：
一旦获得了超级形状的方程，他们就通过“平均化”处理来获得新伪射影平面（$\widehat{P^2_{fake}}$）的方程。这就像是将一个复杂且带有噪声的信号进行滤波，以提取出清晰的信息。
最初，他们找到的方程非常凌乱，系数巨大，并且定义在一个复杂的数域之上。但他们使用了一个涉及“交点”（形状上直线相交的点）的巧妙技巧来简化方程。他们交换了变量，并使用“格基规约”（lattice reduction，一种寻找最简数字的方法）算法来缩小系数规模。

6. 最终结果：
他们找到的最终方程比起点要简单得多。它们定义在一个较小的数域（$\mathbb{Q}(\sqrt{-2})$）上，且系数现在仅有 20 到 30 位小数。这使得该形状变得更容易研究。

验证：它是真实的吗？

作者并未止步于找到方程。由于他们使用了高精度近似（模拟）来达到这一目标，他们必须证明结果在数学上是精确的。他们使用了一个名为 Magma 的计算机代数系统来进行精确计算。

• 他们检查了该形状是否具有正确的“希尔伯特多项式”（Hilbert polynomial，这是衡量其大小和形状的指纹）。
• 他们通过检查“雅可比矩阵”（Jacobian matrix，一种衡量形状弯曲程度的工具）证明了该形状是光滑的（没有尖角或撕裂）。
• 他们确认了该形状具有作为伪射影平面所需的正确数量的“孔洞”和环。

论文得出结论，他们已成功识别出该形状为 Cartwright-Steger 分类中的 (C18, p = 3, {2I}) 对。

为什么这很重要

这不仅仅是关于寻找又一个形状。作者相信，他们的方法是一把可以解锁剩余谜团的钥匙。他们怀疑，利用这种新方法，他们最终可以找到与他们刚刚研究的这些形状相关的剩余三对伪射影平面的方程。这就像是找到了一种在迷宫中航行的新方法；一旦你掌握了路径，你就可以探索整个迷宫。

简而言之，鲍里索夫和王通过一个已知的数学对象，攀爬了一座对称的陡峭阶梯，到达了一个共同的祖先，然后小心翼翼地下降，从而发现了一个全新的、此前隐形的孪生兄弟。他们将一个理论上的存在性证明转化为了一个具体的、可计算的现实，为数学家提供了一个探索复杂曲面这个奇异而美丽世界的全新工具。