[论文解读] The Higher Dimensional Tropical Vertex

Hülya Argüz, Mark Gross|arXiv (Cornell University)|Jul 16, 2020

Algebraic Geometry and Number Theory参考文献 31被引用 8

一句话总结

本文建立了由对 toric 变体进行爆破得到的 log Calabi-Yau 代数簇的含 punctured Gromov-Witten 不变量所构建的典范散射图，与基于 toric 几何的算法构造散射图之间的组合等价性。关键结果是，编码枚举几何数据的 punctured 不变量，可通过分段线性同构从算法构造中完全恢复，从而将 tropical vertex 推广至高维，并为任意维度下计算镜像坐标环提供了实用方法。

ABSTRACT

We study log Calabi-Yau varieties obtained as a blow-up of a toric variety along hypersurfaces in its toric boundary. Mirrors to such varieties are constructed by Gross-Siebert from a canonical scattering diagram built by using punctured log Gromov-Witten invariants of Abramovich-Chen-Gross-Siebert. We show that there is a piecewise linear isomorphism between the canonical scattering diagram and a scattering diagram defined algortihmically, following a higher dimensional generalisation of the Kontsevich-Soibelman construction. We deduce that the punctured log Gromov-Witten invariants of the log Calabi-Yau variety can be captured from this algorithmic construction. As a particular example, we compute these invariants for a non-toric blow-up of the three dimensional projective space along two lines. This generalizes previous results of Gross-Pandharipande-Siebert on "The Tropical Vertex" to higher dimensions.

研究动机与目标

• 将 Gross-Pandharipande-Siebert 的 tropical vertex 构造从二维推广至高维。
• 建立由 punctured Gromov-Witten 不变量构建的典范散射图与基于算法定义的 toric 散射图之间的组合等价性。
• 证明关键的镜像对称数据——punctured 不变量——可纯粹从算法散射过程中提取。
• 为任意维度下 log Calabi-Yau 代数簇的镜像坐标环构造提供计算框架。

提出的方法

• 利用 log Calabi-Yau 对 (X, D) 的 punctured Gromov-Witten 不变量构造典范散射图，其中 X 是沿边界中超曲面爆破的 toric 变体。
• 基于原始 toric 变体的扇形 Σ 和爆破中心 H，定义基于墙函数的算法散射图 D(XΣ,H)，其中墙函数源自热带曲线计数。
• 建立典范散射图与算法散射图之间的分段线性（PL）同构，证明二者等价。
• 利用 PL 同构证明 punctured 不变量 N~τ 被编码于算法图中，从而实现其组合计算。
• 分析散射墙及其支撑结构，以重构热带类型 τ 和接触阶数。
• 将方法应用于具体例子：对 P³ 沿两条直线进行爆破，通过热带族与墙消去法显式计算多重覆盖贡献。

实验结果

研究问题

• RQ1 能否从高维中基于 toric 数据算法重构由 punctured Gromov-Witten 不变量构建的典范散射图？
• RQ2 在高维 log Calabi-Yau 对中，典范散射图与算法构造的散射图之间是否存在分段线性同构？
• RQ3 在不进行直接几何计算的情况下，punctured Gromov-Witten 不变量在多大程度上可从散射图的组合结构中恢复？
• RQ4 算法散射图中的墙消去过程如何反映含 punctured 映射的底层热带类型与接触阶数？
• RQ5 该方法能否应用于非 toric 型爆破（如 P³ 沿两条直线的爆破）以显式计算不变量？

主要发现

• log Calabi-Yau 对 (X, D) 的典范散射图与基于 toric 扇形和爆破中心构造的算法散射图之间存在分段线性同构。
• punctured Gromov-Witten 不变量 N~τ 完全被算法散射图捕获，从而实现其组合计算。
• 对于沿两条直线爆破的 P³，例外除子的 k:1 覆盖的多重覆盖贡献为 (−1)^k+1 / k²，与二维公式一致，但适用于高维情形。
• 散射图中的墙函数编码了几何数据：例如，支撑为 ⟨e1, −e2⟩ 且函数为 1 + tL−E2y + tL−E1−E2xy 的墙，对应于由三条有理曲线构成的含 punctured 映射的族。
• 对墙消去的分析表明，最终一致的图编码了多种几何贡献，如以横截方式附着有理曲线的 k:1 覆盖，每类贡献的系数为 (k choose ℓ)。
• 四个函数为 1 + tL−E1−E2xy 的墙表明，直线族的严格提升与例外除子 E ≅ P¹×P¹ 相交于 (1,1) 类型的曲线，确认了几何相交行为。