[论文解读] A Caporaso-Harris type Formula for relative refined invariants

Thomas Blomme|arXiv (Cornell University)|Dec 13, 2019

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

一句话总结

本文提出了一种用于计算 торических曲面上有理曲线的相对精化不变量的递归公式，将Caporaso-Harris方法推广至具有精化重数的热带几何。通过将曲线的弦退化为低次组件（如楼层或环路），将高次不变量的计算简化为更简单的不变量，从而得到一种系统化算法，用于计算精化为经典不变量与Welschinger不变量的Laurent多项式不变量（在q = ±1时）。

ABSTRACT

G. Mikhalkin introduced a refined count for real rational curves in a toric surface which pass through some points on the toric boundary of the surface. The refinement is provided by the value of a so-called quantum index. Moreover, he proved that the result of this refined count does not depend on the choice of the points. The correspondence theorem allows one to compute these invariants using the tropical geometry approach and the refined Block-Göttsche multiplicities. In this paper we give a recursive formula for these invariants, that leads to an algorithm to compute them.

研究动机与目标

• 开发一种用于计算 торических曲面上有理曲线的相对精化不变量的递归公式，将经典Caporaso-Harris方法推广至精化重数。
• 提供一种基于热带几何与精化Block-Göttsche重数的算法框架，用于计算这些不变量。
• 将精化计数的不变性推广至完全实情况之外，考虑包含共轭点对的配置。
• 证明该递归结构适用于所有次数与所有 торические曲面，而不仅限于h-横截多边形或标准三角形。

提出的方法

• 该方法使用热带几何，通过指定无界端的参数化热带曲线来建模 торических曲面上的有理曲线。
• 采用退化技术，通过移除曲线的弦，生成对应于低次不变量的退化组件（如楼层或环路）。
• 精化重数以Laurent多项式编码，递归公式将次数d的不变量表示为低次不变量的函数。
• 通过分析热带曲线的模空间并计算边上的矩条件，推导出该公式。
• 该方法通过允许退化至非标准 торических曲面（如除数的并或具有多个环路的曲线）来推广经典Caporaso-Harris递归。
• 通过显式计算1至5次的递归计算，验证了该方法，结果与已知不变量一致，并揭示了环路配置带来的新贡献。

实验结果

研究问题

• RQ1 能否为 торических曲面上的相对精化不变量建立一种递归公式，使其超越经典不变量，推广Caporaso-Harris方法？
• RQ2 当热带曲线发生退化时，以Laurent多项式编码的精化重数如何表现？
• RQ3 环路配置（如弦退化为除数并）在高次不变量的递归计算中起什么作用？
• RQ4 递归结构在多大程度上依赖于无界边的选择，这又如何影响向低次不变量的约化？
• RQ5 该公式能否在所有次数与所有 торических曲面（包括非h-横截多边形）上统一应用？

主要发现

• 递归公式成功计算出精化不变量 $ N_{\text{trop}}^{\text{ref}}(1^4) = q^3 + 10q^2 + 55q + 172 + 55q^{-1} + 10q^{-2} + q^{-3} $，其贡献来自楼层与环路配置。
• 在四次时，有六条额外的曲线因在原点周围形成环路而对不变量有贡献，表明并非所有贡献曲线均为楼层型。
• 不变量 $ N_{\text{trop}}^{\text{ref}}(1^5) $ 包含了退化为带附加直线的环路的曲线的贡献，表明在更高次时存在更复杂的退化模式。
• 在六次及以上时，退化组件 $ \tilde{\tau}_i $ 可能具有非标准度数（例如，不为大小l的三角形），因此公式必须包含来自多个 торических曲面的不变量。
• 该公式通过允许退化至具有不同拓扑与组合类型的组件（而不仅限于楼层）推广了经典Caporaso-Harris递归。
• 该方法实现了对所有次数的精化不变量的算法计算，提供了1至5次的显式结果，并对四次及以上出现环路配置的结构原因提供了解释。