[论文解读] New explicit constructions of surfaces of general type

Lev Borisov, Enrico Fatighenti|arXiv (Cornell University)|Apr 6, 2020

Algebraic Geometry and Number Theory参考文献 12被引用 5

一句话总结

本文提出了一种新的构造方法，利用 $\mathrm{Gr}(3,V_6)$ 中完全交的自由商，构建了一个四维光滑型一般型曲面族，其 $p_g = q = 0$，$K^2 = 3$，且基本群为循环群 $C_{14}$。该方法使得通过高级计算机代数系统显式计算六对新伪射影平面的方程成为可能，从而扩展了此类曲面的分类。

ABSTRACT

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.

研究动机与目标

• 构造一个四维一般型曲面族，满足 $p_g = q = 0$，$K^2 = 3$，基本群为 $C_{14}$。
• 开发一种计算方法，通过退化与群作用，显式确定伪射影平面（FPPs）的方程。
• 通过恢复与已知例子处于同一共轭类中的新对，扩展伪射影平面的分类。
• 展示计算机代数系统在解决涉及高次方程与数域的代数几何难题方面的可行性。
• 提供一个适用于其他低 $p_g$ 与 $q$ 的曲面显式构造场景的框架。

提出的方法

• 构造一个 13 维代数簇 $W \subset \mathbb{P}^{12}$，满足 $p_g(W) = 13$，$q(W) = 0$，$K^2_W = 42$，并配备一个自由的 $C_{14}$-作用。
• 将所需的曲面 $S$ 实现为商曲面 $S = W / C_{14}$，从而继承不变量 $p_g(S) = q(S) = 0$，$K^2_S = 3$，且 $\pi_1(S) \cong C_{14}$。
• 利用退化技术将商曲面与伪射影平面关联，特别是通过已知 FPP 的 $C_3$-商。
• 应用计算机代数系统求解定义在 $\mathbb{Q}(\sqrt{-15})$ 上的 8 个变量的 10 个齐次方程组，其中包含三次与四次型。
• 利用伽罗瓦对称性与自同构，减少方程数量，通过 $\sigma$-共轭关系从一组基础方程生成额外方程。
• 验证所得代数簇为光滑一般型曲面，满足 $p_g = q = 0$，$K^2 = 3$，基本群为 $C_{14}$，确认其为伪射影平面。

实验结果

研究问题

• RQ1 能否通过几何商方法显式构造一个四维一般型曲面族，满足 $p_g = q = 0$，$K^2 = 3$，且基本群为 $C_{14}$？
• RQ2 退化与群作用如何用于从已知例子中恢复伪射影平面的显式方程？
• RQ3 在数域上求解高次、多元方程组以构造具有指定不变量的曲面时，哪些计算技术是有效的？
• RQ4 该方法能否推广至寻找同一共轭类中的其他伪射影平面对？
• RQ5 伽罗瓦对称性与自同构在降低此类曲面方程复杂度方面起到何种作用？

主要发现

• 本文构造了一个四维一般型曲面族，满足 $p_g = q = 0$，$K^2 = 3$，基本群为 $C_{14}$，其构造方式为 $\mathrm{Gr}(3,V_6)$ 中完全交的自由商。
• 显式构造了六对新的伪射影平面，其中一对的首阶同调群为 $C_{14}$，对称群为 $C_3 \times C_3$，确认其存在于已知 FPP 的共轭类中。
• 作者计算了这些曲面的显式方程：在 $\mathbb{Q}(\sqrt{-15})$ 上的 8 个变量中包含 10 个齐次方程，其中 6 个为三次方程，4 个为偶次三次方程，系数中含有 $\sqrt{-15}$。
• 通过计算机代数验证，这些方程定义了一个光滑一般型曲面，满足 $p_g = q = 0$，$K^2 = 3$，基本群为 $C_{14}$，确认其为伪射影平面。
• 该方法成功恢复了同一共轭类中另外五对伪射影平面，展示了计算代数几何在此领域中的强大能力。
• 该构造依赖于涉及高次多项式与伽罗瓦共轭的非平凡计算机计算，暗示其在类似曲面分类问题中具有更广泛的应用潜力。