Bounds for Genus Zero Gromov-Witten Invariants

技术摘要：零亏格 Gromov-Witten 不变量的界限

问题陈述
本文旨在解决为光滑射影簇的初等零亏格（genus-zero）Gromov-Witten (GW) 不变量建立显式上界的问题。虽然这些不变量的生成函数的收敛性已被猜想（例如在 [KM94], [CK99], [Zin14] 中）并在特定实例中得到证实，但目前仍缺乏一个取决于目标簇几何数据的通用界限。作者旨在提供一个针对每个初等 GW 不变量范数的界限，该界限仅取决于：

1. 定义簇 $X \subset \mathbb{P}^N$ 的多项式的最大次数 ($\delta_X$)。
2. 代表插入项（insertions）的微分形式的范数。
3. 标记点数 ($m$)。
4. 曲线次数 ($d$)。

方法论
证明策略依赖于将一般光滑射向量 $X$ 的 GW 不变量与其环境射影空间 $\mathbb{P}^N$ 的 GW 不变量进行比较。该方法通过以下几个技术阶段进行：

1. Siebert 公式与虚基本类： 作者利用 Siebert 对虚基本类 $[X_{m,d}]^{vir}$ 的描述，将其视为 $\mathbb{P}^N$ 中映射的模空间内 $X_{m,d}$ 的法锥 Segre 类与特定向量丛总 Chern 类的截积的一个特定分量。这使得问题转化为对涉及锥（cones）的 Segre 类的积分进行有界估计。

2. D-体积定义： 为了限制这些积分，论文引入了一个新的组合几何量，称为“D-体积”（D-volume）。对于一个锥系统 $C_{m,d}$ 和一个除子 $D$，该体积是通过对评价映射图像的射影紧化进行积分来定义的，并由特定除子类 $D_{P_{m'}}$ 的指数进行加权。D-体积作为一个中间形式的曲线计数，比 GW 不变量本身更易于进行估计。

3. 通过变形到法锥进行比较： 一个关键步骤是比较 $X_{m,d}$ 在环境空间内的法锥的 D-体积与环境空间中锥的 D-体积。这是通过“变形到法锥”（deformation to the normal cone）的论证（命题 6.5）实现的。通过构造一个在 $\mathbb{P}^1$ 上的平坦族，其中中心纤维是法丛而泛纤维是环境空间，作者建立了 $X$ 中的锥的体积与 $\mathbb{P}^N$ 中锥的体积之间的不等式关系。

4. 嵌入与凸性： 为了应用这些界限，作者构造了一个向量丛短正合序列 $0 \to N_X \to T \to W \to 0$，其中 $N_X$ 是 $X$ 在 $\mathbb{P}^N$ 中的法丛。丛 $T$ 和 $W$ 被选择为“强凸”的，并且可以延拓为 $\mathbb{P}^N$ 上的线丛之和。这一构造依赖于 $X$ 的定义理想层及其平方的 Castelnuovo-Mumford 正则性，从而允许将这些丛的射影化嵌入到维数有界的射影空间乘积中。

5. 局部化与粗略界限： 对于环境射影空间的乘积，作者利用等变局部化方法（遵循 [Kon95]）推导出扭曲（twisted）GW 不变量的显式（尽管是粗略的）阶乘级界限。这些界限随后被转移回与 $X$ 相关的锥的 D-体积。

核心结果

• 定理 1.1（主定理）： 论文证明，对于由次数至多为 $\delta_X$ 的多项式定义的平滑射影子簇 $X \subset \mathbb{P}^N$，初等零亏格 GW 不变量满足：
  $$|\langle [\alpha_1], \dots, [\alpha_m] \rangle_{m,d}^X| \leq m! \left( 4952 \left( \frac{N + (4\delta_X)^{2N-1} + 1}{N} \right)^6 (\deg(d) + 1) \right)^m \prod_{j=1}^m |\alpha_j|_{C^0, \omega}$$
  该界限关于标记点数 $m$ 呈阶乘级增长，并作为 $\deg(d)$ 的倍数增长。

• 推论 1.1（Borel 变换的收敛性）： 作为主定理的推论，初等生成函数的 Borel 变换在特定振幅锥（ample cone）的平移区域内绝对收敛。具体而言，级数：
  $$B(\eta, t_+, s) := \sum_{m, d} \frac{\exp(d \cdot \eta)}{m! \Gamma(d \cdot \eta + 1)} \langle t_+, \dots, t_+ \rangle_{m,d}^X s^{d \cdot \eta}$$
  在 $\eta$ 位于振幅锥的某个区域内时是解析的。

意义与声明
作者明确指出，这是第一个提供关于目标射影簇几何性质的、针对所有初等零亏格 GW 不变量的界限的结果。

• 界限的谦逊性： 论文承认所导出的界限“非常、非常远离最优”。例如，在 $m$ 和次数上的阶乘级增长与 [KM94], [CK99], [Zin14] 中发现的猜想中的指数级增长形成了对比。作者将这种次优增长归因于所使用的特定技术（涉及 D-体积和变形论证，见命题 5.9 和 6.5），而非不变量本身的本质属性。
• 未证明生成函数的收敛性： 作者澄清，虽然 Borel 变换是收敛的，但本文并未证明初等生成函数本身是收敛的，这仍然是一个开放的猜想。
• 方法论贡献： 主要贡献在于“D-体积”框架以及用于将子簇的模空间几何与环境射影空间几何联系起来的变形论证。作者指出，目前尚不知道如何改进界限以匹配所猜想的指数级增长率。

结论
本文建立了一个基于目标簇定义方程的、尽管是非最优的、严谨的零亏格 GW 不变量上界。它成功证明了生成函数的 Borel 变换是绝对收敛的，为这些不变量提供了具体的解析处理手段，同时将生成函数自身的收敛性以及界限的最优性留作开放问题。