[论文解读] Local Fourier transforms and rigidity for D-modules

Spencer Bloch, Hélène Esnault|ArXiv.org|Dec 17, 2003

Rings, Modules, and Algebras参考文献 1被引用 14

一句话总结

本文为复洛朗级数域上曲线的极小化D-模构造了局部傅里叶变换，将Laumon的ℓ-进理论推广至复解析情形。证明了刚性指标在全局傅里叶变换下保持不变，从而确立了不可约极小化联络当且仅当其刚性指标为2时为刚性。

ABSTRACT

Local Fourier trnasforms, analogous to the $\ell$-adic Fourier transforms, are constructed for connections over $k((t))$. Following a program of Katz, a meromorphic connection on a curve is shown to be rigid, i.e. determined by local data at the singularities, if and only if a certain cohomological condition is satisfied. We show that the index of rigidity is invariant under Fourier transform.

研究动机与目标

• 将Laumon的局部ℓ-进傅里叶变换理论推广至复洛朗级数域上曲线的极小化联络。
• 利用局部傅里叶变换建立极小化D-模刚性的上同调准则。
• 证明刚性指标在全局傅里叶变换下保持不变，将Katz的结果从ℓ-进情形推广至复解析D-模。
• 证明不可约极小化联络为刚性当且仅当其刚性指标恰好为2。
• 提供一种在ℓ-进情形下未知的、不依赖于ℓ-进理论的上同调刚性表征。

提出的方法

• 为$ k((t)) $上的极小化联络构造局部傅里叶变换，其构造方式与Laumon的ℓ-进构造类似。
• 利用Grothendieck的正式上同调定理，通过联络$ \psi = (\mathcal{O}, d + d(tt')) $将$ \mathbb{P}^1 \times \mathbb{P}^1 $上的de Rham上同调与相对上同调联系起来。
• 应用联络的良基格子对概念，以控制联络在傅里叶变换下的行为。
• 为联络定义形变函子$ F $，利用Schlessinger准则与上同调消去性，证明其为拟表示且光滑。
• 利用Artin准则代数化形式模空间，证明在光滑基$ S $上存在一个普遍族$ \mathcal{M}_S $。
• 通过$ H^2(X, j_!^* \mathcal{E}nd(M)) \to H^2(X, j_!^* \mathcal{O}_U) \cong k $分析障碍理论，证明障碍因行列式平凡而消失。

实验结果

研究问题

• RQ1 极小化D-模的刚性指标是否如ℓ-进情形一般，在全局傅里叶变换下保持不变？
• RQ2 能否利用局部傅里叶变换为极小化联络建立刚性的上同调准则？
• RQ3 刚性指标为2是否等价于不可约极小化联络的实际刚性？
• RQ4 能否在$ k((t)) $上的D-模设定中构造出与Laumon的ℓ-进版本具有类似性质的局部傅里叶变换？
• RQ5 良基格子对在控制联络于傅里叶变换下行为方面起什么作用？

主要发现

• 构造了极小化D-模的局部傅里叶变换，并证明其满足与Laumon的ℓ-进局部傅里叶变换类似的性质。
• 刚性指标在全局傅里叶变换下保持不变，将Katz的结果推广至复解析D-模设定。
• 不可约极小化联络为刚性当且仅当其刚性指标恰好为2。
• 联络的形变函子光滑且拟表示，障碍位于$ H^2(X, j_!^* \mathcal{E}nd(M)) $，由于行列式平凡而消失。
• 通过$ H^1(X, j_!^* \mathcal{E}nd(M)) \to H^1(\widehat{U}, \mathcal{E}nd(M)) $建立了刚性的上同调准则，提供了在ℓ-进情形下未知的新表征。
• 利用Artin准则证明了光滑基$ S $与普遍族$ \mathcal{M}_S $的存在性，实现了形式模空间的代数化。