[论文解读] Vector bundles on a K3 surface

Shigeru Mukai|ArXiv.org|Apr 21, 2003

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

一句话总结

本文在K3曲面上的向量丛与椭圆曲线上线丛之间建立了深层类比，证明在特定条件下，K3曲面上稳定向量丛的模空间本身也是K3曲面。它证明了Hodge闭链的代数性，并通过Brill–Noether闭包提供了Fano三复形的双重描述，利用不变量理论简化模空间构造，无需使用Quot概形或线性化。

ABSTRACT

A K3 surface is a quaternionic analogue of an elliptic curve from a view point of moduli of vector bundles. We can prove the algebraicity of certain Hodge cycles and a rigidity of curve of genus eleven and gives two kind of descriptions of Fano threefolds as applications. In the final section we discuss a simplified construction of moduli spaces.

研究动机与目标

• 建立K3曲面上的向量丛与椭圆曲线上线丛之间的结构类比。
• 通过向量丛模空间证明K3曲面上某些Hodge闭链的代数性。
• 利用Brill–Noether闭包与Grassmannian嵌入，提供Fano三复形的双重几何描述。
• 通过消除Quot概形与线性化，简化K3曲面上向量丛模空间的构造。

提出的方法

• 使用K3曲面$S$上稳定层的模空间$M_S(r,L,s)$，其秩$r$、行列式$L$与欧拉示性数$\chi = r+s$固定。
• 应用不变量理论，通过$SL(n)$作用在矩阵空间或交错形式空间上的不变量环构造模空间为Proj。
• 通过Azumaya代数$\mathcal{A}$的陈类$c_2(\mathcal{A})/2r$，建立$H^2(S,\mathbb{Q})$与$H^2(M_S(r,L,s),\mathbb{Q})$之间的Hodge等距。
• 通过Gieseker矩阵的仿射簇的GIT商构造模空间，以直接的不变量环构造替代Quot概形。
• 利用Plücker嵌入与对偶Grassmannian，将模空间与经典线性系统及射影对偶性联系起来。
• 应用Weyl不变量定理，表明不变量环由具有单个关系的齐次多项式生成，从而得到$\mathbb{P}^1$或$\mathbb{P}^2$的双重覆盖。

实验结果

研究问题

• RQ1 在何种条件下，K3曲面上稳定向量丛的模空间$M_S(r,L,s)$本身是K3曲面？
• RQ2 Fano三复形（Picard数为1）能否通过曲线上向量丛的Brill–Noether闭包来描述？
• RQ3 K3曲面上向量丛的模空间能否在不使用Quot概形或线性化的情况下构造？
• RQ4 Fano三复形在两个对偶环境空间中的法丛之间存在何种关系？

主要发现

• 模空间$M_S(r,L,s)$是光滑的，维数为$(L^2) - 2rs + 2$，若其紧致且维数为2，则为K3曲面。
• 当$M_S(2,\mathcal{O}_S(1),2)$紧致且为二维时，其为$\mathbb{P}^2$上关于一条六次曲线的双重覆盖，且其本身为K3曲面。
• 亏格7与9的Fano三复形分别同构于Brill–Noether闭包${\cal SU}_C(2,K:5)$与${\cal SU}_C(2,K:3G)$，提供了其与旋量与拉格朗日Grassmannian线性截面的双重描述。
• Fano三复形在两个对偶环境空间中的法丛为扭对偶关系：$N_1 \simeq N_2^\vee \otimes \mathcal{O}_X(-K_X)$。
• 在$S_8 \subset \mathbb{P}^5$上，对秩≤2的交错形式空间上$SL(4)$作用的不变量环由四个次数为2,2,2,6的不变量生成，且存在一个关系$T^2 = f_6(B_1,B_2,B_3)$，从而得到$\mathbb{P}^2$的双重覆盖。
• 通过$\mathrm{Proj}\, R^{SL(n)}$构造模空间，消除了对Quot概形与线性化的依赖，为模空间提供了更初等且几何化的构造方法。