[論文レビュー] Cartier Crystals

Manuel Blickle, Gebhard Böckle|arXiv (Cornell University)|Sep 4, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 4

ひとこと要約

本稿は、Cartier加群の導来カテゴリに関する基礎的結果を確立し、有限型の準同型に関して、高次直接像関手 $ Rf_* $ が冪零性の意味で整合的コホモロジーを保存すること、および局所的に冪零な対象に局所化した後、例外的逆像 $ f^! $ が有界なコホモロジー次元を持つことを証明する。本研究は、Grothendieck-Serre双対性を介してCartier水晶と $ \mathcal{D} $-加群を結ぶ双対性理論の基盤を築く。

ABSTRACT

Building on our previous work modules: finiteness results we start in this manuscript an in depth study of the derived category of Cartier modules and the cohomological operations which are defined on them. After localizing at the sub-category of locally nilpotent objects we show that for a morphism essentially of finite type $f$ the operations $Rf_*$ and $f^!$ are defined for Cartier crystals. We show that, if $f$ is of finite type (but not necessarily proper) $Rf_*$ preserves coherent cohomology (up to nilpotence) and that $f^!$ has bounded cohomological dimension. In a sequel we will explain how Grothendieck-Serre Duality relates our theory of Cartier Crystals to the theory of $ au$-crystals as developed by Pink and the second author.

研究の動機と目的

• 双対性定理の基盤として、Cartier加群の導来カテゴリ理論を発展させること。
• Cartier水晶の文脈において、コホモロジー的作用 $ Rf_* $ および $ f^! $ を研究すること。
• 有限型の準同型の下で、これらの函手の有限性および有界性の性質を確立すること。
• 局所的に冪零な対象に局所化して、コホモロジー的性質を単純化すること。
• Grothendieck-Serre双対性を介してCartier水晶と $ \mathcal{D} $-水晶を結ぶための基盤を整えること。

提案手法

• 局所的に冪零な対象の部分カテゴリに沿ってCartier加群の導来カテゴリを局所化し、コホモロジー的構造を単純化すること。
• ホモロジー代数の技法を用いて、Cartier水晶上の $ Rf_* $ および $ f^! $ の定義と分析を行うこと。
• 先行研究からの有限性結果を用いて、コホモロジー次元を制御すること。
• 導来函手が良好に振る舞うよう、本質的に有限型の準同型に焦点を当てる。
• 冪零性の考察を用いて、$ Rf_* $ による整合的コホモロジーの安定化を図ること。
• Cartier加群の構造を活用し、$ f^! $ の有界性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 有限型の準同型 $ f $ に対して、導来函手 $ Rf_* $ および $ f^! $ はCartier水晶上でどのように振る舞うか？
• RQ2 $ Rf_* $ は、Cartier加群の導来カテゴリにおいて、どの程度まで整合的コホモロジーを保存するか？
• RQ3 局所的に冪零な対象に局所化した後、$ f^! $ のコホモロジー次元はいかほどか？
• RQ4 Cartier加群の導来カテゴリは、どのように構造化すれば双対性定理を支えることができるか？
• RQ5 Grothendieck-Serre双対性の文脈において、Cartier水晶と $ \mathcal{D} $-水晶の関係は何か？

主な発見

• 有限型の準同型 $ f $ に対して、$ Rf_* $ は冪零性の意味で整合的コホモロジーを保存する。
• 局所的に冪零な対象に局所化した後、函手 $ f^! $ は局所的に有界なコホモロジー次元を持つ。
• 局所化されたCartier加群の導来カテゴリ上で、導来函手 $ Rf_* $ および $ f^! $ は適切に定義される。
• 局所化プロセスは、冪零なコホモロジー的障害を効果的に除去する。
• 本研究で構築された枠組みにより、将来、Grothendieck-Serre双対性を介して $ \mathcal{D} $-水晶と比較することが可能になる。
• 本結果は、正標数における双対性のコホモロジー的基盤をCartier加群を用いて提供する。