[論文レビュー] A sheaf-theoretic reformulation of the Tate conjecture

Bruno Kahn|arXiv (Cornell University)|Jan 6, 1998

Algebraic Geometry and Number Theory参考文献 23被引用数 13

ひとこと要約

本稿は、特異的特徴 p の有限体上の滑らかで射影的多様体に対する強いTate予想を層論的枠組みで再定式化し、Hasse-Weil ゼータ関数の s=n における極の位数が、数値同値に関してのcodimension-n の代数的サイクルのランクに等しいことを示している。主な貢献は、この予想が正の特徴における深い算術的・幾何的予想の広範な族を含意することを示したことである。これには弱Tate予想、Beilinsonのフィルトレーション予想、有理Bass予想、およびZeta関数の零点に関するSouleの予想が含まれる。

ABSTRACT

Let p be a prime number. We give a conjecture of a sheaf-theoretic nature which is equivalent to the strong form of the Tate conjecture for smooth, projective varieties X over F_p: for all n>0, the order of pole of the Hasse-Weil zeta function of X at s=n equals the rank of the group of algebraic cycles of codimension n modulo numerical equivalence. Our main result is that this conjecture implies other well-known conjectures in characteristic p, among which: - The (weak) Tate conjecture for smooth, projective varieties X over any finitely generated field of characteristic p: given a prime l different from p, the geometric cycle map from algebraic cycles over X to the Galois invariants of the l-adic cohomology of the geometric fibre of X, tensored by Q_l, is surjective. - For X as above, the algebraicity of the Kunneth components of the diagonal and the hard Lefschetz theorem for cycles modulo numerical equivalence. - For X as above, the existence of a filtration conjectured by Beilinson on the Chow groups of X. - The rational Bass conjecture: for any smooth variety X over F_p, the algebraic K-groups of X have finite rank. - The Bass-Tate conjecture: for F a field of characteristic p, of absolute transcendence degree d, the i-th Milnor K-group of F is torsion for i>d. - Soule's conjecture: given a quasi-projective variety over F_p, the order of the zero of its Hasse-Weil zeta function at an integer n is given by the alternating sum of the ranks of the weight n part of its algebraic K'-groups.

研究の動機と目的

• F_p 上の多様体に対して、強いTate予想を層論的枠組みで定式化すること。
• 有限体上の算術幾何における複数の中心的予想を統一・含意する新しい予想を確立すること。
• この層論的再定式化が、弱Tate予想、Beilinsonのフィルトレーション予想、有理Bass予想、およびSouleの予想を含意することを示すこと。
• 正の特徴におけるゼータ関数、代数的サイクル、Galoisコホモロジーの間の概念的橋渡しを提供すること。
• 複数の深い予想の検証を、1つの層論的文言に還元する統一的枠組みを提供すること。

提案手法

• F_p 上の多様体における可解層のコホモロジーを含む予想を定式化し、Hasse-Weil ゼータ関数の極の位数と関連付ける。
• l-進コホモロジーとGalois表現を用いて、代数的サイクルとétaleコホモロジーにおける不変量を関連付ける。
• 層論の文脈における双対性とトレース構造を用いて、ゼータ関数およびその特別値を分析する。
• 重み理論および混合層の理論を用いて、ベースチェンジ下でのコホモロジカル不変量の振る舞いを制御する。
• モチーフのGrothendieck群の構造を用いて、K理論とサイクル類を関連付ける。
• 層論的双対性の文脈において、NéronモデルおよびNéron-Tate高さ対の理論を活用する。

実験結果

リサーチクエスチョン

• RQ1 強いTate予想を、Hasse-Weil ゼータ関数の極の位数を捉える層論的言語で再定式化することは可能か？
• RQ2 この層論的再定式化は、任意の有限生成な特徴 p の体上の滑らかで射影的多様体に対して弱Tate予想を含意するか？
• RQ3 再定式化が、正の特徴におけるBeilinsonの予想的フィルトレーションの証明に繋がるか？
• RQ4 この層論的予想は、F_p 上の滑らかな多様体における代数的K群の有限ランク性を示す有理Bass予想を含意するか？
• RQ5 ゼータ関数が整数点 n で零点をとる位数に関するSouleの予想は、この層論的定式化と同値か？

主な発見

• 提示された層論的予想は、任意の有限生成な特徴 p の体上の滑らかで射影的多様体に対して弱Tate予想を含意する。
• 予想はBeilinsonが予想した Chow 群上のフィルトレーションの存在を含意し、代数的サイクルの構造的理解を提供する。
• 有理Bass予想 — すなわち、F_p 上の滑らかな多様体における代数的K群が有限ランクをもつこと — は、層論的再定式化から導かれる。
• Bass-Tate予想 — 特徴 p の体で、絶対超越次元 d をもつ体のMilnor K群における torsion に関する予想 — は、i > d の場合に含意される。
• Souleの予想 — Hasse-Weil ゼータ関数が整数 n で零点をとる位数が、K'-群の重み n 部分のランクの交項和に等しいこと — は、新しい予想の帰結である。
• 層論的枠組みは、算術幾何における複数の深い予想を1つの整合的文言に還元する統合的メカニズムを提供する。