[論文レビュー] Integral and adelic aspects of the Mumford-Tate conjecture

Anna Cadoret, B.J. Moonen|arXiv (Cornell University)|Aug 26, 2015

Algebraic Geometry and Number Theory参考文献 18被引用数 6

ひとこと要約

本稿は、複素数体の有限生成部分体上におけるアーベル多様体およびK3曲面について、ムーディング＝タイト予想の精密化された積分的およびアデール的版を確立する。シムーラ多様体の基本群表現を分析することにより、ムーディング＝タイト予想およびホッジ最大性の下で、全タートモジュール上のガロア群の像がアデール的ムーディング＝タイト群において開集合であることを証明する。K3曲面については、その固有の最大性のため、これは条件なしに成り立つ。

ABSTRACT

Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the fundamental group of a Shimura variety.

研究の動機と目的

• 数体上のアーベル多様体について、ムーディング＝タイト予想の積分的およびアデール的修正版を確立すること。
• ホッジ最大性条件の下でアデール的開像定理を証明し、セールの予想を拡張すること。
• K3曲面に対して、その固有のホッジ最大性を活用して、条件なしのアデール的開像定理を確立すること。
• 幾何的ガロア一般性を介して、コhomology上のガロア表現とシムーラ多様体上の基本群表現を結びつけること。
• シムーラ多様体の理論と相互法則を通じて、アーベル多様体とK3曲面の両者において証明手法を統一すること。

提案手法

• アーベル多様体およびK3曲面に追加構造を持つモジュライ空間としてのシムーラ多様体の幾何的構造を利用する。
• シムーラ多様体の幾何的連結成分の1つに対する基本群から、φ: π₁(S₀) → K₀ ⊂ G(𝔸_f) という表現を構成する。
• デリーニの群論的相互法則を適用し、幾何的連結成分上のガロア作用を記述する。
• ボゴモロフの定理を用いて、ℓ-ガロア一般性の点がℓ-進およびアデール的設定における像の開性と関係づける。
• カドロエ・クレの結果を適用し、1つのℓにおけるℓ-ガロア一般性が、弱い条件下でアデール的開性を示すことを示す。
• コロラリー3.7を介して、φのアデール的表現の像が、開像定理に必要な意味で「大きい」ことを確立する。

実験結果

リサーチクエスチョン

• RQ1 ムーディング＝タイト予想は、数体上のアーベル多様体について、セールの予想の積分的およびアデール的修正版を含意するか？
• RQ2 ガロア表現の全タートモジュール上の像がアデール的ムーディング＝タイト群において開集合であるための条件は何か？
• RQ3 ホッジ最大性条件は、アーベル多様体の文脈におけるアデール的開像定理にとって必要かつ十分か？
• RQ4 K3曲面に対して、既知のムーディング＝タイト予想およびホッジ構造の性質を踏まえて、アデール的開像定理を条件なしに確立できるか？
• RQ5 シムーラ多様体の基本群表現は、幾何的点を介して、コhomology上のガロア表現とどのように関係するか？

主な発見

• ムーディング＝タイト予想を満たすアーベル多様体について、ℓが変化する際、[G_B(ℤ_ℓ) : Im(ρ_Y,ℓ)] は有界であり、ほとんどすべてのℓに対して、像は交換子部分群および整数的ホモセティを含む。
• H₁(Y(ℂ), ℚ) 上のホッジ構造がホッジ最大性を満たすならば、ρ_Y の像は G_B(𝔸_f) において開集合である。
• K3曲面については、ムーディング＝タイト予想が成立することが知られており、ホッジ最大性も自動的に満たされるため、アデール的開像定理は条件なしに成立する。
• 基本群表現 φ: π₁(S₀) → K₀ の像は、コロラリー3.7によって、アデール的開性に必要な意味で「大きい」とされている。
• ガロア表現 ρ_Y は、φ∘σ_y の合成として得られ、σ_y は S₀(k) 内の幾何的点 y によって誘導される。これにより、コhomologicalなガロア作用とシムーラ多様体上のモノドロミーが結びつけられる。
• 証明は、ムーディング＝タイト予想の下で、1つの素数におけるℓ-ガロア一般性がカドロエ・クレの結果によりアデール的開性を示すという事実に依拠している。