[论文解读] Beyond heights: slopes and distribution of rational points

Emmanuel Peyre|arXiv (Cornell University)|Jun 29, 2018

Polynomial and algebraic computation参考文献 21被引用 9

一句话总结

本文通过理想向量丛定义斜率，引入一种几何不变量，用于表征代数簇上有理点的分布，特别是其在薄子集上的聚集现象。通过分析有理点处切空间的斜率并定义‘自由度’不变量，作者提供了一种精细工具，用以区分薄子集中的点与一般点，为基于高度的等分布性提供了几何类比，并超越了经典高度方法。

ABSTRACT

The distribution of rational points of bounded height on algebraic varieties is far from uniform. Indeed the points tend to accumulate on thin subsets which are images of non-trivial finite morphisms. The problem is to find a way to characterise the points in these thin subsets. The slopes introduced by Jean-Benoît Bost are a useful tool for this problem. These notes will present several cases in which this approach is fruitful. We shall also describe the notion of locally accumulating subvarieties which arises when one considers rational points of bounded height near a fixed rational point.

研究动机与目标

• 为解决代数簇上有界高度有理点的非均匀分布问题，特别是其在薄子集上的聚集现象。
• 开发一种几何不变量——有理点处切空间的斜率——以表征这些薄子集中的点。
• 引入‘自由度’的概念，作为基于其斜率结构衡量有理点‘自由’程度的度量。
• 通过引入理想度量与几何类比，特别是通过动机积分，扩展经典高度方法。
• 将固定有理点附近的局部有理点行为与‘局部聚集子簇’的概念联系起来。

提出的方法

• 利用数域上向量丛的理想度量，通过每个点处切空间的哈勒-纳拉辛汉过滤定义有理点的斜率。
• 应用自由度的概念，定义为 $ l(P) = n \frac{\mu_n(P)}{h(P)} $（当 $ \mu_n(P) > 0 $ 时），以量化有理点的‘自由’程度。
• 利用普遍扭量丛与提升技术，将有理点的渐近公式与簇上的几何结构联系起来。
• 利用动机积分的几何设定，与算术情形类比，暗示存在超越高度的更深层不变量。
• 在算术与几何设定下应用障碍理论与等分布结果，分析聚集现象。
• 考虑弱逼近与理想测度，研究有理点的分布及其在特定子簇上的集中现象。

实验结果

研究问题

• RQ1 如何通过超越高度的不变量，区分在薄子集中聚集的有理点与一般有理点？
• RQ2 何种几何不变量可捕捉有理点在切空间斜率意义上的‘自由’程度？
• RQ3 自由度概念在多大程度上可用于改进曼因猜想及相关渐近公式？
• RQ4 固定有理点附近有理点的局部行为如何与全局分布及子簇上的聚集现象相关联？
• RQ5 通过动机积分实现的高度几何类比，能否提供一个框架，以推广算术几何中斜率的概念？

主要发现

• 自由度 $ l(P) \in [0,1] $ 提供了有理点‘自由’程度的归一化度量，其中 $ l(P) = 1 $ 表示最大自由度。
• 有理点 $ P $ 处切空间的斜率 $ \mu_i(P) $ 通过理想向量丛 $ T_P V $ 的哈勒-纳拉辛汉过滤定义。
• 自由度在度量的有界扰动下保持不变，如不同位置上范数比值的有界性所示。
• 度数 $ \widehat{\deg}(T_P V) $ 等于对数高度 $ h(P) $，将点的算术性质与切空间的几何性质联系起来。
• 该方法成功通过斜率分析识别出薄子集上的聚集现象，即使在经典高度方法失效的情况下（如巴蒂列夫-茨希肯德尔反例）亦成立。
• 该框架允许研究固定有理点附近的局部聚集子簇，揭示了局部有理点分布中的新结构。