[论文解读] Manin's conjecture vs. Malle's conjecture

Takehiko Yasuda|arXiv (Cornell University)|May 18, 2015

Algebraic Geometry and Number Theory参考文献 19被引用 3

一句话总结

本文通过有限群作用下的射影空间商簇与狄利克雷级数分析，建立了关于奇异法诺簇有理点的米尼恩猜想与关于数域扩张分布的马拉猜想之间的启发式对应关系。关键结果为：当群作用的年龄不变量与簇的几何不变量一致时，此类商簇上之有理点的渐近行为与伽罗瓦扩张的分布相匹配。

ABSTRACT

By a heuristic argument, we relate two conjectures. One is a version of Manin's conjecture about the distribution of rational points on a Fano variety. We concern specific singular Fano varieties, namely quotients of projective spaces by finite group actions, and their singularities play a key role. The other conjecture is a generalization of Malle's conjecture about the distribution of extensions of a number field. Main tools are several Dirichlet series and previously obtained techniques, especially the untwisting, for the counterpart over a local field.

研究动机与目标

• 探讨奇异法诺簇上之有理点分布与数域伽罗瓦扩张分布之间的联系。
• 研究商簇 $\overline{X} = \mathbb{P}^d/G$ 的几何性质如何与数域计数问题中的算术计数函数相关。
• 通过麦克凯对应与高度泽塔函数，统一两个猜想——米尼恩（关于有理点）与马拉（关于扩张）——。
• 分析奇点与创痕性解析在算术与几何计数问题中的作用。
• 提出基于群作用的年龄函数与共轭类结构的马拉猜想的改进版本。

提出的方法

• 构造一个具有对数终端奇点的法诺簇 $\overline{X} = \mathbb{P}^d/G$，作为射影空间关于有限群 $G$-作用的商。
• 利用反 canonical 线丛上的阿代尔度量，定义 $\overline{X}$ 上有理点的高度函数。
• 将原始 $K$-点定义为不来自中间覆盖的点，以排除累积的薄子集。
• 应用局部域中的解扭技术，将全局高度泽塔函数与狄利克雷级数关联。
• 使用 $V$-判别式与扩展 $V$-判别式，计数数域 $K$ 上的 $G$-域。
• 分析狄利克雷级数 $Z^\mathrm{disc}(s)$ 的收敛半径，并将其与有理点及扩张的渐近增长联系起来。

实验结果

研究问题

• RQ1 商法诺簇 $\overline{X} = \mathbb{P}^d/G$ 上有理点的渐近计数如何与数域的 $G$-扩张分布相关？
• RQ2 有限群作用的年龄不变量 $\mathrm{age}(G)$ 在多大程度上决定了有理点与数域扩张的增长率？
• RQ3 具有最小年龄的 $K$-共轭类结构是否能解释米尼恩与马拉猜想中的对数项？
• RQ4 原始有理点在调和两个猜想时起到什么作用，特别是在存在累积薄子集的情况下？
• RQ5 高度泽塔函数与 $V$-判别式狄利克雷级数的极点如何反映商簇的几何与算术不变量？

主要发现

• 当 $\mathrm{age}(G) > 1$ 时，狄利克雷级数 $Z^\mathrm{disc}(s)$ 在 $s=1$ 处收敛，意味着 $X_{\mathrm{prim}}(K)$ 上的有理点计数在 $s=1$ 处具有单极点，与猜想 5.6 一致。
• 当 $\mathrm{age}(G) = 1$ 时，$Z^\mathrm{disc}(s)$ 的最右极点位于 $s=1$，阶数为 $\upsilon(G)$，与米尼恩猜想中的对数项 $\gamma(X)$ 匹配。
• 当 $\mathrm{age}(G) < 1$ 时，$Z^\mathrm{disc}(s)$ 的收敛半径为 $s = 1/\mathrm{age}(G) > 1$，与猜想 12.10 中的生长率 $B^{1/\mathrm{age}(G)}$ 一致。
• 渐近公式 $N_{G,V,K}(B) \sim CB^{1/\mathrm{age}(G)}(\log B)^{\upsilon(G)}$ 在 $G \subset S_n$ 且 $V = K^{2n}$ 时推广了马拉猜想。
• 原始有理点 $X_{\mathrm{prim}}(K)$ 提供了一个自然子集，使得猜想 5.6 成立，且其高度泽塔函数在假设下与 $V$-判别式级数一致。
• 当 $\mathrm{age}(G) = 1$ 时，对应关系最为精确，此时两个猜想均预测相同的极点结构与增长阶。