[論文レビュー] Adelic openness without the Mumford-Tate conjecture

Chun Yin Hui, Michael Larsen|arXiv (Cornell University)|Dec 13, 2013

Algebraic Geometry and Number Theory参考文献 17被引用数 9

ひとこと要約

この論文は、ムーディ・タート予想を仮定せずに、エタールコホロジー上のガロア表現に関するアデール的開基予想の弱化版を定式化し、それを証明する。Conjecture 1.3 を導入し、アデール的ガロア像の交換子部分群が単純接続被覆の導来群における特別なアデール的部分群を生成することを保証する。さらに、この予想とムーディ・タート予想を組み合わせることで、単純接続被覆における導来群の完全なアデール的開基性が示される。

ABSTRACT

Let $X$ be a non-singular projective variety over a number field $K$, $i$ a non-negative integer, and $V_{\A}$, the etale cohomology of $\bar X$ with coefficients in the ring of finite adeles $\A_f$ over $\Q$. Assuming the Mumford-Tate conjecture, we formulate a conjecture (Conjecture 1.2) describing the largeness of the image of the absolute Galois group $G_K$ in $H(\A_f)$ under the adelic Galois representation $ρ_{\A}: G_K -> \Aut(V_{\A})=\GL_n(\A_f)$, where $H$ is the Hodge group. The motivating example is a celebrated theorem of Serre, which asserts that if $X$ is an elliptic curve without complex multiplication over $\bar K$ and $i=1$, then $ρ_{\A}(G_K)$ is an open subgroup of $\GL_2(\hat \Z)\subset \GL_2(\A_f)$. We state and in some cases prove a weaker conjecture which does not require Mumford-Tate but which, together with Mumford-Tate, implies Conjecture 1.2. We also relate our conjectures to Serre's conjectures on maximal motives.

研究の動機と目的

• ムーディ・タート予想に依存しないアデール的ガロア像の大きさに関する予想を定式化すること。
• セールの古典的開基定理とモチーフのより広範な予想的枠組みとの間のギャップを埋めること。
• アデール的像の構造を、セールの最大モチーフに関する予想とモチーフ的ガロア群に関連付けること。
• 交換子写像を用いた、$\ell$-進群の積における特別なアデール的部分群の基準を確立すること。
• ムーディ・タート予想とConjecture 1.3が成り立つならば、導来群の単純接続被覆における完全なアデール的開基性が成立することを示すこと。

提案手法

• Conjecture 1.3 を導入し、アデール的ガロア像に $k$ 回の交換子写像の積を適用することで、$\prod_{\ell} G_{\ell}^{\operatorname{sc}}(\mathbb{Q}_{\ell})$ 内に特別なアデール的部分群が生成されることを主張する。
• 「特別なアデール的部分群」を、ほとんどすべての $\ell$ に対して $\ell$-進成分で開であるコンパクト部分群であり、非分岐な場所では極大コンパクト部分群がハイパースペシャルであることとして定義する。
• モチーフ的ガロア群の理論とモチーフの圏を用いて、$\Phi_{\mathbb{A}}(G_K)$ を $G_{\mathcal{M}(E)}(\mathbb{A}_f)$ に関連付ける。
• $p$-進およびアデール群における語写像と交換子部分群の結果を応用し、$\kappa(\Gamma_{\mathbb{A}}, \Gamma_{\mathbb{A}})^k$ の構造を分析する。
• Conjecture 5.1（最大モチーフにおけるセールの開基定理）と Conjecture 5.2（最大モチーフによる支配）を用いて、最大の場合に還元する。
• ムーディ・タート予想と Conjecture 1.3 が成り立つならば、$\kappa(\Gamma_{\mathbb{A}}, \Gamma_{\mathbb{A}})^k$ が特別なアデール的部分群を含むことを証明し、これにより $H^{\operatorname{sc}}(\mathbb{A}_f)$ 内でのアデール的開基性が示される。

実験結果

リサーチクエスチョン

• RQ1 エタールコホロジー上のガロア表現におけるアデール的開基性は、ムーディ・タート予想を仮定せずに確立可能か？
• RQ2 単純接続被覆の導来群におけるアデール的ガロア像の交換子部分群の正確な構造は何か？
• RQ3 『特別なアデール的部分群』の概念は、$H^{\operatorname{sc}}(\mathbb{A}_f)$ 内の像の開基性とどのように関係するか？
• RQ4 セールの最大モチーフに関する予想は、導来群におけるアデール的開基性をどの程度まで示唆するか？
• RQ5 完全なムーディ・タート予想を仮定しない弱い仮定のもとで、アデール的ガロア表現の像が特別なアデール的部分群を含むことを示せるか？

主な発見

• Conjecture 1.3 は、ムーディ・タート予想を必要としないアデール的開基性の弱化版として定式化された。
• 論文は、Conjecture 1.3 とムーディ・タート予想が成り立つならば、すべての $k \geq 2$ に対して、$\kappa(\Phi_{\mathbb{A}}(G_K), \Phi_{\mathbb{A}}(G_K))^k$ が $\prod_{\ell} H^{\operatorname{sc}}(\mathbb{Q}_{\ell})$ の特別なアデール的部分群を含むことを証明した。
• 同じ仮定のもとで、ある $k$ に対して $\kappa(\Phi_{\mathbb{A}}(G_K), \Phi_{\mathbb{A}}(G_K))^k$ が $H^{\operatorname{sc}}(\mathbb{A}_f)$ で開であることが示され、これにより Conjecture 1.2 が示された。
• 証明は、Conjecture 5.2（最大モチーフによる支配）と Conjecture 5.1（最大モチーフにおける開基性）の存在に依存している。
• 著者らは、アデール的ガロア表現 $\Phi_E(G_K)$ の像が $H(\mathbb{A}_f)$ に含まれ、その交換子像が単純接続被覆で開である部分群を生成することを示した。
• 結果として、完全なムーディ・タート予想を仮定しない状況でも、モチーフ的ガロア群の構造とアデール的開基性との間の条件付きな関係が確立された。