[论文解读] Manin's conjecture for toric varieties

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

Algebraic Geometry and Number Theory参考文献 6被引用 48

一句话总结

本文通过建立有界反 canonical 高度的有理点数目的渐近公式，证明了数域上光滑射影 toric 簇的 Manin 猜想。利用高度 zeta 函数、adelic torus 上的 Poisson 求和公式，以及凸锥的 X 函数理论，作者以 Tamagawa 数和几何不变量表示了主常数，确认了预测的对数增长速率，并给出了明确的算术-几何常数。

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$.

研究动机与目标

• 证明数域上光滑射影 toric 簇的 Manin 猜想，该猜想预测了有界反 canonical 高度的有理点的渐近增长。
• 计算有理点数目渐近公式中的主常数，以 toric 簇的 Tamagawa 数和几何不变量表示。
• 将高度 zeta 函数扩展至复化 Picard 群，并利用积分表示和凸锥的 X 函数分析其解析性质。
• 通过典范度量和 adelic 积分，建立 toric 簇的几何与有理点算术之间的精确联系。

提出的方法

• 在 toric 簇的所有线丛上引入一个典范的同步度量，从而在稠密 torus 上的有理点与复化 Picard 群之间建立高度配对。
• 在复化 Picard 群上定义一个多变量高度 zeta 函数 $ Z_{\bar{\Sigma}}(\mathbf{s}) $，其在锥 $[\mathcal{K}^{-1}] + \Lambda_{\rm eff}$ 的内部全纯。
• 利用 torus 的乘法群结构，将 zeta 函数表示为 adelic torus $ T(\mathbb{A}_K) $ 上的 $ \mathbf{A}_K $-不变函数，且在 $ T(K) \cdot \mathbf{K}_T $ 下不变。
• 应用 Poisson 求和公式，得到涉及局部 zeta 积分和测度的 adelic 积分表示。
• 利用凸锥的 $ \mathcal{X} $-函数理论分析 zeta 函数的解析行为，特别是与有效锥相关的 $ \mathcal{X}_{\Lambda_{\rm eff}} $-函数。
• 推导一元限制 $ \zeta_\Sigma(s) $ 的解析延拓与极点结构，证明其在 $ s = 1 $ 处有 $ k = \text{rk Pic}(\mathbf{P}_\Sigma) $ 阶极点。

实验结果

研究问题

• RQ1 光滑射影 toric 簇上 $ K $-有理点的反 canonical 高度 $ \leq B $ 的数目的精确渐近增长速率是什么？
• RQ2 Manin 猜想中的主常数如何用 toric 簇的几何与算术不变量表示？
• RQ3 高度 zeta 函数在 toric 簇上的解析结构是什么？它与有效锥的几何有何关联？
• RQ4 Poisson 求和公式能否有效应用于具有典范度量的 toric 簇上的高度 zeta 函数？
• RQ5 反 canonical 线丛的 Tamagawa 数与 toric 簇上 rational 点的渐近计数之间有何关系？

主要发现

• 高度 zeta 函数 $ \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}} $ 为反 canonical 线丛的 Tamagawa 数。
• 稠密 torus 轨道中反 canonical 高度 $ \leq B $ 的 $ K $-有理点数目满足 $ N(T, \mathcal{K}^{-1}, B) = \frac{\Theta(\Sigma)}{(k-1)!} B (\log B)^{k-1} (1 + o(1)) $，当 $ B \to \infty $ 时成立。
• 常数 $ \beta(\mathbf{P}_\Sigma) $ 源于 adelic torus 上典范测度的体积，而 $ \alpha(\mathbf{P}_\Sigma) $ 是与扇形结构相关的几何因子。
• Tamagawa 数 $ \tau_{\mathcal{K}}(\mathbf{P}_\Sigma) $ 通过有效锥的 $ \mathcal{X} $-函数计算，与 Peyre 猜想中主常数的预测一致。
• 该方法确认了渐近公式与不包含 $ \mathcal{K}^{-1} $-聚集子簇的开子集 $ U' \supset T $ 的选择无关，尽管本文未对此进行证明。