[論文レビュー] Overholonomicity of overconvergent $F$-isocrystals over smooth varieties

Daniel Caro, Nobuo Tsuzuki|ArXiv.org|Mar 14, 2008

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

ひとこと要約

この論文は、正の特性の完全体上の滑らかな多様体における過収束 $F$-等長体の過ホロノミー性を確立し、過収束 $F$-等長体における過ホロノミー性と分解可能性が同値であることを証明する。この同値性は、グロテンディークの5つのコホモロジー的演算の下での安定性を示し、テンソル積などの演算に関して閉じた強固な $p$-進コホモロジー理論を提供する。

ABSTRACT

We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a $p$-adic cohomology stable under Grothendieck's cohomological operations.

研究の動機と目的

• 正の特性の完全体上の滑らかな多様体における過収束 $F$-等長体の過ホロノミー性を確立すること。
• 過収束 $F$-等長体における過ホロノミー性と分解可能性が同値であることを証明すること。
• 過ホロノミー性がグロテンディークの5つのコホモロジー的演算（特にテンソル積を含む）の下で安定することを示すこと。
• すべての標準的コホモロジー的演算に関して安定な $p$-進コホモロジー理論を提供すること。これはベルトロのホロノミーに関する予想を一般化する。

提案手法

• 問題を対数的特異点とノルム的残留部分を持つ等長体へ還元するために、ケドレイヤの半安定還元定理を用いる。
• 適切に一般エタールな降下を適用し、半安定還元の設定から過ホロノミー性の性質を降下させる。
• 滑らかな多様体上での過収束 $F$-等長体と過コherently $F$-等長体の同値性を用い、問題を算術 $\mathcal{D}$-加群の言語に翻訳する。
• 閉点におけるコホモロジー的有限性条件と局所化関手を用いた過ホロノミー性の特徴づけを用いる。
• $\mathcal{D}^\dagger$-加群の過収束構造とその導来関手、特に $\mathbb{R}\underline{\Gamma}^\dagger$ および $f_+$ 関手を用いる。
• 過コherency および過ホロノミー性が、特別な逆像関手、直接像関手、局所コホモロジー関手の下で安定することに依拠する。

実験結果

リサーチクエスチョン

• RQ1 正の特性の完全体上の滑らかな多様体における過収束 $F$-等長体は過ホロノミー的か？
• RQ2 過収束 $F$-等長体における過ホロノミー性の概念は、分解可能性と同値か？
• RQ3 過ホロノミー性は、グロテンディークの5つのコホモロジー的演算（特にテンソル積を含む）の下で安定するか？
• RQ4 適切に一般エタールな準同型を介して、$F$-複体の過ホロノミー性を降下させることができるか？
• RQ5 過収束 $F$-等長体における過ホロノミー性と分解可能性の同値性は、すべての標準的コホモロジー的演算の下でのカテゴリの安定性を示唆するか？

主な発見

• 滑らかな多様体上の過収束 $F$-等長体の過ホロノミー性が確立され、安定な $p$-進コホモロジー理論への重要な一歩が達成された。
• 滑らかな多様体の文脈において、過収束 $F$-等長体における過ホロノミー性と分解可能性が同値であることが示された。
• $F$-複体の過ホロノミー性がテンソル積に関して安定しており、これはコホモロジー的理論にとって重要な性質である。
• 過ホロノミー的 $F$-複体のカテゴリは、グロテンディークの5つのコホモロジー的演算（直接像、特別な直接像、逆像、特別な逆像、テンソル積）すべてに関して安定である。
• 証明はケドレイヤの半安定還元定理と適切に一般エタールな降下に依拠しており、問題が対数的等長体とノルム的残留部分を持つ場合に還元された。
• 曲線の場合、この論文はベルトロの予想（逆像の下でのホロノミー性の安定性）を確認し、この場合においてホロノミー性と過ホロノミー性が一致することを示した。