[论文解读] The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface

Kieran G. O’Grady|ArXiv.org|Oct 2, 1995

Algebraic Geometry and Number Theory参考文献 9被引用 62

一句话总结

该论文证明了在第一陈类为本原的情况下，K3曲面上无挠层模空间的权-2霍奇结构，与穆凯伊格拉姆中穆凯伊向量的正交补同构。关键结果是这些模空间为不可约辛流形，且穆凯伊标准映射成为整霍奇结构的同构，并与上同调上的博威尔二次型保持等距。

ABSTRACT

We prove that the weight-two Hodge structure of moduli spaces of torsion-free sheaves on a K3 surface is as described by Mukai (the rank is arbitrary but we assume the first Chern class is primitive). We prove the moduli space is an irreducible symplectic variety (by Mukai's work it was known to be symplectic). By work of Beauville, this implies that its $H^2$ has a canonical integral non-degenrate quadratic form; Mukai's recepee for $H^2$ includes a description of Beauville's quadratic form. As an application we compute higher-rank Donaldson polynomials of $K3$ surfaces.

研究动机与目标

• 确定K3曲面上无挠层模空间的权-2霍奇结构。
• 在第一陈类为本原的条件下，建立此类模空间为不可约辛流形的结论。
• 证明从穆凯伊向量正交补到第二上同调的穆凯伊映射是整霍奇结构的同构。
• 将穆凯伊对秩≤2的情形下的霍奇结构描述，推广至任意秩，条件为本原性。
• 将结果应用于计算K3曲面上高秩唐纳森多项式。

提出的方法

• 在 $ H^*(S;\mathbb{Z}) $ 上使用穆凯伊格拉姆结构，配备对称双线性形式 $ \langle \alpha, \beta \rangle = -\int_S \alpha^* \wedge \beta $。
• 对层 $ F $ 定义穆凯伊向量 $ v(F) = \operatorname{ch}(F)(1 + \omega) $，其中 $ \omega $ 为 $ H^4(S) $ 中的基本类。
• 通过层的准典范族构造标准穆凯伊映射 $ \theta_v: v^\perp \to H^2(\mathcal{M}_v(H); \mathbb{C}) $。
• 通过模空间上向量丛诱导的同构，证明映射 $ \theta_v $ 与准典范族的选择无关。
• 利用形变理论及穆凯伊和博威尔的结果，建立 $ \mathcal{M}_v(H) $ 的不可约性与辛结构。
• 利用 $ \mathcal{M}_v(H) $ 与某类希尔伯特 scheme $ T^{[n]} $ 形变等价的事实，将博威尔的上同调上标准二次型应用至 $ H^2 $。

实验结果

研究问题

• RQ1 K3曲面上层模空间的权-2霍奇结构是否在任意秩下均由穆凯伊构造完全描述？
• RQ2 当第一陈类为本原且 $ \langle v, v \rangle > 0 $ 时，模空间 $ \mathcal{M}_v(H) $ 是否仍为不可约辛流形？
• RQ3 穆凯伊映射 $ \theta_v $ 是否可作为整霍奇结构同构，推广至秩-2情形之外？
• RQ4 上同调 $ H^2(\mathcal{M}_v(H); \mathbb{Z}) $ 上的标准二次型如何与 $ v^\perp $ 上的穆凯伊形式相关联？
• RQ5 此霍奇理论同构对计算K3曲面上唐纳森多项式有何影响？

主要发现

• 当 $ v^1 $ 为本原且 $ \langle v, v \rangle > 0 $ 时，模空间 $ \mathcal{M}_v(H) $ 为不可约辛流形，其辛形式张成 $ H^{2,0} $。
• 标准穆凯伊映射 $ \theta_v: v^\perp \to H^2(\mathcal{M}_v(H); \mathbb{C}) $ 是整霍奇结构的同构。
• 当 $ v^\perp $ 装备穆凯伊二次型，且 $ H^2(\mathcal{M}_v(H)) $ 装备博威尔标准二次型时，映射 $ \theta_v $ 为等距。
• 该结果将穆凯伊早期对秩≤2情形的霍奇结构描述，推广至任意秩，条件为本原性。
• 一般情况下，模空间与任何希尔伯特 scheme $ T^{[n]} $ 不是双有理等价的，尽管它与某类此类流形形变等价。
• 该同构使得可通过模空间的霍奇理论结构，计算K3曲面上的高秩唐纳森多项式。