[論文レビュー] Rational Tate classes on abelian varieties

J. S. Milne|arXiv (Cornell University)|Jul 20, 2007

Algebraic Geometry and Number Theory参考文献 9被引用数 3

ひとこと要約

この論文は、特徴量がゼロのデリーニの rational Hodge class の理論に類似した、有限体上のアーベル多様体における rational Tate class の理論を構築する。Tate予想のもとで期待される主要な性質を満たすことが示され、Tate予想が未解決の状況において代わりの枠組みを提供する。

ABSTRACT

In despair, as Deligne (2006) put it, of proving the Hodge and Tate conjectures, one can try to find substitutes. For abelian varieties in characteristic zero, Deligne (1982) constructed a theory of Hodge classes having many of the properties that the algebraic classes would have if the Hodge conjecture were known. In this article I investigate whether there exists a theory of “rational Tate classes ” on abelian varieties over finite fields having the properties that the algebraic classes would have if the Tate conjecture were known. Contents 1 Numerical and homological equivalence 3

研究の動機と目的

• Tate予想が真であると仮定した場合の代数的サイクルの振る舞いを模倣する、有限体上のアーベル多様体における rational Tate class の理論を構築すること。
• このような理論が、サイクル類写像やファンクター理論的性質と整合するかどうかを調査すること。
• Tate予想の証明が得られていない状況において、代数的サイクルを研究するための枠組みを提供すること。
• 特徴量ゼロにおけるデリーニの先行研究（rational Hodge class について）を正の特徴量の設定へと拡張すること。

提案手法

• 特徴量ゼロにおける rational Hodge class のデリーニの構成を、有限体上のアーベル多様体の文脈に適応する。
• rational Tate class を、Tate予想のもとで代数的サイクルのように振る舞うエタールコホロロジーの要素として定義する。
• 数値的同値とホモロジカル同値の理論を用いて、これらのクラスの振る舞いを特徴付ける。
• 双対性とウェイユ予想との整合性を適用し、既知のコホロロジー不変量と一貫性を持つように保証する。
• コホロロジーへの Galois 群の作用を用いて rational Tate class を定義し、制約を課す。
• アーベル多様体の準同型に関する引き戻しと押し出しに関して、ファンクター理論的性質と整合性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体上のアーベル多様体において、Tate予想のもとで代数的サイクルの性質を模倣する rational Tate class の理論を構築できるか？
• RQ2 これらの rational Tate class は、代数的サイクルと同様にファンクター理論的性質や双対性を満たすか？
• RQ3 rational Tate class はエタールコホロロジーにおける数値的同値とホモロジカル同値とどのように関係するか？
• RQ4 Tate予想が未解決の状況で、これらのクラスが代数的サイクルの有効な代替としてどの程度機能するか？
• RQ5 rational Tate class は、その背後にあるアーベル多様体およびその Galois 動作からどのような構造的性質を引き継ぐか？

主な発見

• 有限体上のアーベル多様体において、well-defined な rational Tate class の理論が存在し、Tate予想のもとで期待される主要な性質を満たす。
• これらのクラスはアーベル多様体の準同型に沿った引き戻しと押し出しに関して保存され、ファンクター理論的性質が保証される。
• 理論はサイクル類写像と整合し、コホロロジー上の交差積を尊重する。
• rational Tate class は Galois 群の作用に関して閉じており、それらの代数的性質を反映している。
• Tate予想の完全な証明が得られていない状況においても、代数的サイクルを研究する一貫性のある枠組みを提供する。
• 構成は特徴量ゼロにおけるデリーニの rational Hodge class と類似しており、彼の手法を正の特徴量へと拡張している。