Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

技术摘要：$\mathbb{C}^2$ 上嵌套希尔伯特方案的虚 K-理论不变量

问题陈述
本文研究了计算复平面上嵌套希尔伯特方案（记作 $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$）的虚 K-理论不变量的问题。该模空间参数化了具有指定长度增量的零维子方案链 $Z_0 \supset Z_1 \supset \dots \supset Z_N$。虽然这些空间的虚基本类和结构层此前已由 Gholampour, Sheshmani, 和 Yau [GSY20] 通过退化轨迹（degeneracy loci）定义，以及由 Bonelli, Fasola, 和 Tanzini [BFT24] 通过拟阵表示（quiver representations）定义，但利用非交换技术推导其等变虚欧拉示性数的生成级数的闭式公式仍是一个待解决的目标。具体的挑战在于处理与嵌套结构相关的阻碍理论（obstruction theories），以计算遗忘态射下虚结构层的推前（pushforward）。

方法论
作者采用了一种核心策略，即将交换嵌套希尔伯特方案嵌入到一个“非交换”类似物中，利用了由 Nori [Nor78] 引入并由 Behrend, Bryan, 和 Szendrői [BBS13] 以及 Okounkov [Oko17] 扩展的非交换希尔伯特方案框架。

1. 非交换嵌套希尔伯特方案的构造：
   本文构造了一个光滑模空间 $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$，它是抛物子群作用在具有循环向量的保持标架的算子空间上的商叠层（quotient stack）。该空间参数化了复代数 $\mathbb{C}\langle x_1, \dots, x_n \rangle$ 在一列向量空间上的非交换表示。

2. 交换性区域与阻碍理论：
   嵌套点希尔伯特方案 $NHilb_{\mathbf{d}}(\mathbb{A}^n)$ 被识别为 $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ 中的交换性区域，即算子在该区域内交换。在 $\mathbb{A}^2$ ($n=2$) 的特定情况下，作者证明了交换条件 $[A_1, A_2] = 0$ 可以被简化。通过利用向量 $v$ 的循环性，证明了在商丛 $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ 上交换子的消失是充分的。
   这种简化允许将嵌套希尔伯特方案实现为特定向量场的一个截面的零点集。这种几何描述使该方案具备了一个完善的阻碍理论（perfect obstruction theory）。作者证明了由此构造的虚切丛的 K-理论类与 [GSY20], [GT17], 以及 [BFT24] 中定义的阻碍理论是等价的。

3. 虚结构层的因子分解：
   论文分析了遗忘态射 $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$，该映射遗忘了嵌套中最顶层的子方案。该映射被扩展到了非交换设置中。通过构造域与靶空间之间阻碍丛的满射，作者建立了 K-理论中虚结构层的因子分解：
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   其中 $F$ 是一个显式的平凡丛类（tautological class）。

4. 定域化与生成级数：
   利用 Atiyah-Bott 定域化公式，计算了 $p_* F$。结果表明，不动点（对应于嵌套杨图）的贡献仅取决于增量 $d_r$，并且独立于底层图的具体形状。这种独立性允许导出递归关系。

主要贡献与结果

• 阻碍理论的等价性： 本文严格证明了由非交换嵌入诱导的完善阻碍理论（特别是在 $\mathbb{A}^2$ 情况下的交换丛简化）产生的虚不变量，与 Gholampour-Sheshmani-Yau [GSY20] 建立的理论一致。
• 生成级数的闭式公式： 主要结果是嵌套希尔伯特方案的等变虚全纯欧拉示性数的多元生成级数的闭式公式。令 $Z^{GSY}$ 表示该级数，本文证明：
  $$Z^{GSY}(q_0, \dots, q_r; t_1, t_2) = PE \left( \frac{q_0 + (q_1 + \dots + q_r)(1 - t_1 t_2)}{(1 - t_1)(1 - t_2)} \right)$$
  其中 $PE$ 表示组合指数（plethystic exponential）。
• 由常数类的扭转： 遗忘映射下的虚结构层的推前被证明是下层虚结构层的一个扭转，其扭转类为常数类 $\alpha_{d_r}$，该类对应于标准点希尔伯特方案上对偶化层外幂的等变欧拉示性数。

意义与主张
本文声称将非交换希尔伯特方案在研究曲面上的嵌套希尔伯特方案方面的成功应用进行了扩展。通过将嵌套方案实现为非交换设置中的零点集，作者提供了一个简化的统一几何框架来计算虚不变量。

其意义在于导出了生成级数的闭式公式，这推广了已知的非嵌套希尔伯特方案（其中 $r=0$）以及 [BBS13], [Oko17], [FMR21], [KR25] 中关于 $\mathbb{A}^3$ 和 $\mathbb{A}^4$ 上的 Quot 方案的结果。这项工作证实了 $\mathbb{C}^2$ 上嵌套希尔伯特方案的虚不变量受控于生成函数中一个简单的乘积结构，该结构由嵌套中各个步骤的虚欧拉示性数决定。作者并未在本文中声称解决了高维情况（$n \ge 3$）或其他曲面的问题，并指出对于 $n \ge 3$ 的情况，虚维度行为与此处处理的 $n=2$ 情况显著不同。