[논문 리뷰] On the average number of rational points on curves of genus 2

Michael Stoll|arXiv (Cornell University)|2009. 02. 24.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 7

한 줄 요약

이 논문은 정수 계수를 가진 종 2 곡선에서 유리점의 평균 개수에 대한 히우리스틱적이고 계산적인 증거를 제시하며, 이 수가 1/√N 비례로 감소할 것이라고 추측한다. 점의 높이에 대한 경계를 도입하고 알고리즘적 함의를 탐색하며, N=50까지의 광범위한 계산을 통해 체계적인 탐색과 삼차 곡선의 교차 기법을 통해 새로운 유리점 기록을 발견하였다.

ABSTRACT

Based on computational evidence, we formulate a number of conjectures on the distribution of rational points on curves of genus 2 over the rational numbers, in terms of the size of the coefficients of an equation of the form y^2 = f(x) >.

연구 동기 및 목표

• 정수 계수로 제한된 종 2 곡선에서 유리점의 평균 개수를 이해하는 것.
• 그러한 곡선에서 유리점의 분포와 높이 경계를 조사하는 것.
• 높이 경계를 활용한 유리점 계산의 알고리즘 가능성 탐색.
• 체계적인 계산과 삼차 곡선의 교차 기법을 통해 유리점이 매우 많은 곡선을 찾는 것.
• 균일하고 다항식적으로 유 bound된 점 수에 대한 추측의 타당성 검증.

제안 방법

• 히우리스틱 분석을 통해 특이 곡선의 비율을 추정하고, ℙ¹(ℚ)에서의 각 x좌표당 기대되는 유리점 수를 계산한다.
• 유리점 좌표의 높이를 측정하기 위해 H(a:b) = max{|a|,|b|} 함수를 사용하여 ℂ_N 내 곡선에서의 높이를 제한한다.
• φ(t)의 함수 방정식과 멱급수 전개를 적용하여 기대 점 수에서 계수 함수 γ(a:b)를 계산한다.
• p<X인 소수들에 대한 Frobenius 추적치의 곱 ∏_{p<X} #C(𝔽_p)/p를 사용하여 다수의 유리점을 가진 곡선을 식별하는 사전 필터링 기준으로 활용한다.
• C 프로그램을 사용하여 삼차 곡선과 종 2 곡선의 여섯 번째 교차점을 계산하며, 기존의 유리점을 활용해 행렬식 조건을 통해 새로운 점을 찾는다.
• N=50까지의 곡선에서 대규모 계산을 수행하였으며, ratpoints와 높이 경계를 최대 131,071까지 사용하여 유리점을 탐색하였다.

실험 결과

연구 질문

• RQ1 정수 계수로 제한된 종 2 곡선에서 유리점의 평균 개수는 무엇인가?
• RQ2 이러한 곡선에서 유리점의 높이는 N에 대해 다항식적으로 유 bound될 수 있는가?
• RQ3 많은 유리점을 가진 종 2 곡선의 가닥은 x=0, ∞, ±1, ±2 등에서 유리점을 가지는 구조적 패턴을 보이는가?
• RQ4 ABC 추측수나 기타 수론 원리가 종 2 곡선에서의 유리점에 대한 효과적인 높이 경계를 이끌 수 있는가?
• RQ5 모든 종 2 곡선에 대해 균일하거나 로그 경계로 유리점의 수를 bound할 수 있는가?

주요 결과

• ℂ_N 내 종 2 곡선에서 유리점의 평균 개수는 ∼γ/√N 비례로 감소할 것이라고 추측되며, 여기서 γ>0은 상수이다.
• 유리점을 최소한 하나 이상 가진 종 2 곡선의 밀도는 0이다. 왜냐하면 N이 증가함에 따라 평균 점 수가 0으로 수렴하기 때문이다.
• 모든 ε>0에 대해, 계수 공간의 조르지 닫힌 부분집합 외부에서는 ℂ_N 내 곡선의 유리점의 높이가 B_ε N^{13/2+ε} 이하로 유 bound될 것이라고 추측된다.
• 유리점의 수에 대해 균일한 경계 B log(2N+1)를 제안한다. 이는 랑의 추측보다 약하지만 실험 데이터에 의해 지지된다.
• N=50까지의 체계적 계산을 통해 370개 이상의 유리점을 가진 곡선을 발견하였으며, 삼차 곡선의 교차 기법을 통해 최소 374개의 점을 가진 곡선도 발견하였다.
• p=200까지의 Frobenius 추적치 곱을 사전 필터링 도구로 사용함으로써, 다수의 유리점을 가진 곡선을 식별하는 데 있어 효율성이 크게 향상되었다.