Virtual invariants from the non-associative Hilbert scheme

技术摘要：来自非结合希尔伯特方案的虚类不变式

问题陈述
点希尔伯特方案（Hilbert schemes of points）的几何，特别是在维度 $n \geq 3$ 时，是极其微妙且复杂的。虽然平滑曲面上的点希尔伯特方案是平滑且已得到充分理解的，但在三维或更高维度的簇上，点希尔伯特方案通常是奇异的。在枚举几何中，特别是在卡拉比-丘三维和四维流形中，人们依赖于虚基本类（virtual fundamental classes）来定义不变式（例如 Donaldson-Thomas 不变式）。这些类传统上是通过完备变形理论（perfect obstruction theories）构建的，这些理论通常被实现为非交换矩阵（“非交换矩阵模型”）上函数的临界点集。

然而，现有模型面临以下局限性：

1. 非交换模型用自由结合代数取代了交换坐标环，将希尔伯特方案实现为强制执行交换关系的一个势函数的临界点集。
2. 嵌套希尔伯特方案（子方案链）通常是奇异的，且其组分结构难以理解，但它们对于层计数理论（例如 Vafa-Witten 理论、Seiberg-Witten 理论）至关重要。
3. 需要一种统一的、初等的构造方法，用于在任意维度下为嵌套希尔伯特方案构建虚基本类，并使其在当环境维度 $n$ 相对于点数 $d$ 较大时产生正维度的虚类。

方法论
作者引入了一个用于点希尔伯特方案的非结合模型。他们并没有像非交换模型那样放宽交换性，而是放宽了结合性（associativity），同时保持了交换性。

1. 非结合环境空间的构造：
   作者定义了非结合嵌套希尔伯伯特方案，记作 $na\text{NHilb}^{\mathbf{d}}(A^n)$，它是理想链 $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$ 的模空间，其中 $\mathbb{C}\{x_land, \dots, x_n\}^c$ 是由 $n$ 个生成元构成的自由、交换但非结合的幺单位代数。

   • 他们证明了 $na\text{NHilb}^{\mathbf{d}}(A^n)$ 是一个平滑簇。
   • 该构造利用了商叠（quotient stack）描述 $[M_{n,d}/P_d]$，其中 $M_{n,d}$ 是参数化代数结构的向量空间中的一个平滑局部闭子方案，$P_d$ 是作用在该空间上的抛物群。

2. 经典方案的实现：
   经典的嵌套希尔伯特方案 $NHilb^{\mathbf{d}}(A^n)$（其中代数是结合的）被嵌入到非结合环境空间中，作为结合点集（associativity locus）。

   • 该点集通过平滑环境空间上的向量丛 $E_{ass}$（结合丛）的一个全局截面 $s_{ass}$ 的零点集来确定。
   • 因此，$NHilb^{\mathbf{d}}(A^n)$ 继承了一个完备变形理论和虚基本类 $[NHilb^{\mathbf{d}}(A^n)]^{vir}$。

3. 虚局部化：
   作者利用了作用在 $A^n$ 上的环面作用 $T = (\mathbb{C}^*)^n$，该作用可以提升到非结合希尔伯特方案上。他们应用 Graber-Pandharipande 虚局部化公式来计算虚类。

   • 不动点对应于单项式理想链，这些链与嵌套分拆（nested partitions）存在双射关系。
   • 作者推导出了这些不动点处的切空间和阻碍丛（obstruction bundle）的显式公式，这些公式是用环面作用的权重来表示的。

4. 迭代剩余公式：
   对于局部点集（特别是幂零滤波集 $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$），作者构造了一个关于旗簇的局部解析纤维化。通过在该解析空间上应用 Atiyah-Bott 局部化，他们将虚积分转化为迭代剩余公式。

   • 一个关键的技术结果是，对于幂零滤波集，除了来自“Porteous”嵌套分拆（仅包含自然顺序下的单位向量）的一个贡献外，所有剩余项均为零。

核心贡献与结果

• 定理 1.1（虚局部化公式）： 作者给出了可容许嵌套分拆（admissible nested partitions）之和的显式公式，用于表示可等变虚基本类 $[NHilb^{\mathbf{d}}(A^n)]^{vir}$。其权重是环面权重 $s_i$ 的有理函数。

  • 可容许条件： 一个分拆是可容许的，如果它不包含具有 3 个或更多非零坐标的向量，且其在任何二维平面上的投影位于特定界限内（与“Porteous”条件相关）。
  • 该公式允许计算所有对 $(n, d)$ 的虚不变式。

• 定理 1.2（迭代剩余公式）： 对于维度向量为 $\mathbf{d} = (1, d_1, \dots, d_r)$ 的幂零滤波集，作者推导出了一个关于平凡类（tautological classes）的单变量迭代剩余公式。

  • 即使当总长度 $d$ 超过环境维度 $n$ 时，该公式依然有效，其实现方式是将问题嵌入到一个更高维度的空间 $A^N$（其中 $N \gg n$）并进行比较虚结构。
  • 该公式推广了 Bércé 和 Szenes 在奇异性理论和 Thom 多项式计算中所使用的技术。

• 正维度虚类： 与许多以往构造产生的零维虚类不同（例如在卡拉比-丘三维流形上），当环境维度 $n$ 相对于点数足够大时，这种构造会产生正维度的虚类。

• 与非交换模型的关系： 论文建立了从非结合希尔伯特方案到非交换嵌套希尔伯特方案的有理映射。该映射在包含嵌套希尔伯特方案的定义域上是良定义的，并在结合点集上限制为恒等映射。这表明了非结合（交换但非结合）与非交换方法之间存在桥梁。

意义与主张

作者声称这项工作为所有维度的嵌套希尔伯特方案提供了一种初等且具体的虚基本类构造方法。

• 统一性： 它统一了研究单项式成分上的平凡交点数（tautological intersection numbers）与在全希尔伯特方案上的虚交理论。
• 组合控制： 该理论表明，希尔伯特方案上的通用交点数受控于基于单项式理想和分拆的显式多变量剩余公式，这反映了平凡理论的结构。
• 向高维扩展： 该构造有望将非交换矩阵模型和虚类构造从卡拉比-丘三维流形扩展到更高维度及嵌套设置。
• 未来工作： 作者指出，在未来的工作中，他们将使用该框架，通过非结合模型来重构卡拉比-丘三维流形的 Donaldson-Thomas 不变式，从而揭示平凡理论与虚理论之间的直接联系。

本文并不声称解决了所有层模空间的一般 DT 不变式存在性问题，而是为计算嵌套点希尔伯特方案的虚不变式提供了一套特定的、稳健的工具，利用了一种新颖的非结合几何模型。