[논문 리뷰] Counting points on $ ext{Hilb}^m\mathbb{P}^2$ over function fields

Adelina Mânzăţeanu|arXiv (Cornell University)|2019. 05. 12.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 4

한 줄 요약

이 논문은 양의 특성의 전역 함수체 $K$ 위에서 $ℓ\text{Hilb}^2\mathbb{P}^2$의 높이가 유계인 $K$-유리점의 수에 대한 渐近 공식을 수립하며, 얇은 집합을 제거한 후 주항상수가 Peyre의 추측적 예측과 일치함을 보여준다. 이는 유한체 위의 $0$-사이클과 수체 위의 $0$-사이클 간의 유사성을 확장하여 $ℓ\mathbb{P}^2$에 대한 함수체 버전의 소수정리와 유사한 결과를 증명한다. 결과는 양의 특성에서의 Manin의 추측의 개선된 형태를 지지한다.

ABSTRACT

Let $K$ be a global field of positive characteristic. We give an asymptotic formula for the number of $K$-points of bounded height on the Hilbert scheme $ ext{Hilb}^2\mathbb{P}^2$ and show that by eliminating an exceptional thin set, the constant in front of the main term agrees with the prediction of Peyre in the function field setting. Moreover, we extend the analogy between the integers and $0$-cycles on a variety $V$ over a finite field to $0$-cycles on a variety $V$ over $K$ and establish a version of the prime number theorem in the case when $V = \mathbb{P}^2$.

연구 동기 및 목표

• 전역 함수체의 양의 특성에서 $ℓ\text{Hilb}^2\mathbb{P}^2$에 대해 Manin의 추측의 개선된 형태를 검증하기 위해 높이가 유계인 $K$-유리점의 수에 대한 渐近 공식을 수립하는 것.
• 특히, 예외점의 얇은 집합을 제거한 후 渐近 공식의 주항상수가 함수체 설정에서 Peyre의 추측적 예측과 일치함을 보여주는 것.
• 유한체 위의 다양체에서의 $0$-사이클과 수체 위의 $0$-사이클 간의 유사성을 확장하여, $ℓ\mathbb{P}^2$에 대한 함수체 버전의 소수정리 증명.
• 수체에서의 수량 기법을 함수체로 일반화하여 높이 제타 함수와 Hilbert 스킴의 기하적 분해를 활용하는 것.

제안 방법

• 논문은 $\operatorname{Hilb}^2\mathbb{P}^2(K)$를 $0$-사이클의 구조에 기반한 기하적 스트라타로 분해하여 기약 및 비기약 구성요소를 구분함으로써 시작한다.
• 반표준 선다발에 관련된 높이 함수 $H_{\omega^{-1}}$를 사용하여 높이 $q^M$ 이하의 점을 세며, 문제를 $K$ 위의 $\mathbb{P}^2$ 및 대칭곱의 점 수 계산으로 환원한다.
• 문제는 $K$의 자리에서의 적대적 곱 공식을 통한 높이 정의를 바탕으로, Schmidt 및 Schanuel의 유계 차수 점 수 계산 결과의 함수체 버전을 활용한다.
• 높이가 $q^{M/ed}$이고 차수가 $d$인 점의 수 $N_K(n+1,d,M)$에 대한 渐近 추정을 사용하며, 함수체의 제타 함수와 계수수를 활용한다.
• 주요 기여는 비기약 구성요소의 기여를 분석한 것으로, $m-2k$개의 점이 $\mathbb{P}^2$ 위에 있고 $k$개의 $\operatorname{Sym}^2\mathbb{P}^2$ 복제본이 있는 경우이며, 주된 기여는 $k=1$일 때 발생한다.
• 핵심 기술적 단계는 $k>1$인 고차항이 오직 $O(M^{m-4})$ 기여를 한다는 것을 보이는 것으로, $k=1$의 경우는 $\sim c q^M M$ 형태로 기여하며, 이때 상수 $c$는 Peyre의 상수와 일치한다.

실험 결과

연구 질문

• RQ1 함수체 설정에서 $ℓ\text{Hilb}^2\mathbb{P}^2$의 $K$-유리점의 수에 대한 渐近 수의 주항상수가 Peyre의 추측적 예측과 일치하는가?
• RQ2 유한체 위의 $0$-사이클과 수체 위의 $0$-사이클 간의 유사성은 전역 함수체로 확장될 수 있는가, 특히 높이 제타 함수의 맥락에서?
• RQ3 함수체 $K$의 양의 특성에서 $ℓ\text{Hilb}^2\mathbb{P}^2$의 높이가 유계인 $K$-점의 수의 정확한 渐近 행동은 무엇인가?
• RQ4 비기약 구성요소는 점 수 계산에 어떻게 영향을 주며, 고차 비기약 항목이 주항과 비교해 낮은 차수로 남는가?

주요 결과

• 양의 특성의 함수체 $K$ 위에서 $ℓ\text{Hilb}^2\mathbb{P}^2$의 높이 $q^M$인 $K$-유리점의 수는 얇은 집합 $Z_0$를 제거한 후 $M \to \infty$일 때 $c q^M M + O(\sqrt{M} q^M)$로 渐近적으로 표현된다.
• 渐近 공식의 주항상수 $c$는 함수체 설정에서 Peyre의 추측적 상수와 일치하여, 이 경우에서 개선된 Manin의 추측을 확인한다.
• 점 수 계산의 주요 기여는 $K$ 위에서 공액인 점 한 쌍과 $m-2$개의 유리점으로 이루어진 비기약 $0$-사이클에서 비롯되며, 이는 분해에서 $k=1$에 해당한다.
• $k>1$인 구성요소에서의 기여는 $O(M^{m-4})$로 유계이며, 이는 $M$-선형 항보다 낮은 차수이므로 $k=1$의 경우가 지배적임을 확인한다.
• 논문은 $ℓ\mathbb{P}^2$에 대한 함수체 소수정리의 유사성을 확립하였으며, 이는 높이가 유계인 $K$-유리점의 수가 $q^M M$ 정도로 증가하고, 이 상수는 제타 함수와 계수수와 관련되어 있음을 의미한다.
• 분석을 통해 渐近 전개에서 $M^{m-2}$ 항들이 상쇄됨을 확인하여 주항이 $M^{m-3}$ 차수로 나타나며, 이는 개선된 Manin의 추측에서 예상되는 성장과 일치한다.