[论文解读] Explicit Schoen surfaces

Carlos Rito, Xavier Roulleau+1 more|arXiv (Cornell University)|Sep 8, 2016

Algebraic Geometry and Number Theory参考文献 21被引用 3

一句话总结

本文首次为 ℙ⁴ 中的 40 个节点完整交集曲面提供了显式方程，这些曲面是 Schoen 曲面的 canonical 映射图像——作为 Igusa 四次三复形与一个特殊选定的二次曲面的交集而构造。关键贡献是一个包含 4 个参数的此类曲面族，其中包含一个具有 240 个自同构和最大 Picard 数的显式例子，通过代数几何工具将长期存在的理论存在性结果具体化。

ABSTRACT

We give an explicit construction for the $4$-dimensional family of Schoen surfaces by computing equations for their canonical images, which are $40$-nodal complete intersections of a quadric and the Igusa quartic in $\mathbb P^4$. We then study a particularly interesting example, with $240$ automorphisms and maximal Picard number.

研究动机与目标

• 为 Schoen 曲面的 canonical 图像提供显式多项式方程，此前这些曲面仅以理论方式被证明存在。
• 构造 ℙ⁴ 中 40 个节点、度为 8 的曲面的 4 维族，作为 Igusa 四次曲面与一个二次曲面的完全交集。
• 识别并分析一个具有 240 个自同构和最大 Picard 数的特殊 Schoen 曲面，提供此类曲面罕见的几何实例。
• 证明一般 15 个节点的四次 K3 曲面可作为 Igusa 四次曲面三复形的超平面截面，从而建立模形式理论上的联系。

提出的方法

• 构造使用了 ℙ⁴ 中的 Igusa 四次曲面 I₄ ⊂ ℙ⁴，其沿 15 条 A₁ 奇点直线具有奇点，与一般二次曲面 Q₂ 的交集为一个度为 8 的曲面，具有 30 个节点。
• 关键步骤是寻找一个与 15 条奇点直线横截但与 I₄ 在额外 10 个点处相切的二次曲面 Q₂，从而将节点数增加至 40。
• 通过计算机代数以及 Igusa 四次曲面及其对偶——Segre 三次曲面的几何性质，显式计算了 Q₂ 的系数作为 4 个参数的函数。
• 证明了所得曲面 X₄₀ 的 canonical 映射是 2:1 的，其分支点集恰好为 40 个节点，从而构造出双覆盖 S → X₄₀，即为 Schoen 曲面。
• 利用格理论方法和 Néron-Severi 群分析，计算了具有 240 个自同构的示例的 Picard 数和 Albanese 变体的同源类。
• 通过 Néron-Severi 格 N 分析 15 个节点 K3 曲面的模空间，证明其不可约，并同构于一个算术商 D_N / Γ。

实验结果

研究问题

• RQ1 能否通过多项式方程显式构造 ℙ⁴ 中 40 个节点、度为 8 的曲面（即 Schoen 曲面的 canonical 图像）？
• RQ2 具有大自同构群（如 240 个自同构）的 Schoen 曲面的几何与算术结构是怎样的？
• RQ3 15 个节点的 K3 曲面的 Néron-Severi 群是否与格 N = U(2)⊕U(2)⊕⟨-2⟩⊕⟨-4⟩ 等距同构？这是否意味着其存在一个四次曲面的投影模型？
• RQ4 一般 15 个节点的四次 K3 曲面能否被实现为 Igusa 四次曲面三复形的超平面截面？
• RQ5 15 个节点 K3 曲面的模空间是什么？它是否不可约？

主要发现

• 本文首次构造了 ℙ⁴ 中 40 个节点、度为 8 的曲面的显式方程，其为 Igusa 四次曲面与一个含 4 个参数的二次曲面 Q₂ 的完全交集。
• Schoen 曲面的 canonical 映射是 2:1 映射到 40 个节点的曲面 X₄₀，其分支点集恰好为 40 个节点。
• 构造了一个具有 240 个自同构的 Schoen 曲面示例，其 Albanese 变体同源于具有复乘法的椭圆曲线的乘积。
• 该特殊 Schoen 曲面的 Picard 数达到最大值 20，这在代数曲面研究中极为罕见且具有重要意义。
• 15 个节点 K3 曲面的模空间被证明是不可约的，并同构于一个算术商 D_N / Γ，其 Néron-Severi 格 N 的正交补为 U(2)⊕U(2)⊕⟨-2⟩⊕⟨-4⟩。
• 证明了一般具有 15 个节点的四次曲面是 Igusa 四次曲面三复形的超平面截面，从而实现了模理论上的完整表征。