[논문 리뷰] Manin's conjecture for toric varieties

Victor V. Batyrev, Yuri Tschinkel|ArXiv.org|1995. 10. 26.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 48

한 줄 요약

이 논문은 수체 위의 매끄럽고 프로젝티브 토릭 다양체에 대해 Manin의 추측을 증명하며, 유리점의 유계 반항등고도에 대한 수의 渐近 공식을 확립한다. 높이 제타함수, 아델리프 토릭 위에서의 포아송 합성공식, 볼록뿔의 X-함수 이론을 사용하여, 타마고와 수치와 기하학적 불변량을 통해 주요 상수를 계산하며, 예측된 상수의 로그 성장률이 명시적인 산술기하학적 상수로 확인된다.

ABSTRACT

We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.

연구 동기 및 목표

• 수체 위의 매끄럽고 프로젝티브 토릭 다양체에 대해 Manin의 추측을 증명하며, 이는 반항등고도가 유계인 유리점의 渐近 성장률을 예측한다.
• 유리점 수의 渐近 공식에서 주요 상수를 계산하며, 이는 토릭 다양체의 타마고와 수 및 기하학적 불변량으로 표현한다.
• 높이 제타함수를 복소화된 피카르 군으로 확장하고, 적분 표현과 볼록뿔의 X-함수를 사용하여 그 해석적 성질을 분석한다.
• 표준 메트릭과 아델리프 적분을 통해 토릭 다양체의 기하학과 유리점의 산술학 사이의 정밀한 연결 고리를 수립한다.

제안 방법

• 토릭 다양체의 모든 선다발에 대해 동시에 표준 메트릭을 도입하여, 밀도 있는 토릭 위상의 유리점과 복소화된 피카르 군 사이의 높이 쌍을 가능하게 한다.
• 복소화된 피카르 군 위에 다변수 높이 제타함수 $ Z_{\bar{\Sigma}}(\mathbf{s}) $ 를 정의하며, 이는 뿌리 $[\mathcal{K}^{-1}] + \Lambda_{\rm eff}$ 의 내부에서 해석적이다.
• 토릭 위의 곱셈군의 구조를 이용하여 제타함수를 아델리프 토릭 위 $ T(\mathbb{A}_K) $ 에서 $ \mathbf{A}_K $-불변 함수로 표현하며, $ T(K) \cdot \mathbf{K}_T $ 에 관하여 불변이다.
• 포아송 합성공식을 적용하여, 국소 제타 적분과 측도를 포함하는 아델리프 적분으로 표현된 제타함수의 적분 표현을 도출한다.
• 특히 효과적인 뿌리에 관련된 $ \mathcal{X}_{\Lambda_{\rm eff}} $-함수를 포함한 볼록뿔의 $ \mathcal{X} $-함수 이론을 사용하여 제타함수의 해석적 성질을 분석한다.
• 일변수 제한 $ \zeta_\Sigma(s) $ 의 유리형 계속성과 극의 구조를 도출하며, $ s = 1 $ 에서 $ k = \text{rk Pic}(\mathbf{P}_\Sigma) $ 차수의 극이 있음을 보인다.

실험 결과

연구 질문

• RQ1 매끄럽고 프로젝티브 토릭 다양체에서 수체 $ K $-유리점의 유계 반항등고도에 대한 정확한 渐近 성장률은 무엇인가?
• RQ2 Manin의 추측에서 주요 상수는 토릭 다양체의 기하학적 및 산술적 불변량으로 어떻게 표현될 수 있는가?
• RQ3 토릭 다양체 위에서의 높이 제타함수의 해석적 구조는 무엇이며, 이는 효과적인 뿌리의 기하학과 어떻게 관련되는가?
• RQ4 표준 메트릭이 있는 토릭 다양체에 대해 포아송 합성공식이 높이 제타함수에 효과적으로 적용될 수 있는가?
• RQ5 반항등고도 선다발의 타마고와 수는 토릭 다양체 위의 유리점 수의 渐近 계수와 어떻게 관련되는가?

주요 결과

• 높이 제타함수 $ \zeta_\Sigma(s) $ 는 $ \text{Re}(s) > 1 - \delta $ 에서 해석적 계속성을 가지며, $ s = 1 $ 에서 $ k = \text{rk Pic}(\mathbf{P}_\Sigma) $ 차수의 극을 가진다.
• 극의 주요 계수는 $ \Theta(\Sigma) = \alpha(\mathbf{P}_\Sigma) \beta(\mathbf{P}_\Sigma) \tau_{\mathcal{K}}(\mathbf{P}_\Sigma) $ 이며, 여기서 $ \tau_{\mathcal{K}} $ 는 반항등고도 선다발의 타마고와 수이다.
• 밀도 있는 토릭 궤도 내에서 반항등고도 $ \leq B $ 인 $ K $-유리점의 수는 $ B \to \infty $ 일 때 $ N(T, \mathcal{K}^{-1}, B) = \frac{\Theta(\Sigma)}{(k-1)!} B (\log B)^{k-1} (1 + o(1)) $ 를 만족한다.
• 상수 $ \beta(\mathbf{P}_\Sigma) $ 는 아델리프 토릭 위의 표준 측도의 체적에서 유래하며, $ \alpha(\mathbf{P}_\Sigma) $ 는 팬 구조와 관련된 기하학적 인자이다.
• 타마고와 수 $ \tau_{\mathcal{K}}(\mathbf{P}_\Sigma) $ 는 효과적인 뿌리의 $ \mathcal{X} $-함수를 통해 계산되며, Peyre의 추측에서 주요 상수와 일치한다.
• 이 방법은 주어진 열린 부분집합 $ U' \supset T $ 가 $ \mathcal{K}^{-1} $-집적 부분다양체를 포함하지 않는다는 조건에 관계없이 渐近 공식이 불변임을 확인하지만, 본 논문에서는 이를 증명하지는 않는다.