[论文解读] Motivic decompositions for the Hilbert scheme of points of a K3 surface

Andrei Neguţ, Georg Oberdieck+1 more|arXiv (Cornell University)|Dec 19, 2019

Algebraic Geometry and Number Theory参考文献 33被引用 11

一句话总结

本文为K3曲面上的点的希尔伯特概形构造了一个显式的、乘法性的楚-库伦特分解，并通过吕伊根-伦茨-维尔比特斯基（LLV）李代数作用对其进行精炼。利用海森堡代数及Maulik–Neguț的公式，作者证明了除子类与陈类位于分解的正确分量中，证实了贝乌莱夫与沃辛的猜想，并建立了该分解在上积下的乘法性。

ABSTRACT

We construct an explicit, multiplicative Chow-Künneth decomposition for the Hilbert scheme of points of a K3 surface. We further refine this decomposition with respect to the action of the Looijenga-Lunts-Verbitsky Lie algebra.

研究动机与目标

• 为K3曲面上的点的希尔伯特概形构造一个显式且乘法性的楚-库伦特分解。
• 通过Looijenga–Lunts–Verbitsky（LLV）李代数作用对这一分解进行精炼。
• 验证希尔伯特概形的除子类与陈类是否位于分解的正确分量中，从而确认贝乌莱夫与沃辛的预期。
• 建立该分解在上积下的乘法性，其结构与阿贝尔簇中的情形一致。

提出的方法

• 作者使用格过滤算子 $ h \in A^{2n}(X \times X) $，其作用在 $ H^{2i}(X) $ 上为乘以 $ i - n $，作为阿贝尔簇中 $[N]^*$ 作用的替代。
• 他们通过希尔伯特概形的楚-动机上的海森堡代数作用，显式构造了投影算子。
• 该分解在上同调中特化为Deninger–Murre分解，在楚-动机中特化为贝乌莱夫分解。
• 通过比较 $ h $ 在循环张量积上的作用，验证了分解的乘法性。
• 精炼后的分解尊重LLV代数的 $ \mathfrak{g}_{\mathrm{NS}} $-作用，各分量为不可约表示下的同型分量。
• 在计算上，他们利用 $ h_{\alpha\beta}, h_{\alpha\delta} $ 与陈类相关乘法算子之间的对易关系，证明对易子为零，从而确认兼容性。

实验结果

研究问题

• RQ1 K3曲面上的点的希尔伯特概形是否允许一个与LLV代数作用相容的乘法性楚-库伦特分解？
• RQ2 希尔伯特概形的除子类与陈类是否如贝乌莱夫与沃辛所猜想的那样，位于该分解的正确分量中？
• RQ3 能否使用海森堡代数生成元及Maulik–Negu�的已知公式显式构造该分解？
• RQ4 该分解是否在上积下保持乘法性，即是否满足 $ \cup: \mathfrak{h}^i \otimes \mathfrak{h}^j \to \mathfrak{h}^{i+j} $？
• RQ5 LLV代数的作用能否从上同调提升至楚-动机？其作用是否能精炼楚-库伦特分解？

主要发现

• 本文构造了一个唯一的、乘法性的楚-库伦特分解 $ \mathfrak{h}(X) = \bigoplus_{i=0}^{2n} \mathfrak{h}^{2i}(X) $，其中 $ h $ 在 $ \mathfrak{h}^{2i}(X) $ 上作用为乘以 $ i - n $，投影算子以海森堡代数显式表示。
• 该分解在楚-动机中特化为贝乌莱夫分解，分量形式为 $ A^i(X)_{2s} = \{ \alpha \in A^i(X) \mid h(\alpha) = (i - s - n)\alpha \} $。
• 证明了希尔伯特概形的除子类与陈类位于分解的正确分量中，从而证实了贝乌莱夫与沃辛的猜想。
• 证明了该分解具有乘法性：上积尊重分次结构，即 $ \cup: \mathfrak{h}^{2i} \otimes \mathfrak{h}^{2j} \to \mathfrak{h}^{2i+2j} $。
• 构建了一个关于LLV代数 $ \mathfrak{g}_{\mathrm{NS}} $-作用的精炼分解，得到不可约表示 $ \psi $ 的同型分量 $ \mathfrak{h}_\psi(X) $，该精炼分解同样具有乘法性。
• 证明了 $ h_{\alpha\delta} $ 作用于陈特征算子时与乘法算子对易，从而确认 $ h_{\alpha\delta}(\mathrm{ch}_k(\mathrm{Tan})) = 0 $，这是验证分解一致性的关键步骤。