[논문 리뷰] Most hyperelliptic curves over Q have no rational points

Manjul Bhargava|arXiv (Cornell University)|2013. 08. 02.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 32

한 줄 요약

이 논문은 $ \mathbb{Q} $ 위의 초타원곡선의 종수 $ g $ 가 증가함에 따라 유리점이 없는 곡선의 조밀도가 100%에 수렴함을 증명한다. 특히 $ \rho_g = 1 - o(2^{-g}) $ 를 만족한다. 증명은 $ \mathbb{Z}^2 \otimes \mathrm{Sym}_2\mathbb{Z}^n $ 표현에서의 유리점과 정수 궤도 사이의 새로운 연결고리를 사용하며, 기하학적 수론 기법을 통해 대부분의 이항형식에 대해 이러한 궤도가 희박함을 보여, 브라우어-마닌 장벽이 유리점 부재의 주요 원인임을 규명한다.

ABSTRACT

By a hyperelliptic curve over Q, we mean a smooth, geometrically irreducible, complete curve C over Q equipped with a fixed map of degree 2 to P^1 defined over Q. Thus any hyperelliptic curve C over Q of genus g can be embedded in weighted projective space P(1,1,g+1) via an equation of the form C : z^2 = f(x,y) = f_0 x^n + f_1 x^{n-1} y + ... + f_n y^n where n=2g+2, the coefficients f_i lie in Z, and f factors into distinct linear factors over Q-bar. Define the height H(C) of C by H(C):=max{|f_i|}, and order all hyperelliptic curves over Q of genus g by height. Then we prove that, as g tends to infinity: 1) a density approaching 100% of hyperelliptic curves of genus g have no rational points; 2) a density approaching 100% of those hyperelliptic curves of genus g that have points everywhere locally fail the Hasse principle; and 3) a density approaching 100% of hyperelliptic curves of genus g have empty Brauer set, i.e., have a Brauer-Manin obstruction to having a rational point. We also prove positive proportion results of this type for individual genera, including g = 1.

연구 동기 및 목표

• 종수 $ g \to \infty $ 일 때, $ \mathbb{Q} $ 위의 초타원곡선에서 유리점을 가지지 않는 곡선의 점점 수렴하는 조밀도를 결정하는 것.
• 이러한 곡선에서 허수 원리의 실패가 주로 브라우어-마틴 장벽 때문임을 규명하는 것.
• 가짜 2-세일러 세트의 평균 크기를 분석하고, 이가 종수에 따라 지수적으로 감소함을 보이며, 이를 유리점 장벽과 연결하는 것.
• 팔팅스 정리의 확장으로, 초타원곡선에서 유리점이 없는 것이 고종수에서 특별한 일이 아니라 일반적인 현상임을 보이는 것.

제안 방법

• 초타원곡선 $ z^2 = f(x,y) $ 의 유리점과 $ \mathrm{GL}_n(\mathbb{Z}) $ 가 $ \mathbb{Z}^2 \otimes \mathrm{Sym}_2\mathbb{Z}^n $ 에 작용하는 정수 궤도 사이의 대응관계를 구축하는 것, 여기서 불변 이항형식 $ f $ 는 $ n $ 차형식이다.
• 기하학적 수론 기법을 사용하여 주어진 불변 형식 $ f $ 를 가진 이러한 궤도의 수를 세며, 대부분의 $ f $ 에 대해 이러한 궤도가 존재하지 않음을 보이는 것.
• 가짜 2-세일러 집합을 국소적으로 해가 존재하는 2-피복을 매개화하는 유한 집합으로 정의하고, 이 요소들이 또한 이러한 궤도와 대응됨을 보이는 것.
• 초타원곡선의 종수 $ g $ 에 대해 가짜 2-세일러 집합의 평균 크기가 $ o(2^{-g}) $ 임을 증명하며, 이는 대부분의 곡선이 이러한 피복을 가지지 않음을 의미한다.
• 가짜 2-세일러 집합이 공집합이면 브라우어-마틴 장벽이 존재하며, 이 장벽이 대부분의 곡선에서 허수 원리 실패의 원인임을 보이는 것.
• 공식 (47)의 평균 2-세일러 크기 공식에서 국소 인자들을 분석하여, $ g \geq 2 $ 일 때 이들이 이론적 최댓값보다 엄밀히 작음을 보이며, 이는 평균 크기가 1보다 작음을 의미한다.

실험 결과

연구 질문

• RQ1 종수 $ g \to \infty $ 일 때, $ \mathbb{Q} $ 위의 초타원곡선에서 유리점을 가지지 않는 곡선의 점점 수렴하는 조밀도는 얼마인가?
• RQ2 브라우어-마틴 장벽은 $ \mathbb{Q} $ 위의 초타원곡선에서 허수 원리 실패의 원인으로 얼마나 중요한가?
• RQ3 종수 $ g \to \infty $ 일 때, 초타원곡선의 가짜 2-세일러 집합의 평균 크기는 어떻게 행동하는가?
• RQ4 기하학적 수론 기법을 사용하여, $ n = 2g+2 $ 차의 대부분의 이항형식이 $ \mathrm{GL}_n(\mathbb{Z}) $ 에서의 정수 궤도의 불변량으로 나타나지 않음을 보일 수 있는가?
• RQ5 종수 $ g \geq 2 $ 인 국소적으로 해가 존재하는 초타원곡선 중에서, 브라우어-마틴 장벽으로 인해 허수 원리에 실패하는 비율은 얼마인가?

주요 결과

• 종수 $ g $ 에 대해 $ \mathbb{Q} $ 위의 초타원곡선에서 유리점을 가지지 않는 곡선의 하한 조밀도 $ \rho_g $ 는 $ \rho_g = 1 - o(2^{-g}) $ 를 만족하며, 이는 $ g \to \infty $ 일 때 비율이 매우 빠르게 100%에 수렴함을 의미한다.
• 종수 $ g \geq 2 $ 인 국소적으로 해가 존재하는 초타원곡선의 일부 비율은 허수 원리에 실패하며, 이 장벽은 브라우어-마틴 조건에서 기인한다.
• 종수 $ g $ 인 초타원곡선의 가짜 2-세일러 집합의 평균 크기는 $ o(2^{-g}) $ 이며, 이는 고종수에서 이러한 집합이 일반적으로 공집합임을 나타낸다.
• $ g \geq 2 $ 일 때, 국소적으로 해가 존재하는 초타원곡선의 2-세일러 집합의 평균 크기는 국소 인자들(특히 무한대에서의 인자들)이 이론적 최댓값보다 엄밀히 작기 때문에 1보다 작다.
• 종수 $ g \geq 2 $ 인 초타원곡선 중에서 허수 원리에 실패하는 비율은 $ g \geq 2 $ 일 때 50% 이상이며, $ g \geq 10 $ 일 때는 99% 이상을 초과한다. 이는 평균 크기 공식의 근사적 추정에 기반한다.
• 종수 1 곡선 $ z^2 = f(x,y) $ 의 일부 비율이 허수 원리에 실패하며, 이는 그 양의 곡선의 야코비안에 대한 루트 수 분석을 통해 보여지며, 이는 이러한 곡선의 2-세일러 군 크기가 양의 비율에서 2가 될 수 없음을 암시한다.