[论文解读] On taking twists of Fourier-Mukai transforms

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|Apr 18, 2010

Computer Graphics and Visualization Techniques参考文献 2被引用 2

一句话总结

本文通过构建对应变换核之间的映射，明确描述了在概形的导出范畴之间，傅里叶-穆凯伊变换的扭（伴随余单位的锥）结构。该工作推广了以往结果，放宽了概形的完备性条件，使得即使在非完备概形上，只要核是来自一个完备子概形的推出，也能直接计算球面扭。

ABSTRACT

Abstract. We show that the adjunction counit of a Fourier-Mukai transform Φ: D(X1) → D(X2) arises from a map of the kernels of the corresponding Fourier-Mukai transforms in a very general setting of X1,2 being proper separable schemes of finite type over a field. We write down this map of kernels explicitly – facilitating the computation of the twist (the cone of the adjunction counit) of Φ. We also give another description of this map, better suited to computing cones in the case when the kernel of Φ is a pushforward from a subscheme D ⊂ X1 ×X2. Moreoever, we show that we can replace the condition of properness of the spaces X1,2 by that of D being proper over X1,2 and still have this description apply as-is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality. 1.

研究动机与目标

• 通过核之间的映射，明确描述傅里叶-穆凯伊变换的扭。
• 通过将完备性条件替换为核的支持的完备性，将扭的描述推广至非完备概形。
• 通过基于核的构造，实现对非完备概形上球面扭的直接计算。
• 提供核映射的两种互补描述——一种通用，一种专用于从子概形推出的核。

提出的方法

• 本文构造了傅里叶-穆凯伊变换核之间的自然映射，该映射实现了伴随余单位。
• 利用导出范畴与dg提升，定义了在有限型概形上的一般设定下的映射。
• 对于那些为子概形 D ⊂ X1 × X2 上的推出核，利用 D 的几何结构提供了核映射的细化描述。
• 当 X1 和 X2 不完备时，只要 D 关于 X1 和 X2 是完备的，该构造依然有效。
• 通过导出拉回与推出，将核映射与导出范畴中的伴随余单位联系起来。
• 该方法允许通过分析核映射的余核，显式计算变换的锥（扭）结构。

实验结果

研究问题

• RQ1 如何以核的形式显式描述傅里叶-穆凯伊变换的扭？
• RQ2 标准的扭描述能否扩展到非完备概形？
• RQ3 核的支持在实现此类描述中起到什么作用？
• RQ4 当核作为子概形上的推出时，核映射的行为如何？
• RQ5 能否通过这种基于核的方法，在非完备概形上直接计算球面扭？

主要发现

• 傅里叶-穆凯伊变换的伴随余单位源于对应变换核之间的典范映射。
• 该核映射在有限型概形上的一般设定下，显式计算了扭（伴随余单位的锥）。
• 当 X1 和 X2 不完备时，只要核的支持 D 关于 X1 和 X2 是完备的，该描述依然有效。
• 对于作为子概形 D 上推出的核，提供了核映射的细化描述，更适合显式计算。
• 该框架通过利用核支持的完备性，实现了对非完备概形上球面扭的直接计算。
• 该结果将傅里叶-穆凯伊变换及其扭的应用范围，从经典的完备设定中拓展出来。