[논문 리뷰] Galois theory and Diophantine geometry

Minhyong Kim|ArXiv.org|2009. 08. 05.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 갈루아 코hom로지와 p진 호지 이론을 사용하여 디오판틴 기하학에 대한 비아벨리안 p진 접근법을 제안하며, 곡선의 계수가 ≥2이면 유리점이 유한함을 보여주기 위해 X(Q)의 이미지가 디 레함 호모제너스 공간에서 이산적이고 컴act하다는 것을 증명한다. 핵심 결과는 대수적 p진 L함수의 영점의 흐리게 흩어진 성질을 통해 유리점의 유한성을 확립하며, 모티브적이고 비아벨리안적인 구조를 통해 고전적 유한성 정리의 일반화를 이룬다.

ABSTRACT

This is an essay to accompany the author's lecture at the introductory workshop on `Nonabelian fundamental groups in arithmetic geometry' at the Newton Institute, Cambridge in July, 2009.

연구 동기 및 목표

• 갈루아 코호몰로지와 디 레함 기본군을 사용하여 모델 레이 콘jecture의 비아벨리안 p진 유사체를 수립하기.
• 계수가 ≥2인 곡선 위의 유리점이 유한한지 확인하기 위해 X(Q)의 이미지를 p진 호모제너스 공간에 분석하기.
• p진 L함수의 영점의 소멸이 세일머 변량의 유한성을 제어함을 보여주며, 타원곡선 산술에서 L함수의 비영점화가 수행하는 역할을 일반화하기.
• 모티브 기본군을 통해 아벨리안과 비아벨리안 디오판틴 문제를 연결하는 모티브적 프레임워크 제공하기.
• 계산 가능한 p진 로그와 코호몰로지 함수를 사용하여 X(Q) ⊂ X(Qp)에 대한 명시적 해석적 방정식의 가능성 탐색하기.

제안 방법

• Qp 위에서의 유니포텐트 기본군 표현을 사용하여 κⁿᵘ: X(Q) → H¹_f(G, Uₙ)의 사상 구축하기.
• 비아벨리안 p진 호지 이론을 적용하여 H¹_f(Gₚ, Uₙ)을 디 레함 호모제너스 공간인 Uⁿᴰᴿ / F⁰로 식별하기.
• 디외도네 이sovomorphism D: H¹_f(Gₚ, Uₙ) ≅ Uⁿᴰᴿ / F⁰을 적용하여 갈루아 코호몰로지와 평탄한 접속의 기하적 모듈라이를 연결하기.
• X(Qp) 위에 정의된 영점이 X(Q)에서 사라지는 비영점 수렴 급수 φ를 구성하며, φ ∘ κⁿᵈʳ/ᶜʳ,ₙ의 조합을 사용하기.
• X(Qp)의 이미지가 Uⁿᴰᴿ / F⁰에서 공간을 메우며 컴 pact하다는 사실을 활용하여, 임의의 진부분다양체와의 교차는 유한함을 보장하기.
• 아와사와 대체 구조와 Λ 위에서의 Hom 추정치를 사용하여, 차원의 O(n²ᵍ⁻¹) 성장에 따라 점의 수를 유계화하기.

실험 결과

연구 질문

• RQ1 계수가 ≥2인 곡선 위의 유리점의 유한성은 비아벨리안 p진 코호몰로지 방법으로 증명될 수 있는가?
• RQ2 디 레함 기본군과 p진 호지 이론은 디오판틴 기하학에서 야곱이안을 얼마나 대체할 수 있는가?
• RQ3 대수적 p진 L함수의 영점 소멸이 타원곡선 이론에서 L함수의 비영점화와 유사하게 세일머 변량의 유한성을 제어할 수 있는가?
• RQ4 X(Q)의 이미지가 디 레함 몫 Uⁿᴰᴿ / F⁰에서 이산적이고 컴 pact한가? 이는 오직 유한한 수의 유리점만 존재하게 보장하는가?
• RQ5 X(Q)에서 사라지는 함수 φ는 명시적으로 구성될 수 있는가? 이를 통해 X(Qp) 내의 유리점에 대한 해석적 방정식을 도출할 수 있는가?

주요 결과

• Uⁿᴰᴿ / F⁰에서 X(Q)의 이미지는 컴 pact하고 공간을 메우는 부분집합이며, 임의의 진부분다양체와의 교차는 유한하다.
• φ ∘ κⁿᵈʳ/ᶜʳ,ₙ은 X(Q)에서 사라지며, 각 잔여 디스크 위에서 비영점 수렴 급수이므로 오직 유한한 수의 영점만 가진다.
• 아와사와 대체 대수 Λ 위에서의 Hom 추정치를 통해, 계수 g에 대해 O(n²ᵍ⁻¹) 성장에 따라 유리점의 수가 유계화된다.
• 아와사와 모듈러 M의 소거 이상 L은 p진 L함수와 대응되며, 이의 영점 집합은 세일머 변량의 유한성을 제어한다.
• H¹_f(G, Uₙ)의 차원이 Uⁿᴰᴿ / F⁰의 차원보다 훨씬 작다는 가정은 큰 n에 대해 성립할 것으로 예상되며, 푸앵카레-마주르 및 블로흐-카토 추측에 의해 지지된다.
• CM 케이스에서는 p가 CM 체에서 분할될 경우에 이 방법이 적용되며, G가 H₁(Ẋ, ℤₚ)의 자명화에서의 자취가 아벨리안일 경우에 무조건적인 유한성 확보가 가능하다.