[论文解读] Fourier-Mukai transforms for quotient varieties

Tom Bridgeland, Antony Maciocia|arXiv (Cornell University)|Nov 17, 1998

Algebraic Geometry and Number Theory参考文献 3被引用 15

一句话总结

本文建立了在典范丛阶有限的光滑射影概形上的傅里叶-穆凯伊（FM）变换与它们的典范覆叠上的等变FM变换之间的对应关系。证明了此类概形上的FM变换可提升至其典范覆叠上的等变变换，反之亦然。关键贡献在于通过此提升过程构造了关于奇异面和双椭圆面的新FM变换。

ABSTRACT

We study Fourier-Mukai transforms for smooth projective varieties whose canonical bundles have finite order, and relate them to equivariant transforms on certain finite covering spaces. Our results lead to new equivalences of derived categories for Enriques and bielliptic surfaces.

研究动机与目标

• 建立在典范丛阶有限的概形上的FM变换与它们的典范覆叠上的等变FM变换之间的对应关系。
• 证明此类概形上的FM变换在商概形上出现，源于覆叠上的等变变换，反之亦然。
• 利用此提升机制，为奇异面和双椭iptic面构造新的FM变换示例。
• 提供一个数值准则，用于判断覆叠上层的模空间上的G作用何时可下降到商概形上的变换。

提出的方法

• 使用典范覆叠构造：对于典范丛阶为n的概形X，构造一个有限平展覆叠p: X̃ → X，其典范丛平凡，并具有自由的Zn作用。
• 证明任意此类概形之间的FM变换Φ: D(Y) → D(X)可提升为覆叠上的Zn-等变FM变换Φ̃: D(Ỹ) → D(Ẋ)。
• 证明涉及沿商映射的拉回与推出函子的函子图交换。
• 使用导出范畴形式化方法及凝聚层的性质，包括导出张量积与导出推出。
• 应用奥尔洛夫的表示性定理，将任意FM等价表示为D(Y × X)中一个核对象。
• 基于层对的欧拉示性数建立一个准则（引理5.1），用于判断覆叠上模空间上的G作用是否自由，从而实现下降到商概形。

实验结果

研究问题

• RQ1 在何种条件下，商概形X = X̃/G上的傅里叶-穆凯伊变换可提升为典范覆叠X̃上的G-等变变换？
• RQ2 在典范丛平凡的概形上，G-等变FM变换在何种条件下可下降为商概形上的FM变换？
• RQ3 在何种条件下，G作用在覆叠上层的模空间上是自由的，从而允许下降到商概形？
• RQ4 如何利用此提升过程为奇异面和双椭圆面构造新的FM变换？

主要发现

• 任意两个典范丛阶为n的光滑射影概形之间的FM变换Φ: D(Y) → D(X)均可提升为它们的典范覆叠上的Zn-等变FM变换Φ̃: D(Ỹ) → D(Ẋ)。
• 涉及沿商映射的拉回与推出函子的函子图交换，确保了变换之间的相容性。
• 覆叠上层的模空间上的G作用是自由的，当且仅当所有X上的向量丛F的χ(pX*F, P̃y)的最高公因数为1。
• 对于奇异面X，K3覆叠上的反射函子可下降为D(X) → D(X)的FM自同构Φ，满足Φ(𝒪x)属于某个特定的短正合列。
• 对于基本群为Zn的双椭圆面X，通过覆叠上稳定层的模空间构造了一个新的FM变换Φ: D(Y) → D(X)，且Φ(𝒪y)是一个秩为4n的局部自由层。
• 在奇异面与双椭圆面的情形下，任意两个此类概形之间的导出等价性意味着它们彼此同构，如后续工作[5]所示。