[논문 리뷰] Varieties with too many rational points

T. D. Browning, Daniel Loughran|arXiv (Cornell University)|2013. 11. 22.

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

한 줄 요약

이 논문은 수체 위의 팔로 변량에서 포화된 부분다양체를 포함하는 Fano 다양체를 조사한다. 포화된 부분다양체는 반표준 높이 함수에 대해 전체 다양체와 동일한 渐近적 비율로 유리점이 증가하는 닫힌 부분다양체이다. 더 정교한 포화 정의와 높이 함수 의존성에 기반해, 저자들은 이러한 다양체에서 Manin의 추측과 Peyre의 예측 상수가 실패함을 증명한다. 어떤 열린 부분집합의 수세기 함수는 적절한 높이 선택에 따라 Peyre의 상수를 임의로 초월할 수 있으며, 이는 주어진 높이 함수들 사이에서 주상수의 균일성에 대한 근본적인 장애를 보여준다.

ABSTRACT

We investigate Fano varieties defined over a number field that contain subvarieties whose number of rational points of bounded height is comparable to the total number on the variety.

연구 동기 및 목표

• 높이가 유한한 유리점의 비율이 일정 비율로 증가하는 Fano 다양체에서 부분다양체의 성격을 조사한다.
• Manin의 추측과 Peyre의 예측 상수가 실패하는 조건을 규명한다.
• 주어진 점의 집적이 동일한 渐近적 성장률을 보이도록 보장하는 포화 조건을 이용해 축적 부분다양체의 개념을 정교화한다.
• 포화된 부분다양체가 존재할 경우, Manin의 추측에서 주상수가 모든 반표준 높이 함수에 걸쳐 균일할 수 없음을 입증한다.
• 구체적인 반례를 제시하여 Peyre의 주상수에 대한 추측을 반박한다. 이에는 이차 다각형 번들의 포함 및 완전교차 Fano 3차원 다양체가 포함된다.

제안 방법

• 포화된 부분다양체 Y ⊂ X의 개념을 도입한다. 이는 임의의 비어 있지 않은 열린 부분집합 Y° ⊂ Y와 어떤 반표준 높이 H에 대해, 수세기 함수 N(Y°, H, B)가 B(log B)^{ρ(X)−1}과 같은 비율로 증가한다는 조건으로 정의된다.
• 높이 함수의 스케일링을 이용해, 임의의 A ≥ 0에 대해 수정된 높이 H_A를 구성할 수 있음을 보이며, 이에 따라 임의의 열린 부분집합 U ⊂ X에서의 수세기 함수가 (1+A)배의 Peyre 예측 상수를 초과함을 보인다.
• 이차 표면과 플래그 다양체에서의 유리점 이론을 적용해, 가족 내에서 분해 가능한 이차형이 포화된 부분다양체를 이룬다는 것을 보인다.
• P³×P³ 위의 이차 다각형 번들에서 분해 가능한 섬유들이 Zariski 밀도를 이룬다는 사실을 이용해, 정리 1.3을 적용하여 주상수의 균일성 실패를 결론짓는다.
• Lefschetz 초평면 정리를 이용해 Picard 계수를 계산하고, Manin의 추측이 예측한 것과 일치하는 점근적 성장률을 확인한다.
• 예를 들어 x₀x₁x₂x₃가 제곱수인 조건을 만족하는 유리점의 집합이 얇다는 것을 증명함으로써, 포화 현상이 기하학적으로 일관됨을 뒷받unge한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 Fano 다양체는 반표준 높이 함수 하에서 전체 다양체와 동일한 점근적 비율로 증가하는 유리점을 가진 부분다양체를 포함하는가?
• RQ2 포화된 부분다양체가 존재할 경우, Peyre의 Manin 추측 주상수에 대한 추측이 모든 반표준 높이 함수에 걸쳐 균일하게 성립할 수 있는가?
• RQ3 어떤 기하학적 또는 산술적 조건이 부분다양체가 포화됨을 보장하며, 이는 약한 또는 강한 축적과 어떻게 관련되는가?
• RQ4 포화된 부분다양체가 Zariski 밀도를 이룬다면, 이는 열린 부분집합에서 Manin의 추측의 타당성에 어떤 영향을 미치는가?
• RQ5 이차 다각형 번들과 완전교차 Fano 3차원 다양체는 Peyre의 추측에 대해 어느 정도의 반례로 작용하는가?

주요 결과

• 수체 k 위의 Fano 다양체 X와 그 안에 정의된 포화된 부분다양체 Y가 주어지고, 임의의 A ≥ 0에 대해, 어떤 반표준 높이 함수 H_A가 존재하여, 임의의 열린 부분집합 U ⊂ X에 대해 liminf_{B→∞} N(U, H_A, B)/(B(log B)^{ρ(X)−1}) > (1+A) c_{H_A, Peyre} 를 만족한다.
• 포화된 부분다양체들의 합집합이 X에서 Zariski 밀도를 이룬다면, 모든 반표준 높이 함수에 걸쳐 Peyre의 주상수에 대한 추측은 균일하게 실패한다.
• x₀y₀² + x₁y₁² + x₂y₂² + x₃y₃² = 0 으로 정의된 P³×P³ 내의 이차 다각형 번들 X는 분해 가능한 이차형 섬유의 Zariski 밀도 집합을 가지며, 각각이 포화되어 있어, 점근 공식에서 Peyre의 상수가 실패한다.
• 이 이차 다각형 번들의 임의의 열린 부분집합에서의 수세기 함수는 높이 함수의 선택에 따라 Peyre의 예측 상수를 임의로 초월할 수 있다.
• 집합 X₀X₁X₂X₃가 제곱수인 조건을 만족하는 유리점의 집합이 얇다는 점을 고려하면, 이 현상은 추측 1.4와도 일치하며, 포화 메커니즘의 기하학적 일관성을 시사한다.
• 3차원 완전교차 Fano 다양체에서는 포화된 부분다양체(예: 직선 또는 이차곡선)가 존재하며, 일부 경우(예: 두 개의 이차곡선의 교차)에서는 Zariski 밀도를 이룬다. 이는 주상수의 균일성 실패를 의미한다.