[論文レビュー] Positive characteristic Manin-Mumford theorem

Thomas Scanlon|ArXiv.org|Mar 26, 2003

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

ひとこと要約

この論文は、モデル理論的手段、特に存在的に閉じた差分体（ACFA）の理論を用いて、半アーベル多様体に対するManin-Mumford予想の正標数版を確立する。その結果、代数的群が有限体上で定義された同一型写像を介して定義される特殊部分多様体の有限個の和集合として、部分多様体内の捩れ点のザリスキ閉包が得られ、Raynaudの定理を正標数に一般化する。

ABSTRACT

We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model theory of difference fields along the lines of Hrushovski. Algebraic proofs have been presented by Pink & Roessler and Pillay.

研究の動機と目的

• 半アーベル多様体に対する正標数版のManin-Mumford予想を確立すること。
• 古典的なManin-Mumfordの主張が正標数で成立しないことを受けて、『特殊』部分多様体のより洗練された概念を導入すること。
• 部分多様体内の捩れ点のザリスキ閉包が、そのような特殊部分多様体の有限個の和集合であることを証明すること。
• 問題を解決するために、特にACFAおよび差分体の二分法定理を含むモデル理論的道具を適用すること。

提案手法

• 存在的に閉じた差分体（ACFA）のモデル理論を用いて、正標数における捩れ点を分析する。
• 有限な残渣体をもつ離散値環と、それ上の半アーベルモデルを構成し、捩れ構造を上へ持ち上げる。
• HrushovskiのACFAにおける定義可能群の二分法定理を適用し、捩れ点の部分群を分類する。
• 特別なファイバー上のフロベニウス自己準同型を用いて、$ \mathbb{Z}[X] $ に係数をもつ多項式 $ P(X) $ を定義し、その根が単位根でないことを示す。
• 問題を $ \sigma $ が体自己同型であるときの $ \ker P(\sigma) $ の解析に還元し、この群をモジュラー部分と本質的に代数的部に分解する。
• ソクル定理および同一型写像の性質を用いて、捩れ点が $ \mathbb{F}_p^{\rm alg} $ 上に定義された部分多様体の陪多様体に含まれることを示し、したがって特殊であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 正標数におけるManin-Mumford予想の正しい類似は何か？
• RQ2 正標数の体上の半アーベル多様体における捩れ点が、なぜザリスキ閉包として有限個の部分多様体の和集合に含まれるのか？
• RQ3 フロベニウス自己準同型は、正標数における捩れ部分群の構造をどのように定義するか？
• RQ4 ACFA や二分法定理のようなモデル理論的道具を用いて、代数幾何学における算術的結果を証明できるか？
• RQ5 正標数における『特殊』部分多様体を定義づける条件は何か？また、それらは捩れ点とどのように関係するか？

主な発見

• 代数的閉体の正標数上で定義された半アーベル多様体 $ G $ の部分多様体 $ X \subseteq G $ における捩れ点の集合のザリスキ閉包は、有限個の特殊部分多様体の和集合である。
• 特殊部分多様体は、$ \mathbb{F}_p^{\rm alg} $ 上に定義された代数的群からの同一型写像の前像の平行移動として定義される。
• 捩れ部分群 $ G(K)_{\rm tor} $ は、最大の非分岐拡張の完全化 $ S' $ に対して $ G(S')_{\rm tor} $ に同型であり、捩れ点が有限体上に定義されたモデルに含まれることを保証する。
• 特別なファイバー上のフロベニウス作用から得られる多項式 $ P(X) \in \mathbb{Z}[X] $ は、複素数解としての単位根をもたない。これは二分法の議論において不可欠である。
• $ \ker P(\sigma) $ の定義可能部分群は、モジュラーまたは本質的に代数的であり、後者は有限体上に定義された代数的群の像と可換である。
• 証明の結論として、ザリスキ的に稠密な捩れ点をもつ任意の既約部分多様体 $ X $ は特殊である、すなわち $ \mathbb{F}_p^{\rm alg} $ 上に定義された部分多様体の前像の平行移動であることが示される。