Tropical and algebraic elliptic plane curves with fixed j-invariant

技术摘要：具有固定 $j$-不变量的局部与代数椭圆平面曲线

问题陈述
本文研究了通过 $3d-1$ 个一般点的度数为 $d$ 的射影平面曲线的计数，其中 $j$-不变量是固定的。虽然 Pandharipande [Pan97] 确定了该计数的代数公式（$E_{d,j}$），但以往试图重现这一结果的局部几何尝试存在结构性差异。具体而言，Kerber 和 Markwig [KM09] 构建了一个加权多面体复形，该复形与 Pandharipande 的公式相匹配，但其权重是经过 ad hoc（特设）选择的，以确保与 $j$ 的选择及插值点无关，而非反映提升至这些局部类型的代数曲线的实际计数。因此，在局部框架内，局部计数与代数计数之间不存在直接的结构联系，也无法从第一原理推导出 Pandharipande 的公式。此外，Len 和 Ranganathan [LR18] 提供了针对环面曲面的对应关系，但其锥复形与“良好间隔”（well-spaced）曲线的模空间不同，这可能导致特定曲线计数的偏差。

方法论
作者采用了由 Ranganathan, Santos-Parker 和 Wise [RSPW19b] 引入、并在 Cela–Koyama [CK26] 的对应定理中形式化的良好间隔局部曲线（well-spaced tropical curves）模空间。该框架为局部曲线的锥复形配备了基于代数提升数量的几何权重，而非采用特设分配。

其方法论流程如下：

1. 代数设置： 本文区分了 Gromov-Witten 虚数计数（$E^{vir}_{d,j}$）与真实的枚举计数（$E_{d,j}$）。利用 Gromov-Witten 理论的拆分公理，作者证明了 $E^{vir}_{d,j} = d^2 N_d$，而枚举计数则是局部分析的目标。
2. 局部对应： 作者利用 [CK26] 中的对应定理，将代数计数与良好间隔局部曲线模空间 $W_{\Gamma_d}(\mathbb{R}^2)$ 中极大锥的加权和联系起来。一个锥 $\sigma$ 的权重由 $m(\sigma) \cdot \det_{ev \times j}(\sigma)$ 给出，其中 $m(\sigma)$ 是几何重数（考虑自同构加权的提升数量），$\det_{ev \times j}$ 是评价映射的格指数。
3. 极限分析： 为了计算该和式，作者分析了 $j$-不变量在两种极限情况下的行为：
   • 大 $j$ 情况： 局部曲线的环收缩为一个单一的有界边。作者通过缺陷（deficiency，为 0 或 2）对这些曲线进行分类，并通过移除该收缩边将其与有理局部曲线联系起来。该情况用于建立针对一般 $j$-不变量的主定理。
   • 小 $j$ 情况： 环保持非收缩状态但规模很小。作者按缺陷（0, 1 或 2）对曲线进行分类，并分析环的组合结构（例如 3-价或 4-价顶点）。这种分析产生了一个独特的、有趣的公式（论文中的等式 2），该公式涉及对 Newton 细分的项 $(2\text{Area}(T)^2 - 1)/2$ 求和，并证明了其与从大 $j$ 情况导出的结果是等价的。
4. 组合归约： 在两种极限下，作者均证明了椭圆局部曲线的加权和可以归约为有理局部曲线（亏格 0）的求和。他们利用 Pick 定理以及与有理曲线对应的 Newton 细分的性质，证明总权重等于 $\binom{d-1}{2}$ 乘以 Mikhalkin 计数 $N_d$。

主要贡献与结果

• 文献修正： 本文通过使用 [CK26] 中具有几何基础的重数，修正了 [KM09] 和 [LR18] 中的疏忽。作者证明，尽管 [KM09] 和 [CK26] 中的锥复形不同（特别是关于某些锥的存在及其分配的权重），最终的枚举结果仍与 Pandharipande 的公式保持一致。
• 定理 1.1（主定理）： 对于 $\mathbb{P}^2$ 中的一般点和一般 $j$-不变量，局部枚举 $E^{trop}_{d,j}$ 等于代数枚举计数 $E_{d,j}$：
  $$E_{d,j} = E^{trop}_{d,j} = \binom{d-1}{2} N_d$$
  其中 $N_d$ 是通过 $3d-1$ 个点的度数为 $d$ 的有理曲线的数量。其证明主要依赖于大 $j$ 极限分析。
• 显式公式： 本文提供了一个用于局部计数的显式组合公式：
  $$E^{trop}_{d,j} = \sum_{C} \left( \sum_{T} \frac{2\text{Area}(T)^2 - 1}{2} \right) \text{mult}(C)$$
  其中 $C$ 遍历有理局部曲线，$T$ 遍历对偶 Newton 细分中的三角形，$\text{mult}(C)$ 为 Mikhalkin 重数。
• 计数区分： 本文明确证明了（定理 1.2）Gromov-Witten 计数与枚举计数不同，确立了 $E^{vir}_{d,j} = d^2 N_d$。

意义
本文声称其意义主要在于作为 Pandharipande 代数枚举公式的一个替代性的局部几何证明。通过利用近期关于良好间隔曲线的对应定理 [CK26]，作者为该公式提供了此前缺失的结构性辩护。这项工作验证了早期局部工作中使用的“ad hoc”重数虽然偶然得到了正确的计数，但来自良好间隔曲线模栈的底层几何权重对于严谨的对应关系是必要的。本文并未提出超出建立此种对应关系及修正环面簇中椭圆曲线枚举理论框架之外的新应用或未来影响。