[论文解读] Irreducibility of moduli spaces of vector bundles on K3 surfaces

Kōta Yoshioka|ArXiv.org|Jul 1, 1999

Algebraic Geometry and Number Theory参考文献 20被引用 60

一句话总结

该论文证明了当 Mukai 向量为本原向量且极化为一般时，K3 曲面上稳定向量丛的模空间是一个不可约的辛流形。通过变形理论与 Mukai 格，建立了 Mukai 向量正交补与模空间的第二上同调之间的等距同构，表明这些模空间与 K3 曲面上点的 Hilbert 模空间在形变下等价。

ABSTRACT

In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.

研究动机与目标

• 建立 K3 曲面上具有本原 Mukai 向量的稳定层模空间的不可约性与辛结构。
• 证明这些模空间在形变下与 K3 曲面上点的 Hilbert 模空间等价。
• 利用 Mukai 格计算模空间的周期，并确立其 Hodge 理论不变量。
• 通过欧拉示性数计算，将结果与物理对偶现象（特别是 Montonen-Olive 对偶）联系起来。

提出的方法

• 利用 K3 曲面上的上同调的 Mukai 格结构，定义一个典范配对，并通过欧拉形式解释 Riemann-Roch 定理。
• 应用 K3 曲面上复结构的变形理论，诱导模空间 $M_H(v)$ 的形变。
• 利用典范同态 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$ 构造与 Beauville-Bogomolov 形式之间的等距同构。
• 依赖于拟普遍族的存在性，以定义典范映射 $\theta_v$ 并证明其保持 Hodge 结构。
• 利用双有理变换保持 Hodge 数与欧拉示性数的事实，将 $M_H(v)$ 与 Hilbert 模空间 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ 联系起来。
• 应用 [Y5] 中关于本原 Mukai 向量满足 $\langle v^2 \rangle \geq 2$ 时的不可约性与周期计算结果。

实验结果

研究问题

• RQ1 在何种条件下，K3 曲面上稳定层的模空间 $M_H(v)$ 是不可约且具有辛结构？
• RQ2 当 $v$ 为本原向量时，$M_H(v)$ 的周期如何与 Mukai 格结构相关联？
• RQ3 K3 曲面上稳定层的模空间在多大程度上与点的 Hilbert 模空间形变等价？
• RQ4 能否以与 $N=4$ 规范理论中的物理配分函数一致的方式计算 $M_H(v)$ 的欧拉示性数？
• RQ5 模空间 $M_H(v)$ 与 Hilbert 模空间 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ 之间的 Hodge 结构存在何种精确关系？

主要发现

• 对于满足 $\operatorname{rk}v > 0$ 且 $c_1(v) \in \mathrm{NS}(X)$ 的本原 Mukai 向量 $v$，模空间 $M_H(v)$ 非空当且仅当 $\langle v^2 \rangle \geq -2$。
• $M_H(v)$ 在一般极化 $H$ 下为不可约的辛流形，且通过形变与双有理变换的复合，与 Hilbert 模空间 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ 形变等价。
• 典范映射 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$ 在 $\langle v^2 \rangle \geq 2$ 时为保持 Hodge 结构的等距同构。
• $M_H(v)$ 的 Hodge 数与 Hilbert 模空间一致：$h^{p,q}(M_H(v)) = h^{p,q}(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$。
• $M_H(v)$ 的欧拉示性数等于对应 Hilbert 模空间的欧拉示性数：$\chi(M_H(v)) = \chi(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$。
• 这些结果与 Minahan 等人计算的 $N=4$ 超规范理论在 K3 曲面上的配分函数的物理计算一致。