[论文解读] A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

Eugeniĭ Shustin|ArXiv.org|Jun 6, 2004

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

一句话总结

本文通过将实 toric Del Pezzo 曲面的 Welschinger 不变量与关联 Newton 多边形中热带曲线和格路的总重数联系起来，建立了一个热带公式来计算这些不变量。该方法基于格多边形的一致剖分，提供了一种组合的、递归的算法，可精确计算通过共轭不变点构型的实有理曲线数量，其关键结果是通过热带几何与格路计数，得到了 Welschinger 不变量的闭式表达式。

ABSTRACT

The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also present the results of computation of Welschinger invariants, obtained jointly with I. Itenberg and V. Kharlamov.

研究动机与目标

• 开发一种组合方法，用于计算实 toric Del Pezzo 曲面的 Welschinger 不变量，这些不变量是亏格零 Gromov-Witten 不变量的实版本。
• 解决在同时存在实点与共轭虚点构型时，Welschinger 不变量缺乏闭式或递归公式的问题。
• 将热带枚举几何扩展至处理共轭不变构型，从而实现对提供实有理曲线计数非平凡下界的不变量的计算。
• 通过赋值与退化技术，建立实有理热带曲线与代数曲线之间的精确对应，确保在一般构型下不变量的不变性。

提出的方法

• 该方法使用非阿基米德赋值，将复代数曲线通过 Puiseux 级数提升为 R² 中的热带曲线，同时保持其枚举性质。
• 通过坐标赋值，将实有理热带曲线构造为通过一般实点与共轭虚点构型的代数曲线的极限。
• 一种递归算法通过添加三角形或平行四边形，对 Newton 多边形 ∆ 进行一致剖分，确保所得热带曲线满足平衡条件并具有正确的类型 (r′, r′′, s′′)。
• Welschinger 不变量被计算为所有一致热带曲线的加权贡献之和，其中权重取决于对应代数曲线中孤立节点的数量。
• 该算法对顶点集 V 和 W 施加约束，以确保仅相关热带曲线有贡献，且仅当 |σj| 为奇数时（j ∈ V）贡献非零。
• 最终公式将 Welschinger 不变量表达为所有按一般线性函数 λ 有序排列的 ∆ ∩ ℤ² 中格点序列的求和，一致剖分产生总不变量。

实验结果

研究问题

• RQ1 当点构型同时包含实点与共轭虚点时，如何计算实 toric Del Pezzo 曲面的 Welschinger 不变量？
• RQ2 Welschinger 不变量的热带对应物是什么？它与实有理曲线枚举有何关系？
• RQ3 基于格多边形剖分的递归组合算法能否为这些曲面提供 Welschinger 不变量的精确值？
• RQ4 何种条件可确保一个热带曲线对应一个具有特定孤立节点数的实代数曲线？这如何影响不变量的符号？
• RQ5 热带方法如何将仅适用于全实点构型的先前结果推广至包含共轭对的一般情况？

主要发现

• Welschinger 不变量 W_r′′(Σ, D) 通过 Newton 多边形 ∆ 的所有一致剖分求和计算，每个剖分根据热带曲线重数贡献加权计数。
• 对于实平面圆锥曲线（Δ = Conv{(0,0),(0,3),(3,0)}），该公式给出 W_r′′(ℙ², 3L) = 8 − 2r′′，通过热带枚举确认了已知结果。
• 该方法通过热带几何追踪对应代数曲线中孤立节点数的奇偶性，正确处理了 Welschinger 不变量的符号。
• 不变量与 Ω_r′′(Σ, D) 中一般构型的选择无关，该结论通过热带退化及变形下的不变性得到证明。
• 该构造表明 W_4(ℙ², 3L) = 0，且该结果由通过四对共轭虚点的非奇异实圆锥曲线线束的存在性所证实。
• 该算法通过在顶点集上施加约束，成功处理了共轭虚点的情况，确保仅当边长为奇数时的剖分才对结果有非平凡贡献。