[論文レビュー] Un critère d'indépendance pour une famille de représentations l-adiques

Jean-Pierre Serre|arXiv (Cornell University)|Jun 12, 2010

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

本稿は、数体上の代数多様体に付随する$α$-進ガロア表現の族のほとんど独立性に関する基準を確立する。有界性および半安定性の条件を課すことにより、有限次拡大の後で、ガロア群の像が$α$-進表現の像の直積に分解されることを証明し、その結果、概型的意味での独立性が保証される。この結果は、代数多様体の$α$-進コホロジーに広く適用可能である。

ABSTRACT

We give a criterion for the " almost independence " of a family of l-adic representations.

研究の動機と目的

• 本稿の目的は、族の$α$-進ガロア表現が有限次拡大の後で独立になる条件を特定することにある。
• 表現の構造的条件——特に有界性と分岐の制御——が、ガロア群の像が直積に分解することを保証する仕組みを調査すること。
• アーベル・多様体を超えて、一般の代数多様体へと$α$-進コホロジーを用いて独立性基準を一般化すること。
• 群論的および数論的道具を用いて、ほとんど独立性の明快で公理的な基準を提供すること。
• LarsenとPinkによって特殊な場合に既に知られていたが、公に発表されていなかった結果を形式化し、証明すること。

提案手法

• この手法は、有界性条件（B）に依存する。各$α$-進像が固定された$n$に対して$\mathrm{GL}_n(\mathbb{Z}_\ell)$の部分商群であることを要請し、均一な制御を保証する。
• 半安定性条件（ST）を課す：ほとんどすべての場所$v$に対して、インertia群$I_{\overline{v}}$は、$v$が有限集合$S$に属するかどうかに応じて、表現に自明に作用するか、またはプロ-$\alpha$-群として作用する。
• 証明は、クラス体論、Hermite-Minkowskiの定理、およびJordan–Noriの定理を用いて、ガロア像の構造とその商群の制御を行う。
• Illusieが基にした（Katz–Laumonに基づく）重要な補題を適用し、問題を像の単純商群の分析に還元する。
• 証明は、素数の個数に関する帰納法に従い、異なる$\alpha$に対して単純商群の集合が互いに素である（定理5）という事実を用い、積の上への全射性の補題を適用可能にする。
• 最終段階では、像群$X'$が$A'_\ell$の積を含み、かつ積写像が全射であることから、全積が達成されることを示す。

実験結果

リサーチクエスチョン

• RQ1 族の$\alpha$-進表現に対して、どのような条件下で、有限次拡大の後、ガロア像が個々の像の直積に同型になるか？
• RQ2 どのようにすれば、グローバルには独立でないにせよ、概型的意味で$\alpha$-進表現の像が独立になるように保証できるか？
• RQ3 分岐の性質——特にインertia群の作用——は、このような独立性を達成するために果たす役割は何か？
• RQ4 $\alpha$-進コホロジーを用いて、アーベル・多様体を超えて一般の代数多様体へと独立性基準を拡張可能か？
• RQ5 像のガロア群の分解が直積に分解することを保証するのに十分な構造的制約（例えば、有界性、分岐）は何か？

主な発見

• 族の$\alpha$-進表現は、数体$k$の有限拡大$k'$の後で独立になる。すなわち、$\rho(\Gamma_{k'}) = \prod \rho_\ell(\Gamma_{k'})$となる。
• 有界性条件（B）により、すべての$\alpha$-進像が固定された$n$に対して$\mathrm{GL}_n(\mathbb{Z}_\ell)$の部分商群であることが保証され、急激な成長を防ぐ。
• 半安定性条件（ST）は分岐を制御する：有限集合$S$の外では表現は不分岐であり、$v \in S$ではインertiaがプロ-$\alpha$-群として作用する。
• 像$G_\ell^+$の有限単純商群の集合は、異なる$\alpha$に対して互いに素であり、これは積の上への全射性の議論において極めて重要である。
• 証明により、$X' = \prod G'_\ell$が示され、ここで$X' = \rho(\Gamma_{k'})$であり、$X' \cdot A' = \prod G'_\ell$かつ$X' \supseteq A'$を示すことにより、等式が成立する。
• この結果は、アーベル・多様体に限らず、任意の数体上の代数多様体に対して$\alpha$-進コホロジーを用いて成立し、以前の結果を一般化する。