[논문 리뷰] Hilbert's Tenth Problem for function fields of varieties over C

Kirsten Eisentraeger|ArXiv.org|2006. 09. 20.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 5

한 줄 요약

이 논문은 복소수 위의 다양체의 함수체에 대해 힐베르트의 제10 문제의 결정불가성을 증명하며, 김과 루쉬의 결과를 ℂ(t₁,t₂)에서 차원 ≥2인 함수체로 일반화한다. 덧셈, 나눗셈, 영 원소 기호를 포함한 ℤ×ℤ의 디오판틴 모델을 차원 ≥2인 함수체 위에서 구성함으로써, 저자는 랭크 1 타원곡선과 텐-랑 정리를 활용하여 이러한 함수체 위에서 존재적 정의 가능성을 통해 결정불가성을 증명하는 정수의 디오판틴 정의를 수립한다.

ABSTRACT

Let K be the function field of a variety of dimension at least 2 over an algebraically closed field of characteristic zero. Then Hilbert's Tenth Problem for K is undecidable. This generalizes the result by Kim and Roush from 1992 that Hilbert's Tenth Problem for the purely transcendental function field C(t_1,t_2) is undecidable.

연구 동기 및 목표

• 복소수 위에서 차원 ≥2인 다양체의 함수체로 힐베르트의 제10 문제의 결정불가성 결과를 ℂ(t₁,t₂)에서 일반화한다.
• 이러한 함수체 위에서 덧셈, 나눗셈, 영 원소 기호를 포함한 ℤ×ℤ의 디오판틴 모델을 구성한다.
• 덧셈과 곱셈을 갖춘 정수 집합이 이러한 함수체 위에서 존재적으로 정의 가능하다는 것을 보여, 디오판틴 문제의 결정불가성을 암시한다.
• 랭크 1 타원곡선과 텐-랑 정리를 기반으로 한 방법을 고차원 함수체로 일반화한다.
• 계수를 ℂ를 포함한 초월수 차수 2인 ℤ[z₁,z₂]로 제한할 경우에도 문제의 결정불가성이 유지되는가를 확인한다.

제안 방법

• K에서 ⟨ℤ×ℤ, +, |, ℤ, 𝒲⟩의 디오판틴 모델을 구성한다. 여기서 |는 나눗셈을, ℤ는 영 원소 기호를 나타낸다.
• K 위의 랭크 1 타원곡선을 이용하여 Mordell-Weil 군의 구조를 활용해 ℤ×ℤ와 동형인 디오판틴 부분집합을 정의한다.
• 타원곡선의 점들 위에서 존재적 공식을 사용해 덧셈과 영 원소 기호를 정의한다.
• 나눗셈 관계 (m,1)∣(n,r)가 함수체 위의 이차형식의 연립방정식을 통해 존재적으로 정의 가능하다는 것을 증명한다.
• 전이차수 1인 함수체 위에서 이차형식의 비자명한 해가 존재함을 보장하기 위해 텐-랑 정리를 적용한다.
• 가장자리 이론적 접근과 쿠머 이론을 사용해 함수체 내의 이차방정식의 해가 존재하는지 제어한다.

실험 결과

연구 질문

• RQ1 복소수 위의 차원 2 이상인 다양체의 함수체에 대해 힐베르트의 제10 문제가 결정불가한가?
• RQ2 이러한 함수체 위에서 덧셈, 나눗셈, 영 원소를 포함한 ℤ×ℤ의 디오판틴 모델을 구성할 수 있는가?
• RQ3 제어 가능한 Mordell-Weil 군을 갖는 랭크 1 타원곡선의 존재가 함수체 위에서 산술적 구조를 정의 가능하게 하는가?
• RQ4 디오판틴 정의 가능성의 맥락에서 이차형식의 해가 존재함을 보장하기 위해 텐-랑 정리를 적용할 수 있는가?
• RQ5 계수를 ℂ를 포함한 초월수 차수 2인 ℤ[z₁,z₂]로 제한할 경우에도 결정불가성 결과가 유지되는가?

주요 결과

• 특성 0인 대수적으로 닫힌 체 위에서 차원 ≥2인 다양체의 함수체 K에 대해 힐베르트의 제10 문제가 결정불가하다.
• 이러한 K 위에서 덧셈, 나눗셈, 영 원소 기호를 포함한 ℤ×ℤ의 디오판틴 모델이 구성된다.
• 나눗셈 관계 (m,1)∣(n,r)가 함수체 위의 이차방정식 연립식을 통해 존재적으로 정의 가능하다는 것이 입증된다.
• 텐-랑 정리는 전이차수 1인 함수체 위에서 이차형식의 비자명한 해가 존재함을 보장하며, 이는 정의 가능성 증명에 핵심적이다.
• 김과 루쉬의 1992년 ℂ(t₁,t₂)에 대한 결과가 복소수 위의 모든 고차원 함수체로 일반화된다.
• 이 구성은 ℂ뿐만 아니라 특성 0인 임의의 대수적으로 닫힌 체에 대해서도 균일하게 적용 가능하다.