[論文レビュー] Algebraic cycles and crystalline cohomology

Amalendu Krishna, Jinhyun Park|arXiv (Cornell University)|Apr 30, 2015

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

ひとこと要約

本稿では、特性 $p \neq 2$ の体上の滑らかな多様体における加法的ハイパーチョウ群が、ミルナー範囲がビッグ de Rham-Witt コホモロジーと一致する、プロ微分的代数のザリスキ・シェーブとして与えられることを確立する。$p > 2$ の場合、このシェーブの $p$-典型的部分のザリスキのハイパーコホモロジーはクリスタリン・コホモロジーを計算し、ブロッホとイルシューの古典的結果を現代の代数的サイクル理論的枠組みで解釈することを可能にする。

ABSTRACT

We show that additive higher Chow groups on smooth varieties over a field of characteristic $p ot = 2$ induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of the big de Rham-Witt complexes of L. Hesselholt and I. Madsen. When $p > 2$, the Zariski hypercohomology of the $p$-typical part of the sheaves arising from additive higher Chow groups computes the crystalline cohomology of smooth varieties. This revisits the 1970s results of S. Bloch and L. Illusie on crystalline cohomology.

研究の動機と目的

• 正の特性における加法的ハイパーチョウ群とクリスタリン・コホモロジーを結びつける。
• これらの群がプロ微分的グレーデッド代数のザリスキ・シェーブをなすことを示す。
• このシェーブの $p$-典型的部分がハイパーコホモロジーを用いてクリスタリン・コホモロジーを計算することを証明する。
• 現代のサイクル理論的道具を用いて、ブロッホとイルシューの古典的結果を再解釈する。

提案手法

• 特性 $p \neq 2$ の体上の滑らかな多様体における加法的ハイパーチョウ群から、プロ微分的グレーデッド代数のザリスキ・シェーブを構成する。
• このシェーブのミルナー範囲を、ヘッセルホルトとマーデンセンのビッグ de Rham-Witt 複体と同定する。
• シェーブの $p$-典型的部分に注目し、クリスタリン・コホモロジーと関連付ける。
• ザリスキのハイパーコホモロジーを用いて、シェーブ構造を通じてクリスタリン・コホモロジーを計算する。
• プロ微分的代数の枠組みを活用し、コホモロジー計算における極限と収束を扱う。
• 代数的サイクルとクリスタリン・コホモロジーの結果を応用し、古典的構成との同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 正の特性において、加法的ハイパーチョウ群は de Rham-Witt 複体とどのように関係するか？
• RQ2 加法的ハイパーチョウ群から得られるシェーブの $p$-典型的部分は、クリスタリン・コホモロジーを計算できるか？
• RQ3 加法的ハイパーチョウ群のミルナー範囲のシェーブ理論的実現は、ビッグ de Rham-Witt 複体と一致するか？
• RQ4 この構成は、1970年代のブロッホとイルシューによるクリスタリン・コホモロジーの結果を回復または再解釈するか？
• RQ5 プロ微分的グレーデッド代数構造は、サイクルとコホモロジー理論を結ぶ役割を果たすか？

主な発見

• 特性 $p \neq 2$ の体上の滑らかな多様体における加法的ハイパーチョウ群は、プロ微分的グレーデッド代数のザリスキ・シェーブを誘導する。
• このシェーブのミルナー範囲は、ヘッセルホルトとマーデンセンのビッグ de Rham-Witt 複体のザリスキ・シェーブと同型である。
• $p > 2$ の場合、このシェーブの $p$-典型的部分のザリスキのハイパーコホモロジーは、滑らかな多様体のクリスタリン・コホモロジーを計算する。
• この構成は、クリスタリン・コホモロジーの新しい代数的サイクル理論的解釈を提供する。
• この結果は、ブロッホとイルシューのクリスタリン・コホモロジーに関する古典的定理の現代的再解釈を提供する。
• この枠組みは、プロ構造と微分的グレーデッド代数を通じて、ハイパーチョウサイクルとクリスタリン・コホモロジーを結ぶ橋渡しを実現する。