[论文解读] Rational points of elliptic surfaces and Zariski $N$-ples for cubic-line, cubic-conic-line arrangements

Shinzo Bannai, Hiro‐o Tokunaga+1 more|arXiv (Cornell University)|Oct 7, 2017

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

该论文利用有理椭圆曲面上的有理点及截面的算术性质，首次构造出不含拐切线的三次-直线与三次-圆锥-直线构型的 Zariski 三元组与四元组。通过分析沿曲线分支的伽罗瓦覆盖，并结合双分线与接触圆锥，作者给出了具有相同组合结构但不同拓扑类型的七次构型的显式例子，解决了长期以来在六次及拐切线之外的 Zariski 对构造中的一个关键空白。

ABSTRACT

In this paper, we continue the study of the relation between rational points of rational elliptic surfaces and plane curves. As an application, we give first examples of Zariski pairs of cubic-line arrangements that do not involve inflectional tangent lines.

研究动机与目标

• 构造不含拐切线的七次平面曲线构型的新 Zariski $N$-元组，扩展此前涉及此类直线的已知例子。
• 发展并应用有理椭圆曲面上的算术技术——特别是有理点与截面——以生成具有相同组合结构但不同拓扑类型的几何构型。
• 提供由有理椭圆纤维上的有理点导出的接触圆锥与双分线的显式代数构造，从而实现在低次、非拐切线情形下的 Zariski $N$-元组。
• 证明拐切线的缺失并不排除 Zariski 对或 $N$-元组的存在，从而拓展了代数几何中已知例子的范围。

提出的方法

• 作者使用有理椭圆曲面 $\varphi_{\mathcal{Q},z_o}: S_{\mathcal{Q},z_o} \to \mathbb{P}^1$，其构造为 $\mathbb{P}^2$ 沿 $\mathcal{Q} = \mathcal{L}_o + \mathcal{E}$ 的双覆盖，再在三次曲线 $\mathcal{E}$ 上光滑点 $z_o$ 的原像处进行两次爆破。
• 利用通用纤维 $E_{\mathcal{Q},z_o}(\mathbb{C}(t))$ 上的有理点，通过 Mordell-Weil 群与 $D_4^*$-构型的几何方法，构造双分线与接触圆锥。
• 通过有理点 $P_j$ 与线性函数 $r(t)$，推导出接触圆锥 $\mathcal{C}_j$ 的显式方程，其系数依赖于参数 $b_j$，从而得到与 $\mathcal{Q}$ 具有偶数阶相交重数的圆锥。
• 构造依赖于如下条件：若光滑圆锥 $\mathcal{C}$ 对 $\mathcal{B}$ 是接触圆锥，则所有相交重数 $I_x(\mathcal{C},\mathcal{B})$ 均为偶数，且 $\mathcal{B}$ 在 $x$ 处光滑，以确保适当的相切。
• 利用沿曲线 $\mathcal{B}^i$ 分支的伽罗瓦覆盖作为拓扑不变量，以区分尽管组合结构相同但非同胚的结构。
• 该方法通过改变有理点及其关联的圆锥，系统性地生成多个构型 $\mathcal{B}^1, \mathcal{B}^2, \dots$，从而得到 $N=3$ 与 $N=4$ 的 Zariski $N$-元组。

实验结果

研究问题

• RQ1 能否为不包含任何三次曲线拐切线的三次-直线与三次-圆锥-直线构型构造出 Zariski $N$-元组？
• RQ2 当排除拐切线时，是否存在具有相同组合类型但嵌入 $\mathbb{P}^2$ 中非同胚的七次曲线构型？
• RQ3 能否系统性地利用有理椭圆曲面上有理点的算术性质，生成接触圆锥与双分线，从而得到拓扑不同的曲线构型？
• RQ4 能否构造此类接触圆锥的显式代数方程，并利用 Mordell-Weil 群结构验证其相切性与相交性质？
• RQ5 在不依赖拐切线的前提下，产生 Zariski $N$-元组所需的最小次数与几何复杂度是多少？

主要发现

• 作者构造了一个不含拐切线的七次曲线 Zariski 三元组 $ (\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3) $，其由一个节点三次曲线 $\mathcal{E}$、一条横截直线 $\mathcal{L}_o$ 以及三条或四条接触圆锥组成。
• 从一个节点三次曲线 $\mathcal{E}$、一条横截直线 $\mathcal{L}_o$ 和四条接触圆锥出发，构造出一个 Zariski 4-ple $ (\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3, \mathcal{B}^4) $，所有构型具有相同的组合结构但非同胚的拓扑类型。
• 推导出与 Mordell-Weil 群上椭圆曲面有理点相关的五个接触圆锥 $\mathcal{C}_1, \dots, \mathcal{C}_5$ 的显式方程，其系数依赖于参数 $b_j$。
• 对于参数 $b_1, \dots, b_5$ 的一般选择，所得曲线 $\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3$ 构成一个 Zariski 三元组，$\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3, \mathcal{B}^4$ 构成一个 Zariski 4-ple，该结论通过伽罗瓦覆盖不变量验证。
• 该构造完全避免了拐切线，是文献中首次针对三次-直线与三次-圆锥-直线构型实现此类构造的例子。
• 该方法成功推广了以往基于拐切线的方法，证明了有理椭圆曲面上截面的算术性质即使在缺乏特殊三次对称性的情况下，也能生成拓扑不同的构型。