[논문 리뷰] A positive proportion of plane cubics fail the Hasse principle

Manjul Bhargava|arXiv (Cornell University)|2014. 02. 05.

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

한 줄 요약

이 논문은 계수 높이에 따라 순서를 매긴 정수 계수의 삼차 이항형식들 중 양의 비율이 해스 원리에 실패함을 증명한다. 즉, 모든 ℚ의 완비화에서 해를 가지지만 유리수 해가 없는 경우이다. 저자들은 또한 양의 비율로 비자명하게 해스 원리를 만족하는 경우가 있음을 보이며, 이 결과를 이차형식의 교차나 이차형식의 이항 쌍 등 다른 종수 1 곡선 모델로 확장한다.

ABSTRACT

When all ternary cubic forms over $\mathbb Z$ are ordered by the heights of their coefficients, we show that a positive proportion of them fail the Hasse principle, i.e., they have a zero over every completion of $\mathbb Q$ but no zero over $\mathbb Q$. We also show that a positive proportion of all ternary cubic forms over $\mathbb Z$ nontrivially satisfy the Hasse principle, i.e., they possess a zero over every completion of $\mathbb Q$ and also possess a zero over $\mathbb Q$. Analogous results are proven for other genus one models, namely, for equations of the form $z^2=f(x,y)$ where $f$ is a binary quartic form over $\mathbb Z$, and for intersections of pairs of quadrics in $\mathbb P^3$.

연구 동기 및 목표

• 계수 높이에 따라 순서를 매긴 정수 계수의 삼차 이항형식들 중에서 해스 원리 위반이 발생하는 빈도를 결정하는 것.
• 이러한 형식들 중 양의 비율이 비자명하게 해스 원리를 만족하는지 조사하는 것, 즉 국소적으로 해가 있고 전역적으로 해가 있는지 여부.
• 이러한 결과를 다른 종수 1 곡선 모델로 확장하는 것: f가 이항 이차형식일 때 z² = f(x,y) 형태의 방정식과 ℙ³에서 이차형식의 쌍의 교차.
• 산술 통계와 국소-전역 원리에 기반하여, 국소적으로 해가 있는 종수 1 곡선이 전역적으로 해를 가질 비율의 渐近 비율에 대한 추측을 뒷받침하는 증거를 제공하는 것.

제안 방법

• 공간 V(ℝ) ≅ ℝ¹⁰에서의 확장되는 컴acts 영역 tB를 사용하여 계수의 크기로 정수 계수의 삼차 이항형식들을 순서를 매긴다.
• 국소 해가 존재하는 것으로 정의되며, 모든 ℚₙ에서 해가 존재하는 것을 의미하고, 전역 해가 존재하는 것으로 정의된다.
• 확장 영역 내에서 정수 계수 형식의 渐近 수를 세어 국소적으로 해가 있는, 해가 있는, 해스 원리에 실패하는 형식의 밀도를 계산한다.
• 산술 통계 이론과 세르머 군 이론의 결과를 적용하며, 특히 n-세르머 원소가 종수 1 곡선 위의 유리점과 어떻게 관련되는지 다룬다.
• 랭크 분포 추측을 활용하여 유리점이 존재하는 n-세르머 원소의 비율을 추정함으로써 추측적 밀도를 도출한다.
• 두 가지 독립성 가정을 내세운다: (1) 산술적 의미에서 국소 해가 존재함과 전역 해가 존재함이 독립적이다; (2) 유리점들이 스케일링 극한에서 균일하게 분포되어 있으며, 이로 인해 추측적 비율이 도출된다.

실험 결과

연구 질문

• RQ1 계수 높이에 따라 순서를 매긴 정수 계수의 삼차 이항형식들 중에서 해스 원리에 실패하는 비율은 얼마인가?
• RQ2 이러한 형식들 중에서 비자명하게 해스 원리를 만족하는 비율은 얼마인가, 즉 국소적으로 해가 있고 전역적으로 해가 있는가?
• RQ3 이와 유사한 결과가 z² = f(x,y) 형태의 이차형식 f를 갖는 다른 종수 1 곡선 모델에 대해서도 성립하는가?
• RQ4 ℙ³에서 이차형식의 쌍의 교차에 대해서도 유사한 위반 비율과 만족 비율이 성립하는가?
• RQ5 이러한 모델 클래스들에서 국소적으로 해가 있는 형식들 중에서 전역적으로 해가 있는 형식의 渐近 밀도는 얼마인가?

주요 결과

• 계수 높이에 따라 순서를 매긴 정수 계수의 삼차 이항형식들 중에서 양의 비율이 해스 원리에 실패한다.
• 계수 높이에 따라 순서를 매긴 정수 계수의 삼차 이항형식들 중에서 양의 비율이 비자명하게 해스 원리를 만족한다. 즉, 국소적으로 해가 있고 유리수 해가 존재한다.
• 삼차 이항형식의 공간에서, 국소적으로 해가 있는 형식들 중에서 해가 있는 형식의 추측된 하한 밀도는 1/3이며, 실패 비율은 2/3이다.
• 이항 이차형식과 4변수 이차형식의 쌍의 공간에서, 국소적으로 해가 있는 형식들 중에서 해가 있는 형식의 추측된 하한 밀도는 1/4이며, 실패 비율은 3/4이다.
• 이러한 추측은 랭크 분포 추측과 국소 해가 존재함과 유리점 분포에 대한 자연스러운 두 가지 독립성 가정에 기반한다.
• 이 결과들은 풀리와 볼로치가 제기한 종수 1 곡선 가중치에서 해스 원리 위반의 빈도에 대한 이전 추측을 뒷받침하고 확장한다.