[论文解读] Computation of refined toric invariants II

Thomas Blomme|arXiv (Cornell University)|Jul 5, 2020

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

一句话总结

本文将精化 торические不变ные 推广至具有混合实点与复点约束的 toric 曲面中的有理曲线，消除了此前仅限于纯虚复点的限制。通过热带几何与 Block-Göttsche 重数，建立了经典精化不变量与热带精化不变量之间的对应关系，证明了精化计数仅依赖于每条 toric 道路的复点数量，推广了 Mikhalkin 与作者先前的结果。

ABSTRACT

In 2015, G.~Mikhalkin introduced a refined count for real rational curves in toric surfaces. The counted curves have to pass through some real and complex points located on the toric boundary of the surface, and the count is refined according to the value of a so called quantum index. This count happens only to depend on the number of complex points on each toric divisors, leading to an invariant. First, we give a way to compute the quantum index of any oriented real rational curve, getting rid of the previously needed "purely imaginary" assumption on the complex points. Then, we use the tropical geometry approach to relate these classical refined invariants to tropical refined invariants, defined using Block-Göttsche multiplicity. This generalizes the result of Mikhalkin relating both invariants in the case where all the points are real, and the result of the author where complex points are located on a single toric divisor.

研究动机与目标

• 将精化 toric 不变量推广至包含实点与复点的 toric 道路配置，消除此前对纯虚复点的限制。
• 在混合点约束存在的情况下，建立经典精化不变量与热带精化不变量之间的对应关系。
• 计算任意定向实有理曲线的量子指标，无需复点为纯虚数。
• 证明精化计数仅依赖于每条 toric 道路的复点数量，从而确立真正的不变量。

提出的方法

• 提出一种计算任意定向实有理曲线量子指标的方法，消除了对纯虚复点假设的需求。
• 应用热带几何，通过 Block-Göttsche 重数将经典精化不变量与热带精化不变量关联。
• 利用代数曲线的热带化，将经典枚举问题转化为热带问题。
• 采用涉及对数面积与矩条件的递推公式，计算顶点与无界端的贡献。
• 通过顶点与无界端上的乘积公式推导精化计数，利用 [·]_− 符号引入量子指标。
• 建立对应定理，表明在给定约束下，经典精化不变量与通过 Block-Göttsche 重数计算的热带精化不变量一致。

实验结果

研究问题

• RQ1 如何在不假设复点为纯虚数的前提下，计算实有理曲线的量子指标？
• RQ2 当复点分布在多个 toric 道路时，经典精化不变量与热带精化不变量之间存在何种关系？
• RQ3 在混合实/复点情况下，有理曲线的精化计数是否仅依赖于每条 toric 道路的复点数量？
• RQ4 热带方法能否扩展至一般混合点约束情况下的精化不变量计算，而不仅限于纯实点或单条道路复点的情况？
• RQ5 在一般情形下，精化不变量的精确公式如何用热带重数与量子指标表示？

主要发现

• 通过混合实点与复点约束的有理曲线的精化计数，仅依赖于每条 toric 道路的复点数量，确立了真正的不变量。
• 任意定向实有理曲线的量子指标可不依赖于复点为纯虚数的假设进行计算，推广了先前结果。
• 经典精化不变量与通过 Block-Göttsche 重数计算的热带精化不变量一致，将 Mikhalkin 的对应关系推广至混合情形。
• 热带曲线对精化计数的贡献由顶点与无界端的乘积给出，涉及 [·]_− 符号与 [2θ−1]_+ 项。
• 对于具有 |s| 个无界端的曲线，精化计数包含因子 4·2^{|s|}/[1]_−^{|s|}，反映了端点对量子指标的贡献。
• 第一阶解的精化数量的最终公式为 4·(2^{|s|}/[1]_−^{|s|})·∏_V [m_V/2]_−，其中 m_V 为顶点 V 处的重数。