Tropicalization of super Gromov-Witten invariants

技术摘要：超格罗莫夫-威滕不变量的正则化（Tropicalization）

问题陈述
本文旨在解决定义并计算凸环面簇 $X$ 的亏格为 0、$n$ 个标记点的 Neveu-Schwarz 型超格罗莫夫-威滕（SGW）不变量的挑战。标准的格罗莫夫-威滕不变量计算的是黎曼曲面到目标空间的稳定映射，而 SGW 不变量将这一理论扩展到了从超黎曼曲面到目标空间的映射。前人的工作（Keßler, Sheshmani, 和 Yau [KSY22, KSY23, KKY26]）建立了超稳定映射的模空间 $M^{super}_{0,n}(X,\beta)$，并通过 $C^*$ 定位法定义了 SGW 不变量。这种定位法将这些不变量表示为经典模空间 $M_{0,n}(X,\beta)$ 上的积分，涉及超（SUSY）正规丛 $N_{n,\beta}$ 的等变欧拉类的逆。核心问题在于如何将这些复杂的几何定义转化为热带几何（tropical geometry）的组合框架，从而通过热带曲线来计算这些不变量。

方法论
作者利用热带几何构建了超格罗默夫-威滕不变量的“热带化”。该方法论通过以下步骤进行：

1. 回顾 SUSY 正规丛： 论文回顾了 SUSY 正规丛 $N_{n,\beta} \to M_{0,n}(X,\beta)$ 的定义，该丛源于经典模空间嵌入超模空间的过程。作者证明了对于凸簇 $X$，$N_{n,\beta}$ 是一个秩为 $c_1(\beta) + n - 2$ 的向量丛。
2. 点情况的热带化： 对于目标空间 $X = \text{pt}$，作者在热带曲线模空间 $M^{trop}_{0,n}$ 上定义了热带下降不变量（descendant invariants）。他们引入了一个带有 $\psi$-类幂次的对偶图装饰模空间 $T_{0,n}$。通过利用 [KM09] 的结果，他们建立了经典 SGW 不变量与其热带对应物之间的等价关系。
3. 一般凸环面情况的热带化： 对于一般的凸环面簇 $X$，作者定义了一种计算 SUSY 正规丛的热带逆欧拉类的方法。这依赖于假设 4.5，即假设稳定映射的族可以由环面自旋簇（toroidal, spin varieties）局部平凡化。在此假设下，作者构造了旋量层（spinor sheaf）及其相关 Chern 类的热带化。
4. 定义热带 SGW 不变量： 利用热带逆欧拉类 $e_{K,trop}(N_{n,\beta})^{-1}$，作者将 $X$ 的热带 SGW 不变量定义为该类与虚基本类及相遇条件（incidence conditions）的交。

主要贡献与结果

• 定理 3.11（点情况）： 作者证明了点的亏格为 0、$n$ 个标记点的超格罗莫夫-威滕不变量 $SGW_{0,n}(\text{pt})$ 等于热带超格罗莫夫-威滕不变量 $TSGW_{0,n}(\text{pt})$。这是通过证明热带曲线模空间上的热带交集数可以恢复由 SUSY 丛分裂导出的经典下降不变量来实现的。
• 定理 4.10（一般环面情况）： 论文确立了一个能够计算 SUSY 正规丛 $N_{n,\beta} \to M_{0,n}(X,\beta)$ 的热带逆欧拉类的良定义映射。该映射 $e_{K,trop}(N_{n,\beta})^{-1}$ 作用在扩展锥复形（extended cone complex）的超稳定映射热带循环的 Chow 群上 $TSM_{0,n}(\Sigma_X, \beta)$。
• 例 4.13（$\mathbb{P}^1$ 的计算）： 作者显式计算了对于 $X = \mathbb{P}^1$ 在曲线类 $H$ 下的亏格为 0、2 个标记点的热带超格罗莫夫-威滕不变量。通过分析模空间的层状结构（光滑和奇异域）并应用热带逆欧拉类程序，他们得出结果：
  $$SGW^{trop}_{0,2}(\mathbb{P}^1, H) = \frac{1}{\kappa^3}$$
  其中 $\kappa$ 是 $C^*$ 作用的单位特征标。
• 推论 4.14（一致性）： 作者展示了他们针对凸环面簇的一般定义，在模空间的光滑区域上进行求值时，能恢复定理 3.11 中的点情况结果。

意义与主张
本文声称成功地将热带几何的应用范围从标准枚举几何扩展到了超几何领域。通过定义热带超格罗莫夫-威滕不变量，作者提供了一种计算这些不变量的组合方法，而此前这些不变量主要通过等变上同理中的定位技术来获取。

其意义在于实现了对 SUSY 正规丛逆欧拉类的“热带化”的形式化。作者指出，虽然该定义依赖于假设 4.5（即由环面自旋簇进行局部平凡化），但该假设在诸如 $\mathbb{P}^1$ 等特定情形下是成立的，从而允许进行具体的计算。这项工作架起了超黎曼曲面的代数几何与热带曲线组合力量之间的桥梁，为超格罗莫夫-威滕理论提供了一种新的计算工具。作者保持了谦逊的态度，指出一般性的程序是在关于稳定映射族的特定结构假设下定义的。