The multiplicative structure of the K-theoretical McKay correspondence for the Hilbert scheme of points in the complex plane

技术摘要：复平面上点希尔伯特方案的 K 理论麦克凯对应中的乘法结构

问题陈述
本文研究了复平面上$n$个点希尔伯特方案$Hilb^n(\mathbb{A}^2_{\mathbb{C}})$的 K 理论。在 K 理论麦克凯对应下，该方案的等变 K 理论$K^{S_n}(\mathbb{C}^{2n})$同构于$n$次对称函数空间$\Lambda_n$。作者针对由$K(Hilb^n)$中张量积在$\Lambda_n$上诱导的乘法结构，提出了两个主要问题：

1. 自同态问题 (A)：对于给定的类$F \in K(Hilb^n)$，确定一个紧凑公式以描述诱导自同态$E_F: \Lambda_n \to \Lambda_n$，使得涉及麦克凯同构$\Theta$与$F$的张量乘法的图表交换。具体而言，作者关注$F$为生成 K 理论环的典范向量丛$B_n$的亚当斯幂$\psi^k B_n$。
2. 结构常数问题 (B)：描述由张量积在$\Lambda_n$上诱导的乘法$\odot$的结构常数$c^\mu_{\lambda_1, \lambda_2}$，特别是针对幂和基。

方法论
作者结合了几何直觉与组合化简。

• 几何化简：虽然希尔伯特方案上的标准环面作用$T = (\mathbb{C}^*)^2$产生有限不动点集，但切向权重的组合学十分复杂。作者引入向一维坐标子环面$T_q \subset T$的化简。在此限制下（对应于组合公式中代入$t=1$），不动点集$Hilb^{T_q}_n$变为仿射空间的无交并。这简化了不动点集的几何结构，且至关重要的是，简化了切向权重的组合学。
• 组合分析：证明依赖于麦克唐纳多项式$\tilde{H}_\lambda(q,t)$的性质及其在$t=1$处的限制。作者利用弗罗贝尼乌斯特征标映射将希尔伯特方案的 K 理论与对称函数联系起来。他们分析了算子$\nabla_F$（乘法算子的伴随算子），并证明在限制到$T_q$后，这些算子满足莱布尼茨法则，而这一性质在全等变设定中并不存在。
• 局部化与特征基：利用局部化定理，作者使用不动点基本类的基进行工作。他们确立了修正的麦克唐纳多项式（限制在$t=1$）构成了相关算子的特征基，从而允许显式计算亚当斯幂的作用。

主要贡献与结果

1. Boissière 猜想的证明：主要结果是证明了 Boissière [Boi06b] 关于自同态$E_{\psi^k B_n}$公式的猜想。作者确立了对于任意自然数$k$：
   $$E_{\psi^k B} = \sum_{\lambda} \frac{k^{l(\lambda)-1} s(\lambda)}{\prod_{i \in \mathbb{N}} a_i(\lambda)!} p_{s(\lambda)} \partial_\lambda$$
   其中求和遍历分拆$\lambda$，$l(\lambda)$为长度，$s(\lambda)$为和，$a_i(\lambda)$为部分$i$的重数，$\partial_\lambda$为与分拆相关的微分算子。这作为定理 5.15 提出。同时也提供了涉及算子$\nabla^*_k$的等价表述。

2. 通过子环面限制实现的莱布尼茨法则：一项核心的技术贡献是证明了算子$\nabla_k$限制到子环面$T_q$（即令$t=1$）后满足莱布尼茨法则：$\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$。这一性质使得作者能够通过计算其在生成元（幂和）上的作用，并利用乘积法则进行推广，从而推导出算子的闭式公式。

3. 张量积的结构常数：在第 7 节中，作者推导了$\Lambda_n$上乘法$\odot$的结构常数$c^\mu_{\lambda_1, \lambda_2}$的公式。定理 7.3 将这些常数表示为涉及对称函数内积和权函数$W_\nu(q)$的特定幂级数的系数。公式如下：
   $$c^\mu_{\lambda_1, \lambda_2} = \text{Coeff}_{q-1} \left( l(\lambda_1) + l(\lambda_2) - n - l(\mu); \frac{[\mu]_q}{z_\mu [\lambda_1]_q [\lambda_2]_q} \cdot \sum_{\nu \vdash n} \frac{\langle p_{\lambda_1}, h_\nu \rangle \langle p_{\lambda_2}, h_\nu \rangle \langle p_\mu, m_\nu \rangle}{W_\nu(q)} \right)$$
   该结果基于分拆的度数阐明了这些常数消失的条件。

4. 对先前文献的修正：作者指出 [Boi06b] 中关于乘积$p_{22} \odot p_{22}$的计算结果存在差异。利用他们推导的公式和维数论证（注 7.5），他们断言该乘积应为零，这表明早期著作中存在印刷错误。

意义与主张
本文声称解决了关于 K 理论麦克凯对应的一个特定猜想，提供了典范丛的亚当斯幂在对称函数上作用的闭式表达式。作者强调，他们的证明是“纯粹组合的”，但基于将环面作用限制到子环面以简化不动点几何的几何直觉。

其意义在于：

• 提供了 Boissière 猜想对于任意$k$的首个证明。
• 确立了由 K 理论诱导的对称函数乘法的结构常数，这种结构因 K 理论的非分次性质而与上同调情形不同。
• 证明了限制到子环面$T_q$是简化复杂等变 K 理论计算的有力工具，将其转化为涉及莱布尼茨法则的易于处理的组合问题。

作者并未声称在本工作中将这些结果扩展到其他簇或群，也未提出新的实验应用。该工作被呈现为对复平面上点希尔伯特方案的 K 理论麦克凯对应所提出的特定代数与组合问题的决定性解答。