[논문 리뷰] Rational Points of Bounded Height on Compactifications of Anisotropic Tori

Victor V. Batyrev, Yuri Tschinkel|ArXiv.org|1994. 11. 15.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 21

한 줄 요약

이 논문은 수체 위의 비등방성 토리의 매끄럽고 컴act한 콪팩티피케이션에서 높이가 유계인 유리점들의 渐近 분포를 아델 적분과 파르세이션 합성공식을 이용하여 규명한다. 이는 이러한 다양체에 대해 바티예브-마니얀 추측을 증명하며, 점의 수가 $ B(\log B)^{r-1} $ 의 형태로 증가함을 보이며, 여기서 $ r $ 은 피카르 랭크이다. 이때 정확한 상수는 탐가와 수, 브라우어 군, 그리고 유효 콘 기하학을 포함한다.

ABSTRACT

We investigate the analytic properties of the zeta-function associated with heights on equivariant compactifications of anisotropic tori over number fields. This allows to verify conjectures about the distribution of rational points of bounded height.

연구 동기 및 목표

• 등변 콱팩티피케이션에서 비등방성 토리의 높이가 유계인 유리점들에 대한 바티예브-마니얀 추측을 검증하기 위해.
• 이러한 다양체에서 높이 제타함수의 해석적 성질을 아델 적분을 이용해 분석하기 위해.
• 높이가 유계인 유리점의 수에 대한 渐近 공식의 주항등항을 계산하기 위해.
• 漸近 성장률을 결정짓는 정확한 산술적 및 기하학적 불변량—예를 들어 탐가와 수와 브라우어 군—을 규명하기 위해.

제안 방법

• 아델 군 $ T(\mathbf{A}_K) $ 에서의 파르세이션 합성공식을 적용하고, 이산 부분군 $ T(K) $ 를 사용하여 제타함수와 그 푸리에 변환을 연결한다.
• 토릭 다양체 위의 선다발에 대해 $ v $-아델 척도를 구성하여 국소 위어 함수의 곱으로서 높이 함수 $ H_{\cal L}(x) $ 를 정의한다.
• 제타함수 $ Z_{\Sigma}(\varphi) $ 의 유리형 연장과 잔여치 계산을 통해 渐近 주항등항을 추출한다.
• 드락스의 방법을 적용하여 국소 높이 함수의 푸리에 변환을 분석하며, 특히 $ T(\mathcal{O}_v) $-불변성을 중심으로 한다.
• $ s_1 = \cdots = s_r = 1 $ 에서 제타함수의 잔여치를 계산하여 渐近 공식의 주계수를 도출한다.
• 피카르 군의 구조와 유효 디바이저의 콘을 이용하여 유리점의 증가율을 결정한다.

실험 결과

연구 질문

• RQ1 비등방성 토리의 매끄러운 콱팩티피케이션에서 높이가 유계인 $ K $-유리점의 수의 渐近 행동은 어떻게 되는가?
• RQ2 높이 제타함수 $ Z_{\cal L}(s) $ 는 해석적으로 어떻게 행동하며, 그 유리형 구조는 어떠한가?
• RQ3 높이가 유계인 유리점에 대한 渐近 공식의 주계수를 결정짓는 산술적 및 기하학적 불변량은 무엇인가?
• RQ4 탐가와 수 $ \tau_{\cal K}({\bf P}_{\Sigma}) $, 브라우어 군, 유효 콘은 渐近 상수에 어떻게 기여하는가?
• RQ5 비가운데 다양체가 Fano가 아니더라도 비등방성 토리 콱팩티피케이션에 대해 바티예브-마니얀 추측을 검증할 수 있는가?

주요 결과

• 높이가 $ B $ 이하인 $ K $-유리점의 수는 $ B \to \infty $ 일 때 $ \frac{\Theta(\Sigma,K)}{(r-1)!} B(\log B)^{r-1}(1+o(1)) $ 의 형태로 渐近적으로 증가하며, 여기서 $ r $ 은 피카르 랭크이다.
• 주계수 $ \Theta(\Sigma,K) $ 는 $ \alpha({\bf P}_{\Sigma}) \beta({\bf P}_{\Sigma}) \tau_{\cal K}({\bf P}_{\Sigma}) $ 로 주어지며, 탐가와 수, 브라우어 군, 유효 콘 기하학을 포함한다.
• 제타함수 $ Z_{\Sigma}(\varphi) $ 는 $ s=1 $ 에서 순서 $ r-1 $ 의 극을 가지며, 이는 증가율에 해당한다.
• $ s_1 = \cdots = s_r = 1 $ 에서의 잔여치는 아델 군 위에서의 파르세이션 합성공식과 푸리에 분석을 통해 계산되며, 이는 渐近 상수를 도출한다.
• 이 방법은 다양체가 Fano가 아니더라도 비등방성 토리 콱팩티피케이션에 대해 바티예브-마니얀 추측을 확인한다.
• 상수 $ \Theta(\Sigma,K) $ 는 유효 디바이저의 콘 $ \Lambda_{\rm eff}(\Sigma) $, 브라우어 군, 그리고 캐논리컬 선다발의 탐가와 수에 의존한다.