[論文レビュー] The Mordell-Lang Theorem for Drinfeld modules

Dragos Ghioca|ArXiv.org|Oct 26, 2004

Rings, Modules, and Algebras参考文献 3被引用数 4

ひとこと要約

この論文は、分離的閉体における無限に定義可能な部分群の準同型環を分析することで、正標数におけるドリンフェルト加法群に対してモルデル＝ラング定理を確立する。モデル理論的技法と特殊化論法を用いて、代数的部分多様体と有限生成 $φ$-部分加法群の交わりが、$φ$-部分加法群の陪集合の有限個の和集合であることを証明し、関数体設定においてファルティングスの定理を拡張する。

ABSTRACT

We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using specialization arguments we are able to prove also a Mordell-Lang theorem for Drinfeld modules of generic characteristic.

研究の動機と目的

• 正標数における加法群のべきに対する非自明なモルデル＝ラング予想を、有限生成部分群の代わりに有限生成 $φ$-部分加法群を用いることで確立すること。
• 有限エールゾフ不変量をもつ分離的閉体における無限に定義可能な加法的部分群の準同型環を分析すること。
• モデル理論的道具を用いて、有限標数のドリンフェルト加法群に対するモルデル＝ラング定理を証明すること。
• 特殊化論法を用いて、結果を一般標数へ拡張すること。

提案手法

• 固定された $p$-基底とレベル $k$ の $λ$-関数を用いた分離的閉体の理論と、モデル理論的構造の言語を定義する。
• $\overline{\aleph}_1$-飽和された分離的閉体の初等拡張における無限に定義可能な加法的部分群 $G$ を研究する。
• 群 $G$ の構造を理解するために、自己準同型環 $\operatorname{End}_{K^{\operatorname{sep}}}(G)$ 及びその自己同型を分析する。
• 連結成分や有限指数の定義可能部分群といったモデル理論的概念を用いて、群の構造を分析する。
• 垂直的因子 ${\mathfrak{P}}$ による剰余を用いて、一般ファイバーから特異ファイバーへの性質の移行を行う。
• 特殊化論法を用いて、有限標数から一般標数への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 正標数におけるドリンフェルト加法群に対して、有限生成部分群の代わりに $φ$-部分加法群を用いることで、非自明なモルデル＝ラングの記述を定式化できるか。
• RQ2 有限エールゾフ不変量をもつ分離的閉体における無限に定義可能な加法的部分群の準同型環の構造はいかなるものか。
• RQ3 ドリンフェルト加法群の文脈において、定義可能部分群およびその剰余は特殊化の下でどのように振る舞うか。
• RQ4 有限標数におけるモルデル＝ラング定理を、モデル理論的特殊化を用いて一般標数へ拡張できるか。
• RQ5 代数的多様体と $φ$-部分加法群の交わりが、$φ$-部分加法群の陪集合の有限個の和集合となる条件は何か。

主な発見

• 多様体 $X$ が $\mathbb{G}_a^g$ の正次元の代数的部分群の平行移動を含まない限り、$X(K) \cap \Gamma^g$ は有限集合である。
• すべての有限個の素点 ${\mathfrak{P}}$ を除き、$\Gamma \to \Gamma_{{\mathfrak{P}}}$ の剰余写像は単射である。
• 特異ファイバー $X_{{\mathfrak{P}}}$ は、$\mathbb{G}_a^g$ の正次元の代数的部分群の平行移動を含まないという性質を引き継ぐ。
• $X_{{\mathfrak{P}}}(K_{{\mathfrak{P}}}) \cap \Gamma_{{\mathfrak{P}}}^g$ は有限である。これは、ザリスキ閉包の障害により無限部分群を含めないからである。
• 有限標数におけるドリンフェルト加法群に対して、モルデル＝ラング定理が成り立ち、交わりが $\u03c6$-部分加法群の陪集合の有限個の和集合である。
• 特殊化を用いて、結果は一般標数へ拡張され、同一の構造的制約を用いて定理3.10が証明される。