[论文解读] Transformation de Fourier generalisee

Gérard Laumon|ArXiv.org|Mar 5, 1996

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

一句话总结

本文为代数群上的D-模引入了一种广义傅里叶变换——通过赋予自然扩张空间代数结构，并在D-模与该对偶空间上的复形之间构造函子性对应，从而将经典的傅里叶-穆凯伊、梅林及D-模傅里叶变换统一起来。核心贡献在于构造了一个完全忠实的逆傅里叶变换，能够从其上同调数据重构D-模，使多种经典变换在单一框架下统一。

ABSTRACT

In this paper I construct a geometric transformation for generalized 1-motives which extends the Fourier-Mukai transformation for O-Modules on abelian varieties, the geometric Fourier transformation for D-Modules on vector spaces and the geometric Mellin transformation for D-Modules on tori. In particular, I construct an equivalence of triangulated categories between the derived category of quasi-coherent D-Modules on an abelian variety and the derived category of quasi-coherent O-Modules on the universal extension of the dual abelian variety. This equivalence has also been obtained by Mitchell Rothstein.

研究动机与目标

• 将经典傅里叶变换（傅里叶-穆凯伊、梅林、D-模傅里叶）统一为代数群上D-模的广义框架。
• 定义一种广义傅里叶变换，通过自然扩张的对偶空间，从其上同调数据重构D-模。
• 将1-动机与卡蒂埃对偶理论扩展至包含向量与环面分量，实现对混合型代数群上D-模的统一处理。
• 构造广义傅里叶变换的函子性逆变换，确保D-模能从其变换数据中完整重构。
• 为几何朗兰兹纲领中黎曼曲面上自守层的傅里叶变换提供几何与代数基础。

提出的方法

• 定义广义1-动机$G$的$\natural$-扩张空间$G^\natural$，其由满足广义平方定理的${\cal O}_G$-模与可积联络构成。
• 为$G^\natural$赋予代数结构（广义1-动机），使其成为傅里叶变换的对偶空间。
• 通过$({\cal L},\nabla) \otimes_{\cal O_G} \cal M$的de Rham复形，将傅里叶变换构造为函子$\cal F(M)$，将$G$上的D-模$\cal M$映射为$G^\natural$上的层复形。
• 通过涉及对偶复形的典范同构，建立变换的函子性、基变换、投影与对偶性兼容性。
• 利用广义1-动机上拟相干与相干D-模的理论，确保变换保持关键代数与几何性质。
• 通过对偶同构证明存在拟逆变换，并在特殊情形（阿贝尔簇、向量空间、环面）下验证其与标准傅里叶变换的一致性。

实验结果

研究问题

• RQ1 是否存在一个单一的广义傅里叶变换，能够统一代数群上经典的傅里叶-穆凯伊、梅林与D-模傅里叶变换？
• RQ2 如何为广义1-动机的$\natural$-扩张空间赋予代数结构，使其成为对偶空间？
• RQ3 对于$({\cal L},\nabla) \in G^\natural$，上同调数据$R\Gamma(G, \mathrm{DR}(({\cal L},\nabla) \otimes_{\cal O_G} {\cal M})))$在多大程度上能确定原始D-模$\cal M$？
• RQ4 傅里叶变换与D-模对偶之间的确切对偶同构为何？它如何推广已知结果？
• RQ5 广义变换在基变换与广义1-动机之间态射下的行为如何？

主要发现

• 广义傅里叶变换$\cal F(M)$是完全忠实的，允许从$G^\natural$上的变换后上同调数据重构原始D-模$\cal M$。
• 该变换扩展了阿贝尔簇上的经典傅里叶-穆凯伊变换与向量空间上的标准傅里叶变换，将二者统一于同一框架。
• 当$M = [0 \to A]$时，变换通过阿贝尔簇及其对偶的对偶性，恢复了经典的傅里叶-穆凯伊等价。
• 当$M = [0 \to V]$时，变换退化为$D_V$-模上的标准傅里叶变换，满足$\cal F' \circ \cal F \cong \langle -1 \rangle^!$。
• 通过对$\omega_M$与移位的同构关系，建立了对偶复形的相容性，确保与格罗滕迪克对偶性一致。
• 通过使用对偶函子显式构造了逆变换，并满足$D' \circ \cal F \cong \langle -1 \rangle^! \circ \cal F \circ D \otimes \omega_{M}^{\otimes 3}[d_G - d_{\cal G} - r_{\cal G} + 2d_{G'}]$，推广了已知的对偶性结果。