[论文解读] The cup product of the Hilbert scheme for K3 surfaces

Manfred Lehn, Christoph Sorger|ArXiv.org|Dec 18, 2000

Algebraic Geometry and Number Theory参考文献 8被引用 41

一句话总结

本文提出了一种函子性构造 $ A^{[n]} $，该构造将任意分次弗罗贝尼乌斯代数 $ A $ 映射为一个新的分次弗罗贝尼乌斯代数，使得当 $ A = H^*(X;\mathbb{Q})[2] $ 为某 K3 曲面 $ X $ 的上同调代数时，所得代数同构于 $ X $ 上 $ n $ 个点的 Hilbert 模丛的上同调环 $ H^*(X^{[n]};\mathbb{Q})[2n] $。关键结果是一个典范的环同构 $ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $，通过顶点代数结构实现了 Hilbert 模丛上同调的描述，并在 Nakajima 配对同构的基础上完整恢复了上乘积结构。

ABSTRACT

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A^[n] in such a way that for any smooth projective surface X with trivial canonical divisor there is a canonical isomorphism of rings between (H*X)^[n] and the cohomology H*(X^[n]) of the n-th Hilbert scheme of X.

研究动机与目标

• 提出一种系统化、函子性的方法，用于计算 K3 曲面上点集 Hilbert 模丛上同调的上乘积结构。
• 通过补全缺失的上乘积结构，将 Nakajima 的配对同构推广为完整的环同构。
• 通过一种新的代数构造 $ A^{[n]} $，将 Hilbert 模丛的上同调与顶点代数结构（特别是玻色型顶点代数 $ \mathcal{V}(H^*(X;\mathbb{Q})) $）统一起来。
• 提供 $ H^*(X^{[n]};\mathbb{Q}) $ 中上乘积的显式、组合结构化描述，克服以往描述中隐含性的缺陷。

提出的方法

• 定义一个新的代数 $ A\{S_n\} $，作为群代数与半直积的混合体，由分次弗罗贝尼乌斯代数 $ A $ 与对称群 $ S_n $ 构造而成，并赋予自然的 $ S_n $-作用。
• 将 $ A^{[n]} $ 构造为 $ A\{S_n\} $ 的 $ S_n $-不变子代数，该子代数继承了分次弗罗贝尼乌斯代数的结构。
• 建立典范同构 $ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $，其中 $ \mathcal{V}(A) $ 是以 $ A $ 为基、上乘积配对为结构的玻色型顶点代数。
• 利用顶点算子微分与场 $ \varphi_\beta(a)(z) $ 的对易关系，推导出编码代数结构的微分算子 $ D_1 $ 与 $ D_2 $。
• 对变量 $ t_1 $ 应用 $ -D_2 $ 的指数映射，并计算所得场中 $ z $ 的系数，以恢复上乘积结构。
• 利用映射 $ \mu: H[z,z^{-1}][t_1,t_2,\ldots] \to \mathfrak{gl}(\mathbb{H}) $ 将代数运算转化为顶点算子表达式，最终导出同构关系。

实验结果

研究问题

• RQ1 如何显式描述 K3 曲面 $ X $ 上 $ n $ 个点的 Hilbert 模丛 $ H^*(X^{[n]};\mathbb{Q}) $ 上同调的上乘积结构？
• RQ2 是否存在一个函子性构造 $ A \mapsto A^{[n]} $，使得将上同调环 $ H^*(X;\mathbb{Q})[2] $ 映射为 $ H^*(X^{[n]};\mathbb{Q})[2n] $ 时，构成环同构？
• RQ3 玻色型顶点代数 $ \mathcal{V}(H^*(X;\mathbb{Q})) $ 是否可赋予环结构，使得 Nakajima 的同构成为环同构？
• RQ4 对称群作用与类半直积代数 $ A\{S_n\} $ 在编码 Hilbert 模丛上同调中起什么作用？
• RQ5 由顶点算子对易关系导出的微分算子 $ D_1 $ 与 $ D_2 $ 如何重构上同调环中的上乘积？

主要发现

• 构造 $ A^{[n]} $ 提供了一个典范的环同构 $ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $，其中 $ \mathcal{V}(A) $ 是以 $ A $ 为基的玻色型顶点代数，从而为 Hilbert 模丛的上同调建立了完整的代数模型。
• 对于任意具有平凡 canonical bundle 的光滑射影曲面 $ X $，同构 $ (H^*(X;\mathbb{Q})[2])^{[n]} \cong H^*(X^{[n]};\mathbb{Q})[2n] $ 作为环成立，而不仅作为带有配对的向量空间。
• 通过顶点代数结构，$ H^*(X^{[n]};\mathbb{Q}) $ 上的上乘积被完整重构，填补了 Nakajima 原始配对同构中缺失的上乘积结构。
• 该方法通过顶点算子对易关系识别出上乘积，以微分算子 $ D_1 $ 与 $ D_2 $ 表达，这些算子编码了上同调环的代数结构。
• 最终顶点算子作用表达式中系数 $ c_\alpha $ 的猜想形式为 $ \frac{(-1)^{\|\alpha\|-|\alpha|}}{\prod_i \alpha_i!} \left(1 + \frac{|||\alpha|||-1}{24}e\right) $，数值证据支持该形式。
• 构造 $ A \mapsto A^{[n]} $ 推广了 Vasserot 及作者先前关于群环中心的结果，并在对称积情形下与 Chen–Ruan 满流形上同调一致，从而验证了 Y. Ruan 对 K3 曲面的猜想。