[论文解读] Varieties with too many rational points

T. D. Browning, Daniel Loughran|arXiv (Cornell University)|Nov 22, 2013

Algebraic Geometry and Number Theory参考文献 31被引用 5

一句话总结

本文研究了在数域上具有饱和子簇的法诺簇——即其有理点在反 canonical 高度函数下，其增长渐近速率与整个簇相同的闭子簇。通过引入饱和性的精确定义及高度函数依赖性，作者证明了此类簇的曼因猜想（Manin’s conjecture）与佩雷（Peyre）预测的常数不成立，因为对于任意开子集，通过适当选择高度函数，其计数函数可超过佩雷常数任意倍，从而揭示了在主导常数上统一性的根本障碍。

ABSTRACT

We investigate Fano varieties defined over a number field that contain subvarieties whose number of rational points of bounded height is comparable to the total number on the variety.

研究动机与目标

• 研究法诺簇中子簇在其有理点在有界高度下占正比例的条件。
• 识别曼因猜想与佩雷预测常数失效的条件。
• 通过确保渐近增长率匹配的饱和性条件，改进积累子簇的概念。
• 证明当存在饱和子簇时，曼因猜想中的主导常数无法在所有反 canonical 高度函数间保持统一。
• 提供佩雷常数主导项猜想的显式反例，包括二次包络和完全交法诺三fold。

提出的方法

• 引入饱和子簇 Y ⊂ X 的概念，其定义为：对任意非空开子集 Y° ⊂ Y 及某个反 canonical 高度 H，计数函数 N(Y°, H, B) 的增长速率与 B(log B)^{ρ(X)−1} 一致。
• 利用高度函数的缩放，证明对任意 A ≥ 0，可构造出高度 H_A，使得任意开子集 U ⊂ X 的计数函数超过 (1+A) 倍佩雷预测常数。
• 应用二次曲面和旗流形上 rational 点的理论，证明一族分裂的二次曲面构成饱和子簇。
• 利用在 P³×P³ 上的二次包络中分裂纤维的 Zariski 稠密性，应用推论 1.3，得出主导常数统一性失效的结论。
• 利用 Lefschetz 超平面定理计算 Picard 秩，验证曼因猜想所预测的渐近增长率。
• 证明满足平方条件（如 x₀x₁x₂x₃ 为完全平方）的有理点集是稀疏的，支持饱和现象的几何相容性。

实验结果

研究问题

• RQ1 在何种条件下，法诺簇包含一个子簇，其有理点在反 canonical 高度下与全簇具有相同的渐近增长率？
• RQ2 当存在此类饱和子簇时，佩雷关于曼因猜想主导常数的猜想是否能在所有反 canonical 高度函数下统一成立？
• RQ3 何种几何或算术条件可确保子簇为饱和子簇？其与弱或强积累的关系为何？
• RQ4 饱和子簇的 Zariski 稠密性如何影响曼因猜想在开子集上的有效性？
• RQ5 二次包络与完全交法诺三fold 在多大程度上构成佩雷猜想的反例？

主要发现

• 对任意定义在数域 k 上的法诺簇 X 及其饱和子簇 Y，以及任意 A ≥ 0，存在一个反 canonical 高度函数 H_A，使得任意开子集 U ⊂ X 的计数函数满足 liminf_{B→∞} N(U, H_A, B)/(B(log B)^{ρ(X)−1}) > (1+A) c_{H_A, Peyre}。
• 当所有饱和子簇的并集在 X 中为 Zariski 稠密时，则佩雷关于主导常数的猜想在所有反 canonical 高度函数下均不成立。
• 在 P³×P³ 中定义的二次包络 X ⊂ P³×P³，满足 x₀y₀² + x₁y₁² + x₂y₂² + x₃y₃² = 0，包含 Zariski 稠密的分裂二次曲面纤维，每一根均为饱和子簇，导致渐近公式中佩雷常数的失效。
• 通过选择合适高度函数，可使该二次包络任意开子集上的计数函数超过佩雷预测常数任意倍。
• 该现象与猜想 1.4 兼容，因为满足 x₀x₁x₂x₃ 为平方的有理点集是稀疏的，表明饱和机制具有几何一致性。
• 在维数为 3 的法诺完全交中，存在饱和子簇（如直线或圆锥曲线），在某些情形（如两二次曲面的交）中，其为 Zariski 稠密，意味着主导常数的统一性失效。