[论文解读] Severi degrees on toric surfaces

Fu Liu, Brian Osserman|arXiv (Cornell University)|Jan 27, 2014

Polynomial and algebraic computation参考文献 11被引用 7

一句话总结

本文通过为Severi次数的通用多项式表达式中的系数提供显式组合公式，将Goettsche-Yau-Zaslow公式扩展到对 toric 曲面上的节点曲线计数。基于热带几何和线性结果，本文证明了Ardila与Block定理的更强版本，引入了对有理双曲点的修正项，并建立了线性化生成系列与格点多边形不变量（如行列式和边长）之间的精确公式。

ABSTRACT

Ardila and Block used tropical results of Brugalle and Mikhalkin to count nodal curves on a certain family of toric surfaces. Building on a linearity result of the first author, we revisit their work in the context of the Goettsche-Yau-Zaslow formula for counting nodal curves on arbitrary smooth surfaces, addressing several questions they raised by proving stronger versions of their main theorems. In the process, we give new combinatorial formulas for the coefficients arising in the Goettsche-Yau-Zaslow formulas, and give correction terms arising from rational double points in the relevant family of toric surfaces.

研究动机与目标

• 通过证明更强的定理，强化Ardila与Block关于 toric 曲面上节点曲线的 Severi 次数结果。
• 为 Goettsche-Yau-Zaslow 通用多项式中系数提供显式组合公式。
• 在 toric 曲面族中引入由有理双曲点引起的修正项。
• 建立线性化生成系列与多边形几何不变量（如 det(Δ)、idet(Δ) 和边长）之间的精确联系。
• 解决Ardila与Block工作中关于 universality 和 linearity 在 toric 曲面背景下的开放问题。

提出的方法

• 作者使用热带几何技术，特别是长边图和模板，来模拟 toric 曲面上的节点曲线。
• 他们应用Liu（2012）的线性结果，将 Severi 次数分解为多边形不变量的线性贡献。
• 该方法涉及通过行列式和边方向分析多边形顶点的上下贡献。
• 通过检查非线性偏差（特别是当多边形顶部或底部出现水平边或小行列式（1或2）时）推导出修正项。
• 通过边数据和顶点不变量的组合重构，计算生成系列 QΔ,δ，给出 Qδ(Y,L) 关于 w, x, y, z 的显式公式。
• 该方法使用幂级数展开和模形式（如Eisenstein级数和模判别式）将生成函数 Q(t) 表示为 f1(t)、f2(t)、f3(t)、f4(t) 的线性组合。

实验结果

研究问题

• RQ1 即使在表面具有有理双曲点的情况下，toric 曲面上的 Severi 次数是否仍能以与光滑曲面相同的方式，通过通用多项式表达？
• RQ2 线性化生成系列 QΔ,δ 中系数 aδ,1、aδ,2、aδ,3、aδ,4 的显式组合公式是什么？
• RQ3 toric 曲面族中的有理双曲点如何影响 Severi 次数计数？能否系统地推导出修正项？
• RQ4 顶部和底部顶点对 canonical class K² 及其他不变量在 Goettsche-Yau-Zaslow 公式中的精确贡献是什么？
• RQ5 线性生成系列的线性性能否推广到具有 h-横截多边形的奇异 toric 曲面？在何种条件下成立？

主要发现

• 本文证明，对于 toric 曲面上足够充分的线丛，Severi 次数 NΔ,δ 由 L²、L·K、K² 和 c2 的通用多项式给出，将 Goettsche-Yau-Zaslow 公式推广到奇异 toric 曲面。
• 为线性化生成系列 QΔ,δ 中的系数 aδ,1、aδ,2、aδ,3、aδ,4 推导出显式组合公式，其表达式基于多边形的边长和顶点行列式。
• 引入了对有理双曲点的修正项，当多边形为强 h-横截时，K² 的公式为 12 − det(Δ)，当存在水平边时则通过附加项进行修正。
• 顶部和底部顶点对生成系列的贡献被证明为 8 − (r1 − rM) + (l1 − lM) = 12 − det(Δ)，当 d^t 或 d^b 为零时进行相应调整。
• 证明了生成函数 QΔ(t) 是幂级数 f1(t)、f2(t)、f3(t)、f4(t) 的线性组合，其系数由多边形的不变量决定。
• 当线丛为 d-非常ample 时，多边形的所有边长至少为 d，从而保证了组合模型的有效性。