[论文解读] Torsion divisors of plane curves and Zariski pairs

Enrique Artal Bartolo, Shinzo Bannai+2 more|arXiv (Cornell University)|Oct 15, 2019

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

一句话总结

本文通过利用该分量的零度Picard群中的挠类，建立了一个用于区分具有光滑不可约分支的可约平面曲线嵌入拓扑的判据。通过代数几何与Galois覆叠的显式构造，作者证明了Zariski 4元组的存在，表明挠除子作为超越基本群与Alexander多项式之外的有效不变量。

ABSTRACT

In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples.

研究动机与目标

• 澄清可约平面曲线中光滑分支的嵌入拓扑与Picard群中挠类之间隐含的关系。
• 建立一个利用挠除子区分嵌入拓扑的明确判据。
• 系统性地构造该判据适用的实例，特别关注具有光滑分支及多条切线或圆锥曲线的曲线。
• 通过椭圆曲线上几何群结构的利用，提供新的Zariski元组实例，包括一个Zariski 4元组。
• 证明即使基本群为交换群，挠不变量仍能检测出拓扑差异，从而提供比经典不变量更精细的不变量。

提出的方法

• 作者利用光滑三次曲线的几何群结构，分析切点位置，并构造具有预设交点性质的曲线。
• 他们定义并计算源自Galois覆叠的分裂不变量，特别关注分量在覆叠拉回下的行为。
• 该构造依赖于光滑分量上的除子线性等价性，其中若一个除子的某个倍数线性等价于零，则称其为挠除子。
• 他们应用类型为$(d_0,d_1; n, k)$的平面曲线理论，其中$k$表示在$k$个点处以重数二与曲线相切的圆锥数量。
• 通过定义曲线的齐次多项式进行代数运算，显式构造实例，确保光滑性与正确的交点重数。
• 计算验证通过Sagemath和Binder支持，代码在GitHub上公开，以确保可复现性。

实验结果

研究问题

• RQ1 Picard群中光滑分支的挠类能否检测出具有相同组合结构的平面曲线嵌入拓扑的差异？
• RQ2 如何系统性地构造出使得挠不变量能区分其嵌入拓扑的平面曲线？
• RQ3 可与固定光滑曲线在多个点处以重数二相切的圆锥的最大数量是多少？这又如何影响拓扑结构？
• RQ4 当基本群为交换群时，能否利用挠不变量构造出大小为四的Zariski元组？
• RQ5 椭圆曲线上群运算在分类与之相切的曲线构型的拓扑类型中起什么作用？

主要发现

• 本文证明了存在一个Zariski 4元组，由四条类型为$(4,6;6,1)$、$(4,6;6,2)$、$(4,6;6,3)$和$(4,6;6,6)$的平面曲线组成，它们具有相同的组合结构但不同的嵌入拓扑。
• 建立了一个新判据，通过光滑分量Picard群中某些挠类的非平凡性来区分嵌入拓扑。
• 通过具有非挠点的节点三次曲线与有理映射，显式构造了$k=6$条相切圆锥（类型$(4,6;6,6)$）的曲线实例。
• 该构造表明，对于一条光滑四次曲线与一条六次曲线，通过三次分量上的除子条件，可以控制在多个点处以重数二相切的圆锥数量。
• 该方法证实，即使基本群为交换群，挠不变量仍具有效性，从而提供了比基本群或Alexander多项式更精细的不变量。
• 通过Sagemath的计算验证确认了构造的正确性，且代码在GitHub上公开，可供复现。