[论文解读] Brill-Noether duality for moduli spaces of sheaves on K3 surfaces

Eyal Markman|ArXiv.org|Jan 18, 1999

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

一句话总结

本文通过构建一种推广了Springer解消对偶性的分层Mukai初等变换，建立了K3曲面上层模空间的Brill-Noether对偶性。它表明，在K3曲面的第二上同调上平凡作用的Mukai格点中的反射，会在模空间上诱导出双有理的分层初等变换，并证明了一个Picard-Lefschetz型公式，通过与代数对应关系的上积来识别上同调同构。

ABSTRACT

Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions of nilpotent orbits. It applies to a holomorphic-symplectic variety M with a stratification where the first stratum is a P^n bundle, but lower strata are Grassmannian bundles. The resulting (transformed) symplectic variety W admits a stratification by the dual Grassmannian bundles. 2) The group of reflections of the Mukai lattice, which act trivially on the second cohomology of the K3 surface, acts on moduli spaces of sheaves (with ``minimal'' first Chern class) as birational stratified elementary transformations. 3) We derive a Picard-Lefschetz type formula identifying the isomorphism of cohomology rings of a holomorphic-symplectic variety M and its stratified transform W as the cup product with an algebraic correspondence.

研究动机与目标

• 将典型Nilpotent轨道的Springer解消对偶性推广至具有分层结构的全纯对称流形。
• 理解Mukai格点中的等距变换——特别是那些在K3曲面的第二上同调上平凡作用的变换——如何作用于层模空间。
• 构建一个模空间的双有理变换，其结构与分层中对偶的Grassmannian丛结构相呼应。
• 通过代数对应关系，在全纯对称流形与其变换后对应物之间建立上同调对偶性。
• 在K3曲面及其层模空间的背景下，为Brill-Noether对偶性提供几何实现。

提出的方法

• 为全纯对称流形构造一种分层Mukai初等变换，其中第一层为P^n-丛，下层为Grassmannian丛。
• 在变换后的流形W上定义对偶分层，其中各层对应于对偶Grassmannian丛。
• 利用在K3曲面的H^2上作用平凡的Mukai格点中的反射，来诱导模空间上的双有理对称变换。
• 应用代数对应关系理论，关联原始流形与变换后流形的上同调环。
• 推导出一个Picard-Lefschetz型公式，将上同调同构表达为与特定代数对应关系的上积。
• 利用Hilbert概形与Jacobian纤维丛的几何结构，作为对偶性构造的原型。

实验结果

研究问题

• RQ1 如何将Nilpotent轨道的Springer解消对偶性推广至具有分层结构的全纯对称流形？
• RQ2 Mukai格点中的反射以何种方式在K3曲面上的层模空间上诱导出双有理变换？
• RQ3 全纯对称流形与其分层Mukai变换之间精确的上同调关系为何？
• RQ4 分层初等变换如何在交换层类型的同时保持对称结构？
• RQ5 Hilbert概形与Jacobian之间的Abel-Jacobi映射是否可视为K3曲面层模空间中更广泛对偶性的一个特例？

主要发现

• 为具有P^n与Grassmannian分层的全纯对称流形构造了分层Mukai初等变换，结果产生由对偶Grassmannian丛构成的对偶分层。
• 在K3曲面S上作用于H^2(S, Z)平凡的Mukai格点中的反射，会在第一陈类最小的层模空间上诱导出双有理的分层初等变换。
• 原始流形M与其变换后对应物W的上同调环通过与代数对应关系的上积同构，符合Picard-Lefschetz型公式。
• 该对偶性构造推广了经典Abel-Jacobi映射，即从K3曲面上g个点的Hilbert概形到其双曲截面Jacobian的并集。
• 该变换保持了全纯对称结构，并在K3曲面模空间的背景下为Brill-Noether对偶性提供了几何实现。
• 该结果适用于由Mukai格点参数化的K3曲面层模空间，其对偶性由格点对称性诱导。