[論文レビュー] On Beilinson's equivalence for $p$-adic cohomology

Tomoyuki Abe, Daniel Caro|arXiv (Cornell University)|Sep 18, 2013

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

ひとこと要約

本稿では、ケドレイヤの半安定還元定理を用いて、Frobenius構造を備えたoverholonomic $\mathcal{D}^\dagger$-加群のためのユニポテンツ近傍サイクル関手を構成することにより、導来カテゴリのホロノミック $\mathcal{D}$-加群とホロノミックなコホロジーをもつ複体の導来カテゴリの間のベイリンソンの同型の $p$-進版を確立する。主な貢献は、6つの操作に関して閉じた、overholonomic複体の三角カテゴリを構成することであり、これにより $p$-進版のベイリンソンの同型が可能となる。

ABSTRACT

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

研究の動機と目的

• $p$-進コホロロジーにおける近傍サイクル関手の欠如——理論上の主要な技術的障壁——を克服すること。
• グロテンディークの6つの操作に関して閉じた、$p$-進設定における適切なホロノミック $\mathcal{D}^\dagger$-加群のカテゴリを定義すること。
• 複素数体上の滑らか多様体 $X$ に対して、$D^b(\mathrm{Hol}(X))$ と $D^b_{\mathrm{hol}}(X)$ の間のベイリンソンの同型の $p$-進版を確立すること。
• 算術 $\mathcal{D}$-加群の理論と剛体コホロロジー、トレース公式への応用のための基盤的道具を提供すること。

提案手法

• ベイリンソンの元来の手法を模倣し、Frobenius構造を持つ加群への分解を用いて、ユニポテンツ近傍サイクル関手を構成する。
• $b$-関数が $p$-進的文脈で不適切に定義される問題を回避するため、Frobenius構造を備えた過収束等質イソスクリスタルに対するケドレイヤの半安定還元定理を用いる。
• Frobenius構造を持つ加群を含む、overholonomic複体の最小の三角subcategoryを定義し、6つの操作に関して閉じていることを保証する。
• 図式的証明におけるキーレンマの問題を解決するために、pro-ind圏を用い、誤った同型を、議論に十分なホモーモルフィズムに置き換える。
• $j_!$, $j_+$, および $\Xi_f$ を含む短完全列を用いて定義される関手 $\Phi_f$ を適用し、近傍サイクル関手を構成する。
• $\Pi^{a,b}_{!+}$ 関手を $j_!$ と $j_+$ の間の補間として用い、そのシフトおよびFrobenius捩じれに関しての安定性を示す。

実験結果

リサーチクエスチョン

• RQ1 $b$-関数が不適切に定義される $p$-進的文脈において、ユニポテンツ近傍サイクル関手を構成できるか？
• RQ2 6つの操作に関して閉じた、$p$-進コホロロジーにおける適切なホロノミック $\mathcal{D}^\dagger$-加群の定義は何か？
• RQ3 $D^b(\mathrm{Hol}(X))$ と $D^b_{\mathrm{hol}}(X)$ の間のベイリンソンの同型は、$p$-進版をもつのか？
• RQ4 これらの構成を用いて、算術 $\mathcal{D}$-加群の理論を剛体コホロロジーと統合できるか？

主な発見

• ケドレイヤの定理を $b$-関数の代わりに用いることで、Frobenius構造を備えた overholonomic $\mathcal{D}^\dagger$-加群のためのユニポテンツ近傍サイクル関手が構成された。
• Frobenius構造を備えたホロノミック $\mathcal{D}^\dagger$-加群のカテゴリ $\mathrm{Hol}_F(X/K)$ が、三角subcategoryの構成によりグロテンディークの6つの操作に関して閉じていることが示された。
• 関手 $\Phi_f$ は完全であり、任意の $\mathcal{E} \in \mathrm{Hol}_F(Z/K)$ に対して $\mathcal{E} \cong \Phi_f(\mathcal{E})$ を満たす。これにより、$\Phi_f$ が近傍サイクル関手としての役割を果たすことが確認された。
• キーレンマの証明における主要な図式は、議論に十分なホモーモルフィズム $\#'$ に置き換えられたpro-ind圏における誤った同型を修正することで補正された。
• 十分に大きな $b$ に対して、$\mathrm{coker}(s^i \alpha^{a,b}(i))$ の射影的系が安定化することが示され、$\Pi^{a,a+i}_{!+}$ が適切に定義され、極限と同型であることが分かった。
• 本構成は、算術 $\mathcal{D}$-加群の理論およびフジワラのトレース公式の $p$-進版といった応用のための基盤的道具を提供する。