[论文解读] Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic $\mathscr{D}$-modules

Tomoyuki Abe|arXiv (Cornell University)|May 29, 2011

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

一句话总结

本文通过具体计算典范层之间的同构，显式计算了算术 $\scr{D}$-模中的弗罗贝尼乌斯同构，从而在 SGA4 风格下建立了相对 Poincaré 对偶性，并将算术 $\scr{D}$-模中的上推函子与刚性上同调进行比较，同时考虑弗罗贝尼乌斯结构。关键结果是：对于相对维数为 $d$ 的光滑态射，建立了弗罗贝尼乌斯相容的 Poincaré 对偶性同构，即 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M})) \cong \mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$。

ABSTRACT

The aim of this paper is to compute the Frobenius structures of some cohomological operators of arithmetic $\ms{D}$-modules. To do this, we calculate explicitly an isomorphism between canonical sheaves defined abstractly. Using this calculation, we establish the relative Poincaré duality in the style of SGA4. As another application, we compare the push-forward as arithmetic $\ms{D}$-modules and the rigid cohomologies taking Frobenius into account. These theorems will lead us to an analog of "Weil II" and a product formula for $p$-adic epsilon factors.

研究动机与目标

• 通过局部坐标显式计算算术 $\scr{D}$-模中上同调算子的弗罗贝尼乌斯结构。
• 通过比较异常拉回与普通拉回并纳入弗罗贝尼乌斯结构，建立 SGA4 风格的相对 Poincaré 对偶性。
• 在考虑弗罗贝尼乌斯相容性的情况下，比较算术 $\scr{D}$-模中的上推函子与刚性上同调，从而为 $L$-函数和 $\varepsilon$-因子的应用提供支持。
• 通过证明弗罗贝尼乌斯相容的同构，完成卡罗在刚性上同调与算术 $\scr{D}$-模中的对偶函子比较工作。
• 为推广格罗斯-科布利茨公式并利用算术 $\scr{D}$-模计算 $p$-进 $\varepsilon$-因子奠定基础。

提出的方法

• 使用局部坐标显式计算典范层之间同构 $\omega_{\mathscr{X}} \xrightarrow{\sim} F^{\flat}\omega_{\mathscr{X}^\prime}$，绕过抽象构造。
• 利用显式同构确定上同调运算（如上推函子和异常拉回）上的弗罗贝尼乌斯结构。
• 证明一种类似正规基变换的引理，并利用它在算术 $\scr{D}$-模的背景下建立正规基变换定理。
• 应用刚性上同调与算术 $\scr{D}$-模中对偶函子的比较，证明弗罗贝尼乌斯相容的 Poincaré 对偶性。
• 借助卡罗与贝特洛的成果，将 $\scr{D}$-模中的上推函子与刚性上同调关联起来，尤其在弗罗贝尼乌斯结构下。
• 利用显式计算重新证明格罗斯-科布利茨公式，并为 $p$-进 $\varepsilon$-因子的计算奠定基础。

实验结果

研究问题

• RQ1 如何通过微分算子和局部坐标显式计算算术 $\scr{D}$-模中上同调算子的弗罗贝尼乌斯结构？
• RQ2 能否通过比较异常拉回与普通拉回并纳入弗罗贝尼乌斯结构，在算术 $\scr{D}$-模中建立 SGA4 风格的相对 Poincaré 对偶性？
• RQ3 在考虑弗罗贝尼乌斯结构时，算术 $\scr{D}$-模中的上推函子与刚性上同调之间有何关系？
• RQ4 对于相对维数为 $d$ 的光滑态射，$f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M}))$ 与 $\mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$ 之间的精确弗罗贝尼乌斯相容同构是什么？
• RQ5 这些结果能否用于完成卡罗关于刚性上同调与算术 $\scr{D}$-模中对偶函子比较的工作？

主要发现

• 本文通过局部坐标显式计算了同构 $\omega_{\mathscr{X}} \xrightarrow{\sim} F^{\flat}\omega_{\mathscr{X}^\prime}$，使得弗罗贝尼乌斯结构的计算变得具体可行。
• 上推函子 $f_*$ 上的弗罗贝尼乌斯结构被显式计算，表明其与对偶同构相容。
• 建立了具有弗罗贝尼乌斯相容性的相对 Poincaré 对偶性同构 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M})) \cong \mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$。
• 通过纳入弗罗贝尼乌斯结构，上推函子在算术 $\scr{D}$-模与刚性上同调之间的比较得到加强并更加清晰。
• 本工作通过证明刚性上同调与算术 $\scr{D}$-模中对偶函子之间的弗罗贝尼乌斯相容同构，完成了卡罗的计划。
• 显式计算使得格罗斯-科布利茨公式的重新证明成为可能，并为 $p$-进 $\varepsilon$-因子的计算奠定了基础。