[논문 리뷰] Tamagawa numbers of polarized algebraic varieties

Victor V. Batyrev, Yu. Tschinkel|arXiv (Cornell University)|1997. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 35

한 줄 요약

이 논문은 극화된 대수기하학적 다양체 (V, L) 에 대해 일반화된 탐가와 수 τₗ(V) 를 도입하며, 페르의 Fano 다양체에 대한 작업을 캐논칼 특이점을 가진 Q-Fano 다양체로 확장한다. 아델 측도와 높이 제타 함수를 사용하여 유리점의 유계 높이에 대한 점근적 공식을 유도하며, τₗ(V) 가 점근적 성장의 주요 항을 지배함을 보이며, 토릭 다양체 및 특이 Fano 다양체(가중 투영 공간과 입체 초평면 포함)에 대한 명시적 계산을 수행한다.

ABSTRACT

Let ${\cal L} = (L, \| \cdot \|_v)$ be an ample metrized invertible sheaf on a smooth quasi-projective algebraic variety $V$ defined over a number field. Denote by $N(V,{\cal L},B)$ the number of rational points in $V$ having ${\cal L}$-height $\leq B$. We consider the problem of a geometric and arithmetic interpretation of the asymptotic for $N(V,{\cal L},B)$ as $B o \infty$ in connection with recent conjectures of Fujita concerning the Minimal Model Program for polarized algebraic varieties. We introduce the notions of ${\cal L}$-primitive varieties and ${\cal L}$-primitive fibrations. For ${\cal L}$-primitive varieties $V$ over $F$ we propose a method to define an adelic Tamagawa number $τ_{\cal L}(V)$ which is a generalization of the Tamagawa number $τ(V)$ introduced by Peyre for smooth Fano varieties. Our method allows us to construct Tamagawa numbers for $Q$-Fano varieties with at worst canonical singularities. In a series of examples of smooth polarized varieties and singular Fano varieties we show that our Tamagawa numbers express the dependence of the asymptotic of $N(V,{\cal L},B)$ on the choice of $v$-adic metrics on ${\cal L}$.

연구 동기 및 목표

• 수체 위의 준사영 다양체에서 높이가 유계인 유리점의 점근적 성장에 대한 기하학적 및 산술적 해석을 제공한다.
• 특히 캐논칼 특이점을 가진 Q-Fano 다양체에 대해 탐가와 수의 개념을 특이 극화된 다양체로 확장한다.
• N(V, L, B), 즉 L-높이가 유계인 유리점의 수에 대한 점근 공식에서 주항상수를 계산하기 위한 프레임워크를 개발한다.
• 높이 제타 함수와 아델 적분을 통해 유리점의 점근적 행동과 다양체의 기하학적 성질 간의 연결을 수립한다.

제안 방법

• 유리점의 점근적 수를 세는 데 있어 주요 기여를 분리하기 위해 L-기초 다양체와 L-기초 피브레이션의 개념을 도입한다.
• V의 아델 공간에 대한 아델 측도 μₗ 를 정의하며, 이로부터 탐가와 수 τₗ(V) 를 이 측도의 체적으로 구성한다.
• 높이 제타 함수 Z(s) = ∑_{x∈V(F)} H(x)^{-s} 와 토릭 다양체에 대해 아델 군 A = ⊕_v T(Q_v)/T(O_v) 에서의 포아송 합성공식을 적용한다.
• 타우버형 정리(타우버 정리)를 적용하여 Z(s) 의 해석적 계속 및 극의 구조에서 N(V, B) 의 점근적 행동을 추출한다.
• 로그 공간을 토릭 다양체의 팬에 대응하는 콘들로 분할하여 제타 인te그랄 내의 국소 인자 Q_p(s, im) 와 Q_∞(s, im) 을 계산한다.
• 논문 [7] 의 주요 정리를 사용하여 주극에서의 잔여소를 식별함으로써, τₗ(V), γₖ⁻¹(X), δ(X) 를 포함하는 점근 상수를 도출한다.

실험 결과

연구 질문

• RQ1 N(V, B) = c(V)B^a(log B)^{b-1}(1+o(1)) 의 점근적 상수 c(V) 는 어떻게 기하학적 및 산술적으로 해석할 수 있는가?
• RQ2 탐가와 수 구성은 매끄러운 Fano 다양체를 넘어서 캐논칼 특이점을 가진 특이 극화된 다양체로 확장될 수 있는가?
• RQ3 선다이브 메트릭이 L-높이가 유계인 유리점의 점근적 성장에 미치는 영향은 어느 정도인가?
• RQ4 높이 제타 함수는 어떻게 토릭 다양체 및 특이성을 가진 Fano 다양체에서 유리점의 점근적 수를 계산하는 데 사용될 수 있는가?

주요 결과

• 체 Q 위에서 두 배리어 T = G_m^2 와 높이 H(x,y) = max{|x|_v, |y|_v, |(xy)^{-1}|_v} 에 대해 점근적 공식은 N(T,B) = (γₖ⁻¹(X)δ(X)τₖ⁻¹(X)/720) B(log B)^6 (1+o(1)) 로, B→∞ 일 때 성립한다.
• 상수 γₖ⁻¹(X) = 1/36 는 효과적 다항식의 쌍대 콘에서 유래하며, 이는 두 개의 단체 콘으로 분해된다.
• 무한 아델 탐가와 수 τₖ⁻¹(X) 는 곱 τₖ⁻¹(X) = τₖ⁻¹(X)_∞ × ∏_p τₖ⁻¹(X)_p 로 주어지며, 여기서 τₖ⁻¹(X)_∞ = 36 이고, 각 소수 p 에 대해 τₖ⁻¹(X)_p = (1 + 7/p + 1/p²)(1 - 1/p)^7 이다.
• 상수 δ(X) = 1 이며, 주항상수는 τₖ⁻¹(X)/720 = (9×4) × ∏_p (1 + 7/p + 1/p²)(1 - 1/p)^7 / 720 로 주어진다.
• 이 방법은 특이 Fano 다양체(가중 투영 공간과 입체 초평면 xyz = u³ 포함)에 대해 점근적 공식을 성공적으로 계산하며, τₗ(V) 가 v-적 메트릭의 의존성을 포괄함을 보여준다.
• 이 프레임워크는 페르의 탐가와 수를 캐논칼 특이점을 가진 Q-Fano 다양체로 일반화하며, 점근적 점 수 계산에 통합된 접근법을 제공한다.