[論文レビュー] Detecting linear dependence on a simple abelian variety

Peter Jossen|arXiv (Cornell University)|Jan 1, 2010

Algebraic Geometry and Number Theory参考文献 25被引用数 4

ひとこと要約

本論文は、数体上の幾何的に単純なアーベル多様体に対して、線形従属性に関する局所から大域への原理を確立する：ほとんどすべての素点において有理点が部分群に還元されるならば、その点は大域的にもその部分群に属する。証明は $\alpha$-進ガロア表現、1-モチーフ、およびセール＝ガブリエルとチェボタレフ型の議論によるコhomological障害を用い、障害群のねじれなし性が幾何的単純性のもとで望ましい大域的包含を示すことを示している。

ABSTRACT

Let A be a geometrically simple abelian variety over a number field k, let X be a subgroup of A(k) and let P be an element of A(k). We prove that if P belongs to X modulo almost all primes of k then P already belongs to X.

研究の動機と目的

• 2002年にワイエーチェフ・ガヤダが提起した、局所的還元条件がアーベル多様体における大域的線形従属性を検出できるかという問いに応えること。
• ほとんどすべての素点における還元行動に基づいて、有理点がモーデル＝ヴェイユ群の部分群に属するための十分条件を確立すること。
• シュインツェル、ウェストン、コワルスキーらの先行研究を拡張し、幾何的に単純な仮定のもとで大域的包含を証明すること。
• 1-モチーフとガロア表現を用いたコhomological枠組みを提供し、局所から大域への原理の障害を分析すること。

提案手法

• $Y$ を定数層とし、$u(Y) = X$（関心のある部分群）であるような、整数環 $\mathcal{O}_k$ 上の1-モチーフ $[u: Y \to A]$ を構成する。
• この1-モチーフに対し、体 $k$ の絶対ガロア群の連続作用をもつ $\ell$-進ガロア表現 $\textup{T}_\ell M$ を関連付ける。
• 自然密度1の素点における局所制限写像の積の核として、コhomology群 $H^1_S(U, \textup{T}_\ell M)$ を定義する。
• セール＝ガブリエルの同型を用いて、$H^1_S(U, \textup{T}_\ell M)$ を $H^1_*(L^M, \textup{T}_\ell M)$ に結びつける。ここで $L^M$ はガロア群が $\textup{Aut}(\textup{T}_\ell M)$ に写す像である。
• ムムフォード＝タイト予想とガロア像の制御を用いて、幾何的単純性のもとで $H^1_*(L^M, \textup{T}_\ell M)$ がねじれなしであることを証明する。
• 障害群のねじれなし性が、$X = \overline{X}$ を示すことを示す。ここで $\overline{X}$ はほとんどすべての素点において $X$ に還元される点の集合である。

実験結果

リサーチクエスチョン

• RQ1 有理点がほとんどすべての素点において部分群に還元されるという条件は、その点が大域的にもその部分群に属することを示唆するか？
• RQ2 アーベル多様体における線形従属性の局所から大域への原理のコhomological障害は何か？
• RQ3 アーベル多様体が幾何的に単純であるとき、局所的還元条件が大域的線形従属性を検出できるか？
• RQ4 $\ell$-進テートモジュール上のガロア像の構造は、局所から大域への原理にどのように制約を加えるか？

主な発見

• 主な結果として、有理点 $P$ が自然密度1の素点の集合において部分群 $X \subseteq A(k)$ に還元されるならば、$P \in X$ が大域的に成り立つことが示された。
• アーベル多様体 $A$ が幾何的に単純であるとき、コhomology障害群 $H^1_*(L^M, \textup{T}_\ell M)$ はねじれなしであり、これが局所から大域への原理の有効性を保証する。
• 証明は、$H^1_S(U, \textup{T}_\ell M)$ が $H^1_*(L^M, \textup{T}_\ell M)$ に単射であることに依拠しており、後者の群がガロア表現の制御によりねじれなしであることが示された。
• この結果は、楕円曲線に対しても新規であり、ウェストン、コワルスキーらの先行研究を、より強い仮定のもとで拡張したものである。
• 証明は還元のトリックを用いる：$X$ が $\overline{X}$ において有限指数であると仮定すると、$\overline{X}/X$ のねじれなし性が $X = \overline{X}$ を示す。
• 本論文は、幾何的に単純なアーベル多様体において局所から大域への原理が成り立つことを確認し、この場合に反例がない中での長年の問いに答えを提示した。