[论文解读] Tamagawa numbers of polarized algebraic varieties

Victor V. Batyrev, Yu. Tschinkel|arXiv (Cornell University)|Dec 1, 1997

Algebraic Geometry and Number Theory参考文献 28被引用 35

一句话总结

本文为极化代数簇 (V, L) 引入了广义的塔马瓜数 τₗ(V)，将佩雷对法诺簇的工作推广至具有典范奇点的 Q-法诺簇。通过使用阿代尔测度与高度 zeta 函数，作者推导出有界高度有理点数目的渐近公式，表明 τₗ(V) 决定渐近增长的首项系数，且对 toric 型与奇异法诺簇（包括加权射影空间与三次超曲面）给出了显式计算。

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-法诺簇。
• 建立计算 N(V, L, B) —— 具有有界 L-高度的有理点数目的渐近公式中首项常数的框架。
• 通过高度 zeta 函数与阿代尔积分，建立有理点渐近行为与簇几何之间的联系。

提出的方法

• 引入 L-初等簇与 L-初等纤维化概念，以分离有理点渐近计数中的主要贡献。
• 在 V 的阿代尔空间上定义测度 μₗ，由此构造塔马瓜数 τₗ(V) 为该测度的体积。
• 使用高度 zeta 函数 Z(s) = ∑_{x∈V(F)} H(x)^{-s}，并在 toric 型簇上对阿代尔群 A = ⊕_v T(Q_v)/T(O_v) 应用泊松求和公式。
• 应用 Tauber 定理，从 Z(s) 的解析延拓与极点结构中提取 N(V, B) 的渐近行为。
• 将对数空间划分为对应于 toric 型簇的扇形的锥，以计算 zeta 积分中的局部因子 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 塔马瓜数构造能否超越光滑法诺簇，推广至具有典范奇点的奇异极化簇？
• RQ3 对线丛 L 的 v-进度量的选择在多大程度上影响具有有界 L-高度的有理点数目的渐近增长？
• RQ4 高度 zeta 函数如何用于计算 toric 型与具有奇点的法诺簇上具有有界高度的有理点数目的渐近数量？

主要发现

• 对于环面 T = G_m^2，其高度 H(x,y) = max{|x|_v, |y|_v, |(xy)^{-1}|_v} 定义在 Q 上，渐近公式为 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。
• 该方法成功计算了奇异法诺簇（包括加权射影空间与三次曲面 xyz = u³）的渐近公式，表明 τₗ(V) 捕获了 v-进度量的影响。
• 该框架将佩雷的塔马瓜数推广至具有典范奇点的 Q-法诺簇，为渐近点计数提供统一方法。