[논문 리뷰] The real field with the rational points of an elliptic curve

Ayhan Günaydın, Philipp Hieronymi|arXiv (Cornell University)|2009. 06. 02.

Advanced Topology and Set Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 $ℝ$ 위에서의 순서환 언어에 $ℝ$ 위의 타원곡선의 유리점 집합 $ℜ$ 를 위한 술어를 추가한 구조 $(ℝ, ℜ)$ 를 조사한다. 이 구조에서의 정량자 제거 결과를 확립하고, 이 구조에서 정의 가능한 열린 집합들이 모두 다항형식적임을 증명하며, 일차원 정의 가능한 군의 조밀한 부분군에 의한 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.

연구 동기 및 목표

• 확장된 실수체의 모형이론적 성질을 연구하기 위해, $ℑ$ 위의 타원곡선의 유리점으로 확장된 실수체를 연구한다.
• 고정된 타원곡선의 유리점 집합 $ℜ$ 를 갖는 구조 $(ℝ, ℜ)$ 에 대해 정량자 제거 결과를 확립한다.
• $(ℝ, ℜ)$ 에서 정의 가능한 모든 열린 집합이 다항형식적임을 증명하며, 이러한 확장에 대한 이전 연구의 격차를 메운다.
• 일차원 정의 가능한 군의 조밀한, 1차원의, t-연결된, 나누어떨어지는 부분군 $γ$ 에 의한 실수체 확장의 더 넓은 클래스로 결과를 일반화한다. 이 경우 $ℝ$ 내의 정의 가능한 군에서의 수론적 모델-랭 조건을 만족한다.
• $(ℝ, ℜ)$ 의 일阶논리 이론에 대한 완전한 공리 체계를 제공한다.

제안 방법

• 저자들은 실수폐쇄체 $K$ 의 일반적 설정에서 작업하며, $K$ 내에서 정의 가능한 일차원, t-연결된, 나누어떨어지는 군 $ℐ$ 과, Mordell-Lang 성질을 만족하는 조밀한 부분군 $\Gamma \subseteq \mathbb{A}$ 를 고려한다.
• 그들은 t-위상(정의 가능한 군의 구조에 의해 유도된 위상)을 사용하고, $\Gamma$-정의 가능한 집합들의 위상적 및 논리적 성질을 분석한다.
• 핵심 기법으로는 o-미니멀리티, 정의 가능한 함수에 대한 단조성 정리, 그리고 모형이론적 의미에서 $\Gamma$ 가 무한한 정의 가능한 부분집합을 가지지 않는다는 사실(즉, 작은 집합임)을 사용한다.
• 그들은 $ℝ^s$ 내의 $μal(P)$-정의 가능한 집합이, $\phi$ 가 순서환 언어에서의 정량자 없는 공식일 때, $\bigwedge_{j=1}^n P(y_{2j-1}, y_{2j}) \land \phi(x,y)$ 의 형태를 갖는 존재기호 $\exists y_1\cdots\exists y_{2n}$ 의 부울 조합임을 증명한다.
• 그들은 포화성과 조밀성의 논증을 사용하여, $(ℝ, \Gamma)$ 에서 정의 가능한 단항 함수 중에서 여유롭게 연속인 함수들이 기저 언어에 대해 조각별로 정의 가능하다는 것을 증명한다.
• 이 결과들을 $\Gamma$ 가 $ℝ^2$ 내의 단위원 $ℓ$ 의 유한계수 부분군인 특수한 경우에 적용하고, $(ℝ, \Gamma)$ 에서 정의 가능한 열린 집합들이 다항형식적임을 보인다.

실험 결과

연구 질문

• RQ1 타원곡선의 유리점 집합 $ℜ$ 를 갖는 $(ℝ, ℜ)$ 의 정량자 제거 패턴은 무엇인가?
• RQ2 $(ℝ, ℜ)$ 에서 정의 가능한 모든 열린 집합이 다항형식적이고, 이는 $ℝ$ 내의 일차원 정의 가능한 군의 조밀한 부분군에 의한 확장에 대해 더 일반적으로 성립하는가?
• RQ3 $(\mathbb{R}, \mathcal{C})$ 의 일阶논리 이론은 완전히 공리화 가능한가? 그리고 그 공리는 무엇인가?
• RQ4 $\Gamma$ 가 $ℝ$ 내의 일차원 정의 가능한 군의 조밀한 부분군일 때, 그 위상적 및 논리적 성질이 정의 가능한 집합의 구조에 어떻게 영향을 미치는가?
• RQ5 모델-랭 성질을 만족하는 $\Gamma$ 는 $(\mathbb{R}, \Gamma)$ 의 정의 가능한 집합이 다소 흐트러지지 않은 위상적 구조(예: 열린 집합의 다항형식성)를 가지는가?

주요 결과

• $(\mathbb{R}, \mathcal{C})$ 에서 정의 가능한 $ℝ^s$ 의 모든 부분집합은 타원곡선의 유리점에 대해 존재기호를 사용한 공식과, 순서환 언어에서의 정량자 없는 공식을 조합한 부울 조합이다.
• $(\mathbb{R}, \mathcal{C})$ 의 일阶논리 이론은 정리 4.4에서 보여지듯이 완전히 공리화 가능하다.
• $(\mathbb{R}, \mathcal{C})$ 에서 정의 가능한 모든 열린 집합은 다항형식적이다. 이는 본 논문의 주요 위상적 결과이다.
• 이 결과는 Mordell-Lang 성질을 만족하는, 일차원 정의 가능한 군의 조밀한, t-연결된, 나누어떨어지는 부분군 $γ$ 에 대해 일반화된다. 이는 단위원의 유한계수 부분군을 포함한다.
• 이러한 $γ$ 에 대해 $(\mathbb{R}, \Gamma)$ 에서 정의 가능한 모든 열린 집합은 다항형식적이다. 이는 정리 1.2를 단위원의 경우로 일반화한다.
• $(\mathbb{R}, \Gamma)$ 에서 여유롭게 연속인 정의 가능한 단항 함수는 o-미니멀리티와 조밀성의 논증을 사용하여 기저 언어에 대해 조각별로 정의 가능하다.