[论文解读] Fourier-Mukai transforms for K3 and elliptic fibrations

Tom Bridgeland, Antony Maciocia|arXiv (Cornell University)|Aug 5, 1999

Algebraic Geometry and Number Theory参考文献 14被引用 9

一句话总结

本文通过将每个纤维替换为该纤维上稳定层的模空间，为K3纤维和椭圆纤维构造了对偶纤维结构，并证明了原始纤维与对偶纤维之间导出范畴的等价性。该研究建立了傅里叶-穆凯伊变换，将椭圆三纤维上稳定丛的模空间与曲线的希尔伯特纲联系起来，为具有阿贝尔或K3纤维的纤维结构提供了导出等价性框架。

ABSTRACT

Given a non-singular variety with a K3 fibration f : X --> S we construct dual fibrations Y --> S by replacing each fibre X_s of f by a two-dimensional moduli space of stable sheaves on X_s. In certain cases we prove that the resulting scheme Y is a non-singular variety and construct an equivalence of derived categories of coherent sheaves Φ: D(Y) --> D(X). Our methods also apply to elliptic and abelian surface fibrations. As an application we show how the equivalences Φidentify certain moduli spaces of stable bundles on elliptic threefolds with Hilbert schemes of curves.

研究动机与目标

• 通过K3纤维和椭圆纤维上稳定层的模空间，构造对偶纤维结构。
• 在原始纤维与对偶纤维之间建立相干层导出范畴的等价性。
• 将傅里叶-穆凯伊变换理论推广至具有K3和椭圆纤维的纤维结构。
• 将对偶性应用于将椭圆三纤维上稳定丛的模空间与曲线的希尔伯特纲相联系。
• 为代数几何中纤维结构的研究提供一个导出范畴框架。

提出的方法

• 将K3纤维f: X → S的每个纤维替换为该纤维上稳定层的二维模空间。
• 在相同基空间S上构造一个新的概形Y，形成对偶纤维Y → S。
• 在特定条件下证明Y为非奇异概形。
• 利用傅里叶-穆凯伊变换的核，构造相干层导出范畴之间的等价映射Φ: D(Y) → D(X)。
• 将该方法应用于椭圆与阿贝尔曲面纤维结构，推广对偶构造。
• 利用K3与椭圆曲面上层的稳定性条件和模理论，确保对偶纤维结构的良好行为。

实验结果

研究问题

• RQ1 能否通过将纤维替换为稳定层的模空间，为K3纤维构造对偶纤维？
• RQ2 在何种条件下，所得对偶纤维为非奇异概形？
• RQ3 对偶纤维的导出范畴是否与原始纤维的导出范畴存在等价？
• RQ4 傅里叶-穆凯伊变换能否将椭圆三纤维上稳定丛的模空间与曲线的希尔伯特纲相联系？
• RQ5 这些构造如何推广至椭圆与阿贝尔曲面纤维结构？

主要发现

• 对偶纤维Y → S通过将原始K3纤维的每个纤维X_s替换为X_s上稳定层的模空间而构造。
• 在适当条件下，证明所得概形Y为非奇异。
• 通过支持在纤维积上的核，利用傅里叶-穆凯伊变换构造了导出范畴之间的等价映射Φ: D(Y) → D(X)。
• 该方法可应用于椭圆与阿贝尔曲面纤维结构，将对偶性推广至这些情形。
• 该等价性将椭圆三纤维上某些稳定丛的模空间与曲线的希尔伯特纲相联系。
• 该构造为具有K3与椭圆纤维的纤维结构提供了导出范畴对偶性，丰富了代数几何中模空间的理解。