[論文レビュー] 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風の相対的ポincare双対性を確立するとともに、フロベニウス構造を考慮した算術 $\scr{D}$-加群における押し出し写像と剛体コホモロジーとの比較を可能にする。主な結果は、相対次元 $d$ の滑らか写像に対して、フロベニウスに適合するポincare双対性同型写像を確立し、$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風の相対的ポincare双対性を確立すること。
• フロベニウス構造を考慮した算術 $\scr{D}$-加群における押し出し写像と剛体コホモロジーとの比較を実施し、$L$-関数や $\varepsilon$-因子への応用を可能にすること。
• カルォの剛体コホモロジーおよび算術 $\scr{D}$-加群における双対関手の比較作業を完成させ、フロベニウスに適合する同型写像を証明すること。
• 算術 $\scr{D}$-加群を用いた一般化されたグロス＝コブリッツの公式の導出および $p$-進 $\varepsilon$-因子の計算の基盤を提供すること。

提案手法

• 抽象的構成を避けるために、局所座標を用いて canonical sheaves $\omega_{\mathscr{X}} \xrightarrow{\sim} F^{\flat}\omega_{\mathscr{X}^\prime}$ 間の同型写像を明示的に計算する。
• 明示的同型写像を用いて、押し出しや特別な引き戻しといったコホモロジー的作用素におけるフロベニウス構造を特定する。
• 適切な基本変換型の補題を証明し、それを用いて算術 $\scr{D}$-加群の文脈における適切な基本変換定理を確立する。
• 剛体コホモロジーと算術 $\scr{D}$-加群における双対関手の比較を応用し、フロベニウスに適合するポincare双対性を証明する。
• カルォとベルトロの結果を活用し、特にフロベニウス構造を考慮した場合に、$\scr{D}$-加群における押し出しと剛体コホモロジーとの関係を明確にする。
• 明示的計算を用いてグロス＝コブリッツの公式を再証明し、$p$-進 $\varepsilon$-因子の計算の基盤を構築する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素と局所座標を用いて、算術 $\scr{D}$-加群におけるコホモロジー的作用素のフロベニウス構造をどのように明示的に計算できるか？
• RQ2 特別な引き戻しと通常の引き戻しを比較し、フロベニウス構造を組み込むことで、算術 $\scr{D}$-加群においてSGA4風の相対的ポincare双対性を確立できるか？
• 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_*$ におけるフロベニウス構造が明示的に計算され、双対性同型写像と整合することが示された。
• フロベニウスに適合する相対的ポincare双対性同型写像 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M})) \cong \mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$ が確立された。
• フロベニウス構造を組み込むことで、算術 $\scr{D}$-加群における押し出しと剛体コホモロジーの比較が強化され、より明確になった。
• カルォのプログラムを完成させるために、剛体コホモロジーと算術 $\scr{D}$-加群における双対関手の間のフロベニウスに適合する同型写像が証明された。
• 明示的計算により、グロス＝コブリッツの公式の再証明が可能となり、$p$-進 $\varepsilon$-因子の計算の基盤が整った。