[논문 리뷰] Defining Z in Q

Jochen Koenigsmann|arXiv (Cornell University)|2010. 11. 15.

Algebraic Geometry and Number Theory인용 수 13

한 줄 요약

이 논문은 정수 ℤ가 유리수 ℚ에서 유일한 전건 기호를 가진 전건-존재 공식을 사용하여 정의 가능하다는 것을 증명한다. 또한 ℚ의 새로운 디오판틴 부분집합을 구성하며, 특히 노름 이미지의 여집합을 포함하고, 보다 강력한 본미에르-런그 추측의 변종 하에 ℚ에서 ℤ에 대한 존재적 정의가 존재하지 않음을 증명한다.

ABSTRACT

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We exhibit new diophantine subsets of ${\mathbb Q}$ like the complement of the image of the norm map under a quadratic extension, and we give an elementary proof of the fact that the set of non-squares is diophantine. Finally, we show that there is no existential formula for ${\mathbb Z}$ in ${\mathbb Q}$, provided one assumes a strong variant of the Bombieri-Lang Conjecture for varieties over ${\mathbb Q}$ with many ${\mathbb Q}$-rational points.

연구 동기 및 목표

• 정수 ℤ가 링의 언어에서 일阶 논리에 의한 정의 가능성을 ℚ 내에서 확립하는 것.
• 특수한 디오판틴 부분집합, 특히 노름 이미지의 여집합과 비제곱수의 집합을 포함한 ℚ의 새로운 디오판틴 부분집합을 구성하는 것.
• ℚ에서 ℤ를 정의하는 논리적 복잡도를 연구하는 것, 특히 존재적 공식이 존재하는지 여부를 중심으로 하는 것.
• 본미에르-런그 추측이 ℚ에서 ℤ의 정의 가능성에 미치는 영향을 탐구하는 것.

제안 방법

• 링의 언어에서 모형 이론적 기법을 사용하여 ℚ에서 ℤ를 전건 일阶 논리 공식으로 정의하는 것.
• 전건-존재 공식을 구성하여 ℚ에서 ℤ를 정의하며, 전건 기호가 오직 하나뿐인 공식을 제공함으로써 논리적 복잡도를 감소시키는 것.
• 이차 확장에서의 노름 사상의 이미지의 여집합이 ℚ에서 디오판틴 부분집합임을 보이는 것.
• 비제곱수의 집합이 ℚ에서 원시적인 방법으로 디오판틴임을 보이는 증명을 제공하는 것.
• 강력한 본미에르-런그 추측의 변종을 적용하여 ℚ에서 ℤ에 대한 존재적 공식이 존재하지 않음을 배제하는 것.

실험 결과

연구 질문

• RQ1 ℤ는 ℚ에서 전건 일阶 논리 공식을 사용하여 정의 가능할 수 있는가?
• RQ2 전건-존재 공식 중 전건 기호가 오직 하나뿐인 ℤ의 공식이 ℚ에서 존재하는가?
• RQ3 노름 이미지의 여집합과 같은 새로운 ℚ의 디오판틴 부분집합을 구성할 수 있는가?
• RQ4 비제곱수의 집합이 ℚ에서 원시적인 방법으로 디오판틴임을 보일 수 있는가?
• RQ5 ℚ에서 ℤ에 대한 존재적 공식이 존재한다면, 강력한 본미에르-런그 추측의 변종과 모순되는가?

주요 결과

• 정수 ℤ는 링의 언어에서 전건 일阶 논리 공식을 통해 ℚ에서 정의 가능하다.
• 전건 기호가 오직 하나뿐인 전건-존재 공식을 ℚ에서 ℤ에 대해 구성함으로써 논리적 효율성을 향상시켰다.
• 이차 확장에서의 노름 사상의 이미지의 여집합이 ℚ의 디오판틴 부분집합으로서 증명되었다.
• 비제곱수의 집합이 ℚ에서 원시적 추론을 통해 디오판틴임을 증명하였다.
• 강력한 본미에르-런그 추측의 변종 하에, ℚ에서 ℤ에 대한 존재적 공식이 존재하지 않는다.