[論文レビュー] A conjecture of Deligne on one-motives

Niranjan Ramachandran|arXiv (Cornell University)|Jun 22, 1998

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

ひとこと要約

この論文は、完全体上のスキームのための新しいモチビック不変量を導入し、イソジェニーに関しての1モチーフの圏に値をとる。代数的証明により、デリーニの1モチーフに関する予想のイソジェニー版を確立し、代数幾何学とエタールコホモロジーの間の基礎的リンクを構築する。さらに、その結果を応用して、有限体上のスキームのエタールコホモロジーにおけるℓの独立性を示す。

ABSTRACT

Abstract. We introduce new motivic invariants of schemes over a perfect field. These cohomological invariants take values in the category of 1-motives (considered up to isogeny). The algebraic definition of these invariants presented here proves a isogeny version of a conjecture of Deligne. We also present an application to the independence of ℓ of parts of the étale cohomology of arbitrary schemes over finite fields. Version II: Submitted for publication 19 June 1998 Recall the purely algebraic construction of the Jacobian of a curve (previously described by transcendental means) due to A. Weil. This was the main ingredient in his proof of the Riemann hypothesis for curves over finite fields. The Jacobian is the only motivic invariant of a smooth projective

研究の動機と目的

• 完全体上のスキームのための代数的メソッドを用いた新しいモチーフ的不変量の構成。
• 1モチーフに関するデリーニの予想をイソジェニー圏で解決すること。
• これらの不変量を通じて、代数幾何学とエタールコホモロジーの間のリンクを確立すること。
• 結果を応用して、有限体上のスキームのエタールコホモロジーの特定の部分におけるℓの独立性を示すこと。

提案手法

• トランスセンドental手法を避ける代数的構成を用いてモチーフ的不変量を定義する。
• 所望の不変性性質を達成するために、イソジェニーに関しての1モチーフの圏内で作業する。
• ヴェイルの仕事にインspiredされた代数的ヤコビアン構成を、主要な構成要素として用いる。
• 不変量を用いて、有限体上のスキームのエタールコホモロジーを研究する。
• イソジェニー圏を活用して、弱くはあるが十分な形で予想を証明する。
• モチーフ的不変量とエタールコホモロジー群の構造との間のリンクを確立する。

実験結果

リサーチクエスチョン

• RQ1 トランスセンドental手法に依存せずに、完全体上のスキームに対して1モチーフをどのように代数的に構成できるか？
• RQ2 1モチーフのイソジェニー圏は、モチーフ的不変量に関するデリーニの予想をどの程度実現するか？
• RQ3 これらのモチーフ的不変量を用いて、有限体上のスキームのエタールコホモロジーにおけるℓの独立性を証明できるか？
• RQ4 ヤコビアンは、曲線のモチーフ的不変量の代数的構成において果たす役割は何か？
• RQ5 これらの不変量は、有限体上の任意のスキームのコホモロジー的構造とどのように関係するか？

主な発見

• 論文は、イソジェニーに関しての1モチーフの圏に値をとるモチーフ的不変量を構成し、これまでトランスセンドentalな方法で知られていた概念を完全に代数的実現した。
• デリーニの1モチーフに関する予想のイソジェニー版を証明し、モチーフコホモロジーにおける基礎的結果を確立した。
• この構成は、ヴェイルの代数的ヤコビアンをモチーフ的枠組みに一般化し、その適用範囲を拡張した。
• モチーフ的不変量が、有限体上のスキームのエタールコホモロジーに関する情報を与えることが示された。
• 結果として、エタールコホモロジーの特定の部分がℓの選択に依存しないことが示され、数論的幾何学における重要な性質が得られた。
• この枠組みは、エタールコホモロジーの背後にあるモチーフ的構造を研究するための新しい代数的道具を提供する。