[論文レビュー] A survey around the Hodge, Tate and Mumford-Tate conjectures for abelian varieties

Victoria Cantoral‐Farfán|arXiv (Cornell University)|Feb 26, 2016

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

ひとこと要約

本調査は、アーベル多様体におけるホッジ予想、タート予想、ムーフォー＝タート予想について包括的な概説を提供し、それらの関連性を確立し、既知の結果を要約している。本調査は、数体上のアーベル多様体に対して、ムーフォー＝タート予想とホッジ予想の両立がタート予想を示すことを示しており、算術幾何学におけるこれらの中心的予想を統合的に理解する枠組みを提供する。

ABSTRACT

This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.

研究の動機と目的

• アーベル多様体に対して、ホッジ予想、タート予想、ムーフォー＝タート予想を統合的かつ明確にまとめる。
• 特に、コhomology的不変量におけるガロア群とホッジ群の役割を通じて、これらの予想の深い類似性を説明する。
• 特に低次元または特別な型のアーベル多様体の場合に、これらの予想が成り立つ既知の結果や条件を要約する。
• 数体上のアーベル多様体に対して、タート予想とムーフォー＝タート予想＋ホッジ予想の論理的同値性を確立する。
• コhomologicalおよびガロア理論的構造を通じて、これらの三つの予想がどのように相互に関連しているかを統一的に理解する視点を提供する。

提案手法

• 終準同型環、極性、ロザティ対合、アーベル多様体のアーベル分類（アーベルの分類）といった基礎的概念を体系的に導入する。
• ホッジ予想を、特異コhomologyにおけるホッジ類が代数的サイクルの有理数係数線形結合であるという主張として定式化する。
• タート予想を、エタールコhomologyにおけるタート類がℓ進係数線形結合であるという主張として定式化する。
• ムーフォー＝タート予想を、ℓ進ガロアモノドロミー群が ℚℓ に沿ってベースチェンジされたホッジ群に等しいという主張として定式化する。
• Hg(X) と Hℓ それぞれによる不変量としてのホッジ類とタート類の類似性を用い、Hg(X) ⊗ ℚℓ と Hℓ を比較する。
• 志摩の多様体、モチーフ、絶対的ホッジ類の理論の結果を応用し、予想間の含意関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 数体上のアーベル多様体に対して、ホッジ予想とムーフォー＝タート予想がタート予想をどのように含意するか、どのような条件下で成立するか。
• RQ2 コhomologyにおけるガロア群とホッジ群の構造を通じて、ホッジ、タート、ムーフォー＝タート予想がどのように関連しているか。
• RQ3 どのようなクラスのアーベル多様体（例：CM型、単純型、低次元型）において、これらの予想が既知に成立するか。
• RQ4 ロザティ対合とアーベル分類が、予想に関連する自己準同型構造を理解するために果たす役割は何か。
• RQ5 絶対的ホッジ類の理論が、含意 (T) ⇒ (H) をどのように支持するか。また、これと (H)+(T) ⇒ (MT) を組み合わせることで、完全な同値関係 (MT)+(H) ⇔ (T) がどのように得られるか。

主な発見

• ムーフォー＝タート予想とホッジ予想が同時に成立すれば、数体上のアーベル多様体に対してタート予想が成立する。これは同値関係 (MT)+(H) ⇔ (T) によって示される。
• 数体上に定義された素数次元の単純アーベル多様体に対して、ムーフォー＝タート予想が成立する。さらにタンケエフのホッジ予想に関する結果と組み合わせることで、タート予想が導かれる。
• 複素数体上に定義されたCM型アーベル多様体で、ムーフォー＝タート群が次元 g+1 のトーラスである場合、ホッジ予想が成立する。その結果、数体上ではタート予想が成立する。
• タイプ I や II で相対次元が奇数であるアーベル多様体に対して、ムーフォー＝タート予想が成立する。さらに、ムルティとハザマの結果により、このような多様体ではホッジ予想も成立するため、タート予想が導かれる。
• 含意 (T) ⇒ (H) はピアチェツキー＝シャピロによって絶対的ホッジ類を用いて証明された。これに加え、(H)+(T) ⇒ (MT) が成り立つことから、完全な同値関係 (MT)+(H) ⇔ (T) が確立される。
• これらの予想は、コhomological不変量を通じて深く関連している。ホッジ類は H^2p(X_ℂ, ℚ) 内の Hg(X)-不変類であり、タート類は H^2p(X_k, ℚℓ) 内の Hℓ-不変類であり、Hℓ ⊆ Hg(X) ⊗ ℚℓ が成り立つ。