On equations of fake projective planes with automorphism group of order $21$

该论文通过研究具有双重和三重纤维的多尔戈恰夫椭圆曲面，导出了两组具有 21 阶自同构群的新伪射影平面显式方程，从而完成了对该类伪射影平面显式方程的求解工作，其中包括 J. Keum 发现的那个伪射影平面。

要点

这篇文章讲述了一位数学家（Lev Borisov）如何像一位**“宇宙建筑师”一样，试图为一种极其神秘且难以捉摸的几何形状——“假射影平面”（Fake Projective Plane）——绘制出精确的“施工蓝图”（数学方程）**。

为了让你轻松理解，我们可以把这篇论文的内容想象成一个**“寻找完美乐高城堡”**的故事。

1. 什么是“假射影平面”？

想象一下，我们平时熟悉的地球表面（或者一个完美的球体），在数学上叫“射影平面”。
但是，数学家发现了一类奇怪的“双胞胎”：它们看起来和地球表面一模一样（拥有相同的“指纹”或拓扑性质），但它们的内部结构却完全不同，就像是用完全不同的材料（比如乐高积木）搭建出来的。

• 真正的射影平面：是标准的、平滑的。
• 假射影平面：是“伪装者”，它们看起来一样，但其实是完全不同的几何世界。

几十年来，数学家们知道这些“伪装者”存在（就像知道某个城市有某种特殊的建筑），但没人能画出它们的具体图纸（显式方程）。这就好比你知道有一座完美的城堡，但没人知道它是用多少块砖、什么形状的砖砌成的。

2. 作者的目标：画出“图纸”

这篇文章的作者 Lev Borisov 和他的团队，决定不再满足于“知道它存在”，而是要亲手写出建造这座城堡的公式。
他们特别关注那些拥有21 种对称性的假射影平面。

• 比喻：想象一个完美的雪花，它有 6 种旋转对称性。这里的假射影平面更复杂，它有 21 种旋转和翻转的对称方式。这种高度的对称性就像是一个完美的“密码锁”，给了数学家们破解其方程的线索。

3. 建造过程：从模糊的草图到精确的蓝图

作者并没有直接画出最终城堡，而是分步骤进行，就像盖房子一样：

第一步：寻找地基（Dolgachev 曲面）

作者没有直接盖城堡，而是先研究一种特殊的“地基”或“脚手架”，数学家称之为Dolgachev 曲面。

• 比喻：这就好比你要建一座摩天大楼，不能直接凭空画大楼，得先研究它的核心筒和支撑结构。作者发现，这些假射影平面其实是某种特殊“脚手架”的七倍覆盖（你可以想象把脚手架复制 7 份并巧妙地拼接在一起）。
• 作者首先构建了一个包含9 个参数的“脚手架家族”。这就像是一个可以随意调节的万能模具，有 9 个旋钮可以转动，改变形状。

第二步：缩小范围（寻找特殊的“瑕疵”）

在这个巨大的 9 参数家族中，只有极少数特定的形状才能最终变成假射影平面。

• 比喻：作者在这些模具中，寻找那些在特定位置（比如“特殊纤维”）有特定“瑕疵”（比如两条线不相交，或者相交成特定的角度）的模具。
• 通过复杂的计算（就像在成千上万个乐高组合中筛选），作者把范围从 9 个参数缩小到了2 个参数。这就像是在茫茫大海中，通过观察海浪的特定波纹，锁定了藏宝图的位置。

第三步：利用“数字显微镜”（有限域搜索）

这是最精彩的部分。作者发现，直接在复杂的数学世界里找答案太难了，于是他们换了一种策略：先在简单的“数字世界”里找答案。

• 比喻：想象你要找一把完美的钥匙，但锁孔太复杂。于是，作者先在一个只有 79 个数字的简单世界里（就像只有 79 种颜色的积木）尝试拼凑。
• 他们发现，在数字"79"的世界里，确实存在符合要求的形状。然后，他们利用**“升维”技术**（Hensel 引理，一种数学上的“放大镜”），把这个在简单世界里找到的解，一步步“放大”并还原回复杂的真实数学世界（代数数域）。
• 这就像是你先在沙地上画出了城堡的草图，确认无误后，再用大理石把它雕刻出来。

第四步：组装城堡（构建假射影平面）

一旦找到了那个完美的“脚手架”（Dolgachev 曲面），作者就按照之前的理论，把它“复制”7 份并拼接起来。

• 结果：他们成功得到了两个新的假射影平面的完整方程组。
  1. 一个是 J. Keum 之前发现但没写出方程的那个（现在终于有图纸了）。
  2. 另一个是全新的、以前从未被描述过的假射影平面。

4. 验证与身份确认

得到方程后，作者还需要确认：“这真的是我们要找的那个城堡吗？”

• 比喻：就像你造出了一辆车，需要检查它的 VIN 码（车辆识别代号）来确认它是不是法拉利，而不是仿冒品。
• 作者通过检查这些形状内部的“扭结”（挠率线丛），发现它们拥有大量的对称元素，从而确认了它们的身份：一个是 Keum 的，另一个是 Cartwright-Steger 分类中的 (C20) 类。

5. 为什么这很重要？

• 从“知道”到“做到”：以前我们只知道这些几何怪物存在，现在我们可以用具体的数学公式（方程）把它们“打印”出来。
• 工具的创新：作者展示了如何结合超级计算机（Rutgers 大学的集群）、数学软件（Mathematica, Magma）和巧妙的数学直觉来解决看似不可能的问题。
• 未来的钥匙：作者提到，这次成功可能成为解开更著名谜题（Mumford 的假射影平面）的钥匙。就像学会了造这种特殊的积木，以后就能造出更复杂的城堡。

总结

这篇论文就像是一部**“数学侦探小说”**。
侦探（作者）面对一个只有模糊线索（分类理论）的悬案（假射影平面的方程）。他先搭建了一个巨大的嫌疑犯名单（9 参数家族），然后通过观察微小的线索（特定几何结构），利用“数字显微镜”（有限域搜索）在海量数据中锁定真凶，最后通过精密的“升维”技术，还原出了真凶（假射影平面）的完整面貌（显式方程）。

这不仅找到了两个新的几何奇迹，更展示了一种强大的新方法：当直接计算太复杂时，先在简单的数字世界里寻找线索，再将其“翻译”回复杂的数学现实。

技术摘要

这篇论文由 Lev Borisov 撰写，题为《具有 21 阶自同构群的假射影平面方程》（On equations of fake projective planes with automorphism group of order 21），发表于《代数几何 Épijournal》（Épijournal de Géométrie Algébrique）。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 假射影平面 (Fake Projective Planes, FPPs)：这是一类具有与复射影平面 $\mathbb{CP}^2$ 相同霍奇数（Hodge numbers）的一般型代数曲面。
• 分类现状：Cartwright 和 Steger 已经完成了所有假射影平面的分类，共有 50 对共轭类，分为 28 类。这些曲面被定义为复二维球 $B^2$ 的离散算术子群的自由商。
• 核心难点：尽管分类已完成，但长期以来缺乏这些曲面的显式多项式方程。现有的分类方法基于算术群理论，无法直接构造出具体的代数方程。
• 具体目标：本文旨在寻找具有最大自同构群阶数（21 阶）的假射影平面的显式方程。这类曲面共有三对，其中一对是 J. Keum 之前构造的（但缺乏显式方程），另一对是全新的发现。

2. 方法论 (Methodology)

作者采用了一种结合代数几何理论、计算代数（使用 Mathematica, Magma 等软件）和有限域搜索的混合方法。主要步骤如下：

A. 几何模型构建：Dolgachev 曲面

作者利用假射影平面 $P^2_{fake}$ 模去其自同构群中的 $C_7$ 子群后的商空间 $Y$ 的几何性质。

• $Y$ 的性质：$Y$ 是一个具有特定奇异点的 Dolgachev 曲面（椭圆纤维面），具有一个二重纤维 ($2F_3$) 和一个三重纤维 ($3F_2$)，以及一个有理 6-截面$S$。
• 坐标环构造：考虑环 $R = \bigoplus_{a,b \ge 0} H^0(Y, \mathcal{O}(aF + bS))$。作者推测该环具有自由模结构，并基于此构建了加权多项式环。
• 方程推导：通过计算该环的分级维数（graded dimension），推测出 $Y$ 的 birational 模型 $Y_0$ 由 9 个二次方程（Quadrics）定义。这些方程涉及 92 个未知系数。

B. 参数化与约束求解

1. 九参数族：首先构建了一个包含 9 个自由参数的 (2,3)-Dolgachev 曲面族。通过求解由环的结合性条件产生的 1600 多个方程，确定了二次方程的系数形式。
2. 特殊纤维约束：
   • 要求特殊纤维（Special Fiber）包含两条不相交的直线。
   • 进一步要求曲面在特定点具有比节点（nodal）更严重的奇异性（即 $1/3(1,2)$ 型奇点）。
   • 这将参数空间从 9 维缩减到 5 维，再缩减到 2 维。

C. 有限域搜索与提升 (Finite Field Search & Lifting)

这是找到具体方程的关键步骤：

1. 模素数搜索：在有限域 $\mathbb{F}_p$ 上搜索满足上述奇异点条件的参数。作者发现最小的可行素数是 $p=79$（对于新发现的曲面）和 $p=53$（对于 Keum 的曲面）。
2. $p$-进提升：一旦在有限域上找到解，利用 Hensel 引理的思想将其提升到 $p$-进数域（$p$-adics），计算参数的高精度近似值（如 $79^{101}$）。
3. 代数数识别：利用格归约算法（Lattice Reduction，如 LLL 算法）从 $p$-进近似值中识别出代数数。最终确定参数定义在次数为 12 的数域上，并可进一步简化为 $\mathbb{Q}(\sqrt{-7})$。

D. 构造假射影平面

1. 七重覆盖：假射影平面 $P^2_{fake}$ 是 $Y$ 的七重伽罗瓦覆盖。通过构造一个有理函数 $f$，其除子支持在特定曲线上且重数被 7 整除，取 $f$ 的七次根得到覆盖的函数域。
2. 双典范嵌入：计算 $P^2_{fake}$ 的双典范线性系统 $|2K|$，将其嵌入到 $\mathbb{CP}^9$ 中。
3. 方程验证：最终得到的 $P^2_{fake}$ 由 84 个三次方程定义。

E. 分类识别

• 通过计算 Picard 群中的挠线丛（Torsion line bundles）来区分不同的共轭类。
• 利用有限域上的非约化线性截口（non-reduced linear cuts）寻找 2-挠元素。
• 发现新曲面拥有比 Keum 曲面更大的挠子群，从而将其识别为 Cartwright-Steger 分类中的 $(C20, p=2, \emptyset, D_{327})$ 类。

3. 主要贡献与结果 (Key Contributions & Results)

1. 新假射影平面的显式方程：
   • 首次给出了 Cartwright-Steger 分类中 $(C20, p=2, \emptyset, D_{327})$ 类假射影平面的显式多项式方程。
   • 该曲面具有 21 阶自同构群。
2. Keum 曲面的显式方程：
   • 给出了 J. Keum 在 2006 年构造的假射影平面 $(a=7, p=2, \{7\}, D_{327})$ 的显式方程。此前该曲面仅有几何构造，无具体方程。
3. 计算方法的突破：
   • 展示了如何通过“有限域搜索 + $p$-进提升 + 代数数识别”的流程，解决高维代数几何中极其复杂的方程求解问题。
   • 成功处理了涉及 1600 多个方程和 92 个未知数的非线性系统。
4. 附录数据：
   • 论文附录及补充材料中提供了所有关键的多项式方程、参数化公式以及自同构变换的具体表达式（系数涉及 $\sqrt{-7}$ 和复数）。

4. 意义 (Significance)

• 填补空白：这是继 Mumford 的假射影平面（尚未找到方程）之后，代数几何领域在显式构造这类特殊曲面方面的重大进展。
• 验证分类：将抽象的算术分类转化为具体的代数几何对象，使得可以通过计算工具进一步研究这些曲面的性质（如模空间、算术性质等）。
• 方法论推广：文中提出的基于 Dolgachev 曲面和有限域搜索的方法，为寻找其他具有对称性的代数曲面（如具有不同自同构群的假射影平面）提供了可复制的范式。
• 未来展望：作者指出，理解 Keum 曲面的方程可能有助于最终找到 Mumford 假射影平面的方程，因为两者在算术结构上密切相关（涉及 $PSL(2,7)$ 伽罗瓦群的非伽罗瓦覆盖）。

5. 技术细节补充

• 定义域：构造出的曲面定义在二次虚数域 $\mathbb{Q}(\sqrt{-7})$ 上。
• 嵌入空间：假射影平面被嵌入到 $\mathbb{CP}^9$ 中，由 84 个三次方程定义。
• 自同构群：群结构为 $C_7 \rtimes C_3$，其中 $C_7$ 作用于纤维，$C_3$ 置换纤维上的特定曲线。
• 软件工具：大量依赖 Mathematica 进行符号计算，Magma 用于有限域上的奇点分析和挠子群计算，Macaulay2 和 PARI/GP 用于辅助验证。

综上所述，该论文通过高度复杂的计算代数几何手段，成功将两类重要的假射影平面从抽象分类转化为具体的代数方程，是代数曲面理论领域的一项里程碑式工作。