[论文解读] Non-Fine Moduli Spaces of Sheaves on K3 Surfaces

Andrei Căldăraru|ArXiv.org|Aug 27, 2001

Geometric and Algebraic Topology参考文献 9被引用 10

一句话总结

该论文在 $X$ 上的凝聚层的导范畴与 $X$ 上稳定层的模空间 $M$ 上的 $\alpha$-扭层的导范畴之间建立了等价关系，即使 $M$ 不是精细模空间也是如此。通过 Mukai 的霍奇同构识别了 Brauer 类 $\alpha$，并提出了 Orlov 的导等价定理在扭曲 K3 曲面情形下的推广，该推广基于其超越格的霍奇同构。

ABSTRACT

In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3 surfaces, and we identify alpha in terms of Mukai's map between the cohomology of X and of M (defined by means of a quasi-universal sheaf). We prove that the derived category of sheaves on X and the derived category of alpha-twisted sheaves on M are equivalent. This suggests a conjecture which describes, in terms of Hodge isometries of lattices, when derived categories of twisted sheaves on two K3 surfaces are equivalent. If proven true, this conjecture would generalize a theorem of Orlov and a recent result of Donagi-Pantev.

研究动机与目标

• 将 Orlov 的导等价定理推广至 K3 曲面上非精细模空间的层。
• 在模空间 $M$ 上识别出分类普遍层存在性障碍的 Brauer 类 $\alpha$。
• 通过扭的普遍层建立等价关系 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$。
• 提出一个猜想，将 K3 曲面上扭层的导范畴与它们的超越格的霍奇同构联系起来。
• 通过定义 $\alpha$-扭层的稳定性，为扭模空间理论奠定基础，并提出未来工作的计划。

提出的方法

• 利用 $X$ 与 $M$ 的上同调之间的 Mukai 映射，识别 $\mathrm{Br}(M)$ 中的 Brauer 类 $\alpha$。
• 通过拟普遍层在 $X \times M$ 上构造一个 $\pi_M^*\alpha^{-1}$-扭的普遍层。
• 应用定理 2.1 证明积分函子 $\Phi_{M \to X}^\mathscr{P}$ 是导范畴的等价。
• 利用 Mukai 格上的 Mukai 乘积与霍奇结构，关联 $X$ 与 $M$ 的上同调数据。
• 通过固定的 $\alpha^{-1}$-扭局部自由层 $\mathscr{E}$ 定义 $\alpha$-扭层的斜率稳定性。
• 建议通过发展稳定扭层的理论，将 Mukai 和 Orlov 的结果推广至扭模空间。

实验结果

研究问题

• RQ1 如何在 K3 曲面上非精细模空间的层上建立导等价？
• RQ2 模空间 $M$ 上的精确 Brauer 类 $\alpha$ 是什么，它分类了普遍层存在的障碍？
• RQ3 在非精细情形下，$X$ 的导范畴能否与 $M$ 上 $\alpha$-扭层的导范畴等价？
• RQ4 当两个 K3 曲面的上同调与霍奇结构满足何种条件时，其扭层的导范畴是等价的？
• RQ5 如何为扭层定义稳定性，以允许在扭设定下构造模空间？

主要发现

• 在 $X$ 上的凝聚层的导范畴与 $M$ 上的 $\alpha$-扭层的导范畴之间存在等价，其中 $\alpha$ 是由模空间问题确定的 Brauer 类。
• 通过使用拟普遍层，利用 $X$ 与 $M$ 之间 Mukai 的霍奇同构，识别了 Brauer 类 $\alpha$。
• 通过使用扭普遍层的傅里叶- Mukai 变换，建立了等价关系 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$。
• 本文猜想：两个 K3 曲面上扭层的导范畴等价，当且仅当它们的超越格是霍奇同构的。
• 提出了使用固定 $\alpha^{-1}$-扭局部自由层 $\mathscr{E}$ 的 $\alpha$-扭层的斜率稳定性定义，推广了未扭情形。
• 本文建议，要将 Orlov 定理完全推广至扭设定，需要发展稳定扭层的模空间理论。