[論文レビュー] Abelian Sheaves over Finite Fields

Matthias Bornhofen, Urs Hartl|arXiv (Cornell University)|Sep 26, 2006

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿は、有限体上のアーベル層の基本的理論を構築し、準同型、同一型、タートモジュール、および同一型に関しての可約性についての基礎的結果を確立する。アーベル多様体におけるタートの定理の類似を証明し、既知のアーベル多様体の結果を高次元の関数体設定へ拡張する。純粋t-モチーフへの直接的応用は、特徴値が∞でないアーベル層との同値性から得られる。

ABSTRACT

Abelian sheaves were introduced by the second author as higher dimensional generalizations of Drinfeld modules and as the appropriate analogues of abelian varieties in the arithmetic of function fields. In this article we devellop their elementary theory regarding morphisms, isogenies, Tate modules, and study their reducibility up to isogeny into direct sums of simple components. Over finite fields we investigate their endomorphism algebras and obtain similar results to Tate’s famous results for abelian varieties. Since abelian sheaves with characteristic different from ∞ are the same as Anderson’s pure t-motives equipped with additional structure at ∞, all our results are also valid for pure t-motives. Mathematics Subject Classification (2000): 11G09, (13A35, 16K20)

研究の動機と目的

• 有限体上のアーベル層の基礎的理論を発展させること。その中には、準同型、同一型、タートモジュールが含まれる。
• アーベル層が同一型に関して単純成分への分解がどの程度可能かを調査すること。
• 有限体上のアーベル層の自己準同型代数の構造を、アーベル多様体におけるタートの結果に類似させる。
• 特徴値が∞でないアーベル層と純粋t-モチーフとの同値性を活用して、これらの結果を純粋t-モチーフの設定へ拡張すること。

提案手法

• 著者たちは、正標数の関数体におけるドリンフェルト加群やアーベル多様体の高次元版としてのアーベル層の理論を用いる。
• 彼らは圏論的およびコホホロジー的道具を用いて、アーベル層間の準同型と同一型を分析する。
• タートモジュールは、ねじれ点の逆極限として構成され、アーベル多様体における古典的タートモジュール構成の一般化である。
• 同一型に関しての可約性の研究は、同一型圏における半単純性の結果と分解定理に依存する。
• 自己準同型代数は、タートモジュールへの作用を分析し、アーベル多様体理論における既知の結果と比較することで分析する。
• 特徴値が∞でないアーベル層と純粋t-モチーブとの同値性を用いて、結果をt-モチーブの設定へ移す。

実験結果

リサーチクエスチョン

• RQ1 有限体上のアーベル層の圏において、準同型と同一型はどのように振る舞うか？
• RQ2 アーベル層は、どの程度まで同一型に関して単純成分への分解が可能か？
• RQ3 有限体上のアーベル層の自己準同型代数の構造的性質は何か？
• RQ4 アーベル層における自己準同型代数の結果は、アーベル多様体におけるタートの定理とどのように比較できるか？
• RQ5 これらの結果は、純粋t-モチーブ理論にどのような意味を持つのか？

主な発見

• 有限体上のアーベル層は、アーベル多様体と類似した明確な同一型、準同型、タートモジュールの理論を有する。
• 任意の有限体上のアーベル層は、単純アーベル層の直和に同一型であることが保証され、同一型圏における半単純性の結果が得られる。
• 有限体上のアーベル層の自己準同型代数は、Q 上の有限次元半単純代数であり、タートの定理における構造と類似している。
• アーベル層のp進タートモジュールは、アーベル層の次元の2倍のランクを持つ自由なZ_p-加群であり、古典的ケースと一致する。
• アーベル層における自己準同型代数の結果は、特徴値が∞でない場合の純粋t-モチーブにおける結果と同値である。これは、2つの圏の間の同値性が確立されているからである。
• 本理論は、アーベル層におけるタートの同一型定理の完全な類似を提供し、自己準同型に関するタート予想を含む。