[论文解读] An example of a reducible Severi variety

Ilya Tyomkin|arXiv (Cornell University)|Nov 24, 2013

Polynomial and algebraic computation参考文献 8被引用 5

一句话总结

该论文构造了首个已知的在toric曲面上具有正维数且可约的Severi簇的例子，证明了Severi簇的经典不可约性结果并非普遍成立。通过使用toric几何与tropical方法，作者表明在特定线性系统中，toric曲面上的椭圆曲线Severi簇恰好有两个不可约分支，每个分支参数化具有不同几何构型的节点曲线，从而在此设定下提供了对预期不可约性的反例。

ABSTRACT

We construct a positive-dimensional, reducible Severi variety on a toric surface.

研究动机与目标

• 构造一个反例，以反驳所有toric曲面上Severi簇均为不可约的猜想。
• 证明正维数的Severi簇可以是可约的，从而挑战基于有理曲面经典结果的普遍不可约性信念。
• 利用toric几何与tropical方法，分析Severi簇的几何与组合结构。
• 识别并表征Severi簇的两个不同不可约分支，每个分支对应于节点与正规化数据的不同构型。

提出的方法

• 构造使用一个由完整扇形定义的toric曲面，其射线由±2e₁±e₂生成，从而得到一个具有特定ample线丛L的曲面X。
• Severi簇V参数化|L|中不经过零维轨道的不可约、约化的一般型椭圆曲线，其亏格通过关联多边形Δ的内部格点数计算。
• 通过正规化数据分析该簇：椭圆曲线E带有四个标记点p₁,…,p₄，以及满足条件div(φ(m)) = ∑(m,nᵢ)pᵢ的同态φ: M → ℂ(E)。
• V的两个分支通过椭圆曲线(E,O)上点p的阶数（2或4）来区分，从而形成具有不同单值性行为的两族曲线。
• 使用tropical几何与amoeba理论表明，两个分支分别对应于多边形Δ₀的不同M′-细分，具有不同的amoebas，从而通过Mikhalkin的实现定理证明其不可约性不成立。
• 使用计算代数几何（Macaulay2）计算分支的次数：deg(W₂) = 8，deg(W₄) = 26，确认其为不同簇。

实验结果

研究问题

• RQ1 在toric曲面上，正维数的Severi簇是否可以是可约的？
• RQ2 导致Severi簇可约性的几何或组合条件是什么？
• RQ3 若单值性作用在节点上不为全对称群，是否意味着可约性？
• RQ4 当经典方法失效时，tropical几何能否区分Severi簇的分支？
• RQ5 在toric曲面上，给定线性系统中的一般型椭圆曲线的Severi簇是否总是不可约的？

主要发现

• 参数化toric曲面X上|L|中一般型椭圆曲线的Severi簇V是可约的，且为4维等维簇。
• V恰好有两个不可约分支，每个分支对应于正规化数据中某标记点在椭圆曲线上阶为2或4的曲线。
• 每个分支均包含对应于不可约、约化、具有一个节点的一般型椭圆曲线的点。
• |L|中每个分支的闭包包含不可约的有理型节点曲线，表明Harris不可约性证明的第二步成立。
• 两个分支通过其tropical amoebas加以区分：一个对应Δ₀的M′-细分，另一个对应不同的细分，通过Mikhalkin的实现定理证明其分离性。
• 分支的次数计算为deg(W₂) = 8与deg(W₄) = 26，确认其为不同簇。