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

基本信息

• 论文ID: 2109.02070
• 标题: On equations of fake projective planes with automorphism group of order $21$
• 作者: Lev Borisov (Rutgers University)
• 分类: math.AG (代数几何)
• 发表期刊: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 17
• 论文链接: https://arxiv.org/abs/2109.02070

摘要

本文研究具有二重和三重纤维的Dolgachev椭圆曲面，找到了两对新的具有21个自同构的伪射影平面的显式方程，从而完成了寻找具有该自同构群的伪射影平面显式方程的任务。这特别包括了J. Keum发现的伪射影平面。

研究背景与动机

问题背景

1. 伪射影平面理论起源：伪射影平面理论始于D. Mumford的著名例子，他构造了一个一般型曲面，其Hodge数与通常的射影平面$\mathbb{CP}^2$相同，但构造方法并未给出显式方程。
2. 分类结果：经过多位学者的工作，D. Cartwright和T. Steger完成了所有伪射影平面的分类，确定了恰好50对共轭的此类曲面，分为28个类。这些曲面被分类为复2维球$B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$被某些离散算术子群的自由商。
3. 显式方程的挑战：尽管分类完整，但这种分类并不能导出多项式方程，因为没有已知方法来构造这些群的显式自守形式。

研究动机

1. 显式化需求：近年来，作者参与了多个合作项目，目标是发现定义伪射影平面及相关曲面的显式多项式方程。
2. 自同构群的作用：具有非平凡自同构群的伪射影平面为探索提供了途径，因为对称性可以简化计算。
3. 完成分类：根据Cartwright-Steger分类，伪射影平面的自同构群的最大阶数是21，有三对共轭的具有该大小自同构群的伪射影平面，本文旨在找到其中剩余两对的显式方程。

核心贡献

1. 构造了两对新的伪射影平面：找到了具有21个自同构的两对伪射影平面的显式方程
2. 完成了21阶自同构群的分类：包括J. Keum发现的伪射影平面在内，完成了所有具有21阶自同构群的伪射影平面的显式构造
3. 发展了新的构造方法：通过研究Dolgachev椭圆曲面建立了系统的构造框架
4. 提供了具体的多项式方程：给出了在$\mathbb{CP}^9$中由84个三次方程定义的伪射影平面的显式表示

方法详解

任务定义

寻找具有21阶自同构群的伪射影平面的显式多项式方程，特别是：

• $(a = 7, p = 2, \{7\}, D_3^{27})$：Keum构造的曲面
• $(C_{20}, p = 2, \emptyset, D_3^{27})$：第三个曲面

核心构造框架

1. 几何设置

所有三个21阶自同构群的情况下，$P^2_{fake}/C_7$的商的最小解析$Y$具有特殊几何结构：

• 三个奇点类型为$\frac{1}{3}(1,7)$，被剩余$C_3$作用置换
• 最小解析有三条不相交的链：$S - B - C$, $S_1 - B_1 - C_1$, $S_2 - B_2 - C_2$
• $Y$纤维化到$\mathbb{CP}^1$，具有两个多重纤维、三个节点纤维和一个$I_9$型纤维

2. 环结构分析

考虑环$R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$，计算其分级维数： $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

这表明$R$具有在环$\mathbb{C}[u_0, u_1, v_1, v_2]$上的6阶分级自由模结构。

构造步骤

Step 1: 九参数族构造

构造具有有理6-截面$S$的$(2,3)$-Dolgachev曲面的九参数族。一般成员除了二重和三重纤维外，还有12个不同的奇异节点纤维。定义方程为权重$3 \times (2,8)$、$3 \times (2,9)$和$3 \times (2,10)$的九个二次式。

Step 2: 参数约化

构造具有附加条件的七参数、五参数和二参数子族：

• 七参数：特殊纤维包含一条直线
• 五参数：特殊纤维包含两条不相交直线
• 二参数：两条不相交直线上有指定的节点

Step 3: 有限域约化

通过在有限域上搜索参数选择，寻找曲面$Y_0$的有限域约化，检查结果曲面在两个特殊点是否具有比节点更严重的奇点。最小的成功素数是79。

Step 4: 提升到代数数

通过逐步求解模79的幂次的条件，将参数提升到$p$-adic数，然后识别为代数数，在12次数域上构造$Y_0$，最终实现在$\mathbb{Q}(\sqrt{-7})$上。

Step 5: 几何分析与七重覆盖

研究$Y_0$的几何特征，找到曲线$S_1$和$S_2$以及$C_3$的双有理作用。通过添加有理函数的七次根构造$P^2_{fake}$，计算其双典范线性系统。

Step 6: 识别与验证

通过寻找扭转线丛来识别具体的伪射影平面，验证其确实是$(C_{20}, p = 2, \emptyset, D_3^{27})$。

实验设置

计算工具

• 主要软件: Mathematica（大部分计算）
• 辅助软件: Magma, Macaulay2, PARI/GP, C语言
• 计算资源: Rutgers大学的Amarel集群

关键计算挑战

1. 大规模方程组求解: 超过1600个方程，92个未知数的结合性关系求解
2. 有限域搜索: 在$\mathbb{F}_p^5$上的暴力搜索，需要并行计算
3. 符号计算验证: 84个三次多项式的光滑性检验

实验结果

主要成果

1. 第一个伪射影平面：$(C_{20}, p = 2, \emptyset, D_3^{27})$

• 定义域: $\mathbb{Q}(\sqrt{-7})$
• 嵌入: 在$\mathbb{CP}^9$中由84个三次方程定义
• 验证: 通过寻找非约化$C_3$-不变元素确认有至少21个非平凡2-扭转元素

2. 第二个伪射影平面：Keum的构造

• 识别: 通过排除法确认为$(a = 7, p = 2, \{7\}, D_3^{27})$
• 构造: 使用第二个五参数族，通过暴力搜索方法
• 验证: 同样的验证程序确认其为伪射影平面

技术成就

1. 计算复杂性: 成功处理了极其复杂的符号计算，某些中间公式长达数百MB
2. 数值精度: 通过$p$-adic提升和格约化算法实现了高精度的代数数识别
3. 验证完整性: 通过多种独立方法验证了构造的正确性

相关工作

历史发展

1. Mumford (1979): 首个伪射影平面例子
2. Cartwright-Steger (2011): 完整分类理论
3. Borisov等人系列工作: 显式方程的系统研究

本文地位

• 完成了21阶自同构群情况的显式构造
• 为寻找Mumford伪射影平面的方程奠定基础
• 发展了通过Dolgachev曲面构造的一般方法

结论与讨论

主要结论

1. 成功找到了所有三对具有21阶自同构群的伪射影平面的显式方程
2. 发展了基于Dolgachev椭圆曲面的系统构造方法
3. 证明了有限域方法在代数几何显式构造中的有效性

局限性

1. 计算复杂度: 方法依赖于大量的符号计算和数值搜索
2. 推广困难: 对于其他自同构群的情况，方法的直接推广并不明显
3. 理论理解: 缺乏对为什么这种特定构造有效的深层理论解释

未来方向

1. Mumford平面: 利用Keum平面的知识寻找Mumford伪射影平面的显式方程
2. 方法优化: 寻找更简洁的变量使得Dolgachev曲面的方程简化
3. 一般理论: 发展更一般的显式构造理论框架

深度评价

优点

1. 技术创新: 巧妙结合了代数几何理论、计算代数和数值方法
2. 完整性: 完成了一个重要分类问题的显式构造
3. 方法论贡献: 提供了处理类似问题的系统方法
4. 计算技巧: 展示了现代计算工具在纯数学研究中的强大作用

不足

1. 理论深度: 更多是计算技巧的展示，缺乏深层的理论洞察
2. 可读性: 大量技术细节使得论文较难理解
3. 推广性: 方法的一般化程度有限

影响力

1. 学术价值: 为伪射影平面理论提供了重要的显式例子
2. 计算几何: 推进了计算代数几何的发展
3. 方法论: 为类似的显式构造问题提供了范例

适用场景

该方法特别适用于：

1. 具有丰富对称性的代数簇的显式构造
2. 需要结合理论分析和大规模计算的几何问题
3. 伪射影平面及相关曲面的研究

参考文献

论文引用了该领域的关键文献，包括：

• Mumford的原始构造
• Cartwright-Steger的分类工作
• Keum关于特定伪射影平面的研究
• 作者之前关于显式构造的系列工作

总结: 这篇论文通过精巧的理论分析和大规模计算，成功完成了具有21阶自同构群的伪射影平面显式方程的构造，为这一重要的代数几何问题提供了完整的解答。尽管方法复杂，但其技术创新和完整性使其成为该领域的重要贡献。