[论文解读] Integral points of bounded height on toric varieties

Antoine Chambert-Loir, Yuri Tschinkel|arXiv (Cornell University)|Jun 16, 2010

Algebraic Geometry and Number Theory参考文献 34被引用 21

一句话总结

该论文通过在相关环面上应用阿代尔调和分析与佩雷的塔马瓜量测，利用佩约斯求和公式，为数域上拟射影 торic 代数簇上高度有界的整点数量建立了渐近公式。主导项被显式计算，并在整点存在时证明其为正；作为关键结果，整点在去除布劳尔-马宁障碍后，相对于佩雷的塔马瓜量测实现等分布。

ABSTRACT

We establish asymptotic formulas for the number of integral points of bounded height on toric varieties.

研究动机与目标

• 为数域上拟射影 торic 代数簇上高度有界的整点数量推导渐近公式。
• 通过通用扭子与阿代尔积分，将高度 zeta 函数与塔马瓜量测的框架扩展至非射影 торic 代数簇。
• 在去除布劳尔-马宁障碍的代数簇的阿代尔点上，建立整点相对于佩雷的塔马瓜量测的等分布性。
• 以几何与算术不变量（包括体积、上同调与局部结构数据）显式计算渐近公式的主导项。
• 将此前关于 торic 代数簇上有理点与整点结果推广至环面的部分等变紧化情形。

提出的方法

• 在 торic 代数簇 $X$ 的分裂环面 $T$ 关联的阿代尔环面上应用佩约斯求和公式。
• 利用阿代尔调和分析与塔马瓜量测的框架，分析该代数簇的高度 zeta 函数。
• 通过通用扭子对整点进行参数化，将计数问题转化为扭子上的格点计数。
• 计算有限与实位处的局部傅里叶变换，并通过阿代尔佩约斯公式分析其乘积。
• 对阿代尔环面的傅里叶变换进行积分，识别主极点及其留数，以提取主项。
• 利用实位处的解析克莱门斯复形 $\mathscr{C}^{\text{an}}_v(D)$ 与伽罗瓦模 $\operatorname{EP}(U)$ 确定极点的阶与渐近公式中的指数 $b$。

实验结果

研究问题

• RQ1 在数域上，拟射影 торic 代数簇上高度有界的整点数量的渐近增长速率为何？
• RQ2 渐近公式中的主导项如何依赖于代数簇及其边界几何与算术不变量？
• RQ3 是否可在代数簇的阿代尔点上，对整点建立相对于佩雷塔马瓜量测的等分布性？
• RQ4 对数反 canonical 除子与边界除子对渐近行为的精确贡献为何？
• RQ5 实位处的局部体积与解析克莱门斯复形的结构如何影响主导项？

主要发现

• 当 $B \to \infty$ 时，$U$ 上高度有界的整点数量渐近满足 $N(B) \sim \Theta \cdot B (\log B)^{b-1}$，其中 $b = r(\operatorname{EP}(U)) + \sum_{v|\infty} (1 + \dim \mathscr{C}^{\text{an}}_v(D))$。
• 主导常数 $\Theta$ 被显式计算，且在 $U(F)$ 至少含一个整点时恒为正。
• 常数 $\Theta$ 涉及阿代尔子集的塔马瓜体积、边界除子最小结构的局部体积、有效锥的特征函数，以及伽罗瓦上同调群的阶。
• 在 $X(\mathbb{A}_F)^{\text{Br}(X)}$（即布劳尔-马宁障碍消失的阿代尔点）上，$U$ 上的整点相对于佩雷的塔马瓜量测实现等分布。
• 该结果在 $U = X$ 的情形下，精炼了经典有理点等分布结果，并将其推广至整点情形。
• 该框架在通过高度 zeta 函数计数有理点与通过扭子计数整点之间实现插值，统一了 toric 情形下的两种方法。