[论文解读] Perverse coherent sheaves and Fourier-Mukai transforms on surfaces

Kōta Yoshioka|arXiv (Cornell University)|Mar 12, 2010

advanced mathematical theories被引用 5

一句话总结

该论文通过在有理双 singularity 点的解析背景下引入顽劣凝聚层，将 K3 和椭圆曲面的傅里叶-穆凯伊对偶性推广为一种一般化形式。它表明，解析上的普遍族诱导了导出范畴之间的等价关系，扩展了经典对偶性并保持了 Gieseker 稳定性，其应用涵盖模空间与双有理几何中的墙穿现象。

ABSTRACT

We study perverse coherent sheaves on the resolution of rational double points. As examples, we consider rational double points on 2-dimensional moduli spaces of stable sheaves on K3 and elliptic surfaces. Then we show that perverse coherent sheaves appears in the theory of Fourier-Mukai transforms. As an application, we generalize the Fourier-Mukai duality for K3 surfaces to our situation.

研究动机与目标

• 将傅里叶-穆凯伊对偶性从一般极化推广到由有理双 singularity 点引起的奇异模空间。
• 表明当模空间由于非一般极化而奇异时，顽劣凝聚层自然出现在傅里叶-穆凯伊变换中。
• 构建 0-维顽劣凝聚层的模空间，并将其与墙穿现象联系起来。
• 通过顽劣层将傅里叶-穆凯伊变换下的稳定性保持性推广至非一般情形。
• 在奇异曲面上建立顽劣凝聚层与代数层之间的 Morita 等价，从而实现导出等价性结果。

提出的方法

• 利用 Bridgeland 在有理双 singularity 点解析上的顽劣凝聚层概念，在奇异曲面上定义一个新的阿贝尔范畴。
• 应用 Morita 等价性，将解析上的顽劣凝聚层与奇异基底上的非交换代数上的模联系起来。
• 在模理论中运用墙穿技术，将顽劣层与 K3 和椭圆曲面上的经典稳定层联系起来。
• 通过扭曲 Quot-簇和 Simpson 的构造方法，构建 0-维顽劣凝聚层的模空间，并证明其投影性。
• 利用解析上的普遍族定义傅里叶-穆凯伊变换，该变换在导出范畴之间诱导等价关系。
• 使用谱序列和相对丰沛性来验证变换的正合性与导出性质。

实验结果

研究问题

• RQ1 当模空间由于非一般极化而奇异时，顽劣凝聚层在傅里叶-穆凯伊变换框架中如何出现？
• RQ2 解析上的顽劣凝聚层与 K3 或椭圆曲面上原始稳定层模空间之间存在何种关系？
• RQ3 能否通过顽劣层将 K3 曲面的经典傅里叶-穆凯伊对偶性推广至非一般极化情形？
• RQ4 由普遍族诱导的导出范畴等价性如何与顽劣凝聚层模空间的结构相关联？
• RQ5 非交换代数层 A 在实现顽劣层与 A-模之间等价性方面起什么作用？

主要发现

• 解析上的普遍族 $X'$ 诱导的傅里叶-穆凯伊变换在导出范畴 $D^b(X)$ 与 $D^b(X')$ 之间形成等价关系，推广了经典对偶性。
• 证明了 $X'$ 上的顽劣凝聚层是稳定顽劣凝聚层的普遍族，且该变换保持 Gieseker 稳定性条件。
• 通过扭曲 Quot-簇和 Simpson 的模构造方法，将 0-维顽劣凝聚层的模空间构作为投影概形。
• 在解析上的顽劣凝聚层范畴与奇异曲面上代数层的模范畴之间建立了 Morita 等价。
• 该论文将傅里叶-穆凯伊变换下稳定性保持性推广至非一般极化情形，扩展了 [Y5] 和 [H] 的结果。
• 墙穿现象被用于将顽劣凝聚层的模空间与通常稳定层的模空间联系起来，尤其在 $K3$ 和椭圆曲面的背景下。