[論文レビュー] On a Hasse principle for Mordell-Weil groups

Grzegorz Banaszak|ArXiv.org|Dec 21, 2007

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

ひとこと要約

この論文は、数体上のアーベル多様体のモーデル・ヴェイユ群に対してハッセの原理を確立し、非ねじれ点 $ P $ がほとんどすべての素点で、線形独立な点 $ P_1, \dots, P_r $ が生成する部分群の還元に属するならば、$ P $ はこれらの点が生成する $ \mathcal{R} $-加群に属することを証明する。主な結果は、スィンツェルの乗法的群に関する定理を一般化し、ねじれの曇りを排除し、線形従属関係の係数を 1 にとれるようにすることによって、以前の結果を強化する。

ABSTRACT

In this paper we establish a Hasse principle concerning the linear dependence over $\Z$ of nontorsion points in the Mordell-Weil group of an abelian variety over a number field.

研究の動機と目的

• 数体上のアーベル多様体のモーデル・ヴェイユ群における非ねじれ点の線形従属に関するハッセの原理を確立すること。
• W. ガヤダ（2002年）が提起した問題、すなわち、ほとんどすべての素点での還元が $ \mathbb{Z} $ 上での全球的線形従属を意味するかを解明すること。
• ねじれの曇りを排除し、従属係数を 1 にとれるようにすることで、以前の結果を強化すること。
• スィンツェルの1975年の乗法的群に関する結果を、自己準同型環を備えたアーベル多様体の設定に一般化すること。
• 以前の定理（例：[BGK2], [GG]）における線形従属関係の係数を 1 にまで削減できることを証明すること。Kummer理論と $ l $-進手法を用いる。

提案手法

• リビットが開発した、アーベル多様体のKummer理論を用いて、モーデル・ヴェイユ群内の可除性とねじれ構造を分析する。
• Serre-Tate および Weil 予想に依拠して、$ l $-ねじれ点上の還元写像の単射性に関する結果を適用する。
• 独立な点の還元が所望の $ l $-べき位数を持つ素数の密度に関する結果（補題2.1）を用いる。
• 自己準同型環 $ \mathcal{R} $ が $ A[l^k] $ に作用する問題に還元し、同型 $ \mathcal{R}/l^k\mathcal{R} \cong \operatorname{End}_{G_F}(A[l^k]) $ を用いる。
• $ l $-ねじれ上の還元写像の単射性を用いて、無限に多くの素点でねじれ項が消えることから、全球的消滅を導く。
• 線形従属関係 $ aP = \sum \alpha_i P_i $ の係数 $ a $ について、素数べきの上での帰納法を用い、段階的に $ a $ を 1 にまで削減する。

実験結果

リサーチクエスチョン

• RQ1 ほとんどすべての素点 $ v $ に対して $ r_v(P) \in r_v(\Lambda) $ が成り立つならば、$ P \in \Lambda $ となるか、ただし $ \Lambda $ はモーデル・ヴェイユ群の部分群である。
• RQ2 与えられた還元条件のもとで、線形従属関係 $ aP = \sum \alpha_i P_i $ の係数 $ a $ を 1 にまで削減できるか。
• RQ3 点が非ねじれであり、$ \mathcal{R}P $ が自由 $ \mathcal{R} $-加群であるとき、$ \mathcal{R} $ 上での線形従属に関するハッセの原理は成立するか。
• RQ4 モーデル・ヴェイユ群の点の $ v $ での還元は、それらの $ \mathcal{R} $ 上での全球的線形従属をどのように反映するか。
• RQ5 [BGK2] および [GG] の結果を統合し、従属関係における係数 $ a \in \mathbb{N} $ を排除できるか。

主な発見

• 定理1.1 は、$ \mathcal{R}P $ が自由 $ \mathcal{R} $-加群であるという仮定の下で、(1) $ P \in \sum_{i=1}^r \mathcal{R} P_i $ であることと、(2) ほとんどすべての素点 $ v $ に対して $ r_v(P) \in \sum_{i=1}^r \mathcal{R} r_v(P_i) $ であることの同値性を確立する。
• 証明は、$ l $-ねじれへの作用を分析し、素数の密度に関する議論を用いることで、関係式 $ aP = \sum \alpha_i P_i $ の係数 $ a $ を 1 にまで削減できることを示す。
• 補題2.7 は、単純なアーベル多様体に対して、二つの非ねじれ点 $ P $ と $ Q $ が $ \mathcal{R} $ 上で線形従属であることは、ほとんどすべての素点でそれらの還元が線形従属であることと同値であることを示す。
• 論文は、[GG] の定理5.1に同値である命題2.8を証明し、従属関係の係数が 1 であることを示すことにより、ねじれの曇りを含む以前の結果を強化する。
• 係数が 1 にまで削減可能であるという結果は、$ \mathcal{R} $ が自由 $ \mathbb{Z} $-加群であり、かつ互いに整合性を持つ $ l $-進表現から生じる Mordell-Weil $ \mathcal{R} $-システム（公理 $ A_1 $-$ A_3 $ および $ B_1 $-$ B_4 $ を満たすもの）へ一般化可能である。
• 証明は、同型 $ \mathcal{R}/l^k\mathcal{R} \cong \operatorname{End}_{G_F}(A[l^k]) $ に依拠しており、これにより係数に関する条件をねじれ点の消滅条件に翻訳できる。