[論文レビュー] Theory of weights in p-adic cohomology

Tomoyuki Abe, Daniel Caro|arXiv (Cornell University)|Mar 4, 2013

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

ひとこと要約

本稿は、有限体上の多様体上に定義されたフロベニウス構造を備えた過特異的複体の算術D加群におけるp進コホロロジーにおける重みの理論を確立する。ベルトロの算術D加群理論に裏付けられ、ケドレイアの安定還元を用いることで、六つの作用素（f!, f*, f+, f!, ⊗, Hom）が混合性および重みを保存すること、中間拡大が純粋性および重みを保存することを証明する。これはデリーニのℓ進理論に類似し、重み理論を備えたp進版の六作用素形式的体系を完成させる。

ABSTRACT

Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic framework: first, the six operations preserve weights, and secondly, the intermediate extension of an immersion preserves pure complexes and weights.

研究の動機と目的

• デリーニの混合層のℓ進理論に類似したp進コホロロジー的重み理論を構築すること。
• リッジコホロロジーおよびクリスタリンコホロロジーにおいて六作用素形式的体系が欠落していたことによる関手的性および計算的有用性の制限を克服すること。
• 有限体上の多様体上に定義されたフロベニウス構造を備えた過特異的複体の算術D加群への重み理論を拡張すること。
• 六作用素（f!, f*, f+, f!, ⊗, Hom）が混合性および重みを保存すること、中間拡大が純粋性および重みを保存することを証明すること。
• 交差コホロロジーおよびL関数を含む、算術幾何学の古典的結果のp進版の基礎を提供すること。

提案手法

• 複素多様体上のD加群のp進版としてベルトロの算術D加群理論を用いる。
• 有限性およびコホロロジー的作用素に関しての安定性を保証するため、過特異的性の概念を適用する。
• ケドレイアの安定還元定理を用いて、押し出しや他の関手に関して過特異的性の安定性を確立する。
• 過特異的F複体の有界な導来カテゴリのなかにι-混合複体のフルな部分カテゴリを構成する。
• フレームおよびカップルの上で六作用素形式的体系を用い、射影公式および随伴関係に対して明示的な同型を与える。
• 双対性およびテンソル積と整合するフロベニウス構造を用いて、重みフィルトレーションを制御する。

実験結果

リサーチクエスチョン

• RQ1 デリーニのℓ進理論の混合層理論に類似したp進コホロロジーにおける重み理論を構築できるか？
• RQ2 六作用素（f!, f*, f+, f!, ⊗, Hom）はp進設定において混合性および重みフィルトレーションを保存するか？
• RQ3 純粋な複体の開埋め込みによる中間拡大は、p進枠組みにおいても純粋かつ重み適合的か？
• RQ4 関数体のp進およびℓ進L関数が、この重み理論によって一致することが示せるか？
• RQ5 フロベニウス構造は過特異的D加群における重みフィルトレーションとどのように作用するか？

主な発見

• 六作用素 f+, f!, f*, f!, ⊗, Hom はι-混合F複体上の重みフィルトレーションを保存する：f+およびf!は重み ≥ w を保存し、f!およびf*は重み ≤ w を保存する。
• 双対性（双対化複体を介して）により、重み ≤ w と重み ≥ −w が交換され、重み構造における対称性が保証される。
• 開埋め込みにおける純粋な複体の中間拡大は、純粋性および重みフィルトレーションを両方保存する。これはBBDのℓ進結果を一般化する。
• 理論は基底変換および射影公式に関して安定であり、導来テンソル積および双対性を用いて明示的な同型が確立される。
• この構成により、デリーニの重み理論のp進版が完成し、算術D加群における六作用素形式的体系が完成する。
• 理論により、ℓ進およびp進コホロロジーによって定義されるハッセ＝ヴァイルL関数が一致することが示され、重要な予想的類似性が裏付けられる。