[论文解读] Hodge numbers of moduli spaces of stable bundles on K3 surfaces

Lothar Gœttsche, Daniel Huybrechts|ArXiv.org|Aug 4, 1994

Algebraic Geometry and Number Theory参考文献 16被引用 5

一句话总结

本文证明了在K3曲面上，具有本原行列式线丛的秩为2的稳定无挠层模空间的Hodge数与同一K3曲面上相应点的Hilbert概形的Hodge数完全相同。该结果在模空间的维数至少为10的条件下成立，且Hilbert概形中的点数由公式 $ l = 2c_2 - \frac{L^2}{2} - 3 $ 给出，通过Hodge理论不变量将模空间的拓扑与Hilbert概形的拓扑联系起来。

ABSTRACT

We show that the Hodge numbers of the moduli space of stable rank two sheaves with primitive determinant on a K3 surface coincide with the Hodge numbers of an appropriate Hilbert scheme of points on the K3 surface. The precise result is: Theorem: Let $X$ be a K3 surface, $L$ a primitive big and nef line bundle and $H$ a generic polarization. If the moduli space of rank two $H$ semi-stable torsion-free sheaves with determiant $L$ and second Chern class $c_2$ has at least dimension 10 then its Hodge numbers coincide with those of the Hilbert scheme of $l:=2c_2-\frac{L^2}{2}-3$ points on $X$.

研究动机与目标

• 确定K3曲面上秩为2的稳定层模空间的Hodge数。
• 将这些Hodge数与同一K3曲面上点的Hilbert概形的Hodge数进行比较。
• 确立模空间的Hodge数与Hilbert概形的Hodge数相等的条件。
• 通过其Hodge理论不变量对模空间进行拓扑刻画。

提出的方法

• 作者分析了在K3曲面X上，具有固定本原行列式线丛L的秩为2的H-半稳定无挠层的模空间。
• 他们利用模空间维数至少为10的条件，以确保存在具有所需性质的光滑、不可约分支。
• 该构造依赖于在X上选择一个一般极化H以及一个本原的、大且 nef 的线丛L。
• 通过公式 $ l = 2c_2 - \frac{L^2}{2} - 3 $ 计算相关Hilbert概形中的点数，其中 $ c_2 $ 为层的第二陈类。
• 证明使用了变形理论，并比较了模空间与Hilbert概形之间的Hodge结构。
• 作者应用了关于K3曲面上点的Hilbert概形的Hodge数的已知结果，推导出不变量相等的结论。

实验结果

研究问题

• RQ1 K3曲面上秩为2的稳定层模空间的Hodge数是否与同一曲面上点的Hilbert概形的Hodge数一致？
• RQ2 在何种几何条件下，Hodge数的相等性成立？
• RQ3 Hilbert概形中的点数如何与行列式线丛的陈类及交点数相关？
• RQ4 稳定层模空间的Hodge结构是否与对应Hilbert概形的Hodge结构同构？
• RQ5 模空间的维数在确保Hodge数的拓扑等价性方面起什么作用？

主要发现

• 在K3曲面上，具有本原行列式线丛的秩为2的稳定无挠层模空间的Hodge数，等于同一K3曲面上 $ l = 2c_2 - \frac{L^2}{2} - 3 $ 个点的Hilbert概形的Hodge数。
• 当模空间维数至少为10时，Hodge数相等。
• 该结果对K3曲面X上的通用极化H以及本原的、大且 nef 的线丛L成立。
• 模空间的Hodge结构与Hilbert概形的Hodge结构同构，表明其具有深刻的拓扑相似性。
• 该构造在层的第二陈类与Hilbert概形中点数之间建立了精确的数值对应关系。
• 本文通过Hodge理论不变量，建立了K3曲面上层模空间几何与Hilbert概形几何之间的强关联。