[论文解读] Enumerating Cuspidal Curves on Toric Surfaces

Yaniv Ganor|arXiv (Cornell University)|Jun 14, 2013

Polynomial and algebraic computation被引用 5

一句话总结

本文通过热带几何与拼接法，解决了在一般点配置下，计数在 торических 曲面上通过且具有一个尖点及指定数量节点的有理曲线的枚举问题。利用热带化与重构极限纤维，证明该计数等于特定热带曲线的重数之和，从而通过热带化与从极限纤维重构，为这些枚举不变量提供了组合公式。

ABSTRACT

Enumerative algebraic geometry deals with problems of counting geometric objects defined algebraically, An important class of enumerative problems is that of counting curves: given a class of curves in some projective variety defined by fixing some algebraic or geometric invariants (such as degree, genus and types of singularities), the problem usually takes the form of "how many curves of that class pass through a configuration of n points in general position?" Tropical Geometry deals with certain piecewise-linear complexes, which arise as degeneration of families of complex algebraic varieties, and can also be described algebraically using "max-plus" algebra, (The tropical semi-field). The problem we solve is that of counting rational curves with one cusp and certain number of nodes on toric surfaces, passing through a configuration of sufficient points in general position. We show that that this number equals the number of certain tropical curves counted with multiplicities and we describe these curves and their multiplicities. The main tools are tropicalization and patchworking. In tropicalization we pass from an equisingular family of curves to a special limit fiber which can be described in terms of tropical data and analytic data. We then classify these possible limits, and use the patchworking theorem to reconstruct the families that correspond to them.

研究动机与目标

• 解决在 торических 曲面上计数具有一个尖点及固定节点数的有理曲线的枚举问题。
• 建立一般线性系统中代数曲线与具有特定重数的热带曲线之间的对应关系。
• 通过热带化分类由等 singularity 家族产生的可能极限纤维。
• 利用拼接定理从其热带极限重构代数曲线族。

提出的方法

• 使用热带化将等 singularity 曲线族退化到由热带与解析数据描述的特殊极限纤维。
• 基于其热带结构与退化过程中的关联解析数据，对极限纤维进行分类。
• 根据极限纤维的几何结构与退化结构，为热带曲线分配重数。
• 应用拼接定理，从分类后的热带极限重构代数曲线族。
• 通过组合与几何分析，建立代数曲线计数与热带曲线加权和之间的对应关系。
• 使用 max-plus 代数与热带几何中的分段线性结构，对枚举不变量进行建模与计算。

实验结果

研究问题

• RQ1 当通过一般点配置时，如何枚举在 торических 曲面上具有一个尖点及固定节点数的有理曲线？
• RQ2 计数此类曲线的枚举不变量的热带对应物是什么？
• RQ3 哪些热带曲线对计数有贡献，其重数如何？
• RQ4 来自等 singularity 家族的极限纤维如何与退化过程中的热带数据相关联？
• RQ5 能否使用拼接定理从其热带极限重构原始代数曲线族？

主要发现

• 在 торических 曲面上，通过一般点配置且具有一个尖点及指定节点数的有理曲线的数量，等于特定热带曲线重数之和。
• 重数由热带化过程中极限纤维的几何结构决定。
• 极限纤维的分类使得贡献的热带曲线可被完全组合描述。
• 拼接定理确保每个此类热带曲线在原始流形中对应唯一的代数曲线族。
• 代数与热带计数之间的对应关系是精确且带重数加权的，为该枚举问题提供了完整解法。
• 该方法为使用热带几何与退化技术系统计算枚举不变量提供了有效途径。