Elliptic curve counting in toric threefolds: virtual, enumerative, and tropical

技术摘要：环面三维流形中的椭圆曲线计数：虚数、枚举与热带几何

问题陈述
本文研究了光滑环面三维流形 $X$ 中亏格 1（椭圆）曲线的枚举几何。具体而言，它调查了对于固定的曲线类 $\beta$ 和上同调条件 $\phi$，两种不同的计数不变量之间的关系：

1. 枚举不变量 ($W_{X,\beta}(\phi)$)： 通过“良间隔”（well-spaced）热带曲线定义的经过固定曲线和点条件的亏格 1 曲线的整数计数。
2. 虚数不变量 ($L_{X,\beta}(\phi)$)： 与对 $(X, \partial X)$ 的对数 Gromov–Witten 不变量，其中 $\partial X$ 是环面边界。

核心问题在于，对数 Gromov–Witten 不变量通常不是枚举性的；它们包含了来自“超丰盈”（superabundant）热带曲线（其变形空间大于预期）以及不对应于实际代数曲线（在枚举意义下）的边界层（strata）的贡献。本文旨在寻求一个将虚数计数与枚举计数联系起来的显式公式，将针对 $\mathbb{P}^3$ 的 Getzler–Pandharipande 关系推广到任意相对于其边界的环面三维流形。

方法论
作者采用了一种利用热带几何和对数退化技术的比较方法：

• 热带对应： 枚举不变量 $W_{X,\beta}(\phi)$ 通过热带对应定理（在与 Cela [14] 的先前工作中建立）计算，该定理将其表示为 $\mathbb{R}^3$ 中“良间隔”热带曲线的加权和。一个热带曲线是良间隔的，如果对于包含其回路（circuit）的每一个平面，该回路的邻域不包含在该平面内，或者该曲线通过至少三条边以最小距离离开该平面。
• 对数退化： 对数 Grom–Witten 不变量 $L_{X,\beta}(\phi)$ 通过对数 Grom–Witten 不变量的分解定理进行分析。该定理将不变量分解为对热带类型的求和，通过展开退化（expanded degenerations）将贡献简化为顶点贡献。
• 分层分析： 本文比较了对数稳定映射的模空间与良间隔对数曲线的模空间。研究发现，虽然这些空间具有由非超丰盈类型索引的相同层，但对于超丰盈类型（过剩维度 $e(\gamma) > 0$）而言，它们存在显著差异。
• 过剩维度的逐例分析： 作者根据热带类型的过剩维度 $e(\gamma)$ 对其进行了系统分析：
  • $e(\gamma) = 0$：非超丰盈曲线。
  • $e(\gamma) = 1$：回路位于平面内，但其邻域不在平面内的曲线。
  • $e(\gamma) = 2$：回路位于一条直线上的曲线。
  • $e(\gamma) = 3$：回路被收缩到一个单亏格 1 顶点的曲线。

主要贡献与结果

1. 对数 Getzler–Pandharipande 关系（定理 A）：
   主要结果建立了一个将枚举不变量与虚数不变量联系起来的显式公式：
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$： 一个修正项，用于解释过剩维度为 1 的非刚性、良间隔热带曲线。这些曲线会对枚举计数产生贡献，但在对数计数中消失。
   • $E_0$： 一个源自亏格 0 热带曲线的修正项。它是亏格 0 类型 $\gamma$ 和顶点 $v$ 的加权和，涉及边方向的外积平方 ($|u_1 \wedge u_2|^2$) 以及热带重数 $M_\gamma$。该项解释了由于亏格 1 顶点收缩为一点（过剩维度 3）而产生的差异。

2. 消失性与贡献分析：

   • 非超丰盈类型 ($e=0$)： $W$ 和 $L$ 的贡献一致。
   • 过剩维度 1 ($e=1$)： 对数贡献消失（引理 4.3.1），因为回路周围的粘合条件在第三个方向上变得平凡，导致虚类消失。然而，此类良间隔曲线可以对 $W$ 产生贡献。
   • 过剩维度 2 ($e=2$)： 本文表明，此类过剩维度的刚性热带类型（即回路位于一条直线上）除非满足特定的几何条件，否则不会对良间隔计数产生贡献，同时对数计数对于这些类型也消失。
   • 过剩维度 3 ($e=3$)： 对数贡献是非零的，且等于 $-\frac{1}{24}E_0$。良间隔贡献则消失，因为在一般条件下此类曲线并非良间隔。

3. $\mathbb{P}^3$ 的不等式（推论 B）：
   将主定理应用于 $X = \mathbb{P}^3$，本文导出了普通 Grom–Witten 不变量 ($GW^1_{a,b}$) 与对数不变量 ($L_{a,b}$) 之间的一个不等式：
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   当考虑所有直线条件时，对于足够大的度数 $d \geq 3$；或者当考虑所有点条件时，对于 $d \geq 4$，该不等式是严格的。这表明一旦度数足够高，普通的 Grom–Wowel 不变量相对于其环面边界的对数不变量会严格大于后者。

4. 计算框架：
   本文提供了一种使用**地板图（floor diagrams）**计算修正项的方法：

   • 通过引入由 $E_0$ 公式导出的顶点权重来修改 Brugallé–Mikhalkin 的地板图方法，从而计算 $E_0$。
   • 提供了低次数（$d=3, 4$）及特定条件的示例，明确计算了不变量之间的差异。

意义与主张
本文声称提供了一个针对 $\mathbb{P}^3$ 中椭圆曲线的 Getzler–Pandharipande 关系的“对数模拟”，并将其推广到所有相对于其环面边界的环面三维流形。

• 统一性： 它统一了对数 Grom–Witten 理论、高阶双分歧循环（higher double ramification cycles）以及热带枚举。
• 可实现性： 它展示了 Speyer 的良间隔性条件（最初作为实现性的工具）如何被用来产生用于修正虚数计数以获得枚举整数的组合公式。
• 独立性： 结果对于先前工作 [14] 中发现的具体组合重数是独立的；相反，它依赖于模空间的结构性比较。
• 局限性： 本文承认，虽然它提供了一个理论框架和关于修正项的显式公式，但由于超丰盈变形的复杂性，寻找适用于一般环面流形中更高亏格曲线的高效递归关系或“地板分解”约束仍然是一个开放性的挑战。

该工作并非提出新的实验应用，而是提供了一个严密的理论桥梁，连接了虚数几何与枚举几何，并在第一个非平凡情况（三维中的亏格 1）中提供了计算两者差异的具体方法。