[论文解读] 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})$，其中 $\mathcal{C}$ 是 $\mathbb{Q}$ 上椭圆曲线上有理点的集合，扩展自有序环语言并增加一个关于 $\mathcal{C}$ 的谓词。本文建立了量化消除结果，并证明该结构中所有开定义集均为半代数集，推广了此前关于一维可定义群的稠密子群所导致的 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}$ 上椭圆曲线有理点的模型论性质。
• 为结构 $(\mathbb{R}, \mathcal{C})$ 建立量化消除结果，其中 $\mathcal{C}$ 是固定椭圆曲线上有理点的集合。
• 证明在 $(\mathbb{R}, \mathcal{C})$ 中定义的所有开集均为半代数集，解决此前关于此类扩张研究中的一个空白。
• 将结果推广至更广泛的结构类别：实数域扩展一个可定义群中的一维、稠密、t-连通、可除子群 $\Gamma$，且满足数论上的 Mordell-Lang 条件。
• 为 $(\mathbb{R}, \mathcal{C})$ 的一阶理论提供完整的公理化体系。

提出的方法

• 作者在实闭域 $K$ 的一般设定下工作，考虑 $K$ 中一个一维、t-连通、可除、可定义群 $\mathbb{A}$，其上存在一个稠密子群 $\Gamma \subseteq \mathbb{A}$，满足 Mordell-Lang 性质。
• 他们使用 t-拓扑（由可定义群结构诱导的拓扑），分析 $\Gamma$-可定义集的拓扑与逻辑性质。
• 关键技术包括使用 o-极小性、可定义函数的单调性定理，以及 $\Gamma$ 在模型论意义下为“小集”（即无无限可定义子集）的事实。
• 他们证明：$\mathbb{R}^s$ 中任意 $\mathcal{L}(P)$-可定义集均为形如 $\exists y_1\cdots\exists y_{2n} \big[ \bigwedge_{j=1}^n P(y_{2j-1}, y_{2j}) \land \phi(x,y) \big]$ 的集合的布尔组合，其中 $\phi$ 是有序环语言中的无量词公式。
• 他们证明：在 $(\mathbb{R}, \Gamma)$ 中，若一元可定义函数为余有限连续，则其在基语言上分段可定义，使用饱和性与稠密性论证。
• 他们将这些结果应用于 $\Gamma$ 为单位圆 $\mathbb{S} \subset \mathbb{R}^2$ 的有限秩子群的特殊情况，并证明 $(\mathbb{R}, \Gamma)$ 中的开可定义集为半代数集。

实验结果

研究问题

• RQ1 在结构 $(\mathbb{R}, \mathcal{C})$ 中，$\mathcal{C}$ 为 $\mathbb{Q}$ 上椭圆曲线上有理点的集合，其量化消除模式为何？
• RQ2 $(\mathbb{R}, \mathcal{C})$ 中所有开集是否均为半代数集？这一结论在更一般意义上是否适用于实数中一维可定义群的稠密子群扩张？
• RQ3 $(\mathbb{R}, \mathcal{C})$ 的一阶理论是否可完全公理化？其公理是什么？
• RQ4 作为实数中一维可定义群的稠密子群 $\Gamma$ 的拓扑与逻辑性质，如何影响可定义集的结构？
• RQ5 若 $\Gamma$ 满足 Mordell-Lang 性质，是否意味着 $(\mathbb{R}, \Gamma)$ 中的可定义集具有“良性质”的拓扑结构，例如开集的半代数性？

主要发现

• 在 $(\mathbb{R}, \mathcal{C})$ 中定义的 $\mathbb{R}^s$ 的任意子集均为形如 $\exists y_1\cdots\exists y_{2n} \big[ \bigwedge_{j=1}^n P(y_{2j-1}, y_{2j}) \land \phi(x,y) \big]$ 的集合的布尔组合，其中 $\phi$ 是有序环语言中的无量词公式，且 $P$ 表示椭圆曲线上的有理点。
• $(\mathbb{R}, \mathcal{C})$ 的一阶理论完全可公理化，如定理 4.4 所示。
• $(\mathbb{R}, \mathcal{C})$ 中所有开可定义集均为半代数集，这是本文的主要拓扑结果。
• 该结果可推广至任意满足 Mordell-Lang 性质的实数中一维可定义群的稠密、t-连通、可除子群 $\Gamma$，包括单位圆的有限秩子群。
• 对于此类 $\Gamma$，$(\mathbb{R}, \Gamma)$ 中所有开可定义集均为半代数集，推广了定理 1.2 至单位圆情形。
• 在 $(\mathbb{R}, \Gamma)$ 中，若一元可定义函数为余有限连续，则其在有序环基语言上分段可定义，利用 o-极小性与稠密性论证。