The integral Chow ring of $\mathcal{M}_{0}(\mathbb{P}^r, 2)

以下是论文《THE INTEGRAL CHOW RING OF M0(Pr, 2)》（$M_0(\mathbb{P}^r, 2)$ 的整系数 Chow 环）的详细技术总结：

1. 研究问题 (Problem)

本文旨在计算从光滑有理曲线到射影空间 $\mathbb{P}^r$ 的2 次映射模空间（即 Kontsevich 稳定映射模空间 $M_0(\mathbb{P}^r, 2)$）的整系数 Chow 环（Integral Chow Ring）$A^*(M_0(\mathbb{P}^r, 2))$ 的显式表示。

• 背景：这是作者计算 $M_0(\mathbb{P}^r, d)$ 整系数 Chow 环计划中的第二步。
• 难点：当映射次数 $d$ 为偶数时，传统的 $PGL_2$ 作用无法直接提升为 $GL_2$ 作用（这与 $d$ 为奇数的情况不同），导致无法直接利用 $GL_2$ 等变理论进行计算。
• 目标：将 $A^*(M_0(\mathbb{P}^r, 2))$ 表示为三个变量多项式环的商，并给出理想的生成元。

2. 方法论 (Methodology)

作者采用了一套系统的等变相交理论（Equivariant Intersection Theory）策略，主要步骤如下：

2.1 $GL_3$ 替代构造 (GL3 Counterpart Construction)

由于 $d=2$ 时 $PGL_2$ 作用无法提升为 $GL_2$，作者利用 [DL21] 中的通用构造，将模空间表示为 $GL_3$ 的全局商栈（Global Quotient Stack）：

• 核心思想：将源曲线（Source Curve）视为 $\mathbb{P}^2$ 中的光滑二次曲线（Conic），而不是参数化的 $\mathbb{P}^1$。
• 构造：
  • 令 $S \subset \mathbb{P}^5$ 为光滑二次曲线的空间。
  • $S$ 在 $GL_3$ 作用下是一个 $PGL_2$ 分类空间的 $GL_3$-主丛（Torsor）。
  • 模空间 $M_0(\mathbb{P}^r, 2)$ 同构于 $[Y/GL_3]$，其中 $Y$ 是某个向量丛在 $S$ 上的限制。
• 结果：计算 $M_0(\mathbb{P}^r, 2)$ 的 Chow 环转化为计算 $Y$ 的 $GL_3$-等变 Chow 环 $A^*_{GL_3}(Y)$。

2.2 环境空间与补集 (Ambient Space and Complement)

• 环境空间：$Y$ 是定义在 $S$ 上的射影丛 $P(U^r)$ 的开子集，其中 $U^r$ 是某个向量丛 $F^r$ 去掉“坏”点（即线性形式在二次曲线上有公共零点）后的部分。
• 补集处理：利用等变包络（Equivariant Envelope）技术处理补集 $Z = P(F^r|_S) \setminus P(U^r)$。
• 分解：补集 $Z$ 被分解为两个主要分量 $Z_1$ 和 $Z_2$：
  • $Z_1$：对应于二次曲线上存在一个公共零点的情况（几何上涉及通用二次曲线上的点）。
  • $Z_2$：对应于二次曲线上存在两个公共零点的情况（几何上涉及两条直线的交点）。

2.3 局部化计算 (Localization Computation)

• 利用 Atiyah-Bott 局部化定理，将等变 Chow 环的计算转化为对环面 $\Delta \subset GL_3$（对角矩阵群）作用的不动点计算。
• 计算 $Z_1$ 和 $Z_2$ 到环境空间的推前（Pushforward）映射，得到生成理想的关系式。
• 利用对称函数理论，将不动点处的表达式转化为关于 Chern 类 $c_1, c_2, c_3$ 的多项式。

3. 主要贡献与结果 (Key Contributions and Results)

3.1 主定理：生成函数形式 (Theorem 1 - Generating Function Form)

作者给出了 $A^*(M_0(\mathbb{P}^r, 2))$ 的显式表示，它是三元多项式环 $\mathbb{Z}[T, c_2, c_3]$ 的商：
$$A^*(M_0(\mathbb{P}^r, 2)) \cong \frac{\mathbb{Z}[T, c_2, c_3]}{(I_r)}$$
其中理想 $I_r$ 由以下关系生成：

1. 平凡关系：$2c_3 = 0$。
2. 环境关系：$(T^3 + c_2T + c_3)^{r+1} = 0$。
3. 核心关系：由两个有理生成函数 $R_1$ 和 $R_2$ 的展开系数给出。
   • $R_1 = \frac{2}{(1-T)^2 + c_2}$
   • $R_2 = \frac{1}{(1-T^2)((1-T^2-c_2)^2 + c_2)} - c_2^2 + \frac{(T-c_3)c_3}{(1-T^2)((1-T^2-c_2)^2 + c_2)}$ (注：原文公式略有复杂，核心在于 $R_2$ 的有理函数结构)
   • 理想中的非平凡关系 $\rho_{1,r}, \rho_{1,r+1}, \rho_{2,2r-2}, \dots$ 分别是 $R_1$ 和 $R_2$ 在 $T=0$ 处展开的齐次项。

3.2 主定理：闭形式 (Theorem 1 - Closed Form)

作者还给出了关系式的显式闭形式（Closed Form），通过拉格朗日插值公式的变体表达：

• 关系式 $\alpha_{i,k}^r$ 被表示为关于 $l_0, l_1, l_2$（Chern 根）的对称多项式，并通过分母 $(l_i - l_j)$ 的消去证明了其整系数性质。
• 这提供了计算具体低维情形（如 $r=1, 2, 3$）的具体生成元。

3.3 组合结构

• 论文指出，随着 $r$ 的变化，所有非平凡关系都编码在两个有理生成函数中。
• 这表明模空间的 Chow 环具有极其丰富的组合结构，且可以通过生成函数统一描述。

4. 具体案例 (Low Dimensional Examples)

作者在论文最后部分（Section 6）计算了 $r=1, 2, 3$ 时的具体生成元：

• $M_0(\mathbb{P}^1, 2)$：展示了具体的多项式关系，验证了生成函数方法的正确性。
• $M_0(\mathbb{P}^2, 2)$ 和 $M_0(\mathbb{P}^3, 2)$：列出了复杂的生成元多项式，展示了随着 $r$ 增加，关系式的次数和复杂度如何增长，但始终遵循生成函数 $R_1, R_2$ 的规律。

5. 意义与展望 (Significance and Outlook)

• 理论突破：成功解决了偶数次映射（特别是 $d=2$）模空间整系数 Chow 环的计算难题，克服了 $GL_2$ 提升不存在的障碍，展示了 $GL_3$ 替代构造的有效性。
• 计算效率：通过生成函数形式，将无限多个可能的关系式压缩为两个有理函数，极大地简化了描述和计算。
• 未来方向：
  • 对于 $d \ge 4$ 的偶数情况，作者推测其几何结构涉及绝对 Hilbert 方案或相对 Hilbert 方案。
  • 由于空间非真（non-proper）或过于奇异，直接应用 Atiyah-Bott 局部化存在困难。作者计划探索**虚拟相交理论（Virtual Intersection Theory）**来推广局部化定理，以期统一处理所有偶数次情况。

总结

这篇论文通过巧妙的 $GL_3$ 几何构造和等变局部化技术，完整计算了 $M_0(\mathbb{P}^r, 2)$ 的整系数 Chow 环。其核心创新在于将复杂的模空间关系编码为两个简单的有理生成函数，不仅给出了具体的代数表示，还为更高次数 $d$ 的模空间计算提供了方法论上的重要启示。