[论文解读] Enumeration of plane unicuspidal curves of any genus via tropical geometry

Yaniv Ganor, Eugeniĭ Shustin|arXiv (Cornell University)|Jul 30, 2018

Polynomial and algebraic computation参考文献 29被引用 4

一句话总结

本文通过修改后的格路算法，利用热带枚举几何，建立了具有单尖点和节点的复代数曲线及其在toric曲面上的热带对应物之间的对应关系。关键结果是针对h-横截多边形，给出了具有一个尖点和节点、亏格为g、度数为Δ的曲线在指定点约束下的闭式组合公式。

ABSTRACT

We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family, as $d o\infty$.

研究动机与目标

• 开发一种热带方法，用于枚举toric曲面上具有单尖点和节点的复代数曲线。
• 将Mikhalkin的格路算法扩展至包含尖点热带曲线，实现有效枚举。
• 建立具有指定奇点和点条件的代数曲线与热带曲线之间的对应关系。
• 提供热带曲线上尖点片段重数的显式公式。
• 将结果扩展至实枚举几何，证明在一般族中实r-尖点曲线的渐近等分布性。

提出的方法

• 使用热带几何将toric曲面上的代数曲线建模为带标记点的度量图（热带曲线）。
• 定义具有单尖点和节点的代数曲线与具有尖点片段和三价顶点的热带曲线之间的对应关系。
• 引入一种使用λ-单调排序的修改后格路算法，以枚举亏格为g、度数为Δ的热带曲线。
• 将每条热带曲线的重数计算为尖点片段权重与Mikhalkin顶点权重的乘积。
• 对于h-横截多边形，推导出三类尖点片段的显式闭式公式：有理四价顶点、有理平直三价顶点和椭圆边。
• 应用patchworking技术和变形理论，验证代数设定下横截性和重数计数。

实验结果

研究问题

• RQ1 如何利用热带几何枚举toric曲面上具有单尖点和节点的代数曲线？
• RQ2 对应于单尖点代数曲线的热带曲线的组合结构是什么？
• RQ3 能否构建Mikhalkin格路算法的修改版本以计数尖点热带曲线？
• RQ4 热带曲线上尖点片段的显式重数公式是什么？
• RQ5 在一般族中，实枚举计数的r-尖点曲线与复曲线的渐近比较如何？

主要发现

• 在度数为Δ的toric曲面上，具有一个尖点和节点的复亏格g曲线的数量，等于所有通过N个一般点的亏格g、度数Δ的热带曲线的尖点重数之和。
• 对于h-横截多边形，尖点片段类型分为三类：有理四价顶点、有理平直三价顶点和椭圆边，每类均有显式重数公式。
• 修改后的格路算法将总数计算为Δ中长度为N的λ-单调格路之和，每条路径贡献一个可计算的重数。
• 尖点片段的重数由尖点处局部等类形形变重数之和决定，其公式为 mult(ℬ₂ₖ^{ec}) = k。
• 对于实曲线，在任意2r维的一般度数d曲线族（d ≥ 2r+3）中，实r-尖点曲线的数量在d → ∞时渐近等价于复r-尖点曲线的总数。
• 通过变形空间的横截性和退化框架中增强热带极限的使用，建立了代数曲线与热带曲线之间的对应关系。