[论文解读] A Fourier-Mukai Transform for Stable Bundles on K3 Surfaces

Claudio Bartocci, Ugo Bruzzo+1 more|ArXiv.org|May 13, 1994

Algebraic Geometry and Number TheoryMathematics参考文献 6被引用 19

一句话总结

本文通过将稳定层的模空间作为对偶簇，为复数K3曲面上的稳定丛引入了一种傅里叶-穆卡伊变换。证明了该变换在零度丛上保持多项式稳定性和稳定性，当对偶模空间与原始K3曲面同构时变换可逆，并保持欧拉示性数和Mukai向量的次数。

ABSTRACT

We define a Fourier-Mukai transform for sheaves on K3 surfaces over $\C$, and show that it maps polystable bundles to polystable ones. The role of ``dual'' variety to the given K3 surface $X$ is here played by a suitable component $\hat X$ of the moduli space of stable sheaves on $X$. For a wide class of K3 surfaces $\hat X$ can be chosen to be isomorphic to $X$; then the Fourier-Mukai transform is invertible, and the image of a zero-degree stable bundle $F$ is stable and has the same Euler characteristic as $F$.

研究动机与目标

• 通过将X上稳定层的模空间作为对偶簇，定义复K3曲面上稳定向量丛的傅里叶-穆卡伊变换。
• 建立该变换保持向量丛多项式稳定性和稳定性的条件。
• 证明当对偶模空间与原始K3曲面同构时，该变换可逆。
• 证明该变换保持欧拉示性数和Mukai向量次数等拓扑不变量。
• 通过Hitchin-Kobayashi对应，在代数设定下将稳定丛与瞬子丛之间的对应关系加以推广。

提出的方法

• 通过$X \times \widehat{X}$上的核层$Χ$定义傅里叶-穆卡伊变换，其中$\widehat{X}$是$X$上稳定层模空间的一个分量。
• 使用导出范畴形式化：对$X$上的层$\mathcal{F}$，有$\mathcal{S}_{X}(\mathcal{F}) = R\hat{\pi}_* (\mathcal{Q} \otimes^L \pi^* \mathcal{F})$。
• 应用弱指标定理（WIT）和指标定理（IT）条件，确定变换集中在单个上同调度的情形。
• 利用Mukai的结果：当$M_H(v)$紧致且二维时，其为K3曲面，且与$X$同源。
• 利用Riemann-Roch定理和陈特征计算，推导出变换Mukai向量的显式公式。
• 利用Hitchin-Kobayashi对应，将代数稳定性与微分几何中的瞬子解联系起来，确保稳定性得以保持。

实验结果

研究问题

• RQ1 在何种条件下，K3曲面上零度向量丛的傅里叶-穆卡伊变换保持稳定性？
• RQ2 傅里叶-穆卡伊变换在何种情况下可逆？对偶模空间$\widehat{X}$与原始K3曲面$X$同构的条件是什么？
• RQ3 该对应下，拓扑不变量（尤其是Mukai向量和欧拉示性数）如何变换？
• RQ4 该变换能否扩展以保持稳定层模空间上的全纯辛结构？
• RQ5 在变换下，$X$上稳定丛的模空间与$\widehat{X}$上对应空间之间存在何种关系？

主要发现

• 傅里叶-穆卡伊变换将$X$上零度的$\mu$-多项式稳定层映射为$\widehat{X}$上的$\mu$-多项式稳定层，保持稳定性。
• 对于一大类K3曲面，有$\widehat{X} \cong X$，且变换可逆，映射$\mathcal{F} \mapsto \widehat{\mathcal{F}}$在导出范畴上诱导自同构。
• 变换保持欧拉示性数：对WIT 1层有$\chi(\widehat{\mathcal{F}}) = \chi(\mathcal{F})$。
• Mukai向量通过显式公式变换：$\hat{\rho} = -3\rho + 2\sigma + \ell \cdot c_1$，$\hat{c}_1 = (\ell \cdot c_1 + 2d)\widehat{H} + (\rho + d - s)\hat{\ell} - \Psi^*(c_1)$，$\hat{\sigma} = 2\rho - 3\sigma - \ell \cdot c_1$。
• 变换保持Mukai向量的次数：$\hat{u}^2 = u^2$，确保模空间维数相等。
• 该映射在模空间$M_H(u)$与$M_{\widehat{H}}(\hat{u})$之间诱导双有理对应；在特殊情形（如$u = (1+2n, -n\hat{\ell}, 1-3n)$）下，$M_{\widehat{H}}(\hat{u})$与点态希尔伯特概形$\operatorname{Hilb}^n(X)$处处全纯同构。