Deletion-contraction properties of graphically stable spaces

技术摘要：图形稳定空间的删除–收缩性质

问题陈述
本文研究了图形稳定空间（记作 $M_{g,G}$）的几何与拓扑性质。这些空间为标记曲线的模空间 $M_{g,n}$ 提供了一种模紧化，其中允许的标记碰撞由一个有限单连通图 $G$ 决定。具体而言，当且仅当对应的顶点在 $G$ 中构成独立集时，一组标记才被允许发生重合。当 $G$ 为完全图 $K_n$ 时，该情形恢复了经典的 Deligne–Mumford 空间 $M_{g,n}$；而当 $G$ 为完全多部图时，则与 Hassent 的加权稳定曲线相关。一般情形下的 $M_{g,G}$ 则提供了一类更广泛的替代紧化方案。

本文旨在解决的核心问题是，缺乏一种统一的结构性框架来计算这些空间上的 $\psi$-类（切丛类）与 Grothendieck 类（Grothendieck 环中的类）的交点数。现有的方法通常依赖于针对特定情况（如重/轻空间）的壁越（wall-crossing）公式或特定的组合描述，但对于控制这些不变量如何随底层图形结构 $G$ 变化的通用原理一直难以捉摸。

方法论
作者的主要方法论洞察是将图论中的删除–收缩关系应用于 $M_{g,G}$ 的几何。本文证明了 $M_{g,G}$ 的几何不变量满足类似于色多项式 $\chi_G(x)$ 的删除–收缩递归关系。

1. 壁越与归纳： 证明高度依赖于将 $M_{g,G}$ 上的积分与 $M_{g,n}$ 上的积分联系起来的壁越公式（通过映射 $\rho_G: M_{g,n} \to M_{g,G}$）。通过分析 $\psi$-类在该映射下的行为并利用 $G$-稳定划分的组合学，作者推导出了递归公式。
2. 图论约简： 核心技术在于将 $M_{g,G}$ 上的积分约简为对 $M_{g, G-e}$（删除）和 $M_{g, G/e}$（收缩）上的积分之和。需要特别处理的是那些导致稳定性条件失效的情况（例如在亏格 0 时变为二部图），这需要通过附加叶节点（记作 $G \odot e$）或调整 $\psi$-类指数来进行修正。
3. 动机积分： 对于 Grothendieck 类，本文利用了 Grothendieck 环 $K_0(\text{Var}_k)$ 的剪切粘贴性质（cut-and-paste property）。通过对部分紧化空间的边界进行分层，并将配置空间 $\text{Conf}_G(\mathbb{P}^1)$ 的类与色多项式联系起来，作者推导出了 $[M_{0,G}]$ 的显式多项式表达式。

主要贡献与结果

• $\psi$-类积分的删除–收缩（定理 A）： 本文证明了对于 $g$-稳定图 $G$ 及边 $e=ab$，$\psi$-类的积分满足删除–收缩关系。

  • 若 $(k_a, k_b) \neq (0,0)$，则 $M_{g,G}$ 上的积分等于 $M_{g, G-e}$ 上的积分与一个修改后的 $M_{g, G/e}$ 积分之和，其中收缩顶点的指数被求和并减 1。
  • 若 $(k_a, k_b) = (0,0)$，该关系涉及一个辅助图 $G \odot e$（通过在收缩顶点处附加一个叶节点获得），以处理某些项消失的情况。
  • 该框架统一并推广了经典的弦方程（string equations）和膨胀方程（dilaton equations）。

• 与色多项式的联系： 一个重要的结果是将各种 $\psi$-类积分显式地表示为色多项式 $\chi_G(x)$ 及其导数的形式。

  • 亏格 1： 积分 $\int_{M_{1,G}} \psi_1 \cdots \psi_n$ 与 $\chi_G(x)$ 在 $x=0$ 处的导数成正比。
  • 亏格 0： 在诸如 $M_{0, G \sqcup K_3}$ 和 $M_{0, G * K_3}$ 等空间上的积分被证明等于 $\chi_G(x)$ 在特定点（如 $x=2, x=-1$）的取值。
  • 这确立了 $M_{g,G}$ 的交点理论完全决定了 $G$ 的色多项式。

• Grothendieck 类的删除–收缩（定理 D）： 本文证明了在 Grothendieck 环 $K_0(\text{Var}_k)$ 中，$[M_{g,G}] = [M_{g, G-e}] - [M_{g, G/e}]$ 成立，前提是图形保持 $g$-稳定。

  • 亏格 0 的显式公式（定理 E）： 对于 0-稳定图 $G$，其 Grothendieck 类由 $[M_{0,G}] = \frac{\chi_G(L+1)}{L^3 - L}$ 给出，其中 $L = [\mathbb{A}^1]$。这将其类完全用色多项式表达。

• 拓扑不变量： 通过将 Grothendieck 类公式特化到不同的域和权重过滤，本文推导出了以下公式：

  • 复欧拉示性数 $\chi(M_{0,G}(\mathbb{C}))$。
  • 顶权欧拉示性数 $\chi_{\text{top-wt}}(M_{0,G}(\mathbb{C}))$，其被识别为 Crapo 的 $\beta$-不变量。
  • 实数域上的紧支撑欧拉示性数，与具有唯一源的无环定向相关。
  • 有限域 $\mathbb{F}_q$ 上的点计数。

• 高亏格结果： 本文将这些结果扩展到 $g \geq 1$ 的情形。对于亏格 1，得到了以 $\chi_G(x)$ 及其导数为基础的欧拉示性数显式公式。对于 $g \geq 2$，在染色数 $\chi(G)$ 足够大（具体为 $\chi(G) > 2g+2$）的条件下，欧拉示性数可以用伯努利数和 $\chi_G(x)$ 在负整数处的取值来表示。

• 新的组合公式： 该工作产生了一个关于图的 Crapo $\beta$-不变量的新公式，将该不变量与 $G$-稳定树的边数之交错和联系起来（推论 H）。

意义与主张
本文声称删除–收缩原理是研究跨所有亏格的图形稳定空间的“自然组织原则”。其意义在于：

1. 统一性： 它提供了一个单一框架，既能恢复 $M_{g,n}$ 和 Hassent 空间的已知结果，又能将其推广到一大类替代紧化方案。
2. 几何与组合的桥梁： 它展示了曲线模空间的交点理论与经典图不变量（特别是色多项式）之间深层且显式的对应关系。这使得几何量可以通过纯粹的组合手段进行计算，反之亦然。
3. 解决猜想： 通过将 $M_{0,G}$ 的欧拉示性数与 CHY 散射势的关键点计数联系起来，本文的结果证实了 Blankers, Gillespie, 和 Levinson 的一个猜想（命题 3.32）。
4. 壁越的推广： 本文将从 Hassent 空间到更广泛的图形稳定空间的壁越技术进行了推广，为计算拓扑不变量提供了替代证明和新工具。

作者指出，虽然删除–收缩关系具有普遍性，但图形的稳定性条件至关重要；本文仔细区分了标准关系适用的情况以及需要进行修改（如 $G \odot e$ 构造）的情况。此外，该工作提出了一个猜想（猜想 I），将 $M_{g,G}$ 上的积分与 $M_{g,n}$ 上的特定拉回积分等同起来，暗示了这些空间平凡环（tautological rings）之间更深层的结构联系，这一点已在若干无穷类图中得到验证。