[论文解读] Hilbert schemes, wreath products, and the McKay correspondence

Weiqiang Wang|ArXiv.org|Dec 13, 1999

Algebraic Geometry and Number Theory参考文献 27被引用 18

一句话总结

本文建立了半直积群 $\Gamma_n = \Gamma \sim S_n$ 在 $\mathbb{C}^{2n}$ 上作用的等变 K-理论与 $\mathbb{C}^2/\Gamma$ 的最小解析解消 $\widetilde{\mathbb{C}^2/\Gamma}$ 上的 Hilbert 轨形的上同调之间的直接同构，为 McKay 对应关系的两种实现方式提供了几何桥梁。关键结果是通过 Schur 基，建立了 Hopf 代数、$\lambda$-环与 Heisenberg 代数表示的典范同构，解决了 Hilbert 轨形与半直积构造中长期存在的代数结构平行性问题。

ABSTRACT

Various algebraic structures have recently appeared in a parallel way in the framework of Hilbert schemes of points on a surface and respectively in the framework of equivariant K-theory [N1,Gr,S2,W], but direct connections are yet to be clarified to explain such a coincidence. We provide several non-trivial steps toward establishing our main conjecture on the isomorphism between the Hilbert quotient of the affine space $\C^{2n}$ by the wreath product $\G ~ S_n$ and Hilbert schemes of points on the minimal resolution of a simple singularity $\C^2 /\G$. We discuss further various implications of our main conjecture. We obtain a key ingredient toward a direct isomorphism between two forms of McKay correspondence in terms of Hilbert schemes [N1, Gr, N2] and respectively of wreath products [FJW]. We in addition establish a direct identification of various algebraic structures appearing in two different setups of equivariant K-theory [S2, W].

研究动机与目标

• 解决 Hilbert 轨形与半直积构造中长期存在的代数结构平行性之谜。
• 在 Hilbert 商 $\mathbb{C}^{2n}/\Gamma_n$ 与 Hilbert 轨形 $\widetilde{\mathbb{C}^2/\Gamma}^{[n]}$ 之间建立直接的几何联系。
• 证明 $\Gamma_n$-等变丛在 $X^n$ 上的 Schur 基与 $S_n$-等变丛在 $Y^n$ 上的 Schur 基，诱导出 Hopf 代数、$\lambda$-环与 Heisenberg 代数表示的同构。
• 通过半直积表示环实现 Frenkel-Kac-Segal 顶点表示的几何 realization，完成一种新的 McKay 对应关系形式。

提出的方法

• 通过连接 Hilbert 轨形与对称积的交换图表，构造一个半小的共形解消 $\tau_n: \widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$。
• 通过从 $\Gamma_{|\lambda_i|}$ 的诱导表示定义 $\Gamma_n$-等变向量丛 $S^X_\lambda$，推广了 $R(\Gamma_n)$ 的 Schur 基。
• 通过从对称群的诱导定义 $Y^n$ 上的 $S_n$-等变丛 $S^Y_\lambda$，利用解消映射下 $V_i$-表示的拉回。
• 使用 Thom 同构将 $K^{\text{top}}_{\Gamma_n}(\mathbb{C}^{2n}) \otimes \mathbb{C}$ 与表示环 $R(\Gamma_n) \otimes \mathbb{C}$ 识别，从而实现与 Hilbert 轨形上同调的比较。
• 在典范映射 $\Theta$ 下匹配 Schur 基 $S^X_\lambda$ 与 $S^Y_\lambda$，证明其为 Hopf 代数与 $\lambda$-环的同构。
• 验证 Adams 算子、诱导与限制函子在 $\Theta$ 下的相容性，确保 Heisenberg 代数作用被保持。

实验结果

研究问题

• RQ1 能否在半直积群 $\Gamma_n = \Gamma \sim S_n$ 在 $\mathbb{C}^{2n}$ 上作用的等变 K-理论与 $\widetilde{\mathbb{C}^2/\Gamma}$ 上 Hilbert 轨形的上同调之间建立直接同构？
• RQ2 在几何对应关系下，$\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 与 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 上的代数结构——Hopf 代数、$\lambda$-环与 Heisenberg 代数——如何相互关联？
• RQ3 Frenkel-Jing-Wang 构造中的加权双线性形式的几何解释是什么？它如何与 Hilbert 轨形相联系？
• RQ4 $\tau_n: \widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$ 是否为半小的共形解消？它是否为两种设定提供了典范联系？
• RQ5 Frenkel-Kac-Segal 顶点表示能否通过半直积构造实现几何化，从而完成一种新的 McKay 对应关系形式？

主要发现

• 将 $\Gamma_n$-等变丛 $S^X_\lambda$ 映射到 $S_n$-等变丛 $S^Y_\lambda$ 的映射 $\Theta$ 是保持 Schur 基结构的分次向量空间同构。
• 通过匹配对称幂生成系列导出的 Adams 算子，证明同构 $\Theta$ 尊重了双方的 $\lambda$-环结构。
• 由于与诱导、限制及 Adams 算子的相容性，$\Theta$ 下 $\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 与 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 上的 Heisenberg 代数作用是同构的。
• $\tau_n: \widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$ 是一个半小的共形解消，首次为半直积与 Hilbert 轨形之间提供了直接的几何联系。
• $\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 与 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 的分次维数一致，确认了该同构在向量空间层面的一致性。
• 该构造通过半直积表示环实现了 Frenkel-Kac-Segal 顶点表示，完成了有限群论形式的 McKay 对应关系。