[論文レビュー] The real field with the rational points of an elliptic curve

Ayhan Günaydın, Philipp Hieronymi|arXiv (Cornell University)|Jun 2, 2009

Advanced Topology and Set Theory参考文献 5被引用数 7

ひとこと要約

本稿は、$\mathbb{R}$ 上の順序体言語に $\mathcal{C}$（$\mathbb{Q}$ 上の楕円曲線上の有理点の集合）を追加した構造 $(\mathbb{R}, \mathcal{C})$ の一階構造を調査する。この構造において、量化子除去の結果を確立し、すべての開集合で定義可能な集合が半代数的であることを証明する。これは、1次元の定義可能群の稠密な部分群による o-最小的拡張に関する先行研究を拡張するものである。

ABSTRACT

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets definable in that structure are semialgebraic.

研究の動機と目的

• 実数体が $\mathbb{Q}$ 上の楕円曲線の有理点で拡張された構造のモデル理論的性質を研究すること。
• 固定された楕円曲線の有理点集合 $\mathcal{C}$ を持つ構造 $(\mathbb{R}, \mathcal{C})$ における量化子除去の結果を確立すること。
• $(\mathbb{R}, \mathcal{C})$ で定義可能なすべての開集合が半代数的であることを証明し、このような拡張に関する先行研究におけるギャップを埋めること。
• 実数体が、定義可能群の1次元で、t-連結で、可除な稠密な部分群 $\Gamma$ で拡張された、より広いクラスの構造に結果を一般化すること。この $\Gamma$ は、数論的 Mordell-Lang 条件を満たすものとする。
• $(\mathbb{R}, \mathcal{C})$ の一階理論の完全な公理化を提供すること。

提案手法

• 著者たちは、実閉体 $K$ の一般設定で作業し、$K$ 内で定義可能な1次元で、t-連結で、可除な群 $\mathbb{A}$ を考え、その稠密な部分群 $\Gamma \subseteq \mathbb{A}$ が Mordell-Lang 性質を満たすものとする。
• 彼らは t-位相（定義可能群構造によって誘導される位相）を使用し、$\Gamma$-定義可能な集合の位相的および論理的性質を分析する。
• 主な技術には、o-最小性、定義可能関数の単調性定理、およびモデル理論的意味で $\Gamma$ が「小さい」（すなわち、無限の定義可能部分集合を持たない）という事実が含まれる。
• 彼らは、$\mathbb{R}^s$ 内の $\mathcal{L}(P)$-定義可能な集合が、順序体言語における量化子なしの論理式 $\phi$ を用いて、$\bigwedge_{j=1}^n P(y_{2j-1}, y_{2j}) \land \phi(x,y)$ の形の存在記号を含む集合のブール結合であることを証明する。
• 彼らは、$(\mathbb{R}, \Gamma)$ において、cofinitely 連続な定義可能単項関数が、飽和性と稠密性の議論を用いて、基本言語上で区分的定義可能であることを示す。
• これらの結果を、$\Gamma$ が $\mathbb{R}^2$ 内の単位円 $\mathbb{S}$ の有限ランク部分群であるという特定のケースに適用し、$(\mathbb{R}, \Gamma)$ における開定義可能集合が半代数的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Q}$ 上の楕円曲線上の有理点 $\mathcal{C}$ を持つ構造 $(\mathbb{R}, \mathcal{C})$ における量化子除去のパターンは何か？
• RQ2 $(\mathbb{R}, \mathcal{C})$ で定義可能なすべての開集合が半代数的であるか？また、これは、実数における1次元の定義可能群の稠密な部分群による拡張についても一般に成り立つか？
• RQ3 $(\mathbb{R}, \mathcal{C})$ の一階理論は完全に公理化可能か？その公理は何か？
• RQ4 $\mathbb{R}$ 内の1次元の定義可能群の稠密な部分群 $\Gamma$ の位相的および論理的性質は、定義可能集合の構造にどのように影響するか？
• RQ5 群 $\Gamma$ が Mordell-Lang 性質を満たすならば、$(\mathbb{R}, \Gamma)$ における定義可能集合は、たとえば開集合が半代数的であるような、いわゆる「いとみ」な位相的構造を持つと期待できるか？

主な発見

• $(\mathbb{R}, \mathcal{C})$ で定義可能な $\mathbb{R}^s$ の任意の部分集合は、楕円曲線上の有理点に関する存在記号を含み、順序体言語における量化子なしの論理式で定義される集合のブール結合である。
• $(\mathbb{R}, \mathcal{C})$ の一階理論は、定理 4.4 で示されたように、完全に公理化可能である。
• $(\mathbb{R}, \mathcal{C})$ で定義可能なすべての開集合が半代数的である。これは本稿の主な位相的結果である。
• この結果は、実数内に定義可能な1次元群の稠密で、t-連結で、可除な部分群 $\Gamma$ に一般化可能であり、Mordell-Lang 条件を満たすものとする。単位円の有限ランク部分群を含む。
• このような $\Gamma$ に対して、$(\mathbb{R}, \Gamma)$ で定義可能なすべての開集合が半代数的である。これは、定理 1.2 を単位円の場合に一般化するものである。
• $(\mathbb{R}, \Gamma)$ において、cofinitely 連続な定義可能単項関数は、o-最小性と稠密性の議論を用いて、基本言語上で区分的定義可能である。