[论文解读] Kernel algebras and generalized Fourier-Mukai transforms

Alexander Polishchuk|ArXiv.org|Oct 8, 2008

Algebraic structures and combinatorial models参考文献 19被引用 7

一句话总结

本文引入了核代数——在 $X \times X$ 上的层范畴中配备卷积张量结构的代数对象——以将傅里叶-穆凯伊变换和导出莫里塔理论推广至非交换几何设置。研究证明，纯核代数（保持层的阿贝尔子范畴）可诱导其模范畴之间的导出等价，统一了阿贝尔簇上的扭曲 $D$-模与广义 1-动机的洛蒙傅里叶对偶性。

ABSTRACT

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting categories, such as D-modules, equivariant sheaves and their twisted versions, arise as categories of modules over kernel algebras. We develop the techniques of constructing derived equivalences between these module categories. As one application we generalize the results of math.AG/9901009 concerning modules over algebras of twisted differential operators on abelian varieties. As another application we recover and generalize the results of Laumon in alg-geom/9603004 concerning an analog of the Fourier transform for derived categories of quasicoherent sheaves on a dual pair of generalized 1-motives.

研究动机与目标

• 将积分变换技术从交换代数几何推广至包括 $D$-模与等变层在内的非交换几何范畴。
• 在不依赖于 dg-范畴的前提下，构建一个在核代数模范畴之间构造导出等价性的框架。
• 推广关于阿贝尔簇上扭曲微分算子及广义 1-动机傅里叶对偶性的现有结果。
• 通过与群概形作用相关的核代数，统一处理商叠上的层与等变层。
• 刻画核代数上模的Čech预解何时继承相容的代数作用，从而实现显式计算。

提出的方法

• 将核代数定义为在卷积张量结构下，$X \times X$ 上层范畴中的代数对象，其单位为 $\Delta_*\mathcal{O}_X$。
• 引入‘纯’核代数的概念——即其关联的积分变换保持凝聚层的阿贝尔范畴。
• 利用具有仿射过渡映射的相容开覆盖 $(U_i)$，构造核代数上模的Čech型预解。
• 建立同构 $\sigma: \mathcal{A} \circ_X \Delta(\mathfrak{U}) \to \Delta(\mathfrak{U}) \circ_X \mathcal{A}$，以确保Čech预解与核代数结构的相容性。
• 从 $D_{qc}(X)$ 上的群概形作用（如有限群概形或形式群）构造核代数，证明其模范畴等价于等变层。
• 将该框架应用于广义 1-动机 $[G \to E]$ 及其对偶 $[G' \to E']$，证明其上的层通过 $A$ 与 $\hat{A}$ 上的核代数，对应于阿贝尔簇上的扭曲等变层。

实验结果

研究问题

• RQ1 积分变换与导出莫里塔理论如何推广至 $D$-模与扭曲层等非交换几何范畴？
• RQ2 何种条件可确保核代数诱导其模范畴之间的导出等价？此类等价性如何显式构造？
• RQ3 能否通过核代数与相容的Čech预解，恢复并扩展广义 1-动机的傅里叶-穆凯伊对偶性？
• RQ4 在拟 coherent 层导出范畴上的群概形作用如何生成核代数？其模的几何解释为何？
• RQ5 在何种条件下，核代数上模的Čech预解会继承核代数的相容作用？

主要发现

• 纯核代数诱导其模范畴之间的导出等价，同时推广了奥尔洛夫的积分变换定理与 [Ric] 的导出莫里塔理论。
• $X$ 上 $G$-等变层的范畴与通过 $G$-作用在 $D_{qc}(X)$ 上的积分变换构造的纯核代数的模范畴等价。
• 扭曲 $G$-等变层作为结合自同构与线丛张量作用的核代数的模出现。
• 广义 1-动机 $K = [G \to E]$ 上的层与阿贝尔簇 $A \subset E$ 上的纯核代数 $\mathcal{A}(K)$ 的模范畴等价；对偶 $\mathbb{D}(K)$ 在 $\hat{A}$ 上的情形亦然。
• $\mathcal{A}(K)$ 与 $\mathcal{A}(\mathbb{D}(K))$ 通过 $A$ 与 $\hat{A}$ 上的标准傅里叶-穆凯伊变换相互关联，确立了广义对偶性。
• 对于与核代数相容的仿射开覆盖，模的Čech预解继承核代数的相容作用，从而可显式表示为 $\mathcal{O}^\bullet(X, \mathfrak{U})$。