[論文レビュー] Gerbes and abelian motives

J. S. Milne|ArXiv.org|Jan 26, 2003

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

ひとこと要約

本稿では、有限体および代数的閉体上のアーベルモチーフのモチーフ的および擬モチーフ的圏の間で、明示的なコホモロジー的データを用いて、ガロアコホモロジーを介して分類可能な、非条件的なゲルベの準同型を構成する。これにより、長年の文献上の曖昧さ（fpqcコホモロジーと逆極限との混同）が解消され、CMアーベル多様体のホッジ予想を仮定すると、この準同型が期待される還元関手に一致することが示される。

ABSTRACT

Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one obtains a morphism of gerbes of fibre functors with certain properties. We prove unconditionally that there exists a morphism of gerbes with these properties, and we classify them.

研究の動機と目的

• 有限体上のアーベルモチーフの圏と、Qの代数的閉包上のCMモチーフの圏の間のゲルベの準同型を、ホッジ予想に依存せず構成すること。
• アーリッドおよび局所データに関して自然な整合性条件を満たすすべての such ゲルベ準同型を分類すること。
• fpqcコホモロジーとガロアコホモロジーの逆極限との間の長年の誤解（特に lim¹ 項の誤ったゼロ扱い）を解消すること。
• モチーフ的タンナキアン圏の文脈において、ゲルベ、群ガード、およびファイバー関手の関係を明確化すること。
• 有理数重みを持つシムーラ多様体のラングランズ＝ラポルト予想の基礎を、準モチーフ的群ガードを用いて提供すること。

提案手法

• 数体およびCM体をインデックスとするガロアコホモロジー群の逆極限を用いて、グローバルなコホモロジー不変量を構成する。
• 連続的およびアーリッドコホモロジー理論を、セールおよびワイエル数トーラスに関連するプロトトーラスに適用する。
• H¹(ℚ, S/P) に属する基本的コホモロジー類を構成し、それらを有限および無限素点における局所類と同定する。
• H²(ℚ, P → S) ≅ H¹(ℚ, S/P) を用いて、ホモーレジスム ρ: P → S をバンドとする (P, S)-ゲルベを分類する。
• すべての素点で整合性条件を満たす局所セクションの系 (w^p, w_p, w_∞) とゲルベ準同型の同値性を確立する。
• 擬モチーフ的群ガードおよび準モチーフ的群ガードを用いて、グローバルな準同型とモチーフのタンナキアン圏との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 F_p^al 上のアーベルモチーフのモチーフ的圏と、Q^al 上のCMモチーフの圏との間で、ホッジ予想に依存しない非条件的なゲルベ準同型が存在するか？
• RQ2 アーリッドおよび局所データに対して期待される整合性条件を満たすすべての such ゲルベ準同型をどのように分類できるか？
• RQ3 H¹(ℚ, S/P) に属する基本的類と、有限および無限素点における局所類との正確な関係は何か？
• RQ4 なぜ文献における従来の構成が、特定の lim¹ 項を誤ってゼロとみなしていたのか、そしてどのように是正できるか？
• RQ5 得られるゲルベ準同型はどの程度正しく定義されており、ラングランズ＝ラポルト予想とはどのように関係するか？

主な発見

• バンド ρ: P → S を持つ、非条件的なゲルベ準同型 P → S が明示的に構成され、CMアーベル多様体のホッジ予想を仮定すると、これは還元関手 R∨ に一致する。
• このようなゲルベ準同型の集合は H¹(ℚ, S/P) で分類され、コホモロジー計算におけるある lim¹ 項の消滅により、グローバル解の存在が証明される。
• この準同型は、すべての素点で整合性条件を満たす局所セクションの系 (w^p, w_p, w_∞) と同値であり、H¹(ℚ, S/P) に属する類は H¹(𝔸_f^p, S/P) に写像してゼロとなる。
• 本稿は15年前の文献上の誤解（fpqcコホモロジーと逆極限の混同）を解消し、lim¹ 項を無視できないことを示した。
• 本構成により、ラングランツ＝ラポルト予想の背後にある明確な系 (P, μ, w^p, w_p, w_∞) が得られ、有理数重みを持つシムーラ多様体の文脈で成立する。
• w でのモチーブ的サイクルの還元および交差数の有理化を仮定すると、正標数におけるアーベル多様体に対して、テート予想およびホッジ標準予想が成立することが示される。