[论文解读] Libert\'e et accumulation

Emmanuel Peyre|arXiv (Cornell University)|Feb 11, 2016

Algebraic Geometry and Number Theory被引用 12

一句话总结

本文引入了一种新的算术不变量——'自由度'——通过阿拉凯洛夫理论的斜率进行度量，以基于有理点的分布行为对代数簇上的有理点进行分类。通过使用阿代尔度量和博斯特的斜率理论，在 [0,1] 上定义了一个实值自由度不变量，作者证明了自由度足够高的点在阿代尔空间上是均匀分布的，这与巴蒂列夫-马尼宁原理一致，并提供了一个直接的判别准则，无需依赖递归子簇分析即可排除聚点。

ABSTRACT

Le principe de Batyrev et Manin et ses variantes donnent une interpr\'etation conjecturale pr\'ecise pour le terme dominant du nom\-bre de points de hauteur born\'ee d'une vari\'et\'e alg\'ebrique dont l'oppos\'e du faisceau canonique est suffisamment positif. Comme l'a clairement montr\'e le contre-exemple de Batyrev et Tschinkel la mise en \oe uvre de ce principe n\'ecessite l'exclusion de domaines d'accumulation qui sont le plus souvent d\'etermin\'es en proc\'edant par r\'ecurrence sur la dimension de la vari\'et\'e. Cette m\'ethode ne donne cependant pas de crit\`ere direct permettant de dire si un point rationnel donn\'e doit \^etre exclu ou pas. L'ambition de cet article est de d\'efinir une mesure de la libert\'e d'un point rationnel de sorte que les points d'une libert\'e suffisante se r\'epartissent effectivement de mani\`ere uniforme sur la vari\'et\'e, c'est-\`a-dire qu'ils soient distribu\'es sur l'espace ad\'elique associ\'e \`a la vari\'et\'e conform\'ement \`a la mesure de distribution ad\'elique introduite dans un article ant\'erieur de l'auteur. De ce point de vue, les points assez libres devraient \^etre ceux qui respectent le principe de Batyrev et Manin.

研究动机与目标

• 为解决在巴蒂列夫-马尼宁型渐近公式中排除有理点计数的直接判别准则的缺失问题。
• 利用阿代尔理论定义一个几何上有意义的有理点'自由度'度量。
• 通过识别不发生聚积的点，对巴蒂列夫-马尼宁猜想进行改进。
• 调和有界高度点的渐近分布与阿代尔测度之间的关系。
• 在已知例子和反例（包括巴蒂列夫-茨奇纳克与勒·鲁杜利耶的情形）中检验新自由度准则。

提出的方法

• 在数域上的光滑射影簇上定义一个阿代尔度量，将黎曼度量推广至算术几何。
• 利用博斯特的埃尔米特向量丛斜率理论，定义有理点 x 处切空间的最大斜率 µ_max(x)。
• 引入一个取值于 [0,1] 的自由度不变量 l(x)，该量由归一化斜率导出，用以衡量有理点远离聚积的程度。
• 在簇的阿代尔空间上构造一个测度，以预测有界高度点的渐近分布。
• 应用自由度准则 l(x) > ε(B) 和 µ_max(x) ≤ log(B)，以过滤掉违反均匀分布的点。
• 在关键例子上验证该框架：射影空间、簇的积、二次曲面，以及巴蒂列夫-茨奇纳克和勒·鲁杜利耶的反例。

实验结果

研究问题

• RQ1 能否定义一个直接的、内在的算术不变量，以判断有理点是否应从点计数渐近公式的主项中排除？
• RQ2 有理点处切空间的阿代尔理论斜率如何与其在阿代尔空间上的分布行为相关？
• RQ3 所提出的自由度不变量 l(x) 是否能有效识别出导致聚积的点，特别是在子簇方法失效的情况下？
• RQ4 在巴蒂列夫-茨奇纳克反例中，当高度增加时，l(x) → 0 的点是否对应于聚集体？
• RQ5 自由度准则能否以与已知例子和反例一致的方式，对巴蒂列夫-马尼宁猜想进行改进？

主要发现

• 自由度不变量 l(x) ∈ [0,1] 通过将博斯特的斜率理论应用于有理点的切空间而定义，提供了一种连续的算术自由度度量。
• 当高度 B → ∞ 时，满足 l(x) → 0 的点被识别为聚积候选点，与已知反例一致。
• 证明了 [Pe1] 中构造的阿代尔测度控制了自由度足够高的点的分布，支持了改进后的巴蒂列夫-马尼宁原理。
• 在 P^2 × P^1 的情形下，本文表明 (P^2_Q)^2 的已知结果并不与自由度准则下的预期行为矛盾，尽管 o(B log B) 的界仍未被证明。
• 提出准则 l(x) > ε(B) 和 µ_max(x) ≤ log(B) 作为子簇排除法的可行替代方案，后者在概念上更为自然。
• 本文结论认为，尽管自由度不变量能忠实检测聚积，但仍需进一步研究其他情形，以确定巴蒂列夫-马尼宁计划的最优判别准则。